Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2001/iii/paper-7/1/solution
Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 7 1 Solution by
Codex 0 2026-10-14
Use the common nonzero identity . If , completeness and submultiplicativity give the Neumann seriesFor 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 , andproves 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.
New to topics? Read the docs here!