在距离空间中,压缩映射一定是()A. 连续映射B. 等距映射C. 满射D. 单射

本题考查距离空间中压缩映射的性质以及连续映射、等距映射、满射和单射的定义，解题思路是根据压缩映射的定义，逐一分析每个选项是否成立。

压缩映射的定义

设$(X,d)$是距离空间，$T:X\rightarrow X$是一个映射，如果存在常数$\alpha\in(0,1)$，使得对于任意的$x,y\in X$，都有$d(Tx,Ty)\leq\alpha d(x,y)$，则称$T$是$X$上的压缩映射。

选项A：连续映射

根据连续映射的定义，映射$T:X\rightarrow X$在点$x_0\in X$连续的充要条件是：对于任意的$\epsilon > 0$，存在$\delta>0$，使得当$d(x,x_0)<\delta$时，有$d(Tx,Tx_0)<\epsilon$。
对于压缩映射$T$，已知存在$\alpha\in(0,1)$，使得$d(Tx,Ty)\leq\alpha d(x,y)$对任意$x,y\in X$成立。
任取$\epsilon>0$，取$\delta=\frac{\epsilon}{\alpha}$，当$d(x,x_0)<\delta$时，有：
$d(Tx,Tx_0)\leq\alpha d(x,x_0)<\alpha\delta=\alpha\times\frac{\epsilon}{\alpha}=\epsilon$
这就说明$T$在任意点$x_0\in X$处连续，所以压缩映射一定是连续映射。

选项B：等距映射

等距映射的定义是：对于距离空间$(X,d)$和$(Y,\rho)$，映射$T:X\rightarrow Y$满足对于任意的$x,y\in X$，都有$\rho(Tx,Ty)=d(x,y)$。
而压缩映射$T$满足$d(Tx,Ty)\leq\alpha d(x,y)$，其中$\alpha\in(0,1)$，显然$d(Tx,Ty)\neq d(x,y)$（除非$\alpha = 1$，但$\alpha\in(0,1)$），所以压缩映射不是等距映射。

选项C：满射

满射是指对于映射$T:X\rightarrow X$，对于任意的$y\in X$，都存在$x\in X$，使得$Tx = y$。
考虑距离空间$X=\mathbb{R}$，定义压缩映射$T(x)=\frac{1}{2}x$，对于$y = 1$，若$Tx=\frac{1}{2}x = 1$，则$x = 2$；但对于$y = 2$，若$Tx=\frac{1}{2}x=2$，则$x = 4$。然而，当我们考虑整个实数集时，存在一些实数无法通过$T(x)=\frac{1}{2}x$得到，例如$y = 3$，不存在$x\in\mathbb{R}$使得$\frac{1}{2}x = 3$（这里只是一个简单的例子说明压缩映射不一定是满射），所以压缩映射不一定是满射。

选项D：单射

单射是指对于映射$T:X\rightarrow X$，若$Tx_1 = Tx_2$，则$x_1 = x_2$。
考虑距离空间$X=\{0,1\}$，定义映射$T(0)=T(1)=0$，对于任意$x,y\in X$，$d(Tx,Ty)\leq0\times d(x,y)$（这里$\alpha = 0$满足$\alpha\in(0,1)$的条件），但$T(0)=T(1)$，而$0\neq1$，所以压缩映射不一定是单射。