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

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

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

271: １３２人目の素数さん [sage] 2020/01/10(金) 22:20:49.70 ID:jmw8DMZb

閑話休題。
さて時枝が記事の中での定義では戦略に用いられる関数が可測とは限らないというのはまぁ間違いない。
しかしまだ "絶対に可測関数になり得ない" と示せたわけではない。
時枝記事の関数の取り方は各類Cから代表元r(C)を選択する際の任意性分だけ自由度がある。
この関数は選択公理からその存在が保証されるものでしかないから直接的にそこから構成した時枝の戦略関数が可測かどうかは判定できない。
そこで時枝戦略をもう少し詳しく検証する。
改めて>>235。
時枝の与えた戦略関数はDの選択として例えば
D:=max{d(y),d(z)}+1
t:=r(C(x))[D]
をとればよいというもの。
この確率変数が求める条件を満たす理由が
P(t=x[D])
≧P(t=x[D]|d(x)≦D)P(d(x)≦D)
≧1×2/3
という式変形により保証されるというもの。
よって結局確率変数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)の条件は確率論の公理の要請に反してしまう。
何故ならば(2)を認めるならば任意のkに対して
P(∀i≧k x[i]=y[i] | d(x)≦k ∧ d(y)≦k)=1
が満たされなければならないが、一方で
P(∀i≧k x[i]=y[i] | d(x)≦k ∧ d(y)≦k)P(d(x)≦l∧d(y)≦k)
= P(∀i≧k x[i]=y[i] ∧ d(x)≦k ∧ d(y)≦k)
≦ P(∀i≧k x[i]=y[i])
=0
となってしまいP(d(x)≦k∧d(y)≦k)は任意の定数kに対して0になる事が要請されてしまう。
つまりこの二つの条件を満たす確率変数は絶対に取る事ができない、すなわち時枝記事の定義の方法がまずいのではなく、そもそも時枝戦略を構成する関数はその中核である条件(1),(2)を要請してしまうと可測関数にはなり得ない事がわかる。

というわけで時枝記事を数学的に正当化する手段は少なくとも確率論の中にはない。
確率論の技術以外に時枝記事を正当化する方法がある可能性はもちろん否定しません。
あるならどうぞ提出して下さいというところですかね。

http://rio2016.5ch.net/test/read.cgi/math/1578091012/271

433: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2020/01/12(日) 00:29:08.91 ID:Br/n5zWR

>>427
>>427 補足

(引用開始)
３．おサルは、時枝の数列は「固定」され、確率変数ではないので、シッポの同値類と決定番号で、数当て可能と考える
（正しくは、決定番号が非正則分布になるので、数当てができる確率計算はできないということ）
(引用終り)

（補足説明）
１．>>235に合わせて、3列で考える
２．3列A,B,Cで、決定番号を、d1>d2>d3 として、大、中、小と呼ぶことにする
３．まず、有限で1〜nの整数で考える
　　列の決定番号は、1〜nの整数なので、簡便に列の決定番号が1〜nから選ばれるとする
４．時枝問題で、回答者が列Aを選ぶと、決定番号は大
　　列Aのみ箱を全て開け、決定番号d1を得て、列B,Cでは、d1+1番目以降の箱を開けて
　　その代表数列より、B,C2列のd1番目の箱を当てることができる
　　列Bを選ぶと、決定番号は、n2であり、当てられるのは列Cのみ
　　列Cを選ぶと、決定番号は、n3であり、当てられるのはない（列A,Bとも当たらない）
５．では、決定番号が自然数全体、つまり1〜n→∞ の整数を考えた場合はどうか？
　　この場合は、上記1〜4のような考えはできない
　　つまり、自然数全体は、非正則分布になる（>>375に書いた通り）
　　仮に、上記4のように、決定番号が、d1>d2>d3 になったとすると
　　これは、条件つき確率であり、「決定番号が、d1>d2>d3」の確率は0である
　（∵自然数全体に対して、有限 1〜nの整数は、n個なので、n/∞＝0）
　　つまり、条件確率0で、上記４の確率を計算していることになり、時枝記事のような確率計算は不成立 ＊）
６．よって、結局、正しい確率計算は、iidの場合のように、普通の確率論の計算通り。これが正解になるのです（＾＾；

追伸
＊）上記５）は、自然数全体Nの一様分布が、非正則であることを使って説明したが
　すでに書いたように、可算無限長の数列の決定番号は、形式的冪級数環と多項式環のモデルで考えるべきである。なので、一様分布以上に発散する分布になることを注意しておく
以上

http://rio2016.5ch.net/test/read.cgi/math/1578091012/433

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

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

ぬこの手ぬこTOP 0.039s