Limitation topologyとBing's shrinking criterion
パラコンパクト性と関数空間のlimitation topologyを準備し、商空間と元の空間の同相性に関わるBingの縮小判定法を証明します。
2026年 1件
2024年 1件
距離化可能定理part3:花井--森田・ストーンの定理
距離化可能空間の閉写像による像を特徴付ける花井–森田・ストーンの定理を、Bing–長田–Smirnovの定理を基礎に証明します。
2017年 2件
ダガンディーとハウスドルフの拡張定理
単位の分割を用いたDugundjiの連続写像拡張定理と、それを使うHausdorffの距離拡張定理の証明を紹介します。
コンパクト空間の距離付け可能性
対角集合がGδであるコンパクトハウスドルフ空間の距離化可能性を、コンパクト空間の基本事項から証明します。
2016年 4件
距離化可能定理part0：破片
正則空間の近傍や開基に関する、距離化可能定理の証明に使う補助的な命題を集めたノートです。
距離化可能定理part1:Alexandroff-Urysohn-Tukey
被覆の星型集合や正規列について準備し、Alexandroff–Urysohn–Tukeyの距離化可能定理を証明します。
距離化可能定理part-1:BNS
擬距離の基本事項から、Bing–長田–Smirnovの距離化可能定理の証明へ進みます。
距離化可能定理part2：近傍
各点の近傍に課す条件から距離化可能性を導く定理を、被覆の正規列による特徴付けを基礎に紹介します。