Tychonoff theorem
This is an old revision of this page, as edited by Noodles (talk | contribs) at 04:20, March 21, 2007. It may differ significantly from current revision.
Tychonoff's theorem states that the product of arbitrary collection of compact topological spaces is compact. Tychonoff's theorem is equivalent to the axiom of choice, and can be proved using transfinite induction.