Character space of continuous functions on the circle
ID: character-space-of-continuous-functions-on-the-circle
A maximal ideal of has a common zero: otherwise finitely many have no simultaneous zero, and is invertible, a contradiction. If the common zero is , then is the kernel of evaluation at by maximality. Thus every algebra character is point evaluation. Continuous functions separate distinct points of the unit circle, and the evaluation bijection is a homeomorphism for the Gelfand topology.
New to topics? Read the docs here!