关于度量空间收敛点列的极限是唯一的收敛点列是有界点列
出自:泛涵分析