Continuous Functions On A Compact Hausdorff Space - Properties

Properties

• By Urysohn's lemma, C(X) separates points of X: If x, y ∈ X and x ≠ y, then there is an f ∈ C(X) such that f(x) ≠ f(y).

• The space C(X) is infinite-dimensional whenever X is an infinite space (since it separates points). Hence, in particular, it is generally not locally compact.

• The Riesz representation theorem gives a characterization of the continuous dual space of C(X). Specifically, this dual space is the space of Radon measures on X (regular Borel measures), denoted by rca(X). This space, with the norm given by the total variation of a measure, is also a Banach space belonging to the class of ba spaces. (Dunford & Schwartz 1958, §IV.6.3)

• Positive linear functionals on C(X) correspond to (positive) regular Borel measures on X, by a different form of the Riesz representation theorem. (Rudin 1966, Chapter 2)

• If X is infinite, then C(X) is not reflexive, nor is it weakly complete.

• The Arzelà-Ascoli theorem holds: A subset K of C(X) is relatively compact if and only if it is bounded in the norm of C(X), and equicontinuous.

• The Stone-Weierstrass theorem holds for C(X). In the case of real functions, if A is a subring of C(X) that contains all constants and separates points, then the closure of A is C(X). In the case of complex functions, the statement holds with the additional hypothesis that A is closed under complex conjugation.

• If X and Y are two compact Hausdorff spaces, and F : C(X) → C(Y) is a homomorphism of algebras which commutes with complex conjugation, then F is continuous. Furthermore, F has the form F(h)(y) = h(f(x)) for some continuous function ƒ : X → Y. In particular, if C(X) and C(Y) are isomorphic as algebras, then X and Y are homeomorphic topological spaces.

• Let Δ be the space of maximal ideals in C(X). Then there is a one-to-one correspondence between Δ and the points of X. Furthermore Δ can be identified with the collection of all complex homomorphisms C(X) → C. Equip Δ with the initial topology with respect to this pairing with C(X) (i.e., the Gelfand transform). Then X is homeomorphic to Δ equipped with this topology. (Rudin 1973, §11.13)

• A sequence in C(X) is weakly Cauchy if and only if it is (uniformly) bounded in C(X) and pointwise convergent. In particular, C(X) is only weakly complete for X a finite set.

• The vague topology is the weak* topology on the dual of C(X).

• The Banach–Alaoglu theorem implies that any normed space is isometrically isomorphic to a subspace of C(X) for some X.