赋范空间一定是线性空间;赋范空间一定是距离空间;距离空间未必是赋范空间;距离空间未必是线性空间