特征空间

在數學上，特別是線性代數中，對於一個給定的方陣 $A$ ，它的**特徵向量**（eigenvector，也譯**固有向量**、**本徵向量**） $v$ 經過這個線性轉換之後，得到的新向量仍然與原來的 $v$ 保持在同一條直線上，但其長度或方向也許會改變。即

　
: $Av=\lambda v$ ，

 $\lambda $ 為純量，即特徵向量的長度在該線性轉換下縮放的比例，稱 $\lambda $ 為其**特徵值**（eigenvalue，也譯**固有值**、**本徵值**）。如果特徵值為正，則表示 $v$ 在經過線性轉換的作用後方向也不變；如果特徵值為負，說明方向會反轉；如果特徵值為 0，則是表示縮回零點。但無論怎樣，仍在同一條直線上。圖 1 給出了一個以著名油畫《蒙娜麗莎》為題材的例子。在一定條件下（如其矩陣形式為實對稱矩陣的線性轉換），一個轉換可以由其特徵值和特徵向量完全表述，也就是說：所有的特徵向量組成了這向量空間的一組基底。一個**特徵空間**（eigenspace）是具有相同特徵值的特徵向量與一個同維數的零向量的集合，可以證明該集合是一個線性子空間，比如 $\textstyle E_{\lambda }=\{u\in V\mid Au=\lambda u\}$ 即為線性變換 $A$ 中以 $\lambda $ 為特徵值的**特徵空間**。

這些概念在純數學和應用數學的眾多領域中都有重要的應用。在線性代數和泛函分析之外，甚至在一些非線性的情況下，這些概念都是十分重要的。

「特徵」一詞譯自德語的 eigen，由希爾伯特在 1904 年首先在這個意義下使用（赫爾曼・馮・亥姆霍茲在更早的時候也在類似意義下使用過這一概念）。eigen 一詞可翻譯為「自身的」，「特定於... 的」，「有特徵的」或者「個體的」— 這強調了特徵值對於定義特定的轉換上是很重要的。

## 定義

給定一個向量空間 $\mathbf {E} $ ，從 $\mathbf {E} $ 到 $\mathbf {E} $ 自身的線性轉換 $\mathbf {T} $ 是一個保持向量加法和純量乘向量這兩種運算的函數，例如旋轉、反射、拉伸、壓縮，或者這些轉換的組合等等。一個線性轉換可以通過它們在向量上的作用來可視化。一般來說，一個向量在經過映射之後可以變為任何可能的向量，而特徵向量具有更好的性質。

一個線性轉換 $\mathbf {T} :\mathbf {E} \mapsto \mathbf {E} $ 的**特徵向量** $v$ 是一個非零向量且在這個線性轉換下的新向量為 $v$ 簡單地乘以一個純量 $\lambda $ 。也就是說存在一個純量 $\lambda $ 使得 $v$ 滿足下式：

 $\mathbf {T} (v)=\lambda v$
其中的縮放因子 $\lambda $ 稱為這個特徵向量的**特徵值**，或者說是線性轉換 $\mathbf {T} $ 的特徵值。反過來，一個實數 $\lambda $ 是線性轉換 $\mathbf {T} $ 的一個特徵值，若且唯若有一個非零向量 $v$ 滿足上面的式子。

所有具有相同的特徵值 $\lambda $ 的特徵向量和零向量一起，組成了一個向量空間，稱為線性轉換的一個**特徵空間**，一般記作 $\mathbb {E} _{\lambda }(\mathbf {T} )$ 。這個特徵空間如果是有限維的，那麼它的維數叫做 $\lambda $ 的**幾何重數**。

轉換的**主特徵向量**是模最大的特徵值對應的特徵向量。有限維向量空間上的一個轉換的**譜**是其所有特徵值的集合。

特徵向量也可以看作是關於係數 $\lambda $ 的方程式：

 $\mathbf {T} (x)=\lambda x$
的非零解。顯然只有在 $\lambda $ 是轉換 $\mathbf {T} $ 的特徵值之時，方程式才有非零解。

## 例子

### 線性轉換

最簡單的例子是恆等轉換 $\mathbf {I} $ 的特徵向量。由於對所有的非零向量 $v$ ，

　
: $\mathbf {I} (v)=v=1\cdot v$

所以所有的非零向量都是恆等轉換 $\mathbf {I} $ 的特徵向量，對應著特徵值 1。恆等轉換的特徵空間只有一個，就是整個空間，對應著特徵值 1。類似地，數乘轉換 $\lambda \mathbf {I} $ 的特徵向量也是所有非零向量，因為按照定義，對所有的非零向量 $v$ ，

　
: $\lambda \mathbf {I} (v)=\lambda \cdot v$

如果一個轉換可以寫成對角矩陣，那麼它的特徵值就是它對角線上的元素，而特徵向量就是相應的基。例如矩陣：

　
: $\mathbf {A} ={\begin{bmatrix}2&0&0\\0&2&0\\0&0&4\end{bmatrix}}$

