WIIS

固有値と固有ベクトル

正方行列の対角化可能性とその利点

目次

Mailで保存
Xで共有

相似な線形変換と正方行列

正方行列が相似であることの定義およびその性質について簡単に復習します。

2つの正方行列\(A,B\in M_{n,n}\left( \mathbb{R} \right) \)に対して、\(B\)が\(A\)に相似であることとは、以下の条件\begin{equation*}B=P^{-1}AP
\end{equation*}を満たす正則行列\(P\in M_{n,n}\left( \mathbb{R} \right) \)が存在することとして定義されます。

相似は正方行列集合\(M_{n,n}\left( \mathbb{R} \right) \)上に定義された同値関係です。

命題(相似は同値関係)

任意の正方行列\(A,B\in M_{n,n}\left( \mathbb{R} \right) \)に対して、\begin{equation*}A\sim B\Leftrightarrow B\text{は}A\text{に相似}
\end{equation*}を満たすものとして\(M_{n,n}\left( \mathbb{R} \right) \)上の二項関係\(\sim \)を定義する。\(\sim \)は同値関係である。すなわち、\(\sim \)は反射律、対称律、推移律\begin{eqnarray*}&&\left( E_{1}\right) \ \forall A\in M_{n,n}\left( \mathbb{R} \right) :A\sim A \\
&&\left( E_{2}\right) \ \forall A,B\in M_{n,n}\left( \mathbb{R} \right) :\left( A\sim B\Rightarrow B\sim A\right) \\
&&\left( E_{3}\right) \ \forall A,B,C\in M_{n,n}\left( \mathbb{R} \right) :\left[ \left( A\sim B\wedge B\sim C\right) \Rightarrow A\sim C\right] \end{eqnarray*}を満たす。

実ベクトル空間\(\mathbb{R} ^{n}\)において標準基底\(e=\left\{ \boldsymbol{e}_{1},\cdots ,\boldsymbol{e}_{n}\right\} \)を採用する場合、線形変換\(f_{A}:\mathbb{R} ^{n}\rightarrow \mathbb{R} ^{n}\)は標準行列\begin{equation*}A=\left( f_{A}\left( \boldsymbol{e}_{1}\right) ,\cdots ,f_{A}\left(
\boldsymbol{e}_{n}\right) \right)
\end{equation*}と同一視されます。この線形変換\(f_{A}\)は標準基底\(e\)のもとでの座標ベクトル\(\left[ \boldsymbol{x}\right]_{e}\in \mathbb{R} ^{n}\)に対して、やはり\(e\)のもとでの座標ベクトルである、\begin{equation*}f_{A}\left( \left[ \boldsymbol{x}\right] _{e}\right) =A\left[ \boldsymbol{x}\right] _{e}
\end{equation*}を出力します。

\(\mathbb{R} ^{n}\)の基底を標準基底\(e\)から基底\(v=\left\{ \boldsymbol{v}_{1},\cdots ,\boldsymbol{v}_{n}\right\} \)へ変更する場合、標準行列\(A\)によって特徴づけられていた線形変換\(f_{A}\)は、基底\(v\)に関する\(f_{A}\)の行列表現\begin{equation*}\left[ A\right] _{v}=C_{v\rightarrow e}^{-1}AC_{v\rightarrow e}
\end{equation*}によって特徴づけられる線形変換\(f_{\left[ A\right] _{v}}:\mathbb{R} ^{n}\rightarrow \mathbb{R} ^{n}\)へと変換されます。この新たな線形変換\(f_{\left[ A\right] _{v}}\)は基底\(v\)のもとでの座標ベクトル\(\left[ \boldsymbol{x}\right] _{v}\in \mathbb{R} ^{n}\)に対して、やはり\(v\)のもとでの座標ベクトルである、\begin{eqnarray*}f_{\left[ A\right] _{v}}\left( \left[ \boldsymbol{x}\right] _{v}\right) &=&\left[ A\right] _{v}\left[ \boldsymbol{x}\right] _{v} \\
&=&C_{v\rightarrow e}^{-1}AC_{v\rightarrow e}\left[ \boldsymbol{x}\right] _{v}
\end{eqnarray*}を出力します。

\(f_{A}\)と\(f_{\left[ A\right] _{v}}\)は同一の線形変換を異なる基底のもとで表現したものであり、したがって基底が異なるという点を除いて両者は等しい情報を含む線形変換であると言えます。

以上を踏まえた上で、2つの正方行列が相似であることを以下のように表現できることを示しました。

命題(正方行列が同値であることの特徴づけ)
正方行列\(A,B\in M_{n,n}\left( \mathbb{R} \right) \)を任意に選んだとき、実ベクトル空間\(\mathbb{R} ^{n}\)における何らかの基底\(v\)のもとで、\begin{equation*}B=\left[ A\right] _{v}
\end{equation*}が成り立つことと、\(A\)と\(B\)が相似であることは必要十分である。

2つの正方行列\(A,B\)が相似であることは、何らかの基底\(v\)のもとで、\begin{equation*}B=\left[ A\right] _{v}
\end{equation*}が成り立つことと必要十分であることが明らかになりました。2つの線形変換\(f_{A},f_{B}\)は同一の線形変換を異なる基底のもとで表現したものであるため、\(A\)と\(B\)もまた基底が異なるという点を除いて等しい情報を含む正方行列であると言えます。したがって、与えられた正方行列\(A\)が複雑で扱いづらい場合、それをよりシンプルで扱いやすい正方行列\(B\)へと相似変換しても一般性が失われないことが保証されます。では、どのようなタイプの正方行列へ相似変換できれば望ましいでしょうか。順番に考えます。

 

