【パンサー尾形】笑わない数学【NHK総合】

2022年7月13日からNHK総合で全12回放送される「笑わない数学」について語るスレです

笑わない数学
https://www.nhk.jp/p/ts/Y5R676NK92/
パンサー尾形貴弘が難解な数学の世界を大真面目に解説する異色の知的エンターテインメント番組！　
「リーマン予想」「フェルマーの最終定理」「連続体仮説」「四色問題」「ガロア理論」「abc予想」
「確率論」「P対NP問題」「カオス理論」「ポアンカレ予想」「暗号理論」「虚数」・・・。
天才数学者をも苦しめてきた数々の難問、そして美しくも不思議な知の世界を、１回３０分ワンテーマ、
ギャグ封印で、トコトン分かりやすく掘り下げる！

>>796
>1つしか無い
順序同型を除きか

>>795
自然数全体は

0→1→2→3→4→5→6→……

のようになってるとしたいけど、[3]や[4]がないと

0→1→2→0→1→2→0→……
0→1→2→1→2→1→2→……

のようなのも自然数全体になってしまう

0を含み
aが含まれたらその次a+も含まれる
これしか言ってないからダメじゃん
それなのにa+(b+)=(a+b)+に進んじゃダメじゃん

あれ？
a+(b+)=(a+b)+しか言ってないのに(a+)+b=(a+b)+って
それa+b=b+aも仮定せねばならいのでは

>>793
高木貞治.近世数学史談数学雑談にも自然数論.
ペアノの公理がある。

小山監修でKADOKAWAが出版だし数学ネタの
ウケねらいの番組だ。

月刊TV誌情報だけど

11/1 選 虚数
11/8 超越数
11/15 ケプラー予想
11/22 選 フェルマーの最終定理
11/29 1+2+3+4+… = -1/12

おいおい、もう万策尽きてんの？

復習は大事です

復習の彼方に

今日の「結び目理論」予習しようと思ってウイキ見たけどちんぷんかんぷん。フェルマー予想やコラッツ予想は問題自体は簡単。でも結び目理論は何を証明したいのかさっぱり分からない。

>>805
最初から有って未だ解けない問題が分類だよ
どんだけ有るか
与えられたものがなんであると判断するか

多様体の分類とほぼ同等

S^3からノットやリンクのディスクバンドル抜いた補集合って全部違うもんなんだっけ？

違ったらノットやリンクとしては区別することにしている

きたー

今回のおさらい。1870年代に「原子の構造は紐の結び目のようなもの」と考えた人がいて、あらゆる結び目を数学的に表現しようとした。結局物理の発展によって全くの見当違いと判明したが結び目理論は数学の一分野として定着。後にアレクサンダー多項式やジョーンズ多項式などが誕生。なお現在では宇宙の成り立ちを解明する上で結び目理論は重要な役割を果たしている。結び目理論に限らず、数学理論は人間の頭脳が作り出した発明なのか？それとも宇宙と同時に存在したものを人間が発見したものなのか？

トポロジーという言葉を初めて使ったのは
ガウスに結び目の問題をもらった
リスティンク

結び目理論、頭悪いのでよくわからなかった
ウィッテンて超弦理論に出てくる名前だけど超弦と関係あるの？
３次元以上だとどうなるのか、１、２次元だと結び目自体がない

>>813
それ自分も気になってた
残念だけど30分っていう放送枠の限界かなと思ってる

>>813
https://ja.m.wikipedia.org/wiki/結び目理論
> 高次元結び目とは高次元球面Sn一個の高次元・数空間Rmもしくは高次元球面Smへの埋込みのこと。mはnより2以上大きい。

例えば2次元球面を4次元空間に埋め込むときに結び目を作れるらしい

>>例えば2次元球面を4次元空間に埋め込むときに結び目を作れるらしい

そのような非自明な結び目で、鏡像と同値になるものの例はありますか

8の字結び目から作れるものは自明とします

なんで8の字結び目から作れるものだけ除外したんだ
そして「〜から作れるもの」ってなんだ

よく知られているものは除くという意味

>>819
そうでなくて
〜から作れるの定義を聞かれてるんですよ

数え上げた結び目の種類をちっちゃい文字でしか教えてくれないのかよ。。

発明＝発見だろ

円周をかけてからねじ切るくらいはイメージできない？

>>823
それただのS^2⊂R^3では？

普通の結び目から2次元結び目を作る方法はいくつかあるけど、>>819 がどのくらいまでを「よく知られている」とみなしているのかとか8の字結び目以外の鏡像と同値な結び目から作ったものでもいいのかとか、そういうことを聞いているんだよ。

