0001132人目の素数さん2022/08/13(土) 14:03:32.00ID:O5Z6CQZK
ちょっとだけよ
貴方も好きね
0002132人目の素数さん2022/08/13(土) 14:06:07.62ID:oCCjGO3A
ホテルの部屋の例えで無理数の多さを説明できないの?
0004132人目の素数さん2022/08/13(土) 16:56:21.85ID:d42KNd2H
0005132人目の素数さん2022/08/13(土) 18:06:16.67ID:oCCjGO3A
>>3
正の無理数は自然数の無限数列で表せる
もし どの自然数の番号の部屋もある無理数が割り当てられたとすると
対角線論法により、どの部屋にも割り当てられてない無理数が構成できる 0006132人目の素数さん2022/08/14(日) 15:44:39.76ID:wrMgfmOd
>>4
これも追加な
バナッハ=タルスキーのパラドックス
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
バナッハ=タルスキーのパラドックス (Banach-Tarski paradox) は、
球を3次元空間内で、有限個の部分に分割し、
それらを回転・平行移動操作のみを使ってうまく組み替えることで、
元の球と同じ半径の球を2つ作ることができるという定理
(ただし、各断片は通常の意味で体積を定義できない)。
バナッハ=タルスキーの証明では、ハウスドルフのパラドックスが援用され、
その後、多くの人により証明の最適化、様々な空間への拡張が行われた。
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー >>6
証明の概要
証明は本質的に4つのステップに分かれる。
1.2つの生成元を持つ自由群F_2の「パラドキシカルな分割」を見つける。
2.自由群F_2と同型な3次元の回転群を見つける。
3.2で作った回転群のパラドキシカルな分割と選択公理を用いて
2次元球面の分割を作る。
4.3の2次元球面の分割を3次元球の分割に拡張する。 >>7
2.について、
2次元以上の双曲空間の双曲変換群には自然な形で部分群F_2が存在する
3.について
双曲空間で同様の分割を実現する際は簡単に代表元がとれるので選択公理は必要ない 痛い数学にわかだった頃にイキってこの話を親にしたら
「無限に部屋があるホテルが満室になるわけないじゃん」
で一蹴された
0010132人目の素数さん2022/08/14(日) 21:47:21.07ID:PVgyr/KM
>>9
さすがにヒルベルトホテルのネタはリアル厨房の頃から各種啓蒙書で知ってはいたが
比較的最近
アノマリー、量子異常がディラックの海の海水面上昇下降な物理学的解釈できることを知った。 0011132人目の素数さん2022/08/15(月) 09:38:20.11ID:eId8lOJ4
ヒルベルトホテルのネタは
ディリクレの鳩巣原理を知らなければ
面白くない。
鳩巣原理は
類数の有限性とディリクレの単数定理を知らなければ
面白くない
0012132人目の素数さん2022/08/15(月) 10:14:59.92ID:DFWT05d1
0013132人目の素数さん2022/08/15(月) 10:16:56.41ID:eId8lOJ4
0014132人目の素数さん2022/08/15(月) 10:25:09.58ID:DFWT05d1
>>13
中身の説明ができない素人の発言は面白くない 0015132人目の素数さん2022/08/15(月) 10:30:00.30ID:eId8lOJ4
>>14
鳩巣原理くらいはこのスレの常識と思ったが。
類数の有限性と単数定理が古典的な代数的整数論の
二大定理であることくらいは
加藤・黒川・斎藤の本に書いてあるから有名かと思った。 そもそも今の数論だったら、
k代数体として、まず連続準同型であるイデール群I_k→R^*_+, (α_v)→∏|α_v|_vの核をI^0_kとし、積公式からk^*⊂I^0_kとみなせるので、準同型であるイデール類群C_k→R^*_+と核I^0_k/k^*が得られる
I^0_k/k^*がコンパクトであることを証明できて連続全射I^0_k/k^*→イデアル類群I_k/P_kと離散かつコンパクトは有限から、I_k/P_kは有限
で示して終わりが普通だよな
0017132人目の素数さん2022/08/15(月) 13:42:19.96ID:44kanMhz
0018132人目の素数さん2022/08/15(月) 14:39:13.53ID:DFWT05d1
>>16
それのどこにホテル「無限」が出てくるのかおせーて 0019132人目の素数さん2022/08/15(月) 21:51:15.73ID:KY0vvRfg
まあ俺は幼稚園入る前から半導体の空孔を図鑑で読んで理解してるのを褒められたのが自慢の種だからなあ。
0020132人目の素数さん2022/08/16(火) 09:35:09.90ID:s4S94ApO
>>19
だったらヒルベルトホテルの局所化くらい
わけはないのでは? 0021132人目の素数さん2022/08/20(土) 17:44:46.75ID:WnylWw8C
0022132人目の素数さん2022/08/20(土) 17:50:58.66ID:PSydDfXm
0023132人目の素数さん2022/08/20(土) 18:56:14.18ID:WnylWw8C
0024132人目の素数さん2022/08/20(土) 19:04:48.08ID:PSydDfXm
>>23
21のどこに新しい点があるのかという意味 0025132人目の素数さん2022/08/20(土) 20:31:20.58ID:WnylWw8C
0026132人目の素数さん2022/08/20(土) 21:23:39.37ID:yumbgJFn
新しい話でないとつまらん
新聞を読むときもそうだろ
0027132人目の素数さん2022/08/21(日) 06:51:20.20ID:zT1OIqyI
>>26
面白くないなら別に読まなくていいんじゃね?
君一匹を面白がらせるために君以外の全ての人が書いてるわけじゃないし 0028132人目の素数さん2022/08/21(日) 08:36:12.44ID:oUIZN+eU
>>27
21が別のスレから紛れ込んできたスレチだということを
踏まえている 0029132人目の素数さん2022/08/21(日) 08:50:04.62ID:zT1OIqyI
>>28
でも、このスレ立てたのそいつだよ 多分
そこ踏まえないとドツボ 0030132人目の素数さん2022/08/21(日) 08:55:17.18ID:oUIZN+eU
なるほどそれには一理ある
部屋が無限にあるホテルには姉妹店AとBがあって、満室の姉妹店Bが工事をする事になって
B店の客をやはり満室のA店に移したんだが、それでも全員がA店に入る事が出来た。
(∞+∞=∞って認識で良いよね、地頭が悪いからそういう風にしか理解できない)
宿泊費などの精算の為にAとBを分けるにはどうすればいいか、なんて話もあったかな?
とりあえず偶数と奇数で分けるのが一番簡単だ、と言う話は聞いた事があるんだ。
0032132人目の素数さん2022/08/22(月) 21:14:28.47ID:Pk6/NEyr
>>21
>例えば2進列なら、有限列の場合、最後の項が0か1かの2つの同値類しかないが
>無限列の場合、無限個の(正確にいえば非可算無限個の)同値類が存在する
ROMのつもりだったけど少し燃料を投下しよう
1)無限列として、半開区間[0、10)の実数を考える (e、πがこの範囲)
(常識だが、3.14で、4は小数第2位となる)
2)簡単に10進無限小数を考えると、これが上記の無限列の例を構成する (勿論p進展開もありだが)
この場合、数列の各項に入る数は0~9の整数になる
3)下記は、よく知られていることだが
a)無限小数で、ある小数第n+1位から先のしっぽが0である場合、それは有限小数である。普通は0を省いて記す
例 3.1400000・・→3.14
b)有理数では、無限小数だが、しっぽが循環する場合がある
例 1/3=0.33333・・
c)循環しない無限小数(有限でない)は、無理数で、代数的数と超越数に分けられる
例 √2、π
4)さて、無限小数のしっぽの同値類を考えると
二つの無限小数 aとb が、同じ同値類だとする。ある小数第n+1位から先のしっぽ一致しているとすると
aーb =c とすると、cは有限小数になる (∵ ある小数第n+1位から先のしっぽ一致しているので、差を作ると全て0になるため)
5)逆に、(有限でない)無限小数bに対し、同じ同値類の数aは、
a=b+c とできる(cは有限小数)
6)なお問題は、人は任意の二つの(有限でない)無限小数が同じ同値類に属するか否かを見分ける手段をまだ持たないこと
例 e+π、e-πは、有理数であるのか無理数であるのか超越的であるのか否かは証明されていない
(下記の 超越数かどうかが未解決の例 より)
(円周率 π 、ネイピア数 e)
7)なので、理念としての無限小数のしっぽの同値類分類は可能であるが、
それを具体的に、全同値類を完成してその代表を選ぶことなどできないのです(多分将来も全同値類の完成は不可能でしょう)
(参考)
https://ja.wikipedia.org/wiki/%E8%B6%85%E8%B6%8A%E6%95%B0
超越数
超越数かどうかが未解決の例 0033132人目の素数さん2022/08/23(火) 01:47:45.58ID:m3pave8k
>>31
A店に移す満室の姉妹店数は有限でなくてもええんやで
写像f:N→N×N で全単射なものが存在する 0034132人目の素数さん2022/08/23(火) 02:00:48.71ID:m3pave8k
>>32
>7)なので、理念としての無限小数のしっぽの同値類分類は可能であるが、
> それを具体的に、全同値類を完成してその代表を選ぶことなどできないのです(多分将来も全同値類の完成は不可能でしょう)
同値分割可能かという問題とπの十進少数表示は有限桁しか知られていないという問題を混同してますね。
こんなところで躓いてる落ちこぼれに箱入り無数目が理解できないのは当然です。 0035132人目の素数さん2022/08/23(火) 07:55:15.86ID:GpEI2lQg
>>34
>πの十進少数表示は有限桁しか知られていないという問題
有限桁しか知られていない ではなく
有限桁しか計算できない でしょうね、人は
計算理論から、πの十進少数表示をコンピュータで無限桁計算するには
無限の計算時間と
無限の記憶容量と
無限桁の表示時間と
・
・
などと いろいろ、無限のリソースを必要とすることは、おそらく確か
(証明をするには、ここの余白は狭すぎるw)
なので、数論で超越数などを扱うとき、
十進表示では、それは単純明快だが、原理的に力不足でしょう、多分ね
(実用上、有限桁で打ち切って使うには、非常に便利です)