四元数への招待

ある条件を満たしつつ数を正確に拡張していく話は別の機会にて。
ここでは雰囲気だけを味わってみてください
---------------------------------------------------------------------------------------------------------
【ヨビノリたくみの書籍一覧】
「難しい数式はまったくわかりませんが、微分積分を教えてください!」
amzn.to/33UvrRa
→一般向けの微分積分の入門書です
「難しい数式はまったくわかりませんが、相対性理論を教えてください!
amzn.to/33Uh9Ae
→中学の易しい数学しか使わない相対性理論の解説本です
「予備校のノリで学ぶ大学数学 ~ツマるポイントを徹底解説」
amzn.to/36cHj2N
→数学動画で人気の単元を書籍にしてまとめたものです
「予備校のノリで学ぶ線形代数」
amzn.to/2yvIUF1
→ヨビノリの線形代数の授業が書籍化されました
----------------------------------------------------------------------------------------------------------
予備校のノリで学ぶ「大学の数学・物理」のチャンネルでは
①大学講座：大学レベルの理系科目
② 高校講座：受験レベルの理系科目
の授業動画をアップしており、他にも理系の高校生・大学生に向けた様々な情報提供を行っています
【お仕事のご依頼】はHPのContactからお願いします
【コラボのご依頼】はHPのContactからお願いします
【講義リクエスト】は任意の動画のコメント欄にて！
【公式HP】はこちらから(探している講義が見つけやすい！) yobinori.jp/
【Twitter】はこちらから(精力的に活動中！！)
たくみ(講師)→ / yobinori
やす(編集)→ / yasu_yobinori
【Instagram】はこちらから(たくみの大喜利専用アカウント)
/ yobinori
【note】はこちらから(まじめな記事を書いてます)
たくみ(講師)→note.mu/yobinori
やす(編集)→note.mu/yasu_y...
----------------------------------------------------------------------------------------------------------
【エンディングテーマ】
“物語のある音楽”をコンセプトに活動するボーカル不在の音楽ユニット”noto”（ノート）
KZbinチャンネル『予備校のノリで学ぶ「大学の数学・物理」』の主題歌として書き下ろした一曲。
noto / 2nd single『Telescope』（feat.みきなつみ）
*****************************************************
noto公式KZbinチャンネルにてMusic Video フルver.が公開中！
【noto -『Telescope』】
• noto -『Telescope』（feat...
【みきなつみ公式KZbin】
/ @mikinatsu_official
----------------------------------------------------------------------------------------------------------
※上記リンクURLはAmazonアソシエイトのリンクを使用しています

[@lightled9659]

幼稚園の頃10より上の数があることに衝撃を受けて今は複素数より外の世界があることに驚いている

[@user-namakoyonezu]

100まで数えられるお友達はヒーローだったなあ

[@女生主タロウ]

幼稚園のこととか給食毎日残してたことしか覚えてねーや

[@user-vp8bm9kf1x]

その時デンマークに移住したらそれ以上数えるの辞めそう

[@MrBoushikun]

幼稚園の頃からいじめられてたことしか覚えてねえな

[@女生主タロウ]

胸にかける 馬鹿って言う方が馬鹿なんですねぇ！！！！！じゃけんあの世逝きましょうね〜〜〜！！(全ギレ)

[@吉野信吾-d3h]

今から40年前の授業中に、複素数より広い概念ってあるんですかと質問したときの答えが「四元数」でした。なので40年ぶりに「四元数」という単語に出会えて、大変感動しました。ありがとうございました。

[@pontuku5661]

趣深いですね😊

[@bird__L]

博識おじいちゃん大好き

[@桑折真吾]

むず😂

[@bb-lz6eo]

素敵な物語だなぁ

[@やし-j2u]

ヨビノリのギャグは勉強で疲れてる時聞くと鼻で笑ってそのあとジワジワくる

[@Mokkon]

最初にこの四元数があって、これをヒントに外積や内積、そして線形代数ができあがったという歴史を本で知った時は胸熱だった。 線形代数の計算って、あんなに単純に見えてもゼロオリジンで出来上がった物ではなく、こんな感じで知識を積み上げつつ完成されていったんだと。 今では、線形代数は高校で習い、四元数は専門レベルでならう内容。

[@エフェドリン-d5y]

線形代数は高校で習いませんよ

[@ポアンカレー-s6h]

興味があるのですが、どういった本か教えて欲しいです！

[@kure254]

@@エフェドリン-d5y ベクトルは線形代数ですよ。

[@エフェドリン-d5y]

くれ ベクトルが線形代数の一部ってことで全てを習うわけではないので言いました

[@anubisu1024]

@@エフェドリン-d5y それ「日本史は学校で習いませんよ」「全てを習うわけではないので」って言うのと同じだぞ