まあいくらでもあるんだろうけれど。

>>825

>>まあいくらでもあるんだろうけれど。

その程度の認識で止まるのが不満なのできいてみた

この番組で「結び目理論」を知った素人だけど
「結び目」の定義が、紐の「重なり」ってことに
ちょっと「そんなことに何の意味が」と思った。

重なりは3次元の紐で、そう見える角度がある、ってだけのこと。
角度を変えて見れば重なって見えない。
だから様々な結び目を（二次元平面で）図示してるのを見て、
なんとなく違和感を覚えた。

>>827
重なりは重要なポイントだけど定義では無いよ
定義は単純に自分自身と交わらないS^1の像
（の連続変形による同値類）
尾形も最初に普通の人の「結び目」の認識で
両端をつなげた「閉じた結び目」を呈示してる
単純な三つ葉とか8の字とか見て分かるように
ものとしては同じS^1だけどもR^3の中で
自分と交わること無しには連続的に変化できないから
区別されるということ

>>827

>>角度を変えて見れば重なって見えない。

どう変形しても、角度をどう変えてもどこかが重なって見える。
そういうものを結び目と呼ぶ。

10個の交点があるものを数え上げる過程でもっと少ない交点で既に登場したやつと同値な結び目が登場したりはするんだよね？

そりゃそうだ
何も交点がないところに
ひねって交点1つ増やせる

変形して同じになるものは省くと番組中でずっと言ってるのに

この番組「結び目理論」の開始12分30秒くらいで
アレクサンダーの紹介のところで
「後に《世捨て人》になるほど結び目の研究に没頭していた」
って《　》の中は合ってる？　どうも聞き取りづらくて。

>>828
トポロジーの球とかのイメージでいうところの、
「ドーナツ形」ということ？

ドーナツの表面に描けるものとそうでないものがある

結び目って、結局、
蝶結びだとほどける、とかの実用知識と深い関係があるんだろうな。
糸が絡まったら、ほどくにはどうするか、といった世界かな。

釣り糸や登山ロープやらの、絶対に外れないキツイ結び方、みたいな？

>>834
これ番組でも前提にしていた「閉じた紐」のイメージです。

ガウスが結び目を初めて見たのは
船着き場でだったようだ

>>836
無いよ

>>834
太さは考えないから「円」

>>840
トポロジーとは無関係な世界、ってこと？

太さないって、超弦のイメージなのかな。

>>841
補集合のトポロジー

>>841
は？円はR^3の部分多様体だが？
その円がどう埋め込まれてるかを
考えようとするのがノッと

ユールリッドの昔から線には太さが無いがナ

>>835
>ドーナツの表面に描けるもの
trefoilは描けるね
S^1=R/Z
T^2=S^1×S^1
で
y=(3/2)xのグラフの像がtrefoil

合原アナウンサーのナレーションが注目点

>>846
｢、、ですねよ｣がいいい感じ

水橋かおりに声が似ていて驚いた

厳密には太さはあるが自由に変えられるという方が正しい

>>849
それは数学でいうところの「線」じゃないよｗ

>>827
三葉結び目は(他の結び目も)3次元空間の中で一度切らずに
円に見える絡んでない状態にはできないよ

4次元以上の空間なら切らずに絡んでない状態にできるけどそれは別の話

>>850
だから結び目理論の人は「ひも」って言うのか

>>852
んにゃ
その「ひも」は「線」だよ

なんか結び目という言葉から自由に発想してるらしい人居るけど
S^1の像（embedding）だって認識を持ってれば
あとは太くして考えようがどうでもいいんだけど
太さが無くてはいけないというのはチョットあれね

太さは無くても次元があって
座標が設定できればいいだけでしょ？

>>854
二次オタの基本群

>>854
smoothカテゴリーならそれで良いし普通はambient isotopyを考えるから問題にならないけど、安直にS^1からの単射をambientじゃないイソトピーで変形すると変なことが起きるって話。
太さは無くてもいいけど太くすることができることは必要、と言うべきか。

慣れた結び目と野生の結び目

しばしば病的な振る舞いをする野生の結び目

↑‥なんですか‥これは‥
メンヘラよりの結び目先輩ですか!?（驚愕）

🌸花結び💮の✾梅結び❀は成分いくつの絡み目なんですかっ!?
（食ぃ気味）

馴れた結び目は太らされた結び目もある

↑人間のお菓子ゎ💮結び目🌸にゎ与ぇなぃで下さぃ。

