返回
赋范向量空间
无内容