离散的度量空间是开集
相关视频/文章