跳轉到內容

線性代數入門/特徵值和特徵向量

來自華夏公益教科書


在討論特徵值、特徵向量對角化之前,我們先提供一些動機。

示例。 (對角矩陣的冪公式) 令 . 那麼, 對於每個正整數 ,因為 我們可以透過歸納法證明對角矩陣的冪公式。

示例.. 那麼,可以計算出 . 令 . 那麼,

從這個例子可以看出,對於一些特殊的矩陣,它們的冪可以透過以下形式方便地計算出來:,其中 是可逆矩陣, 是對角矩陣。

當然,給定一個矩陣,我們會想知道它是否可以表示為 的形式,如果可以, 是什麼,以便我們可以方便地計算它的冪。 這是本章的主要目標。

特徵值,特徵向量和對角化

[edit | edit source]

鑑於動機部分,我們有以下定義。

定義。 (可對角化矩陣) 方陣 可對角化 的,如果存在一個 可逆 矩陣 ,使得 是對角矩陣。

備註。 等價的條件是 對於一些對角矩陣 和可逆矩陣 ,這與動機部分的形式相匹配。 因此,如果一個矩陣是 可對角化 的,我們可以方便地計算它的冪。

示例。 矩陣 可對角化 的,因為存在 ,使得 是對角矩陣(即 )。 此外,存在 ,使得

Clipboard

練習。

選擇所有 可對角化 矩陣。

零矩陣。
對角矩陣。


以下是與對角化在某種程度上相關的重要的通用概念。

定義。(特徵向量和特徵值)設 為方陣。如果存在一個標量 使得 ,則一個 非零 向量 的一個 特徵向量,則 對應於 特徵向量 的一個 特徵值

備註。

  • 表示將向量 乘以矩陣 等價於將其乘以一個標量(向量的縮放)。
  • 字首 eigen- 的意思是“自己的”、“適當的”和“特徵的”。

示例。(單位矩陣的特徵向量)每個向量 的一個特徵向量,因為 對於每個向量 ,它們的對應特徵值都是

Clipboard

練習。

選擇所有正確的語句。

如果 是可逆矩陣 的一個特徵向量,那麼它也是 的一個特徵向量。
如果 的一個特徵值,那麼 的一個特徵值。
每個向量 都是零矩陣 的特徵向量。
零向量是每個方陣的特徵向量。
如果一個矩陣存在特徵向量,那麼這個矩陣就有無窮多個特徵向量。


以下定理將可對角化矩陣與特徵向量和特徵值聯絡起來。

定理。 (對角化) 設 是一個 矩陣。那麼,可對角化 的當且僅當 具有 線性無關特徵向量。如果 線性無關特徵向量,對應於 特徵值 (其中一些可能是相同的),我們可以 定義 一個 可逆 矩陣 ,其 ,以及一個 對角 矩陣 ,其 對角元素,使得

證明。 以下我們使用 來表示以 為列向量,按此順序排列的矩陣。 我們現在已經證明了 特徵向量。 現在剩下要證明的是它們是 線性無關 的,這可以透過以下論據證明:它們是 線性無關 當且僅當 可逆,根據可逆性與線性無關的關係命題可知。

備註。

  • 我們可以將特徵向量放入 作為列向量,以 任意 順序,只要我們將特徵值放入 的對應列中,例如,我們可以將 放入 的第 3 列,但我們需要將 放入 的第 3 列。
  • 由此可知,對角化的表示式 並不唯一,實際上有無限多個表示式。
  • 根據矩陣乘法的定義,我們有 例如,

接下來,我們將介紹一種方便的方法來找到 特徵值。在此之前,我們先介紹一個與這種尋找特徵值的方法相關的術語。

定義. (特徵多項式)設 矩陣。 關於變數 特徵多項式 是多項式

備註。

  • 我們可以使用任意字母來表示變數。
  • 等價地,特徵多項式 of 的行列式,其對角線元素減去 .

示例. 特徵多項式.

命題. (特徵值等價條件) 設 是一個 矩陣。則,特徵值 當且僅當 ,即它是 特徵多項式 的根。

證明. .

接下來,我們將介紹一個與特徵向量相關的概念。

Clipboard

練習。

選擇所有正確的語句。

一個方陣有 個不同的特徵值,如果其特徵多項式有 個根。
如果大小為 的矩陣 有兩個線性無關的特徵向量 ,分別對應特徵值 ,那麼我們可以定義一個可逆矩陣 和一個對角矩陣 ,使得
如果大小為 的矩陣 有兩個線性無關的特徵向量,那麼我們可以定義一個可逆矩陣 和一個對角矩陣 ,使得


定義。 (特徵空間)令 為一個 矩陣。假設 的一個 特徵值。那麼,,記作 ,是 對應特徵空間

備註。

  • 由於零空間是 的子空間,因此 特徵空間 也是 的子空間。
  • 由零向量(因為它是一個子空間)和所有對應於 特徵向量 組成,因為

在介紹了這些術語和概念之後,我們有以下用於對 矩陣進行對角化的演算法步驟

  1. 透過求解 計算 的所有 特徵值
  2. 對於矩陣 的每個特徵值 ,找到對應 特徵空間
  3. 如果 包含 個向量 (如果沒有,則 不可對角化),定義
  4. 我們有 ,其中 是一個 對角 矩陣,其 對角 元素是對應於 特徵值

