展开 线性空间的基与维数坐标的定义