3.4.1 线性空间的相关定义