備註。

  • 可以證明,對應於 不同特徵值特徵向量線性無關 的(證明過程在此省略)。
  • 因此, 的列向量線性無關,所以 是可逆的。
  • 如果 不同的特徵值,那麼 是可對角化的[1],因為有 對應於 特徵值,它們共同包含 個向量 .
  • 每個特徵值有無限多個可能的基,但我們只需要其中一個。

例子。 矩陣的對角化) 回憶一下動機部分的例子,給定矩陣 是可對角化的,並且它的 形式的表示式也被給出。我們將使用上述過程來推匯出給定的表示式。

首先, 所以,矩陣的特徵值為 .

對於特徵值 ,因為 ,並且可以證明其通解為 ,因此 的基為

對於特徵值 ,因為 ,並且可以證明其通解為 ,因此 的基為

然後,我們令 (因為兩個基底加起來包含兩個向量),並且 然後,我們可以計算得到 因此,我們有 這與動機部分示例中給出的形式相同。一般來說,如果我們有 這在動機部分的示例中有所說明。從動機部分的示例來看,

示例: 矩陣的對角化)考慮矩陣 (它不是)。我們希望找到一個關於 的公式。首先, 因此,矩陣的特徵值為

對於特徵值 ,由於(有兩個獨立的未知數,所以每個特徵空間的基的維數是,即每個基應該有兩個向量), 的一個基是

對於特徵值 ,由於 的一個基為 .

Then, we let , (since the two bases together contain three vectors) (we have two eigenvectors corresponding to the eigenvalue , so this eigenvalue is repeated two times). Then, we can compute that . It follows that and This is an interesting result.

例:(復特徵值)令 [2] 由於特徵值都是複數(因此不存在相應的實特徵向量),不可 對角化的 在實矩陣上。另一方面, 是在復矩陣上可以對角化的,但我們在本書中不關注復矩陣上的對角化,並且我們沒有定義復矩陣的運算。因此, 的形式表示如下,僅供參考:

例。 (不可對角化矩陣)考慮矩陣 (它是一個 冪零矩陣,滿足 )。

首先,由於 唯一的特徵值為 .

對於特徵值 ,由於 所以, 的一個基是 。由於它只包含一個向量,而矩陣的大小為 不可對角化的。

Clipboard

練習。

1 計算

.
.
.
.

2 選擇所有正確的陳述。

在實矩陣上,特徵空間可以是零空間,即僅包含零向量。
特徵空間必須包含無限多個特徵向量。
特徵空間的每個基都包含線性無關的向量。
假設透過對角化,矩陣 可以表示為 ,其中 是一個可逆矩陣,而 是一個對角矩陣,那麼,對於每個正整數 是一個對角矩陣。


在接下來的內容中,我們將討論對角化的一些數學應用,包括推匯出序列公式以及求解 常微分方程 (ODE) 系統。

示例. (斐波那契數列) 考慮 斐波那契數列 ,其中 以及對於每個非負整數 。對於每個非負整數 ,這個遞推關係可以描述為

。那麼,

為了得到 的表示式,只需要找到 的公式,我們可以透過對角化來找到它。

由於 黃金分割黃金分割共軛

對於特徵值 ,因為對於 ,我們可以將表示此線性方程組的增廣矩陣轉換為行最簡形式如下: [3] 因此,通解是 ,因此 的一個基是

對於特徵值 ,因為 ,表示此線性方程組的增廣矩陣的行最簡形式是 ,這是由於對稱性[4]。因此,通解是 ,因此 的一個基是

Then, we let , . We can compute that Then, , and thus Finally, we have Thus, in which and .

Clipboard

練習。 定義一個數列 ,其中 且對於每個非負整數 成立。

1 以下哪個是 的正確公式?

.
.
.
.

2 定義另一個數列 ,其中 且對於每個非負整數 成立。以下哪個是 的正確公式?

.
.
.
.
.


示例. (常微分方程組) 考慮常微分方程組 ,初始條件為 ,當

Using the dot notation for differentiation, the system can be rewritten as in which . Suppose we can write in which is an invertible matrix and is a diagonal matrix. Let in which are some real numbers. Also, let , which implies and , and . It follows that and . Thus, Let , then the system can be simplified to in which are arbitrary constants, and .

然後,我們透過對角化 來求解 對於特徵值 ,其通解為 ,因此 的一個基。

對於特徵值 ,其通解為 ,因此 的基底為。

然後,令 以及 。由此可知,。然後,

因此,,所以 。應用初始條件 時, 時,這意味著 。因此, 因此,此微分方程組的解為

Clipboard

練習。

1 求解以下微分方程組,初始條件為

.
.
.
.
.

2 求使以下常微分方程組不一致的 值。

不存在這樣的
可以是任意實數。

3 求解以下系統,當 時,初始條件為

該系統不一致。



  1. 但即使 具有嚴格少於 個特徵值, 仍然可以是對角化的。實際上, 最多有 個不同的特徵值,因為 的特徵多項式是 次多項式,根據代數基本定理,它有 個根(其中一些可能重複)。
  2. 它是複數 的矩陣表示形式。
  3. 因為
  4. 特別地,,因為都滿足方程.
華夏公益教科書