[過去ﾛｸﾞ]
スレタイ 箱入り無数目を語る部屋4 (1002ﾚｽ)
スレタイ 箱入り無数目を語る部屋4 http://rio2016.5ch.net/test/read.cgi/math/1666352731/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
291: １３２人目の素数さん [sage] 2022/10/30(日) 13:22:07.10 ID:6rtRwLi2 まず、閉区間[0,1]上のルベーグ可測集合全体の族を F_1 と置き、A∈F_1 に対して μ(A)＝(Aのルベーグ測度)と定義すると、([0,1],F_1,μ) は確率空間になる。この確率空間は、 「閉区間 [0,1] からランダムに実数を選ぶ(一様分布)」という操作を表現した確率空間である。 次に、この確率空間 ([0,1],F_1,μ) の可算無限直積 確率空間を ([0,1]^N, F_N, μ_N) と書く。 この確率空間は、 「実数列 x＝(x_1,x_2,x_3,…)∈[0,1]^N をランダムに選ぶ(各項ごとに[0,1]上の一様分布が実現されている)」 という操作を実現した確率空間である。この確率空間と同等な設定としては、 (☆) [0,1] の一様分布に従う iid 確率変数列 {X_i}_{i≧1} が挙げられる。この(☆)と([0,1]^N, F_N, μ_N)は同等な設定であるから、本質的には どちらを用いても構わない。 ただし、([0,1]^N, F_N, μ_N) だと確率空間が明記されていて便利なので、以下では ([0,1]^N, F_N, μ_N) を使う。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/291
292: １３２人目の素数さん [sage] 2022/10/30(日) 13:23:20.20 ID:6rtRwLi2 ランダム時枝ゲーム(出題がランダムの場合の時枝記事)は、以下のようなゲームである。 ・ 回答者は、[0,1]^N の 〜 に関する完全代表系 T_0 を予め1つ用意しておく。 よって、決定番号の写像 d：[0,1]^N → N が定義できる。 ・ 出題者は s∈[0,1]^N を一様分布(>>291)に従ってランダムに選び、可算無限個の箱に詰める。 ・ 回答者は 1,2,…,100 からランダムに番号 i を選び、番号 i に対する時枝戦術を実行する。 このゲームを記述できる確率空間を、以下で定義する。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/292
293: １３２人目の素数さん [sage] 2022/10/30(日) 13:24:23.09 ID:6rtRwLi2 I＝{1,2,…,100} と置き、(I, G, η) という確率空間を考える。 ただし、G＝pow(I), η({i})＝1/100 (1≦i≦100) と定義する。 この確率空間は、{1,2,…,100} の中から一様分布に従って ランダムに1つ番号を選ぶという操作を記述する確率空間である。 次に、>>291の確率空間([0,1]^N, F_N, μ_N)と上記の確率空間(I, G, η)の 直積として得られる確率空間を (Ω,F,P) と置く。よって、 Ω＝[0,1]^N×I, F＝( { A×B｜A∈F_N, B∈G } で生成される最小のσ集合体), P＝(μ_N とηの直積測度) である。(Ω,F,P) を完備化した確率空間を、記号の乱用により再び (Ω,F,P) と書くことにする。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/293
530: １３２人目の素数さん [sage] 2022/11/02(水) 22:06:49.48 ID:VMeEIdTW では、出題する実数列を [0,1]^N 全体からランダムに選んだ場合はどうなるか？ まさにこれを「ランダム時枝ゲーム」(>>290-292)と呼んでいるのだった。 そして、ランダム時枝ゲームで回答者が勝利するという事象を A とするとき、 A は非可測であることを既に証明した。よって、P(A) が定義できないので、 「回答者の勝率はゼロ」は成立しない。ここでスレ主は 「Aが非可測なんてウソだ。Aは可測だ」 と主張するかもしれないが、その場合は P(A)＝P^*(A)≧99/100 すなわち P(A)≧99/100 となるので、「ランダム時枝ゲームで回答者が勝利する確率は 99/100 以上」になる。 いずれにしても、「回答者の勝率はゼロ」は成立しない。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/530
539: １３２人目の素数さん [sage] 2022/11/03(木) 00:23:26.27 ID:7Xhr0F/H しかも、このことは>>290-294で既に書かれている。 今回の確率空間 ([0,1]^N,F_N,μ_N) にしたって、>291の時点で既に書かれている。 再掲すると、>293の冒頭で定義された確率空間 (I, G, η) と、今回の確率空間 ([0,1]^N,F_N,μ_N) との 積空間として得られる確率空間を (Ω,F,P) と書くのである。よって Ω＝[0,1]^N×I, F＝( { A×B｜A∈F_N, B∈G } で生成される最小のσ集合体), P＝(μ_N とηの直積測度) である。この (Ω,F,P) こそが、ランダム時枝ゲームを記述する確率空間なのである(>>294)。 そして、「ランダム時枝ゲームにおいて回答者が勝利する」という事象を A と置けば、 A ＝ { (s,i)∈Ω｜d(s^{i})≦max{d(s^{j})｜1≦j≦100, j≠i } } と表せるのである(>>296)。この集合 A が(Ω,F,P)において非可測であると言っているのが こちらの主張であり、今までそのことを(長文で)証明していたのである(>>380以降)。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/539
609: １３２人目の素数さん [sage] 2022/11/03(木) 17:11:31.78 ID:7Xhr0F/H >>607 横レスだが、>>290以降で述べている「非可測性」に関する議論は全て 「ランダム時枝ゲーム」という設定下での議論なのであって、 もともとの時枝記事とは設定が異なっている。 このことは、出発点である>290で既に述べている。そして、 ＞実際、時枝戦略の確率空間を(Ω,F,P)と書くと ＞Ω={1,2,...,100}, F=2^Ω, P:F→[0,1] P(f)=|f|/|Ω| ＞と、どこにも非可測集合は現れない。 これは もともとの時枝記事の場合の確率空間であって、 ランダム時枝ゲームの場合は別の確率空間になる(>>290-294)。 そして、スレ主はおバカなので、 もともとの時枝記事での確率空間が何なのかを理解してないし、 ランダム時枝ゲームでの確率空間に至っては ([0,1]^N, F_N, μ_N) が 該当する確率空間だと盛大に勘違いしている。話にならない。 やはり、スレ主にはトイモデルとして>>608がお似合いだろうな。 しかも、スレ主はあまりにも都合が悪くて、>608のトイモデルに 今まで一度も返答をよこしたことがないｗ http://rio2016.5ch.net/test/read.cgi/math/1666352731/609
913: １３２人目の素数さん [sage] 2022/11/07(月) 03:01:40.05 ID:e0OEzaz4 この状況を記述する確率空間を以下で定義する。>>293の確率空間 (I,G,η) を取り、 これを可算無限個用意して直積確率空間を作る。それを (I^N,G_N,η_N) と置く。 この確率空間は、i＝(i_1,i_2,…)∈I^N＝{1,2,…,100}^N を一様分布に従って ランダムに選ぶ操作を実現する確率空間である。 >>291の確率空間([0,1]^N, F_N, μ_N)と上記の(I^N, G_N, η_N)の積空間を、 ここでは (Ω,F,P) と書くことにする。この確率空間の完備化を(Ω,F_w,P_w)と書く。 http://rio2016.5ch.net/test/read.cgi/math/1666352731/913
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.032s