I am very familiar with the proof of the following statement: If $X$ is a compact Hausdorff space such that the Banach algebra $C(X)$ is separable, then $X$ is metrizable.

Can this be used to prove a more generalized version of this statement with the set $C_b(X)$ of all continuous bounded functions on $X$? Namely, if $X$ is a completely regular Hausdorff space such that $C_{b}(X)$ is separable, then $X$ is a compact metrizable space.


1 Answer 1


$C_b(X)$ is isomorphic and homeomorphic to $C(\beta X)$, where $\beta X$ is the Čech-Stone compactification of $X$, which exists, as $X$ is completely regular and Hausdorff. The isomorphism is of course given by mapping a bounded continuous real-valued function $f$, which has a compact codomain, essentially, to its (unique) Čech-Stone extension to $\beta X$. This also preserves the sup norm, as we can use $[\inf{f},\sup{f}]$ as the codomain of both $f$ and its extension. So it's an isometry between the function spaces.

Now, if the former is separable, so is the latter, and then we can apply your theorem to conclude that $\beta X$ is metrizable, but this only happens if $X$ was already compact metrizable (and thus $X = \beta X$). See this question for that.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.