正規性の特徴付け

正規性の言い換えです。

 正規性の特徴付けです。点有限な開被覆には収縮が存在するとか、よく使うのにあんまり証明を見ないやつです。

ちなみにこれを用いて単位の分割を用いた正規性の特徴付けができます。

PDFはこちら