求线性空间的维数与一组基的方法