线性空间上定义的距离一定可以由范数诱导。