天才数学者「無限の客室に無限の客が泊まっていて満室でも全ての客が隣の部屋に移れば一部屋空く」

**それでも動く名無し** · 2022/08/28(日) 20:26:24.33

ヒルベルトの無限ホテルのパラドックス

男が無限ホテルに泊まろうとしたが無限ホテルには無限の客室に無限の客が泊まっていて満室だった
男は全ての客に隣の部屋に移ってもらうようホテルマンに言ってもらい無事、一部屋の空きがでた

無限個の客室があり、「満室」である仮想的なホテルを考える。客室数が有限の場合、「満室であること」と「新たに来た客を泊められないこと」は同値だが（鳩の巣原理）、無限ホテルではそうはならない。

**それでも動く名無し** · 2022/08/28(日) 21:12:02.14

こんな形のホテルかな

https://i.imgur.com/vXjUY3I.jpg
https://i.imgur.com/v9nLLyf.jpg

**それでも動く名無し** · 2022/08/28(日) 21:12:15.06

>>245
最終号室を決めた時点で無限じゃない

**それでも動く名無し** · 2022/08/28(日) 21:12:15.17

>>216
要は現状の認識における無限の性質を説明したかっただけって事なんやろ
このホテルで説明された無限の性質って無限を扱う上でそんなに重要で信頼できるものなんか？

**それでも動く名無し** · 2022/08/28(日) 21:12:35.54

>>238
関係ない話しか
ほなええわ、忘れて

**それでも動く名無し** · 2022/08/28(日) 21:12:42.65

満室なら隣に移れんやろ🤔

**それでも動く名無し** · 2022/08/28(日) 21:12:44.55

>>191
シュレディンガーの猫って再現できないんやなくて
猫の生死が重なってる状態は矛盾してるから不確定性原理は不完全ってことを主張してるだけやろ
この無限の客室は直感に反していて気持ち悪いのはわかるが
メインは無限と言う数をどう扱うかやからホテルで仮定する意味を求める事自体無意味やと思うわ

**それでも動く名無し** · 2022/08/28(日) 21:12:54.72

>>250
間の部屋数が無限なら無限じゃないの

**それでも動く名無し** · 2022/08/28(日) 21:13:07.06

無限なんてないよ

**それでも動く名無し** · 2022/08/28(日) 21:13:18.58

>>246
群の従順性ってやつやな
球だと成り立つけど円周や直線やと可換群は従順やからこうはならん

**それでも動く名無し** · 2022/08/28(日) 21:13:54.03

>>255
無限じゃないよ

**それでも動く名無し** · 2022/08/28(日) 21:14:06.94

>>239
たしかにこれや
おそらく満室という表現は無限同士を扱った場合には不適切な表現なはず
パラドックスの結び目はここやったんやね

**それでも動く名無し** · 2022/08/28(日) 21:14:12.11

>>210
不完全性をそのまま受け取ってる馬鹿

**それでも動く名無し** · 2022/08/28(日) 21:14:20.30

>>226
ヘブライ文字や
Unicodeにもある

**それでも動く名無し** · 2022/08/28(日) 21:14:30.23

大松「そんなホテルは存在しないぞ」

**それでも動く名無し** · 2022/08/28(日) 21:14:42.45

ホテルのフロントが無能だったって話やろ
数学者なりに面白く語っただけや

**それでも動く名無し** · 2022/08/28(日) 21:14:48.55

>>258
よくわからんな
それは数が出の用語としての無限にはならないということか

それなら都合のいい概念で遊んでるだけだなとしか

**それでも動く名無し** · 2022/08/28(日) 21:14:58.68

>>259
すべての室が満たされている、って状態を満室と呼ぶのがそんなにおかしいか？

**それでも動く名無し** · 2022/08/28(日) 21:15:08.28

間の部屋数が無限
→円周上に無限の点を置いてる
ここで矛盾が生まれる

**それでも動く名無し** · 2022/08/28(日) 21:15:24.29

>>262
サンマツ

**それでも動く名無し** · 2022/08/28(日) 21:15:34.83

安倍の国会答弁見た気分や

**それでも動く名無し** · 2022/08/28(日) 21:15:45.04

>>257
最近群論やり始めたばっかやから興味出てきたわ
そのうち証明読みたい

**それでも動く名無し** · 2022/08/28(日) 21:16:00.50

シュレディンガーの猫は現実でも別に出来るやろ
やっても観測出来ない状態を観測出来んからつまらん結果にしかならんだけで

**それでも動く名無し** · 2022/08/28(日) 21:16:13.01

そんなホテルないぞ

**それでも動く名無し** · 2022/08/28(日) 21:16:28.37

>>254
シュレディンガーの猫は当時の量子論を皮肉って否定する思考実験やったがそれを再現する装置に不備が見つかりミクロ世界の事象を我々のマクロ世界に直結させる考え方は好ましくないという例にされたんや
要はシュレディンガーの猫って苦し紛れの難癖なんよ

**それでも動く名無し** · 2022/08/28(日) 21:16:34.71

>>264
せやから円のホテルで思考実験なんて無理なんや

**それでも動く名無し** · 2022/08/28(日) 21:16:40.73

でもきみら、部屋移ってくださいって言われたら動いてくれるじゃん

**それでも動く名無し** · 2022/08/28(日) 21:16:41.93

>>266
(cos(2(1-1/n)π), sin(2(1-1/n)π))
で無限に取れるやん

**それでも動く名無し** · 2022/08/28(日) 21:17:27.75

>>265
無限同士を使っても「満たされている」事はあり得ないと思うんやが
終わりがあったら無限じゃないんやろ？終わりがなければ満たされることもないはずや

**それでも動く名無し** · 2022/08/28(日) 21:17:38.90

>>275
そのnは何？
n→∞は無限を表さないぞ

**それでも動く名無し** · 2022/08/28(日) 21:17:39.30

>>275
部屋に勝手についたて増やしたらあかんで

**それでも動く名無し** · 2022/08/28(日) 21:18:28.66

>>269
学部の群論じゃやらんで
局所コンパクト群の表現論や幾何群論あたりに近いことやらんと最後まで触れんはずや

**それでも動く名無し** · 2022/08/28(日) 21:18:54.60

>>273
わかったわかった

数学的に明確な時だけレスが付くんだよなあ
>>184にもコメント欲しいんだが

**それでも動く名無し** · 2022/08/28(日) 21:19:01.43

無限と無限回を話の途中で変えてるだけのエセ問題
「無限に攻撃する能力」と「無限に防御する能力」が戦えば無限に防御される
「無限回攻撃する能力」と「無限回防御する能力」が戦えば全部防御されるけど防御される回数自体は有限になる
だから後一発攻撃すると前者は攻撃が通らず、後者は攻撃が通る
無限と無限回が別物ってだけの話

**それでも動く名無し** · 2022/08/28(日) 21:19:02.93

>>276
無限に部屋があっても客が無限におるんやから満たすことは可能やで
満室って言葉以上に無限って言葉が難しいだけやな

**それでも動く名無し** · 2022/08/28(日) 21:19:34.94

>>279
ヒエ～そんなレベル高い話なんか

**それでも動く名無し** · 2022/08/28(日) 21:19:49.08

絶対ありえない前提をつける時点でパラドクスでもなんでもない

**それでも動く名無し** · 2022/08/28(日) 21:19:49.86

>>277
nは自然数全体にわたるでええやん
順序付けもされとるし何があかんの？

>>278
ついたて増えないやろ
次の部屋も前の部屋も簡単にわかるで

**それでも動く名無し** · 2022/08/28(日) 21:20:03.31

無限人のなんG民で無限ホテルに泊まって無限ケトションしようや

**それでも動く名無し** · 2022/08/28(日) 21:20:11.75

無限―０=無限ー１やけど
(無限ー０)ー(無限ー１)=１ってこと？
ようわからん

2022/08/28(日) 21:20:26.51

高校数学の範囲で数学を語ろうとするのが片腹痛いわ
理解しようとするのならまだええけど
屁理屈こねてケチつけるのはマジで時間の無駄

**それでも動く名無し** · 2022/08/28(日) 21:20:32.40

よくわかんないからガンダムで説明して

**それでも動く名無し** · 2022/08/28(日) 21:20:34.22

>>286
地獄やん

**それでも動く名無し** · 2022/08/28(日) 21:20:37.22

>>281
攻撃とか防御とかゲームばっかやってそう

**それでも動く名無し** · 2022/08/28(日) 21:20:47.34

>>272
そういう話ならシュレディンガーの猫とこの無限の客室を結びつけるて考えるのは無駄やないか？

**それでも動く名無し** · 2022/08/28(日) 21:20:53.04

>>285
意味不明なんやが
じゃあnは自然数全体って言いたいの？
それやと意味不明なんやが

**それでも動く名無し** · 2022/08/28(日) 21:20:54.79

>>281
それアキレスと亀のからくりと同じだよな

無限に時間がかかるということと、
移動を無限分割できることを混同させるということ

**それでも動く名無し** · 2022/08/28(日) 21:21:00.52

>>260
それはまあ言葉の綾やわ
厳密に言うためには二階述語論理とかの説明からはじめなあかんからある程度抽象的かつ端的にそれっぽい言葉でレスしただけやん

**それでも動く名無し** · 2022/08/28(日) 21:21:04.34

>>276
ここでの満室は、「〇〇号室は空いているか」という質問に対して〇〇にどんな自然数入れても(つまり全ての部屋で)「〇〇号室は空いていない」という答えが帰ってくる状態の事と解釈したらどうや

