位相体

お気持ち

距離空間の完備化,付値→位相体