(线性代数第四章向量空间.docVIP

第四章 向量的线性相关性 本章介绍维向量的概念及运算，讨论向量组的线性相关性与极大线性无关组，进而用基础解系来表示线性方程组的解。最后简单讨论了向量空间中经常用到的一些概念。 §1 维向量 一个含有0，1的数集，如果对于中任意两个数的四则运算结果仍在这个数集中（除数不为0），则称该数集为一数域。 容易验证整数集不是数域；有理数集、实数集、复数集均为数域，以后分别称之为有理数域、实数域和复数域。对于任一数域，有。 定义1：数域中个数构成的有序数组称为数域上的维向量，向量常用希腊字母等表示。其中称为向量的第个分量。 若维向量和的对应分量相等，即（），称向量与相等，记为。向量也称为维行向量。 维行向量可视为矩阵来定义加法与数乘。矩阵中关于加法与数乘的性质也适合向量的加法与数乘。向量有时为了方便也写成列的形式 。 称为维列向量。作为列向量时可视为矩阵来定义加法与数乘。 数域上全体维向量的集合对于线性运算称为数域上的维向量空间，记为。 §2 线性相关性 一、线性表示 定义2：设是一组维向量，是一组数，称向量 为向量组的一个线性组合。如果某一向量可表示成，则称向量可由线性表示。 例如向量组，，，有，称可由线性表示。 注意：线性方程组的增广矩阵可写成分块矩阵形式。其中，（）为的第列元素构成的列向量。 定理1：维向量可由向量组线性表示的充要条件是线性方程组有解（这里每个及均为维列向量）。 证明：记 ，。 若 ，即满足 。 亦即是线性方程组的解。 反之亦然。 例1：设，，；，。 问能否由线性表示？若能线性表示，求出具体的表达式。 解：因为 所以 又 故 从题中可以看出，上述两个线性方程组的系数矩阵完全相同，解这两个线性方程组均需要把它们通过初等行变换化为简化阶梯形。而在进行初等行变换时，不同列的元素之间没有影响。因此，上述两个方程组的增广矩阵可合并为，通过初等行变换把系数矩阵化为简化阶梯形，就可同时求出这两个线性方程组的解。 一般地，对系数矩阵相同的若干个线性方程组，可以通过“扩充”增广矩阵的初等行变换来求解。 二、线性相关性 定义3：设是一组维向量，如果存在一组不全为0的数，使得 成立。则称向量组线性相关，否则称它们线性无关。 由定理1可得下列结果： 推论1：向量组线性相关的充分必要条件是齐次线性方程组有非0解；向量组线性无关的充分必要条件是齐次线性方程组仅有0解。 考虑到齐次线性方程组常数项为零，对于方程组的初等行变换常数项仍为零。故以后齐次线性方程组只用系数矩阵表示。 例2：当为何值时，向量组，，线性相关。 解：当系数矩阵行列式时，齐次线性方程组有非零解。即或时，向量组线性相关。 由定义1及推论1容易推出下列结果： 向量组中含有0向量，则向量组线性相关 若向量组线性相关，则向量组线性相关；反之，向量组线性无关，则向量组线性无关。 向量组线性无关，则将添加任意有限个相同个数的分量后所得到的新向量组也线性无关。反之，若向量组线性相关，则截去的若干个分量后所得到的新向量组一定线性相关。 事实上，线性相关和线性无关定义还有下列一个等价的说法。 定理2：向量组线性相关当且仅当存在组中某一向量可由其余向量线性表示；向量组线性无关当且仅当组中任一向量均不能由其余向量线性表示。 证明：这里证定理的前一部分，后一部分读者自行练习。 设向量组线性相关，则存在不全为0的数（不妨设某一），使得。从而 。即可由其余向量线性表示。 反之，设向量可由其余向量线性表示 ， 即 。 所以向量组线性相关。 例3： 1) 设向量组线性无关，证明：向量组，，也线性无关。 2) 设为任一向量组，证明：向量组，，，一定线性相关。 证明： 1) 设有，使得 ， 整理得 。因为线性无关，所以 。解得。从而 ，，也线性无关。 2) 因 ，由定义 ，，，线性相关。 §3 等价向量组 一、等价向量组 设有向量组(I)： 和向量组(II)：。如果向量组(II)中每一个向量均可由线性表示，称向量组(II)可由向量组(I)线性表示。 由定理1及扩充方程组的概念，可知(II)由(I)线性表示扩充的线性方程组有解 秩()=秩()，这里，。 定义4：如果向量组(I)与(II)可以相互线性表示，称(I)与(II)等价。 易知，(I)与(II)等价扩充线性方程组与均有解秩()=秩()=秩()。 例4：设有两向量组 和 ， 证明上述两向量组等价。 证明： 。 因为 秩()=秩()=秩()，所以两向量组等价。 二、极大线性无关组 定义5：一个向量组中如果存在个向量，满足： (1) 线性无关； (2) 向量组中任一向量均可由线性表示。 称为向量组的一个极大线性无关组。 由定义可知，任一向量组与它的极大线性无