Tychonoff theorem
From Conservapedia
This is the current revision of Tychonoff theorem as edited by DavidB4-bot (Talk | contribs) at 20:53, July 13, 2016. This URL is a permanent link to this version of this page.
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.
Stated another way, Tychonoff's theorem holds that a nonempty product space is compact if and only if each factor space is compact.