的特徵值就是 2 和 4。2 對應的特徵向量是所有形同 $(a,b,0)^{T}$ 的非零向量，而 4 對應的特徵向量是所有形同 $(0,0,c)^{T}$ 的非零向量。2 對應的特徵空間是一個 2 維空間，而 4 對應的特徵空間是一個 1 維空間。矩陣 $\mathbf {A} $ 的譜是 $\left\{2,4\right\}$ 。

對於更複雜的矩陣，特徵向量和特徵值就不是顯然的了。右圖中的例子是一個二維平面上的錯切轉換，其矩陣可以表示為：

　
: $\mathbf {A} ={\begin{bmatrix}1&0\\-{\frac {1}{2}}&1\end{bmatrix}}$

 $\mathbf {A} $ 的特徵向量 $\mathbf {x} $ ，按照定義，是在轉換 $\mathbf {A} $ 的作用下會得到 $\mathbf {x} $ 自身的若干倍的非零向量。假設在 $\mathbf {A} $ 的作用下 $\mathbf {x} $ 變成了自身的 $\lambda $ 倍，也就是

　
: $\mathbf {A} \mathbf {x} =\lambda \mathbf {x} $

在等式兩邊的左側乘以單位矩陣 _I_，得到

　
: $\mathbf {IA} \mathbf {x} =\mathbf {I} \cdot \lambda \mathbf {x} $

　
: $\mathbf {A} \mathbf {x} =(\lambda I)\mathbf {x} $

因此

　
: $(\mathbf {A} -\lambda \mathbf {I} )\mathbf {x} =0$

根據線性方程組理論，為了使這個方程式有非零解，矩陣 $\mathbf {A} -\lambda \mathbf {I} $ 的行列式必須是零：

　
: $\det(\mathbf {A} -\lambda \mathbf {I} )=0$

_det: determinant，行列式_

按照行列式的展開定義，上面式子的左端是一個關於 $\lambda $ 的多項式，稱為特徵多項式。這個多項式的係數只和 $\mathbf {A} $ 有關。在這個例子中，可以計算這個特徵多項式：

　
: $\det \!\left({\begin{bmatrix}1&0\\-{\frac {1}{2}}&1\end{bmatrix}}-\lambda {\begin{bmatrix}1&0\\0&1\end{bmatrix}}\right)=(1-\lambda )^{2}$

在這種情況下特徵多項式的方程式變成 $(1-\lambda )^{2}=0$ 。它的唯一的解是： $\lambda =1$ 。這就是矩陣 $\mathbf {A} $ 的特徵值。

找到特徵值 $\lambda =1$ 後，就可以找出

　
: $(\mathbf {A} -\lambda \mathbf {I} )\mathbf {x} =0$

的非零解，也就是特徵向量了。在例子中：

　
: ${\begin{bmatrix}1-\lambda &0\\-{\frac {1}{2}}&1-\lambda \end{bmatrix}}{\begin{bmatrix}x_{1}\\x_{2}\end{bmatrix}}=0$

將 $\lambda =1$ 代入，就有

　
: ${\begin{bmatrix}0&0\\-{\frac {1}{2}}&0\end{bmatrix}}{\begin{bmatrix}x_{1}\\x_{2}\end{bmatrix}}=0$

解這個新矩陣方程式，得到如下形式的解：

　
: $\mathbf {x} ={\begin{bmatrix}0\\c\end{bmatrix}}$

這裡的 _c_ 是任意非零常數。因此，矩陣 $\mathbf {A} $ 的特徵向量就是所有豎直方向的向量（比如圖中紅色箭頭代表的向量）。

一般來說，2×2 的非奇異矩陣如果有兩個相異的特徵值，就有兩個線性獨立的特徵向量。在這種情況下，對於特徵向量，線性轉換僅僅改變它們的長度，而不改變它們的方向（除了反轉以外），而對於其它向量，長度和方向都可能被矩陣所改變。如果特徵值的模大於 1，特徵向量的長度將被拉伸，而如果特徵值的模小於 1，特徵向量的長度就將被壓縮。如果特徵值小於 0，特徵向量將會被翻轉。

### 其他例子

隨著地球的自轉，每個從地心往外指的箭頭都在旋轉，除了在轉軸上的那些箭頭。考慮地球在一小時自轉後的轉換：地心指向地理南極的箭頭是這個轉換的一個特徵向量，並且因為指向極點的箭頭沒有被地球的自轉拉伸，它的特徵值是 1; 但是從地心指向赤道任何一處的箭頭不會是一個特徵向量。

另一個例子是，薄金屬板關於一個固定點均勻伸展，使得板上每一個點到該固定點的距離翻倍。這個伸展是一個有特徵值 2 的轉換。從該固定點到板上任何一點的向量是一個特徵向量，而相應的特徵空間是所有這些向量的集合。

但是，三維幾何空間不是唯一的向量空間。例如，考慮兩端固定的拉緊的繩子，就像弦樂器的振動弦那樣（圖 2.）。振動弦的原子到它們在弦靜止時的位置之間的帶符號那些距離視為一個空間中的一個向量的分量，那個空間的維數就是弦上原子的個數。

