A product space
is compact iff
is compact for all
. In other words, the topological product of any number
of compact spaces is compact.
In particular, compactness is a productive property.
As a consequence, every Hilbert cube is compact.
This statement implies the axiom of choice, as
proven by Kelley (1950).
See also
Axiom of Choice,
Compact
Space,
Product Space
Portions of this entry contributed by Margherita
Barile
Explore with Wolfram|Alpha
References
Kelley, J. L. "The Tychonoff Product Theorem Implies the Axiom of Choice." Fund. Math. 37, 75-76, 1950.Referenced
on Wolfram|Alpha
Tychonoff Theorem
Cite this as:
Barile, Margherita and Weisstein, Eric W. "Tychonoff Theorem." From MathWorld--A
Wolfram Web Resource. https://mathworld.wolfram.com/TychonoffTheorem.html
Subject classifications