Space of continuous functions on a compact space ($C(K)$)

For a compact Hausdorff space $K$, $C(K)$ consists of continuous scalar-valued functions with the supremum norm. It is a Banach space and, with complex scalars, pointwise multiplication and conjugation make it a commutative unital C-star algebra.

For a normed vector space $X$, take $K=B_{X^{\ast }}$ with the weak-star topology. Banach-Alaoglu theorem makes it compact Hausdorff, and each displayed evaluation function is continuous. Its supremum norm is $\Vert x\Vert$ by the Hahn-Banach theorem, giving a linear isometric embedding into $C(K)$.

Weak convergence to zero gives pointwise convergence by the continuous evaluation functionals and uniform boundedness in the supremum norm by the weakly bounded set criterion. The dominated convergence theorem for Lebesgue measure then proves the displayed implication. The finite measure of the interval and uniform norm bound are the relevant hypotheses.

A surjective linear isometry $U:C(K)\to C(L)$ between compact Hausdorff function spaces has the form $(Uf)(s)=u(s)f(h(s))$, where $h:L\to K$ is a homeomorphism and $u$ is continuous with modulus one. Thus the Banach space structure of $C(K)$ determines $K$ up to homeomorphism.

For complex $C(K)$ on a compact Hausdorff space, the extreme points of its dual unit ball are precisely unimodular multiples of Dirac measures. A measure whose variation measure has mass on two disjoint sets splits as a nontrivial convex combination of normalized restrictions and is not extreme. This description is the key to the Banach–Stone theorem.