SlideShare a Scribd company logo
1 of 8
ケーリーハミルトンの定理の
証明
Hanpen Robot
ケーリーハミルトンの定理
• 𝑛次元ベクトル空間𝑉の線形写像𝑓は,
𝑓 𝑛
+ 𝑎1 𝑓 𝑛−1
+ 𝑎2 𝑓 𝑛−2
+ ⋯ + 𝑎 𝑛 = 0 (零写像)
•という関係式を満たす.(ただし,𝑎𝑖はスカラー)
ケーリーハミルトンの定理の証明
• 𝕧1, … , 𝕧 𝑛 を𝑛次元ベクトル空間𝑉の基底とする.
• この時,𝑓(𝕧𝑖), (𝑖 = 1 … 𝑛)は以下のようになる.
𝑓(𝕧1) = 𝑎11 𝕧1 + 𝑎12 𝕧2 + ⋯ + 𝑎1𝑛 𝕧 𝑛
𝑓(𝕧2) = 𝑎21 𝕧1 + 𝑎22 𝕧2 + ⋯ + 𝑎2𝑛 𝕧 𝑛
⋮
𝑓(𝕧 𝑛) = 𝑎 𝑛1 𝕧1 + 𝑎 𝑛2 𝕧2 + ⋯ + 𝑎 𝑛𝑛 𝕧 𝑛
(𝑎𝑖𝑗はスカラー)
ケーリーハミルトンの定理の証明
さっきの式を,行列形式にすると・・・
𝑓 0 0 0 0
0 𝑓 ⋮ ⋮ ⋮
⋮ ⋮ ⋮ ⋮ ⋮
⋮ ⋮ ⋮ 𝑓 ⋮
0 0 0 0 𝑓
𝕧1
⋮
⋮
⋮
𝕧 𝑛
=
𝑎11 … … … 𝑎1𝑛
⋮ ⋮ ⋮ ⋮ ⋮
⋮ ⋮ ⋮ ⋮ ⋮
⋮ ⋮ ⋮ ⋮ ⋮
𝑎 𝑛1 … … … 𝑎 𝑛𝑛
𝕧1
⋮
⋮
⋮
𝕧 𝑛
そして,右辺を左辺に移項し,単位行列𝐸が(𝛿𝑖𝑗)と書けることに注意すると,
𝛿𝑖𝑗はクロネッカーのデルタ, 𝛿𝑖𝑗 =
1 (𝑖 = 𝑗)
0 (𝑖 ≠ 𝑗)
ケーリーハミルトンの定理の証明
先ほどの式は,以下のようになる.
𝒇𝜹𝒊𝒋 − 𝒂𝒊𝒋
𝕧 𝟏
⋮
⋮
⋮
𝕧 𝒏
=
𝟎
⋮
⋮
⋮
𝟎
(☆)
(☆)の両辺に,余因子行列 𝒇𝜹𝒊𝒋 − 𝒂𝒊𝒋 を左からかける.
𝒇𝜹𝒊𝒋 − 𝒂𝒊𝒋 𝒇𝜹𝒊𝒋 − 𝒂𝒊𝒋 = 𝐝𝐞𝐭 𝒇𝜹𝒊𝒋 − 𝒂𝒊𝒋 𝑬
という関係が成立するので, ∵ 𝑨−𝟏=
𝟏
𝐝𝐞𝐭(𝑨)
𝑨 ⟺ 𝑬 = 𝑨−𝟏 𝑨 =
𝟏
𝐝𝐞𝐭 𝑨
𝑨𝑨 ⟺ 𝑨𝑨 = 𝐝𝐞𝐭 𝑨 𝑬
ケーリーハミルトンの定理の証明
(☆)式は,以下のようになる.
𝑑𝑒𝑡 𝑓𝛿𝑖𝑗 − 𝑎𝑖𝑗
𝕧1
⋮
⋮
⋮
𝕧 𝑛
=
0
⋮
⋮
⋮
0
(☆☆)
そして,𝑑𝑒𝑡 𝑓𝛿𝑖𝑗 − 𝑎𝑖𝑗 を展開すると,以下のようになるので,
𝑑𝑒𝑡 𝑓𝛿𝑖𝑗 − 𝑎𝑖𝑗 = 𝑓 𝑛 + 𝑎1 𝑓 𝑛−1 + 𝑎2 𝑓 𝑛−2 + ⋯ + 𝑎 𝑛
ケーリーハミルトンの定理の証明
𝑓 𝑛 + 𝑎1 𝑓 𝑛−1 + 𝑎2 𝑓 𝑛−2 + ⋯ + 𝑎 𝑛
𝕧1
⋮
⋮
⋮
𝕧 𝑛
=
0
⋮
⋮
⋮
0
∴ 𝒇 𝒏 + 𝒂 𝟏 𝒇 𝒏−𝟏 + 𝒂 𝟐 𝒇 𝒏−𝟐 + ⋯ + 𝒂 𝒏 𝕧𝒊 = 𝕠, (𝒊 = 𝟏 … 𝒏)
ケーリーハミルトンの定理の証明
つまり,∀𝕩 = 𝑏1 𝕧1 + ⋯ + 𝑏 𝑛 𝕧 𝑛 ∈ 𝑉に対して
𝒇 𝒏 + 𝒂 𝟏 𝒇 𝒏−𝟏 + 𝒂 𝟐 𝒇 𝒏−𝟐 + ⋯ + 𝒂 𝒏 𝕩 = 𝕠
となる.ゆえに,
𝒇 𝒏 + 𝒂 𝟏 𝒇 𝒏−𝟏 + 𝒂 𝟐 𝒇 𝒏−𝟐 + ⋯ + 𝒂 𝒏 = 𝟎 (零写像)
証明終

