I'm seeking help with a question regarding the space of bounded and uniformly continuous functions $C_u(T,d)$, where $(T,d)$ is a metric space. In this context, $C_u(T)$ is a closed subspace of $C_b(T)$, therefore it is a Banach space as well.
In the second edition of Giné and Nickl's Mathematical Foundations of Infinite-Dimensional Statistical Models (2021), page 17 , a statement reads,
The Banach space $C_u(T,d)$ is separable if (and only if) $(T,d)$ is totally bounded.
While I've been struggling with the proof of the "only if" part for the past three weeks, I've also attempted to construct counterexamples. I'm now seeking additional ideas or guidance to approach this problem. Here is what I have tried so far:
- I proved $C_b(T,d)$ is separable if and only if $(T,d)$ is compact, following Conway's A Course in Functional Analysis (2007) Theorem V.6.6 (p.140). If we can prove "when $C_u(T,d)$ is separable, the completion of $T$, denoted as $\overline{T}$, is compact," we can prove the version for $C_u(T,d)$. However, obtaining the Banach space isomorphism $C_u(T)\simeq_{\mathrm{Ban}}C_b(\overline{T})$ proves challenging, although $C_u(T)\simeq_{\mathrm{Ban}}C_u(\overline{T})$ is a relatively straightforward result.
- Abandoning the use of the $C_b(T)$ version's result, I examined other paths. If $C_u(T)$ is separable, the closed unit ball of the dual space $B^*\subset C_u(T)^*$ is metrizable. Coupled with the fact $B^*$ is always $w^*$-compact, we find $B^*$ to be $w^*$-sequentially compact. Hoping this would offer a proof to the original problem, I turned to the property of a metric space being totally bounded if and only if every sequence has a Cauchy subsequence. For an arbitrary sequence $\{x_n\}\subset T$, we obtain a $w^*$-convergent subsequence $\{\delta_{x_{n_k}}\}\subset B^*$. However, attempts to prove $\{x_{n_k}\}\subset T$ as a Cauchy sequence by evaluating at some specially constructed $f_1,f_2,\cdots\in C_u(T)$ have been unsuccessful.
Thank you for any suggestions or insights you can provide.
Update: I also posted the same query on mathoverflow