度量空间和线性赋范空间