Let be the positive linear functionals on : those for which implies . For real ,
so positivity gives ; decomposition into real and imaginary parts, or the positive-functional Cauchy--Schwarz inequality, gives the same bound for complex . Hence is continuous and
The Riesz-Markov-Kakutani representation theorem says that there is a unique finite regular positive Borel measure with
More generally, is the Banach space of finite regular complex Borel measures with the total-variation norm.
Now let be commutative, unital, and C-star, and put . The Gelfand transform is an isometric star-isomorphism . For , the functional
on is represented by a regular complex measure . The diagonal measures are positive. Polarization and the Riesz theorem assemble them into a projection-valued measure characterized by
for Borel sets . The multiplication identities first hold for continuous functions and extend to bounded Borel functions by a monotone-class argument. Therefore
defines a unital star-homomorphism with , and
for every .
For a normal , apply this construction to the commutative C-star algebra . Its character space identifies with , and the Gelfand transform of is the coordinate function . We obtain the Borel functional calculus for a normal operator
If , then on the spectrum. Since preserves products and involution,
Thus is a unitary operator.