[@pef9021]

講義で教授が雑談で四元数、八元数の話をして別学科ながら興味が湧いた思い出。 解説してくれて助かる。

[@ぺゆまおも]

ゼミで必要な調べものしていた時「く、クオータニオン…？」ってなったので、全信頼を置いているヨビノリさんのチャンネル行けばワンチャンあると思い来てみたら案の定あって感動しています。初めてコメントしました。いつもお世話になっています。

[@nanasanasana4592]

逆に乗法の交換法則や結合法則だけを犠牲にするだけでうまく数の体系を広げることができたのがすげえな

[@伊達政宗-j2r]

これ

[@Mr-oe6hd]

結合法則崩れるのは流石にやばい

[@dgrgasshurn]

逆に今まではたまたまその法則が成り立っていただけ

[@FragariaChocolate]

​@@Mr-oe6hd四元数をさらに拡張した八元数では結合法則は満たさないよ。

[@youseke0701]

ドローンの制御プログラム作るのに四元数を理解する必要があったのでめちゃくちゃ参考になりました。

[@se--ya]

8:48 「滑舌が犠牲になってるな」 →ってことは、ファボ4かファボ8になってるのか!? 10:29 「jnj jdsって読むようになります。」 →やっぱりファボ0のままだった。

[@伊藤優作-d5u]

16:12四元数が好きな人が「ゴロリ」と増えた わくわくさんのくだりしつかり回収してて草

[@peppepein]

それ思った…笑 最後の最後でちゃっかり回収してて草

[@sk-sg1en]

3:57　ここでもさらっと「もう一個軸を作って遊ぼ」って言ってるね

[@peppepein]

ビニールビニール ほんとだ…笑

[@れれれもん-x6k]

さすがふぁぼぜろ

[@kiichiokada9973]

11:06 x1x2ijとかx1x3ikとかってどこ行っちゃったんだろ

[@seedo5606]

電気系学生のわい、普段電流の記号と混ざらないように虚数記号にjを使ってるせいで余計に混乱している

[@栗と栗鼠-h6f]

わかりみの底無し沼

[@リュウセイ-k1p]

なぜjにしたのか…

[@AtEl-ff5uf]

@@リュウセイ-k1p iの次の文字だからなんだよなぁ

[@flatline576]

理系じゃないからわからんけど電気系ならjってジュールに使わんの？

[@keketube95]

@@flatline576 大文字Jがジュールで虚数は小文字jです。そもそもジュールは単位なので混ざらないです。

[@yasuine5100]

kinki kidsがjnj jdsに見えるとはよっぽどの数学狂ですね。 私は八元数どころか四元数すらこの動画で初めて知りましたが確かに物凄くワクワクしました。 国や土地によって文字が変わり、言葉にすると同国内でも聞き取れない訛りが発生すれども数式は世界共通であるのも面白いですね。

[@gosshi5197]

jk = i つまり、JKは愛ですね ファボゼロです

[@gosshi5197]

@Abigail Mares wat do u mean.....

[@野口さん-l5r]

@@gosshi5197 what do you mean...

[@Akita_ken2236]

わっどぅゆーみーん

[@pcphn7975]

わっ!どういう意味?

[@お賽銭箱]

二乗したら−

[@なちすけ-b3l]

掛け算の順序にうるさい小学校の先生は四元数で考えていたのか。

[@RYO-wd2cp]

結合法則や交換法則が当たり前だと思ってはいけないってことですよね．

[@あでのしん-z2k]

なるほど笑

[@いいちこ-u8x]

RYO ()の位置変えようが順番変えようがこんな当たり前なことになぜわざわざなんちゃらの法則〜みたいな大それた名前付け点だろうって思ってたけどこういうことだったのか

[@あふあふふ-w7j]

行列でも同じようなことがあるよ

[@user-julio2001]

@@あふあふふ-w7j A x B

[@physalia7883]

ほんとにヨビノリさんの動画見る度に思うんだけど、黒板消しで綺麗に消すの上手すぎない？

[@おいしいみゅーだ]

深掘りしたり気持ちの部分話してくれるの好きぃ 八元数…あんまり聞かない…笑

[@石黒達也-z2l]

この授業のおかげで、現場で四元数に遭遇しても頭を抱えずに済みそうです。 あと、いつかカルマンフィルタの授業もやって頂けると嬉しいです。

[@torimoti]

高校生の時にiは実部と虚部に分けられるツールで一つの式にxy成分を表せるものって気づいた時に、それなら3つもできるんじゃないかって思ったけど、「文字が２つあると文字同士の項が出てごっちゃになる〜」「j²=-1以外の良い特殊な数字ないか〜」ってなって考えるの疲れてやめたけど、どこかの天才さんたちが叶えてくれてたのか！

