2016-01-09 コンパクト性と全有界性と完備性 16.225 距離空間 あけましておめでとうございます。たぶん。 位相空間がその位相と両立するに任意の距離で完備ならコンパクトなのか？って言う奴の回答です。 ビング・長田・スミルノフの距離化可能定理を使うので証明とか知りたい人はこちらの記事をどうぞ↓ concious4410.hatenablog.com くだんのPDFはこちら↓