如果考慮繩子隨著時間流逝發生的轉換，它的特徵向量，或者說_特徵函數_（如果將繩子假設為一個連續媒介），就是它的駐波 — 也就是那些通過空氣的傳播讓人們聽到弓弦和吉他的撥動聲的振動。駐波對應於弦的特定振動，它們使得弦的形狀隨著時間變化而伸縮一個因子（特徵值）。和弦相關的該向量的每個分量乘上了一個依賴於時間的因子。駐波的振幅（特徵值）在考慮到阻尼的情況下逐漸減弱。因此可以將每個特徵向量對應於一個壽命，並將特徵向量的概念和共振的概念聯繫起來。

## 特徵值方程式

從數學上看，如果非零向量 **v** 與轉換 ${\mathcal {T}}$ 滿足

　
: ${\mathcal {T}}(\mathbf {v} )=\lambda \,\mathbf {v} $

則稱向量 **v** 是轉換 ${\mathcal {T}}(\cdot )$ 的一個特徵向量，_λ_ 是相應的特徵值。其中 ${\mathcal {T}}(\mathbf {v} )$ 是將轉換 ${\mathcal {T}}(\cdot )$ 作用於 **v** 得到的向量。

假設 ${\mathcal {T}}(\cdot )$ 是一個線性轉換，那麼 **v** 可以由其所在向量空間的一組基表示為：

　
: $\mathbf {v} =\sum _{i=1}^{n}v_{i}\mathbf {e} _{i}$

其中 $v_{i}$ 是向量 $\mathbf {v} $ 在基向量 $\mathbf {e} _{i}$ 上的投影（即坐標），這裡假設向量空間為 _n_ 維。由此， $\mathbf {v} $ 可以直接以坐標向量 $v=(v_{1},\ldots ,v_{n})^{T}$ 表示。利用基向量，線性轉換 ${\mathcal {T}}(\cdot )$ 也可以用一個簡單的矩陣乘法表示。上述的特徵值方程式可以表示為：

　
: $T\,v=\lambda \,v$

但是，有時候用矩陣形式寫下特徵值方程式是不自然甚或不可能的。例如在向量空間是無窮維的時候，上述的弦的情況就是一例。取決於轉換 ${\mathcal {T}}$ 和它所作用的空間的性質，有時將特徵值方程式表示為一組微分方程式更好。若 ${\mathcal {T}}$ 是一個微分算子，其特徵向量通常稱為該微分算子的**特徵函數**。例如，微分本身是一個線性轉換因為（若 _M_ 和 _N_ 是可微函數，而 _a_ 和 _b_ 是常數）

　
: ${\frac {d}{dt}}(aM+bN)=a{\frac {dM}{dt}}+b{\frac {dN}{dt}}$

考慮對於時間 $t$ 的微分。其特徵函數滿足如下特徵值方程式：

　
: ${\frac {dN}{dt}}=\lambda N$ ,

其中 _λ_ 是該函數所對應的特徵值。這樣一個時間的函數，如果 $\lambda =0$ ，它就不變，如果 $\lambda $ 為正，它就按比例增長，如果 $\lambda $ 是負的，它就按比例衰減。例如，理想化的兔子的總數在兔子更多的地方繁殖更快，從而滿足一個正 λ 的特徵值方程式。

該特徵值方程式的解是 $N=\exp(\lambda t)$ ，也即指數函數；這樣，該函數是微分算子 _d/dt_ 的特徵值為 _λ_ 的特徵函數。若 _λ_ 是一個負數，我們稱 _N_ 的演變為一個指數衰減；若它是正數，則稱指數增長。_λ_ 的值可以是一個任意複數。因此 _d/dt_ 的譜是整個複數平面。在這個例子中，算子 _d/dt_ 作用的空間是單變數可微函數的空間。該空間有無窮維（因為不是每一個可微函數都可以用有限的基函數的線性組合來表達的）。但是，每個特徵值 _λ_ 所對應的特徵空間是一維的。它就是所有形為 $N=N_{0}\exp(\lambda t)$ 的函數的集合。_N0_ 是任意常數，也就在 _t=0_ 的初始數量。

## 譜定理

**譜定理**在有限維的情況，將所有可對角化的矩陣作了分類：它顯示一個矩陣是可對角化的，若且唯若它是一個正規矩陣。注意這包括自共軛（厄爾米特）的情況。這很有用，因為對角化矩陣 T 的函數 f (T)（譬如波萊爾函數 f）的概念是清楚的。在採用更一般的矩陣的函數的時候譜定理的作用就更明顯了。例如，若 f 是解析的，則它的形式冪級數，若用 T 取代 x，可以看作在矩陣的巴拿赫空間中絕對收斂。譜定理也允許方便地定義正算子的唯一的平方根。

譜定理可以推廣到希爾伯特空間上的有界正規算子，或者無界自共軛算子的情況。

## 矩陣的特徵值和特徵向量

### 計算矩陣的特徵值和特徵向量

假設我們想要計算給定矩陣的特徵值。若矩陣很小，我們可以用特徵多項式進行符號演算。但是，對於大型矩陣這通常是不可行的，在那種情況我們必須採用數值方法。

#### 形式計算

