ウリゾーンの補題とデデキントと距離化定理

コンパクトハウスドルフ空間が正規であることを確認し，選択公理とデデキント切断を使ってウリゾーンの補題を証明．ついでに距離化定理も．