局所有限開基をもつ正則空間が距離化可能であることの証明をひとつ思いついたので、パラコンパクト Hausdorff 空間の特徴付けとともに書きます。長田によるオリジナルの証明を簡単にしたような感じ、であり新規性は特になかろうと思います。先日述べた Uryso…