トポロジーって何が面白いの? 美しすぎる数学の問題
Вставка
- Опубліковано 29 вер 2024
- この動画は3Blue1Brownの動画を東京大学の有志団体が翻訳・再編集し公式ライセンスのもと公開しているものです。
チャンネル登録と高評価をよろしくお願いいたします!
※翻訳上今回難しかった点を補足
「異なる2つの2点のペア」
は元の動画では"two distinct pairs of points"です。
ペアといえば2点のペアなのは当たり前なのですが、「2点の」が無いと
「異なる2点のペア」となり、「異なるペア」であることが分からなくなるためこの表現になりました。
「マッピング」、「一致させる」、など
"mapping"には数学の用語としての写像という意味がありますが、この動画は高度な数学的知識がない中学生や高校生でも理解できることを目指しているため「写像」という語彙を避けました。
Music by Vincent Rubinetti
Download the music on Bandcamp:
vincerubinetti....
Stream the music on Spotify:
open.spotify.c....
元チャンネル(英語)
/ 3blue1brown
元動画(英語)
• Who cares about topolo...
CGの利用が一般的になったお陰でここまで直感的に原理を眺める事ができる様になった。トポロジーは限られた空間把握能力を有する人のものだったかもしれないが、ややその入り口に立つ人が増えた。嬉しく感じる。
確かに、思考からこれをやってた人はほんと尊敬
今はCGがあるから頭の中でCGみたいに変換して理解できるけど、昔はそれすらできないのにエグい。
昔の人が書いた「Outside In」のノート、なんであんなん想像できるんだよwと思うほどおぞましかった......
知らんうちに3b1bの日本版チャンネルが出来てたなんて、おすすめ動画なんとなく再生したら日本語喋ってたからマジビビった
英語で数学用語言われても正直理解度ガタ落ちだったから、母国語でみれるのは本当にありがたい
なるほど。必ず一回だけ交差する変形に意味があったとは。
3DCGの理解のために四元数など、英語の解説を字幕と図で補完しながら学んでましたが、日本語の音声解説まであるのはとても助かります。
夜中に一人で観てたのに、最後に「すごい。」って声に出して唸ってしまった。
すごい。
長方形の条件「対角線の中点が同じで長さも同じ」から全ての線分の中点上に長さ分の棒を立てて「2つの線分の中点が同じで長さも同じ = Z 軸方向でぶつかる」さらに区間がxyどちらの方向にも周期性があると「トーラスが出来て」さらに順序対の条件を加えると「メビウスの輪が出来る」 発想の切り替えが面白いですね
まだこのような事を習える年齢ではないのですが、興味深く聴けました!
こういうミステリアスな雰囲気の数学動画、大好きです。
長方形は対角の頂点を結ぶ線分の中点を共有するかつ、線分の長さが同じ→点A点Bに対して中点の位置と線分の長さを表す関数fを定義する(その関数の定義域を適切に選んだうえで単射性を否定すればよい)→点A、点Bを媒介変数表示で考えるとfの変数は[0,1]×[0,1]で表せる→fの性質を考えるとfの変数はメビウスの輪状になる→メビウスの輪とfの像は同相にはならない→同相にならないことから単射な関数fはありえない→命題は真 って流れですかね
どんなに考えても、マッピングする時、点が絶対に重なる確証を持てなくて凄いモヤモヤするー
ペレルマンはポアンカレ予想を解くのにトポロジーを利用したのはすごいと思った
突っ込みや批判は受け付けません
なぜなら俺は大学行ってないし、知能指数もそこまで高くないからな
そんな馬鹿な俺でも数学は見てて楽しいと思った
トポロジーがなぜ必要なのかを理解するのに素晴らしい動画だと感じました。応援しています。
パソコンの自動字幕翻訳を使っていましたが日本語翻訳チャンネルがあるとは...。うぽつです!
位相数学は、大学2年の一般教養で学んだ。
これと、大学1年で学ぶ線形代数学。そして大学1年で微積分学、これを手抜きで数学科でやると、3年以降が死ぬほど苦しくなる。
擬等角写像の講義が必要かも。
数学を頓挫した50+αのおっさんには「?×∞」です。
でも、引き込まれてしまいます。
ちんぷんかんぷんで終わるかも知れませんが、楽しみにしてます。
数学科の人たちはなんでドーナツで飲み物を飲みたいのか疑問だったが腑に落ちた
めちゃくちゃ面白かったあああああ!!!!
やーばい、なにも理解できぬ
また理解できるようになった頃に見ると楽しいんだろうなぁ
マージで神
理解しました。
メビウスの輪を円にするための連続的な変形に、自己交差が必要だったとは考えたことがありませんでした。
しっかり理解できるまで繰り返し見ようと思います
日本語版があった事に驚き!GJ
鳥肌が止まらない!
これってプロットする点の方法を二等辺三角形にして同じ方法使えば正方形も証明できないかな
ab
cd
のadを結んだ線の中点の法線に1/√2の場所で1/√2の高さに点を打ってグラフにするみたいな
初めに証明した人の論文は、今回の動画の様に分かり易いもんじゃ無かったんだろう。
天才が天才の論文を査読したのだろうけどw
こういった動画で素人も見れるなんていい時代だと思う。
面白すぎる
高評価不可避…
概要欄をよみましたが、「二つの異なるペア」とすれば大方の理解を得られるのでは。
すげー-
何を言っているのか全くわからない。。
わからないのはメビウスの輪を作るときに、変な座標を作るのは何故ですか?
メビウスの輪を2次元閉曲線に戻すときに中点を共有した点を探せるにははでですか?
なにこれ。すご。
くっそぉ。やっぱ勉強も才能も不足してるな俺は。最後の理屈がよう分からん。定性的な理解ができるやつまじ羨ましい。もっと勉強して理解してやるぞ
ここのコメ欄天才ばっかやんけ
ありがとう
@@oyafaurachu-bg2zz 日本を担ってくれよな頼むで!
@@yu-kika7101 了
元動画のリンクって貼っていないのですか?
概要欄に貼ってありますね
@@けーそ 自分の見たときは確かチャンネルのリンクしか貼ってなかったので、後から追加されたのかな?いずれにせよありがとうございます
トポロジーの何が面白いの?
めちゃめちゃ面白いです。
数字って楽しいね♪
メビウスの輪😊
ムズイよぉ..
鳥肌、、、、、、
数学って全く違う分野に見えるものも繋がってるから面白い。歴史的にも微分と積分だったり関数と幾何学だったり繋がることで発展してきたらしいね。
微分積分は面積を出すことを厳密にしたものなので当たり前だがグラフとは繋がっている
ua-cam.com/video/NdWIkKJN5PI/v-deo.html
ua-cam.com/video/NdWIkKJN5PI/v-deo.html
物理と数学繋がってるのがマジでおもろい
数学のすべてをつなげるという ラングランズ プログラムというのがあります。 世の中の数学 大きく 三つの柱にわけて 幾何学、数論、 調和解析が全て陸つながりだということを研究する分野だそうです。 こちらの研究はまだまだ出発したばかりだそうですが 結局世の中全てが繋がるんではないでしょうか。
数学者 ラングラスから始まり、
親日のエドワード フランケルといふかたで、 NHK のハーバード白熱教室に、 出演していた 数学者が有名です
解説してくれている方の声が本当にこの話を面白いと思って話されているんだなと感じられてすごくいい
理解することは難しそうですが、理解したいと思えました
おもしろいいい
なんだかんだ言って日本語のほうがやっぱ理解しやすいから有志でこのようなチャンネルを作っていただき、東京大学の方たちには感謝です!🥰
平面の話から空間の話になって平面の話に戻ったと思ったらねじれた輪っかになってそのあと最初の話に戻ってくる行き来する感じ面白い。
最後、メビウスを変形した際に生じる座標の1:1対応の喪失が、中点の被りと直結してるのか
考えた人やばすぎる
ただ翻訳してるんじゃなくて自然な日本語にしてくれてるのがありがたい
10:35
ここで冒頭に出たメビウスの輪を使うのか!って閃いてめっちゃ戦慄した。
トポロジーどころか数学ちょっとしか興味なかったけどかなり興味出たわ
「数学すごい」の一言。鳥肌が立つほど驚きました。非常に分かりやすい説明で、順序もよく考えられており。温厚な声質とトーンも相まって、私のような頭でもスーッと理解できました。私は何十年間も、「トポロジーなんて意味のない数学上のお遊び。」と科学系の雑誌が好きでいつも読んでいたのに、そう勘違いしていました。なぜなら、たいていの一般的な雑誌はトポロジーの特殊で奇妙に見える所(さわりの部分)だけを特集しているだけなので、本来トポロジーが持つ本質的で数学的なところ(2次元座標と3次元座標との関連など)の説明が全くされていなかったからです。そんな私ですが、今回の動画を見て「トポロジーって神だ。」と思わず口走ってしまいました。私の頭のなかで今までの知識「点と線」が繋がったのです。まさか、まさか、カップとドーナッツが、そしてメビウスの輪にそんな意味が、、、目からウロコでした。 また、動く動画での解説の破壊力に、改めて感謝感激すると共に「私の学生時代にもこのような解説動画があったら、理解できたのになあ。」と思いました。 51歳主婦。
最後必然性を使うの気持ちよすぎる!複雑な議論を用いるけど、最後は鳩ノ巣論法みたいにかちっと噛み合ってるのやばい!
厳密な解を決定する方向への執着を捨てることで「少なくとも1つ解が存在する」を手に入れる感じ、これぞトポロジーなのですね
日本語化神すぎる・・・これからあがるやつも全部見る自信ある
いつも図形を数式化するけど逆に数式を図形化するのめっちゃおもしろい!
なんだこれ面白すぎる・・・・・・
NHKスペシャルのポアンカレ予想の回でトポロジーという言葉を知り(ポアンカレ予想はトポロジーで解かれたわけではなかったと記憶しているが)、ちゃんと勉強しようと思えば難しくて挫折し、入門用の動画などでなんとなく理解しようと思えばちょうどこの動画の冒頭のような説明で何もわかった気になれなかった
でもこの動画でトポロジーがいかに数学的に強力な武器か、問題解決に役に立つのかがほんの一端でも理解した気になれたのが嬉しい
メビウスの輪の辺を平曲線に合わせようとすると、メビウスの輪それ自体が交差してしまう
↓
つまり2つの交点が得られる
で鳥肌たったわ
細かな議論は大学数学を履修しなければ出来ないのだろうけど、面白さは十分伝わりました!
ただ、初めに2次元の閉曲線に関する中点を3次元で描画したりする発想や、2次元の閉曲線の2点の関係を2次元座標で表しているにも関わらず、それをループさせようとすると3次元の描画になる所がやや慣れが必要なのかなと思いました。
ある人も言ってたけど数学の整合性っていうのは本当にすごい。
定義されたり証明されたりしたものについてどうやったって矛盾が生まれないっていうのはまじで面白い。
@@いあ-u1o5q 矛盾がないとは証明できないことの証明って、誰の証明ですか?
気になります
@@じゃ-r8o それは自然科学や社会科学へのアンチテーゼなのではないかと思います。つまり,現象を観察して本質を導くことはできない(現象から導かれた本質は結局のところ推論の域を出ない)という主張であって,元々公理(真理)を設定していて,その公理から合理的に導かれる現象を研究対象とする数学のような学問には当てはまらない主張だと思います。もちろん,公理系の設定が矛盾なく行われているのかどうかという事はまた別問題だと思いますが。因みに,公理系を上手く設定すれば,そこから導かれる現象が無矛盾で,その現象に完璧な説明を加える事ができる理論が作れるのではないかという議論は,数学の中で既に行われています。僕はこれについて詳しく知らないのでこれ以上の深追いはしませんが,興味があれば不完全性定理と検索して頂ければ面白いかと思います。
@@通り雨-o8j 「自分自身の無矛盾性を証明できない」という内容であればゲーデルの第二不完全性定理です
@@that_two_squares ありがとうございます、調べてみます!
@@that_two_squares
あれペアノ&ZFCに限った話でしょ
最後の『この輪がこのマッピングの途中で自身と交差すればこの面で点を共有するペアが少なくとも2つ存在する』の理屈がわからなくて悔しいーーー
長方形の紙をねじれてつける事でメビウスの輪になる。つまりメビウスの輪は独立して存在している二曲線を一曲線にする行為とみれる。
その上で、輪を形成している曲線がメビウスの輪なので、一線にした際のねじれをもつことになる。ねじれがあると平面図示する際にねじれた部分に交点が生じる。
その交点が「点を共有するペアが少なくとも2つ存在する」ってことなんだと思います。
分かりにくかったり認識違いであればごめんなさい。
メビウスの輪を、上から押し潰してみたら、縁の部分は、最低1カ所重なる。って、理解しちゃって良いんでしょうか?
縁の部分は、わかりにくいですよね。。だから、クラインの壺を想像します。これなら、全部つながっている。
でも3次元だと、どこかで交差することになってしまう。しかし、4次元でとらえれば、交差する部分は無くなる。。
4次元で不自然な形は、5次元で自然に表現できる。。以下繰り返し。
「マッピングの途中で自身と交差する点」があるとします.(動画では直感的に従うとしている)
これは「メビウスの輪をペタペタ山に貼り付けたときにメビウスの輪の違う点が貼り付けた山の同じ位置にくる」ことを意味しています.
メビウスの輪の一点はもとの閉曲線上の2点のペアに対応し
山のある一点は元の閉曲線上の点のペアの中点と長さに対応することを考えると
「メビウスの輪の違う点が貼り付けた山の同じ位置にくる」とは
もとの閉曲線上の2点のペア×2が同じ中点と長さをもつことを意味しています.
これこそが最初に示したかったことです.
最初の導入の何気ない話から解説に繋がっているのがすごい綺麗
私が数学に感動したのは Galois 拡大体ですね。多項式の解を一つ一つ付け加えることで、無限の体を作ることが出来て、それを付け加えることで最終的に実数空間に漸近する。一方トポロジーは写像の話ですので特定の写像、とくに一対一写像を除けばその性質が保存されるとは言えません。連続体に限っては同相であるので応用範囲は広いと思いますが、不連続体や写像が一対一にならないような分野は中々どうしてハードルが高く、即座に魅力を感じるとは思えませんでした。例えばデカルト座標と球面座標の対応関係ですね。
CGが世に出る前にトポロジーの考えがあったことに驚く。形ありきで入ったんじゃなくて、問題を解く上で編み出された形がたまたまトリッキーだったというだけか。
やはり数学は超未来の基礎理論だと思う。
トポロジーなんて何の役に立つのか、発見された時は誰も分からなかった。きっと今の最先端数学も、数百年後の基礎理論となるに違いない
こんなの思いついた人本当にすごいなあ
10:35- が分からん
→理解できました。メビウスの輪面上に(x,y)=(0.5,0.5)と10:46- で消えてしまう紫矢印(0,0)~(1,1)の連続プロットがあるとよりわかりやすいと思いました。
あぁ、やっぱり数学は美しいなぁ!!
大学で興味あるトポロジー学び初めて、定義だらけで逃げ出しそうだったけど、この動画みてやっぱり自分はこういう類の話が大好きなんだと改めて感じました
メビウスの輪の表裏一体の特徴が非順序対(ペアの区別がない)に対応しいているのか。美しい
5%くらい理解できた
非順序対の方でメビウスの輪が導かれる直前、話者が楽しそうなのが伝わってほっこりした。
しがない数学徒さんからやってきました。魅力的な動画ばかりですね。
いきなり証明完了しちゃって、ふぇ?!ってなった。これは綺麗だ……
あと2分もないのにどうやって証明するんだよwって思ったら鳥肌ブワァなった
長方形について証明できるんなら、菱形でも証明できれば正方形でも成り立つこと言えるんじゃないの?って思ったけど、この証明は長方形でしか成り立たないのか
マッピングで中点は同じ座標でも、距離が異なる例が存在しませんか?
証明が完了する所も面白かったけど、メビウスの輪が出てくるところの方が感動した
位相幾何学って大学の授業でも一番面白かった。バスや電車の行程図やLAN配線の計画図なんかもそう。結構応用が効く分野ですよね。一番興味深かったのがポワンカレ予想。その証明にまつわる物語。数学って沼にはまると抜けられないんだろうなあ…。
高校数学までしか学んでこなかった者ですが、位相幾何のどこが数学なのか全く実感が湧いてなかったのでめちゃくちゃ共感できました
個人的には2次元グラフ上の点が数直線上の2点と1対1対応しているという発想が目からうろこでした
美しい。鳥肌、、、こういう世界で生きている人おるんや。
メビエスの輪が出てきた瞬間が鳥肌かも。本当に、数学って問題を解いてる内に関係ないと思ってた分野の概念が繋がる瞬間があってびっくり
最後の最後だけわからぬかった、、、何回かみよう、、。
理解できないから「何で?」って思うことはこれまで何度もあったけど、理解した上の感動で思わず「何で!?」と叫んでしまった…w
すごいなこれ…
私もこのようなきれいに動く図形動画を作りたいと思います。何を勉強すればいいのでしょか?どのようなソフトを使われているのでしょうか?
これ考えたやつ頭良すぎやろw
是非とも3Blue1Brownのフーリエ変換の回を日本語版で見たいなぁ
御待たせしました(笑)
主さんがメビウスの輪を作った段階で(面白い。。)と、にやけてしまったのですが、主さんの声色からもう同じような感情を受けて、なんか。すごいって!なりました!
あまりにも短時間に面白い話がたくさんありすぎます!
長方形の性質までで限界でした。
ひし形についての証明が別に出来ればいいでしょうけれど困難でしょうし、証明を同事象であるように繋げるのが更に難しそうですね。
最後の説明が単純かつ直感的ですごい
わかるけど絶対に思いつかない発想
かああっ、、美しすぎるっ!
数学科卒ですが数学科に入りたくなりました←
発想に感動しました。メビウスの輪の辺を1平面上に置くとき2点を共有する?のが直感的だけどもやもやしてます
頭の硬い私にはさっぱりわかりませんがメビウスの輪に転換されたとき、思わず声が出てしまいました。
メビウスの輪をお父さんに教えられた時マジで意味がわからんかったけどこの動画のおかげで少し理解できるようになった。ありがとう
面白い どんどん更新してほしい
数学科いきたくなっちゃう
むしろ数学科で定義定理証明の連続に打ちのめされるとこの動画に行きたくなります…
これは美しい
やばい、すごい、わかんないのにめっちゃオモロイ
🎵とっとっとっとっトポロジ〜〜🎵
뭐야 일본 채널이라니 부럽다..
とても面白かったです!super thanksしたい
この定理の証明探してますけど日本語じゃ出ないですね....
英語で探すとこの問題は
The rectangular peg problem(長方形のペグ(釘)?問題)と呼ばれているらしく、英語が読めないので分からないですが多分証明を書いていそうな物がちょっと見当たります。(誰か訳してこれないかなぁ)
arxiv.org/pdf/2005.09193.pdf
www.birs.ca/workshops/2020/20w5088/files/BIRS_Greene.pdf
(2005や2020や2021など色々あっていつ証明されたか分からない(英弱))
個人的には閉曲線上の2点から覆いかぶさる曲線を定義するのが凄いです。何かしてたらこのような物を定義したくなるんでしょうか。
あと動画とは関係ないですが概要欄のミージックが2つとも機能してないですね〜
カラフルπくんかわいい
ミスド食う心持ちが変わるわ…
4:45の関数fは一価関数なんですか?もしそうだとしたらそれはなぜですか?
1価関数とは限らないけど、連続関数ではある。
だから証明としては問題ない。
動画を見て感動で椅子から転げ落ちたのは初めて