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

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

 

线性方程组的表示法

  • 系数矩阵和增广矩阵

在这里插入图片描述

  • 当常数项 b1,b2,…,bmb_1,b_2,\dots,b_mb1,b2,,bm 不全为零时,称方程组为非齐次线性方程组,表示为 Ax=bAx=bAx=b

    b1,b2,…,bmb_1,b_2,\dots,b_mb1,b2,,bm 全为零时,称方程组为齐次线性方程组,表示为 Ax=0Ax=0Ax=0

  • 向量形式

    • 将系数矩阵 AAA 按列分块,即 A=(α1,α2,…,αn)A=(\alpha_1,\alpha_2,\dots,\alpha_n)A=(α1,α2,,αn),分局向量的线性运算,则非齐次线性方程组可以表示为向量的形式:
      x1α1+x2α2+⋯+xnαn=b x_1\alpha_1+x_2\alpha_2+\dots+x_n\alpha_n=b x1α1+x2α2++xnαn=b
      齐次线性方程组的向量形式:
      x1α1+x2α2+⋯+xnαn=0 x_1\alpha_1+x_2\alpha_2+\dots+x_n\alpha_n=0 x1α1+x2α2++xnαn=0
      其中,α1,α2,…,αn\alpha_1,\alpha_2,\dots,\alpha_nα1,α2,,αn 为系数矩阵 AAA 的列向量组

骚题一道:

在这里插入图片描述

 

线性方程组的判定

  • 首先明确下面可能要用到的两个变量,nnn 表示方程组中未知量的个数,mmm 表示方程的个数

  • 线性方程组的下列三种变换,称为线性方程组的初等变换:

    • 交换两个方程的位置
    • 在方程的两端乘以数 k≠0k\not=0k=0
    • 某方程两端 lll 倍后加到另一个方程上

    这三种也就是对应了对于矩阵的初等行变换,也就说明了在解方程时只对 A‾,A\overline{A},AA,A,做初等行变换

  • 方程组解的判定(注⭐⭐⭐:没说是齐次的还是非齐次的,所以对二者都成立,但有一点不同,下面会说明)

    • 方程组无解:对系数矩阵和增广矩阵做初等行变换(⭐⭐⭐其实只需要对增广矩阵做初等行变换,因为化简为阶梯形之后其中就包含了系数矩阵的阶梯形,两个矩阵的秩就可以直接观察得到),如果发现 r(A)≠r(A‾)r(A)\not=r(\overline{A})r(A)=r(A),则说明该方程组无解

      e.g.e.g.e.g.
      在这里插入图片描述

    • 方程组有解:

      • 有唯一解:将增广矩阵化为阶梯形,发现 r(A)=r(A‾)=nr(A)=r(\overline{A})=nr(A)=r(A)=n,(其中 nnn 为方程组中未知量的个数),则方程组有唯一解
      • 有无穷多解:将增广矩阵化为阶梯形,发现 r(A)=r(A‾)<nr(A)=r(\overline{A})<nr(A)=r(A)<n,则方程组有无穷多解
  • 齐次线性方程组解的判定:

    • Ax=0Ax=0Ax=0 有非零解   ⟺  \iff 向量组 a1,a2,…,ana_1,a_2,\dots,a_na1,a2,,an 线性相关   ⟺  \iff r(a1,a2,…,an)<nr(a_1,a_2,\dots,a_n)<nr(a1,a2,,an)<n   ⟺  \iff r(A)<nr(A)<nr(A)<n在这里就说明齐次线性方程组一定有解(零解,但我们一般不说零解,因为所有未知量取零就是一个解),所以对于齐次线性方程组一定有 r(A)=r(A‾)r(A)=r(\overline{A})r(A)=r(A),所以我们一般直接说 r(A)<nr(A)<nr(A)<n
    • Ax=0Ax=0Ax=0 有零解   ⟺  \iff 向量组 a1,a2,…,ana_1,a_2,\dots,a_na1,a2,,an 线性无关   ⟺  \iff r(a1,a2,…,an)=nr(a_1,a_2,\dots,a_n)=nr(a1,a2,,an)=n   ⟺  \iff r(A)=nr(A)=nr(A)=n
    • 对齐次线性方程组只对系数矩阵 AAA 做初等行变换
    • 对于齐次线性方程组 Ax=0Ax=0Ax=0,如果方程个数 (m)(m)(m) 小于未知数个数(n)(n)(n),则 Ax=0Ax=0Ax=0 必有非零解,因为 r(A)≤min(m,n)=m<nr(A)\leq min(m,n)=m<nr(A)min(m,n)=m<n
    • 对于齐次线性方程组 Ax=0Ax=0Ax=0,如果方程个数 (m)(m)(m) 等于未知数个数(n)(n)(n)(即系数矩阵 AAA 为方阵),则 Ax=0Ax=0Ax=0 有非零解   ⟺  ∣A∣=0\iff |A|=0A=0Ax=0Ax=0Ax=0 只有零解   ⟺  ∣A∣≠0\iff |A|\not=0A=0
  • 总结
    在这里插入图片描述

 