描述正方形矩陣的特徵值的重要工具是特徵多項式：就如之前的例子一樣，說 _λ_ 是 _A_ 的特徵值等價於說線性系統（_A_ – _λI_）_v_ = 0（其中 _I_ 是單位矩陣）有非零解 _v_（一個特徵向量），因此等價於說行列式：

　
: $\det(A-\lambda I)=0\!\ $

函數： $p_{A}(\lambda )=\det(A-\lambda I)\!\ $ 是一個關於 _λ_ 的多項式，稱為 _A_ 的**特徵多項式**。矩陣的特徵值也就是其特徵多項式的零點。求一個矩陣 _A_ 的特徵值可以通過求解方程式 $p_{A}(\lambda )=0$ 來得到。

若 _A_ 是一個 _n_×_n_ 矩陣，則 $p_{A}$ 為 _n_ 次多項式，因而 _A_ 最多有 _n_ 個特徵值。反過來，如果 _A_ 的係數是在一個代數閉體裡面（比如說複數域），那麼代數基本定理說明這個方程式剛好有 _n_ 個根（如果重根也計算在內的話）。所有奇數次的多項式必有一個實數根，因此當 **n** 為奇數的時候，每個 **n** 維實係數矩陣至少有一個實數特徵值。當矩陣係數是實數的時候，非實數的特徵值會成共軛對出現。

一旦找到特徵值 λ，相應的特徵向量就可以通過求解如下方程式得到：

　
: $(A-\lambda I)v=0\!\ $

實係數的矩陣不一定有實數特徵值。比如對於以下的矩陣（表示二維平面上的順時針 90° 的一個旋轉轉換)：

　
: ${\begin{bmatrix}0&1\\-1&0\end{bmatrix}}$

其特徵多項式是 $\lambda ^{2}+1$ ，因此其特徵值成複共軛對出現，分別是 _i_ 和 -_i_，而沒有實數特徵值。相應的特徵向量也是非實數的。

#### 數值計算

在實踐中，大型矩陣的特徵值無法通過特徵多項式計算。計算該多項式本身相當費資源，而根的精確表達式對於高次的多項式來說很難計算和表達：阿貝爾 - 魯菲尼定理顯示五次或更高次的多項式的根無法用 $n$ 次方根來簡單表達。對於估算多項式的根的有效算法是有的，但特徵值中的微小誤差可以導致特徵向量的巨大誤差。因此，尋找特徵多項式和特徵值的一般算法，是迭代法。最簡單的方法是冪法：取一個隨機向量 $v$ ，然後計算如下的一系列單位向量

　
: ${\frac {Av}{||Av||}}$ , ${\frac {A^{2}v}{||A^{2}v||}}$ , ${\frac {A^{3}v}{||A^{3}v||}}$ , ...

這個序列幾乎總是收斂於最大絕對值的特徵值所對應的特徵向量。這個算法很簡單，但是本身不是很有用。但是，像 QR 分解這樣的算法正是以此為基礎的。

### 性質

#### 代數重次

_A_ 的一個特徵值 λ 的**代數重數**是 λ 作為 _A_ 的特徵多項式的根的次數；換句話說，若 **r** 是該多項式的一個根，它是一次多項式因子（_λ_ - **r**）在特徵多項式中在因式分解後中出現的次數。如果將代數重次計算在內的話，一個 _n_×_n_ 矩陣有 _n_ 個特徵值，因為其特徵多項式次數為 _n_。

一個代數重次 1 的特徵值為「單特徵值」。

在關於矩陣理論的條目中，可能會遇到如下的表示方法：

　
: " 一個矩陣 _A_ 的特徵值為 4,4,3,3,3,2,2,1,"

表示 4 的代數重次為二，3 的是三，2 的是二，而 1 的是 1。這樣寫是因為代數重次對於矩陣理論中的很多證明很重要而被大量使用。

和代數重數相對的是特徵值的**幾何重數**：特徵值相對應的特徵空間（也就是 λI − _A_ 的零空間）的維數。代數重次也可以視為一種維數：它是相應**廣義特徵空間**的維數，也就是當自然數 **k** 足夠大的時候矩陣（λI − _A_）k 的零空間。也就是說，它是所有「廣義特徵向量」組成的空間，其中一個廣義特徵向量是任何一個如果 λI − _A_ 作用連續作用足夠多次就「最終」會變 0 的向量。任何特徵向量都是一個廣義特徵向量，以此任一個特徵空間都被包含於相應的廣義特徵空間。這給了一個幾何重次總是小於或等於代數重次的簡單證明。

例如：

　
: $A={\begin{bmatrix}1&1\\0&1\end{bmatrix}}$ 。

它只有一個特徵值，也就是 λ = 1。其特徵多項式是 $(\lambda -1)^{2}$ ，所以這個特徵值代數重次為 2。但是，相應特徵空間是通常稱為 _x_ 軸的數軸，由向量 ${\begin{bmatrix}1\\0\end{bmatrix}}$ 線性生成，所以幾何重次只是 1。

