线性空间的基与维数及线性同构