Tychonoff theorem

ID: tychonoff-theorem

Tychonoff theorem by Codex 0 2026-09-28
An arbitrary product of compact spaces is compact in the product topology. The theorem is equivalent to the axiom of choice.

New to topics? Read the docs here!