対角行列

正方行列\(A=\left( a_{ij}\right) \in M_{n,n}\left( \mathbb{R} \right) \)の行番号と列番号が一致する成分\begin{equation*}a_{11},\cdots ,a_{nn}
\end{equation*}を総称して\(A\)の対角成分(diagonal elements)と呼びます。また、対角成分の集まりを対角線(diagonal)や主対角線(main diagonal)などと呼びます。一方、対角成分ではない成分を非対角成分(non-diagonal elements)と呼びます。定義より、正方行列\(A\)の対角成分は下図において\(\ast \)が記されている成分です。それ以外のすべての成分は非対角成分です。\begin{equation*}A=\begin{pmatrix}
a_{11}^{\ast } & \cdots & a_{1n} \\
\cdots & \cdots & \cdots \\
a_{n1} & \cdots & a_{nn}^{\ast }\end{pmatrix}\end{equation*}

正方行列\(A=\left( a_{ij}\right) \in M_{n,n}\left( \mathbb{R} \right) \)の非対角成分がすべて\(0\)である場合には、つまり、\begin{equation*}\forall i,j\in \left\{ 1,\cdots ,n\right\} :\left( i\not=j\Rightarrow
a_{ij}=0\right)
\end{equation*}が成り立つ場合には、\(A\)を対角行列(diagonalmatrix)と呼びます。定義より、対角行列\(A\)を、\begin{equation*}A=\begin{pmatrix}
a_{11} & \cdots & 0 \\
\vdots & \ddots & \vdots \\
0 & \cdots & a_{nn}\end{pmatrix}\end{equation*}と表記できます。次数\(n\)の対角行列を特定するためには\(n\)個の対角成分を指定すれば十分であるため、それを、\begin{equation*}\mathrm{diag}\left( a_{1},\cdots ,a_{n}\right) =\begin{pmatrix}
a_{1} & \cdots & 0 \\
\vdots & \ddots & \vdots \\
0 & \cdots & a_{n}\end{pmatrix}\end{equation*}と表記することもできます。

例(対角行列)
次数\(2\)の対角行列は、\begin{equation*}\mathrm{diag}\left( a_{1},a_{2}\right) =\begin{pmatrix}
a_{1} & 0 \\
0 & a_{2}\end{pmatrix}\end{equation*}です。具体例を挙げると、\begin{eqnarray*}
\mathrm{diag}\left( 1,-1\right) &=&\begin{pmatrix}
1 & 0 \\
0 & -1\end{pmatrix}
\\
\mathrm{diag}\left( 3,\frac{1}{2}\right) &=&\begin{pmatrix}
3 & 0 \\
0 & \frac{1}{2}\end{pmatrix}
\\
\mathrm{diag}\left( 0,0\right) &=&\begin{pmatrix}
0 & 0 \\
0 & 0\end{pmatrix}\end{eqnarray*}などはいずれも対角行列です。

例(対角行列)
次数\(3\)の対角行列は、\begin{equation*}\mathrm{diag}\left( a_{1},a_{2},a_{3}\right) =\begin{pmatrix}
a_{1} & 0 & 0 \\
0 & a_{2} & 0 \\
0 & 0 & a_{3}\end{pmatrix}\end{equation*}です。具体例を挙げると、\begin{eqnarray*}
\mathrm{diag}\left( 1,3,-5\right) &=&\begin{pmatrix}
1 & 0 & 0 \\
0 & 3 & 0 \\
0 & 0 & -5\end{pmatrix}
\\
\mathrm{diag}\left( 4,\frac{1}{2},-1\right) &=&\begin{pmatrix}
4 & 0 & 0 \\
0 & \frac{1}{2} & 0 \\
0 & 0 & -1\end{pmatrix}
\\
\mathrm{diag}\left( 0,0,0\right) &=&\begin{pmatrix}
0 & 0 & 0 \\
0 & 0 & 0 \\
0 & 0 & 0\end{pmatrix}\end{eqnarray*}などはいずれも対角行列です。

例(単位行列)
単位行列\(I_{n}\in M_{n,n}\left( \mathbb{R} \right) \)は、\begin{equation*}I_{n}=\begin{pmatrix}
1 & \cdots & 0 \\
\vdots & \ddots & \vdots \\
0 & \cdots & 1\end{pmatrix}\end{equation*}と定義されますが、これは対角行列であり、以下の関係\begin{equation*}
I_{n}=\mathrm{diag}\left( 1,\cdots ,1\right)
\end{equation*}が成り立ちます。

例(ゼロ行列)
ゼロ行列\(0\in M_{n,n}\left( \mathbb{R} \right) \)は、\begin{equation*}0=\begin{pmatrix}
0 & \cdots & 0 \\
\vdots & \ddots & \vdots \\
0 & \cdots & 0\end{pmatrix}\end{equation*}と定義されますが、これは対角行列であり、以下の関係\begin{equation*}
0=\mathrm{diag}\left( 0,\cdots ,0\right)
\end{equation*}が成り立ちます。