[@あでのしん-z2k]

とりもち 高校生でそんなこと考えるとかあなたも相当頭いい笑

[@君子-w9c]

胸にかける 急に罵るの草

[@あでのしん-z2k]

胸にかける 草

[@cassisnk]

急に煽ってるやつ、自分も頭いいって言われたいんだろうなぁ…

[@MOCHIMONCHIarea]

@@胸にかける スピード感あって好き

[@eastofodenss]

今更だったら申し訳ないんだけど8:19の編集地味にすごくて好きです

[@小林カムイ]

ペチンという良い音が、病み付きになりそうですね？

[@shion_aster]

実数⊂複素数⊂三元豚⊂四元数⊂八元数

[@amolaquila]

三元豚は草

[@864ru-to8]

三元豚は豚

[@DjblRkobeErkAdbM5]

今日もファボゼロのボケかーと思ってたら、最後に「ゴロリ」でしっかり回収していくの好き

[@katsuraiwamoto7241]

前職でCG(OpenGL)を使ったレンダリング・画像処理の実装に四元数を使っていました オイラー角と比べてジンバルロックがなく、回転行列よりもシンプルに記述できるなど非常に便利でした 当時は独学でなんとか対応しましたが、やっぱりヨビノリはわかりやすくていいですね

[@kazuhisanakatani1209]

ちょうど『3D‐CGプログラマーのためのクォータニオン入門』読み始めたとこ。超タイムリー。

[@L4ScYVXNm]

高校の時複素数を習って動画冒頭のように三次元や高次元の複素数（仮）のようなものがあれば便利なのにと考えてました 数学素人が考えることは先人がとっくに研究してて驚いたと同時に高校の頃の自分の着眼点もあながち悪くなかったのかなとも思えました。

[@opaiopai881]

そんなん誰でも考える

[@L4ScYVXNm]

むらきた やっぱ考えますよね〜 考えるの楽しいですよね〜

[@ゆらゆら-g6z]

え、えぐ、わくわくさんの話を序盤でしておいて、最後にゴロリ出してくるのえぐいって！！

[@eishin9109]

最初のワクワクさんを 最後きちんとゴロリで回収してるのが綺麗すぎ！ ちなみに1番笑ったのはワクワクさんのくだりです。

[@ポンコツ屋末代]

掛け算の順番の話は行列の話を思い出しました。 たくみ先生のボケはファボを犠牲に、、、、😭

[@lain3389]

クオータニオンはめっちゃ3dゲームの製作に使っています。ただ完全には理解してないのでもっと勉強したいですね

[@ゼロをズィロゥと発音する男]

すご

[@ぱんぷきん-i5k]

3次元の回転はホンマに意味不明です

[@QunoxtsStudio]

クォータニオンはベクトルのお母さんですし……ね？

[@てけ-f6v]

4:20 ヨビノリ自画像

[@かい-y8t]

なんでも論破【神動画投稿者】 おいこら

[@ナダオレチカチーロヤジャン]

いや草

[@22sota45]

13:43 の方は立体像

[@user-gorigorin]

かい おいこらで反撃すんの草

[@hoshikazo]

滑舌が犠牲　は褒められて良いと思う 四元数で連想するのはij=-ji=kなどから外積、 そこから三次元内空間内の回転 それに相対論 面白そうだなあ

[@ねこみみ-y5y]

すごく面白かった〜 半径1の球面上にあるって言われて感動した

[@電磁郎-d8k]

クォータニオン(四元数)は、回転を伴う3次元空間上の座標計算が必要だった時に勉強しました。たしか、オイラー角(ロール、ピッチ、ヨー)を用いた座標計算の欠点である「ジンバルロック」が克服できるらしい。たぶん、ドローンの姿勢制御プログラムなどにも使われているはず。数学は実際のモノ作りにも役に立ちますよ！

[@レイナ-q5i]

kinki kidsのボケとかどうやったら思いつくんですか笑 ボケとほっぺぺちんのエフェクト最高ですねw

[@to1347]

実数→複素数→四元数→八元数 2^0=1→2^1=2→2^2=4→2^3=8 ってことで2^4=16元数とか2^5=32元数とかもあるのかな

[@もるぜん-e6s]

惹かれるサムネ作るの上手すぎる

[@山田-l5q]

一元数・二元数・四元数・八元数って並びを見るとどうしても十六元数があるんじゃないかと思ってしまう

[@tinydreaminglion3478]

ある

[@bdiwisjdbhhkkqoqk]

あるぞ

[@pyropegarnet9540]