线性方程组解的性质

  • 齐次线性方程组解的性质

    • ϵ1,ϵ2\epsilon_1,\epsilon_2ϵ1,ϵ2 是齐次线性方程组 Ax=0Ax=0Ax=0 的两个解,则 ϵ1+ϵ2\epsilon_1+\epsilon_2ϵ1+ϵ2 也是 Ax=0Ax=0Ax=0 的解

    • ϵ\epsilonϵ 是齐次线性方程组 Ax=0Ax=0Ax=0 的解,则对任意常数 kkkkϵk\epsilonkϵ 也是 Ax=0Ax=0Ax=0 的解

    • ϵ1,ϵ2,…,ϵs\epsilon_1,\epsilon_2,\dots,\epsilon_sϵ1,ϵ2,,ϵs 是齐次线性方程组 Ax=0Ax=0Ax=0 的解,则他们的线性组合
      c1ϵ1+c2ϵ2+⋯+csϵs,(c1,c2,…,cs为任意常数) c_1\epsilon_1+c_2\epsilon_2+\dots+c_s\epsilon_s,(c_1,c_2,\dots,c_s为任意常数) c1ϵ1+c2ϵ2++csϵs,(c1,c2,,cs为任意常数)
      也是 Ax=0Ax=0Ax=0 的解

  • 非齐次线性方程组解的性质

    非齐次线性方程组 Ax=bAx=bAx=b 与其导出组 Ax=0Ax=0Ax=0 的解具有以下性质:

    • η1,η2\eta_1,\eta_2η1,η2 为非齐次线性方程组 Ax=bAx=bAx=b 的任意两个解,则 η1−η2\eta_1-\eta_2η1η2 为对应导出组 Ax=0Ax=0Ax=0 的解
    • η\etaη 为非齐次线性方程组 Ax=bAx=bAx=b 的解,ϵ\epsilonϵ 是其导出组 Ax=0Ax=0Ax=0 的任意解,则 ϵ+η\epsilon+\etaϵ+ηAx=bAx=bAx=b 的解
    • η∗\eta^*ηAx=bAx=bAx=b 的一个解,则 Ax=bAx=bAx=b 的任一解可表示为 ϵ+η∗\epsilon+\eta^*ϵ+η,其中 ϵ\epsilonϵ 是其导出组 Ax=0Ax=0Ax=0 的解

 

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

  • ϵ1,ϵ2,…,ϵs\epsilon_1,\epsilon_2,\dots,\epsilon_sϵ1,ϵ2,,ϵs 是齐次线性方程组 Ax=0Ax=0Ax=0 的解向量,如果:

    • ϵ1,ϵ2,…,ϵs\epsilon_1,\epsilon_2,\dots,\epsilon_sϵ1,ϵ2,,ϵs 线性无关
    • 方程组 Ax=0Ax=0Ax=0 的任一解向量都可以由 ϵ1,ϵ2,…,ϵs\epsilon_1,\epsilon_2,\dots,\epsilon_sϵ1,ϵ2,,ϵs 线性表示

    则称 ϵ1,ϵ2,…,ϵs\epsilon_1,\epsilon_2,\dots,\epsilon_sϵ1,ϵ2,,ϵs 是齐次线性方程组 Ax=0Ax=0Ax=0 的一个基础解析(可以类比极大线性无关组,其实齐次线性方程组的基础解系就是它的所有解的极大线性无关组)