対角行列は正則であり、逆行列は以下のように定まります。

命題(対角行列の逆行列)
実行列空間\(M_{n,n}\left( \mathbb{R} \right) \)上の対角行列\begin{equation*}D=\mathrm{diag}\left( a_{1},\cdots ,a_{n}\right) =\begin{pmatrix}
a_{1} & \cdots & 0 \\
\vdots & \ddots & \vdots \\
0 & \cdots & a_{n}\end{pmatrix}\end{equation*}を任意に選ぶ。このとき、\begin{equation*}
\forall i\in \left\{ 1,\cdots ,n\right\} :a_{i}\not=0
\end{equation*}が成り立つならば\(D\)は正則行列であるとともに、その逆行列は、\begin{equation*}D^{-1}=\mathrm{diag}\left( \frac{1}{a_{1}},\cdots ,\frac{1}{a_{n}}\right) =\begin{pmatrix}
\frac{1}{a_{1}} & \cdots & 0 \\
\vdots & \ddots & \vdots \\
0 & \cdots & \frac{1}{a_{n}}\end{pmatrix}\end{equation*}となる。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

 

対角行列によって特徴づけられる線形変換

対角行列は正方行列であるため、対角行列もまた線形変換と同一視できます。では、対角行列によって表現される線形変換はどのような特徴を備えているのでしょうか。具体例を提示した後に結論を一般化します。

例(対角行列によって特徴づけられる線形変換)
以下の正方行列\begin{equation*}
A=\begin{pmatrix}
3 & 0 \\
0 & 2\end{pmatrix}\end{equation*}は対角行列です。この対角行列\(A\)を標準行列として持つ線形変換\(f_{A}:\mathbb{R} ^{2}\rightarrow \mathbb{R} ^{2}\)に列ベクトル\(\boldsymbol{x}\in \mathbb{R} ^{2}\)を入力すると、以下の列ベクトル\begin{eqnarray*}f_{A}\left( \boldsymbol{x}\right) &=&A\boldsymbol{x} \\
&=&\left(
\begin{array}{c}
\mathrm{row}\left( A,1\right) \\
\mathrm{row}\left( A,2\right)
\end{array}\right) \left(
\begin{array}{c}
x_{1} \\
x_{2}\end{array}\right) \\
&=&x_{1}\mathrm{row}\left( A,1\right) +x_{2}\mathrm{row}\left( A,2\right) \\
&=&x_{1}f_{A}\left( \boldsymbol{e}_{1}\right) +x_{2}f_{A}\left( \boldsymbol{e}_{2}\right)
\end{eqnarray*}すなわち、\begin{equation}
f_{A}\left( \boldsymbol{x}\right) =x_{1}f_{A}\left( \boldsymbol{e}_{1}\right) +x_{2}f_{A}\left( \boldsymbol{e}_{2}\right) \quad \cdots (1)
\end{equation}が出力されます。したがって、\(f_{A}\)の形状は標準基底ベクトル\(\boldsymbol{e}_{1},\boldsymbol{e}_{2}\)を入力したときに出力されるベクトル\(f_{A}\left( \boldsymbol{e}_{1}\right),f_{A}\left( \boldsymbol{e}_{2}\right) \)によって集約的に表現されますが、具体的には、\begin{eqnarray}f_{A}\left( \boldsymbol{e}_{1}\right) &=&\begin{pmatrix}
3 & 0 \\
0 & 2\end{pmatrix}\left(
\begin{array}{c}
1 \\
0\end{array}\right) =\left(
\begin{array}{c}
3 \\
0\end{array}\right) =3\boldsymbol{e}_{1} \quad \cdots (2) \\
f_{A}\left( \boldsymbol{e}_{2}\right) &=&\begin{pmatrix}
3 & 0 \\
0 & 2\end{pmatrix}\left(
\begin{array}{c}
0 \\
1\end{array}\right) =\left(
\begin{array}{c}
0 \\
2\end{array}\right) =2\boldsymbol{e}_{2} \quad \cdots (3)
\end{eqnarray}となります。つまり、\(f_{A}\)に標準基底ベクトル\(\boldsymbol{e}_{i}\)を入力するとスカラー倍\(a_{i}\boldsymbol{e}_{i}\)が出力されるため、入力したベクトルと出力されるベクトルの対応関係を容易に把握できます。具体的には、\(\left( 1\right) ,\left( 2\right) ,\left(3\right) \)より以下の関係\begin{equation*}f_{A}\left( \boldsymbol{x}\right) =x_{1}\left( 3\boldsymbol{e}_{1}\right)
+x_{2}\left( 2\boldsymbol{e}_{2}\right)
\end{equation*}が成り立ちます。ちなみに、基底を、\begin{equation*}
v=\left\{ 3\boldsymbol{e}_{1},2\boldsymbol{e}_{2}\right\} =\left\{
f_{A}\left( \boldsymbol{e}_{1}\right) ,f_{A}\left( \boldsymbol{e}_{2}\right)
\right\}
\end{equation*}へと変換すれば、入力したベクトルがそのまま出力されるベクトルの座標と一致します。以下で確認します。基底を\(v\)から\(e\)へ変換した場合の座標の変換行列は、\begin{eqnarray*}C_{v\rightarrow e} &=&\left( \boldsymbol{v}_{1},\boldsymbol{v}_{2}\right) \\
&=&\left( f_{A}\left( \boldsymbol{e}_{1}\right) ,f_{A}\left( \boldsymbol{e}_{2}\right) \right) \\
&=&A
\end{eqnarray*}であるため、\(v\)のもとでの\(f_{A}\)の行列表現は、\begin{eqnarray*}\left[ A\right] _{v} &=&C_{v\rightarrow e}^{-1}AC_{v\rightarrow e} \\
&=&A^{-1}AA \\
&=&I_{n}A \\
&=&A
\end{eqnarray*}となります。線形変換\(f_{\left[ A\right] _{v}}:\mathbb{R} ^{2}\rightarrow \mathbb{R} ^{2}\)に\(v\)のもとでの座標ベクトルである、\begin{eqnarray*}\left[ \boldsymbol{x}\right] _{v} &=&C_{e\rightarrow v}\boldsymbol{x} \\
&=&A^{-1}\left(
\begin{array}{c}
x_{1} \\
x_{2}\end{array}\right) \\
&=&\begin{pmatrix}
\frac{1}{3} & 0 \\
0 & \frac{1}{2}\end{pmatrix}\left(
\begin{array}{c}
x_{1} \\
x_{2}\end{array}\right) \\
&=&\left(
\begin{array}{c}
\frac{1}{3}x_{1} \\
\frac{1}{2}x_{2}\end{array}\right)
\end{eqnarray*}を入力すると、同じく\(v\)のもとでの座標ベクトルである、\begin{eqnarray*}f_{\left[ A\right] _{v}}\left( \left[ \boldsymbol{x}\right] _{v}\right) &=&\left[ A\right] _{v}\left[ \boldsymbol{x}\right] _{v} \\
&=&A\left[ \boldsymbol{x}\right] _{v} \\
&=&AA^{-1}\left(
\begin{array}{c}
x_{1} \\
x_{2}\end{array}\right) \\
&=&I_{2}\left(
\begin{array}{c}
x_{1} \\
x_{2}\end{array}\right) \\
&=&\left(
\begin{array}{c}
x_{1} \\
x_{2}\end{array}\right) \\
&=&\frac{1}{3}x_{1}\left(
\begin{array}{c}
3 \\
0\end{array}\right) +\frac{1}{2}x_{2}\left(
\begin{array}{c}
0 \\
2\end{array}\right) \\
&=&\left( \frac{1}{3}x_{1}\right) \boldsymbol{v}_{1}+\left( \frac{1}{2}x_{2}\right) \boldsymbol{v}_{2}
\end{eqnarray*}が出力されます。入力したベクトルがそのまま出力されるベクトルの座標と一致しています。