Q=a+bi+cj+dkとしたとき、これをQ=a+bi+(c+di)jとあらわすことができる。これは「複素数の複素数」だ。こうして「複素数」を拡張してゆくと、二・四・八・十六・・・になるらしい。ところで理論物理の「超弦理論」は現在11次元で構成されているが、実は16次元なんじゃないか。11元数では数学的に破綻してしまうだろうから。俺にはさっぱり分かんないが。

[@bizenseto]

「○元数」の「○」の部分にもっと大きい数を入れる場合を考えると、漢数字では扱いにくい。 将来はアラビア数字を使って4元数とか8元数と表記するようになるのでしょうかね。 そういえば、「○角形」の表記も小・中学校では漢数字ですが、高校・大学と進むにつれてアラビア数字に巡り合うようになりました。

[@chopiabin9944]

文系なので式など理解できない事は多いのですが、本当に面白いですね。 数というのは概念であって、概念だからこそ、それを拡大すると更なる公理系が出現するというのは実に興味深いです。 数学は宇宙の不思議を感じさせてくれる学問ですね。

[@mumisaga1412]

気になって調べたら十六元数も定義できるんですね とすると三十二元数や六十四元数も定義ができる可能性が四元数レベルで存在する…？

[@本Dトーマス]

その度に法則がなくなっていってキツそう

[@かここ-f3i]

2進数で進んでくのおもろいなぁ

[@y8e-k2n]

四元数の概念自体は空間における回転みたいな感じでなんとなく知ってたけど方程式の解の数とかからみたことなかった なんか新鮮 ワクワクする

[@Mokkon]

四元数の応用はどこもかしこもクルクル回すばかりで、本来の複素数の拡張という要素がすっかりなくなって寂しいですね。 回す応用に効果てきめん過ぎた？

[@inla8784]

最後、ワクワクさん繋がりで”ゴロリ”と増えたと言ったのですね。首尾一貫してて好きです。

[@tena9079]

ありがとうございました。 わかりやすく、しかも、面白いです。 しかし、頭を強烈に使うので、見終わった後に強烈な頭の疲労感に襲われます。 眠りたいときに見る動画としても最高かもしれません。 ありがとうございました。

[@hiroshikito5503]

今回も、私の数学の知識の地平を広げてもらいました。感謝します。

[@sunawo]

自然界に反粒子が存在しないことは、直感的には、素粒子レベルには非可換な世界があることを裏付けているような印象をうける

[@SahhiiChannel]

これずっと気になってたやつーーーー！！！！ まさかヨビノリに教えてもらえる日が来るとは、、、！！！

[@tamotsustop]

1:24 つまりヨビノリはワクワクさんの始原である、と

[@torimoti]

すげえ、ワクワクさんとアンパンマンを作ったやなせたかしの関係が何かないかと調べたら何もなかったです！

[@ららたむ]

外積が実部を0にした四元数の積だーってわかってからカッコつけて四元数使って計算してた笑

[@y8e-k2n]

かっこよ

[@Mr-oe6hd]

猛者

[@某学部員]

kinki kidsのくだりで不服にも笑ってしまった

[@ABS_keireiguma]

複素数平面習った時、これもうひとつ軸増やせないのかなって思ってたけど、やっぱりあるんだ

[@まるまる-p5c2v]

その視点持ってるのすごい

[@反町匠]

「複素数の基礎の基礎から学べる書籍」に記載があった内容だ。 交換法則が成り立たないことが抜けていたから、計算を間違えた記憶がある。

[@yukim.7518]

四元数という複素数より広い数があることが面白かったです！

[@asatch14]

数を拡張していくと何かしら犠牲になる法則があるのって逆に、大きい数の括り(八元数)の中でも乗法の結合法則が成り立つのが四元数、四元数の中でも乗法の交換法則が成り立つのが複素数と定義されていると考えると納得ですね。台形のうち、もう1組の対辺も平行なものを平行四辺形とするみたいに。 実数から複素数に拡張するときには何か犠牲はあったんですかね？

[@宮永壮]

かしこい

[@ぴおみず]

ぱっと思いつくのだと√a×√b=√abは犠牲にされてますね

[@FragariaChocolate]

一番大きいのは順序（不等式）だと思う。複素数では 1 < i みたいな順序を考えることができないからね。

[@氷鹿印のミルクコーヒー]

10:35 ここさらに -n jds にできそう(nが実数なら)

[@hakuhakuhakuhaku0]

現代制御で急にこれがでてきて意味わからんかったからありがたいです

[@lockerscoin9766]

ちょうどワクワクさんの起源を知りたかったので助かりました！！

[@私は見逃しません]

jnj jdsは正直めちゃくちゃおもろい

[@たまぱす]

例えば16元数、32元数と増やして行った時に最後まで残る性質ってどんなんなんだろう。

[@グレブナー基底-e7w]

