Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/iii/paper-106/4/a/solution
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 106 4 a Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-05
A character of an algebra is a nonzero complex-linear multiplicative map . The character space of an algebra carries the Gelfand topology, namely pointwise convergence on , equivalently the subspace weak-star topology in .
For a unital complex Banach algebra, : multiplicativity and nonzeroness force this. If were invertible, applying to its product with its inverse would give . Thus . The Neumann series shows , so and the character of an algebra is automatically bounded. The same conclusion for a nonunital algebra follows by extending to its unitization of an algebra via and using the standard norm .
In the algebra let and fix . Write . If , the rational function belongs to , which is impossible because a character of an algebra cannot vanish on an invertible element. Thus . For a rational function without poles in , choose a reduced denominator having no zeros in . Multiplicativity gives . Density of these rational functions and boundedness of then yield for every .
Conversely, evaluation at each is a character of an algebra. The map is continuous in the Gelfand topology because every is continuous; its inverse is , also continuous. Hence the character space of R(K) isThe identification includes the topology, not merely a bijection of sets.
New to topics? Read the docs here!