線形写像を特徴づける正方行列が対角行列ではない場合、入力したベクトルと出力されるベクトルの対応関係を把握するのが困難です。

例(非対角行列によって特徴づけられる線形変換)
以下の正方行列\begin{equation*}
A=\begin{pmatrix}
3 & 1 \\
1 & 2\end{pmatrix}\end{equation*}は対角行列ではありません。この対角行列\(A\)を標準行列として持つ線形変換\(f_{A}:\mathbb{R} ^{2}\rightarrow \mathbb{R} ^{2}\)に列ベクトル\(\boldsymbol{x}\in \mathbb{R} ^{2}\)を入力すると、以下の列ベクトル\begin{eqnarray*}f_{A}\left( \boldsymbol{x}\right) &=&A\boldsymbol{x} \\
&=&\left(
\begin{array}{c}
\mathrm{row}\left( A,1\right) \\
\mathrm{row}\left( A,2\right)
\end{array}\right) \left(
\begin{array}{c}
x_{1} \\
x_{2}\end{array}\right) \\
&=&x_{1}\mathrm{row}\left( A,1\right) +x_{2}\mathrm{row}\left( A,2\right) \\
&=&x_{1}f_{A}\left( \boldsymbol{e}_{1}\right) +x_{2}f_{A}\left( \boldsymbol{e}_{2}\right)
\end{eqnarray*}すなわち、\begin{equation}
f_{A}\left( \boldsymbol{x}\right) =x_{1}f_{A}\left( \boldsymbol{e}_{1}\right) +x_{2}f_{A}\left( \boldsymbol{e}_{2}\right) \quad \cdots (1)
\end{equation}が出力されます。したがって、\(f_{A}\)の形状は標準基底ベクトル\(\boldsymbol{e}_{1},\boldsymbol{e}_{2}\)を入力したときに出力されるベクトル\(f_{A}\left( \boldsymbol{e}_{1}\right),f_{A}\left( \boldsymbol{e}_{2}\right) \)によって集約的に表現されますが、具体的には、\begin{eqnarray}f_{A}\left( \boldsymbol{e}_{1}\right) &=&\begin{pmatrix}
3 & 1 \\
1 & 2\end{pmatrix}\left(
\begin{array}{c}
1 \\
0\end{array}\right) =\left(
\begin{array}{c}
3 \\
1\end{array}\right) =3\boldsymbol{e}_{1}+\boldsymbol{e}_{2} \quad \cdots (2) \\
f_{A}\left( \boldsymbol{e}_{2}\right) &=&\begin{pmatrix}
3 & 1 \\
1 & 2\end{pmatrix}\left(
\begin{array}{c}
0 \\
1\end{array}\right) =\left(
\begin{array}{c}
1 \\
2\end{array}\right) =\boldsymbol{e}_{1}+2\boldsymbol{e}_{2} \quad \cdots (3)
\end{eqnarray}となります。つまり、\(f_{A}\)に標準基底ベクトル\(\boldsymbol{e}_{i}\)を入力したときに出力されるベクトルは\(\boldsymbol{e}_{i}\)のスカラー倍\(a_{i}\boldsymbol{e}_{i}\)ではないため、入力したベクトルと出力されるベクトルの対応関係を把握するのが困難です。