求基础解析的标准解法:

在这里插入图片描述

在这里插入图片描述

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

  • 对于 nnn 元齐次线性方程组 Ax=0Ax=0Ax=0r(A)=r<nr(A)=r<nr(A)=r<n,则 Ax=0Ax=0Ax=0 一定存在基础解系,且基础解系中含有 n−rn-rnr 个解向量。

  • 基础解系的判定

    在这里插入图片描述

骚题一道:

在这里插入图片描述

基础解系的个数不会改变,则首先排除 B。将 A 写为了基础解系的形式,因为基础解系(也就是极大线性无关组)必是线性无关的,则他们前面的系数全为0。就可解出来前面的系数。(但是我们一般不用这种方法)

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

  • 因此基础解系具备极大线性无关组的性质和结论:
    • Ax=0Ax=0Ax=0 有非零解时,基础解系存在
    • Ax=0Ax=0Ax=0 的基础解系存在,则基础解系不唯一
    • Ax=0Ax=0Ax=0 的不同基础解系之间可以相互线性表示
    • Ax=0Ax=0Ax=0 的不同基础解系中所含向量的个数相等,均为 n−r(A)n-r(A)nr(A)。(其中 nnn 为未知量的个数)
    • Ax=0Ax=0Ax=0 的任意 n−r(A)n-r(A)nr(A) 个线性无关的解向量都是它的基础解系。(其中 nnn 为未知量的个数)
    • ϵ1,ϵ2,…,ϵs\epsilon_1,\epsilon_2,\dots,\epsilon_sϵ1,ϵ2,,ϵsAx=0Ax=0Ax=0 的一个基础解析,则 Ax=0Ax=0Ax=0 的任一解都可用 ϵ1,ϵ2,…,ϵs\epsilon_1,\epsilon_2,\dots,\epsilon_sϵ1,ϵ2,,ϵs 线性表示

 

线性方程组解的结构

  • 齐次线性方程组解的结构:

骚题两道:

在这里插入图片描述

在这里插入图片描述

  • 非齐次线性方程组解的结构:(这里重点研究当 r(A)=r(A‾)<nr(A)=r(\overline{A})<nr(A)=r(A)<n 时,无穷多解的情况)

    • 对于 nnn 元非齐次线性方程组 Ax=bAx=bAx=b,若 r(A)=r(A‾)=r<nr(A)=r(\overline{A})=r<nr(A)=r(A)=r<n,如果 a0a_0a0Ax=bAx=bAx=b 的一个解(通常称为特解),ϵ1,ϵ2,…,ϵn−r\epsilon_1,\epsilon_2,\dots,\epsilon_{n-r}ϵ1,ϵ2,,ϵnr 为其导出组 Ax=0Ax=0Ax=0 的一个基础解系,则方程组 Ax=bAx=bAx=b 的通解可表示为
      x=a0+c1ϵ1+c2ϵ2+⋯+cn−rϵn−r x=a_0+c_1\epsilon_1+c_2\epsilon_2+\dots+c_{n-r}\epsilon_{n-r} x=a0+c1ϵ1+c2ϵ2++cnrϵnr
      其中 c1,c2,…,cn−rc_1,c_2,\dots,c_{n-r}c1,c2,,cnr 为任意常数

 

线性方程组的求解

  • 齐次线性方程组的求解

在这里插入图片描述

  • 非齐次线性方程组的求解

在这里插入图片描述

在这里插入图片描述

求解非齐次线性方程组解的标准解法:

在这里插入图片描述

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值