抽象向量组线性相关性的判定及证明.docx

精选文档 精选文档 PAGE PAGE127 精选文档 PAGE 抽象向量组线性有关性的判断与证明 关于抽象给出的向量组，判断或证明其线性有关与线性没关常采纳以下方法 . 方法1定义法：先设 ，而后对其作恒等 变形，如用某个矩阵同乘该式两边，或对该式拆项从头组合等.终究用什么方法应该从已知条件去找寻信息，经过一次或多次恒等变形来剖析 能够不全为零仍是一定全为零，进而得悉 是线性有关仍是线性没关 . 方法2求秩法：要论证 线性有关或线性 没关，可将其组成矩阵 ，利用 或 来说明. 方法 方法  3利用有关结论，如“等价的向量组有同样的秩”等 4反证法.  . 例1已知向量组 线性没关. 设 ， ， 议论 的线性有关性 . 解法1利用定义. 设 ，代入 的表达式，有 整理得 因为 线性没关，所以有 其 系 数 行 列 式 进而方程组有非零解，即 不全为零(或求得 方程组的通解 随意；取 得 )，故 线性有关. 法2利用矩阵的秩. 将 看做行向量，令 ，此中 因为 线性没关，所以 ，又可求得 ，进而 . 又知 所以 ，故 线性有关. 注上题中，如将 看做列向量，则有 其他证明同法 2. 例2已知向量组 ，令 ， ，证明： (1) 当 为偶数时，向量组 线性有关； (2) 当 为奇数时，向量组 与 同时线性有关或线性没关 . 证(1) 法1当 为偶数时，因为 所以 线性有关. 法2设数组 ，使得 (*) 代入 的表达式并整理得 令 ，则上式建立 . 该齐次方程组的系数队列 式 ( 两条线队列式) 故有非零解，即存在不全为零的数 使(*)式 建立，进而 线性有关. (2) 当 为奇数时，将 看做列向量，则有 此中 因为 ，所以 可逆，进而 这表示向量组 与 能够相互线性表出，即它们等价，进而有相 同的秩. 故当向量 线性没关，即秩为 时，向量组 的秩也是 ，即线性没关；而当 线性有关时， 也线性有关. 注上题中，如将 看做行向量，则有 例3向量组 线性没关，则以下线性没关 的向量组是 ． (A) ， ， ， ； (B) ， ， ， ； (C) ， ， ， ； (D) ， ， ， 应填:(B)． 剖析 法1．察看可知 线性有关； 线性有关； (D) 线性有关．由清除法可知应选 (B)． 法2．对(B)，设 拆项重组为 由 线性没关知 ， 系 数 行 列 式 所以方程组只有零解， ，进而(B)线性无 关．用此法可知 (A)，(C)，(D)均线性有关． 法3．对(B)，设 ， ， ， 形式记为 因为 ，所以 可由 线性表出，故这两个向量组等价，而等价向 量组有同样的秩，进而 的秩为4，即它线性 没关．对(A)，(C)，(D)如上办理，并写成形式记法，此中矩阵 的队列式为 0，这表示 不可以由 ， 线性表出，故均线性有关． 例4(98-1-04) 设 是 阶方阵，若存在正整数 ，使线性方程组 有解向量 ，且 .证明向量组 是线性没关的. 证设有数组 ，使得 两边左乘 ，并注意到 ，得 ，因为 ，所以 . 此时有 ，再左乘 可得 . 挨次类推知 ，故 线性没关. 例5在向量组 中，设 ，且 都不可以由 线性表示. 证明向量组 线性没关. 证采纳反证法.设向量组 线性有关，则 存在不全为零的数 ，使得 . 在数组 中，设从右到左第 个不为零的数为 ，即 于是有 假如 ，则有 ，进而 ，这与题设 矛盾.故 ，上式可改写为 这与题设 不可以由 线性表示矛盾. 所以，向量组 线性没关. 例6(01-4-08) 设 是 维实向量，且 线性没关. 已知 是齐次线性方程组 的非零解向量，试判断向量组 的线性有关 性. 解由假定知线性方程组的系数矩阵为 ，而 是方程组的非零解向量，即有 ，进而得 ， 即 法1由定义. 设 左乘 并利用 得 . 但 ，所以 ，于是有 ，代入前一式得 .因为 线性没关，所以 ，故 线性没关. 法2反证. 若 线性有关，则由唯一表示 定理知 于是 进而 ，这与 是非零解向量矛盾，故 线性没关. 例7证明 维向量组 线性没关的充足必需条件是 维单位坐标向量组 ， ， 能够由 线性表出. 证必需性.已知 线性没关，因为 个 维向量必线性有关，所以 线性有关，由唯一表示定理知 可由 线性表出. 充足性. 已知 可由 线性表出，又随意 维向量均可由 线性表出，所以 可由 线性表出，故向量组 与 等价. 因为 的秩为 ，所以 的秩也为 ，故 线性没关. 例8设 矩阵 的秩为 ，又设 维列向量 线性没关. 证明向量组 线性没关. 证设数组 ，使得 ，即 因为 ，所以齐次线性方程组 只有零解. 故由上式得 由题设 线性没关，进而只有 ，故 线性没关. 例9设 是 矩阵， 是 矩阵，此中 ．若 ，证明 的列向量组线性没关． 证法1(由定义，同乘)