线性空间,基和维数