Let $O$ be an open subset of the separable Hilbert space $H.$ Let $E$ be a separable Banach space. Is it true that $C^0\_b(O;E),$ the space of bounded continuous maps $O\rightarrow E$, endowed with the $C^0$-norm, is separable? If YES, where can I find I proof of this fact?



separability of a certain space of continuous functions
The answer is negative. For, pick some non-zero $e$ in $E$, and
choose a surjection $\rho\in C\left(O,\mathbb{R}\right)$ (there exists
!).


Next, consider the (uncountable, uniformly discrete) family of functions {
$f\_{A}$; $A\subset\mathbb{Z}$ nonempty } $\subset C\_{b}^{0}\left(O,E\right)$, expressed by $$f\_{A}\left(x\right):=\arctan\left(dist\left(\rho\left(x\right),A\right)\right)\cdot e$$
 $\left(x\in O\right).$ 


