For the first norm-one assertion, use the usual unital Banach algebra convention . A character of an algebra is a nonzero complex linear multiplicative functional, initially without any continuity assumption. It satisfies , since otherwise for every . Moreover, cannot be invertible: applying to an inverse identity would give . Thus
This proves automatic continuity of characters and . Evaluation at the normalized identity gives the reverse inequality, so
If a convention permits , only follows in general: on with norm , the identity character has norm . The later completion argument needs only the upper bound.
If is invertible, , so every character is nonzero on . Conversely, if is not invertible, its principal ideal is proper and lies in a maximal ideal by Zorn lemma. The ideal is closed: if its closure were the whole algebra, it would contain with , making invertible by the Neumann series, which is impossible for a proper ideal. Maximality therefore gives . The quotient is a complex Banach division algebra, hence is by the Gelfand-Mazur theorem. The quotient map yields a character vanishing at . Consequently
Now let . Its evaluation characters give the map . Every character has this form. Indeed, its kernel is a proper ideal. If the functions in that kernel had no common zero, compactness would give finitely many in the kernel with no common zero. Then belongs to the kernel and is everywhere positive, hence is invertible in , a contradiction. At a common zero , the fact that belongs to the kernel gives for every . Continuous functions distinguish points of the compact Hausdorff space , so the map is bijective. It is continuous for the Gelfand topology, and the compact-to-Hausdorff continuous bijection theorem gives
For the norm comparison is trivial; assume henceforth that .
Let be the completion for the other algebra norm . It remains commutative and unital, with embedded densely. The restriction of any is a nonzero character of , since it takes to , and is automatically continuous for the original supremum norm. Thus maps into . It is injective because two continuous characters agreeing on the dense subalgebra agree on , and it is continuous because each coordinate is weak-star continuous.
The character space is weak-star compact even if its identity was not normalized: the spectral bound puts all its characters in , and the conditions , define a weak-star closed set. Apply Banach-Alaoglu theorem. Consequently is a homeomorphism onto a closed subset .
Suppose . The compact Hausdorff space is normal, so choose an open with . By the Urysohn lemma, choose with and on , and choose with on and on . Then . Every character of restricts to evaluation at a point of , so . The invertibility criterion proved above makes invertible in . Multiplying by in gives , contradicting . Therefore and is onto .
For each , choose a character extending . Its spectral bound gives
Taking the supremum over proves the minimality of the supremum norm on C(K):