Past exam of the mathematics course of the University of Cambridge 2026 iii Paper 106 2 a Solution Created 2026-09-24 Updated 2026-09-24
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.
Past exam of the mathematics course of the University of Cambridge 2026 iii Paper 106 2 c Solution Created 2026-09-24 Updated 2026-09-24
For a unital Banach algebra, belongs to : otherwise would be invertible, while applying to its inverse identity would give . Thereforeso 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 equationsdefine a weak-star closed subset, so is compact.
Past exam of the mathematics course of the University of Cambridge 2026 iii Paper 106 2 e Solution Created 2026-09-24 Updated 2026-09-24
The unitization of is on the one-point compactification of . The supplied homeomorphism identifies with the circle . Every character of extends to the unital characterBy 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
Spectrum of an element Created 2026-09-24 Updated 2026-09-24