-
STEP 01
距離空間の色々
まず距離空間で使う基本事項を見渡します。
-
STEP 02
コンパクト性と全有界性と完備性
コンパクト性・全有界性・完備性の関係を整理します。
-
STEP 03
距離化可能定理part0:破片
距離化可能定理を読むための入口です。
-
STEP 04
距離化可能定理part-1:BNS
Bing–Nagata–Smirnov型の特徴付けへ進みます。
-
STEP 05
距離化可能定理part1:Alexandroff-Urysohn-Tukey
Alexandroff–Urysohn–Tukey型の道具を確認します。
-
STEP 06
距離化可能定理part2:近傍
近傍系を用いた距離化の考え方を追います。
-
STEP 07
距離化可能定理part3:花井--森田・ストーンの定理
花井–森田・Stoneの定理まで見通します。