ウリゾーンの距離化可能定理の証明です。
ウリゾーンの距離化可能定理の証明です。始位相の記事で話したように始位相を使った証明をします。Factとして始位相の性質とウリゾーンの補題を仮定するのでそれの証明を見たい方は過去記事をどうぞ。
PDFは一番下です。
ウリゾーンの距離化可能定理の証明です。
ウリゾーンの距離化可能定理の証明です。始位相の記事で話したように始位相を使った証明をします。Factとして始位相の性質とウリゾーンの補題を仮定するのでそれの証明を見たい方は過去記事をどうぞ。
PDFは一番下です。