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

9 . 设A，B是两个非空集合，如果对于集合A中的任意一个元素x，按照某种确定的对应关系，在集合B中都有唯一确定的元素y和它对应，并且不同的x对应不同的y；同时B中的每一个元素y，都有一个A中的元素x与它对应，则称：为从集合A到集合B的一一对应，并称集合A与B等势，记作.若集合A与B之间不存在一一对应关系，则称A与B不等势，记作.
例如：对于集合，，存在一一对应关系，因此.
(1)已知集合，，试判断是否成立?请说明理由；
(2)证明：①；
②.