Tychonoff theorem

From Conservapedia
Jump to: navigation, search

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.