線形代数II/復習：固有値問題 の変更点

更新 
[[線形代数II]]

* 内容 [#p5151e15]

- 行列式
-- 定義・性質
-- 行列の積と行列式の積 ~
　　&math(|AB|=|A||B|);
-- 逆行列、転置行列の行列式 ~
　　&math(A^{-1}=|A|^{-1}, |{}^tA|=|A|);
- 階数
-- 定義
-- 行列の積と階数の低下~
--- 行列の積により階数が低下することはあっても増えることはない~
　　&math(\rank AB\le\rank A,\rank AB\le\rank B);
--- 正則行列との積により階数は変化しない~
　　&math(P,Q); が正則なら、&math(\rank PA=\rank AQ=\rank A);
- トレース
-- 定義
-- 行列の和とトレース~
　　&math(\tr (A+B)=\tr A+\tr B);
- 固有値問題
-- 固有方程式
- 相似変換
-- 固有方程式、行列式、階数、トレースを保存する
- 対角化
-- エルミート行列・対称行列
-- ユニタリ行列・直交行列

* 演習 [#x938931f]

(1) 

&math(\bm e_1=\begin{pmatrix}
(1) &math(\bm e_1=\begin{pmatrix}
1\\0
\end{pmatrix},\bm e_2=\begin{pmatrix}
0\\1
\end{pmatrix}); を２辺とする正方形を、
線形写像 &math(f(\bm x)=A\bm x); で写した先の平行四辺形の面積が
&math(|\det A|); で与えられることを示せ。

(2) 次の行列 &math(A); の階数及びトレースを求めよ。

&math(A=\begin{pmatrix}
1&2&3\\
-1&0&1\\
1&1&1
\end{pmatrix});

* 解答例・解説 [#ta94ba12]

(1) 

&math(A=\begin{pmatrix}
a&b\\c&d
\end{pmatrix}); と置けば、

&math(\bm e'_1=f(\bm e_1)=\begin{pmatrix}
a\\c
\end{pmatrix},\bm e'_2=f(\bm e_2)=\begin{pmatrix}
b\\d
\end{pmatrix}); である。

&math(\bm e'_1,\bm e'_2); を２辺とする平行四辺形について、
&math(\bm e'_1); を底辺と見れば高さは &math(|\bm e'_2|\sin\theta); 
と表せる。ただし &math(\theta); は &math(\bm e'_1,\bm e'_2); のなす角。

&math(z); 座標に &math(0); を加えることで &math(\bm e'_1,\bm e'_2); を
３次元空間に拡張したベクトルを &math(\bm e''_1,\bm e''_2); とすると、
&math(\sin\theta); は外積を使って求められる。

&math(
\sin\theta&=\frac{|\bm e''_1\times\bm e''_2|}{|\bm e''_1||\bm e''_2|}
);

したがって、求める面積は

&math(
|\bm e'_1||\bm e'_2|\sin\theta&=\left|\bm e''_1\times\bm e''_2\right|
=|ad-bc|=|\det A|);

これを一般化すれば、&math(x,y); 座標に平行な任意の正方形は &math(A); による写像で
面積が &math(|\det A|); 倍になる。

さらに、２次元平面上の任意の形状の面積は &math(x,y); 座標に平行な微小な正方形の集まりとみなせるから、
任意の形状に対して &math(A); は面積を &math(|\det A|); 倍にする。

&math(\det A=0); のとき、&math(A); による写像は面積をゼロにする。つまり、元の形状は直線や１点につぶされてしまう。

一般に、&math(n); 次元正方行列 &math(A); による写像は、
&math(n); 次元空間における「体積」を &math(|\det A|); 倍にする。

&math(\det A<0); のとき、形状は「裏返し」になる（鏡像、つまり右手と左手のように、単につぶしたり伸ばしたり傾けたりするだけでは重ならない変形を受ける）。

(2)

掃き出し法を適用すると、

&math(A=\begin{pmatrix}
1&2&3\\
-1&0&1\\
1&1&1
\end{pmatrix}\sim\begin{pmatrix}
1&2&3\\
0&2&4\\
0&-1&-2
\end{pmatrix}\sim\begin{pmatrix}
1&2&3\\
0&1&2\\
0&1&2\\
\end{pmatrix}\sim\begin{pmatrix}
1&2&3\\
0&1&2\\
0&0&0\\
\end{pmatrix});

より、&math(\rank A=2);

&math(\tr A=a_{11}+a_{22}+a_{33}=1+0+1=2);

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

#article_kcaptcha
Counter: 5739 (from 2010/06/03), today: 1, yesterday: 5