2020-02-11から1日間の記事一覧

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

数学

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