存在一个定义在 上的映射 ,使得来~自^吹冰论+文.网www.chuibin.com/

 ,

 为一个 上的压缩映射.

事实上, ,

又因为 ,则 ,故 为一个 上的映射.

下证 为一个压缩映射.

由 上定义的距离可以知道