[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む23 [無断転載禁止]©2ch.net (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
3(13): 現代数学の系譜11 ガロア理論を読む 2016/09/18(日)09:30 ID:9cd3XTDs(3/51) AAS
（まあ、時枝記事が書いていることが分からないと、スレの住人も困るだろうから）
２．続けて時枝はいう
私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.
但しもっときびしい同値関係を使う.
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する.
〜は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく.
幾何的には商射影 R^N→ R^N/〜の切断を選んだことになる.
任意の実数列S に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.
省7
33(9): 現代数学の系譜11 ガロア理論を読む 2016/09/18(日)12:15 ID:9cd3XTDs(33/51) AAS
>>32
１．さて、上記のように、区間（０，２）の間には、２つの分数列
区間（１，２）の分数列 1+1/2,1+1/3,1+1/4,1+4/5,・・・,1+1/n,1+1/(n+1),・・・
区間（０，１）の分数列 1/2,1/3,1/4,4/5,・・・,1/n,1/(n+1),・・・
を構成することができる。
２．自然数には普通の順序が考えられて、 1+1/2,1+1/3,1+1/4,1+4/5,・・・,1+1/n,1+1/(n+1),・・・＞ 1/2,1/3,1/4,4/5,・・・,1/n,1/(n+1),・・・
とできて、大から小へ整列可能
当たり前だが、一つの可算無限数列と考えることができる
３．上記２で構成した可算無限数列に、時枝記事>>2-3の「箱がたくさん，可算無限個ある.箱」を対応するように並べることが可能だ
そのときに、決定番号>>3がどうなるか？
省2
34(4): 現代数学の系譜11 ガロア理論を読む 2016/09/18(日)12:15 ID:9cd3XTDs(34/51) AAS
>>33
・要するに、時枝記事>>2-3の決定番号>>3なる概念は、非常にあやふやだと
・で、そういうあやふや決定番号をベースに、「１００列使って確率99/100」が言えるのか？
・ここらが、時枝記事のパラドックス（一見成り立ちそうで成り立たない）のトリックのしかけだろう
35(3): 現代数学の系譜11 ガロア理論を読む 2016/09/18(日)12:16 ID:9cd3XTDs(35/51) AAS
>>34 補足
外部ﾘﾝｸ:ja.wikipedia.org
確率論的独立性
確率論において、2つの事象が独立であるというのは、ある事象と別の事象の両方が成立する確率が、それぞれの確率の積で表されることを言う。
2つの確率変数が独立であるというのは、「ある確率変数の値が一定範囲に入る事象」と「別の確率変数の値が別の一定範囲に入る事象」が、考えられるどのような「一定範囲」（「考えられる」とは通常ボレル集合族を指す）を定めても、事象として独立であることを言う。
2つの事象が独立といった場合は、片方の事象が起きたことが分かっても、もう片方の事象の起きる確率が変化しないことを意味する。2つの確率変数が独立といった場合は、片方の変数の値が分かっても、もう片方の変数の分布が変化しないことを意味する[1]。
(引用おわり)
もし、時枝記事>>2-3の解法が成り立つなら、本来は各箱の数は確率論的独立性として計算される確率とは違って、例えば確率99/100などと計算される
つまりは、従来の確率論的独立性が否定される
省7
74(2): 現代数学の系譜11 ガロア理論を読む 2016/09/19(月)08:13 ID:ek4ghzDE(3/20) AAS
>>71
高校生？ Tさんかな？
> >>30のから例を挙げると
> 100 rooms each contain countably many boxes labeled with the natural numbers
投稿論文書いたことないの？ 出典は、もっときちんと明示しないと
まあ、言いたいことは分からんでも無い
が、話が数学だから、”fully rigorous”は求められるよ
例えば、”labeled with the natural numbers”の数学的定義とか。いますぐでなくてもいいが
で
>時枝アプローチ
省8
76(1): 現代数学の系譜11 ガロア理論を読む 2016/09/19(月)08:15 ID:ek4ghzDE(5/20) AAS
>>75 つづき
まあ、ここらが、時枝パラドックスのタネだろう
>>34 再録
・要するに、時枝記事>>2-3の決定番号>>3なる概念は、非常にあやふやだと
・で、そういうあやふや決定番号をベースに、「１００列使って確率99/100」が言えるのか？
・ここらが、時枝記事のパラドックス（一見成り立ちそうで成り立たない）のトリックのしかけだろう
78(3): 現代数学の系譜11 ガロア理論を読む 2016/09/19(月)08:35 ID:ek4ghzDE(7/20) AAS
>>77 つづき
これも強調しておこう
>>35 から再録
もし、時枝記事>>2-3の解法が成り立つなら、本来は各箱の数は確率論的独立性として計算される確率とは違って、例えば確率99/100などと計算される
つまりは、従来の確率論的独立性が否定される
即ち
命題A：時枝記事>>2-3の解法が成り立つ → 命題B：従来の確率論的独立性が否定される
対偶を取る
命題B¬：従来の確率論的独立性が否定されない → 命題A¬：時枝記事>>2-3の解法が成り立たない
これも覚えておいてほしい
省2
93(1): 現代数学の系譜11 ガロア理論を読む 2016/09/19(月)09:47 ID:ek4ghzDE(11/20) AAS
>>85 補足の補足
・￥さんは、「コルモゴロフの確率論を超えて行くべきという時枝の問題意識は正しい」という。確かに、そうだろう
・が、コルモゴロフの確率論を超えた新しい理論には、ボーアの対応原理を当てはめてみるべし
・つまり、従来の理論との整合性だ。従来の理論とも整合し、従来の理論で扱えない場合にも、新理論は適用できると。佐藤超関数に同じ
・ところが、>>78 命題A：時枝記事>>2-3の解法が成り立つ → 命題B：従来の確率論的独立性が否定される となって
対偶を取ると、命題B¬：従来の確率論的独立性が否定されない → 命題A¬：時枝記事>>2-3の解法が成り立たない となる
・つまりは、ボーアの対応原理を当てはめると、時枝記事の解法は、極めて怪しいという結論に至る
（その結論は、￥さんの「コルモゴロフの確率論を超えて行くべきという時枝の問題意識は正しい」と矛盾しない）
・だから、時枝記事の解法だけをいじくっても、コルモゴロフの確率論超えはできないと思う（なにか他のものと組み合わせれば別）
・私の興味はただ１点。成り立たない解法が、なぜ成り立つように見えるのか？ そのしかけや如何にということだけ
275: 2016/09/25(日)11:28 ID:LDK3n0B8(2/8) AAS
33 : 現代数学の系譜11 ガロア理論を読む2016/09/18(日) 12:15:08.51 ID:9cd3XTDs
>>32
１．さて、上記のように、区間（０，２）の間には、２つの分数列
区間（１，２）の分数列 1+1/2,1+1/3,1+1/4,1+4/5,・・・,1+1/n,1+1/(n+1),・・・
区間（０，１）の分数列 1/2,1/3,1/4,4/5,・・・,1/n,1/(n+1),・・・
を構成することができる。
２．自然数には普通の順序が考えられて、 1+1/2,1+1/3,1+1/4,1+4/5,・・・,1+1/n,1+1/(n+1),・・・＞ 1/2,1/3,1/4,4/5,・・・,1/n,1/(n+1),・・・
とできて、大から小へ整列可能
当たり前だが、一つの可算無限数列と考えることができる
３．上記２で構成した可算無限数列に、時枝記事>>2-3の「箱がたくさん，可算無限個ある.箱」を対応するように並べることが可能だ
省4
304(4): 現代数学の系譜11 ガロア理論を読む 2016/09/25(日)13:39 ID:90dcHpiy(19/53) AAS
>>276-277 >>293 >>296
（補足）
ここで、引用したクリーニ代数、文字列からなる自由モノイド
>>2-3の時枝問題の、可算無限個の箱からなる数列の、ある番号から先のしっぽが一致する同値類分類の一つのモデルを与えているとみる
つまり、あるベースになる可算無限個の箱からなる数列sと、一方それと対比される数列s'があって
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^N
として、”・・・”が一致する部分とする
s'の不一致部分＝(s'1， s'2， s'3，）は、ある文字列の集合からなる自由モノイドになると考えられる
ある文字列の集合として、時枝問題では実数Rを取っている
が、それは自然数Nでも良いし、二進数なら（0，１）、十進数なら（0，〜,9）,アルファベットなら（a，〜,z）
省13
423(1): 現代数学の系譜11 ガロア理論を読む 2016/10/01(土)09:45 ID:SG2Smat/(12/65) AAS
”具体的対象−抽象理論の間を行ったり来たり”
１．そこで、時枝記事を見るに、>>2「箱が可算無限個」とあるので、そこから”あやしい”（錯覚するな）という感覚を持つべき
２．そして、確率分布によっては、”単純に「確率は、99/100」という理屈は成り立たない”例があるから、>>3の「決定番号」の確率分布をチェックしておく必要ありと
３．確率分布のチェックなしには、数学的に”fully rigorous”（前スレ 151 Terence Tao 発言）に、「確率は、99/100」の証明はできない
４．「決定番号」の確率分布は、みなさんのレベル（Tさん除く）なら、すぐ分かるだろう。「確率は、99/100」の証明はできない
601(2): 現代数学の系譜11 ガロア理論を読む 2016/10/05(水)07:38 ID:7cQ3hMXE(10/16) AAS
>>591 >>594
ID:HBCwDDxOさん、どうも。スレ主です。
コメントありがとう
分かり易いコメントですね（＾＾；
>そういう意味できれいな測度を選べば
>確率はすべて当たりか外れの二者択一
>それを百分率で表せば99/100ということだろう
全く同感！
で、過去スレにあるが、有限ｎ個の数列で、しっぽで同値類を取るなら、しっぽはｎ番目の箱になる
決定番号は、１ 〜 n-1 の値を取る
省11
660(1): 現代数学の系譜11 ガロア理論を読む 2016/10/07(金)11:07 ID:++KBxzq2(6/20) AAS
>>620-621 補足
１．時枝も手放しで、あの解法>>2-4が成り立つとは思っていなかったろう
２．「箱入り無数目」という半分ふざけて逃げた非数学的題にその気持ちが現れていると思う
３．記事の前半>>2-4は解法の数学的解説だが、記事の後半>>5-7は数学的逃げの言い訳を二つ書いている>>574
４．一つは、”非可測集合を経由した”から>>5。一つは、"(1)無限を直接扱う，(2)有限の極限として間接に扱う，二つの方針が可能である.が、この二つは区別されるべき"と
５．そして、>>574-581に示したが、この二つの言い訳は数学的に不成立だ
６．だから、数学的な議論は、これで記事の前半に絞られたわけだ
665(1): 現代数学の系譜11 ガロア理論を読む 2016/10/07(金)11:11 ID:++KBxzq2(11/20) AAS
>>664 つづき
さて、>>657の松井卓先生にならって、Zは整数全体を表し， Z^2を二次元平面上で座標が整数である格子点全体として考えよう
Z^2に箱を配置すれば、可算無限個
これを使って、>>2-4の時枝解法を考えてみよう
（Z^2の箱を100列に並べる方法は複数あるだろうが、例えば、原点(0,0)から渦巻き状に箱を選んで、100列にする。この場合、原点(0,0）を別に選べば、別の並びになることに注意。）
１．簡単に、箱に0〜9の整数をランダムに入れるとして、一つの箱を開けて当たる確率は、1/10
Z^2の箱は、全部数学的に均一だと仮定できるとする。（これを否定する人はいまい）
ところが、時枝解法が正しいとすると、ある箱では確率は99/100だと。これは、1/10に矛盾する
２．さらに、推論を進めよう。ある箱では確率は99/100を認めるとして、時計を逆戻しすると
その箱は、Z^2の平面のどこかにあったはず
省7
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s