パラコンパクト Hausdorff な局所 Euclid 位相空間(位相多様体)が距離化可能であることを、いくつかの距離化定理を経由して示します。10 日くらい前の記事で証明した Moore の距離化定理を出発点とします。commonnoun.hatenadiary.jp