[過去ﾛｸﾞ]
スレタイ 箱入り無数目を語る部屋3 (1002ﾚｽ)
スレタイ 箱入り無数目を語る部屋3 http://rio2016.5ch.net/test/read.cgi/math/1660377072/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
126: １３２人目の素数さん [] 2022/09/01(木) 20:26:39.40 ID:WU14z2o9 >>123 補足 関連部分を下記に再録する >>91より 現代数学の系譜11 ガロア理論を読む20 https://wc2014.5ch.net/test/read.cgi/math/1466279209/519-532 519 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 22:27:11.14 ID:f9oaWn8A [4/13] >>518 X=(X_1,X_2,…)をR値の独立な確率変数とする． 時枝さんのやっていることは 無限列x=(x_1,x_2,…)から定められた方法によって一つの実数f(x)を求める． 無限列x=(x_1,x_2,…）から定められた方法によって一つの自然数g(x)を求める． P(f(X)=X_{g(X)})=99/100 ということだが，それの証明ってあるかな？ 100個中99個だから99/100としか言ってるようにしか見えないけど． 521 名前：１３２人目の素数さん[sage] 投稿日：2016/07/03(日) 22:36:32.49 ID:/kjhINs/ [10/15] >>519 記事のどこが疑問なのか明確にしてもらえますか？ 説明不足でよく分からない 522 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 22:40:29.88 ID:f9oaWn8A [5/13] 面倒だから二列で考えると Y=(X_1,X_3,X_5,…）とZ=(X_2,X_4,X_6,…)独立同分布 実数列x=(x_1,x_2,…)から最大番号を与える関数をh(x)とすると P(h(Y)>h(Z))=1/2であれば嬉しい． hが可測関数ならばこの主張は正しいが，hが可測かどうか分からないのでこの部分が非自明 つづく http://rio2016.5ch.net/test/read.cgi/math/1660377072/126
127: １３２人目の素数さん [] 2022/09/01(木) 20:27:09.54 ID:WU14z2o9 >>126 つづき 528&529 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:03:57.29 ID:f9oaWn8A [8/13] おれが問題視してるのはの可測性 正確にかくために確率空間(Ω,F,P)を設定しよう Y,Zはそれぞれ(Ω,F)から(R^N,B(R^N))の可測関数である． もしhが(R^N,B(R^N))から(N,2^N)への可測関数ならば h(Y),h(Z)はそれぞれ可測関数となって{ω|h(Y(ω))>h(Z(ω)}∈FとなりP({ω|h(Y(ω))>h(Z(ω)})=1/2となるけど 532 名前：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:15:17.47 ID:f9oaWn8A [11/13] >>530 >2個の自然数から1個を選ぶとき、それが唯一の最大元でない確率は1/2以上だ 残念だけどこれが非自明． hに可測性が保証されないので，d_Xとd_Yの可測性が保証されない そのためd_Xとd_Yがそもそも分布を持たない可能性すらあるのでP(d_X≧d_Y)≧1/2とはいえないだろう hが(R^N,B(R^N))から(N,2^N)への可測関数とは正直思えない (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1660377072/127
128: １３２人目の素数さん [] 2022/09/01(木) 23:13:56.75 ID:PauLXZ2z >>126 >>127 だーかーらー >P(h(Y)>h(Z))=1/2であれば嬉しい． P(h(Y)>h(Z))=1/2なんて言ってませんよ時枝先生は >そのためd_Xとd_Yがそもそも分布を持たない可能性すらあるのでP(d_X≧d_Y)≧1/2とはいえないだろう P(d_X≧d_Y)≧1/2なんて言ってませんよ時枝先生は なんでそんなに頭悪いんですか？ http://rio2016.5ch.net/test/read.cgi/math/1660377072/128
129: １３２人目の素数さん [] 2022/09/02(金) 07:40:37.09 ID:K8gWPGVv >>126 補足 >P(f(X)=X_{g(X)})=99/100 >ということだが，それの証明ってあるかな？ > 100個中99個だから99/100としか言ってるようにしか見えないけど． ”それの証明ってあるかな？”の意図は 多分、キチンと測度論に基づいた検証がなされているか？ ってことだと思う そして、>>123に示したように 決定番号について、それを掘り下げて検討すると 単純に”100個中99個だから99/100”は言えないってことだね 彼が、2016/07/03に言っている ”おれが問題視してるのはの可測性” ”残念だけどこれが非自明． hに可測性が保証されないので，d_Xとd_Yの可測性が保証されない”と 要するに、”100個中99個だから99/100”は測度論から見て、 相当あやしいってことを指摘しているのです 繰り返すが、そのことを掘り下げたのが、>>123です http://rio2016.5ch.net/test/read.cgi/math/1660377072/129
213: １３２人目の素数さん [] 2022/09/11(日) 13:11:10.73 ID:cFRF8/nb >>209 補足 よく知られているが １）選択公理だけでは、確率計算はできない 一般論として、確率計算は測度論をベースとしたコルモゴロフの確率公理を必要とする>>91 ２）同様の議論を、時枝氏自身が出している 「結果R^N →R^N/～ の切断は非可測になる.」と（下記） ３）また mathoverflow>>1で ・質問者 Denis氏は、”but other people argue it's not ok, because we would need to define a measure on sequences, and moreover axiom of choice messes everything up.”と記す ・回答者 DR Pruss氏は、”But we have no reason to think the event of guessing correctly is measurable with respect to the probability measure induced by the random choice of sequence and index i, and we have no reason to think that the conglomerability assumption is appropriate."と記す ・回答者 DR Huynh氏は、”If it were somehow possible to put a 'uniform' measure on the space of all outcomes, then indeed one could guess correctly with arbitrarily high precision, but such a measure doesn't exist.”と記す ４）過去スレで、ある人が（>>126）https://wc2014.5ch.net/test/read.cgi/math/1466279209/519-532 ”それの証明ってあるかな？”、”おれが問題視してるのはの可測性” ”非可測であることに目をつぶって計算することの意味をあまり感じないな” ”むしろ初めの問題にたちもどって，無限列から一個以外を見たとこでその一個は決定できないだろうと考えるのが 直感的にも妥当だろう”と記す ５）よって、時枝記事は可測性が保証されず、その確率計算に可測性の裏付けがない という疑問が、多くの人から出されている 選択公理だけでは、可測性は保証されない (参考) https://rio2016.5ch.net/test/read.cgi/math/1620904362/404 時枝問題 さらに、数学セミナー201511月号P37 時枝記事に、次の一文がある 「R^N/～ の代表系を選んだ箇所で選択公理を使っている. その結果R^N →R^N/～ の切断は非可測になる. ここは有名なヴィタリのルベーグ非可測集合の例(Q/Zを「差が有理数」で類別した代表系， 1905年)にそっくりである.」 (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1660377072/213
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.033s