廣義特徵向量可以用於計算一個矩陣的若爾當標準型（參看下面的討論）。若爾當塊通常不是對角化而是冪零的這個事實與特徵向量和廣義特徵向量之間的區別直接相關。

#### 一般矩陣分解定理

如上所述，譜定理表明正方形矩陣可以對角化若且唯若它是正規的。對於更一般的未必正規的矩陣，我們有類似的結果。當然在一般的情況，有些要求必須放鬆，例如酉等價性或者最終的矩陣的對角性。所有這些結果在一定程度上利用了特徵值和特徵向量。下面列出了一些這樣的結果：

* 舒爾三角形式表明任何矩陣酉等價於一個上三角矩陣；
* 奇異值分解， $A=U\Sigma V^{*}$ 其中 $\Sigma $ 為對角陣，而 _U_,_V_ 為么正矩陣。 $\Sigma =U^{*}AV$ 的對角線上的元素非負，而正的項稱為 A 的奇異值。這對非正方形矩陣也成立；
* 若爾當標準型，其中 $A=U\Lambda U^{-1}$ 其中 $\Lambda $ 不是對角陣，但是分塊對角陣，而 $U$ 是么正矩陣。若爾當塊的大小和個數由特徵值的幾何和代數重次決定。若爾當分解是一個基本的結果。從它可以立即得到一個正方形矩陣可以完全用它的特徵值包括重次來表述，最多只會相差一個酉等價。這表示數學上特徵值在矩陣的研究中有著極端重要的作用。
* 作為若爾當分解的直接結果，一個矩陣 _A_ 可以「唯一」地寫作 _A_ = _S_ + _N_ 其中 _S_ 可以對角化，_N_ 是冪零的（也即，對於某個 _q_，_Nq_=0），而 _S_ 和 _N_ 可交換（_SN=NS_）。
* 任何可逆矩陣 _A_ 可以唯一地寫作 _A_ = _SJ_，其中 _S_ 可對角化而 _J_ 是麼冪矩陣（也即，使得特徵多項式是 (_λ_-1) 的冪，而 _S_ 和 _J_ 可交換）。

#### 特徵值的一些另外的屬性

譜在相似轉換下不變：矩陣 _A_ 和 _P_-1_AP_ 有相同的特徵值，這對任何矩陣 _A_ 和任何可逆矩陣 _P_ 都成立。譜在轉置之下也不變：矩陣 _A_ 和 _A_T 有相同的特徵值。

因為有限維空間上的線性轉換是對射若且唯若它是單射，一個矩陣可逆若且唯若所有特徵值都不是 0。

若爾當分解的一些更多的結果如下：

* 一個矩陣是對角矩陣若且唯若代數和幾何重次對於所有特徵值都相等。特別的有，一個 _n_×_n_ 矩陣如果有 _n_ 不同特徵值，則總是可以對角化的。
* 矩陣作用的向量空間可以視為其廣義特徵向量所撐成的不變子空間的直和。對角線上的每個塊對應於該直和的一個子空間。若一個塊是對角化的，其不變子空間是一個特徵空間。否則它是一個廣義特徵空間，如上面所定義；
* 因為跡，也就是矩陣主對角線元素之和，在酉等價下不變，若爾當標準型說明它等於所有特徵值之和；
* 類似的有，因為三角矩陣的特徵值就是主對角線上的項，其行列式等於等於特徵值的乘積（按代數重次計算出現次數）。

正規矩陣的一些子類的譜的位置是：

* 一個埃爾米特矩陣（_A_ = _A_\*）的所有特徵值是實數。進一步的有，所有正定矩陣（_v_\*_Av_ > 0 for all vectors _v_）的所有特徵值是正數；
* 所有斜埃爾米特矩陣（_A_ = −_A_\*）的特徵值是純虛數；
* 所有么正矩陣（_A_-1 = _A_\*）的特徵值絕對值為 1;

假設 _A_ 是一個 _m_×_n_ 矩陣，其中 _m_ ≤ _n_，而 _B_ 是一個 _n_×_m_ 矩陣。則 _BA_ 有和 _AB_ 相同的特徵值加上 _n_ − _m_ 個等於 0 的特徵值。

每個矩陣可以被賦予一個算子範數。算子範數是其特徵值的模的上確界，因而也是它的譜半徑。該範數直接和計算最大模的特徵值的冪法直接相關。當一個矩陣是正規的，其算子範數是其特徵值的最大模，並且獨立於其定義域的範數。

### 共軛特徵向量

一個**共軛特徵向量**或者說**共特徵向量**是一個在轉換下成為其共軛乘以一個純量的向量，其中那個純量稱為該線性轉換的**共軛特徵值**或者說**共特徵值**。共軛特徵變數和共軛特徵值代表了和常規特徵向量和特徵值相同的訊息和含義，但是在交替坐標系統被使用的時候出現。對應的方程式是：

　
: $Av=\lambda v^{*}\ $

例如，在相干電磁散射理論中，線性轉換 _A_ 代表散射物體施行的作用，而特徵向量表示電磁波的極化狀態。在光學中，坐標系統按照波的觀點定義，稱為前向散射對齊（FSA），從而導致了常規的特徵值方程式，而在雷達中，坐標系統按照雷達的觀點定義，稱為後向散射對齊（BSA），從而給出了共軛特徵值方程式。

