標準形の存在証明とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 標準形の存在証明の意味・解説 

標準形の存在証明

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/14 06:14 UTC 版)

ジョルダン標準形」の記事における「標準形の存在証明」の解説

定理 任意の線形変換 f {\displaystyle f} に対しジョルダン基底存在する証明線形空間次元 n = dim ⁡ V {\displaystyle n=\dim V} についての帰納法で、 n = 1 {\displaystyle n=1} ならすべての基底ジョルダン基底だからOK、 n − 1 {\displaystyle n-1} までOKとして、 n = dim ⁡ V {\displaystyle n=\dim V} とする。次の明らかな補題証明の鍵である。 補題 { e i j } {\displaystyle \{e_{ij}\}} が f {\displaystyle f} のジョルダン基底なら、 f − λ 1 V {\displaystyle f-\lambda 1_{V}} のジョルダン基底でもある。ここで λ {\displaystyle \lambda } は任意のスカラー。 この補題により rankf = r < n {\displaystyle \operatorname {rank} f=r s {\displaystyle i>s} なら λ i ≠ 0 {\displaystyle \lambda _{i}\neq 0} となるようにとる。 e 11 , e 21 , … , e s 1 {\displaystyle e_{11},e_{21},\dotsc ,e_{s1}} は ker ⁡ f {\displaystyle \ker f} の元で線形独立だから、これらに b 1 , b 2 , … , b n − r − s {\displaystyle b_{1},b_{2},\dotsc ,b_{n-r-s}} を加えて ker ⁡ f {\displaystyle \ker f} の基底作る。また V {\displaystyle V} の元 c 1 , c 2 , … , c s {\displaystyle c_{1},c_{2},\dotsc ,c_{s}} を f ( c i ) = e i n i {\displaystyle f(c_{i})=e_{in_{i}}} となるようにとる。このとき n {\displaystyle n} 個のベクトル { e i j } ∪ { b i } ∪ { c i } {\displaystyle \{e_{ij}\}\cup \{b_{i}\}\cup \{c_{i}\}} が線形独立であることは容易にわかり、これらは V {\displaystyle V} の基底である。 c i = e i n i + 1 ,   b i = e k + i 1 {\displaystyle c_{i}=e_{in_{i}+1},\ b_{i}=e_{k+i1}} と番号づけると、これが f {\displaystyle f} のジョルダン基底となる。[証明終わり] V = K n {\displaystyle V=K^{n}} で f {\displaystyle f} が行列 A = ( a 1 , a 2 , … , a n ) {\displaystyle A=(a_{1},a_{2},\dotsc ,a_{n})} で表されるとき、 rankA = r {\displaystyle \operatorname {rank} A=r} なら、 a 1 , a 2 , … , a r {\displaystyle a_{1},a_{2},\dotsc ,a_{r}} が線形独立としてよい。このとき A = [ A 11 A 12 A 21 A 22 ] {\displaystyle A={\begin{bmatrix}{A_{11}}&{A_{12}}\\{A_{21}}&{A_{22}}\end{bmatrix}}} は行変形で [ E r R 0 0 ] {\displaystyle {\begin{bmatrix}{E_{r}}&R\\0&0\end{bmatrix}}} と簡約化される。 命題 上のとき、 a 1 , a 2 , … , a r {\displaystyle a_{1},a_{2},\dotsc ,a_{r}} は V ′ {\displaystyle V'} の基底であるが、この基底に関する f ′ {\displaystyle f'} の表現行列A 11 + R A 21 {\displaystyle A_{11}+RA_{21}} である。 命題の証明は略するが、これを用いると上のジョルダン基底存在証明は、同時に行列ジョルダン標準形変換行列求めアルゴリズムにもなっている。

※この「標準形の存在証明」の解説は、「ジョルダン標準形」の解説の一部です。
「標準形の存在証明」を含む「ジョルダン標準形」の記事については、「ジョルダン標準形」の概要を参照ください。

ウィキペディア小見出し辞書の「標準形の存在証明」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「標準形の存在証明」の関連用語

標準形の存在証明のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



標準形の存在証明のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのジョルダン標準形 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS