4.1 n维向量空间与线性组合