**それでも動く名無し** · 2022/08/28(日) 21:21:06.80

>>287
無限やけど満室なんや
一旦人出せば満室じゃないから無限に入れれる

**それでも動く名無し** · 2022/08/28(日) 21:21:07.89

>>293
わからんところがあったら教えたるで

**それでも動く名無し** · 2022/08/28(日) 21:21:15.12

>>181
ヒルベルトってこれ読むと唯のガイジやんけ・・

・ドイツ人だからユダヤ人に負けたくない
・数学者だから物理学者に負けたくない
・せや！盗作したろ！

https://blog.goo.ne.jp/lemonwater2017/e/810f0359b1656dd029e37a49addcdfea

**それでも動く名無し** · 2022/08/28(日) 21:21:19.58

数学も行き着く先は哲学じみてるな

**それでも動く名無し** · 2022/08/28(日) 21:21:19.89

>>251
可算無限同士は全単射するってことは重要なんちゃう？

**それでも動く名無し** · 2022/08/28(日) 21:21:27.05

>>298
その数式のnはなんなんや？

**それでも動く名無し** · 2022/08/28(日) 21:21:32.97

インフィニットガンダムでフリーダムすればストライクフリーダムになるってことでしょ
これだからナチュラルはさぁ

**それでも動く名無し** · 2022/08/28(日) 21:21:41.96

>>285
スレタイの問題と同じように満室にしてから客が来るなら足りひんくなるやろ

**それでも動く名無し** · 2022/08/28(日) 21:21:49.17

掛谷問題もおもろい
数学の自由自在なところが出ている

**それでも動く名無し** · 2022/08/28(日) 21:21:53.11

>>276
ある部屋に対して客が割り当てられてるときにその部屋が満たされてるって思うんや
すべての部屋に客が割り当てられてたら、全ての部屋が満たされているからつまり満室ってことや
割り当て方を変えると空室はつくれるけど、それまでは満室やろ

**それでも動く名無し** · 2022/08/28(日) 21:21:59.85

これって「満室の部屋が無限個存在する」と同じ？

**それでも動く名無し** · 2022/08/28(日) 21:22:06.26

無限はめちゃくちゃ大きな数とは別モンってことやろ

なお無限の中でも色んなランクがある模様

**それでも動く名無し** · 2022/08/28(日) 21:22:29.34

>>302
{(cos(2(1-1/n)π), sin(2(1-1/n)π)) | nは自然数}
で伝わらんならもう無理や😭

**それでも動く名無し** · 2022/08/28(日) 21:22:31.14

無限百合ホテルで無限レズセしててワイも混ぜてよwって言ってもおまんこ空くとは思えへんのやが？

**それでも動く名無し** · 2022/08/28(日) 21:22:43.20

>>282
仮に無限同士が互いに一対一で対応していてもそれは「満たされてる」事にはならないと思うで
「満ちる」為には"枠"が必要や
無限は"枠"の終わりが見えないからこんなパラドックスが生まれる
要はワイら現実世界の観点で「満ちる」というはイメージが無限には通用しないことを示した思考実験ってことやろ

**それでも動く名無し** · 2022/08/28(日) 21:23:17.38

そもそも無限において満室ってなんやねん
部屋という無限集合と客という無限集合があってそれに対して1対1で紐つける関数があるだけやろ
満室とかいう曖昧な言葉使うなや

**それでも動く名無し** · 2022/08/28(日) 21:23:18.35

>>297
イメージはできるんやけどなんだかなあって感じや

**それでも動く名無し** · 2022/08/28(日) 21:23:34.83

>>308
対角線論法の話は面白かったわちゃんと理解してないけど

**それでも動く名無し** · 2022/08/28(日) 21:23:43.26

>>302
ID:ylJWLfRraが言いたいのは円周上に無数に点をとることは可能ってことやろ

**それでも動く名無し** · 2022/08/28(日) 21:23:51.02

>>309
えぇ…
やっぱ賢い人でも説明下手くそなんやね…

**それでも動く名無し** · 2022/08/28(日) 21:23:57.01

>>304
p_nを(cos(2(1-1/n)π), sin(2(1-1/n)π))としてp_nのお客さんをp_(n+1)に移せばp_1だけ空くで

**それでも動く名無し** · 2022/08/28(日) 21:24:09.73

また無限の話してる…

**それでも動く名無し** · 2022/08/28(日) 21:24:11.66

>>309
式全然見てなかったわ、すまんこ
この不公平な部屋の場合ってどうなんや…

**それでも動く名無し** · 2022/08/28(日) 21:24:16.72

無限の客室も無限の客もない定期
ありえない仮定定期

**それでも動く名無し** · 2022/08/28(日) 21:24:27.03

