线性代数-第四章线性方程组_a1x1...anxn=0的系数叫什么-CSDN博客

本文链接：https://blog.csdn.net/ke64_/article/details/145739436

线性代数-第四章线性方程组

线性方程组的表示法

系数矩阵和增广矩阵

在这里插入图片描述

当常数项 $b_1,b_2,\dots,b_m$ 不全为零时，称方程组为非齐次线性方程组,表示为 $A x = b$

当 $b_1,b_2,\dots,b_m$ 全为零时，称方程组为齐次线性方程组，表示为 $A x = 0$
向量形式
- 将系数矩阵 $A$ 按列分块，即 $A=(\alpha_1,\alpha_2,\dots,\alpha_n)$ ，分局向量的线性运算，则非齐次线性方程组可以表示为向量的形式：
  $x_1\alpha_1+x_2\alpha_2+\dots+x_n\alpha_n=b$
  齐次线性方程组的向量形式：
  $x_1\alpha_1+x_2\alpha_2+\dots+x_n\alpha_n=0$
  其中， $\alpha_1,\alpha_2,\dots,\alpha_n$ 为系数矩阵 $A$ 的列向量组

骚题一道：

在这里插入图片描述

线性方程组的判定

首先明确下面可能要用到的两个变量， $n$ 表示方程组中未知量的个数， $m$ 表示方程的个数
线性方程组的下列三种变换，称为线性方程组的初等变换：
- 交换两个方程的位置
- 在方程的两端乘以数 $k\not=0$
- 某方程两端 $l$ 倍后加到另一个方程上
这三种也就是对应了对于矩阵的初等行变换，也就说明了在解方程时只对 $\overline{A},A$ ，做初等行变换
方程组解的判定（注⭐⭐⭐：没说是齐次的还是非齐次的，所以对二者都成立，但有一点不同，下面会说明）
- 方程组无解：对系数矩阵和增广矩阵做初等行变换（⭐⭐⭐其实只需要对增广矩阵做初等行变换，因为化简为阶梯形之后其中就包含了系数矩阵的阶梯形，两个矩阵的秩就可以直接观察得到），如果发现 $r(A)\not=r(\overline{A})$ ，则说明该方程组无解
  
  $e . g .$
- 方程组有解：
  - 有唯一解：将增广矩阵化为阶梯形，发现 $r(A)=r(\overline{A})=n$ ，（其中 $n$ 为方程组中未知量的个数），则方程组有唯一解
  - 有无穷多解：将增广矩阵化为阶梯形，发现 $r(A)=r(\overline{A})<n$ ，则方程组有无穷多解
齐次线性方程组解的判定：
- $A x = 0$ 有非零解 $\iff$ 向量组 $a_1,a_2,\dots,a_n$ 线性相关 $\iff$ $r(a_1,a_2,\dots,a_n)<n$ $\iff$ $r (A) < n$ ，在这里就说明齐次线性方程组一定有解（零解，但我们一般不说零解，因为所有未知量取零就是一个解），所以对于齐次线性方程组一定有 $r(A)=r(\overline{A})$ ，所以我们一般直接说 $r (A) < n$
- $A x = 0$ 有零解 $\iff$ 向量组 $a_1,a_2,\dots,a_n$ 线性无关 $\iff$ $r(a_1,a_2,\dots,a_n)=n$ $\iff$ $r (A) = n$
- 对齐次线性方程组只对系数矩阵 $A$ 做初等行变换
- 对于齐次线性方程组 $A x = 0$ ，如果方程个数 $(m)$ 小于未知数个数 $(n)$ ，则 $A x = 0$ 必有非零解，因为 $r(A)\leq min(m,n)=m<n$
- 对于齐次线性方程组 $A x = 0$ ，如果方程个数 $(m)$ 等于未知数个数 $(n)$ （即系数矩阵 $A$ 为方阵），则 $A x = 0$ 有非零解 $\iff |A|=0$ ； $A x = 0$ 只有零解 $\iff |A|\not=0$

线性方程组解的性质

