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