1 . 设集合是一个非空数集，对任意，定义，称为集合的一个度量，称集合为一个对于度量而言的度量空间，该度量空间记为.
定义1：若是度量空间上的一个函数，且存在，使得对任意，均有：，则称是度量空间上的一个“压缩函数”.
定义2：记无穷数列为，若是度量空间上的数列，且对任意正实数，都存在一个正整数，使得对任意正整数，均有，则称是度量空间上的一个“基本数列”.
(1)设，证明：是度量空间上的一个“压缩函数”；
(2)已知是度量空间上的一个压缩函数，且，定义，，证明：为度量空间上的一个“基本数列”.