More Related Content

What's hot

aeで0である関数の証明
aeで0である関数の証明aeで0である関数の証明
aeで0である関数の証明政孝 鍋島
 
A^2=0のFamily
A^2=0のFamilyA^2=0のFamily
A^2=0のFamilyM M
 
武井研ゼミ M1 第3回目
武井研ゼミ M1 第3回目武井研ゼミ M1 第3回目
武井研ゼミ M1 第3回目HanpenRobot
 
Noether環上の有限生成加群の有限表示
Noether環上の有限生成加群の有限表示Noether環上の有限生成加群の有限表示
Noether環上の有限生成加群の有限表示HanpenRobot
 
Fourier analysis on symmetric group
Fourier analysis on symmetric groupFourier analysis on symmetric group
Fourier analysis on symmetric groupHanpenRobot
 
Derivative of Sine
Derivative of SineDerivative of Sine
Derivative of SineAishaIshaq4
 
単調減少な数列の級数問題
単調減少な数列の級数問題単調減少な数列の級数問題
単調減少な数列の級数問題nabeshimamasataka
 
単調減少な数列の級数問題
単調減少な数列の級数問題単調減少な数列の級数問題
単調減少な数列の級数問題政孝 鍋島
 
代数幾何 原稿(仮Ver)
代数幾何 原稿(仮Ver)代数幾何 原稿(仮Ver)
代数幾何 原稿(仮Ver)HanpenRobot
 

What's hot (13)

aeで0である関数の証明
aeで0である関数の証明aeで0である関数の証明
aeで0である関数の証明
 
A^2=0のFamily
A^2=0のFamilyA^2=0のFamily
A^2=0のFamily
 
Supと極限
Supと極限Supと極限
Supと極限
 
Supと極限
Supと極限Supと極限
Supと極限
 
武井研ゼミ M1 第3回目
武井研ゼミ M1 第3回目武井研ゼミ M1 第3回目
武井研ゼミ M1 第3回目
 
Noether環上の有限生成加群の有限表示
Noether環上の有限生成加群の有限表示Noether環上の有限生成加群の有限表示
Noether環上の有限生成加群の有限表示
 
