ウリゾーン
たぶんそういう話のメモ
ウリゾーンの論文の論文メモです．
集めた論文のメモを残して未来への手紙とします．
ウリソーン普遍空間というものの構成をします。
コンパクト空間の距離付け可能性の話です。pdfは一番最後にあります。
等高線の話とウリゾーンの補題とか、正規空間の特徴付けとかです。
正規性の言い換えです。
ウリゾーンの距離化可能定理の証明です。
ウリゾーンの補題の証明です。