定義によるんじゃないですか？ 四元数の場合も乗法に関して閉じていると言う性質を犠牲にすれば交換法則が成り立つように出来るかもしれないですし(知らないけど)

[@hiroakinakajima]

16元数だと零因子(逆数が存在しない)が出てきて割り算ができない場合があります。

[@サテラ-y3f]

ランゲルハンス島民 例えばね

[@ぎゃばん-c1b]

じゅうろくげんすう

[@makoto7296]

16元数から先はないことが存在しないことが証明されているらしいですよー

[@kodai1022]

1990年につくってあそぼが放送開始されたのでその際にヨビノリたくみのワクワクがワクワクさんを産んだとすると、2020年現在ヨビノリたくみの年齢>=30でなければいけない。 という絶対に他のことに頭使った方がいい思考をした。

[@マーチャン-i1p]

毎回毎回興味深い動画をありがとうございます

[@イーソー君]

人間が作り上げた概念なのに謎が多いって不思議だなぁ

[@皐月ぽきまる]

作り上げたってか発見したんやぞ

[@phpw9709]

@@皐月ぽきまる 作ったんだぞ

[@皐月ぽきまる]

@@phpw9709 数式や定理を何かを導くために作り出す行為には、たしかに発見のほか発明も含まれると思うけど、概念自体は人間が存在する前から宇宙に存在していて物理法則を機能させていたんだから、概念を人類史上最初に見つけた場合にはそれは発明じゃなくて発見だろjk

[@phpw9709]

@@皐月ぽきまる 物理学と数学がごっちゃになってるようですが、 物理学が近年ですと理論で導かれた数式を、それがきちんと現実世界で機能しているかチェックするために実験を行って理論実験共々矛盾ないので新たな理論として物理体系に組み込まれるのに対し、 数学は人間が勝手に取り決めた「公理」を出発して理論を構築し、これに無矛盾な定義であったりこれから出発してできた定理がうまく公理に戻って来られれば数学体系に組み込んでいいよ、というアプローチ方法が取られているのは分かりますよね？ 僕は物理学徒で数学にはあまり明るくないですが、大学で初年度程度の単位を収めているかそれに準ずる知識を持っていればこの違いは明白だし、あなたのような恥ずかしい間違いはしないと思うんですが

[@phpw9709]

@@皐月ぽきまる さらに噛み砕くと、「人間が決めた公理」⇆「定義や定理など」を行き来しているだけなのでそこに現実の介在はないと思われますがどうですか？ 最もこれが数学の面白いところで、勝手に決めたのに現実世界で役に立つものも何個かあったというのは往々にしてあるんですが

[@L4iAkarui]

四元数を取り上げてくださり、ワクワクさんを生み出してくださりありがとうございます。ｗ クリフォード代数についても、いつか授業してもらえると嬉しいです。

[@一松総一郎]

多分視聴者が付いてこれないw

[@L4iAkarui]

@@一松総一郎 たくみ先生の秀逸なギャグで面白おかしくクリフォード代数を料理してもらいましょうw

[@コーシーとシュワルツ]

→ → → → OA×OB≠OB×OA 外積とも関係するんかなぁ

[@hiroakinakajima]

関係します。i,j,kをそれぞれi軸、j軸、k軸方向の単位ベクトルと考えれば、ij=-ji=kなどは外積そのものです。

[@sekibun_integral_C]

そもそも四元数の考えをベクトルに持ち込んだんですよ

[@Mr-oe6hd]

空間ベクトルやってたからその解説はありがたいです

[@mirimiri3300]

Hiroaki Nakajima すげえ

[@Minakami-37143]

現在高校生なんだけど、複素数習った時に、空間ベクトルみたいに軸もう一本増やして定義できないかと思い定義してみた結果、既に過去の人がもっと深く定義してたことを知って萎えた記憶があります。

[@cho1939]

噛むたびに自分のほっぺ叩いてるうちに膨らんできてアンパンマンになれたんですね！

[@つぐつぐ-q3h]

なるほどなーそれなら話が繋がる

[@marimerygm]

名考察

[@themrpsychodragon]

元の数が増えたから解の自由度も増えたんだなあと解釈できる

[@加護志摩雄]

なるほど！四元数ってCGで活用されるんですね。たしかに写像変換には便利ですよね。 極形式で3次元を考えるのは目からウロコです。この動画を観ていてお化け煙突を連想したのは私だけ？

[@lsp7670]

〜元数ってもしかして〜に当てはるのは〔2^x〕ですか? 例えば 1:実数 2:複素数 4:四元数 8:八元数 (16:十六元数)... 八元数の先の世界も知りたいです！

[@_fliszt4908]

1,2,4,8の時はある程度扱いやすい法則があるけどそれ以外の時はそれらの法則が満たされないので16元数などが存在するとは言えません。定義はできると思いますが。

