行化簡與階梯形矩陣
矩陣中非零行或列指矩陣中至少包含一個非零元素的行或列。非零行的先導(dǎo)元素是指該行中最左邊的非零元素。
一個矩陣稱為階梯形(或行階梯形)矩陣,若它有一下三個性質(zhì):
- 每一非零行都在每一零行之上。
- 某一行的先導(dǎo)元素所在的列位于前一先導(dǎo)元素的右邊。
- 某一先導(dǎo)元素所在列下方元素都是零。
若一個階梯形矩陣還滿足一下性質(zhì),則稱它為簡化階梯形(或簡化行階梯形)矩陣。 - 每一非零行的先導(dǎo)元素是1.
- 每一先導(dǎo)元素1是該元素所在列的唯一非零元素。
階梯形矩陣對應(yīng)的方程組就是三角形形式。
任何非零矩陣都可以行化簡(即用初等行變換)變?yōu)殡A梯形矩陣,但用不同的方法可化為不同的階梯形矩陣。然而,一個矩陣只能化為唯一的簡化階梯形矩陣。
每個矩陣行等價于唯一的簡化階梯形矩陣。
若矩陣行等價于階梯形矩陣
,則稱
為
的階梯形矩陣;若
是簡化階梯形矩陣,則稱
為
的簡化階梯形矩陣。
主元位置
矩陣中的主元位置是矩陣中對應(yīng)于它的簡化階梯形中先導(dǎo)元素1的位置。主元列是矩陣
的含有主元位置的列。
把矩陣化為階梯形矩陣,并確定主元列。
解:使用用初等行變換進行轉(zhuǎn)化。記號“~“表示它前面和后面的兩個矩陣是行等價的。
- 將第一行于第四行對換(對換變換)
~
- 將第一行的倍數(shù)加到其他各行,以使第一個主元位置下面各元素變成0。(倍乘變換和倍加變換)
~
- 將第一行的倍數(shù)加到其他各行,以使第一個主元位置下面各元素變成0。(倍乘變換和倍加變換)
~
- 將第三行于第四行對換(對換變換)
~
- 矩陣
是所求階梯形矩陣。第1、2、4列是主元列。
主元是在主元位置上的非零元素。在矩陣轉(zhuǎn)換過程中,通過初等行變換用主元將下面的元素化為0。上述轉(zhuǎn)換過程中,我們使用的主元是1,2,5。
行簡化算法
用初等行變換把矩陣先化為階梯形矩陣,再化為簡化階梯形矩陣。
解:
-
確定主元列
由最左的非零列開始。這是一個主元列。主元位置(0所在位置)在該列頂端。
-
選取主元
在主元列中選取一個非零元素作為主元。若有必要的話,對換兩行使這個元素移動主元位置上。
~
-
主元下面元素化0
用初等行變換將主元下面的元素變成0。
~
-
迭代處理子矩陣
除去主元位置所在的行以及它上面的各行,對剩下的子矩陣使用上述的三個步驟,直到子矩陣無非零列。
~
此矩陣即為所求階梯形矩陣。 -
所有主元上面元素化0,主元化1
由最右邊的主元開始,把每個主元上面的各元素變成0。若某個主元不是1,先用倍乘變換變成1。
~
~~
~~
此矩陣即為所求簡化階梯形矩陣。
第一至四步稱為行化簡算法的向前步驟,產(chǎn)生唯一的簡化階梯形矩陣的第五步稱為向后步驟。
行化簡算法通常稱為高斯消去法。在第二步選取主元時,計算機程序通常選擇一列中絕對值最大的元素作為主元。這種方法通常稱為部分主元法,可以減少計算中的舍入誤差。
線性方程組的解
行化簡算法應(yīng)用于方程組的增廣矩陣時,可以得出線性方程組解集的一種顯示表示法。
設(shè)某個線性方程組的增廣矩陣已化為行等價的簡化階梯形矩陣。因為增廣矩陣有4列,所有有3個變量。對應(yīng)的線性方程組是
。對應(yīng)于主元列的變量
和
稱為基本變量。其它變量
稱為自由變量。
只要一個線性方程組是相容的,其解集就可以顯式表示。(若有自由變量,用自由變量表示基本變量。)簡化階梯形矩陣使每個基本變量僅包含在一個方程中,容易解出簡化階梯形矩陣的解集的表示式:
。
表示式給出的解稱為方程組的通解。(因為它給出了所有解的顯示表達。)這種解集的表示式稱為解集的參數(shù)表示。解方程組就是要求出解集的這種參數(shù)表示或確定它無解。
求解線性方程組的通解,該方程組相容且其增廣矩陣已經(jīng)化為 。
解:該矩陣已是階梯形矩陣。使用行化簡算法將其化為簡化階梯形矩陣。
~
~~
增廣矩陣有6列,所以原方程組有5個變量,對應(yīng)的方程組為
矩陣的主元列是第1、3、5列,所以基本變量為,
,
,剩下的變量
和
為自由變量。我們得到通解為
當一個方程組是相容的且具有自由變量時,它的解集具有多種參數(shù)表示。例如線性方程組的解集的另一種參數(shù)表示
。不過,我們總是約定使用自由變量作為參數(shù)來表示解集。
當方程組步相容時,解集是空集。無論方程組是否有自由變量,解集無參數(shù)表示。
存在與唯一性問題
確定線性方程組的解是否存在且唯一
解:上面案例中已化出其階梯形矩陣
主元列是第1、2、5列,所以基本變量是,
和
,自由變量是
和
。
當一個方程組的增廣矩陣化為階梯形矩陣,且主元列不包含最右列(對應(yīng)方程形如)時,每個非零方程包含一個基本變量,它的系數(shù)非零?;蛘哌@些基本變量已完全確認(此時無自由變量),或者至少有一個基本變量可用一個或多個自由變量表示。對于前一種情形,有唯一的解;對后一種情形,有無窮多個解(對應(yīng)于自由變量的每一個選擇都有一個解。)
故方程組的解存在,且有無窮多個解。
線性方程組相容的充要條件是增廣矩陣的最右列不是主元列。也就是說,增廣矩陣的階梯形沒有形如的行。若線性方程組相容,則它的解集可能有兩種情形:
- 當沒有自由變量時,有唯一解;
- 若至少有一個自由變量,則有無窮多解。
應(yīng)用行化簡算法解線性方程組的步驟
- 寫出方程組的增廣矩陣。
- 應(yīng)用行化簡算法把增廣矩陣化為階梯形矩陣。確定方程組是否相容。如果不相容,則方程組無解并停止;否則進行下一步。
- 繼續(xù)行化簡算法得到它的簡化階梯形矩陣。
- 寫出由第3步所得矩陣對應(yīng)的方程組。
- 寫出解集的參數(shù)表示。
小結(jié)
- 階梯形(或簡化階梯形)矩陣的定義
- 主元位置的定義
- 行化簡算法的定義
- 應(yīng)用行化簡算法解線性方程組