「ジョルダン標準形」の版間の差分
削除された内容 追加された内容
ARAKI Satoru (会話 | 投稿記録) アルゴリズムを記載 |
ARAKI Satoru (会話 | 投稿記録) m →アルゴリズム |
||
83行目:
# {{math|[[行列の階数|rank]] ''A<sub>i</sub> <sup>k<sub>i</sub></sup>'' {{=}} rank ''A<sub>i</sub>'' <sup>''k<sub>i</sub>''+1</sup>}} となる最小の自然数 {{mvar|k<sub>i</sub>}} を求める
# {{math|''W<sub>i,j</sub>'' {{=}} [[線型写像#核・像と全射性・単射性|im]] ''A<sub>i</sub> <sup>j</sup>'' ∩ [[線型写像#核・像と全射性・単射性|ker]] ''A<sub>i</sub>''}} とおく
# 部分空間の増大列 {{math|''W''<sub>''i,k<sub>i</sub>''−1</sub> ⊂ … ⊂ ''W''<sub>''i'',1</sub> ⊂ ''W''<sub>''i'',0</sub> {{=}} ker ''A<sub>i</sub>''}} に沿って {{math|ker ''A<sub>i</sub>''}} の[[ハメル基底|基底]] {{math|''b''<sub>''i'',1</sub>, …, ''b<sub>i,t<sub>i</sub></sub>''}} を求める<ref>つまり {{math|1 ≤ ''d''<sub>1</sub> ≤ ''d''<sub>2</sub> ≤ … ≤ ''t<sub>i</sub>''}} があって、{{math|''W''<sub>''i'',''k<sub>i</sub>''−1</sub> {{=}} ⟨ ''b''<sub>''i'',1</sub>, …, ''b''<sub>''i'',''d''<sub>1</sub></sub> ⟩}}, {{math|''W''<sub>''i'',''k<sub>i</sub>''−2</sub> {{=}} ⟨ ''b''<sub>''i'',1</sub>, …, ''b''<sub>''i'',''d''<sub>2</sub></sub> ⟩}}, …, {{math|''W''<sub>''i'',0</sub> {{=}} ⟨ ''b''<sub>''i'',1</sub>, …, ''b''<sub>''i,t<sub>i</sub></sub>'' ⟩}}となるように基底をとる</ref>
# {{math|''b<sub>i,j</sub>'' ∈ ''W<sub>i,d<sub>i,j</sub></sub>'' − ''W''<sub>''i'',''d<sub>i,j</sub>''+1</sub>}} となる自然数 {{mvar|d<sub>i,j</sub>}} を求める
# [[連立一次方程式]] {{math| ''A<sub>i</sub>'' <sup>''d<sub>i,j</sub>''</sup> ''x<sub>i,j</sub>'' {{=}} ''b<sub>i,j</sub>''}} の解 {{mvar|x<sub>i,j</sub>}} を求める
|