T是压缩映射与d(Tx,Ty)