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
How were Quaternion discovered
Search
kinakomoti-321
August 30, 2024
Science
2
1.2k
How were Quaternion discovered
kinakomoti-321
August 30, 2024
Tweet
Share
More Decks by kinakomoti-321
See All by kinakomoti-321
Introduction for Projective Geometric Algebra
kinakomoti321
3
450
RT Camp 10 Renderer
kinakomoti321
0
140
SH,MonoSH Lightmap Shader
kinakomoti321
1
650
Henjou-Renderer
kinakomoti321
0
380
Volume Expression GGX(Microfacet)
kinakomoti321
1
2.9k
thin film interference BSDF and Bismuth Growing Algorithm
kinakomoti321
1
1k
Pathtracing technics for Caustics
kinakomoti321
0
1.8k
Other Decks in Science
See All in Science
重複排除・高速バックアップ・ランサムウェア対策 三拍子そろったExaGrid × Veeam連携セミナー
climbteam
0
190
非同期コミュニケーションの構造 -チャットツールを用いた組織における情報の流れの設計について-
koisono
0
210
Reconciling Accuracy, Cost, and Latency of Inference Serving Systems
pjamshidi
0
120
拡散モデルの原理紹介
brainpadpr
3
5.8k
The Incredible Machine: Developer Productivity and the Impact of AI
tomzimmermann
0
530
小杉考司(専修大学)
kosugitti
2
600
白金鉱業Meetup Vol.15 DMLによる条件付処置効果の推定_sotaroIZUMI_20240919
brainpadpr
2
680
化学におけるAI・シミュレーション活用のトレンドと 汎用原子レベルシミュレーター: Matlantisを使った素材開発
matlantis
0
430
論文紹介: PEFA: Parameter-Free Adapters for Large-scale Embedding-based Retrieval Models (WSDM 2024)
ynakano
0
210
白金鉱業Meetup Vol.16_数理最適化案件のはじめかた・すすめかた
brainpadpr
3
1.4k
インフラだけではない MLOps の話 @事例でわかるMLOps 機械学習の成果をスケールさせる処方箋 発売記念
icoxfog417
PRO
2
710
02_西村訓弘_プログラムディレクター_人口減少を機にひらく未来社会.pdf
sip3ristex
0
120
Featured
See All Featured
Making Projects Easy
brettharned
116
6k
Building Better People: How to give real-time feedback that sticks.
wjessup
367
19k
Practical Tips for Bootstrapping Information Extraction Pipelines
honnibal
PRO
12
960
A designer walks into a library…
pauljervisheath
205
24k
The MySQL Ecosystem @ GitHub 2015
samlambert
250
12k
Faster Mobile Websites
deanohume
306
31k
Responsive Adventures: Dirty Tricks From The Dark Corners of Front-End
smashingmag
251
21k
Being A Developer After 40
akosma
89
590k
Rails Girls Zürich Keynote
gr2m
94
13k
Gamification - CAS2011
davidbonilla
80
5.1k
Creating an realtime collaboration tool: Agile Flush - .NET Oxford
marcduiker
27
1.9k
Designing Dashboards & Data Visualisations in Web Apps
destraynor
231
53k
Transcript
四元数がどうやって発見されたか kinankomoti
四元数 Quatanionとは 虚数単位が3つあるとして虚数単位 について以下の関係がある 実数 で定義される。ここでは 𝟜 と表記 𝟜 複素数の拡張として考えられている
3DCGとかだと回転とかに使われるアレ
四元数 Quatanionとは ハミルトン(William Rowan Hamilton)さんが見つけたとされている 1843年ぐらいに発見、嬉しすぎて橋の欄干に式を彫ったらしい 物理学では昔使われてたらしく、ベクトルの基礎となった
複素数の次? 実数(一元数)、複素数(二元数)ときて次は四元数 虚数単位の関係もなんかキモい感じある どうやって見つけたん? 三元数的なのは存在しないの? 実は三元数は存在しない(できない) だが、四元数の根底には三元数の考え方がある 虚数単位の変な関係もそれに基づいている
三元数 虚数単位が二つあるとして、虚数単位 を導入する 実数 を用いて、三元数 𝟛 を次のように導入する 𝟛
三元数 三元数は複素数の拡張であってほしい なので少なくとも次のような性質が欲しい 1. 加法と乗算で閉じている 2. 任意の元 に対して絶対値について次のような式が成立
三元数 三元数は複素数の拡張であってほしい なので少なくとも次のような性質が欲しい 1. 加法と乗算で閉じている 2. 任意の元 に対して絶対値について次のような式が成立 実はこれはどうやっても三元数は満たせない そのため、三元数は存在しない
1. 加法と乗算で閉じている 加法はOK 𝟛 乗法は?
1. 加法と乗算で閉じている 加法はOK 𝟛 乗法は? -> はどう扱えばいいの?
簡単な証明(A) 実は三元数が存在しないことの証明は を使えば簡単 は1の要請から何らかの三元数であるべきである ここで左側から をかけるとします (後々非可換の話が出るのでわざわざ左といっています)
このような方程式が得られる 各係数は0であるべき、だが の係数から これは が実数であるという仮定と反する 少なくとも は三元数ではない 乗法は閉じなくなってしまう
ほんとか? 簡単すぎる・・・ なんか変な処理入れてない?(ゼロ割とか) ここで二乗した値を調べると...? そのルートを取ったら...?
は or でもいいのでは! こうしたら乗法を閉じれる 一旦 を として話を進めてみる (間違ってたらどこかで破綻するはず)
2.絶対値の関係式 絶対値の定義は複素数からそのまま拡張して次の定義とする 以下の関係式が成り立ってほしい 二乗して次のようにしても良い(ルートがあるとややこしいので)
一旦、 の場合を考える(ルートを取って話したいので二乗) 右辺はノルムの定義から 左辺は先に を計算してから求めれば が ということを思い出すと
?
? 式が合わない!!!!!! の項が邪魔すぎる!!!!
三元数はやっぱ無理では...?
三元数はやっぱ無理では...?
整合性を合わせるため、 は非可換( )と考える をひっくり返すとマイナスが付く、そういう数にしよう! そうすると は...? の項が消えた!
非可換の時の が非可換になった時、二乗の値はちょっと変わる 従って、 の値は 𝟛 少なくとも三元数であるので(1)の条件は大丈夫そう (A)は未だに成り立つけど
任意の絶対数の関係 自分同士の絶対値の矛盾は何とかなった このまま任意の三元数同士やってもいけるのでは? 左辺を計算
右辺は...?
比較すると 展開しても一致しない の項がまた邪魔に...
比較すると 展開しても一致しない の項がまた邪魔に... だけど、位置が違うだけで似たような式になってない?
三元数は無理そう... 三元数はやっぱり自然な(?)拡張ではやっぱり無理そうだ...
だけど以下のように を定義するとうまくいきそうだった
を新しい元 としたらうまくいくのでは!と閃いた 四元数の発見となった
四元数の発見 新たな元 を導入、 との関係式を以下のように定義 また の非可換性を導入 の二乗が となるのも自然に導かれる
絶対値の関係 絶対値を四元数 𝟜 にも導入 𝟜 先ほど話していた三元数 の積は四元数の範疇では
これは右辺と一致する! 四元数の範疇では三元数の積を取り扱えるようになる!
四元数 四元数の各元の性質は と の関係から導くことができる これを使って調べてみると四元数はちゃんと以下を満たす 加法、乗法に対して閉じている 絶対値の法則が成り立つ (その他、複素数に成り立つ法則も) 複素数の次の数として四元数が考えられた!
余談 四元数の次は八元数octonionがあるらしい しかし結合則が成り立たなくなるとのこと 更に高次のものもある(十六元数sedenion) ただしどんどん法則が失われていくらしい まともに扱えるのは4元数まで 2の累乗の元で考えられる
まとめ 少なくとも自然な(?)拡張で三元数は定義できなかった 積がどうしても閉じない( が定義できない) うまく式が合わせるように元を導入したら四元数が出てきた 虚数単位の関係性も三元数の考察を見れば順当 追記 9/1 今回話していた「数の条件」というのはノルム多元体というもの
参考資料 矢野 忠 (2014). 四元数の発見 海鳴社 物理のかぎしっぽ 七次元の外積 数学活用塾「数(KAZU)」 三元数
木村 真琴 複素数と四元数 茨城大学オープンキャンパス模擬授業