3.4.2 线性空间的基与维数