ENCYCLOPEDIA 4U .com

Encyclopedia Home Page

Tychonoff's theorem

Tychonoff's theorem in topology states that the product of any collection of compact topological spaces is compact.

For finite collections of compact spaces, this is not very surprising and is easy to prove. The statement is in fact true for infinite collections of arbitrary size, depends heavily on the peculiar definition of the product topology in this case, and is equivalent to the axiom of choice.

proof sketch would be nice

Content on this web site is provided for informational purposes only. We accept no responsibility for any loss, injury or inconvenience sustained by any person resulting from information published on this site. We encourage you to verify any critical information with the relevant authorities.

This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Tychonoff's theorem".