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

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

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

>>96
放送ではそんなふうに言ってなかったよね？
「NPが一つでもPになれば」と言い切ってた。

>>97
NP完全という単語は全く出なかったが、
NPの中に特別なものがあって……という話はしてたと思う

>>98
あー、たしかにそういう表現があった。
けど、やっぱあの番組はわかりやすさを優先しすぎて
逆にわかりづらい部分あるなあ

>>9
poemさんとは?

次回のポワンカレ予想は以前のNスペの使い回しだろうな。もうポワンカレ予想扱うのやめないかね、飽きたわ。

我々はポアンカレというのだが
ポワンカレはどこの業界用語？

ポアソン(poisson)をプアゾン(poison)と読む業界？

私はフランス語にうるさい先輩の意見に従ってガロアと書かずにガロワと書きますが

アン ドゥ トロワ

>>105
踊りましょうか

いちにのさん

外国語の表記揺れなんて言い出したらキリねーんだよ。

もし「P＝NP」であると証明されたなら…という未来予想図は
ドラマ相棒で素数の謎を解き明かしてしまった数学者がそれを発表しようとする友人を殺した話を思い出した

ウィキペによるとKnuthはP=NPが妥当と思ってたみたいね

ABC予想の番組に出た先生

中学生が東工大教授に質問　「たし算とかけ算の決定的な違い」は何なのか？
https://news.yahoo.co.jp/articles/c3cf3021e38ca6297ae689d02b33d421c290d96f

>>111
何の説明にもなっておるまいや
仕方ないことだけどさ
ところで
この人は宇宙際のこと
理解してるのかな？

>>112
中学生の方？

来週は「虚数」

今夜の回からBSプレミアでも先行放送してなかった完全新作か

>>115
え？先行放送とかあったの？？

>>116
今年の3月に最初の4回と6月にフェルマーの最終定理の回が放送済み

>>117
ええーーっ！しらなかなった

そこで高評価だったからレギュラー化できたんだよね

地ドーナツ

実況

笑わない数学「ポアンカレ予想」
http://nhk2.5ch.net/test/read.cgi/livenhk/1660134870/

NHK総合を常に実況し続けるスレ 196670 明日待子
http://nhk2.5ch.net/test/read.cgi/livenhk/1660136078/

NHK総合を常に実況し続けるスレ 196671 旧統一教会遮蔽内閣
http://nhk2.5ch.net/test/read.cgi/livenhk/1660137145/

最後の「現実の宇宙は3次元トーラス」ってのはこれか

2021/9/19
最新の観測で宇宙は「3次元のドーナツ型」である可能性が判明!?
https://creators.yahoo.co.jp/uchuyabaichkyabechi/0100136305

銀河分布で探る宇宙のトポロジー
http://www.astro-wakate.org/ss2010/ss10_proceeding/proceeding/cosmology_18b.pdf

>>122
3次元トーラスってT^3=S^1×S^1×S^1ってことだけどホントかなあ
大域的なことどうやって分かるんだ

>>122
>銀河分布で探る宇宙のトポロジー
> 平坦な宇宙の場合、トポロジーの候補は 18 種類しかないことがわかってい る。

↓うーむ?

宇宙のトポロジーを決定するための天体分布を用いた新手法
http://www.astro-wakate.org/ss2011/web/ss11_proceedings/proceeding/cosmology_08b.pdf
> 図 1: 17 種類の 3 次元平坦空間のイラスト
+ 無限に広がるユークリッド空間

で18種類?

>>115
今回も結局ほぼNスペの再放送だった・・・

>>124
2次元の向き付け可能コンパクト曲面だって無数にあるのに

ここすき
https://i.imgur.com/CoT7837.jpg

宇宙の形ってのはあくまでもイメージしやすくするための例なのだけど、まるで宇宙の形を予想しているかのような説明になりがち。素人向けのポアンカレ予想の説明ではいつものことだけど。

受け取る側としては例えは宇宙でも素粒子でも
どっちでもよい

>>129
素粒子はR^3のコンパクト部分多様体じゃないの？境界ありだし埋め込み方も考えることになるとノットの問題も含むことになって
話が別物になる

いずれにせよ
素人なら数学的には多様体として
大づかみな理解ができる。

いずれにせよ
素人なら数学的には多様体として
大づかみな理解ができる。

>>130
話が別物？
素人にとっては同じことでは？

>>133
え？
輪ゴムを８ノットとかトレフォイルとかにはできないこてゃ
素人にも分かるよ

あー、君たち三次元人にとってはそうだね

10次元が本物

キノコ刈りの人はこの後どうなったんだろ

スウェーデンに逃げたとどこかに書いてあった

>>135
だからR^3でって言ってる

>>139
素人がどう思うかについて言っている

>>140
だから埋め込みで違いがあるのは素人でも分かると言ってるんだけど？

宇宙の話と素粒子の話は違うってことね

外から見る話と外から見ることができない話を混同するのは愚
素人でも分かる

境界の有る話と境界の無い話を混同するのも愚か
素人でも分かる

いっや
境界のない3次元多様体は素人には認識出来ないかもね
それを認識出来る素粒子の話と混同させるのは愚かではないかも
不誠実だね

閉じた3次元空間でドーナツとか視覚ではイメージ出来ん

境界があるかないかより
感覚的認識の先に
数学的な堅固な実在が存在するということを
納得させるのが先だろう

