度量线性空间

度量线性空间(metric linear space)是一类定义了距离的线性空间。设E是线性空间，又是度量空间，ρ是E上的距离，且E按ρ导出的拓扑成为拓扑线性空间，则称E为度量线性空间、线性度量空间或线性距离空间。