上野竜生です。今日は行列の対角化・ジョルダン標準形のお話をします。ただしその前に行列式・固有値までの話が理解できていることが前提になります。
こんな感じで聞かれます。このときの解き方について勉強しましょう。
手順1. Aの固有値と固有ベクトルを求める。（このとき固有ベクトルがどの固有値に対するものかを対応させておきましょう。）つまり，固有値λ1に対する固有ベクトルx1,・・・,固有値λnに対する固有ベクトルxnと言う風に求めておきましょう。
手順2. このとき対角行列と固有値は次の通りである。ただし行列で何も書かれていないところの成分は0である。
$$\begin{pmatrix} \lambda_1 & & & & \\ & \lambda_2 & & \\ & & \ddots & \\ & & & \lambda_n \end{pmatrix} $$
$$ P=(x_1 x_2 \cdots x_n) $$
(各xiが縦ベクトルなのでこれでPがn×n行列になっています）
基本的にこれでOKですが実際に問題を解くとあれ？と思うことがあると思います。それについて述べていきます。
変則パターン１： 重解をもつ
この場合は上の基本通りでＯＫです。たとえばλ1=λ2だった場合，λ1に対する固有ベクトルをx1,x2とします。（どちらがx1でどちらがx2かはどちらでも良い）これで先ほどのPに代入すればOKです。
変則パターン２： 重解をもち，かつ固有ベクトルが足りない・・・
この場合は対角化できません。ジョルダン標準形に変形することになります。ジョルダン標準形とは次の形です。まずジョルダン細胞は次のように定義されます。
$$\begin{pmatrix} \lambda & 1 & & \\ &\lambda & 1 & \\ & & \ddots & \\ & & & \lambda \end{pmatrix} $$
つまり対角成分がすべて同じλで，その1つ右上がすべて1のものです。そしてジョルダン標準形とはジョルダン細胞を対角に並べたものです。
ジョルダン細胞の数は固有空間の次元の数（固有ベクトルの数）に等しいです。
一般にはジョルダン標準形を求めるのは大変ですが試験に出るような3次，4次の場合はいろんな条件からジョルダン標準形の可能性を絞っていくやり方が有効です。具体例でみていきましょう。
(1)\(\begin{pmatrix} -11 & -8 \\ 28 & 19 \end{pmatrix} \)
(x+11)(x-19)-28・(-8)
=x2-8x-209+224
=x2-8x+15
=(x-3)(x-5)
より固有値は3,5
固有値3に対する固有ベクトルを求める。
固有ベクトルを\(\vec{x}=\left( \begin{array}{c} a \\ b \end{array} \right)\)とし，\((A-3E)\vec{x}=0\)を解く（Eは単位行列)
\( (A-3E)\vec{x}\\
=\begin{pmatrix} -14 & -8 \\ 28 & 16 \end{pmatrix}\left( \begin{array}{c} a \\ b \end{array} \right)=\left( \begin{array}{c} -14a-8b \\ 28a+16b \end{array} \right)=\left( \begin{array}{c} 0\\ 0 \end{array} \right)\)
よって14a+8b=0であり，
\(\displaystyle \vec{x}=\left( \begin{array}{c} a \\ b \end{array} \right)=\left( \begin{array}{c} a \\ -\frac{7}{4}a \end{array} \right)=\frac{a}{4}\left( \begin{array}{c} 4 \\ -7 \end{array} \right) \)
よって固有値3に対する固有ベクトルは\(\left( \begin{array}{c} 4 \\ -7 \end{array} \right) \)
同様にして固有値5に対する固有ベクトルは\(\left( \begin{array}{c} -1 \\ 2 \end{array} \right) \)よって対角行列は固有値を対角成分に並べたものだから
\(\begin{pmatrix} 3 & 0 \\ 0 & 5 \end{pmatrix} \)
対角化する行列は対応する固有ベクトルをならべたものだから
\( \begin{pmatrix} 4 & -1 \\ -7 & 2 \end{pmatrix} \)
固有値は0（重解）
固有値0に対する固有ベクトルは\( \left( \begin{array}{c} 3 \\ -2 \end{array} \right)\)
の1つしかなく対角化はできない。
よってジョルダン標準形にする。2×2行列で対角化不能なジョルダン標準形は1つしかない。よって
\(\begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix} \)
が答え。
固有ベクトルが1つしかないのでジョルダン細胞も1つしかありません。
一般にやるとすごく大変なのでこのように絞り込むのが楽です。
\( det(xE-A)=det\begin{pmatrix} x-3 & 0 & -1 \\ 1 & x-2 & 1 \\ 1 & 0 & x-1 \end{pmatrix} \\
=(x-3)(x-2)(x-1)+(x-2)\\
=(x-2)(x^2-4x+4) \\
=(x-2)^3\)
となり固有値は2（重解）
\(A-2E=\begin{pmatrix} 1 & 0 & 1 \\ -1 & 0 & -1 \\ -1 & 0 & -1 \end{pmatrix}\)
より固有ベクトルは\(\left( \begin{array}{c} 0 \\ 1 \\ 0 \end{array} \right) ,\left( \begin{array}{c} 1 \\ 0 \\ -1 \end{array} \right) \)のみで対角化不能。ジョルダン標準形を求める。固有ベクトルが2本しかないのでジョルダン細胞も2つ。合計3次で2つのジョルダン細胞なので(2次+1次)にわけるしかなく，ジョルダン標準形は次の形しかありえない。
\( \begin{pmatrix} 2 & 1 & 0 \\ 0 & 2 & 0 \\ 0 & 0 & 2 \end{pmatrix} \)
ちなみに\(\begin{pmatrix} 2 & 0 & 0 \\ 0 & 2 & 1 \\ 0 & 0 & 2 \end{pmatrix} \)は答えの形と同じとみなされます（どちらも1次のジョルダン細胞＋2次のジョルダン細胞の2つで構成されているため順番は関係ない）。
行列は正直コンピュータに入力するのが大変なので手計算の人は楽ですね・・・。
ここまでできれば大学１年の数学，数検１級の線形代数はかなりできたといえるでしょう。
解説を読んで数学がわかった「つもり」になりましたか？数学は読んでいるうちはわかったつもりになりますが演習をこなさないと実力になりません。そのためには問題集で問題を解く練習も必要です。オススメの参考書を厳選しました
<高校数学>上野竜生です。数学のオススメ参考書などをよく聞かれますのでここにまとめておきます。基本的にはたくさん買うよりも…
上野竜生です。大学数学の参考書をまとめてみました。フーリエ解析以外は自分が使ったことある本から選びました。 大…
上野竜生です。当サイトでも少し前まで各ページで学習サイトをオススメしていましたが他にもオススメできるサイトはた…
