Posted by haifeng on 2012-07-09 22:02:32 last update 2012-07-09 22:02:32 | Edit | Answers (0)
具有 Bolzano-Weierstrass 性质的度量空间是全有界的, 从而也是第二可数的、可分的、Lindelöf 的.