[@kokiri1186]

2^n元数(n:自然数)が定義できて、そこから2^x元数(x:実数)が定義できたりするんだろうか そうなるともはや意味をなさないかもしれないけど

[@_fliszt4908]

kokiri 118 項の数がおかしくなりそう笑

[@ナヒージョ]

1:30 ヨビノリがワクワクさんを作って遊ぼしちゃったのか

[@kahori1214]

もっと根本的に複素数よりも拡張された数が必要な状況って何なんでしょうか。 自然数で割り算をすると自然数じゃない場合があるから拡張して有理数 有理数の平方根や超越数など有理数じゃない場合とかがあるから拡張して実数 実数の範囲である負数の、平方根が実数の中にないから拡張して複素数 複素数に何が足りないから、四元数まで拡張しないといけないのか 回転に便利、とかいうのは、数の使い方としてかなり高度なものだし (α, θ)×(β, φ)=(α×β, θ+φ) みたいな極座標表示などの表記法で解決できる問題な気もするし コンピュータさんにとっては行列よりも計算量がそんなに楽になるんですかね。

[@山崎洋一-j8c]

数学的発想に浸かり過ぎているせいか、そういう発想が新鮮に感じました。 確かに、数の拡張の動機としては、負の数や有理数や平方根や虚数を考える理由付けで、四則演算や代数方程式で例外をなくしたい！という説明がよくされますよね。（超越数は代数方程式じゃないけど、極限操作でも例外をなくしたい！ 代数的数だけじゃスキマだらけで足りないし。） でも代数方程式も、極限も、複素数体で話が閉じてしまう（気取って言うと代数的閉体で完備）。 その先は、「必要性」とかでなく、「複素数を含むさらに大きな多元体（実係数のベクトルみたいに書ける数で、四則演算が普通に自由にできる閉じた体系）ってあるの？」→「完全なものはない。乗法の可換性だけあきらめるなら四元数体、他の法則をあきらめないならそれで打ち止め。」という、純粋に数学的事実の追求でしかない気がします。 3次元幾何への応用は線形代数・ベクトル解析ですべてできるから、四元数でやるメリットってメモリが少なくて済むこと（行列だと成分が多くなるので）くらいだろうし。 6:50の包含関係の図が、進撃の巨人の壁に見えたりして。中にいても平和で何の不足もないのに、なぜ壁の外へ出ようとするのか。何の必要性があるのか？ …海が見たいから！みたいな。　犠牲は覚悟（笑）

[@kahori1214]

ありがとうございます。 必要性という意味では複素数でちゃんと閉じている、ということがわかりました。つまりそれ以降の拡張に関しては、犠牲になるものの価値の捉え方によって「妥当な」「誰もが納得する」拡張の仕方が変わる可能性がある、ということですね。 だからこそ、3次元空間の回転に便利、という「数学なんて勉強して何の役に立つの？」に対する回答があることが動機として強くなるんですかね。 あとは、平方数が負数になる場合（x²=-1　の解）があるなら 絶対値が負数になる場合（|x|=-1　の解）は定義できるのか、というあたりが素人目線での興味ですね。

[@山崎洋一-j8c]

ははあなるほど…　x²=-1 と |x|=-1 って“方程式”として捉えると似てますね。 ただし、x²=aは四則演算だけでできている「代数方程式」ですが、|x|=-1はそうではない。そうすると、「絶対値ってそもそも何？」ってことになります。 ちなみに、実数の2乗が負にならない理由は、〈2乗〉という代数演算と、〈大小関係〉がシンクロしていること（不等式の両辺に正の数を掛けても大小関係が保たれるとか、負の数を掛けると必ず逆転することetc.）から導かれます（気取って言うと「順序体」が自動的にもつ性質）。ここで、〈正〉とか〈負〉とかは、そもそも「0との大小関係」であることに注意。 それで、x²=-1に解がある世界（複素数）に拡張するには、必然的に大小関係（順序構造）をあきらめなければならなくなる。 いっぽう〈絶対値〉は、0との〈距離〉を表す実数なので、定義上、負でない。たとえば〈確率〉が負にならないのと同じような。 x²が正になるか負になるかは“結果論”だから前提を変えれば変わりうるけど、 |x|が非負なのは“定義”だからどうしようもないというか。 符号を〈向き〉とみなした「負の面積」とかもあるし、「値が複素数である面積」（測度）まであるくらいだから、「負の距離」だって作れるかもしれないけれど、そもそも〈絶対値〉の意義は「複雑な対象のサイズを、実数を利用して把握するためのもの」（気取って言うと〈ノルム〉）だから、〈絶対値〉の定義に含まれる“非負”をはずしたら、それはもはや別の概念になるでしょう……

