平移不变距离

设E是线性空间，又是度量空间，ρ是E上的距离，且E按ρ导出的拓扑成为拓扑线性空间，如果对一切x，y∈E，ρ(x-y，0)=ρ(x，y)，则称ρ是平移不变距离。度量线性空间是一类定义了距离的线性空间。设E是线性空间，又是度量空间，ρ是E上的距离，且E按ρ导出的拓扑成为拓扑线性空间，则称E为度量线性空间、线性度量空间或线性距离空间。