IJPC C解説
IJPC C解説IJPC C解説
IJPC C解説
 
Fourier analysis on symmetric group
Fourier analysis on symmetric groupFourier analysis on symmetric group
Fourier analysis on symmetric group
 
Derivative of Sine
Derivative of SineDerivative of Sine
Derivative of Sine
 
単調減少な数列の級数問題
単調減少な数列の級数問題単調減少な数列の級数問題
単調減少な数列の級数問題
 
単調減少な数列の級数問題
単調減少な数列の級数問題単調減少な数列の級数問題
単調減少な数列の級数問題
 
超複素数
超複素数超複素数
超複素数
 
代数幾何 原稿(仮Ver)
代数幾何 原稿(仮Ver)代数幾何 原稿(仮Ver)
代数幾何 原稿(仮Ver)
 

Viewers also liked

Nilpotent and invertible
Nilpotent and invertibleNilpotent and invertible
Nilpotent and invertibleHanpenRobot
 
微分方程式 演算子法 Differential operator
微分方程式 演算子法 Differential operator微分方程式 演算子法 Differential operator
微分方程式 演算子法 Differential operatorHanpenRobot
 
Εγχειρίδιο χρήσης | Dovletoglou
Εγχειρίδιο χρήσης | DovletoglouΕγχειρίδιο χρήσης | Dovletoglou
Εγχειρίδιο χρήσης | DovletoglouDimitris Stravopoulos
 
prime ideal and nilpotent
prime ideal and nilpotentprime ideal and nilpotent
prime ideal and nilpotentHanpenRobot
 
イデアルの定義と性質
イデアルの定義と性質イデアルの定義と性質
イデアルの定義と性質HanpenRobot
 
局所環と非単元の集合 Local ring
局所環と非単元の集合 Local ring局所環と非単元の集合 Local ring
局所環と非単元の集合 Local ringHanpenRobot
 
武井研究室B3 ゼミ2015年1月15日
武井研究室B3 ゼミ2015年1月15日武井研究室B3 ゼミ2015年1月15日
武井研究室B3 ゼミ2015年1月15日HanpenRobot
 
マクロリーン級数
マクロリーン級数マクロリーン級数
マクロリーン級数HanpenRobot
 
Voyages ds les contes 6e1
Voyages ds les contes 6e1Voyages ds les contes 6e1
Voyages ds les contes 6e1sdelthil
 
Tardi expo Putain de Guerre
Tardi expo Putain de GuerreTardi expo Putain de Guerre
Tardi expo Putain de Guerresdelthil
 
Jordan canonical form 01
Jordan canonical form 01Jordan canonical form 01
Jordan canonical form 01HanpenRobot
 
Treatment of lymphadenitis
Treatment  of lymphadenitisTreatment  of lymphadenitis
Treatment of lymphadenitisRishi Kashyap
 
Cauchy's integral formula 
Cauchy's integral formula Cauchy's integral formula 
Cauchy's integral formula HanpenRobot
 
Cauchy riemann equations
Cauchy riemann equationsCauchy riemann equations
Cauchy riemann equationsHanpenRobot
 
Diagonalization matrix
Diagonalization matrixDiagonalization matrix
Diagonalization matrixHanpenRobot
 

Viewers also liked (19)

5 new tecnologies
5 new tecnologies5 new tecnologies
5 new tecnologies
 
Nilpotent and invertible
Nilpotent and invertibleNilpotent and invertible
Nilpotent and invertible
 
微分方程式 演算子法 Differential operator
微分方程式 演算子法 Differential operator微分方程式 演算子法 Differential operator
微分方程式 演算子法 Differential operator
 
Εγχειρίδιο χρήσης | Dovletoglou
Εγχειρίδιο χρήσης | DovletoglouΕγχειρίδιο χρήσης | Dovletoglou
Εγχειρίδιο χρήσης | Dovletoglou
 
CVBOND TUTORIAL
CVBOND TUTORIALCVBOND TUTORIAL
CVBOND TUTORIAL
 
