現代数学の系譜工学物理雑談古典ガロア理論も読む76

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む76 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

444: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/08/31(土) 20:18:18.10 ID:PbGhNKv4

>>443 追加

スレ73 https://rio2016.5ch.net/test/read.cgi/math/1563282025/486-
(>>486より再録)
過去、確率論の専門家さん来訪して、Pruss氏の指摘（2013）とほぼ同じことを指摘している（下記）
（参考確率論の専門家さん ID:f9oaWn8A）
スレ20 http://wc2014.2ch.net/test/read.cgi/math/1466279209/519-
519 １３２人目の素数さん 投稿日2016/07/03(日)ID:f9oaWn8A
>>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としか言ってるようにしか見えないけど．

522 １３２人目の素数さん 投稿日2016/07/03(日)ID:f9oaWn8A
面倒だから二列で考えると
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が可測かどうか分からないのでこの部分が非自明

528 １３２人目の素数さん 投稿日2016/07/03(日)ID:f9oaWn8A
おれが問題視してるのはの可測性
正確にかくために確率空間(Ω,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となるけど
hが(R^N,B(R^N))から(N,2^N)への可測関数とは正直思えない

532 返信１３２人目の素数さん 投稿日2016/07/03(日)ID:f9oaWn8A
>>530
>2個の自然数から1個を選ぶとき、それが唯一の最大元でない確率は1/2以上だ
残念だけどこれが非自明．
hに可測性が保証されないので，d_Xとd_Yの可測性が保証されない
そのためd_Xとd_Yがそもそも分布を持たない可能性すらあるのでP(d_X≧d_Y)≧1/2とはいえないだろう
(引用終り)

http://rio2016.5ch.net/test/read.cgi/math/1566715025/444

466: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/08/31(土) 21:45:16.39 ID:PbGhNKv4

>>462
(引用開始)
>しかし、現代数学内のカンニング手段は、まだ、見つかっていませんね
時枝解法ｗ
すなわち同値類の代表元をカンニングする解法
同値類が分かってないサルに理解できないだけの話ｗ
(引用終り)

つー、>>443-444 （＾＾；

あなたの主張は下記
同値類→代表→代表と問題の数列を比較した決定番号→複数列の決定番号の大小から、カンニング正解率は100列で確率99/100だ！

その最後の確率99/100
下記Denis "I think it is ok, because the only probability measure we need is uniform probability on {0,1,…,N-1}"
と同じでしょ？（＾＾（>>287ご参照）
で、厳密な数学の証明がないというのが、Pruss氏、確率論の専門家さんと、私ね（＾＾
（そもそも、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.”もあるよ）
（詳しくは、>>443-444 ）

(>>241)
そこを（数学的に厳密でないと）批判しているのが、Alexander Pruss氏だよ
https://mathoverflow.net/questions/151286/probabilities-in-a-riddle-involving-axiom-of-choice
Probabilities in a riddle involving axiom of choice Dec 9 '13
(抜粋)
asked Dec 9 '13 at 16:16 Denis
I think it is ok, because the only probability measure we need is uniform probability on {0,1,…,N-1}, 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.

http://rio2016.5ch.net/test/read.cgi/math/1566715025/466

487: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/09/01(日) 00:37:36.02 ID:dvD9YE7H

>>477 補足

同値類→代表→代表と問題の数列を比較した決定番号→複数列の決定番号の大小から、カンニング正解率は100列で確率99/100だ！
となると、風がふけばなんとやらで
いつの間にか、「カンニング正解率は100列で確率99/100だ！」となっているけど、ちょっとおかしい
「複数列の決定番号の大小」比較の確率計算のところの可測性が問題視されていますｗ（＾＾
「測度論的確率論」（高校数学の美しい物語）としての、厳密な扱いが出来ていないよと、批判されています

（詳しくは、>>443-444 ）
(>>241)
そこを（数学的に厳密でないと）批判しているのが、Alexander Pruss氏だよ
https://mathoverflow.net/questions/151286/probabilities-in-a-riddle-involving-axiom-of-choice
Probabilities in a riddle involving axiom of choice Dec 9 '13
(抜粋)
asked Dec 9 '13 at 16:16 Denis
I think it is ok, because the only probability measure we need is uniform probability on {0,1,…,N-1}, 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.

（参考）
https://mathtrain.jp/probspace
高校数学の美しい物語
最終更新:2015/11/06
確率空間の定義と具体例（サイコロ，コイン）
(抜粋)
確率を厳密に扱うためには「測度論的確率論」を学ぶ必要があります。この記事では測度論的確率論の超入門として，確率を考える舞台となる「確率空間」の定義，意味，具体例について解説します。

測度論的確率論では，確率空間（三つ組(Ω,F,P)）を舞台に，確率変数や期待値などいろいろな概念を考えていくことになります。

http://rio2016.5ch.net/test/read.cgi/math/1566715025/487

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 2.837s*