[過去ログ] 現代数学の系譜11 ガロア理論を読む27 [無断転載禁止]©2ch.net (517レス)
上下前次1-新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
310(4): 現代数学の系譜11 ガロア理論を読む 2017/01/03(火)12:43 ID:trvSnYCN(12/12) AAS
>>308
おっちゃん、どうも。スレ主です。
このスレで証明を書かないのはありがたい!(^^
>多くの人にとって、数学的に1番身近な公理体系がZFCだから、ZFCの中で時枝問題を考えましょうということ。
>そうすると、時枝問題は正しくなる。少なくともこのことを、スレ主は否定していることになる。
時枝自身>>4が書いている
「もうちょっと面白いのは,独立性に関する反省だと思う.
確率の中心的対象は,独立な確率変数の無限族
X1,X2,X3,…である.
いったい無限を扱うには,
(1)無限を直接扱う,
(2)有限の極限として間接に扱う,
二つの方針が可能である.
確率変数の無限族は,任意の有限部分族が独立のとき,独立,と定義されるから,(2)の扱いだ.
しかし,素朴に,無限族を直接扱えないのか?
扱えるとすると私たちの戦略は頓挫してしまう.
n番目の箱にXnのランダムな値を入れられて,ある箱の中身を当てようとしたって,
その箱のX と他のX1,X2,X3,・・・がまるまる無限族として独立なら,
当てられっこないではないか−−他の箱から情報は一切もらえないのだから.
勝つ戦略なんかある筈ない,と感じた私たちの直観は,無意識に(1)に根ざしていた,といえる.」だ
つまり、”その箱のX と他のX1,X2,X3,・・・がまるまる無限族として独立”を否定している
本当にそうなか? ”まるまる無限族として独立”なる無定義用語を使っていませんか?
”確率変数の無限族は,任意の有限部分族が独立のとき,独立,と定義される”から、「その箱のXは、−−他の箱から情報は一切もらえない」が導かれると思うよ
証明を書くには、”他の箱から情報をもらう”とは? という定義が必要だろうし
でも、”勝つ戦略なんかある筈ない,と感じた私たちの直観は,無意識に(1)に根ざしていた”というから
ともかく、ある無限数列のしっぽから、その数列のどれかの箱Xが情報を貰うということだから、箱Xは独立でなく、なんらかの関連が付くということだろ?
それは、「任意の有限部分族が独立のとき,独立」を破り、矛盾を生じると思うよ
それは時枝も矛盾を感じているから、”私たちの直観は,無意識に(1)に根ざしていた”という言い訳1行で済ませているが、本来要証明だ(証明できないだろうが)
上下前次1-新書関写板覧索設栞歴
あと 207 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.008s