[@kahori1214]

数学っておもしろいですねぇ。 複素数　z=x+yi　の絶対値　|z|=√(x²+y²)　であることを前提として 四元数　q=a+bi+cj+dk　の絶対値　|q|=√(a²+b²+c²+d²)　である、ということには何の違和感もなく、またa, b, c, dは実数でその平方の和だから必然的に非負数になることも直感に反しない一方で 四元数を「複素数　z=x+yi　のxとかyが複素数だったらどうなるの？」という動機から始まる拡張であり x=a+cj, y=b+dj　として　q=a+cj + (b+dj)×i = a+bi+cj+dk　である なんて方針で定義したとしたら |q|=√(x²+y²)=√{(a+cj)²+(b+dj)²}　とする なんて主張も一応アリな気がしちゃって、となると絶対値の範囲が複素数に拡張されて... と思ったけど |q|=√(|x|²+|y|²)=√(|a+cj|²+|b+dj|²)　とする の方がスマートな気もしてきました。 絶対値を0および正の実数の範囲から拡張するには、実数→複素数→四元数ではない方向に拡張した数（それこそ、何の役に立つかわからない数）を定義しないといけなさそうですね。 絶対値を負数を含めた実数や何なら複素数の範囲に拡張するための数、という本末転倒な定義ですね。 ごちそうさまでした。

[@須賀晴哉]

100年以上前までの古典力学は、ベクトルじゃなくて四元数を使っていたらしいですね ベクトルが使われるようになったのは、ギブスがエール大学での講義で用いられたのが最初だとか

[@22sota45]

ベクトルの方が歴史浅いなんて驚きでした…！やはり習う順≠歴史順ですね…

[@ぽんぽん-d2q]

んー、なるほど、わからん、どこまでマニアックなんだ え、つまりは、このわけわからんのが現実で必要とされてるのか!!!

[@yamishinji1815]

本で行列使って数を考える話があって面白そうだったんで、やってください！

[@なんでもつくるレイのなんでもチャンネル]

楽しかったです。が、三元数が存在するのは難しいのくだりがちょっとよくわからなかったので、そこをもう少し丁寧にやってもらいたかったです。

[@糀谷浩一-x6v]

四元数のゼータ関数がどうなるのかを知りたい。

[@22sota45]

ふぁぼゼロのボケに耐えきれず低評価を押しかけたが、ぐっと堪えました。

[@dk4014]

堪えるのはストレスになるので、押した方が良いですよ! 偶数回押すのがオススメです！

[@pascal8790]

代数学は複素数で完結できていたはずですが、そんな拡張をする必要性や使われる場面はどこにあるのでしょう

[@あかさたな-e6x7l]

途中の「これが後のわくわくさん」が最後の「ゴロリ」の伏線だったのか… やるやん

[@小林カムイ]

わくわくさん&ゴロリ(確か、ゴリラの着ぐるみだった記憶がありました)って、NHKで朝っぱらからガラクタ作る番組ですか？ 高校生の頃に、学校サボって見つかって親と親戚に大目玉喰らった悲しい悲しい思い出がありました。 因みに中学生の頃に、学校サボってアンパンマン見て、親にアンパンチ等のしばき喰らいました。(運悪く、ポンキッキの様に通学時間帯に放映されていた)

[@あかさたな-e6x7l]

@@小林カムイ 番組はあってますけどそれ以下の話が支離滅裂すぎてわかりません 八元数にお住まいの方ですか？

[@Okumura-j9h]

@@あかさたな-e6x7l 最高

[@小林カムイ]

@@あかさたな-e6x7l ４元数すら理解し難い感じ(複素数平面で、９０°回転させると虚数になる中間のポジションというのは何となく分かった気がしました)なのに、８元数になると意味不明でした。 因みにポンキッキやNHK教育番組を学校サボって見る位なら未だしも、最強になると連続昼ドラ見る為に学校サボる猛者も居ました。(流石にここまでやると、アンパンチでは済まず最悪ポアされていました)

[@あかさたな-e6x7l]

@@小林カムイ とりあえずNHKの教育番組をもう一度見直すことを推奨します

[@ミーゴ-k7l]

最近寝れないときによく見てます

[@白猫で煽る弁護士]

数2Bを教えてたおじいちゃん先生が複素数って言う時、クソ数…クソ数…って聞こえたの思い出した

[@ポラリス-b4z]

複素数に親を殺された数学教師かよ

[@みなもともも]

たくみさんのボケも四元数にいけば無限個になりますか？

[@ああ-d8h6b]

たくみさん顔ならでんがんさんが無限個作ってくれます

[@kahori1214]

ふぁぼ=0　の解は、四元数に拡張しても ふぁぼ=0+0i+0j+0k　のただ一つに定まるんじゃないですか。

