チコノフの定理
以降の証明では、まず有限個の場合について証明し (2個の直積の場合の証明で十分である)、これを選択公理を援用して(本稿では実際にはこれと同値な整列可能定理とツォルンの補題も援用する) 超限帰納法により非可算個の場合を含む無限個の直積の場合まで拡張している。通常は、数学的帰納法を用いて可算無限個の直積の場合に拡張し、最後に非可算個の直積の場合まで拡張するのであるが、可算無限の場合も非可算個の場合も証明のロジックはほとんど同じになるので、可算無限個の場合は省略する。
コンパクトという概念は、現在では通常はハイネ・ボレルの被覆定理で提唱された被覆という概念を用いて次のように定義される。
定義:位相空間 X がコンパクトであるとは、 X が次の命題を満たすことである。