Questions: Tychonoff's Theorem

Question 1

Tychonoff's theorem holds for the product topology but fails for the box topology on infinite products. What property of the product topology makes it the correct setting?

• A. The product topology is finer than the box topology, making open covers easier to find
• B. The product topology's open sets restrict only finitely many coordinates, making it coarser than the box topology and allowing finite subcovers to be extracted
• C. The box topology is not Hausdorff, so compactness cannot be defined there
• D. The product topology automatically inherits metric properties from the factors

Answer: (B)

The product topology is the coarsest topology making all coordinate projections continuous. Its open sets are generated by sets that constrain only finitely many coordinates, leaving the rest unrestricted. This sparseness means there are fewer open sets, making it easier for every open cover to have a finite subcover. The box topology allows infinite intersections of open sets (constraining all coordinates simultaneously), which is much finer and destroys compactness: an infinite product of copies of [0,1] is not compact in the box topology.

Question 2

Which of the following is a direct consequence of Tychonoff's theorem?

• A. Every infinite-dimensional Banach space is compact in its norm topology
• B. The closed unit ball of the dual of a Banach space is compact in the weak-* topology
• C. Every metric space is compact if and only if it is closed and bounded
• D. Every Hausdorff space is homeomorphic to a product of compact spaces

Answer: (B)

The Banach–Alaoglu theorem states that the closed unit ball of the dual of a Banach space is compact in the weak-* topology. This follows from Tychonoff's theorem: the dual unit ball embeds as a closed subspace of a product of copies of [-1,1] (one per unit-ball element of the original space), and such a product is compact by Tychonoff. Infinite-dimensional Banach spaces are never compact in the norm topology, and the Heine-Borel characterization applies only to ℝⁿ.

Question 3

An arbitrary product of compact spaces is compact in the box topology.

• T. True
• F. False

Answer: False

Tychonoff's theorem applies to the product topology, not the box topology. The box topology is strictly finer than the product topology on infinite products — it allows open sets that simultaneously constrain all coordinates. The infinite product of copies of [0,1] fails to be compact in the box topology: you can construct an open cover with no finite subcover. Tychonoff's theorem depends essentially on the product topology's restriction that open sets constrain only finitely many coordinates.

Question 4

The proof of Tychonoff's theorem requires the Axiom of Choice (or an equivalent such as Zorn's Lemma or the ultrafilter lemma).

• T. True
• F. False

Answer: True

The standard proofs use Zorn's Lemma or the ultrafilter lemma, both equivalent to the Axiom of Choice. This is not merely a proof artifact: Kelley proved in 1950 that assuming Tychonoff for all topological spaces (not just Hausdorff ones) actually implies the Axiom of Choice. The theorem and the Axiom of Choice are in a deep sense equivalent — you cannot prove Tychonoff without some form of Choice, and Tychonoff gives you Choice back.

Question 5

Explain why Tychonoff's theorem holds for the product topology but fails for the box topology on infinite products, in terms of what changes when you switch topologies.

Model answer: The product topology's open sets constrain only finitely many coordinates, leaving the rest free. This coarseness means there are far fewer open sets, so constructing a finite subcover from any open cover is feasible — the finite constraint structure of each open set can be exploited systematically. In the box topology, open sets can simultaneously constrain every coordinate, creating far more open sets and allowing you to build covers where no finite subcollection covers every point of the product, destroying compactness.

A concrete illustration: in the product topology, any open set 'sees' only finitely many coordinates, so a finite number of such sets can cover the product by addressing the finitely many constrained coordinates. In the box topology you can construct an open cover where each set constrains a different infinite collection of coordinates, preventing any finite subcollection from sufficing. The product topology's finiteness condition is exactly what the Tychonoff proof exploits.