Tychonoffの定理

Tychonoff の定理（チコノフのていり）とは、「コンパクト空間の積空間がコンパクトである」ということを主張する数学の定理である。この定理は選択公理や整列可能定理と同値であることがよく知られている。

証明

Tychonoffの定理の証明には、ネットやフィルターを用いた証明が分かりやすい。以下のページは、Tychonoffの定理を最終目標として位相空間論をネットやフィルターの言葉で記述している。

コンパクト性に Hausdorff性を含める流儀と、含めない流儀とが一般には存在するが、含める流儀においてもTychonoffの定理は成立する。実際、Hausdorff空間の積はHausdorffである。