固有多項式

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

線型代数学において、固有多項式(こゆうたこうしき、characteristic polynomial)あるいは特性多項式(とくせいたこうしき)とは、正方行列に付随して得られるある多項式を指し、その行列の固有値行列式トレース最小多項式といった重要な量と関連している。相似な行列に対しては同じ固有多項式が定まる。

またグラフ理論において、グラフの固有多項式とは、グラフの隣接行列の固有多項式のことを指す。この多項式はグラフの不変量となっている。すなわち同型なグラフは同じ固有多項式を持つ。

動機[編集]

n 次正方行列 A に対し、A固有値をすべて求めることを考える。

あるスカラーλが A固有値であるとは、Av = λv を満たすベクトル v ≠ 0 が存在することである。 条件 Av = λv は (λIA)v = 0 と同値である。 (ここで I単位行列。) したがって λ が A の固有値である必要十分条件は、一次方程式

(\lambda I-A)v=0

の非自明な解 v ≠ 0 が存在すること、つまり det(λIA) = 0 となることである。

以上からわかるように、与えられた n 次正方行列 A のすべての固有値は、方程式 det(λIA) = 0 の解として代数的に求めることができる。

定義[編集]

Kとする。(例えば実数体や複素数体。)K の元を成分とする n正方行列A とする。 A固有多項式とは、

p_A(t)=\det(tI-A)

で定義される多項式 pA(t) のことである。ここで I単位行列である。

pA(t) = det(AtI) を定義とする場合もあるが、n が奇数のときに限り符号 −1 がつくだけなので本質的に違いはない。)

[編集]

次の行列 A の固有多項式を求める。

A=\begin{pmatrix}
3 & -2\\
1& 0
\end{pmatrix}

そのためには、

t I-A = \begin{pmatrix}
t-3&2\\
-1&t
\end{pmatrix}

の行列式を計算すればよい。 よって A の固有多項式は

p_A(t) = (t-3)t - 2(-1) = t^2 - 3t + 2 = (t - 1)(t - 2)

とわかる。 特に A の固有値は 1 と 2 である。

性質[編集]

  • 固有多項式 pA(t) は、A のすべての固有値を(重複度も込めて)根にもつ最小次数のモニック(すなわち最高次の係数が 1)な n 次多項式である。
つまりA の固有値を λ1, …, λk とし、mi を各固有値の重複度とすると
 p_A(t) = (t - \lambda_1)^{m_1} \dotsb (t - \lambda_k)^{m_k}
が成り立つ。
  • 固有多項式の定数項 pA(0) は、(−1)n det(A) となる。また、tn − 1 の係数は −tr(A) である。
例えば2次正方行列の固有多項式は
t^2 - \operatorname{tr}(A)t + \det(A)
と簡単に表すことができる。
また、3次正方行列の固有多項式は、c2主小行列式(principal minor)の総和と定義することで、
t^3-{\operatorname{tr}}(A)t^2+c_2t-\det(A)
と表すことができる。
  • 奇数次の実数係数多項式は少なくともひとつ実根を持つことから、奇数次の実数係数行列は、少なくともひとつ実固有値を持つ。実根をもたない偶数次の多項式はたくさんあるが、代数学の基本定理によれば、複素数の範囲で、n 次多項式は重複を込めて n 個の根を持つ。実数係数多項式の実数でない根は共役との組で現れることから、実数係数行列の実固有値ではない固有値も共役複素数の組で現れることがわかる。
p_A(A)=O
この定理により、A最小多項式は、pA(t) を割り切ることがわかる。
  • 相似な2つの行列は、同じ固有多項式を持つ。
ただし逆は正しくない。同じ固有多項式を持つ行列でも相似ではないものがある。例えば、
\begin{pmatrix}
1 & 1\\
0 & 1
\end{pmatrix},\ 
\begin{pmatrix}
1 & 0\\
0 & 1
\end{pmatrix}
の固有多項式はともに (t − 1)2 だが相似ではない。(前者の最小多項式は (t − 1)2であるが、後者は t − 1 である。)
  • AA転置行列の固有多項式は一致する。
  • A が三角行列に相似であることと、体 K 上で固有多項式が一次式の積に分解することとは同値である。(この場合、A はさらにジョルダン標準形とも相似になる。)
  • 2行列の積に対する固有多項式
ABn 次正方行列とするとき、ABBA の固有多項式は一致する。すなわち
p_{AB}(t)=p_{BA}(t)
が成り立つ。
より一般に、Am × n 行列、Bn × m 行列で mn とするとき、ABm × m 行列で、BAn × n 行列である。このとき
 p_{BA}(t) = t^{n-m} p_{AB}(t)\,
が成り立つ。

関連項目[編集]