北京大学工学院07529.pptVIP

* 北京大学工学院 线性代数与几何（下） * 第五章 线性空间linear space第27次课 §2 维数、基与坐标 定义：（维数dimension）如果线性空间V中有n个线性无关的向量，而且任意n+1个向量都是线性相关的，那么称线性空间是n维的，记作 dim V = n。如果V中可以找到任意多个线性无关的向量，那么称线性空间V是无限维的。 n-向量组成的线性空间的维数是n。在《线性代数》或《高等代数》课程中，主要讨论有限维线性空间，无限维线性空间在《泛函分析》课程中讲授（它涉及完备性问题）。 定义：（基）在线性空间V中的n个线性无关的向量 称为一组基，如果V中的任一向量 都可以表示成 的线性组合，即 其中系数 是由 和 惟一确定的，它们称为 在基 下的坐标，记为 。在一组基之下，向量 与n-向量 之间有1-1对应的关系。 定理：如果在线性空间V中存在n个线性无关的向量 ，且 V 中任一向量均可以在表成 的线性组合，那么V是n维的且 是它的一组基。 例子：R+；齐次线性方程组解空间；n维几何向量空间的标准基；一元多项式，矩阵，数域C，对称矩阵，反对称矩阵。 注意：子空间的维数小于等于原空间的维数 重要概念：线性组合，线性表出，线性相关，线性无关，向量组的秩，向量组的等价；极大线性无关组，维数，基 定理（生成子空间）： (1) (2)  当且仅当 定理：设 是数域P上的线性空间V的基，向量组 在这组基下的坐标列向量分别是 ，则向量组 线性无关的充分必要条件是 线性无关。 定理：设W是n维线性空间V的m维子空间，则W的任何一组基都可以扩充成V的一组基。 定理’： 设 是n维线性空间V的m维子空间W的一组基，那么在V中可以找到n-m个向量 ，使得 是V的一组基。 例5.13，5.14，5.15 * 第27次课作业 P197：3(1)，5(1), 6，7(1) *