### 廣義特徵值

一個**廣義特徵值**（第二種意義）有如下形式

　
: $Av=\lambda Bv\quad \quad $

其中 _A_ 和 _B_ 為矩陣。其**廣義特徵值**（第二種意義）λ
可以通過求解如下方程式得到

　
: $\det(A-\lambda B)=0\ $

形如 $A-\lambda B$ 的矩陣的集合，其中 $\lambda $ 是一個複數，稱為一個「束（pencil）」。若 _B_ 可逆，則最初的問題可以寫作如下形式

　
: $B^{-1}Av=\lambda v\quad \quad $

也即標準的特徵值問題。但是，在很多情況下施行逆操作是不可取的，而廣義特徵值問題應該如同其原始表述來求解。

如果 _A_ 和 _B_ 是實係數的對稱矩陣，則特徵值為實數。這在上面的第二種等價表述中並不明顯，因為矩陣 $B^{-1}A$ 未必是對稱的。

這裡的一個例子是分子軌道應用如下。

### 係數為環中元素

在方矩陣 _A_，其係數屬於一個環的情況，λ 稱為一個**右特徵值**如果存在一個列向量 _x_ 使得 _Ax_=λ_x_，或者稱為一個**左特徵值**如果存在非零行向量 _y_ 使得 _yA_=_y_λ。

若環是可交換的，左特徵值和右特徵值相等，並簡稱為特徵值。否則，例如當環是四元數集合的時候，它們可能是不同的。

## 無窮維空間

若向量空間是無窮維的，特徵值的概念可以推廣到譜的概念。譜是純量 λ 的集合，對於這些純量， $\left({\mathcal {T}}-\lambda \right)^{-1}$ 沒有定義，也就是說它們使得 ${\mathcal {T}}-\lambda $ 沒有有界逆。

很明顯，如果 _λ_ 是 T 的特徵值，_λ_ 位於 T 的譜內。一般來講，反過來並不成立。在希爾伯特空間或者巴拿赫空間上有一些算子完全沒有特徵向量。這可以從下面的例子中看到。在希爾伯特空間 $\ell ^{2}(\mathbf {Z} )$ (所有純量級數的空間，每個級數 $\dots a_{-1},a_{0},a_{1},a_{2},\dots $ 使得 $\dots |a_{-1}|^{2}+|a_{0}|^{2}+|a_{1}|^{2}+|a_{2}|^{2}+\dots $ 收斂) 上的雙向平移沒有特徵向量卻有譜值。

在無窮維空間，有界算子的譜系總是非空的，這對無界自共軛算子也成立。通過檢定譜測度，任何有界或無界的自共軛算子的譜可以分解為絕對連續，離散，和孤立部分。指數增長或者衰減是連續譜的例子，而振動弦駐波是離散譜例子。氫原子是兩種譜都有出現的例子。氫原子的束縛態對應於譜的離散部分，而離子化狀態用連續譜表示。

## 應用

### 薛丁格方程式

在量子力學中，不含時薛丁格方程式是一個以微分算子代表的轉換 $T\,$ 的特徵值方程式，能夠描述一個粒子的量子行為：

　
: $H\Psi _{E}=E\Psi _{E}\,$

其中， $H\,$ 是哈密頓算子，一個二階微分算子， $\Psi _{E}\,$ 是描述粒子的量子行為的波函數，對應於特徵值 $E\,$ 的特徵函數，該值可以解釋為粒子的能量。

假設，我們只想尋找薛丁格方程式的束縛態 (bound state) 解，那麼，可以在平方可積函數的空間中尋找 $\Psi _{E}\,$ 。由於這個空間是希爾伯特空間，有一個定義良好的純量積，我們可以引入一個基集合，然後表示 $\Psi _{E}\,$ 和 $H\,$ 為一個一維數組和一個矩陣。這樣，我們能夠用矩陣形式表達薛丁格方程式。（圖 3 表示氫原子哈密頓算子的最低能級特徵函數。）

狄拉克標記經常在這個上下文中使用，以強調量子態 $\Psi _{E}\,$ 的態向量 $|\Psi _{E}\rangle \,$ 和它表示於位置空間的波函數 $\Psi _{E}(x)\,$ 之間的區別。採用狄拉克標記，薛丁格方程式寫為

　
: $H|\Psi _{E}\rangle =E|\Psi _{E}\rangle \,$

並稱 $|\Psi _{E}\rangle \,$ 是 $H\,$ 的一個**本徵態**（ $H\,$ 有時候在入門級課本中寫作 ${\hat {H}}\,$ ）， $H\,$ 是一個自伴算子（_參看可觀察量_）。在上述方程式中， $H|\Psi _{E}\rangle \,$ 理解為通過作用 $H\,$ 於 $|\Psi _{E}\rangle \,$ 得到的一個新的態向量。

### 分子軌域

