线性方程组
0.引言
- 在面对一个具体的问题时,一般而言我们会首先关注这个问题“有没有答案”——这就是所谓 「解的存在性」。
- 如果所研究的问题是有答案的,进一步地我们会关心这个问题的“答案是不是只有一个”——这 就是所谓 「解的唯一性」。
- 如果我们对上述两个问题的回答是:答案唯一地存在,那么接下来我们想要知道是否能有统一的 方法来找到这个解;如果我们的回答是:答案存在但是不唯一,我们就要问:能否把每一个答案 全部找到?并且能否说清楚这个问题不同答案之间的相互关系——换言之,我们想要研究线性方程组 「解的结构」。
1. 解
正如引言所说的,我们研究是:解的存在性,解的唯一性,解的结构,这三者是解的核心。
- 系数矩阵 A A A:只有系数组成
- 增广系数矩阵 A ˉ \bar{A} Aˉ(带等号右边的常数)。
1.1 解和矩阵秩的关系
- 唯一解: r ( A ) = r ( A ˉ ) = 未 知 数 个 数 r(A)=r(\bar{A})=未知数个数 r(A)=r(Aˉ)=未知数个数(有解)
- 无穷解: r ( A ) = r ( A ˉ ) < 未 知 数 个 数 r(A)=r(\bar{A})<未知数个数 r(A)=r(Aˉ)<未知数个数(有解)
- 无解: r ( A ) ≠ r ( A ˉ ) r(A)\neq r(\bar{A}) r(A)=r(Aˉ)
解题怎样判断秩是否相等?
第一步:写出
A
ˉ
\bar{A}
Aˉ
第二步:只做初等行变换,把增广系数矩阵化成阶梯型,看非零行行数是否相同
接下来,我们除了能够判断解的情况,还能写出结果。
假如我们的增广系数矩阵化成: [ 1 0 3 4 5 0 1 1 1 2 0 0 0 0 0 0 0 0 0 0 ] \begin{bmatrix}1&0&3&4&5\\0&1&1&1&2\\0&0&0&0&0\\0&0&0&0&0\end{bmatrix} ⎣⎢⎢⎡10000100310041005200⎦⎥⎥⎤,秩相同,所以有解,有四个未知量,所以有无穷解。
写出一般解:
{
x
1
=
5
−
3
x
3
−
4
x
4
x
2
=
2
−
x
3
−
x
4
\begin{cases}x_1=5-3x_3-4x_4\\x_2=2-x_3-x_4\end{cases}
{x1=5−3x3−4x4x2=2−x3−x4
我们管 x 2 , x 3 , x 4 x_2,x_3,x_4 x2,x3,x4叫做自由未知量
像这种增广系数矩阵就是无解:
[ 1 − 1 2 0 1 2 0 0 4 ] \begin{bmatrix}1&-1&2\\0&1&2\\0&0&4\end{bmatrix} ⎣⎡100−110224⎦⎤
2. 齐次线性方程组
2.1 零解和非零解
齐次线性方程组就是常数项是0的方程组。比如: { x 1 + x 2 = 0 x 1 − 5 x 2 = 0 \begin{cases}x_1+x_2=0\\x_1-5x_2=0\end{cases} {x1+x2=0x1−5x2=0
记住:齐次线性方程组一定有解,至少有0解
- 零解:所有未知量都取0。
- 非零解:解里面不全为0
至于一定有解也不难理解,当我们画出增广系数矩阵的时候,最右边都是0,增广系数矩阵和系数矩阵一样了。
所以,我们对于齐次方程组关心的焦点在于:是否有非零解。
也就是关注r(A)和未知数个数n的关系
这里需要注意的是,因为有唯一解的时候就只有零解了,唯一的零解。
(以后n都代表未知数个数)
要想有非零解,就必须满足:r(A)<n,|A|=0
要是和可逆的性质挂钩的话:
- 有非零解 ⇐ ⇒ \Leftarrow\Rightarrow ⇐⇒|A|=0 ⇐ ⇒ \Leftarrow\Rightarrow ⇐⇒r(A)<n ⇐ ⇒ \Leftarrow\Rightarrow ⇐⇒A不可逆
- 有零解 ⇐ ⇒ ∣ A ∣ ≠ 0 \Leftarrow\Rightarrow|A|\neq0 ⇐⇒∣A∣=0 ⇐ ⇒ \Leftarrow\Rightarrow ⇐⇒A可逆 ⇐ ⇒ \Leftarrow\Rightarrow ⇐⇒r(A)=n
例题:
已知向量组组成的齐次方程组:(1,3 0,5) (1,2,1,4) (1,1,2,3) (2,5,1,9) (1,-3,6,-1)
解:
设
x
1
a
1
+
x
2
a
2
+
x
3
a
3
+
x
4
a
4
+
x
5
a
5
=
0
x_1a_1+x_2a_2+x_3a_3+x_4a_4+x_5a_5=0
x1a1+x2a2+x3a3+x4a4+x5a5=0
2.2 基础解系
当我们面临着非零解是个无穷多解的情况的时候,我们需要一组解来代表所有的解。
和极大线性无关组类似。
如何求基础解系?
根据我们上面求一般解的方法,首先写出系数矩阵和增广系数矩阵,然后进行初等行变换,化成行简化阶梯型,写出一般解。
基础解系的向量数量: s = n − r ( A ) s=n-r(A) s=n−r(A),我们也叫基础解系里面有 s = n − r ( A ) s=n-r(A) s=n−r(A) 个向量。
当我们把基础解系视作一个矩阵的话: B n s B_{ns} Bns
例题1:(求基础解系):
A
ˉ
=
(
.
.
)
→
[
1
0
−
9
4
−
3
4
1
4
0
1
3
4
−
7
4
5
4
0
0
0
0
0
]
→
{
x
1
=
9
4
x
3
+
3
4
x
4
−
1
4
x
5
x
2
=
−
3
4
x
3
+
7
4
x
4
−
5
4
x
5
\bar{A}=(..)\rightarrow \begin{bmatrix}1&0&-\frac{9}{4}&-\frac{3}{4}&\frac{1}{4}\\0&1&\frac{3}{4}&-\frac{7}{4}&\frac{5}{4}\\0&0&0&0&0\end{bmatrix}\rightarrow \begin{cases}x_1=\frac{9}{4}x_3+\frac{3}{4}x_4-\frac{1}{4}x_5\\x_2=-\frac{3}{4}x_3+\frac{7}{4}x_4-\frac{5}{4}x_5\end{cases}
Aˉ=(..)→⎣⎡100010−49430−43−47041450⎦⎤→{x1=49x3+43x4−41x5x2=−43x3+47x4−45x5
x 3 , x 4 , x 5 x_3,x_4,x_5 x3,x4,x5属于自由未知量
我们对 [ x 3 x 4 x 5 ] \begin{bmatrix}x_3\\x_4\\x_5\end{bmatrix} ⎣⎡x3x4x5⎦⎤取一个极大线性无关组,最典型的是 [ 1 0 0 ] \begin{bmatrix}1\\0\\0\end{bmatrix} ⎣⎡100⎦⎤和 [ 0 1 0 ] \begin{bmatrix}0\\1\\0\end{bmatrix} ⎣⎡010⎦⎤和 [ 0 0 1 ] \begin{bmatrix}0\\0\\1\end{bmatrix} ⎣⎡001⎦⎤,代入可解得 x 1 x_1 x1和 x 2 x_2 x2
最后的基础解系: η 1 = [ 9 4 − 3 4 1 0 0 ] , η 2 = [ 3 4 − 7 4 0 1 0 ] , η 3 = [ − 1 4 − 5 4 0 0 1 ] \eta_1=\begin{bmatrix}\frac{9}{4}\\-\frac{3}{4}\\1\\0\\0\end{bmatrix},\eta_2=\begin{bmatrix}\frac{3}{4}\\-\frac{7}{4}\\0\\1\\0\end{bmatrix},\eta_3=\begin{bmatrix}-\frac{1}{4}\\-\frac{5}{4}\\0\\0\\1\end{bmatrix} η1=⎣⎢⎢⎢⎢⎡49−43100⎦⎥⎥⎥⎥⎤,η2=⎣⎢⎢⎢⎢⎡43−47010⎦⎥⎥⎥⎥⎤,η3=⎣⎢⎢⎢⎢⎡−41−45001⎦⎥⎥⎥⎥⎤
由于部分线性无关,之所以整体也线性无关,基础解系是线性无关的向量组。
特别注意:一定要化成行简化阶梯型而不是阶梯型,才能代入!!!
特别注意:一定要化成行简化阶梯型而不是阶梯型,才能代入!!!
特别注意:一定要化成行简化阶梯型而不是阶梯型,才能代入!!!
例题2:(秩和证明)
已知
A
m
n
A_{mn}
Amn和
B
n
s
B_{ns}
Bns,
A
B
=
0
AB=0
AB=0,证明:
r
(
A
)
+
r
(
B
)
≤
n
r(A)+r(B)\leq n
r(A)+r(B)≤n
证明:
对B进行列分块处理:
B
=
(
B
1
B
2
B
3
.
.
.
B
s
)
B=(B_1B_2B_3...B_s)
B=(B1B2B3...Bs)
A
B
=
A
(
B
1
B
2
B
3
.
.
.
B
s
)
=
(
A
B
1
A
B
2
A
B
3
.
.
.
A
B
s
)
=
(
0
,
0
,
0...0
)
AB=A(B_1B_2B_3...B_s)=(AB_1AB_2AB_3...AB_s)=(0,0,0...0)
AB=A(B1B2B3...Bs)=(AB1AB2AB3...ABs)=(0,0,0...0)
A B i = 0 , ( i = 1 , 2 , 3 , 4... s ) AB_i=0,(i=1,2,3,4...s) ABi=0,(i=1,2,3,4...s)
所以, B i B_i Bi是 A x = 0 Ax=0 Ax=0的解
【1】 r ( A ) = n r(A)=n r(A)=n 唯一解 唯一零解, B i = 0 B_i=0 Bi=0 所以 r ( A ) ≤ 0 r(A)\leq 0 r(A)≤0成立
【2】 r ( A ) < n r(A)<n r(A)<n 有非零解,基础解系里面有 n − r ( A ) n-r(A) n−r(A) 个向量
我们知道 r ( B ) < m i n ( n , s ) r(B)<min(n,s) r(B)<min(n,s)
r
(
B
)
≤
s
≤
n
−
r
(
A
)
r(B)\leq s \leq n-r(A)
r(B)≤s≤n−r(A)
r
(
A
)
+
r
(
B
)
≤
n
r(A)+r(B)\leq n
r(A)+r(B)≤n
【重要!】我们需要记住这个结论,证明题常用:
A
m
n
B
n
s
=
0
A_{mn}B_{ns}=0
AmnBns=0 满足
r
(
A
)
+
r
(
B
)
≤
n
r(A)+r(B)\leq n
r(A)+r(B)≤n
3. 非齐次线性方程组
3.1 导出组
我们对于齐次方程使用 A X = 0 AX=0 AX=0来表示,而对于非齐次线性方程组用 A X = B AX=B AX=B,我们称AX=0是AX=B的导出组。
导出组的两个重要结论!!!
【1】假设 a 1 , a 2 a_1,a_2 a1,a2 是AX=B的解,那么 a 1 − a 2 a_1-a_2 a1−a2是 A X = 0 AX=0 AX=0的解。
A ( a 1 − a 2 ) = B − B = 0 A(a_1-a_2)=B-B=0 A(a1−a2)=B−B=0
【2】假设 a 0 a_0 a0是 A X = B AX=B AX=B的解, η \eta η是 A X = 0 AX=0 AX=0的解,则 a 0 + η a_0+\eta a0+η也是 A X = B AX=B AX=B的解。
A ( a 0 + η ) = B + 0 = B A(a_0+\eta)=B+0=B A(a0+η)=B+0=B
3.2 特解和通解
通解的意思就是通用的解,特解的意思是所有的解中的一种。
假如对于齐次方程而言, η \eta η是 A X = 0 AX=0 AX=0的通解,那么 η = c 1 η 1 + c 2 η 2 + c 3 η 3 + . . . + c n − r η n − r \eta=c_1\eta_1+c_2\eta2+c_3\eta3+...+c_{n-r}\eta_{n-r} η=c1η1+c2η2+c3η3+...+cn−rηn−r,我们叫 η 1 , η 2 . . . η n − r \eta_1,\eta_2...\eta_{n-r} η1,η2...ηn−r非齐次方程的基础解系。
至于为什么是n-r,基础解系的数量=n-r
那对于非齐次方程而言,通解是什么?
根据上面导出组的【1】【2】结论,有非齐次方程组的通解: a 0 + η a_0+\eta a0+η
( a 0 a_0 a0是非齐次方程的特解, η \eta η是非齐次方程导出组的通解。)
所以,求非齐次方程组的通解需要两样东西:
(1)该非齐次方程的特解
(2)该齐次方程组的导出组的基础解系
例题1:(常规非齐次方程组的通解求法)
已知增广系数矩阵 A ˉ = [ 1 5 − 1 − 1 − 1 1 − 2 1 3 3 3 8 − 1 1 1 1 − 9 3 7 7 ] → [ 1 0 3 / 7 13 / 7 13 / 7 0 1 − 2 / 7 − 4 / 7 − 4 / 7 0 0 0 0 0 0 0 0 0 0 ] \bar{A}=\begin{bmatrix}1&5&-1&-1&-1\\1&-2&1&3&3\\3&8&-1&1&1\\1&-9&3&7&7\end{bmatrix}\rightarrow\begin{bmatrix}1&0&3/7&13/7&13/7\\0&1&-2/7&-4/7&-4/7\\0&0&0&0&0\\0&0&0&0&0\end{bmatrix} Aˉ=⎣⎢⎢⎡11315−28−9−11−13−1317−1317⎦⎥⎥⎤→⎣⎢⎢⎡100001003/7−2/70013/7−4/70013/7−4/700⎦⎥⎥⎤
r ( A ˉ ) = r ( A ) = 2 < n = 4 r(\bar{A})=r(A)=2<n=4 r(Aˉ)=r(A)=2<n=4 有无穷解
写出导出组的基础解系先:
先不看常数列:
[ 1 0 3 / 7 13 / 7 0 1 − 2 / 7 − 4 / 7 0 0 0 0 0 0 0 0 ] \begin{bmatrix}1&0&3/7&13/7\\0&1&-2/7&-4/7\\0&0&0&0\\0&0&0&0\end{bmatrix} ⎣⎢⎢⎡100001003/7−2/70013/7−4/700⎦⎥⎥⎤
导出组的一般解:
{
x
1
=
−
3
x
3
/
7
−
13
x
4
/
7
x
2
=
2
x
3
/
7
+
4
x
4
/
7
\begin{cases}x_1=-3x_3/7-13x_4/7\\x_2=2x_3/7+4x_4/7\end{cases}
{x1=−3x3/7−13x4/7x2=2x3/7+4x4/7
x 3 , x 4 x_3,x_4 x3,x4是自由未知量,使用 [ 1 0 ] \begin{bmatrix}1\\0\end{bmatrix} [10]和 [ 0 1 ] \begin{bmatrix}0\\1\end{bmatrix} [01]代入。
η 1 = [ − 3 / 7 2 / 7 1 0 ] η 2 = [ − 13 / 7 4 / 7 0 1 ] \eta_1=\begin{bmatrix}-3/7\\2/7\\1\\0\end{bmatrix}\eta_2=\begin{bmatrix}-13/7\\4/7\\0\\1\end{bmatrix} η1=⎣⎢⎢⎡−3/72/710⎦⎥⎥⎤η2=⎣⎢⎢⎡−13/74/701⎦⎥⎥⎤
η = c 1 η 1 + c 2 η 2 \eta=c_1\eta_1+c_2\eta_2 η=c1η1+c2η2
n=4,r=2,所以基础解系向量数量是2
然后我们把 [ x 3 = 0 x 4 = 0 ] \begin{bmatrix}x_3=0\\x_4=0\end{bmatrix} [x3=0x4=0]代入
原方程的一般解:
{
x
1
=
−
13
/
7
−
3
x
3
/
7
−
13
x
4
/
7
x
2
=
−
4
/
7
+
2
x
3
/
7
+
4
x
4
/
7
\begin{cases}x_1=-13/7-3x_3/7-13x_4/7\\x_2=-4/7+2x_3/7+4x_4/7\end{cases}
{x1=−13/7−3x3/7−13x4/7x2=−4/7+2x3/7+4x4/7
得出特解: a 0 = [ 13 / 7 − 4 / 7 0 0 ] a_0=\begin{bmatrix}13/7\\-4/7\\0\\0\end{bmatrix} a0=⎣⎢⎢⎡13/7−4/700⎦⎥⎥⎤
通解: a 0 + η a_0+\eta a0+η
例题2:(非常规非齐次方程组的通解求法)
已知四元非齐次线性方程组的
r
(
A
)
=
3
r(A)=3
r(A)=3,
a
1
,
a
2
,
a
3
a_1,a_2,a_3
a1,a2,a3是三个他的解,已知
a
1
=
(
12
,
3
,
4
,
5
)
T
,
a
2
+
a
3
=
(
1
,
2
,
3
,
4
)
T
a_1=(12,3,4,5)^T,a_2+a_3=(1,2,3,4)^T
a1=(12,3,4,5)T,a2+a3=(1,2,3,4)T,求改方程组的通解?
解:
求通解,一定是求
a
0
+
η
a_0+\eta
a0+η
现在很明显
a
0
a_0
a0我们是知道的,也就是说我们手上有一个特解了,我们只需要找出这个非齐次方程组的导出组的通解。
我们可以算出基础解系的向量数 n − r ( A ) = 1 n-r(A)=1 n−r(A)=1
还记得在导出组的两个重要结论吗?
假设 a 1 , a 2 a_1,a_2 a1,a2 是 A X = B AX=B AX=B 的解,那么 a 1 − a 2 a_1-a_2 a1−a2 是 A X = 0 AX=0 AX=0 的解
也就是 a 1 − a 2 a_1-a_2 a1−a2和 a 1 − a 2 a_1-a_2 a1−a2都是导出组的解。
根据结论的延申,我们也可以推出:假设 b 1 b_1 b1和 b 2 b_2 b2是AX=0的解,那么 b 1 + b 2 b_1+b_2 b1+b2也是
所以说, 2 a 1 − ( a 2 + a 3 ) = [ 24 − 1 = 23 6 − 2 = 4 8 − 3 = 5 10 − 4 = 6 ] 2a_1-(a_2+a_3)=\begin{bmatrix}24-1=23\\6-2=4\\8-3=5\\10-4=6\end{bmatrix} 2a1−(a2+a3)=⎣⎢⎢⎡24−1=236−2=48−3=510−4=6⎦⎥⎥⎤是AX=B导出组的解,也就是 η \eta η
例题2拓展:(非常规非齐次方程组的通解求法)
已知四元非齐次线性方程组的 r ( A ) = 3 r(A)=3 r(A)=3, a 1 , a 2 , a 3 a_1,a_2,a_3 a1,a2,a3是三个他的解,已知 a 1 = ( 12 , 3 , 4 , 5 ) T , a 2 + 2 a 3 = ( 1 , 2 , 3 , 4 ) T a_1=(12,3,4,5)^T,a_2+2a_3=(1,2,3,4)^T a1=(12,3,4,5)T,a2+2a3=(1,2,3,4)T,求改方程组的通解?
解:
在最后变换的时候注意一下,变成
2
a
1
−
(
a
2
+
2
a
3
)
2a_1-(a_2+2a_3)
2a1−(a2+2a3)是导出组的解。