设X是距离空间，T是X到X的映射.压缩映射定理成立的条件是（）.