入口
位相空間
目標
Tychonoff の定理
進捗
ルート設計中
ルート地図
- 1位相空間入口準備中
開集合で近さを表す空間を用意する
- 2積位相中継点準備中
たくさんの空間を同時に並べる
- 3コンパクト性中継点準備中
開被覆から有限部分被覆を取れる性質を見る
- 4フィルター中継点準備中
点列より広い収束の道具を使う
- 5超フィルター中継点準備中
極大なフィルターで選択を表す
- 6Tychonoff の定理目標準備中
コンパクト空間の任意積がコンパクトになる
目標までの見通し
コンパクト空間の任意積がコンパクトになる