This is a follow-up of a question of mine with a similar title. I am interested in Morse homology (on Hilbert manifolds), more specifically with "generic" perturbations of the metric tensor (under the heading of "transversality"). The space of perturbations to use should have the property of separability in order to apply the Sard-Smale theorem.

Now comes the question, which is supposed to help me in these matters: Let H be a separable Hilbert space and let B be the closed unit ball in H. Is the space C^b(B), the space of continuous bounded functions on the closed unit ball endowed with the sup-norm, a separable space?

The previous question of mine replaced B above with an open subset of the Hilbert space. Then the answer turns out to be NO. Notice that if H is finite dimensional, the answer is YES.

It is not separable.Counterexamples are obtained by putting translates of a suitable bump function at orthogonal half-unit vectors and summing them in $2^\infty$−many ways. More explicitly, consider all $f=\sum_{i\in\mathbb N}(\lambda_i\phi_i)$ with $\lambda_i\in\{0,1\}$ . $\endgroup$