固有多項式

線型代数学において、固有多項式（こゆうたこうしき、characteristic polynomial）あるいは特性多項式（とくせいたこうしき）とは、有限次元線形空間での線形変換に対してその固有値を求めるために得られる多項式のことである。特に正方行列に対して定義される。

固有多項式は、その線形変換（正方行列）の行列の固有値、行列式、トレース、最小多項式といった重要な量と関連している。相似な行列に対しては同じ固有多項式が定まる。

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

動機 
次正方行列  に対して、

を満たすスカラー , ベクトル  が存在するとき、 を  の固有値、 を  の固有値  に関する固有ベクトルという。

 の固有値をすべて求めることを考える。

条件  は

と同値である（ここで  は単位行列）。したがって  が  の固有値である必要十分条件は、一次方程式

の非自明な解  が存在すること、つまり

となることである。

これは  についての 次方程式である。この方程式を  の固有方程式あるいは特性方程式と言う。

定義 
 を体（例えば実数体や複素数体）とする。 の元を成分とする 次正方行列  に対して、 の固有多項式とは、

で定義される多項式  のことである。ここで  は単位行列である。

（ を定義とする場合もあるが、 が奇数のときに限り符号  が付くだけで、本質的に違いはない。）

例 
次の実2次正方行列  の固有値を求める。

そのために、 の固有多項式  を求める。

となる。よって  の固有値は  である。

性質 
固有多項式  は、 の重複を込めた全ての固有値を根にもつ最小次数のモニックな（すなわち最高次係数が  の）次多項式である。
つまり  の重複を込めた固有値を  とし、 を各固有値の重複度とすると

が成り立つ。

固有多項式の定数項  は、 となる。また、 の係数は  である。
例えば、2次正方行列  の固有多項式は

と簡単に表すことができる。
また、3次正方行列の固有多項式は

と表すことができる。ここで  は主小行列式の総和である。
奇数次の実数係数多項式は少なくとも1つ実根を持つことから、奇数次の実数係数行列は、少なくとも1つ実固有値を持つ。実根をもたない偶数次の多項式は存在するが、代数学の基本定理によれば、複素数の範囲で、次多項式は重複を込めて  個の根を持つ。実数係数多項式の実数でない根は複素共役との組で現れることから、実数係数行列の実数ではない固有値も共役複素数の組で現れることが分かる。
ケイリー・ハミルトンの定理：固有多項式において  を  に置き換えて得られる行列  は、零行列に等しい。

この定理により、 の最小多項式は  を割り切ることが分かる。
相似な2つの行列は、同じ固有多項式を持つ。
ただし逆は正しくない。すなわち、同じ固有多項式を持つ行列でも相似ではないものがある。例えば、

の固有多項式はともに  だが相似ではない。（前者の最小多項式は  であるが、後者は  である。）
 と  の転置行列の固有多項式は一致する。
 が三角行列に相似であることと、体  上で固有多項式が一次式の積に分解することとは同値である。（この場合、 はさらにジョルダン標準形とも相似になる。）
2行列の積に対する固有多項式
 を 次正方行列とするとき、 と  の固有多項式は一致する。すなわち

が成り立つ。
より一般に、 が 行列、 が 行列で  とするとき、 は 次正方行列で、 は 次正方行列である。このとき
 
が成り立つ。

関連項目 
線型代数学
跡 (線型代数学)
行列式
固有値
最小多項式
ジョルダン標準形

線型代数学
数学に関する記事