Use the common nonzero identity . If , completeness and submultiplicativity give the Neumann series
For and , write and apply that series. This proves that the group of invertible elements of a Banach algebra is open. Locally the same series bounds , and
proves continuity of inversion. Inversion is its own inverse, hence it is a homeomorphism of onto itself.
The spectrum of an element is , and its complement is the algebra resolvent set . Openness of makes the algebra spectrum closed. For ,
so it is bounded and thus compact. For nonemptiness, suppose existed everywhere. The local Neumann expansion around each point makes a Banach-space-valued entire function. For every bounded linear functional on , is entire, bounded on compact discs, and tends to zero at infinity by the displayed series. The Liouville theorem makes it identically zero. The Hahn-Banach theorem separates points, so , contradicting . Hence the algebra spectrum is nonempty and compact.
If is a closed unital subalgebra with the same identity, then . It is relatively open by the Neumann series in . If tends to , continuity of inversion in gives . Closedness puts this last inverse in , so . Therefore is relatively open and closed in . This proves the required resolvent components in a closed unital subalgebra directly, with no spectral-boundary assumption.

Articles by others on the same topic (0)

There are currently no matching articles.