[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む81 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
531(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2020/01/24(金) 10:43:34.62 ID:ocvAqEg7(5/12) AAS
>>524
＞ 従って、「ある箱の中身を当てる確率じゃない、100箱からアタリ箱を選ぶ確率」だという主張に、厳密な証明が欠けています」
この逆の証明が、
前スレのジムの数学徒氏（>>5）の前80スレの>>271の証明でしょ
（>>499より）（参考）
スレ80 2chｽﾚ:math
271 2020/01/10(金) 22:20:49.70 ID:jmw8DMZb
(抜粋)
結局確率変数d(x)などが満たしていなければならない条件とは
(1) P(d(x)>d(y),d(z))≦1/3。
(2) P(∀i≧D x[i]=r(C(x))[i] | d(x)≦D)=1
である。
この２つの条件が満たされない限り時枝の議論は成立しない。
ところがこの(2)の条件は確率論の公理の要請に反してしまう。
(引用終り)
以上
532(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2020/01/24(金) 11:24:53.88 ID:ocvAqEg7(6/12) AAS
>>531 補足
>(2) P(∀i≧D x[i]=r(C(x))[i] | d(x)≦D)=1
>である。
>この２つの条件が満たされない限り時枝の議論は成立しない。
>ところがこの(2)の条件は確率論の公理の要請に反してしまう。
(関連)
前スレ80 2chｽﾚ:math
273 名前：１３２人目の素数さん[sage] 投稿日：2020/01/10(金) 22:31:15.46 ID:jmw8DMZb [10/12]
あ、ちょっと間違い見つけた。
ま、いいや、ちゃんと確率論勉強した事ある人なら直せるだろうし。
そもそも時枝記事の不十分性を指摘するだけなら>>237-238で終わってるし。
(引用終り)
あんまり、間が空くと、かえって”おまぬけ”になるから
早めに書くよ
間違いは、多分、”(2) P(∀i≧D x[i]=r(C(x))[i] | d(x)≦D)=1”のところだな
下記のwikipedia 確率論の ”２．（正規性）：P(Ω) = 1.”と対比すると
(2)式で、Ω＝”∀i≧D x[i]=r(C(x))[i] | d(x)≦D”だけど
Ωは、いわゆる全事象であるから、各事象の総和であるべき
だから、”∀i≧D x[i]=r(C(x))[i] | d(x)≦D”には、総和記号か、和集合の記号∪が、入らないと、辻褄が合わないってことだと思う
多分ね（＾＾
（参考）
https://ja.wikipedia.org/wiki/%E7%A2%BA%E7%8E%87%E8%AB%96
確率論
(抜粋)
1.2 公理的確率論
基礎概念の数学的定義
現代確率論における基礎概念たちは測度論を基盤として次のように厳密に定義される。
確率空間
P を可測空間（Ω，F) 上の確率測度とする。
１．（完全加法性）：略
２．（正規性）：P(Ω) = 1.
・このときの三つ組 （Ω,F,P) を確率空間 (probability space) と呼び、可測集合 A∈F を事象 (event) と呼ぶ
確率変数
・確率空間 （Ω,F,P) 上の可測関数を確率変数 (random variable) と呼ぶ。
544(2): １３２人目の素数さん [] 2020/01/24(金) 13:28:26.07 ID:FqeJXzBG(14/38) AAS
>>531
>(1) P(d(x)>d(y),d(z))≦1/3。
全然ダメ
d()が非可測なのでこのような確率は論ずることができない
>>144を1000回音読せよ 話はそれからだ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.069s