20/01/11 13:35:44.93 mOtG56FL.net
>>271 補足
＞(2) P(∀i≧D x[i]=r(C(x))[i] | d(x)≦D)=1
＞ところがこの(2)の条件は確率論の公理の要請に反してしまう。
・まあ、”この(2)の条件”は、下記wikipwdiaの「（正規性）：P(Ω) = 1.」のことだろう
・”正規性”は、時枝記事の「ヴィタリのルベーグ非可測集合」（>>53）の”非可測”とは意味が違う
・時枝氏は、「非可測集合を経由したからお手つき， と片付けるのは，面白くないように思う」と誤魔化しているから
「（正規性）：P(Ω) = 1.」の方から攻めたのは、正解と思う
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
確率論
(抜粋)
目次
1 歴史
1.2 公理的確率論
公理的確率論
現代数学の確率論は、アンドレイ・コルモゴロフの『確率論の基礎概念』（1933年）[4]に始まる公理的確率論である。
この確率論では「確率」が直接的に何を意味しているのかという問題は取り扱わず、「確率」が満たすべき最低限の性質をいくつか規定し、その性質から導くことのできる定理を突き詰めていく学問である。
この確率論の基礎には集合論・測度論・ルベーグ積分があり、確率論を学ぶためにはこれらの知識が要求される。公理的確率論の必要性に関しては確率空間の項を参照。
基礎概念の数学的定義
現代確率論における基礎概念たちは測度論を基盤として次のように厳密に定義される。
確率空間
・P を可測空間 (Ω , F) 上の確率測度とする。すなわち、写像 P: F→ [0,1] であって、以下の性質を持つものとする：
１．（完全加法性）
略
２．（正規性）：P(Ω) = 1.
・このときの三つ組 (Ω,F,P) を確率空間 (probability space) と呼び、可測集合 A ∈ F を事象 (event) と呼ぶ。
確率変数
確率空間 (Ω,F,P)上の可測関数を確率変数 (random variable) と呼ぶ。
(引用終り)