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

koichi yamagata

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


この記事が気に入ったらサポートをしてみませんか？