在量子力學中，特別是在原子物理和分子物理中，在 Hartree-Fock 理論下，原子軌域和分子軌域可以定義為 Fock 算子的特徵向量。相應的特徵值通過 Koopmans 定理可以解釋為電離勢能。在這個情況下，特徵向量一詞可以用於更廣泛的意義，因為 Fock 算子顯式地依賴於軌道和它們地特徵值。如果需要強調這個特點，可以稱它為_隱特徵值方程式_。這樣地方程式通常採用迭代程序求解，在這個情況下稱為自洽場方法。在量子化學中，經常會把 Hartree-Fock 方程式通過非正交基集合來表達。這個特定地表達是一個廣義特徵值問題稱為 Roothaan 方程式。

### 因子分析

在因素分析中，一個共變異數矩陣的特徵向量對應於因素，而特徵值是因素負載。因素分析是一種統計學技術，用於社會科學和市場分析、產品管理、運籌規劃和其他處理大量數據的應用科學。其目標是用稱為因素的少量的不可觀測隨機變數來解釋在一些可觀測隨機變數中的變化。可觀測隨機變數用因素的線性組合來建模，再加上「殘差項。

### 振動分析

在對於多自由度機械結構作振動分析時，常常會遇到特徵值問題。經過仔細解析，求得的特徵值會給出振動的自然頻率，而特徵向量則會給出振動模態的振動行為。由於特徵向量的相互正交性質，允許對應的微分方程式式能夠解耦合 (decouple)，整個系統可以表示為特徵向量的線性總和。有限元分析是一種非常優良的方法，時常用來解析複雜結構的特徵值問題。

### 特徵臉

在圖像處理中，臉部圖像的處理可以看作分量為每個像素的灰度的向量。該向量空間的維數是像素的個數。一個標準化面部圖形的一個大型數據集合的共變異數矩陣的特徵向量稱為特徵臉。它們對於將任何面部圖像表達為它們的線性組合非常有用。特徵臉提供了一種用於識別目的的數據壓縮的方式。在這個應用中，一般只取那些最大特徵值所對應的特徵臉。

### 慣性張量

採用直角坐標系的三個坐標軸為參考軸，一個剛體的慣性張量 ${\mathcal {I}}\,$ ，以矩陣形式表達為

　
: ${\mathcal {I}}={\begin{bmatrix}I_{xx}&I_{xy}&I_{xz}\\I_{yx}&I_{yy}&I_{yz}\\I_{zx}&I_{zy}&I_{zz}\end{bmatrix}}\,$ ；

其中，矩陣的元素以方程式式表達為

　
: $I_{xx}\ {\stackrel {\mathrm {def} }{=}}\ \int y^{2}+z^{2}\ dm\qquad \qquad I_{xy}=I_{yx}\ {\stackrel {\mathrm {def} }{=}}\ -\int xy\ dm\,$ 、

　
: $I_{yy}\ {\stackrel {\mathrm {def} }{=}}\ \int x^{2}+z^{2}\ dm\qquad \qquad I_{xz}=I_{zx}\ {\stackrel {\mathrm {def} }{=}}\ -\int xz\ dm\,$ 、

　
: $I_{zz}\ {\stackrel {\mathrm {def} }{=}}\ \int x^{2}+y^{2}\ dm\qquad \qquad I_{yz}=I_{zy}\ {\stackrel {\mathrm {def} }{=}}\ -\int yz\ dm\,$ ，

 $(x,\ y,\ z)\,$ 是剛體內部的微小體積元 $dm\,$ 的位置。

慣性張量 ${\mathcal {I}}\,$ 是個實值的三維對稱矩陣，對角元素 $I_{xx}\,$ 、 $I_{yy}\,$ 、 $I_{zz}\,$ 分別為剛體對於 x - 軸、y - 軸、z - 軸的**轉動慣量**。非對角元素 $I_{\alpha \beta },\alpha \neq \beta \,$ 是剛體對於 $\alpha \,$ - 軸和 $\beta \,$ - 軸的**慣量積**。根據譜定理，可以使慣性張量成為一個對角矩陣。所得到的三個特徵值必是正實值；三個特徵向量必定互相正交。

換另外一種方法，我們需要求解特徵方程式式

　
: ${\mathcal {I}}\ {\boldsymbol {\omega }}=\lambda \;{\boldsymbol {\omega }}\,$ ，

也就是以下行列式等於零的的三次方程式式：

　
: ${\begin{vmatrix}I_{xx}-\lambda &I_{xy}&I_{xz}\\I_{yx}&I_{yy}-\lambda &I_{yz}\\I_{zx}&I_{zy}&I_{zz}-\lambda \end{vmatrix}}=0\,$ 。

這方程式式的三個根 $\lambda _{1}\,$ 、 $\lambda _{2}\,$ 、 $\lambda _{3}\,$ 都是正實的特徵值。將特徵值代入特徵方程式式，再加上方向餘弦 (directional cosine) 方程式式，

　
: $\omega _{x}^{2}+\omega _{y}^{2}+\omega _{z}^{2}=1\,$ 。就可以求到特徵向量 ${\hat {\boldsymbol {\omega }}}_{1}\,$ 、 ${\hat {\boldsymbol {\omega }}}_{2}\,$ 、 ${\hat {\boldsymbol {\omega }}}_{3}\,$ 。這些特徵向量都是剛體的**慣量主軸**；而這些特徵值則分別是剛體對於慣量主軸的**主轉動慣量**。

