The product of any collection of compact topological spaces, no matter how large the collection, is itself compact in the product topology. Proved by Andrey Tychonoff, it is one of the central theorems of general topology and is equivalent, in full generality, to the axiom of choice.
Facts
StatementThe product of any collection of compact topological spaces is compact in the product topology. 1 Classification
Statement FormCharacterization Theorem 1 Connections
Has Statement Form
Entity-backed identity for the statement-form enum value this theorem already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The statement-form fact itself stays on the theorem unchanged.
In Branch
Sources
1. Tychonoff's Theorem (Wikipedia)
Wikimedia Foundationlead paragraph, theorem statement sentence
In mathematics, Tychonoff's theorem states that the product of any collection of compact topological spaces is compact with respect to the product topology.
lead paragraph, attribution and dating sentence
in 1935 stated the full theorem along with the remark that its proof was the same as for the special case
View the Source Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.