线性赋范空间和度量空间