19
$\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.

  • 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

4 Answers 4

9

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

7

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 $m$ore specific reference?2014-01-24
5

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