§第四章第六节线性方程组解的结构
复习:关于线性方程组的两个重要定理:
1)n个未知数的齐次线性方程组Ax=0有非零解的充分必要条件是系数矩阵的秩R(A)<n.
2)n个未知数的非齐次线性方程组Ax=b有解的充分必要条件是系数矩阵的秩R(A)等于增广矩阵的秩R(B).且当R(A)=R(B)=n时,Ax=b有唯一解.当R(A)=R(B)=r<n时,Ax=b有无穷多个解.
3)线性相关性与齐次线性方程组解的关系.
4)线性表示与非齐次线性方程组解的关系.
一、齐次线性方程组
设有齐次线性方程组
⎧ ⎩ ⎨ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ a 11 x 1 +a 12 x 2 +⋯+a 1n x n =0a 21 x 1 +a 22 x 2 +⋯+a 2n x n =0⋯⋯⋯⋯⋯⋯a m1 x 1 +a m2 x 2 +⋯+a mn x n =0 (1)
记A=⎛ ⎝ ⎜ ⎜ ⎜ a 11 a 21 ⋯a m1 a 12 a 22 ⋯a m2 ⋯⋯⋯⋯ a 1n a 2n ⋯a mn ⎞ ⎠ ⎟ ⎟ ⎟ ,x=⎛ ⎝ ⎜ ⎜ ⎜ ⎜ x 1 x 2 ⋮x n ⎞ ⎠ ⎟ ⎟ ⎟ ⎟
则(1)式可写成向量方程:Ax=0(2)
称x=⎛ ⎝ ⎜ ⎜ ⎜ ⎜ x 1 x 2 ⋮x n ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ 为方程组(1)的解向量,它也就是向量方程(2)的解.
性质1.若x=ξ 1 ,x=ξ 2 为(2)的解,则x=ξ 1 +ξ 2 也是(2)的解.
证:只要验证x=ξ 1 +ξ 2 满足(2):A(ξ 1 +ξ 2 )=Aξ 1 +Aξ 2 =0+0=0.
性质2.若x=ξ 1 为(2)的解,k为实数,则x=kξ 1 也是(2)的解.
证:因为A(kξ 1 )=k(Aξ 1 )=k0=0
若用S表示方程组(1)的全体解向量所组成的集合,则性质1、2即为1.若ξ 1 ∈S,ξ 2 ∈S,则ξ 1 +ξ 2 ∈S;2.若ξ 1 ∈S,k∈R,则kξ 1 ∈S.
这说明集合S对向量的线性运算是封闭的,所以集合S是一个向量空间,称为齐次线性方程组(1)的解空间.
下面我们来求解空间S的一个基.设系数矩阵A的秩为r,并不妨设A的前r个列向量线性无关,于是A的行最简形矩阵为:B=⎛ ⎝ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ 1⋮00⋮0 ⋯⋯ 0⋮1 b 11 ⋮b r1 ⋯⋯ ⋯⋯ b 1n−r b rn−r 00 ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ,与B对应,即有同解方程组
⎧ ⎩ ⎨ ⎪ ⎪ x 1 =−b 11 x r+1 −⋯−b 1n−r x n ⋯⋯⋯⋯x r =−b r1 x r+1 −⋯−b rn−r x n (3)
由于A与B的行向量组等价,故方程组(1)与(3)同解.在(3)中任给x r+1 ,⋯,x n 一组值,即唯一确定x 1 ,⋯,x r 的值,就得(3)的一个解,也就是(1)的解.现在令x r+1 ,⋯,x n 取下列n−r组数:
⎛ ⎝ ⎜ ⎜ ⎜ ⎜ x r+1 x r+2 ⋮x n ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ =⎛ ⎝ ⎜ ⎜ ⎜ ⎜ 10⋮0 ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ ,⎛ ⎝ ⎜ ⎜ ⎜ ⎜ 01⋮0 ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ ,⋯,⎛ ⎝ ⎜ ⎜ ⎜ ⎜ 00⋮1 ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ ,
⎛ ⎝ ⎜ ⎜ ⎜ ⎜ x r+1 x r+2 ⋮x r ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ =⎛ ⎝ ⎜ ⎜ ⎜ ⎜ −b 11 −b 21 ⋮−b r1 ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ ,⎛ ⎝ ⎜ ⎜ ⎜ ⎜ −b 12 −b 22 ⋮−b r2 ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ ,⋯,⎛ ⎝ ⎜ ⎜ ⎜ ⎜ −b 1n−r −b 2n−r ⋮−b rn−r ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ ,
从而求得(3)[也就是(1)]的n−r个解.
ξ 1 =⎛ ⎝ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ −b 11 ⋮−b r1 10⋮0 ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ,ξ 2 =⎛ ⎝ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ −b 12 ⋮−b r2 01⋮0 ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ,⋯,ξ n−r =⎛ ⎝ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ −b 1(n−r) ⋮−b r(n−r) 00⋮1 ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ .
下面证明ξ 1 ,ξ 2 ,⋯,ξ n−r 就是解空间S的一个基.
首先,由于(x r+1 ,x r+2 ,⋯,x n ) T 所取的n−r个n−r维的向量
⎛ ⎝ ⎜ ⎜ ⎜ ⎜ 10⋮0 ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ ,⎛ ⎝ ⎜ ⎜ ⎜ ⎜ 01⋮0 ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ ,⋯,⎛ ⎝ ⎜ ⎜ ⎜ ⎜ 00⋮1 ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ 线性无关,所以在每个向量的前面添加r个分量而得到的n−r个n维向量ξ 1 ,ξ 2 ,⋯,ξ n−r 也线性无关.
其次,证明(1)的任一解x=ξ=⎛ ⎝ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ λ 1 ⋮λ r λ r+1 ⋮λ n ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ 都可由ξ 1 ,ξ 2 ,⋯,ξ n−r 线性表示.为此,做向量η=λ r+1 ξ 1 +λ r+2 ξ 2 +⋯+λ n ξ n−r ,由于ξ 1 ,ξ 2 ,⋯,ξ n−r 是(1)的解,故η也是(1)的解,比较η与ξ,知它们的后面n−r个分量对应相等,由于它们都满足方程组(3),从而知它们的前面r个分量亦必对应相等[方程组(3)表明任一解的前r个分量由后n−r个分量唯一决定],因此η=ξ,即ξ=λ r+1 ξ 1 +λ r+2 ξ 2 +⋯+λ n ξ n−r ,这样就证明了ξ 1 ,ξ 2 ,⋯,ξ n−r 是解空间S的一个基,从而知解空间S的维数是n−r.根据以上证明,我们就得到如下定理.
定理8.n元齐次线性方程组A m×n x=0的全体解所构成的集合S是一个向量空间,当系数矩阵的秩R(A m×n )=r时,解空间的维数为n−r.1)解空间S的基不是唯一的.2)解空间S的基又称为方程组(1)的基础解系.3)当R(A)=n时,方程组(1)只有零解,因而没有基础解系(此时解空间S只有一个零向量,为0维的向量空间).而当R(A)=r<n时,方程组(1)必含有n−r个向量的基础解系.设求得的基础解系为ξ 1 ,ξ 2 ,⋯,ξ n−r 则(1)的解可表示为x=k 1 ξ 1 +k 2 ξ 2 +⋯+k n−r ξ n−r ,其中k 1 ,k 2 ,⋯,k n−r 为任意实数.上式称为方程组(1)的通解.方程组(1)的解空间可表示为S={x= k 1 ξ 1 +k 2 ξ 2 +⋯+k n−r ξ n−r |k 1 ,k 2 ,⋯,k n−r ∈R}.
例1.求齐次线性方程组
⎧ ⎩ ⎨ ⎪ ⎪ x 1 +x 2 −x 3 −x 4 =02x 1 −5x 2 +3x 3 +2x 4 =07x 1 −7x 2 +3x 3 +x 4 =0
的基础解系与通解.
解:对系数矩阵A作初等行变换,变为行最简形矩阵,有A=⎛ ⎝ ⎜ 127 1−5−7 −133 −121 ⎞ ⎠ ⎟ ∼⎛ ⎝ ⎜ 100 1−7−14 −1510 −148 ⎞ ⎠ ⎟ ∼⎛ ⎝ ⎜ 100 1−70 −150 −140 ⎞ ⎠ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ ⎜ ⎜ 100 010 −27 −57 0 −37 −47 0 ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ ⎟
即⎧ ⎩ ⎨ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ x 1 =27 x 3 +37 x 4 x 2 =57 x 3 +47 x 4 x 3 =x 3 x 4 =x 4
亦即⎛ ⎝ ⎜ ⎜ ⎜ x 1 x 2 x 3 x 4 ⎞ ⎠ ⎟ ⎟ ⎟ =x 3 ⎛ ⎝ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ 27 57 10 ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ +x 4 ⎛ ⎝ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ 37 47 01 ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟
基础解系为:ξ 1 =⎛ ⎝ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ 27 57 10 ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ,ξ 2 =⎛ ⎝ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ 37 47 01 ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟
方程组的通解为:⎛ ⎝ ⎜ ⎜ ⎜ x 1 x 2 x 3 x 4 ⎞ ⎠ ⎟ ⎟ ⎟ =c 1 ⎛ ⎝ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ 27 57 10 ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ +c 2 ⎛ ⎝ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ 37 47 01 ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ,(c 1 ,c 2 ∈R).
例2.证明R(A T A)=R(A).
证:设A为m×n矩阵,x为n维列向量.若x满足Ax=0,则有A T (Ax)=0,即(A T A)x=0;若x满足(A T A)x=0,则x T (A T A)x=0,即(Ax) T (Ax)=0,从而推知Ax=0.综上可知方程组Ax=0与(A T A)x=0同解,因此R(A T A)=R(A)
二、非齐次线性方程组
设有非齐次线性方程组
⎧ ⎩ ⎨ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ a 11 x 1 +a 12 x 2 +⋯+a 1n x n =b 1 a 21 x 1 +a 22 x 2 +⋯+a 2n x n =b 2 ⋯⋯⋯⋯⋯⋯a m1 x 1 +a m2 x 2 +⋯+a mn x n =b m (4)
记A=⎛ ⎝ ⎜ ⎜ ⎜ a 11 a 21 ⋯a m1 a 12 a 22 ⋯a m2 ⋯⋯⋯⋯ a 1n a 2n ⋯a mn ⎞ ⎠ ⎟ ⎟ ⎟ ,x=⎛ ⎝ ⎜ ⎜ ⎜ ⎜ x 1 x 2 ⋮x n ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ ,b=⎛ ⎝ ⎜ ⎜ ⎜ ⎜ b 1 b 2 ⋮b m ⎞ ⎠ ⎟ ⎟ ⎟ ⎟
则(4)式可写成向量方程:Ax=b(5)
性质3.设x=η 1 ,x=η 2 为(5)的解,则x=η 1 −η 2 为对应的齐次线性方程组Ax=0(6)的解.
证:因为:Ax=A(η 1 −η 2 )=Aη 1 −Aη 2 =b−b=0.故x=η 1 −η 2 是Ax=0的解.
性质4.若x=η为方程(5)的解,x=kξ是方程(6)的解,则x=ξ+η仍是方程(5)的解.
证:因为Ax=A(ξ+η)=Aξ+Aη=0+b=b
由性质3可知,若求得(5)的一个特解η ∗ ,则(5)的任意解总可表示为x=ξ+η ∗ ,其中x=ξ为方程Ax=0的解,又若方程Ax=0的通解为x=k 1 ξ 1 +k 2 ξ 2 +⋯+k n−r ξ n−r 则方程Ax=b的任一解总可表示为x=k 1 ξ 1 +k 2 ξ 2 +⋯+k n−r ξ n−r +η ∗ 而由性质4可知,对任何的实数k 1 ,k 2 ,⋯,k n−r 上式总是方程Ax=b的解.于是方程Ax=b的通解为x=k 1 ξ 1 +k 2 ξ 2 +⋯+k n−r ξ n−r +η ∗
例3.求解线性方程组
⎧ ⎩ ⎨ ⎪ ⎪ x 1 −x 2 −x 3 +x 4 =0x 1 −x 2 +x 3 −3x 4 =12x 1 −2x 2 −4x 3 +6x 4 =−1
解:对增广矩阵B作初等行变换:B=⎛ ⎝ ⎜ 112 −1−1−2 −11−4 1−36 01−1 ⎞ ⎠ ⎟ ∼⎛ ⎝ ⎜ 100 −100 −12−2 1−44 01−1 ⎞ ⎠ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 100 −100 −110 1−20 012 0 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ ⎜ 100 −100 010 −1−20 12 12 0 ⎞ ⎠ ⎟ ⎟ ⎟ ⎟
可见R(A)=R(B)=2,故方程组有解,等价方程组为:
⎧ ⎩ ⎨ ⎪ ⎪ ⎪ ⎪ x 1 =x 2 +x 4 +12 x 3 =2x 4 +12
即⎧ ⎩ ⎨ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ x 1 =x 2 +x 4 +12 x 2 =x 2 x 3 =2x 4 +12 x 4 =x 4
写成向量形式:
⎛ ⎝ ⎜ ⎜ ⎜ x 1 x 2 x 3 x 4 ⎞ ⎠ ⎟ ⎟ ⎟ =c 1 ⎛ ⎝ ⎜ ⎜ ⎜ 1100 ⎞ ⎠ ⎟ ⎟ ⎟ +c 2 ⎛ ⎝ ⎜ ⎜ ⎜ 1021 ⎞ ⎠ ⎟ ⎟ ⎟ +⎛ ⎝ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ 12 012 0 ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ,(c 1 ,c 2 ∈R)
于是对应的齐次线性方程组的基础解系为:
ξ 1 =⎛ ⎝ ⎜ ⎜ ⎜ 1100 ⎞ ⎠ ⎟ ⎟ ⎟ ,ξ 2 =⎛ ⎝ ⎜ ⎜ ⎜ 1021 ⎞ ⎠ ⎟ ⎟ ⎟ .
原方程组的一个特解为:
η ∗ =⎛ ⎝ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ 12 012 0 ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟
例4.设向量组α 1 =⎛ ⎝ ⎜ ⎜ ⎜ 1113 ⎞ ⎠ ⎟ ⎟ ⎟ ,α 2 =⎛ ⎝ ⎜ ⎜ ⎜ −1−351 ⎞ ⎠ ⎟ ⎟ ⎟ ,α 3 =⎛ ⎝ ⎜ ⎜ ⎜ 32−1p+2 ⎞ ⎠ ⎟ ⎟ ⎟ ,α 4 =⎛ ⎝ ⎜ ⎜ ⎜ −2−610p ⎞ ⎠ ⎟ ⎟ ⎟ ,(1)p为和值时,该向量组线性无关?并在此时将向量α=(4,1,6,10 ) T 用α 1 ,α 2 ,α 3 ,α 4 线性表示;(2)p为何值时,该向量组线性相关?并在此时求出它的秩和一个极大无关组.
解:对矩阵(α 1 ,α 2 ,α 3 ,α 4 ,α )作初等行变换⎛ ⎝ ⎜ ⎜ ⎜ 1113 −1−351 32−1p+2 −2−610p 41610 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 −1−264 3−1−4p−7 −2−412p+6 4−32−2 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 −1−200 3−1−7p−9 −2−40p−2 4−3−7−8 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 −1100 001p−9 −220p−2 111−8 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 0100 0010 020p−2 2111−p ⎞ ⎠ ⎟ ⎟ ⎟
显然,当p≠2时,向量组α 1 ,α 2 ,α 3 ,α 4 线性无关,此时设α=x 1 α 1 +x 2 α 2 +x 3 α 3 +x 4 α 4 ,于是该方程组有唯一解,将上面的阶梯形矩阵化成最简形矩阵.
∼⎛ ⎝ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ 1000 0100 0010 0001 23p−4p−2 11−pp−2 ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟
所以,α=2α 1 +3p−4p−2 α 2 +α 3 +1−pp−2 α 4
(2)由阶梯形矩阵⎛ ⎝ ⎜ ⎜ ⎜ 1000 0100 0010 020p−2 2111−p ⎞ ⎠ ⎟ ⎟ ⎟ 可以看出,当p=2时,向量组α 1 ,α 2 ,α 3 ,α 4 线性相关,此时向量组的秩为3,向量组α 1 ,α 2 ,α 3 或α 2 ,α 3 ,α 4 为向量组α 1 ,α 2 ,α 3 ,α 4 的极大无关组.