5.1.4 赋范度量空间