議論を一般化します。対角行列\(D\in M_{n,n}\left( \mathbb{R} \right) \)が与えられている状況を想定します。対角行列は正方行列であるため、これは\(D\)を標準行列とする線形変換\begin{equation*}f_{D}:\mathbb{R} ^{n}\rightarrow \mathbb{R} ^{n}
\end{equation*}と同一視されます。つまり、\begin{equation}
D=\left( f_{D}\left( \boldsymbol{e}_{1}\right) ,\cdots ,f_{D}\left(
\boldsymbol{e}_{n}\right) \right) =\mathrm{diag}\left( a_{1},\cdots
,a_{n}\right) \quad \cdots (1)
\end{equation}です。この線形変換\(f_{D}\)に列ベクトル\(\boldsymbol{x}\in \mathbb{R} ^{n}\)を入力すると、以下の列ベクトル\begin{eqnarray*}f_{D}\left( \boldsymbol{x}\right) &=&D\boldsymbol{x} \\
&=&\left(
\begin{array}{c}
\mathrm{row}\left( D,1\right) \\
\vdots \\
\mathrm{row}\left( D,n\right)
\end{array}\right) \left(
\begin{array}{c}
x_{1} \\
\vdots \\
x_{n}\end{array}\right) \\
&=&x_{1}\mathrm{row}\left( D,1\right) +\cdots +x_{n}\mathrm{row}\left(
D,n\right) \\
&=&x_{1}f_{D}\left( \boldsymbol{e}_{1}\right) +\cdots +x_{n}f_{D}\left(
\boldsymbol{e}_{n}\right)
\end{eqnarray*}すなわち、\begin{equation}
f_{D}\left( \boldsymbol{x}\right) =x_{1}f_{D}\left( \boldsymbol{e}_{1}\right) +\cdots +x_{n}f_{D}\left( \boldsymbol{e}_{n}\right) \quad \cdots (2)
\end{equation}が出力されます。したがって、\(f_{D}\)の形状は標準基底ベクトル\(\boldsymbol{e}_{1},\cdots ,\boldsymbol{e}_{n}\)を入力したときに出力されるベクトル\(f_{D}\left( \boldsymbol{e}_{1}\right) ,\cdots ,f_{D}\left( \boldsymbol{e}_{n}\right) \)によって集約的に表現されますが、具体的には、\(\left( 1\right) \)より、\begin{gather*}f_{D}\left( \boldsymbol{e}_{1}\right) =\left(
\begin{array}{c}
a_{1} \\
\vdots \\
0\end{array}\right) =a_{1}\boldsymbol{e}_{1} \\
\vdots \\
f_{D}\left( \boldsymbol{e}_{n}\right) =\left(
\begin{array}{c}
0 \\
\vdots \\
a_{n}\end{array}\right) =a_{n}\boldsymbol{e}_{n}
\end{gather*}すなわち、\begin{equation}
\forall i\in \left\{ 1,2,\cdots n\right\} :f_{D}\left( \boldsymbol{e}_{i}\right) =a_{i}\boldsymbol{e}_{i} \quad \cdots (3)
\end{equation}となります。つまり、\(f_{A}\)に標準基底ベクトル\(\boldsymbol{e}_{i}\)を入力するとスカラー倍\(a_{i}\boldsymbol{e}_{i}\)が出力されるため、入力したベクトルと出力されるベクトルの対応関係を容易に把握できます。具体的には、\(\left( 2\right) ,\left( 3\right) \)より以下の関係\begin{equation*}f_{D}\left( \boldsymbol{x}\right) =x_{1}a_{1}\boldsymbol{e}_{1}+\cdots
+x_{n}a_{n}\boldsymbol{e}_{n}
\end{equation*}が成り立ちます。

ちなみに、基底を、\begin{equation*}
v=\left\{ a_{1}\boldsymbol{e}_{1},\cdots ,a_{n}\boldsymbol{e}_{n}\right\}
=\left\{ f_{D}\left( \boldsymbol{e}_{1}\right) ,\cdots ,f_{D}\left(
\boldsymbol{e}_{n}\right) \right\}
\end{equation*}へと変換すれば、入力したベクトルがそのまま出力されるベクトルの座標と一致します。実際、座標の変換行列は、\begin{eqnarray*}
C_{v\rightarrow e} &=&\left( \boldsymbol{v}_{1},\cdots ,\boldsymbol{v}_{n}\right) \\
&=&\left( f_{D}\left( \boldsymbol{e}_{1}\right) ,\cdots ,f_{D}\left(
\boldsymbol{e}_{n}\right) \right) \\
&=&D
\end{eqnarray*}であるため、\(v\)のもとでの\(f_{D}\)の行列表現は、\begin{eqnarray*}\left[ D\right] _{v} &=&C_{v\rightarrow e}^{-1}DC_{v\rightarrow e} \\
&=&D^{-1}DD \\
&=&I_{n}D \\
&=&D
\end{eqnarray*}となります。線形変換\(f_{\left[ D\right] _{v}}:\mathbb{R} ^{2}\rightarrow \mathbb{R} ^{2}\)に\(v\)のもとでの座標ベクトルである、\begin{eqnarray*}\left[ \boldsymbol{x}\right] _{v} &=&C_{e\rightarrow v}\boldsymbol{x} \\
&=&D^{-1}\boldsymbol{x} \\
&=&\left(
\begin{array}{c}
\frac{1}{a_{1}}x_{1} \\
\vdots \\
\frac{1}{a_{n}}x_{n}\end{array}\right)
\end{eqnarray*}を入力すると、同じく\(v\)のもとでの座標ベクトルである、\begin{eqnarray*}f_{\left[ D\right] _{v}}\left( \left[ \boldsymbol{x}\right] _{v}\right) &=&\left[ D\right] _{v}\left[ \boldsymbol{x}\right] _{v} \\
&=&D\left[ \boldsymbol{x}\right] _{v} \\
&=&DD^{-1}\boldsymbol{x} \\
&=&I_{n}\boldsymbol{x} \\
&=&\boldsymbol{x} \\
&=&\frac{1}{a_{1}}x_{1}\left( a_{1}\boldsymbol{e}_{1}\right) +\cdots +\frac{1}{a_{n}}x_{n}\left( a_{n}\boldsymbol{e}_{n}\right) \\
&=&\left( \frac{1}{a_{1}}x_{1}\right) \boldsymbol{v}_{1}+\cdots +\left(
\frac{1}{a_{n}}x_{n}\right) \boldsymbol{v}_{n}
\end{eqnarray*}が出力されます。入力したベクトルがそのまま出力されるベクトルの座標と一致していることを確認できました。

 

対角化可能な正方行列

正方行列\(A\in M_{n,n}\left( \mathbb{R} \right) \)が何らかの対角行列と相似である場合には、すなわち、以下の条件\begin{equation*}A=P^{-1}DP
\end{equation*}を満たす対角行列\(D\in M_{n,n}\left( \mathbb{R} \right) \)と正則行列\(P\in M_{n,n}\left( \mathbb{R} \right) \)が存在する場合には、\(A\)は対角化可能(diagonalizable)であると言います。

正方行列が対角化可能であることの意味は後ほど解説することとして、まずは具体例を提示します。

例(対角化可能な正方行列)
以下の正方行列\begin{equation*}
A=\begin{pmatrix}
3 & 0 \\
0 & 1\end{pmatrix}\end{equation*}は対角化可能です。実際、\(A\)自身が正則行列であることに加えて、単位行列\begin{equation*}I_{2}=\begin{pmatrix}
1 & 0 \\
0 & 1\end{pmatrix}\end{equation*}は正則行列であり、これらは、\begin{equation*}
A=I_{2}^{-1}AI_{2}
\end{equation*}を満たすからです。この例が示唆するように、対角行列は明らかに対角化可能です。

正方行列は対角化可能であるとは限りません。正方行列\(A\in M_{n,n}\left( \mathbb{R} \right) \)が対角化可能ではない場合、\(A\)は対角化不可能(non-diagonalizable)であると言います。これは、対角行列\(D\in M_{n,n}\left( \mathbb{R} \right) \)を任意に選んだ場合、任意の正則行列\(P\in M_{n,n}\left( \mathbb{R} \right) \)について、\begin{equation*}A\not=P^{-1}DP
\end{equation*}が成り立つことを意味します。

例(対角化不可能な正方行列)
非ゼロのスカラー\(a\in \mathbb{R} \backslash \left\{ 0\right\} \)を任意に選んだとき、以下の正方行列\begin{equation*}A=\begin{pmatrix}
0 & a \\
0 & 0\end{pmatrix}\end{equation*}は対角化不可能です(演習問題)。

 

正方行列が対角化可能であることの利点

正方行列どうしが同値であることを特徴づける先の命題を踏まえると、正方行列が対角化可能であることを以下のように表現することもできます。

命題(対角化可能性の特徴づけ)
正方行列\(A\in M_{n,n}\left( \mathbb{R} \right) \)を任意に選んだとき、実ベクトル空間\(\mathbb{R} ^{n}\)における何らかの基底\(v\)のもとで、\begin{equation*}\left[ A\right] _{v}=C_{v\rightarrow e}^{-1}AC_{v\rightarrow e}
\end{equation*}が対角行列になることは、\(A\)が対角化可能であるための必要十分条件である。
証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

正方行列\(A\in M_{n,n}\left( \mathbb{R} \right) \)が与えられているものとします。これは\(A\)を標準行列とする線形変換\(f_{A}:\mathbb{R} ^{n}\rightarrow \mathbb{R} ^{n}\)と同一視されます。\(A\)が対角行列ではない場合、先に例を通じて確認したように、\(f_{A}\)に標準基底ベクトル\(\boldsymbol{e}_{i}\)を入力したときに出力されるベクトルは\(\boldsymbol{e}_{i}\)のスカラー倍ではないため、入力したベクトルと出力されるベクトルの対応関係を把握するのが困難です。ただし、正方行列\(A\)が対角化可能である場合には工夫の余地があります。

実際、正方行列\(A\)が対角化可能である場合、先の命題より、適当な基底\(v\)を選べば対角行列\begin{equation*}\left[ A\right] _{v}=C_{v\rightarrow e}^{-1}AC_{v\rightarrow e}=\mathrm{diag}\left( a_{1},\cdots ,a_{n}\right)
\end{equation*}が得られます。このとき、\begin{equation*}
C_{v\rightarrow e}\left[ A\right] _{v}C_{v\rightarrow
e}^{-1}=C_{v\rightarrow e}C_{v\rightarrow e}^{-1}AC_{v\rightarrow
e}C_{v\rightarrow e}^{-1}
\end{equation*}すなわち、\begin{equation*}
C_{v\rightarrow e}\left[ A\right] _{v}C_{v\rightarrow e}^{-1}=I_{n}AI_{n}
\end{equation*}すなわち、\begin{equation*}
A=C_{v\rightarrow e}\left[ A\right] _{v}C_{v\rightarrow e}^{-1}
\end{equation*}すなわち、\begin{equation*}
A=C_{e\rightarrow v}^{-1}\left[ A\right] _{v}C_{e\rightarrow v}
\end{equation*}を得ます。したがって、線形変換\(f_{A}\)は、正方行列\(C_{e\rightarrow v}^{-1}\left[ A\right]_{v}C_{e\rightarrow v}\)を標準行列として持つ線形変換\begin{equation*}f_{C_{e\rightarrow v}^{-1}\left[ A\right] _{v}C_{e\rightarrow v}}:\mathbb{R} ^{n}\rightarrow \mathbb{R} ^{n}
\end{equation*}と一致します。この線形変換は\(f_{A}\)と一致するため、入出力するベクトルは標準基底\(e\)のもとでの座標ベクトルです。この線形変換にベクトル\(\boldsymbol{x}=\left[ \boldsymbol{x}\right] _{e}\in \mathbb{R} ^{n}\)を入力すると、以下のベクトル\begin{equation*}f_{C_{e\rightarrow v}^{-1}\left[ A\right] _{v}C_{e\rightarrow v}}\left(
\boldsymbol{x}\right) =C_{e\rightarrow v}^{-1}\left[ A\right] _{v}C_{e\rightarrow v}\boldsymbol{x}
\end{equation*}が出力されます。特に、基底\(v\)の要素である基底ベクトル\(\boldsymbol{v}_{i}=\left[ \boldsymbol{v}_{i}\right] _{e}\in \mathbb{R} ^{n}\)を入力すると、\begin{eqnarray*}f_{C_{e\rightarrow v}^{-1}\left[ A\right] _{v}C_{e\rightarrow v}}\left(
\boldsymbol{v}_{i}\right) &=&C_{e\rightarrow v}^{-1}\left[ A\right] _{v}C_{e\rightarrow v}\boldsymbol{v}_{i} \\
&=&C_{e\rightarrow v}^{-1}\left[ A\right] _{v}\boldsymbol{e}_{i} \\
&=&C_{e\rightarrow v}^{-1}a_{i}\boldsymbol{e}_{i} \\
&=&a_{i}C_{e\rightarrow v}^{-1}\boldsymbol{e}_{i} \\
&=&a_{i}\boldsymbol{v}_{i}
\end{eqnarray*}が出力されますが、\(f_{C_{e\rightarrow v}^{-1}\left[ A\right] _{v}C_{e\rightarrow v}}\)は\(f_{A}\)と一致するため、\begin{equation*}f_{A}\left( \boldsymbol{v}_{i}\right) =a_{i}\boldsymbol{v}_{i}
\end{equation*}を得ます。

以上の事実は、\(f_{A}\)に入出力するベクトルを基底\(v\)のもとでの座標ベクトルにすれば、\(f_{A}\)に入力したベクトルと出力されるベクトルの対応関係を容易に把握できることを意味します。実際、基底\(v\)のもとでの座標ベクトル\(\left[ \boldsymbol{x}\right]_{v}\in \mathbb{R} ^{n}\)が与えられたとき、これは基底\(v\)を構成する基底ベクトル\(\boldsymbol{v}_{1},\cdots ,\boldsymbol{v}_{n}\)の線型結合\begin{equation*}\left[ \boldsymbol{x}\right] _{v}=b_{1}\boldsymbol{v}_{1}+\cdots +b_{n}\boldsymbol{v}_{n}
\end{equation*}として表現されるため、これを\(f_{A}\)に入力すると、\begin{eqnarray*}f_{A}\left( \left[ \boldsymbol{x}\right] _{v}\right) &=&f_{A}\left( b_{1}\boldsymbol{v}_{1}+\cdots +b_{n}\boldsymbol{v}_{n}\right) \\
&=&b_{1}f_{A}\left( \boldsymbol{v}_{1}\right) +\cdots +b_{n}f_{A}\left(
\boldsymbol{v}_{n}\right) \quad \because f_{A}\text{は線形変換} \\
&=&b_{1}a_{1}\boldsymbol{v}_{1}+\cdots +b_{n}a_{n}\boldsymbol{v}_{n}\quad
\because f_{A}\left( \boldsymbol{v}_{i}\right) =a_{i}\boldsymbol{v}_{i}
\end{eqnarray*}を得ます。

例(正方行列が対角化可能であることの利点)
以下の正方行列\begin{equation*}
A=\begin{pmatrix}
3 & 1 \\
0 & 2\end{pmatrix}\end{equation*}は対角行列ではありません。ただ、この正方行列\(A\)は対角化可能です。実際、以下の基底\begin{equation*}v=\left\{ \left(
\begin{array}{c}
1 \\
0\end{array}\right) ,\left(
\begin{array}{c}
-1 \\
1\end{array}\right) \right\}
\end{equation*}に注目したとき、基底を\(v\)から\(e\)へ変換した場合の座標の変換行列は、\begin{eqnarray*}C_{v\rightarrow e} &=&\left( \boldsymbol{v}_{1},\boldsymbol{v}_{2}\right) \\
&=&\begin{pmatrix}
1 & -1 \\
0 & 1\end{pmatrix}\end{eqnarray*}であり、その逆行列は、\begin{eqnarray*}
C_{v\rightarrow e}^{-1} &=&\begin{pmatrix}
1 & -1 \\
0 & 1\end{pmatrix}^{-1} \\
&=&\begin{pmatrix}
1 & 1 \\
0 & 1\end{pmatrix}\end{eqnarray*}であるため、\(v\)のもとでの\(f_{A}\)の行列表現は、\begin{eqnarray*}\left[ A\right] _{v} &=&C_{v\rightarrow e}^{-1}AC_{v\rightarrow e} \\
&=&\begin{pmatrix}
1 & 1 \\
0 & 1\end{pmatrix}\begin{pmatrix}
3 & 1 \\
0 & 2\end{pmatrix}\begin{pmatrix}
1 & -1 \\
0 & 1\end{pmatrix}
\\
&=&\begin{pmatrix}
3 & 0 \\
0 & 2\end{pmatrix}\end{eqnarray*}となりますが、これは対角行列であるため\(A\)は対角化可能です。さらにこのとき、\begin{equation*}A=C_{v\rightarrow e}\left[ A\right] _{v}C_{v\rightarrow e}^{-1}
\end{equation*}となるため、線形変換\(f_{C_{v\rightarrow e}\left[ A\right] _{v}C_{v\rightarrow e}^{-1}}\)は線形変換\(f_{A}\)と一致します。そこで、\(f_{A}\)に対して基底\(v\)の要素である基底ベクトル\(\boldsymbol{v}_{1},\boldsymbol{v}_{2}\)を入力すると、\begin{eqnarray*}f_{A}\left( \boldsymbol{v}_{1}\right) &=&A\boldsymbol{v}_{1} \\
&=&\begin{pmatrix}
3 & 1 \\
0 & 2\end{pmatrix}\left(
\begin{array}{c}
1 \\
0\end{array}\right) \\
&=&\left(
\begin{array}{c}
3 \\
0\end{array}\right) \\
&=&3\boldsymbol{v}_{1}
\end{eqnarray*}および、\begin{eqnarray*}
f_{A}\left( \boldsymbol{v}_{2}\right) &=&A\boldsymbol{v}_{2} \\
&=&\begin{pmatrix}
3 & 1 \\
0 & 2\end{pmatrix}\left(
\begin{array}{c}
-1 \\
1\end{array}\right) \\
&=&\left(
\begin{array}{c}
-2 \\
2\end{array}\right) \\
&=&-2\boldsymbol{v}_{2}
\end{eqnarray*}が出力されるため、\(f_{A}\)に入出力するベクトルを基底\(v\)のもとでの座標ベクトルにすれば、\(f_{A}\)に入力したベクトルと出力されるベクトルの対応関係を容易に把握できます。

 

演習問題

問題(対角化可能性)
以下の正方行列\begin{equation*}
A=\begin{pmatrix}
1 & 0 \\
0 & 2\end{pmatrix}\end{equation*}は対角化可能でしょうか。議論してください。

解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(対角化不可能な正方行列)
非ゼロのスカラー\(a\in \mathbb{R} \backslash \left\{ 0\right\} \)を任意に選んだとき、以下の正方行列\begin{equation*}A=\begin{pmatrix}
0 & a \\
0 & 0\end{pmatrix}\end{equation*}は対角化不可能であることを示してください。

解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

関連知識

Mailで保存
Xで共有

質問とコメント

プレミアム会員専用コンテンツです

会員登録

有料のプレミアム会員であれば、質問やコメントの投稿と閲覧、プレミアムコンテンツ(命題の証明や演習問題とその解答)へのアクセスなどが可能になります。

ワイズのユーザーは年齢・性別・学歴・社会的立場などとは関係なく「学ぶ人」として対等であり、お互いを人格として尊重することが求められます。ユーザーが快適かつ安心して「学ぶ」ことに集中できる環境を整備するため、広告やスパム投稿、他のユーザーを貶めたり威圧する発言、学んでいる内容とは関係のない不毛な議論などはブロックすることになっています。詳細はガイドラインをご覧ください。

誤字脱字、リンク切れ、内容の誤りを発見した場合にはコメントに投稿するのではなく、以下のフォームからご連絡をお願い致します。

プレミアム会員専用コンテンツです
ログイン】【会員登録