「ジョルダン標準形」の版間の差分

削除された内容 追加された内容
→‎行列: 読みやすく変更
3行目:
== 定義 ==
=== 行列 ===
[[代数的閉体]] {{mvar|K}} 成分ような {{mvar|n}} 次[[正方行列]]を'''ジョルダン細胞'''という{{Sfn|斎藤|1966|p=187}}。
:<math>J_n(\lambda) =
\begin{pmatrix}
13行目:
\end{pmatrix}
</math>
 
を'''ジョルダン細胞'''という{{Sfn|斎藤|1966|p=187}}。
[[代数的閉体]] {{mvar|K}} 成分の任意の正方行列 {{mvar|MA}} に対して、適当な[[正則行列]] {{mvar|P}} が存在し、
:<math> PMPPAP^{-1} = J=\begin{pmatrix}
J_{n_1}(\lambda_1) & & 0 \\
& \ddots & \\
21行目:
\end{pmatrix}
</math>
[[正則行列]] {{mvar|P}} こと存在すできる{{Sfn|斎藤|1966|loc=第6章 定理[2.2]}}。
このとき {{math|''&lambda;''<sub>''i''</sub>}} は {{mvar|MA}} の[[固有値]]である。
この行列 {{<math|''PMP''<sup>&minus;J=PAP^{-1}</supmath>}} のことを行列 {{mvar|MA}} の'''ジョルダン標準形'''という{{Sfn|斎藤|1966|p=191}}。
 
=== 線形変換 ===