discussion:en:泛函分析:度量空间上的映射