齐次线性方程组解的性质
- 若 $\epsilon_1,\epsilon_2$ 是齐次线性方程组 $A x = 0$ 的两个解，则 $\epsilon_1+\epsilon_2$ 也是 $A x = 0$ 的解
- 若 $\epsilon$ 是齐次线性方程组 $A x = 0$ 的解，则对任意常数 $k$ ， $k\epsilon$ 也是 $A x = 0$ 的解
- 若 $\epsilon_1,\epsilon_2,\dots,\epsilon_s$ 是齐次线性方程组 $A x = 0$ 的解，则他们的线性组合
  $c_1\epsilon_1+c_2\epsilon_2+\dots+c_s\epsilon_s,(c_1,c_2,\dots,c_s为任意常数)$
  也是 $A x = 0$ 的解
非齐次线性方程组解的性质

非齐次线性方程组 $A x = b$ 与其导出组 $A x = 0$ 的解具有以下性质：
- 设 $\eta_1,\eta_2$ 为非齐次线性方程组 $A x = b$ 的任意两个解，则 $\eta_1-\eta_2$ 为对应导出组 $A x = 0$ 的解
- 设 $\eta$ 为非齐次线性方程组 $A x = b$ 的解， $\epsilon$ 是其导出组 $A x = 0$ 的任意解，则 $\epsilon+\eta$ 是 $A x = b$ 的解
- 若 $\eta^*$ 为 $A x = b$ 的一个解，则 $A x = b$ 的任一解可表示为 $\epsilon+\eta^*$ ，其中 $\epsilon$ 是其导出组 $A x = 0$ 的解

齐次线性方程组的基础解系

设 $\epsilon_1,\epsilon_2,\dots,\epsilon_s$ 是齐次线性方程组 $A x = 0$ 的解向量，如果：
- $\epsilon_1,\epsilon_2,\dots,\epsilon_s$ 线性无关
- 方程组 $A x = 0$ 的任一解向量都可以由 $\epsilon_1,\epsilon_2,\dots,\epsilon_s$ 线性表示
则称 $\epsilon_1,\epsilon_2,\dots,\epsilon_s$ 是齐次线性方程组 $A x = 0$ 的一个基础解析（可以类比极大线性无关组，其实齐次线性方程组的基础解系就是它的所有解的极大线性无关组）

求基础解析的标准解法：

在这里插入图片描述

⭐⭐⭐⭐⭐要注意的点：一定要将系数矩阵化为行简化阶梯形

对于 $n$ 元齐次线性方程组 $A x = 0$ 若 $r (A) = r < n$ ，则 $A x = 0$ 一定存在基础解系，且基础解系中含有 $n - r$ 个解向量。
基础解系的判定

骚题一道：

在这里插入图片描述

注意：这里我们一般用下面的解法，这样解的目的是为了证明四个向量线性无关，因为基础解系已经线性无关，再右乘一个可逆矩阵，矩阵的秩不变，所以问题转化为求矩阵的行列式

因此基础解系具备极大线性无关组的性质和结论：
- 当 $A x = 0$ 有非零解时，基础解系存在
- 若 $A x = 0$ 的基础解系存在，则基础解系不唯一
- $A x = 0$ 的不同基础解系之间可以相互线性表示
- $A x = 0$ 的不同基础解系中所含向量的个数相等，均为 $n - r (A)$ 。（其中 $n$ 为未知量的个数）
- $A x = 0$ 的任意 $n - r (A)$ 个线性无关的解向量都是它的基础解系。（其中 $n$ 为未知量的个数）
- 若 $\epsilon_1,\epsilon_2,\dots,\epsilon_s$ 是 $A x = 0$ 的一个基础解析，则 $A x = 0$ 的任一解都可用 $\epsilon_1,\epsilon_2,\dots,\epsilon_s$ 线性表示

线性方程组解的结构

齐次线性方程组解的结构：

骚题两道：

在这里插入图片描述

非齐次线性方程组解的结构：（这里重点研究当 $r(A)=r(\overline{A})<n$ 时，无穷多解的情况）
- 对于 $n$ 元非齐次线性方程组 $A x = b$ ，若 $r(A)=r(\overline{A})=r<n$ ，如果 $a_0$ 是 $A x = b$ 的一个解（通常称为特解）， $\epsilon_1,\epsilon_2,\dots,\epsilon_{n-r}$ 为其导出组 $A x = 0$ 的一个基础解系，则方程组 $A x = b$ 的通解可表示为
  $x=a_0+c_1\epsilon_1+c_2\epsilon_2+\dots+c_{n-r}\epsilon_{n-r}$
  其中 $c_1,c_2,\dots,c_{n-r}$ 为任意常数