跳轉到內容

線性代數/逆矩陣

來自華夏公益教科書,開放的書籍,開放的世界
線性代數
 ← 矩陣乘法機制 逆矩陣 基變換 → 

我們現在考慮如何表示線性對映的逆。

我們首先回顧一下關於函式逆的一些事實。[1] 某些函式沒有逆,或者僅在左側或右側有逆。

例 4.1

其中 是投影對映

是嵌入

組合 上的恆等對映。

我們說 左逆對映,或者,等效地,右逆對映。然而,另一種順序的組合 不會得到恆等對映——這裡有一個向量在 下沒有被對映到自身。

事實上,投影 完全沒有左逆。因為,如果 的左逆,那麼我們將有

對於所有無窮多個 。但沒有函式 可以將單個引數傳送到多個值。

(一個在任何一邊都沒有逆的函式的例子是 上的零變換。)一些函式具有 **雙邊逆對映**,另一個函式,它是第一個函式的逆,從左邊和右邊都是。例如,由 給出的對映具有雙邊逆 。在本節中,我們將重點關注雙邊逆。附錄表明,一個函式具有雙邊逆當且僅當它是單射且滿射的。附錄還表明,如果一個函式 具有雙邊逆,則它是唯一的,因此它被稱為“逆”,並表示為 。因此,在本節中的目標是,當一個線性對映 具有逆時,找到 之間的關係(回顧一下,我們在本章第二節的 定理 II.2.21 中已經證明,如果一個線性對映具有逆,那麼逆也是一個線性對映)。

定義 4.2

矩陣 是矩陣 左逆矩陣,如果 是單位矩陣。如果 是單位矩陣,則它是右逆矩陣。具有雙邊逆矩陣的矩陣 可逆矩陣。該雙邊逆矩陣稱為逆矩陣,記為 .

由於線性對映和矩陣之間的對應關係,關於對映逆的陳述轉化為關於矩陣逆的陳述。

引理 4.3

如果矩陣既有左逆矩陣,也有右逆矩陣,那麼兩者相等。

定理 4.4

矩陣可逆當且僅當它是非奇異的。

證明

(對於這兩個結果。) 給定一個矩陣 ,固定域和陪域的適當維度的空間。固定這些空間的基。關於這些基, 代表對映 。這些陳述對於對映是正確的,因此對於矩陣也是正確的。

引理 4.5

可逆矩陣的乘積是可逆的 - 如果 是可逆的,並且如果 是定義的,那麼 是可逆的,並且 .

證明

(這與之前的證明類似,只是需要兩個對映。) 固定合適的空間和基,並考慮表示的對映 。請注意, 的雙側對映逆,因為 。如需,此等式在表示對映的矩陣中得到反映。

以下是給出對映逆與矩陣逆之間關係的箭頭圖。 它是函式複合和矩陣乘法的圖的特殊情況。

除了在我們關於如何表示對映運算的通用程式中的作用之外,我們對逆感興趣的另一個原因來自求解線性系統。 線性系統等價於矩陣方程,如下所示。

透過固定空間和基底(例如,),我們用矩陣 來表示某個對映 。那麼求解該系統就等同於問:哪個定義域向量 對映到結果 ?如果我們可以求逆 ,那麼我們可以透過乘以 來得到

示例 4.6

我們可以找到剛剛給出的矩陣的左逆

透過使用高斯消元法來求解所產生的線性系統。

答案:。這個矩陣實際上是 的雙邊逆矩陣,這很容易驗證。有了它,我們可以透過應用逆矩陣來求解上述系統()。

注 4.7

為什麼用這種方式解方程組,而高斯消元法需要的算術運算更少(這個斷言可以透過計算算術運算次數來精確化,正如計算機演算法設計人員所做的那樣)?除了其將逆矩陣發現的程式融入我們發現如何表示各種對映運算的理念之外,用矩陣逆矩陣解線性方程組至少有兩個優點。

首先,一旦找到逆矩陣,求解具有相同係數但常數項不同的方程組就變得簡單快捷:如果我們改變系統()右側的條目,我們會得到一個相關的解法問題

,並有相應的解法。

在應用中,求解具有相同係數矩陣的多個方程組是很常見的。

逆矩陣的另一個優點是,我們可以探索系統對常數項變化的敏感性。例如,將系統()右側的 微調為

可以使用逆矩陣來求解。

表明 改變了微調的,而 則移動了微調的。例如,這種分析用於確定必須線上性模型中指定資料的精度,以確保解具有所需的精度。

最後,我們將描述通常用於求解逆矩陣的計算過程。

引理 4.8

矩陣可逆當且僅當它可以寫成初等變換矩陣的乘積。逆矩陣可以透過對單位矩陣進行相同的行變換(順序相同)來計算,這些行變換用於將可逆矩陣化為行階梯形。

證明

矩陣 可逆當且僅當它是非奇異的,因此可以透過行變換化為單位矩陣。根據 推論 3.22,這種變換可以透過初等矩陣進行,即 。該公式給出結果的兩部分。

首先,初等矩陣是可逆的,它們的逆矩陣也是初等矩陣。在該公式的左右兩邊分別乘以 ,然後乘以 等,可以得到 為初等矩陣的乘積 (這裡的 用於覆蓋平凡的 情況)。

其次,矩陣的逆矩陣是唯一的,因此將上述等式與進行比較可以看出,。因此,對單位矩陣依次應用,再應用,等等,就會得到的逆矩陣。

示例 4.9

要找到矩陣

