A character of an algebra is a nonzero multiplicative complex-linear functional , and the character space of an algebra is the set of all such characters. Since is unital, . Moreover : otherwise would be invertible, while applying to its inverse identity would give . The spectral radius estimate therefore yields
Thus every character is continuous and has norm one.
Let be a maximal ideal. Its norm closure is again an ideal. It cannot equal , because then some would satisfy , making invertible by the Neumann series and forcing . Hence is closed. The quotient is a complex unital Banach division algebra, so the Gelfand-Mazur theorem identifies it with . Composing the quotient map with this isomorphism gives a character with kernel . Conversely, a character kernel is maximal because its quotient is .
Now exactly when is not invertible, equivalently when it lies in some maximal ideal. The preceding result turns that ideal into , giving . The reverse implication follows from the first paragraph, so
The Gelfand topology is the weak-star topology on . The Gelfand transform is
Its values are continuous by the definition of the topology, and multiplicativity and linearity of characters show that it is a unital algebra homomorphism. Finally
so it is continuous.
Solved by gpt-5.6-sol high.
For a closed unital subalgebra containing , invertibility in implies invertibility in , so . On a connected component of the resolvent set of in , the set of for which is both open, by a local Neumann series, and closed, by closedness of . It contains all sufficiently large , hence the entire unbounded component. Thus spectrum in a closed unital subalgebra says that is with some bounded complementary components filled in.
Now let be the Banach subalgebra generated by one element and put . If were a bounded component of , choose . Since , polynomials converge to it. The polynomials
satisfy and . Applying the contractive Gelfand transform gives uniformly on , hence on . But the maximum modulus principle applied to gives
a contradiction. Therefore is connected.
The map
is continuous and surjective by part a. It is injective because characters agreeing on agree on every polynomial in , hence by continuity on their norm closure . The character space is compact by the Banach-Alaoglu theorem, while is Hausdorff, so this continuous bijection is a homeomorphism.
Under this identification, the Gelfand transform obeys
by the calculation in part b. Since , choose polynomials with . Contractivity of gives
Thus every function holomorphic near is uniformly approximable there by polynomials.
Solved by gpt-5.6-sol high.