直線に1点を付け加えたものを
平面内の単純閉曲線と同一視することから始め
平面に1点を加えたものを
空間内の球面と同一視し
では、空間に一点を付け加えることを考えてみようといえば
無理に宇宙の形などというややこしい話をする必要はない。

>>148
まるで趣旨が違うと分かってないな
ポアンカレ予想の話なのだが

宇宙は四次元の球体で真っ直ぐ行けばいずれ戻ってくる、と予想

ポアンカレ予想は3次元球面が基本

ドーナツに巻きつくように旅したらロープが縛られて
回収できないのはわかるんだけど、
環に沿って旅してもロープ回収できないというのがわからん。

>>152
その場合、無理に回収すると必ずロープが地表から離れて宇宙空間を通ってしまう
宇宙を利用するのは禁止というのに反する

素人はその禁止に納得がいかない

>>154
外が無いからね
ドーナツに巻き付くように回して
地表から離れて大地を割って良いんなら回収できるよ
大地の中だから駄目だってなら
補集合考えたら？

どうして海の底が硬い岩盤だと仮定したんだろう
どこまでも水、反対側まで水なら、無限に伸びた水の柱に浮かんだ陸地とも考えられるよね

ホモロジー球面の話がないと
ポアンカレ予想の意味が分からない

今から〇年前にお茶大のパンサーと呼ばれていた私が来ましたよ

>>153
回収時にひもがドーナツの穴の上を通過するのも
宇宙空間なの？

>>159
穴を含めてしまったら地ドーナツで考える意味ないからね

3次元の閉多様体は
向き付け可能な場合であっても
分類できてないのね
へーガード分解とか
デーンサージェリーとか
構成の方法は色々あるけど
自己同相写像とか絡み目とか
とても複雑すぎるみたい

とはいえ
幾何化予想は解かれた

>>150
まず
宇宙は向き付け可能な閉多様体と仮定しているわけ
その上で
球体でなくても「まっすぐ行けばいずれ戻ってくる」
ではどんな形かてことで
「ひもを引きながらまっすぐ行って戻ってきたときに必ずひもが回収できる」なら球体であろうという予測がポアンカレ予想
それはサーストンの幾何化予想から従い
ペレルマンによって幾何化予想は解かれたので
ポアンカレ予想も解決を見た
ただ
実際の宇宙の形がどうなってるかは分からない
それは物理学の問題

「まっすぐ」といった時点で
リーマン計量の存在を仮定している。

計量はまた別に入れたらいいだけ
ポアンカレ予想とは別な話

計量がなくても「まっすぐ」に意味がつけられるとすれば
何を使えばよいのか

>>159
地ドーナツの上空100メートル(10メートルでも1000メートルでもいいけど)を覆う空ドーナツを考えたら？
ロープが通っていいのは地ドーナツと空ドーナツの間だけ

地ドーナツに巻きついたロープが地面を潜って回収されるのを禁止するなら
ドーナツの穴を大きく回るロープは空ドーナツの面を横切らないと回収できない

>>166
複素直線束っていわれてどんな幾何学的イメージ持ってる？

>>168
コーンの一般化

複素平面ってC^2のことなんだってな
昔はC(=R^2)のことだったのに

>>170
数学辞典第4版ではそうなっていない。
いつからそうなった？

>>160
>>167

なるほど、よくわかった。ありがとう。

なんか上から目線の言い様だな

アンカー付けてありがとう言ってるのに、上から目線てか

そりゃ、アンカー付ければ何言ったっていいわけじゃないからな

ありがとうとお礼を言ってるのに変な絡み方すんな

「ありがとう」って言えば態度をデカくしてもいいわけじゃないしな
人間、平身が肝要

どんだけプライド高いんだよw
160だけど172全然気にならんかったけどな

>>171
いつからかは知らない
自分聞いたの最近

>>178
お前が謙遜な人格者なだけ

>>177
じゃあ、こう書けばいいんだな。

「なるほど！そういう意味だったんですね。
よく理解できました。ありがとうございました」

単に、感嘆符を追加して、敬語を増やしただけで
言ってる内容は同じだけど笑

単なる嫌味ったらしい奴になってて草

>>182
てかお前が一番上からなんだがw

「上から目線」「デカい態度」なるものを数式で書き表してこそ、この版住人の誉だろ

真ん中に穴が開いていない丸いドーナツもドーナツ

美味いからひと口食っちまったC型もドーナツ

ドーナツがカロリーゼロな証明を

>>185
え、それは球体と同じじゃないの？

世間的な意味でのドーナツの話でしょ

あんドーナツとかね

https://www.satotekkou.co.jp/sites/default/files/wordpress/wp-content/uploads/2011/06/gal01_09.jpg

https://www.satotekkou.co.jp/sites/default/files/wordpress/wp-content/uploads/2011/06/an_doughnut-01.jpg

実況

笑わない数学
http://nhk2.5ch.net/test/read.cgi/livenhk/1660739262/

NHK総合を常に実況し続けるスレ 196858 キョ数
http://nhk2.5ch.net/test/read.cgi/livenhk/1660740482/

√2が有理数でないことの証明で、テロップでPとQは互いに素の整数という仮定が追加されてたけど、この証明では互いに素であるという仮定は必要ない。細かいことだけど気になった。

>>193
気にしすぎ

素因数分解の一意性、の証明が
すっ飛ばされていたのが、
この種の番組の限界かと残念だった。

カンペ7回だか読んでる奴に何を求める？
つーか、高校で虚数習ってない世代にはチンプンカンプンだったよアハハ
「実数」とか「判別式D」とかって用語は学習指導要領の範囲外だったんでね