NHK「無限個の客室から受信料取るぞ」

**それでも動く名無し** · 2022/08/28(日) 21:24:51.87

>313
まあそんな真面目に考えんでもええやろ

**それでも動く名無し** · 2022/08/28(日) 21:24:53.62

返信ないからまた突っ込みどころのあること書くか

無限の部屋に無限の人がいます
１号室の人が帰りました。２号室以降の人に１つ小さい号室の部屋に移ってもらいました
いまホテルは満室でしょうか？

**それでも動く名無し** · 2022/08/28(日) 21:25:19.46

>>323
満室ちゃう？

**それでも動く名無し** · 2022/08/28(日) 21:25:35.38

>>323
そうやね。満室やで。

**それでも動く名無し** · 2022/08/28(日) 21:25:36.32

>>276
そこを分けて考える必要は無いと思うけど
例えば最初から人入りの部屋を無限室用意した考えればその違和感は無くなるんちゃう

**それでも動く名無し** · 2022/08/28(日) 21:25:36.59

大松「そんなホテルないぞ」

**それでも動く名無し** · 2022/08/28(日) 21:25:48.16

>>323
やっぱ妙なんやなこの話
分かりやすい反論意見も言ってくれるやつって神やわ

**それでも動く名無し** · 2022/08/28(日) 21:25:48.30

>>315
いや無限に点を取った時に一番うしろの点は
定義できないよね？

**それでも動く名無し** · 2022/08/28(日) 21:25:54.89

無限ネタで一番狂ってるのって
バナッハタルスキーのパラドックスというか定理だろ
話聞いても意味が分からんし、証明みてもチンプンカンプンでマジでやべえ

**それでも動く名無し** · 2022/08/28(日) 21:26:00.49

結局なんの話かわからないんだけどなんなん

**それでも動く名無し** · 2022/08/28(日) 21:26:01.86

なんかよくわからないンゴねぇ
笑わない数学で扱ってくれメンス

**それでも動く名無し** · 2022/08/28(日) 21:26:15.54

何なら無限には"1号室"もないんとちゃう？

**それでも動く名無し** · 2022/08/28(日) 21:26:22.49

>>311
別に無限同士でも対応させれないことあるから
無限では枠が存在しない、ってイメージは本質じゃないと思うで

**それでも動く名無し** · 2022/08/28(日) 21:26:28.22

>>331
喩え話は止したほうがええってことや

**それでも動く名無し** · 2022/08/28(日) 21:26:33.40

>>332
扱っていたぞ

**それでも動く名無し** · 2022/08/28(日) 21:27:18.62

>>333
番号付けられる無限はあるよ

**それでも動く名無し** · 2022/08/28(日) 21:27:31.32

>>333
半直線は始まりは存在してるしそういうイメージでええやろ

**それでも動く名無し** · 2022/08/28(日) 21:28:08.27

>>240
NaNやぞ

**それでも動く名無し** · 2022/08/28(日) 21:28:10.59

満室とはなんなのか
移るとはなんなのか

これを定義してから考えろってだけか

**それでも動く名無し** · 2022/08/28(日) 21:28:14.42

>>310
無限百合ホテルではタチのおまんこ∞個に対してウケのおまんこ∞個が一対一対応しとるからやで
無限百合ホテルの無限レズセには混ざることはできひん
けど無限百合ホテルそのものにも穴はあるんだよなぁ……

**それでも動く名無し** · 2022/08/28(日) 21:28:28.91

>>330
動かしても変わらん"面積"や"体積"が存在するのは当たり前のことじゃないんやでってことや

**それでも動く名無し** · 2022/08/28(日) 21:28:31.00

>>337
>>338
そっちはちゃんとあるんやな
片方の端は見えてももう片方の端が見えなきゃ無限でええんか

**それでも動く名無し** · 2022/08/28(日) 21:28:38.24

昔飛び込みで宿泊まったとき宴会場みたいな所止まったことあるわ
つまりそういうことや

**それでも動く名無し** · 2022/08/28(日) 21:28:38.72

>>331
数学上の答えが現実と比べて凄く奇妙に見えることがあるけど、そもそも数学がいつでも現実に一致するわけではないので気にしないこと

**それでも動く名無し** · 2022/08/28(日) 21:28:42.39

>>333
あるぞ
整列集合で調べれば分かる

**それでも動く名無し** · 2022/08/28(日) 21:28:46.93

>>339
NaNG

**それでも動く名無し** · 2022/08/28(日) 21:29:40.66

>>343
どうやろ
端はどっちにもあっても中を無限に細かくできたら無限個あることにもなるで確か
0から1の間にある数値全ては無限個存在してるけど0と1という端があるやろ

**それでも動く名無し** · 2022/08/28(日) 21:30:06.30

>>98
一番無難やな