的逆矩陣,我們可以進行高斯-若爾當消元,同時對單位矩陣執行相同的操作。為了便於記錄,我們將矩陣和單位矩陣並排寫,並一起進行消元步驟。

這個計算過程找到了逆矩陣。

示例 4.10

這個例子碰巧從行交換開始。

示例 4.11

不可逆矩陣可以透過左側部分無法化簡為單位矩陣來識別。

該過程可以找到一般 矩陣的逆矩陣。 的情況非常實用。

推論 4.12

一個 矩陣的逆矩陣存在且等於

當且僅當 .

證明

此計算是 問題 10.

我們已經看到,就像矩陣乘法的機制小節中那樣,我們可以利用線性對映和矩陣之間的對應關係。因此我們可以有效地研究對映和矩陣,在兩者之間來回轉換,以幫助我們儘可能地解決問題。

在本節的全部四個小節中,我們已經為矩陣開發了一個代數系統。我們可以將其與實數的熟悉代數系統進行比較。在這裡,我們處理的不是數字,而是矩陣。我們有矩陣加法和減法運算,它們的工作方式與實數運算非常相似,只是它們只能組合相同大小的矩陣。我們還擁有矩陣乘法運算和與乘法逆運算。這些在某種程度上類似於熟悉的實數運算(例如,結合律和對加法的分配律),但也存在差異(例如,交換律的失效)。並且,我們有標量乘法,它在某些方面是實數乘法的另一種擴充套件。這個矩陣系統提供了一個示例,說明除了基本代數系統之外的其他代數系統也可以很有趣且有用。

問題 1

提供 示例 4.10 中的中間步驟。

建議所有讀者做這道練習。
問題 2

使用 推論 4.12 判斷每個矩陣是否可逆。

建議所有讀者做這道練習。
問題 3

對於上一個問題中的每個可逆矩陣,使用推論 4.12 求出其逆矩陣。

建議所有讀者做這道練習。
問題 4

使用高斯-若爾當方法求出逆矩陣(如果存在)。對於 矩陣,使用 推論 4.12 檢查答案。

建議所有讀者做這道練習。
問題 5

哪個矩陣的逆矩陣是這個矩陣?

問題 6

逆運算如何與矩陣的標量乘法和加法相互作用?

  1. 的逆矩陣是什麼?
  2. 是否 ?
建議所有讀者做這道練習。
問題 7

是否 ?

問題 8

是否 可逆的?

問題 9

對於每個實數 ,設 由該矩陣在標準基下表示。

證明 。也證明 .

問題 10

完成 推論 4.12 證明中的計算。

問題 11

證明該矩陣

有無窮多個右逆。也證明它沒有左逆。

問題 12

例 4.1 中, 有多少個左逆?

問題 13

如果一個矩陣有無窮多個右逆,它可以有無窮多個左逆嗎?必須有嗎?

建議所有讀者做這道練習。
問題 14

假設 是可逆的,並且 是零矩陣。證明 是零矩陣。

問題 15

證明如果 可逆,則其逆矩陣與矩陣 可交換,當且僅當 本身與該矩陣 可交換。

建議所有讀者做這道練習。
問題 16

證明如果 是方陣,並且如果 是零矩陣,那麼 。推廣。

建議所有讀者做這道練習。
問題 17

為對角矩陣。描述 ,...,等等。描述 ,...,等等。適當定義

問題 18

證明任何與可逆矩陣行等價的矩陣也是可逆的。

問題 19

下面的第一個問題在矩陣乘法小節中以 問題 15 的形式出現。

  1. 證明兩個矩陣的乘積的秩小於等於每個矩陣的秩的最小值。
  2. 證明如果 是方陣,則 當且僅當
問題 20

證明置換矩陣的逆矩陣是其轉置矩陣。

問題 21

這個問題的前兩部分以 問題 12 的形式出現在矩陣乘法小節中。

  1. 證明
  2. 如果一個方陣的每個 元素等於其 元素(即,如果矩陣等於其轉置),則稱該方陣為對稱的。證明矩陣 是對稱的。
  3. 證明轉置的逆矩陣等於逆矩陣的轉置。
  4. 證明對稱矩陣的逆矩陣是對稱的。
建議所有讀者做這道練習。
問題 22

本問題開頭的條目出現在 矩陣乘法 小節的 問題 17 中。

  1. 證明投影 的複合是零對映,儘管它們本身都不是零對映。
  2. 證明導數 的複合是零對映,儘管它們本身都不是零對映。
  3. 用矩陣方程表示上面兩個條目。

當兩個東西相乘得到零,而它們本身都不為零時,則稱它們為零因子。證明沒有零因子是可逆的。

問題 23

在實數代數中,只有兩個數,,它們是它們自身的乘法逆元。那麼對於 矩陣而言, 是否只有兩個解?

問題 24

關係 "是某物的雙邊逆元" 是否具有傳遞性?自反性?對稱性?

問題 25

證明:如果一個方陣中每行元素的和都是 ,那麼該方陣的逆矩陣中每行元素的和都是 。(Wilansky 1951)

解答

腳註

[edit | edit source]
  1. 關於函式逆元的更多資訊在附錄中。

參考文獻

[edit | edit source]
  • Wilansky, Albert, "The Row-Sum of the Inverse Matrix", American Mathematical Monthly, Mathematical Association of America, 58 (9): 614 {{citation}}: Unknown parameter |month= ignored (help).


線性代數
 ← 矩陣乘法機制 逆矩陣 基變換 → 
華夏公益教科書