### 應力張量

在固體力學中，應力張量是對稱的，因而可以分解為對角張量，其特徵值位於對角線上，而特徵向量可以作為基。因為它是對角陣，在這個定向中，應力張量沒有剪切分量；它只有主分量。

### 圖的特徵值

在譜系圖論中，一個圖的特徵值定義為圖的鄰接矩陣 _A_ 的特徵值，或者（更多的是）圖的拉普拉斯算子矩陣 $I-T^{-1/2}AT^{-1/2}$ ，其中 _T_ 是對角陣表示每個頂點的度數，在 $T^{-1/2}$ 中，0 用於取代 $0^{-1/2}$ 。圖的主特徵向量用於測量其頂點的中心度。Google 的 PageRank 算法就是一個例子。www 圖的修正鄰接矩陣的主特徵向量的分量給出了頁面評分。

## 相關條目

* 反特徵值理論
* 非線性特徵值問題

## 注釋

## 參考文獻

### 引用

### 書籍

* （英文） Beezer, Robert A., A first course in linear algebra, Free online book under GNU licence, University of Puget Sound: p. 518, 2006 [2010-05-20], ISBN9781616100049, （原始內容存檔於 2008-03-10）  引文格式 1 維護：冗餘文本 (link)
* （英文） Friedberg, Stephen H.; Insel, Arnold J.; Spence, Lawrence E., Linear algebra 2nd Edition, Englewood Cliffs, NJ 07632: Prentice Hall: p. 217f, 1989, ISBN 0-13-537102-3  引文格式 1 維護：冗餘文本 (link)
* （英文） Golub, Gene H.; Van Loan, Charles F., chapter 7, 8, Matrix computations 3rd Edition, Johns Hopkins University Press, Baltimore, MD, 1996, ISBN 978-0-8018-5414-9  引文格式 1 維護：冗餘文本 (link)
* （英文） Kuttler, Kenneth, An introduction to linear algebra (PDF), Online e-book in PDF format, Brigham Young University: p. 51, 2007 [2010-05-20], （原始內容存檔 (PDF) 於 2008-08-07）  引文格式 1 維護：冗餘文本 (link)
* （英文）Meyer, Carl D., chapter 7, Matrix analysis and applied linear algebra, Society for Industrial and Applied Mathematics (SIAM), Philadelphia, 2000, ISBN 978-0-89871-454-8
* （英文） Korn, Granino A.; Korn, Theresa M., Mathematical Handbook for Scientists and Engineers: Definitions, Theorems, and Formulas for Reference and Review 2 Revised Edition, Dover Publications: p. 1152, 2000, ISBN 0-486-41147-8  引文格式 1 維護：冗餘文本 (link)
* （英文） Gilbert Strang. Linear algebra and its applications. Thomson, Brooks/Cole, Belmont, CA. 2006. ISBN 9780534422004.
* （英文）Roger A. Horn and Charles R. Johnson. Matrix Analysis. Cambridge University Press. 1985. ISBN 0-521-30586-1.
* （英文） John B. Fraleigh and Raymond A. Beauregard. Linear Algebra 3rd edition. Addison-Wesley Publishing Company. 1995. ISBN 0-201-83999-7.  引文格式 1 維護：冗餘文本 (link)
* （英文） Claude Cohen-Tannoudji. Quantum Mechanics. Wiley. 1977. ISBN 0-471-16432-1.
* （英文） Gilbert Strang. Introduction to Linear Algebra Third Edition. Wellesley Cambridge Pr. 2003. ISBN 978-0-961-40889-3.  引文格式 1 維護：冗餘文本 (link)
* （英文） Steven A. Leduc. Linear Algebra Third Edition. Cliffs Notes. 1996. ISBN 978-0822053316.  引文格式 1 維護：冗餘文本 (link)
* （英文）Steven Roman. _Advanced Linear Algebra_. Springer. 2005. ISBN 0-387-24766-1.
* 李慶揚、王能超、易大義. 《数值分析（第 4 版）》. 清華大學出版社. ISBN 7302045615.

## 外部連結

* （英文）麻省理工學院線性代數教程錄影，2005 年春季學期 （頁面存檔備份，存於網際網路檔案館） - 參看 _Eigenvalues and Eigenvectors_（特徵值與特徵向量）一課
* （英文）埃里克・韋斯坦因。特征向量. MathWorld.  （頁面存檔備份，存於網際網路檔案館）
* （英文）某些數學詞彙最早已知的使用：E - 見特徵向量和相關術語
* （英文）ARPACK （頁面存檔備份，存於網際網路檔案館）求解大型特徵值問題的 FORTRAN 子程序匯集
* （英文）Eigenvalue (of a matrix). PlanetMath.
* （英文）特徵值和特徵向量的在線計算器 （頁面存檔備份，存於網際網路檔案館）
* （英文）在線矩陣計算器可以在線計算特徵值，特徵向量和矩陣的其它分解。