可算コンパクトとメタコンパクト

可算コンパクトなメタコンパクト空間

可算コンパクトなメタコンパクト空間がコンパクトであることを証明します。この命題は最初はT1性を用いて証明されましたが後にT１を仮定しなくても証明できることが分かりました。
[追記16-07-17]この定理を使うとω_1がメタコンパクトではないという事が分かります。

PDFはこちら