[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋4 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
515(3): 2022/11/02(水)12:20 ID:i6iI4IYN(4/6) AAS
>>489 追加
再録
外部ﾘﾝｸ[pdf]:www.math.sci.ehime-u.ac.jp
ルベーグ可測性にかんするソロヴェイのモデル
藤田 博司
(愛媛大学 理学部)
2007 年数学基礎論サマースクール
省15
516(3): 2022/11/02(水)12:21 ID:i6iI4IYN(5/6) AAS
>>515
つづき
上記は、有限次のn 次元ユークリッド空間 Rの測度で
矩形の測度を定めている
これで、n→∞を考えると
１）もし、全て(bn - an)>1 ならば、mes(I) →∞に発散する
２）一方、全て(bn - an)<1 ならば、mes(I) →0に潰れる
省13
517: 2022/11/02(水)12:24 ID:i6iI4IYN(6/6) AAS
>>514
>Vを一点にしたら、Q+VはQのままでRに出来ないw
>つまり極限をとった瞬間、性質激変！
意味わからん
１）論理学で、命題P→Qで
仮定節Pが偽ならば、P→Qは常に真だ
２）「Vを一点にしたら」の部分が偽
省1
518(2): 2022/11/02(水)12:42 ID:VMeEIdTW(14/23) AAS
>>510
＞「iid は崩れ去る」？ｗ
＞意味わからん！ｗｗｗｗｗｗｗ
iid だから回答者の勝率はゼロのはずなのに、
「回答者の勝率はゼロは不成立」
が言えてしまうことを「iid が崩れ去る」と表現した。
まあ、あまり表現は良くなかったかもな。
519(1): 2022/11/02(水)12:43 ID:VMeEIdTW(15/23) AAS
話を整理しよう。スレ主は「 iid に出題するのだから、回答者の勝率はゼロだ」と主張している。
しかし、それは間違っている。その理由を簡単に再掲すると、次のようになる。
・ 回答者は T_0 という大きなヒントを所持している。
・ 出題者が s を出題するごとに、可算無限個の箱の中から「 T_0 のヒントが有効に使える箱 」
が最低でも99箇所存在している。それらの箱の番号が p_{s,i} (1≦i≦100) になっている。
・ つまり、番号 p_{s,i} の箱の中身は "推測しやすい" という状況になっている。
・ そして、回答者は番号 p_{s,i} の箱の中身を推測する。この箱の中身は推測しやすいのだった。
省3
520: 2022/11/02(水)12:48 ID:KgFYDrgb(1) AAS
零集合を{0}と表すなんて初めて見たんだけど先行文献は何処
521: 2022/11/02(水)12:49 ID:VMeEIdTW(16/23) AAS
>>519
この仕組みは、もともとの時枝記事の設定(出題が固定)の場合は明確に機能する。
つまり、時枝記事は正しい。
また、出題する実数列を「有限種類」にした場合でも機能する。
たとえば、3種類の実数列 s_1, s_2, s_3 があって、
・ s_1 から出力される100個の決定番号には単独最大値が存在しない
・ s_2 から出力される100個の決定番号には単独最大値が存在しない
省8
522: 2022/11/02(水)12:52 ID:VMeEIdTW(17/23) AAS
では、出題する実数列を [0,1]^N 全体からランダムに選んだ場合はどうなるか？
この場合、事象の非可測性に阻まれて、確率が定義できないという状況に陥る。
そして、確率が定義できないので、「回答者の勝率はゼロ」は不成立となる。
これは>>488で書いたとおりだが、一応、再掲しておく↓
「ランダム時枝ゲームで回答者が勝利する」という事象を A とするとき、
A は非可測であることを既に証明した。特に、P(A) が定義できない。言い換えれば、
「焦点となっている箱の中身の推測に成功する確率」
省5
523(3): 2022/11/02(水)20:57 ID:yfFXmDCT(5/8) AAS
>>516 補足
>>489 より再録
(参考)
外部ﾘﾝｸ[pdf]:www.math.sci.ehime-u.ac.jp
ルベーグ可測性にかんするソロヴェイのモデル
藤田 博司
(愛媛大学 理学部)
省23
524(1): 2022/11/02(水)21:01 ID:84leo855(5/5) AAS
>>516
＞１）もし、全て(bn - an)>1 ならば、mes(I) →∞に発散する
＞２）一方、全て(bn - an)<1 ならば、mes(I) →0に潰れる
はい🐎🦌 大嘘
どっちも反例が存在します！
見つけられないヤツは大🐎🦌
525(2): 2022/11/02(水)21:17 ID:yfFXmDCT(6/8) AAS
>>518
>iid だから回答者の勝率はゼロのはずなのに、
>「回答者の勝率はゼロは不成立」
１）”iid”から、理解が歪んでいる
”iid”で、
コイントスなら1/2
サイコロなら1/6
省19
526(4): 2022/11/02(水)21:25 ID:yfFXmDCT(7/8) AAS
>>524
>＞１）もし、全て(bn - an)>1 ならば、mes(I) →∞に発散する
>＞２）一方、全て(bn - an)<1 ならば、mes(I) →0に潰れる
>どっちも反例が存在します！
まあ、例外的に反例が存在するだろうが
これは、定理として述べたのものではないよｗ
有限次元ユークリッド空間でのルベーグ測度は
省4
527(1): 2022/11/02(水)21:43 ID:VMeEIdTW(18/23) AAS
>>525
＞１）”iid”から、理解が歪んでいる
＞ ”iid”で、
＞ コイントスなら1/2
＞ サイコロなら1/6
＞ となる。ゼロではない！
＞ 勿論、区間[0,1]のピンポイント的中なら0
省6
528: 2022/11/02(水)22:04 ID:VMeEIdTW(19/23) AAS
>>525
＞ a)普通は、どちらかが間違っている可能性大
＞（今回は、これであって、時枝氏が間違っている！）
もともとの時枝記事では出題は固定。
その固定された出題に対して、回答者が時枝戦術を何度もテストする。
その結果、回答者の勝率は 99/100 以上となる。これは正しい。どこにも間違いはない。
ここで、出題の仕方を「固定」から「ランダム」に変更すると、
省3
529(1): 2022/11/02(水)22:05 ID:VMeEIdTW(20/23) AAS
試しに、「出題は固定」を少し緩めて、「有限種類の実数列から出題」に変更してみる。
ここでは、3種類の実数列 s_1, s_2, s_3 があって、
・ s_1 から出力される100個の決定番号には単独最大値が存在しない
・ s_2 から出力される100個の決定番号には単独最大値が存在しない
・ s_3 から出力される100個の決定番号には単独最大値が存在する
とする。このとき、出題者が s_1, s_2 の2種類から毎回ランダムに選んで出題した場合には、
回答者の勝率は 1 である。また、出題者が s_1, s_2, s_3 の3種類から毎回ランダムに選んで
省4
530(2): 2022/11/02(水)22:06 ID:VMeEIdTW(21/23) AAS
では、出題する実数列を [0,1]^N 全体からランダムに選んだ場合はどうなるか？
まさにこれを「ランダム時枝ゲーム」(>>290-292)と呼んでいるのだった。
そして、ランダム時枝ゲームで回答者が勝利するという事象を A とするとき、
A は非可測であることを既に証明した。よって、P(A) が定義できないので、
「回答者の勝率はゼロ」は成立しない。ここでスレ主は
「Aが非可測なんてウソだ。Aは可測だ」
と主張するかもしれないが、その場合は P(A)＝P^*(A)≧99/100 すなわち P(A)≧99/100
省2
531(1): 2022/11/02(水)22:11 ID:VMeEIdTW(22/23) AAS
まとめると、次のようになっている。
・ もともとの時枝記事(出題は固定)では、回答者の勝率は 99/100 以上である。これは正しい。
・ 出題の仕方を「固定」から「ランダム」に変更すると、
もともとの時枝記事とは関係なくなってしまうが、独立した話題としては意味がある。
・ 試しに、「有限種類の実数列から出題」に変更してみると、
これでも回答者の勝率は 99/100 以上になる。(>>529)
・ 出題する実数列を [0,1]^N 全体からランダムに選んだ場合、
省4
532(4): 2022/11/02(水)23:42 ID:yfFXmDCT(8/8) AAS
>>527
>ランダム時枝ゲームの話をしていて、そこでは [0,1] が主役なのだから、
>文脈上、当然ながら[0,1]のピンポイント的中のことを言っているのである。
ちがう
・[0,1] が主役なのは、>>2のSergiu Hart氏のRemark game1の話だ
・時枝>>1では、(-∞、+∞)∈Ｒ つまり、実数ならなんでもありの話だ
・細かいが、別だよ
省10
533: 2022/11/02(水)23:57 ID:VMeEIdTW(23/23) AAS
>>532
＞ちがう
＞・[0,1] が主役なのは、>>2のSergiu Hart氏のRemark game1の話だ
＞・時枝>>1では、(-∞、+∞)∈Ｒ つまり、実数ならなんでもありの話だ
それこそ違う。今は「ランダム時枝ゲーム」の話をしているのだから、主役は [0,1] である。
従って、スレ主が本当にツッコミを入れなければならないのは、
「なぜランダム時枝ゲームの主役を [0,1] にしてしまったのか？」
省8
534(2): 2022/11/03(木)00:00 ID:7Xhr0F/H(1/33) AAS
つまり、「出題をランダムにしろ」と要求しているスレ主であっても、
R 全体を主役にすることは不可能なのである。何度も言うとおり、
R 上には一様分布が存在せず、「標準的なランダム性を兼ね備えた出題」が不可能だからだ。
しかし、閉区間[0,1]なら一様分布が存在する。
よって、箱の中身を「0以上1以下の実数」に制限すればよい。
時枝記事の不思議さは、このように制限しても失われない。そこで、
「 [0,1]^N から一様分布に従ってランダムに実数列を出題する 」
省4
535: 2022/11/03(木)00:13 ID:fNTesdKc(1/23) AAS
>>512 追加
ヴィタリの非可測集合を使って、
ごく一般の実数の計算では、
非可測集合の影響を受けないことを説明する
（それは、時枝の同値類の代表でも同様）
１）ヴィタリの非可測集合は、オリジナルは区間[0,1]内に取るが
>>512に示したように、区間[0,ε]内に取れる
省21
536(2): 2022/11/03(木)00:17 ID:fNTesdKc(2/23) AAS
>>534
>R 全体を主役にすることは不可能なのである。何度も言うとおり、
>R 上には一様分布が存在せず、「標準的なランダム性を兼ね備えた出題」が不可能だからだ。
同意だが、それ書いたの時枝さんだよ>>1
"「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.">>1
省2
537(1): 2022/11/03(木)00:17 ID:7Xhr0F/H(2/33) AAS
>>532
＞これも違う
＞非可測ではない
＞これは、あなたが証明した通りだろうし（読んでないけどなｗ）
＞あなたが>>443で紹介した
＞J.P. McCarthy ”Infinite Products of Probability Spaces”
＞ 外部ﾘﾝｸ:jpmccarthymaths.com >>468
省6
538: 2022/11/03(木)00:18 ID:7Xhr0F/H(3/33) AAS
まず、1次元のルベーグ測度空間 ([0,1],F_1,μ_1) を考えたとき、
これは確率空間になっているので、上記のリンク先 "Infinite Products of Probability Spaces"
のとおり、この確率空間の可算無限直積として得られる確率空間 ([0,1]^N,F_N,μ_N) が構成できる。
この確率空間において指定されている確率測度は μ_N である。つまり、μ_N は実際に定義できている！！
ここでスレ主は、「ランダム時枝ゲームで使われる確率空間の設定はこれで完成した」と勘違いしているｗ
実際にはそうではない。今回の無限直積 確率空間 ([0,1]^N,F_N,μ_N) は、
出題者の行動を記述する確率空間にすぎない。
省3
539: 2022/11/03(木)00:23 ID:7Xhr0F/H(4/33) AAS
しかも、このことは>>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 と置けば、
省3
540: 2022/11/03(木)00:29 ID:7Xhr0F/H(5/33) AAS
以上を踏まえた上で、スレ主の発言を見てみる。
＞あなたが>>443で紹介した
＞J.P. McCarthy ”Infinite Products of Probability Spaces”
＞ 外部ﾘﾝｸ:jpmccarthymaths.com >>468
＞にあるように、無限積の確率空間に対して確率測度を与えられるよ
＞つまり、非可測ではない
＞また、確率を定義できる
省9
541: 2022/11/03(木)00:30 ID:7Xhr0F/H(6/33) AAS
そして、
＞また、確率を定義できる
この発言もおかしい。確率測度が定義できたことは、
「確率空間を使用する準備が整った」という意味しか持たない。
対象となっている事象 A が可測なのか非可測なのかは個別に議論が必要な、別の問題である。
もし A が非可測なら、A に対する確率は定義できない。
より具体的に言えば、A は確率空間(Ω,F,P)の中で定義される集合であるから、
省3
542: 2022/11/03(木)00:40 ID:7Xhr0F/H(7/33) AAS
>>536
＞同意だが、それ書いたの時枝さんだよ>>1
時枝記事では出題は固定。
一方で、固定を嫌って「ランダムにしろ」と要求しているのはスレ主。そのスレ主は
＞R 全体を主役にすることは不可能なのである。何度も言うとおり、
＞R 上には一様分布が存在せず、「標準的なランダム性を兼ね備えた出題」が不可能だからだ。
という発言に「同意だ」と発言した。だったら話は早い。
省6
543(2): 2022/11/03(木)01:31 ID:R2j0K+g7(1/12) AAS
>>531
元々の時枝記事の設問では出題は固定と書いてあるわけではなくて箱は閉じると書いてあるだけ
時枝戦略とランダム時枝ゲームの違いは複数回の試行をした時に開けずに残す列の選択だけを変えるのか箱の中に隠す実数を変えるのかの違い
つまり1回だけの試行を行った場合は時枝戦略とランダム時枝ゲームは同じである
勝つ確率が99/100以上になるか非可測となるかは非可測にならざるを得ない
1回だけの試行を行い箱の中の実数を変化させまた1回だけの試行を行いを繰り返すことによりランダム時枝ゲームを実行できるからもし確率99/100以上だとランダム時枝ゲームの勝つ確率まで99/100以上になってしまい矛盾するからである
元の時枝記事の設問に複数回必ず試行せよと書いてあるわけではないからランダム時枝ゲーム一回で結果は非可測というケースも含まれると考えられる
544(1): 2022/11/03(木)02:08 ID:7Xhr0F/H(8/33) AAS
>>543
＞元の時枝記事の設問に複数回必ず試行せよと書いてあるわけではないから
＞ランダム時枝ゲーム一回で結果は非可測というケースも含まれると考えられる
間違っている。時枝記事が意図している事象の中に非可測な事象が含まれるなら、
「非可測なので回答者の勝率は定義不可能」という結論でなければおかしい。
実際には、時枝記事では「回答者の勝率は 99/100 以上」と書かれている。
つまり、時枝記事が意図している事象は、全て可測な事象である。
省2
545: 2022/11/03(木)02:10 ID:7Xhr0F/H(9/33) AAS
では、そのような解釈とは一体どのようなものか？簡単である。
「出題は固定で、回答者がその出題に対して何度も時枝戦術をテストした」
と解釈すればよいい。この解釈の場合、非可測な事象が登場しないので、
時枝記事に書かれている内容と整合性がある。
一方で、非可測なケースも含まれると解釈してしまうと、
時枝記事に書かれている内容と不整合が起きる。
このように、記事の内容と整合する「解釈その1」があり、
省4
546: 2022/11/03(木)02:13 ID:7Xhr0F/H(10/33) AAS
より厳密に書くと、時枝記事で示されているのは
∀s∈R^N s.t. 出題者が s を出題したとき、この出題に対して
回答者が何度も時枝戦術をテストして時枝戦術の性能を試すと、
その性能は「 99/100 以上の確率で回答者が勝つ」
というものである。この場合、非可測集合が登場しないので、
「回答者の勝率は 99/100 以上」は正しく、時枝記事の内容と整合性がある。
547: 2022/11/03(木)02:17 ID:7Xhr0F/H(11/33) AAS
また、この確率計算は、要するに s を固定したときの確率計算なのだから、
「ランダム時枝ゲーム」の確率空間(Ω,F,P)でも、s による断面を考えることで
本質的に同じ確率計算を再現することが可能である。
具体的には、>>297で既に示してある。再掲すると、次のようになる↓
任意の s∈[0,1]^N に対して、A の s における断面 A_s は
確率空間 (I, G, η) において可測であり、
特に確率 η(A_s) が定義できて、η(A_s) ≧ 99/100 が成り立つ。つまり、
省4
548: 2022/11/03(木)02:23 ID:7Xhr0F/H(12/33) AAS
このように、「出題は固定だ」と解釈して時枝記事を読むと、記事の内容と整合性がある。
もし不整合を起こす解釈しか存在しないなら、
時枝記事の正しさについて再考証しなければならないが、
実際には整合性のある解釈が存在しているのだから、不整合を起こしている解釈は
「ただ単に読者が記事の内容を勘違いしているだけ」
ということになる。特に、>>543の解釈の仕方は時枝記事と不整合を起こすので、
>543は記事の内容を勘違いしているだけである。
549(2): 2022/11/03(木)07:29 ID:R2j0K+g7(2/12) AAS
>>544
設問は勝つ戦略はあるでしょうかで勝つ戦略があるので見つけよではないのだから非可測になるので勝つ戦略があるとは言えないでも構わないのでは？
550(1): 2022/11/03(木)07:48 ID:fNTesdKc(3/23) AAS
>>549
>設問は勝つ戦略はあるでしょうかで勝つ戦略があるので見つけよではないのだから非可測になるので勝つ戦略があるとは言えないでも構わないのでは？
レスありがとうございます
”勝つ戦略があるとは言えないでも構わないのでは？”
に同意
理由付けは、ちょっと違うが
551(4): 2022/11/03(木)08:12 ID:fNTesdKc(4/23) AAS
>>537
>言ってることが滅茶苦茶。全く意味が繋がっていない。
>無限直積 確率空間を今まで知らなかった人間が慣れない発言をするから、
>こういうところでボロが出るのである。話にならない。
笑える
そっくりお返しするよ
１）時枝氏の記事に >>282-283より
省19
552(4): 2022/11/03(木)08:12 ID:fNTesdKc(5/23) AAS
>>551
つづき
２）さらに、Hart氏>>90より
>>2より
外部ﾘﾝｸ[pdf]:www.ma.huji.ac.il
Sergiu Hart Some nice puzzles:
Choice Games November 4, 2013
省12
553(1): 2022/11/03(木)08:56 ID:8HW9bynv(1/22) AAS
>>526
まず524 １）の反例
定理１ Π(n=1~∞)(1+a_n)＜∞ ⇔ Σ(n=1~∞)a_n＜∞
証明
1<1+a_n＜exp(a_n)
したがって
1+Σ(n=1~N)a_n ＜ Π(n=1~N)(1+a_n) ＜ exp(Σ(n=1~N)a_n)
省4
554: 2022/11/03(木)09:18 ID:8HW9bynv(2/22) AAS
>>526
次に524 ２）の反例
定理２ 各項が1>a_n>0を満たすとき
Π(n=1~∞)(1-a_n)＞０ ⇔ Σ(n=1~∞)a_n＜∞
証明 級数が発散する場合は
Π(n=1~N)(1-a_n) ＜ exp(-Σ(n=1~N)a_n)
であるから、部分積が0に収束することにより、無限乗積も０に「発散」する
省17
555: 2022/11/03(木)09:22 ID:8HW9bynv(3/22) AAS
>>526
＞まあ、例外的に反例が存在するだろうが
例外なんて甘っちょろいもんじゃないね
普遍的に例外が存在するから
大学１年の微積分も全然分かってない大🐎🦌の貴様に
数学なんかまったく語れないから諦めて死ねよ
（死ね＝数学板に書き込むのはもちろん、読むのもやめて失せろ、の意味
省1
556(7): 2022/11/03(木)09:47 ID:fNTesdKc(6/23) AAS
>>553
分かってないね
こういうのは、問題を対数 log に変換すれば良いんだよ
えーと、こうだった
>>515-516より 引用開始
外部ﾘﾝｸ[pdf]:www.math.sci.ehime-u.ac.jp
ルベーグ可測性にかんするソロヴェイのモデル 藤田 博司
省34
557(1): 2022/11/03(木)10:06 ID:8HW9bynv(4/22) AAS
>>556
＞こういうのは、問題を対数 log に変換すれば良いんだよ
そう、おまえみたいな大学にも入れん🐎🦌は
logicが理解できないからmethodを示す必要があるｗ
ちなみにlogicはギリシャ語だが、実はmethodもそうだ
558: 2022/11/03(木)10:09 ID:8HW9bynv(5/22) AAS
🐎🦌はソロヴェイのモデルに全く興味もつ必要はない 無駄だからｗ
要するにソロヴェイのモデルでは選択公理は選択せず
オマエが病的に忌み嫌う非可測集合が集合として構成し得ないというだけ
まったく🐎🦌は、病的にパラドックスを嫌って発狂するから困る
ド外れた正常への固執は、それ自体精神病というか人格障害ｗ
559: 2022/11/03(木)12:57 ID:9qPw9m6/(1/21) AAS
>>551
>１）時枝氏の記事に >>282-283より
>”確率の中心的対象は，独立な確率変数の無限族
> X1，X2，X3，…である.”
>”n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
> その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
> 当てられっこないではないか−−他の箱から情報は一切もらえないのだから.”
省8
560(2): 2022/11/03(木)13:05 ID:9qPw9m6/(2/21) AAS
>>549
>非可測になるので勝つ戦略があるとは言えないでも構わないのでは？
ダメ
時枝戦略の確率空間に非可測集合は現れない
561(1): 2022/11/03(木)13:08 ID:9qPw9m6/(3/21) AAS
>>550
>”勝つ戦略があるとは言えないでも構わないのでは？”
>に同意
時枝戦略の証明の中のどの文が間違いなのか挙げよ
562(3): 2022/11/03(木)13:50 ID:R2j0K+g7(3/12) AAS
>>560
時枝戦略の証明に問題があるわけじゃなくて時枝記事の設問と時枝戦略の間に齟齬がある
設問では一回限りの試行のケースも含まれるように思える
563: 2022/11/03(木)13:51 ID:R2j0K+g7(4/12) AAS
>>562
>>561へのレス
564(5): 2022/11/03(木)14:00 ID:fNTesdKc(7/23) AAS
>>556 補足
> ２）ここで、あるm, log (bm - am) から先が、早く減衰すると
> 総和Σは、発散せずにある値に収束する
１）いま、簡単に cm＝bm - am と書き直すと
log cm から先が、早く0に減衰するということは
cm→1 ってことです（ log cm→0になる ）
２）つまり、座標で
省27
565(1): 2022/11/03(木)14:00 ID:9qPw9m6/(4/21) AAS
>>562
君の言う試行とは何？
566(1): 2022/11/03(木)14:08 ID:R2j0K+g7(5/12) AAS
>>565
箱を開けていって開けてない箱の中身を当てようとすること
567: 2022/11/03(木)14:12 ID:9qPw9m6/(5/21) AAS
>>566
時枝戦略は1回の試行に対していくらでも1に近い確率で勝てる戦略なので齟齬は無い
568: 2022/11/03(木)14:15 ID:7Xhr0F/H(13/33) AAS
>>551-552
何の反論にもなってない。スレ主は今回の>>551-552の中で
([0,1]^N,F_N,μ_N) の話しかしていない。より具体的に言えば、スレ主は
・ Infinite Products of Probability Spaces により、
[0,1]^N の上に μ_N という確率測度を定義することは確かに可能だ
としか言ってない。そして μ_N が手に入ったことを理由にして、スレ主は
＞非可測ではない
省7
569: 2022/11/03(木)14:16 ID:7Xhr0F/H(14/33) AAS
つまり、A の可測性を論じるには、([0,1]^N,F_N,μ_N) ではなく
(Ω,F,P) の話をしなけばならないのに、なぜかスレ主は (Ω,F,P) を無視している。
この時点で、スレ主は議論の前提にすら立てていない。話にならない。
([0,1]^N,F_N,μ_N) は出題者の行動を記述する確率空間であって、回答者の行動は記述していない。
回答者の行動を記述する確率空間(I,G,η)は個別に定義が必要である(>>293)。
そして、([0,1]^N,F_N,μ_N)と(I,G,η)の積空間を (Ω,F,P) と置くときに、
この (Ω,F,P) がランダム時枝ゲームを記述する確率空間になっているのである(>>294)。
省2
570: 2022/11/03(木)14:23 ID:7Xhr0F/H(15/33) AAS
そもそも、A が可測なら P(A)＝P^*(A)≧99/100 なので
「ランダム時枝ゲームにおける回答者の勝率は 99/100 以上」
となってしまい、どのみちスレ主に活路は存在しないのだが、
スレ主が (Ω,F,P) を全く理解していない以上、どのみちスレ主は議論の前提に立てていない。
571: 2022/11/03(木)14:24 ID:9qPw9m6/(6/21) AAS
>>552
>When the number of boxes is finite
「箱がたくさん，可算無限個ある.」
時枝戦略を否定したくば時枝戦略を語って下さい
572(1): 2022/11/03(木)14:25 ID:7Xhr0F/H(16/33) AAS
>>551-552
スレ主に質問。ちゃんと答えてくれよな。
(1) 出題者は s∈[0,1]^N を一様分布に従ってランダムに出題するわけだが、
この行動を記述できる確率空間は ([0,1]^N, F_N, μ_N) である。
→ この主張は正しいか？それとも間違いか？
(2) 回答者は i∈{1,2,…,100} を一様分布に従ってランダムに選ぶわけだが、
この行動を記述できる確率空間は (I,G,η) である(ただし、I＝{1,2,…,100},
省6
573: 2022/11/03(木)14:30 ID:9qPw9m6/(7/21) AAS
>>552
>Hart氏は、”the number of boxes is finite”とぼかしているが
ぼかしてる？明言してますけど？
都合が悪くなると言葉が分からないサルのふり？
> 上記 J.P. McCarthy ”Infinite Products of Probability Spaces”より
> これは、Infiniteに拡張できるってことです
妄想でしょ
省5
574(2): 2022/11/03(木)14:40 ID:7Xhr0F/H(17/33) AAS
>>562
＞設問では一回限りの試行のケースも含まれるように思える
"設問だけを見る" 場合には複数の解釈が可能。
もちろん、「一回限りの試行ケースを含めている」という解釈も可能。
ただし、その後で示されている確率計算は、
「出題は固定で、その出題に対して回答者が何度も時枝戦術をテストする」
という解釈のもとでの確率計算になっている。よって、文脈上、著者が意図していた設定は
省7
575(2): 2022/11/03(木)14:44 ID:R2j0K+g7(6/12) AAS
>>574
設問の段階では含まれていない条件を回答の段階で増やすのはフェアではない
では言い方を変えて時枝設問の回答としては勝つ戦略があるとは言えない
時枝設問とは時枝記事の設問のみを意味してます
576(1): 2022/11/03(木)14:49 ID:9qPw9m6/(8/21) AAS
>>574
>「出題は固定で、その出題に対して回答者が何度も時枝戦術をテストする」
>という解釈のもとでの確率計算になっている。
そんなことはない
数学的確率は試行回数によらない
577: 2022/11/03(木)14:52 ID:9qPw9m6/(9/21) AAS
>>575
>設問の段階では含まれていない条件を回答の段階で増やすのはフェアではない
増やしていないのでフェア
578(1): 2022/11/03(木)15:00 ID:9qPw9m6/(10/21) AAS
例えばコインを1回投げた結果は表か裏かどちらかである。両方が半分ずつ出るなんてことは無い。
しかし表が出る確率は一様分布に従う仮定なら1/2である。
そもそも確率とはそういうものである。
時枝戦略も然り。
579: 2022/11/03(木)15:09 ID:9qPw9m6/(11/21) AAS
これが、
>一様分布に従う仮定
が無くなって、統計的に扱わなければならないとなると話は変わる。
しかーし
時枝戦略は
>さて， 1〜100 のいずれかをランダムに選ぶ.
なので、一様分布を仮定した数学的確率である。
省1
580(2): 2022/11/03(木)15:15 ID:fNTesdKc(8/23) AAS
>>578
>例えばコインを1回投げた結果は表か裏かどちらかである。両方が半分ずつ出るなんてことは無い。
>しかし表が出る確率は一様分布に従う仮定なら1/2である。
>そもそも確率とはそういうものである。
>時枝戦略も然り。
そう
ようやく
省9
581(11): 2022/11/03(木)15:20 ID:9qPw9m6/(12/21) AAS
じゃあどうやってランダムに選択するのか？
という問いは愚問
なぜなら数学とは公理や定義から出発して論理的に導出される結果を考える学問だから
どうやって無限集合を作るのか？という問いに囚われたのが安達老人 実無限を受け入れないと現代数学は語れない
582(12): 2022/11/03(木)15:26 ID:7Xhr0F/H(18/33) AAS
>>575
「設問の段階では "含まれてない" 」という解釈の仕方が間違っている。
「設問の段階では "言及されてない" 」という解釈が正解。そして、言及されてない以上、
・ 1回限りの試行を含めるつもりで書いているのか？
・ それとも、同じ出題に対して何度もテストするつもりで書いているのか？
のどちらなのかは、設問の部分だけを "にらめっこ" していても判明しない。
そして、著者がどちらのつもりで設問を書いていたのかは、その後の文脈まで考えれば判明する。
省8
583(12): 2022/11/03(木)15:27 ID:R2j0K+g7(7/12) AAS
>>576
ふつうはそうなんだが固定するとかいう変な条件をつける試行だと1回の試行と2回以上の試行は違ってく
584: 2022/11/03(木)15:29 ID:7Xhr0F/H(19/33) AAS
>>580
＞ ”固定”とか
＞ 無意味
では、「固定」から一歩進んだトイモデルとして、「有限種類の実数列から選ぶ」
という設定を考えてみよう。ここでは、3種類の実数列 s_1, s_2, s_3 があって、
・ s_1 から出力される100個の決定番号には単独最大値が存在しない
・ s_2 から出力される100個の決定番号には単独最大値が存在しない
省9
585(2): 2022/11/03(木)15:30 ID:R2j0K+g7(8/12) AAS
>>582
仮に解釈の仕方が間違っててもいい
その間違った解釈の仕方の設問を時枝設問と名づける
時枝設問の回答は勝つ戦略があるとは言えない
586: 2022/11/03(木)15:30 ID:9qPw9m6/(13/21) AAS
>>580
勘違いしてるようだけど誰も
「時枝戦略は箱の中身を確率変数としている」
なんて言ってませんよ？
時枝戦略の確率変数は以下ですよ？
>さて， 1〜100 のいずれかをランダムに選ぶ.
すなわち時枝戦略の確率とは標本空間Ω={1,2,...,100}上の一様分布を仮定した数学的確率。
587(1): 2022/11/03(木)15:39 ID:7Xhr0F/H(20/33) AAS
>>585
＞その間違った解釈の仕方の設問を時枝設問と名づける
＞時枝設問の回答は勝つ戦略があるとは言えない
くだらない。
著者が意図していた設問を、そのまま「著者が意図していた設問」と呼ぶことにし、
間違った解釈の仕方による設問を「読者オリジナル設問」と呼ぶことにすれば、
・ 「読者オリジナル設問」には勝つ戦略があるとは言えない。
省5
588(1): 2022/11/03(木)15:41 ID:9qPw9m6/(14/21) AAS
>>583
>ふつうはそうなんだが固定するとかいう変な条件をつける試行だと1回の試行と2回以上の試行は違ってく
固定という条件を付けない場合、回答者のターンにおいて箱の中身が定まっていない。
箱入り無数目では固定という条件が付いている。
なぜならすべての箱を閉じてから回答者のターンが始まるから。
「・・・そして箱をみな閉じる. 今度はあなたの番である.・・・」
そして時枝戦略の確率は数学的確率だから試行回数によらない。
589(1): 2022/11/03(木)15:47 ID:8HW9bynv(6/22) AAS
>>564
1は都合が悪くなると脇道に入り込んで出てこなくなる
馬鹿の典型 馬鹿は関係な思考にはまり込んで自分が利口だと自惚れるｗ
590(2): 2022/11/03(木)15:53 ID:R2j0K+g7(9/12) AAS
>>587
読者オリジナル設問でいいよ
読者オリジナル設問には勝つ戦略があるとは言えない
591(2): 2022/11/03(木)15:55 ID:R2j0K+g7(10/12) AAS
>>588
箱はふつうみんな閉じる
トランプのカードはみんな伏せる
サイコロは賽の中で振る
一度決めた後は触らないのがふつう
それでもふつうは確率変数
592: 2022/11/03(木)15:55 ID:fNTesdKc(9/23) AAS
>>585
>時枝設問の回答は勝つ戦略があるとは言えない
賛成だな
理由付けは違うが
「時枝が、成り立たないのに、なぜ成り立つように見えるのか？」
それを考える精神が大事だと思うよ
593: 2022/11/03(木)15:57 ID:fNTesdKc(10/23) AAS
>>591
完全に同意です
>一度決めた後は触らないのがふつう
>それでもふつうは確率変数
全く同意です！
594: 2022/11/03(木)15:58 ID:7Xhr0F/H(21/33) AAS
>>590
＞読者オリジナル設問には勝つ戦略があるとは言えない
それは正しい。そこは誰も否定してない。
しかし、もともとの時枝記事に反論できたわけでもない。
つまり、「読者オリジナル設問」を持ち出しても、時枝記事の成否とは関係がない。
595: 2022/11/03(木)15:59 ID:9qPw9m6/(15/21) AAS
>>591
>それでもふつうは確率変数
ふうつうの定義は？
君がふつうと思うものという定義だとしたら、時枝戦略はふつうではない、それだけのこと
上下前次1-新書関写板覧索設栞歴
あと 407 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.041s