D. Hurtubise, The Floer homotopy type of height functions on complex Grassmann manifolds, Trans. AMS 349 (1997)2493-2505の紹介．

距離空間の位相．

弱可算コンパクトだが可算コンパクトでない例．