複素積分02
複素積分02複素積分02
複素積分02
 
prime ideal and nilpotent
prime ideal and nilpotentprime ideal and nilpotent
prime ideal and nilpotent
 
イデアルの定義と性質
イデアルの定義と性質イデアルの定義と性質
イデアルの定義と性質
 
局所環と非単元の集合 Local ring
局所環と非単元の集合 Local ring局所環と非単元の集合 Local ring
局所環と非単元の集合 Local ring
 
武井研究室B3 ゼミ2015年1月15日
武井研究室B3 ゼミ2015年1月15日武井研究室B3 ゼミ2015年1月15日
武井研究室B3 ゼミ2015年1月15日
 
マクロリーン級数
マクロリーン級数マクロリーン級数
マクロリーン級数
 
Voyages ds les contes 6e1
Voyages ds les contes 6e1Voyages ds les contes 6e1
Voyages ds les contes 6e1
 
Tardi expo Putain de Guerre
Tardi expo Putain de GuerreTardi expo Putain de Guerre
Tardi expo Putain de Guerre
 
Echo in IHD
Echo in IHDEcho in IHD
Echo in IHD
 
Jordan canonical form 01
Jordan canonical form 01Jordan canonical form 01
Jordan canonical form 01
 
Treatment of lymphadenitis
Treatment  of lymphadenitisTreatment  of lymphadenitis
Treatment of lymphadenitis
 
Cauchy's integral formula 
Cauchy's integral formula Cauchy's integral formula 
Cauchy's integral formula 
 
Cauchy riemann equations
Cauchy riemann equationsCauchy riemann equations
Cauchy riemann equations
 
Diagonalization matrix
Diagonalization matrixDiagonalization matrix
Diagonalization matrix
 

Similar to ケーリーハミルトンの定理の証明

グレブナー基底輪読会 #1 ―準備体操の巻―
グレブナー基底輪読会 #1 ―準備体操の巻―グレブナー基底輪読会 #1 ―準備体操の巻―
グレブナー基底輪読会 #1 ―準備体操の巻―Yutaka Nagahata
 
Computing for Isogeny Kernel Problem by Groebner Basis
Computing for Isogeny Kernel Problem by Groebner BasisComputing for Isogeny Kernel Problem by Groebner Basis
Computing for Isogeny Kernel Problem by Groebner BasisYasu Math
 
何もないところから数を作る
何もないところから数を作る何もないところから数を作る
何もないところから数を作るTaketo Sano
 
強束縛模型における多体電子状態の第2量子化表現
強束縛模型における多体電子状態の第2量子化表現強束縛模型における多体電子状態の第2量子化表現
強束縛模型における多体電子状態の第2量子化表現Kazu Ghalamkari
 
行列による空間の直和分解
行列による空間の直和分解行列による空間の直和分解
行列による空間の直和分解HanpenRobot
 
さくっと線形代数
さくっと線形代数さくっと線形代数
さくっと線形代数Kota Mori
 

Similar to ケーリーハミルトンの定理の証明 (6)

グレブナー基底輪読会 #1 ―準備体操の巻―
グレブナー基底輪読会 #1 ―準備体操の巻―グレブナー基底輪読会 #1 ―準備体操の巻―
グレブナー基底輪読会 #1 ―準備体操の巻―
 
Computing for Isogeny Kernel Problem by Groebner Basis
Computing for Isogeny Kernel Problem by Groebner BasisComputing for Isogeny Kernel Problem by Groebner Basis
Computing for Isogeny Kernel Problem by Groebner Basis
 
何もないところから数を作る
何もないところから数を作る何もないところから数を作る
何もないところから数を作る
 
強束縛模型における多体電子状態の第2量子化表現
強束縛模型における多体電子状態の第2量子化表現強束縛模型における多体電子状態の第2量子化表現
強束縛模型における多体電子状態の第2量子化表現
 
行列による空間の直和分解
行列による空間の直和分解行列による空間の直和分解
行列による空間の直和分解
 
