Back to the index. Or to the chambers

This article has 8 links. View as Cloud or List.

Compact Proof Axiom Of Choice Infinite Implication Converse Theorem Topological Space Product Topology

1	Compact
1	Topological Space
1	Proof
1	Axiom Of Choice
1	Infinite
1	Converse Theorem
1	Implication
2	Product Topology

Loading ...

Planetmath Browser (2008—2009)

BSD licence | A django site

All articles taken from PlanetMath.org snapshot under CC-BY-SA licence.

→ The original article on PlanetMath.org

Other Formats: LaTeX

New! You can click on formulas to copy the LaTeX source to your clipboard. | Math Videos

Tychonoffs Theorem

Let $(X_i)_{i\in I}$ be a family of nonempty topological spaces. The product space (see product topology)

$\displaystyle \prod_{i\in I}X_i$

is compact if and only if each of the spaces

is compact.

Not surprisingly, if is infinite, the proof requires the Axiom of Choice. Conversely, one can show that Tychonoff's theorem implies that any product of nonempty sets is nonempty, which is one form of the Axiom of Choice.