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.
Articles by others on the same topic
There are currently no matching articles.