Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
線形代数学入門講座 第8回スライド
Search
TechmathProject
September 04, 2024
Science
0
49
線形代数学入門講座 第8回スライド
てくますプロジェクトで行った線形代数学入門講座の第8回スライドです。
実施:2024/08/26
TechmathProject
September 04, 2024
Tweet
Share
More Decks by TechmathProject
See All by TechmathProject
統計学入門講座 第4回スライド
techmathproject
0
140
統計学入門講座 第3回スライド
techmathproject
0
100
統計学入門講座 第2回スライド
techmathproject
0
130
統計学入門講座 第1回スライド
techmathproject
0
340
線形代数学入門講座 第1回スライド
techmathproject
0
83
線形代数学入門講座 第2回スライド
techmathproject
0
62
線形代数学入門講座 第3回スライド
techmathproject
0
53
線形代数学入門講座 第4回スライド
techmathproject
0
43
線形代数学入門講座 第5回スライド
techmathproject
0
52
Other Decks in Science
See All in Science
機械学習 - SVM
trycycle
PRO
1
820
データベース04: SQL (1/3) 単純質問 & 集約演算
trycycle
PRO
0
850
データベース05: SQL(2/3) 結合質問
trycycle
PRO
0
700
Agent開発フレームワークのOverviewとW&B Weaveとのインテグレーション
siyoo
0
250
アナログ計算機『計算尺』を愛でる Midosuji Tech #4/Analog Computing Device Slide Rule now and then
quiver
1
170
モンテカルロDCF法による事業価値の算出(モンテカルロ法とベイズモデリング) / Business Valuation Using Monte Carlo DCF Method (Monte Carlo Simulation and Bayesian Modeling)
ikuma_w
0
160
機械学習 - pandas入門
trycycle
PRO
0
250
動的トリートメント・レジームを推定するDynTxRegimeパッケージ
saltcooky12
0
130
KH Coderチュートリアル(スライド版)
koichih
1
40k
生成AIと学ぶPythonデータ分析再入門-Pythonによるクラスタリング・可視化をサクサク実施-
datascientistsociety
PRO
4
1.6k
機械学習 - DBSCAN
trycycle
PRO
0
880
01_篠原弘道_SIPガバニングボード座長_ポスコロSIPへの期待.pdf
sip3ristex
0
520
Featured
See All Featured
Rails Girls Zürich Keynote
gr2m
94
14k
Performance Is Good for Brains [We Love Speed 2024]
tammyeverts
10
910
Large-scale JavaScript Application Architecture
addyosmani
512
110k
Designing for Performance
lara
609
69k
GitHub's CSS Performance
jonrohan
1031
460k
Code Review Best Practice
trishagee
68
18k
ピンチをチャンスに:未来をつくるプロダクトロードマップ #pmconf2020
aki_iinuma
123
52k
GraphQLとの向き合い方2022年版
quramy
46
14k
GraphQLの誤解/rethinking-graphql
sonatard
71
11k
Side Projects
sachag
455
42k
Building Better People: How to give real-time feedback that sticks.
wjessup
367
19k
Creating an realtime collaboration tool: Agile Flush - .NET Oxford
marcduiker
30
2.1k
Transcript
線形代数学 入門講座 ⑧行列の対角化 てくますゼミ
①行列の演算 ②連立一次方程式 ③正則行列 ④置換 ⑤行列式 ⑥数ベクトル空間 ⑦固有値 ⑧行列の対角化 てくます講座 線形代数学(全8回)
の流れ 行列の対角化 対角化の求め方 対角化可能性 対角化の応用
てくます講座 学習方法 ・メモをとろう! 講座ではスライドに載せきれない大事なことも話します。 配布されたレジュメの余白に書いておきましょう。 ・問題を解こう! 学問を読み聞きだけで身に付けるのは難しいです。 問題を解くことで手を動かし、理解の確認をしましょう。 ・質問をしよう! せっかく参加した講座です。
気になることは、講座中でも質問していきましょう。
線形代数学 ⑧行列の対角化 対角行列とべき乗 行列の積は複雑に定義されていたので、𝑛 乗の計算も簡単ではありません。 −1 −2 3 4 2
= −5 −6 9 10 , −1 −2 3 4 3 = −13 −14 21 22 , ⋯ 対角行列のときは、 𝑛 乗の計算は簡単です。 1 0 0 2 2 = 1 0 0 4 , 1 0 0 2 3 = 1 0 0 8 , ⋯ 対角行列のべき乗の計算を利用して、一般の行列のべき乗を考えていきます。
線形代数学 ⑧行列の対角化 行列の対角化 行列 𝐴 に対して、𝑃−1𝐴𝑃 = 𝐵 となるような正則行列 𝑃
と対角行列 𝐵 を 求めることを行列 𝐴 の対角化といいます。 (例) 行列 𝐴 = −1 −2 3 4 に対して、 𝑃 = −1 −2 1 3 , 𝐵 = 1 0 0 2 とすると、 𝑃 = −3 −2 1 1 であり、 𝑃−1𝐴𝑃 = −3 −2 1 1 −1 −2 3 4 −1 −2 1 3 = 1 0 0 2 = 𝐵 なので、 これは行列 𝐴 の対角化である。
線形代数学 ⑧行列の対角化 正則行列 𝑃 の求め方 𝑛 次正方行列 𝐴 の対角化 𝑃−1𝐴𝑃
= 𝐵 の 𝑃 はどのように求めるのでしょうか。 ベクトル 𝒗1 が行列 𝐴 の固有値 𝜆1 に属する固有ベクトルであるとき、 固有ベクトルの定義から、𝐴𝒗1 = 𝜆1 𝒗1 となりました。 固有値 𝜆𝑖 と固有ベクトル 𝒗𝑖 で1次独立なものが 𝑛 個とれたとき、 それらを横に並べた行列 𝒗1 ⋯ 𝒗𝑛 は正則であり、これを 𝑃 とすれば、 𝐴𝑃 = 𝐴𝒗1 ⋯ 𝐴𝒗𝑛 = 𝜆1 𝒗1 ⋯ 𝜆𝑛 𝒗𝑛 = 𝑃 𝜆1 0 0 0 ⋱ 0 0 0 𝜆𝑛 なので、 これが行列 𝐴 の対角化の正則行列 𝑃 となります。
線形代数学 ⑧行列の対角化 正則行列 𝑃 の求め方 (例) 行列 𝐴 = −1
−2 3 4 に対して、 −1 1 は固有値 1 に, −2 3 は固有値 2 に属する固有ベクトルであった。 −1 1 と −2 3 は1次独立なので、 𝑃 = −1 −2 1 3 , 𝐵 = 1 0 0 2 とすると、 𝑃−1𝐴𝑃 = 𝐵 なので、これは行列 𝐴 の対角化である。
線形代数学 ⑧行列の対角化 対角化可能性 𝑛 次正方行列 𝐴 はいつでも対角化できるのでしょうか? 𝐴𝑃 = 𝐴𝒗1
⋯ 𝐴𝒗𝑛 = 𝜆1 𝒗1 ⋯ 𝜆𝑛 𝒗𝑛 のようできるためには、 行列 𝐴 の固有値 𝜆𝑖 と固有ベクトル 𝒗𝑖 で1次独立なものが 𝑛 個なければなりません。 各固有値の固有空間からとれる1次独立なベクトルの数はその次元以下なので、 をみたすことが、 𝐴 が対角化できるための条件になります。 の固有値 (固有空間の次元の和が 𝑛 と一致する) 𝜆∶𝐴 dim(𝑊(𝜆; 𝐴)) = 𝑛
線形代数学 ⑧行列の対角化 対角化可能性 (例) 行列 𝐴 = 1 0 0
1 に対して、𝐴 の固有値は 1 のみであり、 dim(𝑊 1 ; 𝐴 ) = dim 𝑐1 1 0 + 𝑐2 0 1 ∈ ℝ2 𝑐1 , 𝑐2 ∈ ℝ = 2 なので、 𝐴 は対角化可能である。 行列 𝐵 = 1 2 0 1 に対して、𝐵 の固有値は 1 のみであり、 dim(𝑊 1 ; 𝐵 ) = dim 𝑐 1 0 ∈ ℝ2 𝑐 ∈ ℝ = 1 なので、 𝐵 は対角化不可能である。
線形代数学 ⑧行列の対角化 対角化の応用 行列の対角化はべき乗の計算に利用できます。 行列 𝐴 が 𝑃−1𝐴𝑃 = 𝐵と対角化できるとき、𝐴𝑛
= 𝑃(𝑃−1𝐴𝑃)𝑛𝑃−1 = 𝑃𝐵𝑛𝑃−1 (例) 行列 𝐴 = −1 −2 3 4 に対して、 −3 −2 1 1 𝐴 −1 −2 1 3 = 1 0 0 2 と対角化できるので、 𝐴𝑛 = −1 −2 1 3 1 0 0 2 𝑛 −3 −2 1 1 = −2𝑛+1 + 3 −2+1 + 2 3 ∙ 2𝑛 − 3 3 ∙ 2𝑛 − 2
線形代数学 ⑧行列の対角化 対角化の応用 2次形式という2次の項のみでできた式 (例:𝑥2 + 4𝑥𝑦 − 2𝑦2) を
標準形という同じ文字の2次の項のみでできた式 (例:2𝑥2 − 3𝑦2) にする 変数変換を考えるときにも対角化が利用される。 (例) 𝑥2 + 4𝑥𝑦 − 2𝑦2 = 𝑥 𝑦 1 2 2 −2 𝑥 𝑦 と表すことができ、 2 1 1 −2 −1 1 2 2 −2 2 1 1 −2 = 2 0 0 −3 なので、 𝑥′ 𝑦′ = 2 1 1 −2 −1 𝑥 𝑦 と変数変換すると、2𝑥′2 − 3𝑦′2 = 𝑥2 + 4𝑥𝑦 − 2𝑦2
線形代数学 ⑧行列の対角化 まとめ ・行列 𝐴 に対して、𝑃−1𝐴𝑃 = 𝐵 で対角行列にすることを対角化という。 ・対角化に用いる行列は固有ベクトルを横に並べたものである。
・対角化可能の条件は固有空間の次元の和が全体の次元と等しいことである。 ・行列の対角化は、行列のべき乗を計算するときなどに利用できる。