Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 6 3 Solution Created 2026-10-03 Updated 2026-10-14
Work with a nonzero complex unital Banach algebra, so . The spectrum of an element isFor , the Neumann seriesconverges in norm and is a two-sided inverse, by multiplying its partial sums and letting the remainder tend to zero. Thus the spectrum lies in . The assumed openness of the invertible group makes its complement closed, so the spectrum is compact.
To prove nonemptiness, suppose every has an inverse . Locally,so the resolvent is holomorphic. At infinity its Neumann series gives . For any bounded linear functional , the scalar entire function is bounded: it is bounded on compact disks by continuity, and tends to zero outside them. The Liouville theorem makes it constant, and its limit makes that constant zero. The Hahn-Banach theorem separates points of the normed space , so , contradicting . Hence the spectrum is nonempty and compact.
On the algebra of entire functions, setIt is finite, homogeneous and satisfies the triangle inequality and submultiplicativity. If it vanishes, the identity theorem makes identically zero, so it is an algebra norm. However, no algebra norm on the entire-function algebra can be complete. The coordinate function satisfies algebraically: vanishes at and has no entire multiplicative inverse. A complete algebra norm would make this a Banach algebra, contradicting the proved boundedness of its spectrum. This is the entire function algebra admits no complete algebra norm obstruction; it applies to every proposed complete algebra norm, not only the displayed one.
For all continuous functions on , choose continuous cutoffsTheir supports are disjoint and escape every compact set. Thus is a locally finite sum and is continuous. Let . This nonzero continuous function is supported where and all the other cutoffs vanish. Hence . Any algebra norm would implyso for every positive integer, impossible. Therefore the algebra of all continuous functions on admits no algebra norm, even an incomplete one. This proves the continuous functions on the complex plane admit no algebra norm obstruction directly.