さくっと線形代数
さくっと線形代数さくっと線形代数
さくっと線形代数
 

More from HanpenRobot

fermat's little theorem and …
fermat's little theorem and …fermat's little theorem and …
fermat's little theorem and …HanpenRobot
 
Campbell hasudorff formula
Campbell hasudorff formulaCampbell hasudorff formula
Campbell hasudorff formulaHanpenRobot
 
構造定数が随伴表現になることの証明
構造定数が随伴表現になることの証明構造定数が随伴表現になることの証明
構造定数が随伴表現になることの証明HanpenRobot
 
金利スワップのメモ
金利スワップのメモ金利スワップのメモ
金利スワップのメモHanpenRobot
 
Conditional expectation projection 2018 feb 18
Conditional expectation projection 2018 feb 18 Conditional expectation projection 2018 feb 18
Conditional expectation projection 2018 feb 18 HanpenRobot
 
位相空間の開集合の成す圏 2016 august 30
位相空間の開集合の成す圏 2016 august 30位相空間の開集合の成す圏 2016 august 30
位相空間の開集合の成す圏 2016 august 30HanpenRobot
 
Fourier transform on real-valued function over symmetric group
Fourier transform on real-valued function over symmetric groupFourier transform on real-valued function over symmetric group
Fourier transform on real-valued function over symmetric groupHanpenRobot
 
置換族の一様分布
置換族の一様分布置換族の一様分布
置換族の一様分布HanpenRobot
 
Duality of laplace transform
Duality of laplace transformDuality of laplace transform
Duality of laplace transformHanpenRobot
 
Conjugate cyclic permutation
Conjugate cyclic permutationConjugate cyclic permutation
Conjugate cyclic permutationHanpenRobot
 
ベイズ識別 一般化逆行列
ベイズ識別 一般化逆行列ベイズ識別 一般化逆行列
ベイズ識別 一般化逆行列HanpenRobot
 
電子光波Memo
電子光波Memo電子光波Memo
電子光波MemoHanpenRobot
 
Minimize quadratic form
Minimize quadratic formMinimize quadratic form
Minimize quadratic formHanpenRobot
 
Finite set complex function
Finite set complex functionFinite set complex function
Finite set complex functionHanpenRobot
 
微分の表現行列 Representation matrix
微分の表現行列 Representation matrix 微分の表現行列 Representation matrix
微分の表現行列 Representation matrix HanpenRobot
 
Wronskianと一次独立性
Wronskianと一次独立性Wronskianと一次独立性
Wronskianと一次独立性HanpenRobot
 
How to solve recurrence equation
How to solve recurrence equationHow to solve recurrence equation
How to solve recurrence equationHanpenRobot
 
正則関数のマクロリーン展開
正則関数のマクロリーン展開正則関数のマクロリーン展開
正則関数のマクロリーン展開HanpenRobot
 
ε N論法による数列の極限01 2016
ε N論法による数列の極限01 2016ε N論法による数列の極限01 2016
ε N論法による数列の極限01 2016HanpenRobot
 

More from HanpenRobot (20)

fermat's little theorem and …
fermat's little theorem and …fermat's little theorem and …
fermat's little theorem and …
 
Campbell hasudorff formula
Campbell hasudorff formulaCampbell hasudorff formula
Campbell hasudorff formula
 
構造定数が随伴表現になることの証明
構造定数が随伴表現になることの証明構造定数が随伴表現になることの証明
構造定数が随伴表現になることの証明
 
Log complex
Log complexLog complex
Log complex
 
金利スワップのメモ
金利スワップのメモ金利スワップのメモ
金利スワップのメモ
 
Conditional expectation projection 2018 feb 18
Conditional expectation projection 2018 feb 18 Conditional expectation projection 2018 feb 18
Conditional expectation projection 2018 feb 18
 
位相空間の開集合の成す圏 2016 august 30
位相空間の開集合の成す圏 2016 august 30位相空間の開集合の成す圏 2016 august 30
位相空間の開集合の成す圏 2016 august 30
 
