距离空间中的列紧集都是可分的。
出自:泛涵分析