A.4 赋范向量空间