en:discussion:泛函分析:度量空间中的点集