って注意されなかったんでしょうか?

ﾑﾑ‥

ゃっぱり、ひでたま(ぉ子様)の遊びにゎ、花結びなんゃなぁ…って。
毒殺予防も兼ねてて、ぅん、２度美味しぃ!

だけ～

今夜は虚数(再放送)だっけ？

11/1 0:55 Eテレ
結び目理論

11/1 23:00 総合
虚数

まずはピタゴラスやその組織、弟子ヒッパソスの死について。そしてルート2が無理数である事の証明。

0やマイナスがインドで発見された背景について。マイナス同士の掛け算がプラスになる事の証明など。

ジェロラモ・カルダーノの三次方程式の解法について。公式に当てはめるとなぜか途中でマイナスのルートが現れ、その存在を前提にしないと答が導けない。デカルトもニュートンも虚数の存在に懐疑的。オイラーはiという記号を与える。ガウスは複素数を研究。

次回もおもしろそうだね
超越数ってたぶん初めて聞いたw

ぎっしり詰まった数直線に虚数が入り込む余地はないと思われたが、実は数直線の上下に存在。シュレディンガーの公式にもiが登場。宇宙の成り立ちや森羅万象を究明する量子力学に虚数は欠かせない。次回は超越数。

個人的にはカルダーノの話から始めてもよかったと思う。23時番組開始でカルダノが登場したのはたぶん23時17分頃。自然数、分数や小数、無理数、0、マイナスと拡張して行く流れは必要だったかな？

次回は、ギリシャの三大作図問題から始めて、超越数の話に持っていくと予想

>>868
普通の人が理解できる数の拡張なんだから
導入にはよいだよ

虚乳
超越乳

二乗してマイナスになる数があるなら
二乗して0になる数も考えてやれよw

演算の種類が増えると数の種類も増える
加減算でマイナスの数が必要になり、乗除算で虚数が必要になる

>>872
それは一度も考えたこと無かったw

√0ってのは存在しないのかな

>>872
「０でなく」が抜けている

二重数 - Wikipedia
https://ja.wikipedia.org/wiki/%E4%BA%8C%E9%87%8D%E6%95%B0

x^2＝i の解は x＝±√i ではない

>>872
グラスマン数

R[x]/(x^2)

自然数、分数アンド小数、無理数、０、マイナス、虚数と拡張してたけど、虚数が最後？もっと他に数はないの？無いとしたらそれも証明済み？

>>880
虚数を平面として拡張できたと言う事は
高さ方向にもなにか数として拡張できないかな？

次回の超越数とか四元数とかじゃね？

>>880,881
R^3は体にならないことが割かし簡単に証明できたはずだから考えてみるといい
R^4は体（斜体）
体はここまでも証明できるが確か難
次のよさげな多元環はR^8だが非結合的
その次はR^16だが零因子あり

>>881なるほど、数直線の上下に平面的に拡大して虚数が存在するのだから、次は立体的に拡張すれば新たな数の可能性ありと。あと883番の方にも解説して頂いたけどちょっと難しい。。

四元数
https://ja.wikipedia.org/wiki/%E5%9B%9B%E5%85%83%E6%95%B0
>四元数（しげんすう、英: quaternion）とは、複素数を拡張した数体系

>四元数は純粋数学のみならず応用数学、特に3Dグラフィクスやコンピュータビジョンにおいて三次元での
>回転の計算でも用いられる。これはオイラー角や回転行列あるいはそれらに代わる道具などとともに、
>必要に応じて利用される。

四元数と三次元空間における回転
https://manabitimes.jp/math/983

チョリーッ数

タピ岡の定理

結び目理論はトポロジーとはチガウノン？

トポロジーだよ

インドでリンゴが採れるのかが気になった
あんずのほうが良かった

あんずなら自生してるのか、、、

ひろゆきによると虚数は「存在しないけどあると仮定したら便利な数」。実際カルダーノもデカルトもニュートンもそんな感じで見てたようだ。三次方程式を解くために式の途中でどうしてもマイナス1のルートが必要になるという事で。

>>892
注目すべき点は、虚数は二次方程式ではなく三次方程式を解く過程で発見された事

>>892
存在とは何かよな
ふたうに計算に出てくるから
現実に存在すると考えるのが妥当
そうでなくても
平面上の点の演算とか行列とか
実在性を認識する手段は色々

ひろゆきは、位置エネルギーは存在しないと言ってた奴

>>895
個人的にポテンシャル論調和積分論は大好物です。
私文だけど。