第三章矩阵的初等变换与线性方程组
§第三章第一节矩阵的初等变换
一、引例
求解线性方程组
⎧ ⎩ ⎨ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ 2x 1 −x 2 −x 3 +x 4 =2 ①x 1 +x 2 −2x 3 +x 4 =4 ②4x 1 −6x 2 +2x 3 −2x 4 =4③3x 1 +6x 2 −9x 3 +7x 4 =9④ (1)
(1)①↔②⟶③÷2 ⎧ ⎩ ⎨ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ x 1 +x 2 −2x 3 +x 4 =4 ①2x 1 −x 2 −x 3 +x 4 =2 ②2x 1 −3x 2 +x 3 −x 4 =2③3x 1 +6x 2 −9x 3 +7x 4 =9④ (2)
(2)−③+②−2①+③⟶−3①+④ ⎧ ⎩ ⎨ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ x 1 +x 2 −2x 3 +x 4 =4 ①2x 2 −2x 3 +2x 4 =0 ②−5x 2 +5x 3 −3x 4 =−6③+3x 2 −3x 3 +4x 4 =−3④ (3)
(3)②×12 ⟶③+5②④−3② ⎧ ⎩ ⎨ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ x 1 +x 2 −2x 3 +x 4 =4① x 2 −x 3 +x 4 =0 ②2x 4 =−6③x 4 =−3 ④ (4)
(4)③↔④⟶−2③+④ ⎧ ⎩ ⎨ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ x 1 +x 2 −2x 3 +x 4 =4① x 2 −x 3 +x 4 =0 ②x 4 =−3③0=0 ④ (5)
于是得
⎧ ⎩ ⎨ ⎪ ⎪ x 1 =x 3 +x 4 x 2 =x 3 +x 4 x 4 =−3
其中x 3 可任意取值,或令x 3 =c,这里c为任意常数,则方程组可记为:
x=⎛ ⎝ ⎜ ⎜ ⎜ x 1 x 2 x 3 x 4 ⎞ ⎠ ⎟ ⎟ ⎟ =⎛ ⎝ ⎜ ⎜ ⎜ c+4c+3c−3 ⎞ ⎠ ⎟ ⎟ ⎟ 即x=c⎛ ⎝ ⎜ ⎜ ⎜ 1110 ⎞ ⎠ ⎟ ⎟ ⎟ +⎛ ⎝ ⎜ ⎜ ⎜ 430−3 ⎞ ⎠ ⎟ ⎟ ⎟
把上面的方法加以数学抽象,得到增广矩阵BB=(A|b)=⎛ ⎝ ⎜ ⎜ ⎜ 2143 −11−66 −1−22−9 11−27 2449 ⎞ ⎠ ⎟ ⎟ ⎟
二、矩阵初等变换的定义
定义1.下面三种变换称为矩阵的初等变换:(1)对调矩阵的两行(列);(2)以数k≠0乘矩阵某一行(列)中的所有元素;(3)把矩阵的某一行(列)所有元素的k倍加到另一行(列)对应的元素上去;矩阵的初等行变换与初等列变换,统称为初等变换.
显然,三种初等变换都是可逆的,且其逆变换是同一类型的初等变换:(1)对换变换r i ↔r j 的逆变换就是其本身;(2)倍乘变换r i ×k的逆变换为r i ×1k ;(3)倍加变换r i +kr j 的逆变换为r i +(−k)r j ;
如果矩阵A经过有限次初等变换成矩阵B,就称矩阵A与B等价,记作A∼B.
矩阵之间的等价关系具有下列性质:
(1)反身性:A∼A
(2)对称性:若A∼B,则B∼A;
(3)传递性:若A∼B,B∼C;则A∼C.
两个线性方程组同解,就称这两个方程组等价
三、矩阵初等变换的应用
例1.解线性方程组
⎧ ⎩ ⎨ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ 2x 1 −x 2 −x 3 +x 4 =2x 1 +x 2 −2x 3 +x 4 =44x 1 −6x 2 +2x 3 −2x 4 =43x 1 +6x 2 −9x 3 +7x 4 =9
解:对线性方程组的增广矩阵B施以行初等变换:B=⎛ ⎝ ⎜ ⎜ ⎜ 2143 −11−66 −1−22−9 11−27 2449 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1223 1−1−36 −2−11−9 11−17 4229 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 12−53 −2−25−3 12−34 40−6−3 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 1100 −2−100 1121 40−6−3 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 1100 −2−100 1110 40−30 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 0100 −1−100 0010 43−30 ⎞ ⎠ ⎟ ⎟ ⎟
从而得到等价方程组⎧ ⎩ ⎨ ⎪ ⎪ x 1 −x 3 =4x 2 −x 3 =3x 4 =−3
取x 3 为自由的未知量,并令x 3 =c,即得:x=⎛ ⎝ ⎜ ⎜ ⎜ x 1 x 2 x 3 x 4 ⎞ ⎠ ⎟ ⎟ ⎟ =⎛ ⎝ ⎜ ⎜ ⎜ c+4c+3c−3 ⎞ ⎠ ⎟ ⎟ ⎟ =c⎛ ⎝ ⎜ ⎜ ⎜ 1110 ⎞ ⎠ ⎟ ⎟ ⎟ +⎛ ⎝ ⎜ ⎜ ⎜ 430−3 ⎞ ⎠ ⎟ ⎟ ⎟ 其中c为任意常数
1)行阶梯形矩阵:⎛ ⎝ ⎜ ⎜ ⎜ 1000 1100 −2−100 1110 40−30 ⎞ ⎠ ⎟ ⎟ ⎟
2)行最简形矩阵:⎛ ⎝ ⎜ ⎜ ⎜ 1000 0100 −1−100 0010 43−30 ⎞ ⎠ ⎟ ⎟ ⎟
矩阵的行最简形矩阵是唯一的.要解线性方程组,只需把增广矩阵化为最简形矩阵.
3)矩阵的标准形
使用列变换⎛ ⎝ ⎜ ⎜ ⎜ 1000 0100 −1−100 0010 43−30 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 0100 0010 0000 0000 ⎞ ⎠ ⎟ ⎟ ⎟ =(E r 0 00 )
对于任何m×n矩阵A,总可以通过初等变换把它化为标准形.
F=(E r 0 00 ) m×n
此标准形由m、n、r三个数完全确定,其中r就是行阶梯形矩阵中非零行的行数.所有与A等价的矩阵组成的集合,称为一个等价类,标准形F是这个等价类中形状最简单的矩阵.
例2.设A=⎛ ⎝ ⎜ ⎜ ⎜ 3010 −22−21 02−32 −11−21 ⎞ ⎠ ⎟ ⎟ ⎟ ,求其标准形.
解:A=⎛ ⎝ ⎜ ⎜ ⎜ 3010 −22−21 02−32 −11−21 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1030 −22−21 −3202 −21−11 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 −2241 −3292 −2151 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 0241 0292 0151 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 0124 0229 0115 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 0100 02−25 01−13 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 0100 00−25 00−13 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 0100 00−13 00−25 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 0100 001−3 000−1 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 0100 0010 0001 ⎞ ⎠ ⎟ ⎟ ⎟
任何一个可逆矩阵都等价于同阶数的单位矩阵.