A.1 向量空间、基和矩阵