[過去ﾛｸﾞ]
箱入り無数目を語る部屋４ (631ﾚｽ)
箱入り無数目を語る部屋４ http://rio2016.5ch.net/test/read.cgi/math/1666351034/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
1: １３２人目の素数さん [] 2022/10/21(金) 20:17:14.33 ID:dBYBl8GO １．時枝問題（「箱入り無数目」数学セミナー2015.11月号の記事）の最初の設定はこうだった。 「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる. どんな実数を入れるかはまったく自由，例えばn番目の箱にe^nを入れてもよいし，すべての箱にnを入れてもよい. もちろんでたらめだって構わない.そして箱をみな閉じる. 今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう. どの箱を閉じたまま残すかはあなたが決めうる. 勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け. 勝つ戦略はあるでしょうか?」 http://rio2016.5ch.net/test/read.cgi/math/1666351034/1
612: １３２人目の素数さん [] 2022/11/22(火) 06:49:58.23 ID:cm0i0Xit バナッハ＝タルスキーのパラドックス バナッハ＝タルスキーのパラドックス (Banach-Tarski paradox) は、 球を3次元空間内で、有限個の部分に分割し、 それらを回転・平行移動操作のみを使ってうまく組み替えることで、 元の球と同じ半径の球を2つ作ることができるという定理 （ただし、各断片は通常の意味で体積を定義できない）。 この操作を行うために球を最低5つに分割する必要がある。 http://rio2016.5ch.net/test/read.cgi/math/1666351034/612
613: １３２人目の素数さん [] 2022/11/22(火) 06:50:27.16 ID:cm0i0Xit バナッハ＝タルスキーの証明では、 ハウスドルフのパラドックスが援用され、 その後、多くの人により証明の最適化、 様々な空間への拡張が行われた。 http://rio2016.5ch.net/test/read.cgi/math/1666351034/613
614: １３２人目の素数さん [] 2022/11/22(火) 06:50:52.10 ID:cm0i0Xit 結果が直観に反することから、定理であるが「パラドックス」と呼ばれる。 http://rio2016.5ch.net/test/read.cgi/math/1666351034/614
615: １３２人目の素数さん [] 2022/11/22(火) 06:51:24.35 ID:cm0i0Xit 証明の1箇所で選択公理を使うため、 選択公理の不合理性を論じる文脈で引用されることがある。 http://rio2016.5ch.net/test/read.cgi/math/1666351034/615
616: １３２人目の素数さん [] 2022/11/22(火) 06:52:14.62 ID:cm0i0Xit ステファン・バナフ（バナッハ）とアルフレト・タルスキが 1924年に初めてこの定理を述べたときに 選択公理を肯定的にとらえていたか、否定的にとらえていたか、 判断することは難しい （「この研究に対する選択公理の果たす役割は注目に値する。」 (Le rôle que joue cet axiome dans nos raisonnements nous semble mériter l'attention.) としか述べていない）。 http://rio2016.5ch.net/test/read.cgi/math/1666351034/616
617: １３２人目の素数さん [] 2022/11/22(火) 06:52:49.52 ID:cm0i0Xit なお、選択公理よりも真に弱いハーン–バナッハの定理から バナッハ＝タルスキーのパラドックスを導くことができる。 http://rio2016.5ch.net/test/read.cgi/math/1666351034/617
618: １３２人目の素数さん [] 2022/11/22(火) 06:53:09.19 ID:cm0i0Xit この定理は次のように述べることも出来る。 球は、それ自身と同じ球二つと分割合同である。 http://rio2016.5ch.net/test/read.cgi/math/1666351034/618
619: １３２人目の素数さん [] 2022/11/22(火) 06:54:08.71 ID:cm0i0Xit ただし、分割合同とは以下のように定義される: A と B をユークリッド空間の部分集合とする。 A と B が有限個の互いに交わらない部分集合の合併として A = A1 ∪ ... ∪ An , B = B1 ∪ ... ∪ Bn と表すことができ、 全ての i について、Ai と Bi が合同であるとき、 A と B を分割合同という。 http://rio2016.5ch.net/test/read.cgi/math/1666351034/619
620: １３２人目の素数さん [] 2022/11/22(火) 06:55:07.87 ID:cm0i0Xit さらに、この定理から次のより強い形の系を導くことが出来る。 3次元ユークリッド空間の有界な部分集合で、内部が空でないもの (つまり、有限の拡がりを持ち、曲線や曲面ではないもの) を任意に二つ選んだとすると、それらは分割合同である。 http://rio2016.5ch.net/test/read.cgi/math/1666351034/620
621: １３２人目の素数さん [] 2022/11/22(火) 06:55:44.14 ID:cm0i0Xit 言い換えると、 ビー玉を有限個に分割して組み替えることで月を作ったり、 電話を組み替えて睡蓮を作ったり出来る （当然のごとく材質は変えられない）、 ということである。 http://rio2016.5ch.net/test/read.cgi/math/1666351034/621
622: １３２人目の素数さん [] 2022/11/22(火) 06:56:33.47 ID:cm0i0Xit この定理の証明で、 点集合は選択公理を使ってつくられる選択集合で構成されており、 各断片はルベーグ可測ではない。 すなわち、各断片は明確な境界や通常の意味での体積を持たない。 http://rio2016.5ch.net/test/read.cgi/math/1666351034/622
623: １３２人目の素数さん [] 2022/11/22(火) 06:56:49.77 ID:cm0i0Xit 物理的な分割では可測な集合しか作れないので、 現実にはこのような分割は不可能である。 しかしながら、それらの幾何学的な形状に対しては このような変換が可能なのである。 http://rio2016.5ch.net/test/read.cgi/math/1666351034/623
624: １３２人目の素数さん [] 2022/11/22(火) 06:57:21.54 ID:cm0i0Xit この定理は 3次元以上の全ての次元においても成り立つ。 http://rio2016.5ch.net/test/read.cgi/math/1666351034/624
625: １３２人目の素数さん [] 2022/11/22(火) 06:57:50.74 ID:cm0i0Xit 2次元ユークリッド平面においては成り立たないものの、 2次元においても分割に関するパラドックスは存在する: 円を有限個の部分に分割して組替える事で、 同じ面積の正方形を作ることが出来るのである。 http://rio2016.5ch.net/test/read.cgi/math/1666351034/625
626: １３２人目の素数さん [] 2022/11/22(火) 06:58:21.69 ID:cm0i0Xit これはタルスキーの円積問題 (en:Tarski's circle-squaring problem) として知られている。 http://rio2016.5ch.net/test/read.cgi/math/1666351034/626
627: １３２人目の素数さん [] 2022/11/22(火) 06:58:52.95 ID:cm0i0Xit 2次元ユークリッド平面においては、 合同変換ではなく面積を保つ変換に条件をゆるめると、 バナッハ＝タルスキーのパラドックスと同様な定理が成立することを、 1929年にジョン・フォン・ノイマンが証明した。 http://rio2016.5ch.net/test/read.cgi/math/1666351034/627
628: １３２人目の素数さん [] 2022/11/22(火) 07:00:20.29 ID:cm0i0Xit この定理は次のように述べることが出来る。 A と B を2次元ユークリッド空間の内点を持つ有界な部分集合とする。 A と B が有限個の互いに交わらない部分集合の合併として表すことが出来る。 ここで、全ての部分集合について、面積を保つ変換が存在する。 http://rio2016.5ch.net/test/read.cgi/math/1666351034/628
629: １３２人目の素数さん [] 2022/11/22(火) 08:58:49.15 ID:4Pri4uD7 等積ではなく等角だと？ http://rio2016.5ch.net/test/read.cgi/math/1666351034/629
630: １３２人目の素数さん [] 2022/11/25(金) 15:36:35.87 ID:vIMWEa9d >>629 さぁ http://rio2016.5ch.net/test/read.cgi/math/1666351034/630
631: １３２人目の素数さん [] 2022/12/20(火) 12:23:45.03 ID:R0GrT6qP https://i.imgur.com/xbvHJEJ.jpg https://i.imgur.com/lJZ8Sh0.jpg https://i.imgur.com/EBkFu32.jpg https://i.imgur.com/tYiEgUQ.jpg https://i.imgur.com/19C9xCw.jpg https://i.imgur.com/LnnUJVB.jpg https://i.imgur.com/dHH600c.jpg https://i.imgur.com/WwNutek.jpg https://i.imgur.com/fiVhn57.jpg https://i.imgur.com/5YIiOEv.jpg https://i.imgur.com/ZHeb47t.jpg https://i.imgur.com/hdsrM3X.jpg http://rio2016.5ch.net/test/read.cgi/math/1666351034/631
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.483s*