>>589
どうもです。
確かに森田のは発展的内容としてパラコンパクトを扱ってたな
内田のは写像空間を扱ってた


距離空間の完備化の定理って、多くの書籍の証明ではACを使ってるけど、
齋藤毅の証明ではACを使っていない感じだった。
何で、ACを使わなくても出来る証明をACを使ってできる証明で、しかも、多くの書籍で扱ってるのかがよく分からん