3.5.2 向量空间的基与维数