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

抽象向量组线性相关性的判定与证明 对于抽象给出的向量组，判断或证明其线性相关与线性无关常采用以下方法 . 方法 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设 矩阵 的秩为 ，又设 维列向量 线性无关 . 证明向量组 线性无关 . 证 设数组 ，使得 ，即 由于 ，所以齐次线性方程组 只有零解 .