For in a unital complex algebra , the spectrum of an element isFor a nonunital algebra one uses its unitization.
Now let be a Banach algebra. The invertible group is open, so the resolvent set is open and the spectrum is closed. If , the Neumann seriesconverges, so is contained in the closed disc of radius and is therefore compact.
If the spectrum were empty, would be an entire -valued function. For each , the scalar function is bounded: it tends to zero at infinity by the Neumann series and is bounded on every compact disc. The Liouville theorem makes it identically zero. Since the Hahn-Banach theorem separates points, this would give , contradicting its invertibility. Hence the spectrum is nonempty.
A character of an algebra is a nonzero multiplicative complex-linear functional . The character space of an algebra isIf is unital, multiplicativity and nonzeroness force .
For a unital Banach algebra, belongs to : otherwise would be invertible, while applying to its inverse identity would give . Thereforeso every character of an algebra is continuous and has norm one. The nonunital case follows by extending the character to the unitization of an algebra.
The Gelfand topology on is the weak-star topology inherited from : a net converges to exactly when for every . If is unital, lies in the weak-star compact dual unit ball by the Banach-Alaoglu theorem. The equationsdefine a weak-star closed subset, so is compact.
For a compact Hausdorff space , every character of the Banach algebra is an evaluation characterat a unique . The map is a homeomorphism from onto with its Gelfand topology.
The unitization of is on the one-point compactification of . The supplied homeomorphism identifies with the circle . Every character of extends to the unital characterBy part d, is evaluation at a point of . Evaluation at the point at infinity vanishes on and cannot restrict to the nonzero character . The point is therefore some , and . Conversely each is plainly a character, so
Let be a character of . Put . Sincewe have , so the restriction of to is nonzero. Part e gives a point such that this restriction is . For , multiplicativity givesand hence .
If is continuous, thenbelongs to . Applying to yieldsso . Every complex-valued continuous function is a complex linear combination of nonnegative continuous functions, obtained from the positive and negative parts of its real and imaginary components. Therefore , and
Suppose an algebra norm made a Banach algebra. Its unital character space of an algebra would be compact in the Gelfand topology. By part i it consists of the evaluations . The mapis continuous from the usual topology because every is continuous, and its inverse is the continuous map defined by the coordinate function . Thus the character space is homeomorphic to the noncompact space , a contradiction. No complete algebra norm exists.
Let be the completion under the assumed algebra norm. Restriction sends every to a character of the dense subalgebra , hence by part i to for some . Continuity of the restriction says exactly that . Conversely, every continuous for the algebra norm extends uniquely through the completion, and continuity of multiplication makes the extension a character of . Restriction and extension therefore give a bijection
For , choose converging to in the algebra norm. Characters on the unital Banach algebra are uniformly norm bounded, so converges uniformly to the function . This function is continuous. Hence is continuous into the Gelfand topology. Its inverse is again , so the bijection is a homeomorphism. In particular, is compact.
Assume for contradiction that any algebra norm exists. Part iii makes compact, so choose an interval disjoint from and a nonzero supported in that interval. Choose with on and on the support of . Then are nonzero and .
In the completion , every character is evaluation at a point of , so . Thus has spectral radius zero. The equality givesfor every . The spectral radius formula supplies an with , and submultiplicativity then givesan impossibility because . Hence admits no algebra norm at all.
Articles by others on the same topic
There are currently no matching articles.