展开 线性空间的维数等于基的个数