16
$\begingroup$

For any topological space $X$, we can define $C(X)$ to be the commutative ring of continuous functions $f\,:\,X\rightarrow \mathbb{R}$ under pointwise addition and multiplication. Then $C(-)$ becomes a contravariant functor $C(-)\,:\,\bf{Top}\rightarrow \text{ComRing}$.

A theorem due to Gelfand and Kolmogorov states the following:

Let $X$ and $Y$ be compact Hausdorff spaces. If $C(X)$ and $C(Y)$ are isomorphic as rings, then $X$ and $Y$ are homeomorphic.

I encountered this theorem as an example in a book on homological algebra, without proof. I have searched for the proof, but have been unable to find it.

If anyone has an idea of how to prove this, or a reference to a proof, I would appreciate it greatly.

  • 1
    You might already know this, but there is a similar statement which is known as Gelfand duality. It deals with functions to $\mathbb{C}$ and commutative $C^*$-algebras though.2012-11-01
  • 2
    Hist. ref.: И. М. Гельфанд, А. Н. Колмогоров, “О кольцах непрерывных функций на топологических пространствах”, Докл. АН СССР, 22:1 (1939), 11–152012-11-01
  • 2
    An [english translation](http://books.google.com/books?id=ikN59GkYJKIC&pg=PA291) of (part of) the paper referenced by @Grigory's (I hope...).2012-11-01

3 Answers 3

8

I found a proof in these lecture notes by Garrido and Jaramillo. See Theorem 18. They also have historical references.

6

Dugundji's Topology has a very short, readable proof.

you can find the proof on page 289. its very readable.

  • 1
    Can you provide a more specific reference?2014-01-24
4

Gillman-Jerison, Rings of continuous functions, Theorem 7.3.