距離空間におけるc.c.c.と可分性の同値性

はい。

 その昔わざわざBNSを使って可分性とc.c.c.の同値性を示したのですが、なんか普通にできるのでここに記す。

pdf中に出てくるseparated set は

concious4410.hatenablog.com

に出てくるMにアナロジカルになってることに引用した記事を書いてるときに気が付きました。なんかできるかなって思ったけれど特になにも思いつきませんでした。

pdfはこちら