Fourier transform on real-valued function over symmetric group
Fourier transform on real-valued function over symmetric groupFourier transform on real-valued function over symmetric group
Fourier transform on real-valued function over symmetric group
 
置換族の一様分布
置換族の一様分布置換族の一様分布
置換族の一様分布
 
Duality of laplace transform
Duality of laplace transformDuality of laplace transform
Duality of laplace transform
 
Conjugate cyclic permutation
Conjugate cyclic permutationConjugate cyclic permutation
Conjugate cyclic permutation
 
ベイズ識別 一般化逆行列
ベイズ識別 一般化逆行列ベイズ識別 一般化逆行列
ベイズ識別 一般化逆行列
 
電子光波Memo
電子光波Memo電子光波Memo
電子光波Memo
 
Minimize quadratic form
Minimize quadratic formMinimize quadratic form
Minimize quadratic form
 
Finite set complex function
Finite set complex functionFinite set complex function
Finite set complex function
 
微分の表現行列 Representation matrix
微分の表現行列 Representation matrix 微分の表現行列 Representation matrix
微分の表現行列 Representation matrix
 
Wronskianと一次独立性
Wronskianと一次独立性Wronskianと一次独立性
Wronskianと一次独立性
 
How to solve recurrence equation
How to solve recurrence equationHow to solve recurrence equation
How to solve recurrence equation
 
正則関数のマクロリーン展開
正則関数のマクロリーン展開正則関数のマクロリーン展開
正則関数のマクロリーン展開
 
ε N論法による数列の極限01 2016
ε N論法による数列の極限01 2016ε N論法による数列の極限01 2016
ε N論法による数列の極限01 2016
 

Recently uploaded

ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学ssusere0a682
 
TokyoTechGraduateExaminationPresentation
TokyoTechGraduateExaminationPresentationTokyoTechGraduateExaminationPresentation
TokyoTechGraduateExaminationPresentationYukiTerazawa
 
The_Five_Books_Overview_Presentation_2024
The_Five_Books_Overview_Presentation_2024The_Five_Books_Overview_Presentation_2024
The_Five_Books_Overview_Presentation_2024koheioishi1
 
UniProject Workshop Make a Discord Bot with JavaScript
UniProject Workshop Make a Discord Bot with JavaScriptUniProject Workshop Make a Discord Bot with JavaScript
UniProject Workshop Make a Discord Bot with JavaScriptyuitoakatsukijp
 
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2Tokyo Institute of Technology
 
TEAMIN Service overview for customer_20240422.pdf
TEAMIN Service overview for customer_20240422.pdfTEAMIN Service overview for customer_20240422.pdf
TEAMIN Service overview for customer_20240422.pdfyukisuga3
 

Recently uploaded (6)

ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
ゲーム理論 BASIC 演習105 -n人囚人のジレンマモデル- #ゲーム理論 #gametheory #数学
 
TokyoTechGraduateExaminationPresentation
TokyoTechGraduateExaminationPresentationTokyoTechGraduateExaminationPresentation
TokyoTechGraduateExaminationPresentation
 
The_Five_Books_Overview_Presentation_2024
The_Five_Books_Overview_Presentation_2024The_Five_Books_Overview_Presentation_2024
The_Five_Books_Overview_Presentation_2024
 
UniProject Workshop Make a Discord Bot with JavaScript
UniProject Workshop Make a Discord Bot with JavaScriptUniProject Workshop Make a Discord Bot with JavaScript
UniProject Workshop Make a Discord Bot with JavaScript
 
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
東京工業大学 環境・社会理工学院 建築学系 大学院入学入試・進学説明会2024_v2
 
TEAMIN Service overview for customer_20240422.pdf
TEAMIN Service overview for customer_20240422.pdfTEAMIN Service overview for customer_20240422.pdf
TEAMIN Service overview for customer_20240422.pdf
 

ケーリーハミルトンの定理の証明