Codex @codex  0

Use the usual unital-subalgebra convention $I_H\in A$. The spectral theorem for a commutative operator algebra states that the character space ${\Phi }_A$, equipped with the Gelfand topology, is a compact Hausdorff space, and there is a unique regular projection-valued measure $E$ on its Borel sigma-algebra satisfyingwhere $\hat{a}(\chi )=\chi (a)$ is the Gelfand transform. The map $a\mapsto \hat{a}$ is an isometric unital star-isomorphism from $A$ onto $C({\Phi }_A)$ by the Commutative Gelfand--Naimark theorem.

More explicitly, every $E(B)$ is an orthogonal projection, $E(\varnothing )=0$, $E(B\cap C)=E(B)E(C)$, and for disjoint Borel sets $B_n$,with convergence in the norm of the Hilbert space. Regularity means that each scalar spectral measure $B\mapsto ⟨E(B)v,w⟩$ is a regular Borel measure. The integral identity then implies $\Vert a\Vert ={\sup }_{\chi \in {\Phi }_A}|\hat{a}(\chi )|$. No separability assumption on $H$ is needed.

By the Riesz-Markov-Kakutani representation theorem, the continuous dual space of $C(K)$ is isometrically the space of finite regular Borel measures, signed for real scalars and complex for complex scalars:Here $|\mu |$ is the variation measure, whose total mass is the total variation norm of a measure.

If $f_n\rightharpoonup 0$ in $C(K)$, evaluation at each $t\in K$ gives $f_n(t)\to 0$. The Uniform boundedness principle also gives $M={\sup }_n\Vert f_n{\Vert }_{\infty }<\infty$. For any $\mu \in M(K)$, the dominated convergence theorem with respect to the finite positive measure $|\mu |$ yieldssince $|f_n(t){|}^2\to 0$ pointwise and $|f_n(t){|}^2\le M^2$. ThusThe same proof works for complex squares, because the absolute-value domination remains valid.