[@股尾前科-x3u]

四元数初めて知りました！めっちゃ面白そう！

[@applepi314root]

オチがうますぎる。

[@KIKKOMANamawa]

1:28 わくわくさんを生み出した 『つくってあそぼ』は、NHK教育テレビ→NHK Eテレで1990年4月4日から 拓海さんって何歳なんですか？

[@葵-l5s]

なんで犠牲にするものが出てるくるのか分かりませんでした。（説明無いから当然ですが。） 3元数が3次元の回転を表せなくて、4元数が3次元の回転が表せるというのも謎でした。 推測すると3元数は空間のみで4元数にすることで時間の軸ができたみたいなことなんでしょうか？ 語られてませんのでこれも推測ですが、8元数は4次元空間と時間軸が4つみたいなことなんでしょうか？ （と考えるのはナンセンス？…で片づけていいもの？） 伝えにくいですが、x、ｙ、ｚの座標系なら、例えば、第1象限で符号が逆転することはないですがそこでもひっくり返るように （ｘに対する複素平面のように）j, k が作られたとするならば、 動画の図は、ｘに対してi, jの軸が置かれましたが、x, y, zに対して考えたらどうなる（どんな図になる）のでしょうか？ って、4次元以上の軸が取れない（図に描けない）時点で、行列で考えるしかないのかもしれませんが。 面白そうだけどいろいろモヤモヤが残る動画でした。 （4元数勉強しろと言われればそれまでですが。）

[@ホワイト-i7l]

この動画、本当にいろいろなことを知れてわくわくする。面白い。これが後のわくわくさんを生ｎ

[@白石真人]

二回聞いて、自力で計算して、やっと、分かった！

[@ゆちゃ-k5q]

中3でこんな面白いのに出会えた

[@Hungry-spirit]

しれっと、真顔でボケてるの面白いです

[@おむすび-v1b]

乗法が閉じていることの破綻が許容されずに、交換法則や結合法則の破綻が許されるのはよくわからんけど、何か親にも言えない事情があるんやろうね

[@北海道牧場主]

jkは親に言えない事情があるんだろう笑

[@はく-d2i]

にわかですけど、閉じてないと掛け算自体ができないから積の法則より重要なんじゃないですかね？

[@醤油味噌-k3h]

行列と似てる気がする。次元を増やすってそういうのが多いのかな。

[@taiten0807]

他の人もいってるけど交換できないけど便利だから行列とか使われてるわけだし

[@おむすび-v1b]

ゾンマーフェルトアルノルト なるほど！

[@ちょっと前までの俺]

建築学科の学生時代にイギリスのある範囲に敷地決めて建物を設計するという課題があって、たまたま四元数が刻まれてるブルーム橋の近くだったので 四元数の産みの親であるハミルトン先生の記念館を計画したことがあります。懐かしい。

[@mamechi23]

ワクワクしすぎてワクワクさん産まれるくだりすべってるんだろうなと思いながらやるメンタルの強さよ まぁすべってるけど

[@mutexprobe288]

四元数は、量子ビット・ブロッホ球の表現でも使われてますか？

[@oyster-fry]

四元数成分が補充できてありがてぇありがてぇ CGで四元数が使われる理由 　 3×3行列同士の積には(単純法で)乗算が27回必要なのに対して、四元数の積は乗算が16回で済む(乗算は回路的には加算を複数回実行する必要のある重い処理)。 必要な数値の数も行列が9個なのに対して四元数は4個。 積の演算は回転の合成によく使われるので、回転を制御するときには四元数の方がメモリコストとしても計算速度としても優秀ということになる。 ただ拡大縮小や平行移動などの別操作をまとめたいとか、やりたいことによっては行列形式の方が扱いやすかったりすることもあるので、どちらにも価値はある。 以上どうでもいいクソナガ文章でした。

[@CSH-g9k]

文字の書き方講座の動画出してください。

[@user-vv6fv1se9f]

物理学の参考書でxyzの単位ベクトルがI,j,kになってたんですけど、それもこの四元数が由来なんですかね？？

[@takuryou0917]

最後のルート2分の1-i ってゆうりかしなくてもいいんですか？ 中学校ではしないといけないと習ったので

[@kaweco2856]

有理化しないといけないのは問題に「しなさい」と書いてあるときだけです。

[@KohanicAcid]

四元数解説待ってました

[@user-uj8ok6wc7n]

Jnj jdsでファボを抑えきれなかった 悔しい

[@soap_of_a_down]

10:22 声出して笑った　数学の動画で腹抱えて笑うとは思わなんだ

[@伝田岩洞-g8l]

jnj jds ヨビノリの今年一番のボケ言っても過言ではない