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
線形代数というものの見方 / View from Linear Algebra
Search
kaityo256
December 08, 2020
Education
8
5.6k
線形代数というものの見方 / View from Linear Algebra
講義のオフィス・アワーの余談
kaityo256
December 08, 2020
Tweet
Share
More Decks by kaityo256
See All by kaityo256
論文紹介のやり方 / How to review
kaityo256
14
75k
デバッグの話 / Debugging for Beginners
kaityo256
9
1.3k
ビット演算の話 / Let's play with bit operations
kaityo256
5
370
GNU Makeの使い方 / How to use GNU Make
kaityo256
15
5.1k
制限ボルツマンマシンの話 / Introduction of RBM
kaityo256
3
1k
論文の読み方 / How to survey
kaityo256
219
160k
リンゴゲームと貧富の差 / Origin of the disparity of wealth
kaityo256
14
14k
渡辺研Slackの使い方 / Slack Local Rule
kaityo256
9
8.8k
時間の矢について / Time's arrow
kaityo256
12
17k
Other Decks in Education
See All in Education
【みんなのコード】文科省生成AIガイドラインVer.2.0 入門編
codeforeveryone
0
100
Monaca Education 活用事例セミナー:「年間通してMonaca Educationを活用する授業実践のご報告」
asial_edu
0
110
2024年度秋学期 統計学 第11回 分布の「型」を考える - 確率分布モデルと正規分布 (2024. 12. 4)
akiraasano
PRO
0
120
保育士チームが実践している連続的な観察と多面的な観察を共有するための振り返り / Reflection to share “continuous and multifaceted observations” as practiced by a team of childcare professionals
psj59129
0
3.4k
Mathematics used in cryptography around us
herumi
2
760
Semantic Web and Web 3.0 - Lecture 9 - Web Technologies (1019888BNR)
signer
PRO
2
2.7k
SAT Bootcamp and Course
syedmahadd
0
160
(モブ)エンジニアが伝えるアウトプット活動のススメ!! #カンリーLT
masakiokuda
2
220
Image compression
hachama
0
400
【2024 DojoCon】懇親会LT
teba_eleven
0
100
自分にあった読書方法を探索するワークショップ / Reading Catalog Workshop
aki_moon
0
310
Carving the Way to Ruby Engineering
koic
3
800
Featured
See All Featured
Easily Structure & Communicate Ideas using Wireframe
afnizarnur
193
16k
The MySQL Ecosystem @ GitHub 2015
samlambert
250
12k
Building Better People: How to give real-time feedback that sticks.
wjessup
367
19k
Mobile First: as difficult as doing things right
swwweet
223
9.4k
Designing for humans not robots
tammielis
250
25k
Designing for Performance
lara
604
68k
Improving Core Web Vitals using Speculation Rules API
sergeychernyshev
9
500
Navigating Team Friction
lara
183
15k
Principles of Awesome APIs and How to Build Them.
keavy
126
17k
It's Worth the Effort
3n
184
28k
Unsuck your backbone
ammeep
669
57k
Agile that works and the tools we love
rasmusluckow
328
21k
Transcript
1 線形代数というものの見方 慶應義塾大学理工学部物理情報工学科 渡辺 2020/12/8
2 先生方は線形代数が大事大事って連呼するけど、 何がそんなに大事なの?何を覚えれば良いの? 線形代数はもちろん大事な学問ですが、大事なのは 「線形代数」という「ものの見方」です
3 線形空間における要素の間の代数的構造を調べる学問 線形空間Vとは 要素の線形和がまたその空間の要素になる Ԧ , Ԧ ∈ ⟹ a
Ԧ + Ԧ ∈ 例:3次元ベクトル , () ∈ ⟹ a + ∈ 例:関数
4 「構造」が同じなら、もとが何であったか気にしなくて良い 3次元ベクトル 関数 内積 ( Ԧ , Ԧ )
≡ Ԧ ∙ Ԧ (, ) ≡ න ∗ 固有値 固有ベクトル Ԧ = λ Ԧ = λ = e 直交、基底、固有値、固有ベクトルといった考えが そのまま関数にも使える→フーリエ・ラプラス解析
5 • 円を10等分し、0から9まで数字を書く • ある段の「一の位」を結んでいく • 1の段から9の段までやる • どんな図形がでてくるか? 例:3の段
0→3→6→9→2→5→8→1→4→7→0
6 • 1と9、2と8など「足して10」になる数は同じ形 • 5は同じ形が存在しない なぜそんな性質を持っているのだろう?
7 0から9までの目盛りがあるダイアル 時計回りにn目盛り回す操作: 演算が閉じている = + 結合則が成り立つ ( ) =(
) 単位元が存在する 0 逆元が存在する この操作とダイアルの状態は群を作る −1 = 10−
8 反時計まわりに角度θだけ回す操作 ダイアルの状態をベクトル で表すと 1 0 = cos − sin
sin cos n目盛り回す操作: = 2/10 の表現 ※回転方向が逆だけど許して
9 = cos − sin sin cos 回転行列は直交行列 直交行列Mの性質 •
行・列ベクトルがそれぞれ正規直交基底をなす • 転置行列が逆行列になる = 1 = 0 = ∴ = −1
10 = cos − sin sin cos = cos sin
−sin cos = − 回転行列 回転行列の転置 右にn目盛り回す操作: 10− = − 10-n目盛り回すと逆元: −1 = 10− 転置とると逆元: = −1 = −
11 10− = − 10−5 = 5 右に10-n目盛り回す=左にn目盛り回す 自己共役 共役
同じ形を持つ操作の表現はお互いに随伴行列(エルミート共役)の関係
12 一次元調和振動子の運動方程式 ሶ = − ሶ = Ԧ () =
() () とベクトル表示すると Ԧ = Ԧ = 0 −1 1 0
13 Ԧ = Ԧ を形式的に解くと Ԧ = exp() Ԧ 0
exp = + + 2 2 2 + ⋯ + ! + ⋯ を計算する必要がある
14 行列の対角化 = −1 対角行列 = ( −1) = −1−1−1
⋯ −1 = −1 ∴ = −1 ※今回はこれ使わなくても計算できるけど
15 = 0 −1 1 0 exp = cos −sin
sin cos 一次元調和振動子の運動方程式 ሶ = − ሶ = 回転行列 は回転を表していた 回転行列の生成子 (微小回転)
16 時間発展が「回転」なのだから「半径」が保存する(※) Ԧ = 半径の2乗 | Ԧ |2 = 2
+ 2 = 2 • 運動方程式は微小回転を表している • 時間発展は時間を角度とした回転 • エネルギーは回転の保存量 ※より正確には、保存しているのは面積 エネルギーの2倍
17 「群を作る操作」の表現として行列が出てくる 操作の性質は行列の性質として現れる • 回転行列は直交行列 • 直交行列は転置が逆行列 • 回転の逆行列は逆回転 運動方程式にも行列が現れる
• 時間発展とは広義の回転である • 時間とは回転角度である • 行列の指数関数の計算に対角化が必要になる • 操作の保存量としてエネルギーが現れる (行列式が関係している)
18 今日説明できなかったけど重要なこと • 微分や行列は「線形演算子」として同一視できる • フーリエ変換は基底の取り換えである • 時間発展演算子の最大固有値の状態が平衡状態 • etc.
要するに何がいいたかったの? 行列とは広い意味で回転を表すと思うと いろいろ見えてくるものがあるということ ※要するに様々なところに線形代数が現れる