[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋3 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
693(11): 2022/10/10(月)17:58 ID:/bF8CLbh(29/39) AAS
さて、>>692 の集合 A に対して、P(A)≧99/100 が成り立つことを証明する。
d＝(d_1,…,d_100)∈N_100 を固定するごとに、A の d切片 A_d は
A_d ＝ {i∈I｜(d,i)∈A} ＝ {i∈I｜d_i≦max{d_j｜j≠i, 1≦j≦100} }
と表現できる。i ∈ I＝{1,2,…,100} の中で、d_i＞max{d_j｜j≠i, 1≦j≦100}
を満たす i は高々1つしかない。よって、確率空間(I, pow(I), η)において自明に
・η(A_d) ≧ 99/100
が成り立つ。すると、フビニの定理により、P(A) ≧ 99/100 が直ちに従う。念のため書いておくと、
省4
695: 2022/10/10(月)18:00 ID:/bF8CLbh(31/39) AAS
さて、ここからが本題。
(1)「時枝記事では P(A｜B^{D})≧ 99/100 が成り立つと主張しているが、それはおかしい」
というのが君の主張である。ところが、時枝記事で本当に主張しているのは
(2)「 d＝(d_1,…,d_100)∈N_100 を固定するごとに η(A_d) ≧ 99/100 である(>>693)」
という主張である。時枝記事では(1)を主張していない。ただ単に(2)を主張しているに過ぎない。
省2
697: 2022/10/10(月)18:07 ID:/bF8CLbh(33/39) AAS
また、「時枝記事は(2)を主張している」とは、言い換えれば
「時枝記事は>>660-662 >>665のように解釈すれば話が終わっている」
ということでもあり、つまりは最初から話が終わっていたのである。
君がいつまでも時枝記事の読み方を間違えているだけ。
ちなみに、(2)が示せると何がうれしいのかと言えば、>>693で既に示したように、
フビニの定理によって直ちに P(A) ≧ 99/100 が従うのがうれしいのである。
つまり、時枝記事では(2)しか示してないのに、「回答者の勝率は 99/100 以上だ」
省4
699(1): 2022/10/10(月)18:29 ID:/bF8CLbh(34/39) AAS
くどいかもしれないが、補足しておこう。
>>688
＞だからなんで総和をとるの
＞固定するんでしょ
まさにここがポイント。時枝記事では「99/100以上」という勝率を導いたあと、総和を取ってない。
もし時枝記事の確率計算が P(A)＝Σ[D＝1〜∞] P(A｜B^{D}) * P(B^{D}) を意図した計算ならば、
P(A｜B^{D}) と P(B^{D}) の2種類の確率を求めた上で、最後に総和を取っていなければおかしい。
省6
749(1): 2022/10/12(水)12:04 ID:TRiiI02m(13/14) AAS
「100枚の封筒」の設定における確率計算(>>690-697)を例にとる。>690の設定のもとで、
この設定を記述する確率空間は>691のように定義できて、「回答者が勝利する」という事象は
A ＝ { (d_1,d_2,…,d_100, i)∈Ω｜d_i≦max{d_j｜j≠i, 1≦j≦100} } (>692)
で定義される。よって、回答者の勝率は P(A) と書ける。>693 で書いたように、
d＝(d_1,…,d_100)∈N_100 を固定するごとに、A の d切片 A_d は
A_d ＝ {i∈I｜(d,i)∈A} ＝ {i∈I｜d_i≦max{d_j｜j≠i, 1≦j≦100} }
と表現できて、i ∈ I＝{1,2,…,100} の中で d_i＞max{d_j｜j≠i, 1≦j≦100} を満たす i は高々1つ。
省3
750: 2022/10/12(水)12:13 ID:TRiiI02m(14/14) AAS
>>690の設定では、封筒の中身(d1,d2,…,d100)に上限はない。そして、>>749の確率計算では、
出題する d＝(d_1,…,d_100) を固定した上で η(A_d) ≧ 99/100 を導出しており、
これを経由して P(A) ≧ 99/100 を導出している。従って、スレ主の屁理屈によれば、
「有限の (d_1,…,d_100) を固定した確率計算は、非正則分布とは確率論的に全くの別物なので、
>749の確率計算はインチキだ。回答者の実際の勝率はゼロだ」
ということになってしまう。しかし、>749の確率計算にインチキの要素はどこにもない。
なぜなら、そもそも非正則分布なんぞ使ってないからだ(使われる確率空間は>691で全て明記してある)。
省10
758(1): 2022/10/13(木)12:54 ID:ve7b2LlS(2/6) AAS
出題を固定した場合の確率が一体何を意味しているのかを、以下で詳細に述べる。
100枚の封筒(>>690-693)の例において、出題者が100枚の中身 d＝(d1,d2,…,d100) を固定すると、
回答者の勝率は 99/100 以上になるのだった。これはどういうことかというと、
「 "回答者が勝利する" という事象の、d における断面として出現する事象は 99/100 以上の確率を有している」
ということ。簡潔に書けば、>>692 の事象 A に対して、
「 A の d における切片 A_d は、確率空間(I, pow(I), η)において η(A_d) ≧ 99/100 を満たす」
省6
759(1): 2022/10/13(木)12:58 ID:ve7b2LlS(3/6) AAS
より一般的に、>>691 の確率空間(Ω,F,P)において、事象 B∈F を任意に取る。
(i) P(B)≧ 99/100
(ii) ∀d∈N_100 s.t η(B_d) ≧ 99/100
という2つの条件について考察する。まず、(ii)が成り立つ場合、フビニの定理から直ちに(i)が従う。
その計算方法は>>693と全く同じだが、一応書いておくと、
P(B) ＝ ∫_Ω 1_B(ω) dP ＝ ∫_{N_100}∫_I 1_B(d,i) dη dν_100
＝∫_{N_100}∫_I 1_{B_d}(i) dη dν_100 ＝ ∫_{N_100} η(B_d) dν_100
省8
778: 2022/10/14(金)06:27 ID:qAcMEQxL(1/13) AAS
100枚の封筒(>>690-693)を例にとる。
スレ主は「出題を固定した時点で確率論的な文脈が破壊される」と勘違いしているが、
実際にはそうではない。出題 d を固定した時点で、
「もともとの事象の、d における断面」
が新たな事象として登場するだけであり、確率論的な文脈は この事象に引き継がれるだけである。
厳密に書けば、もともとの事象を B として、出題 d を固定したなら、B の d における切片 B_d が定義できて、
「確率論的な文脈は、この新たな事象 B_d に引き継がれるだけ」
省1
780: 2022/10/14(金)06:38 ID:qAcMEQxL(3/13) AAS
>>770
＞２）可算無限数列のしっぽを使った決定番号
＞ そこから、d1,d2,・・・d100を使うトリック
＞３）結局ここで、確率論を踏み外しているんだｗ
全く踏み外していない。
・ >>690-693の場合だと、d を固定したとき、A の d における断面 A_d が新たな事象として出現し、
確率的な文脈は A_d に引き継がれる。すなわち、d を固定しても確率論的な文脈は破壊されない。
省10
786: 2022/10/14(金)21:41 ID:qAcMEQxL(5/13) AAS
100枚の封筒(>>690-693)を例にとる。この設定では、
封筒の中身は「確率 1/2^k で 4^k ドル」(k≧1) なので、金額に上限はない。
さて、出題者が d＝(d1,d2,…,d100)∈N_100 を固定するとき、回答者の勝率は 99/100 以上になるのだった。
厳密に書けば、A の d における切片 A_d について、η(A_d) ≧ 99/100 が成り立つのだった。
すると、フビニの定理によって P(A) ≧ 99/100 が成り立つのだった。
ところが、スレ主の屁理屈によると、次のようになる。
・ 100枚の封筒の中身 d1,d2,…d100 に上限はないので、自然数Ｎ全体からみれば、
省4
789(1): 2022/10/14(金)22:06 ID:qAcMEQxL(7/13) AAS
>>782
＞２）全国区世論調査なら、北は北海道から南は九州沖縄まで、無作為抽出すべき
＞ ところが、南の九州の離れ小島だけ抽出したら？
＞ それはまずい。島の人口100人で、99％の内閣支持率だという
再び100枚の封筒(>>690-693)で説明するが、まず ∀d∈N_100 s.t η(A_d)≧99/100 が成り立っていて、
フビニの定理から P(A)≧99/100 を得るのだった。ここで、「 d ごとに η(A_d)≧99/100 が成り立つ」とは、
・ 固定された100人において 99％の支持率
省15
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.044s