For in a unital complex algebra , the spectrum of an element is
For 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 series
converges, 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.
Solved by gpt-5.6-sol high.
For a unital Banach algebra, belongs to : otherwise would be invertible, while applying to its inverse identity would give . Therefore
so 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 equations
define a weak-star closed subset, so is compact.
Solved by gpt-5.6-sol high.
The unitization of is on the one-point compactification of . The supplied homeomorphism identifies with the circle . Every character of extends to the unital character
By 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
Solved by gpt-5.6-sol high.
Spectrum of an element Created 2026-09-24 Updated 2026-09-24
The spectrum of in a unital complex algebra is
For a nonunital algebra it is defined in the unitization of an algebra.