The statement that any product (with the product topology) of compact topological spaces is compact; in ZF set theory this theorem is equivalent to the Axiom of Choice.

Principle

Compactness is preserved under arbitrary products when the product is equipped with the product topology; proofs use nets, ultrafilters, or the Alexander subbase theorem and invoke choice at critical steps in full generality.

Demonstration

The Tychonoff cube [0,1]^I (product of copies of the compact interval [0,1] indexed by I) is compact in the product topology for any index set I; ultrafilter or subbase arguments exhibit the compactness.

Misapplication

Applying the theorem to the box topology or assuming products of merely locally compact spaces are compact are misuses; the topology and compactness of each factor are essential hypotheses.

Consequence

Tychonoff's theorem underpins many existence results (for example product measures and compactifications) and its equivalence to the Axiom of Choice highlights deep foundational implications for construction in topology and analysis.

Reversal

The failure of product compactness in alternative topologies (e.g., box topology) or without choice highlights the contrast: finite products preserve compactness trivially, but infinite products require the full theorem and, set-theoretically, choice.

Boundary

The theorem refers specifically to the product topology on arbitrary index sets and to compactness of factors; it does not extend to other product-like topologies, nor does it hold in ZF without choice unless restricted to special classes of spaces.

Semantic Tension

There is tension between the product and box topologies, between proofs via coverings versus ultrafilters/nets, and between the topological content and its set-theoretic equivalence to the Axiom of Choice.

Synthesis

Tychonoff's theorem asserts that arbitrary products of compact spaces are compact in the product topology; it is both a powerful tool for constructing compact spaces and a statement with precise set-theoretic strength equivalent to the Axiom of Choice.