第三章线性空间.ppt

第三章 线性方程组和向量空间 n元一次线性方程组_1 定义 n元线性方程组 其中 n元一次线性方程组_2 n元线性方程组 线性的方程组的矩阵表示 称矩阵 高斯消元法_1 例子：用高斯消元法解方程组 高斯消元法_2 高斯消元法实际上是反复地对线性方程组进行以下三种基本变换： 1、互换两个方程的位置 2、把一个方程的倍数加到另一个方程 3、用一非零的数乘某一方程。 定义 变换1，2，3称为线性方程组的初等变换。 线性方程组的初等变换对应于增广矩阵的初等行变换 问题 初等变换能保证把方程组变成同解方程组？ 高斯消元法_3 高斯消元法_3 高斯消元法_4 现考察线性方程组（5）的解得情况 高斯消元法_1 例子：用高斯消元法解方程组 高斯消元法_5 例：解线性方程组 线性方程组解的存在性和唯一性 问题1：方程组是否有解？ 问题2：若方程组有解，解是否唯一？ 答案 首先用初等变换化线性方程组为阶梯形方程组， 把最后的一些恒等式“0＝0”去掉。 如果剩下的方程当中最后的一个等式是0等于一非零的数，那么方程组无解，否则有解。 在有解的情况下，如果阶梯形方程组中方程的个数r等于未知量的个数n，那么方程有唯一解； 如果阶梯形方程组中方程的个数r小于未知量的个数n，那么方程有无穷多个解。 定理1：在齐次线性方程组 利用矩阵求解线性方程组_1 n元线性方程组（1）对应的增广矩阵为B 由于用初等变换化方程组（1）成阶梯形就相当于用初等行变换化增广矩阵B成阶梯形矩阵。因此，解线性方程组的第一步工作可以通过矩阵来进行，而从化成的阶梯形矩阵就可以判别方程组有解还是无解，在有解的情形，回到阶梯形方程组去解。 利用矩阵求解线性方程组_2 例：解线性方程组 n维向量空间_0 对于具体求解线性方程组，消元法是一个最有效和最基本的方法。但有时候需要直接从原方程组来看它是否有解，这样消元法就不能用了。同时，用消元法化方程组成阶梯形，剩下的方程的个数是否唯一决定的呢，这个问题也还没有解决。这些问题要求我们对线性方程组还要做进一步的研究。 初等变换是揭露方程之间关系的一种方法。 n维向量空间_1 定义 数域P上一个n维向量就是指由数域P中n个数组成的有序数组。其中a1, a2, …, an∈P，称为向量的分量。 P上的n维行向量: P上的n维列向量: 注 n维行向量可看成是一个1×n 矩阵，n维列向量可以看成是一个n×1矩阵。向量的运算及相等的定义与矩阵完全相同。 向量相等 若n维向量 的对应 零向量：0=（0，0，…,0） 负向量： n维向量空间_2 向量的运算 (1) 加法 (2) 数量乘积 n维向量空间_3 向量运算规则（八条基本运算规则） n维向量空间_4 其他常用向量运算规则 n维向量空间_5 定义 (p116定义8） 以数域P中的数作为分量的n维向量的全体，同时考虑定义在它们上面的加法和数量乘法，称为数域P上的n维向量空间。记为Pn 例如，在n=3时，3维实向量空间可以认为就是几何空间中全体向量所成的空间。记为R3 向量的线性关系_线性组合 定义（p117定义9） 例子 零向量是任一向量组的一个线性组合。 向量的线性关系_n维单位向量 向量方程_例子 向量方程_结论 向量的线性关系_等价向量组 定义（p118定义10） 向量组等价的性质 1）反身性 2）对称性 3） 传递性 向量组的等价 定义 向量组I, Ⅱ称为等价的，若Ⅰ中的任一向量可用Ⅱ中向量的线性组合来表示, Ⅱ中任一向量也可用Ⅰ中向量的线性组合来表示。 向量的线性关系_线性相关 注 线性相关性与数域有关 判断题: (1)任意一个包含零向量的向量组必定线性相关. (2)两个成比例的向量是线性相关的. 向量的线性关系_线性无关 向量组线性关系的判断 问题：如何判断一个向量组是线性相关还是线性无关？（p122） 答案：可以归结为解方程组的问题。 例： 练习: P155 3 P159 1 向量的线性关系_性质 性质1 （p121） 向量的线性关系_性质 性质3 （p123） 注： 性质4 向量的线性关系_8性质 性质5 （p123定理2） 极大线性无关组_1 定义 极大线性无关组_1 极大线性无关组_3 极大无关组的计算方法1（p155习题9，习题10） 极大线性无关组_4 极大无关组的计算方法