2
$\begingroup$

I have the following question,

Is it possible to get somehow a compact Hausdorff space $X$ which is second-countable from a unital commutative C*-algebra. If it is possible, what should we assume for our C*-algebra. Gelfand-Naimark theorem gives us $C(X)$, where $X$ is a compact Hausdorff space, but I'm asking how to get it with the second axiom of countability. Thank you in advance for any answers or hints.

Improve this question
$\endgroup$
0

1 Answer 1

Reset to default
4
$\begingroup$

The space $X$ is second countable if and only if $C(X)$ is separable for the norm. This is proved, for example, as Theorem 2.4 of the little article "Notes on the Separability of C* algebras" by Chun-Yen Chou. Actually, the short proof given there works also for locally compact Hausdorff spaces and therefore non-unital $C^{*}$-algebras.

Improve this answer
$\endgroup$
2
  • 1
    $\begingroup$ It is also a standard exercise in text books. $\endgroup$
    – Bill Johnson
    Commented Aug 30, 2012 at 0:31
  • $\begingroup$ You're right Bill. This was probably best left as a long comment, should the OP have liked to move the question to math.stackexchange. $\endgroup$
    – Jon Bannon
    Commented Aug 30, 2012 at 0:54

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .