正規行列の対角化可能性 のバックアップの現在との差分(No.2)

更新


  • 追加された行はこの色です。
  • 削除された行はこの色です。
[[線形代数Ⅱ]]
[[線形代数II/固有値問題・固有空間・スペクトル分解]]

#katex

* 正規行列 [#ua361752]

正規行列とは &math(A^\dagger A=A A^\dagger); を満たす行列 &math(A);
正規行列とは $A^\dagger A=A A^\dagger$ を満たす行列 $A$

ユニタリ行列により対角化可能であることと、正規行列であることとは同値である。

すなわち、

- ユニタリ行列により対角化可能であれば正規行列
- 正規行列であればユニタリ行列により対角化可能
- ユニタリ行列により対角化可能であれば正規行列である
- 正規行列であればユニタリ行列により対角化可能である

の両方が証明可能。
の両方が証明可能。以下、やってみる。

* ユニタリ行列により対角化可能であれば正規行列 [#p2b1755b]
** 復習 [#x1856935]

&math(U); をユニタリ行列 (&math(U^\dagger=U^{-1});)、
&math(\Lambda); を対角行列として(&math(\Lambda); は &math(\lambda); の大文字)、
エルミート共役(随伴行列) $A^\dagger$ は $\overline{{}^t\! A}$ のことで、
転置行列の複素共役。転置行列 ${}^t\!A$ の複素数版と考えると良い。

&math(
同様に、ユニタリ行列 $A^\dagger=A^{-1}$ は直交行列 ${}^t\!A=A^{-1}$ の複素数版。

* ユニタリ行列により対角化可能であれば正規行列である [#p2b1755b]

$U$ をユニタリ行列 ($U^\dagger=U^{-1}$)、
$\Lambda$ を対角行列として($\Lambda$ は $\lambda$ の大文字)、

$$
U^\dagger A U=\Lambda=
\begin{pmatrix}
\lambda_1\\ 
&\lambda_2\\
&&\ddots\\
&&&\lambda_n
\end{pmatrix});
\end{pmatrix}
$$

が成り立つとき、
が成り立つとき、$A=U\Lambda U^\dagger$ と書けるから、

&math(A=U\Lambda U^\dagger); より、

&math(
$$
A^\dagger=(U\Lambda U^\dagger)^\dagger=U\Lambda^\dagger U^\dagger=U\overline{\Lambda}U^\dagger
);
\hspace{5mm}(\text{対角行列なので}\ {}^t\!\Lambda=\Lambda)
$$

したがって、

&math(AA^\dagger=U\Lambda U^\dagger U\overline{\Lambda} U^\dagger=U\Lambda \overline{\Lambda} U^\dagger);
$$AA^\dagger=U\Lambda U^\dagger U\overline{\Lambda} U^\dagger=U\Lambda \overline{\Lambda} U^\dagger$$

&math(A^\dagger A=U\overline{\Lambda} U^\dagger U\Lambda U^\dagger=U\overline{\Lambda} \Lambda U^\dagger);
$$A^\dagger A=U\overline{\Lambda} U^\dagger U\Lambda U^\dagger=U\overline{\Lambda} \Lambda U^\dagger$$

ここで、

&math(
$$
\Lambda \overline{\Lambda}=\overline{\Lambda}\Lambda=
\begin{pmatrix}
|\lambda_1|^2\\ 
&|\lambda_2|^2\\
&&\ddots\\
&&&|\lambda_n|^2
\end{pmatrix}
);
$$

であるから、&math(AA^\dagger=A^\dagger A); が証明された。
であるから、$AA^\dagger=A^\dagger A$ が証明された。

* 正規行列であればユニタリ行列により対角化可能 [#hbdaa52d]
* 正規行列であればユニタリ行列により対角化可能である [#hbdaa52d]

&math(A); を &math(n); 次元行列として、&math(n); に対する数学的帰納法を用いる。
$A$ を $n$ 次元行列として、$n$ に対する数学的帰納法を用いる。

(1) &math(n=1); のとき
(1) $n=1$ のとき

&math(A); は始めから対角行列なので、&math(U=E); と取れば &math(U^\dagger A U); は対角行列である。
任意の一次元行列 $A$ は始めから対角行列なので、
$U=E$ (単位行列)と取れば $U^\dagger A U$ は対角行列である。

(2) &math(n-1); 次元で成り立つとすれば &math(n); 次元でも成り立つことを証明する。
(2) $n-1$ 次元で成り立つとすれば $n$ 次元でも成り立つことを証明する。

&math(A\bm x_1=\lambda\bm x_1); を満たす &math(\lambda,\bm x_1); を、
任意の &math(A); に対して最低限1組は見つけられる。
$A\bm x_1=\lambda\bm x_1$ を満たす $\lambda,\bm x_1$ を、
任意の $A$ に対して最低限1組は見つけられる。

この &math(\bm x_1); に対して、&math(\bm x_1,\bm x_2,\dots,\bm_n); が正規直交系となるように
&math(\bm x_2,\dots,\bm x_n); を定めれば、
この $\bm x_1$ に対して、$\bm x_1,\bm x_2,\dots,\bm x_n$ が正規直交系となるように
$\bm x_2,\dots,\bm x_n$ を定めれば、

&math(U=\Bigg(\bm x_1\ \bm x_2\ \dots\ \bm_n\Bigg);
$$U=\Big(\bm x_1\ \bm x_2\ \dots\ \bm x_n\Big)$$

はユニタリ行列となる。~
(ユニタリ行列の列ベクトルは正規直交系であった)

&math(
$$
\begin{aligned}
U^\dagger AU&=U^\dagger \Bigg(
A\bm x_1\ A\bm x_2\ \dots\ A\bm x_n
\Bigg)\\
&= \begin{pmatrix}
\bm x_1^\dagger\\\bm x_2^\dagger\\\vdots\\\ \ \bm x_n^\dagger\ \ 
\end{pmatrix} \Bigg(
\lambda\bm x_1\ A\bm x_2\ \dots\ A\bm x_n
\Bigg)=\begin{pmatrix}
\ \lambda & \bm b^\dagger \\
\ \bm 0   & \ \rule{20pt}{0pt}\rule[-25pt]{0pt}{50pt}A'\rule[-25pt]{0pt}{50pt}\rule{20pt}{0pt}
\ \bm 0   & \ \hspace{20pt}\rule[-25pt]{0pt}{50pt}A'\rule[-25pt]{0pt}{50pt}\hspace{20pt}
\end{pmatrix}
);
\end{aligned}
$$

ここで、
- &math(\bm b^\dagger); は &math(n-1); 次元の横ベクトル
- &math(A'); は &math(n-1); 次元の正方ベクトル
- $\bm b^\dagger$ は $n-1$ 次元の横ベクトル
- $A'$ は $n-1$ 次元の正方ベクトル

で、中身は &math(A); や &math(U); によって決まる。
で、中身は $A$ や $U$ によって決まる。

ここまでは任意の行列 &math(A); に対して成り立つ話。~
ここで &math(A); が正規行列であるという条件を使う。
ここまでは任意の行列 $A$ に対して成り立つ話。~
ここで $A$ が正規行列であるという条件を使う。

&math(
$$
(U^\dagger AU)^\dagger=U^\dagger A^\dagger U = \begin{pmatrix}
\ \overline \lambda & {}^T\bm 0 \\
\ \bm b   & \ \rule{20pt}{0pt}\rule[-25pt]{0pt}{50pt}{A'}^\dagger\rule[-25pt]{0pt}{50pt}\rule{20pt}{0pt}
\ \overline \lambda & {}^t\bm 0 \\
\ \bm b   & \ \hspace{20pt}\rule[-25pt]{0pt}{50pt}{A'}^\dagger\rule[-25pt]{0pt}{50pt}\hspace{20pt}
\end{pmatrix}
);
$$

であるから、

&math(
$$
(U^\dagger A U)(U^\dagger A^\dagger U)=U^\dagger AA^\dagger U=\begin{pmatrix}
\ \lambda & \bm b^\dagger \\
\ \bm 0   & \ \rule{20pt}{0pt}\rule[-25pt]{0pt}{50pt}{A'}\rule[-25pt]{0pt}{50pt}\rule{20pt}{0pt}
\ \bm 0   & \ \hspace{20pt}\rule[-25pt]{0pt}{50pt}{A'}\rule[-25pt]{0pt}{50pt}\hspace{20pt}
\end{pmatrix}\begin{pmatrix}
\ \overline \lambda & {}^T\bm 0 \\
\ \bm b   & \ \rule{20pt}{0pt}\rule[-25pt]{0pt}{50pt}{A'}^\dagger\rule[-25pt]{0pt}{50pt}\rule{20pt}{0pt}
\ \overline \lambda & {}^t\bm 0 \\
\ \bm b   & \ \hspace{20pt}\rule[-25pt]{0pt}{50pt}{A'}^\dagger\rule[-25pt]{0pt}{50pt}\hspace{20pt}
\end{pmatrix}
);
$$

&math(
$$
U^\dagger AA^\dagger U=\begin{pmatrix}
\ |\lambda|^2+\|\bm b\|^2 & \bm b^\dagger {A'}^\dagger \\
\ A'\bm b & \ \rule{20pt}{0pt}\rule[-25pt]{0pt}{50pt}{A'}{A'}^\dagger\rule[-25pt]{0pt}{50pt}\rule{20pt}{0pt}
\ A'\bm b & \ \hspace{20pt}\rule[-25pt]{0pt}{50pt}{A'}{A'}^\dagger\rule[-25pt]{0pt}{50pt}\hspace{20pt}
\end{pmatrix}
);
$$

同様に、

&math(
$$
U^\dagger A^\dagger A U=\begin{pmatrix}
\ |\lambda|^2 & \lambda\bm b^\dagger \\
\ \lambda\bm b & \ \rule{20pt}{0pt}\rule[-25pt]{0pt}{50pt}{A'}^\dagger{A'}\rule[-25pt]{0pt}{50pt}\rule{20pt}{0pt}
\ |\lambda|^2 & \overline\lambda\bm b^\dagger \\
\ \lambda\bm b & \ \hspace{20pt}\rule[-25pt]{0pt}{50pt}{A'}^\dagger{A'}\rule[-25pt]{0pt}{50pt}\hspace{20pt}
\end{pmatrix}
);
$$

これらが等しくなるから、
- &math(\bm b=\bm 0);
- &math(A'{A'}^\dagger={A'}^\dagger A');
これらが等しくなるためには、
- $\bm b=\bm 0$
- $A'{A'}^\dagger={A'}^\dagger A'$

すなわち、

&math(
$$
U^\dagger AU=\begin{pmatrix}
\ \lambda & {}^T\bm 0 \\
\ \bm 0   & \rule{20pt}{0pt}\rule[-25pt]{0pt}{50pt}A'\rule[-25pt]{0pt}{50pt}\rule{20pt}{0pt}
\ \lambda & {}^t\bm 0 \\
\ \bm 0   & \hspace{20pt}\rule[-25pt]{0pt}{50pt}A'\rule[-25pt]{0pt}{50pt}\hspace{20pt}
\end{pmatrix}
);
$$

ここで、&math(A'); は &math(n-1); 次元の正規行列であるから、
ある &math(n-1); 次元ユニタリ行列 &math(U'); を用いて、
かつ $A'$ は $n-1$ 次の正規行列でなければならない。

&math({U'}^\dagger A'U'=\Lambda');
すると仮定より $A'$ は $n-1$ 次ユニタリ行列 $U'$ を用いて、

$${U'}^\dagger A'U'=\Lambda'$$

のように対角化可能である。

この &math(U'); を用いて、&math(n); 次元正方行列
この $U'$ を用いて、$n$ 次正方行列

&math(U''=\begin{pmatrix}
1&{}^T\bm 0\\
\bm 0&\rule{10pt}{0pt}\rule[-15pt]{0pt}{30pt}U'\rule[-15pt]{0pt}{30pt}\rule{10pt}{0pt}
$$U''=\begin{pmatrix}
1&{}^t\bm 0\\
\bm 0&\hspace{10pt}\rule[-15pt]{0pt}{30pt}U'\rule[-15pt]{0pt}{30pt}\hspace{10pt}
\end{pmatrix}
);
$$

を作るとこれはユニタリ行列で、

&math(
{U''}^\dagger (U^\dagger AU)U''=\begin{pmatrix}
\ \lambda & {}^T\bm 0 \\
\ \bm 0   & \rule{20pt}{0pt}\rule[-25pt]{0pt}{50pt}{U'}^\dagger A'U'\rule[-25pt]{0pt}{50pt}\rule{20pt}{0pt}
$$
{U''}^\dagger (U^\dagger AU)
U''=\begin{pmatrix}
\ \lambda & {}^t\bm 0 \\
\ \bm 0   & \hspace{20pt}\rule[-25pt]{0pt}{50pt}{U'}^\dagger A'U'\rule[-25pt]{0pt}{50pt}\hspace{20pt}
\end{pmatrix}
=\begin{pmatrix}
\ \lambda & {}^T\bm 0 \\
\ \bm 0   & \rule{20pt}{0pt}\rule[-25pt]{0pt}{50pt}\Lambda'\rule[-25pt]{0pt}{50pt}\rule{20pt}{0pt}
\ \lambda & {}^t\bm 0 \\
\ \bm 0   & \hspace{20pt}\rule[-25pt]{0pt}{50pt}\Lambda'\rule[-25pt]{0pt}{50pt}\hspace{20pt}
\end{pmatrix}
);
$$

右辺は対角行列になっており、
左辺は &math(UU''=U'''); と置けば &math({U'''}^\dagger AU'''); と書け、
ユニタリ行列は積について閉じていることから、&math(U'''); もユニタリ行列である。
左辺は $UU''$
$=U'''$ と置けば 
${U'''}^\dagger$
$AU'''$ と書ける。

すなわち、&math(n); 次元正規行列 &math(A); をユニタリ行列 &math(U'''); 
さらに、ユニタリ行列は積について閉じているから $U'''$ はユニタリ行列である。

すなわち、$n$ 次元正規行列 $A$ をユニタリ行列 $U'''$ 
を用いて対角化できることが証明された。

* 質問・コメント [#nd96801f]

#article_kcaptcha


Counter: 41093 (from 2010/06/03), today: 1, yesterday: 0