>>380

つづき

４）
そして、
(条件2) で
f(x) = a'(x) (x < 1/2q)を満たす f(x) 達の集合をSf2,
g(x) = b'(x) (x < 1/2q')を満たすg(x) 達の集合をSg2
とします。
明らかに、Sf⊂Sf2、Sg⊂Sg2 です
∵
f(x) = a(x) (x < 1/q)∈Sf2、
g(x) = b(x) (x < 1/q')∈Sg2
だからです
（同値関係〜は、ε近傍の小さい方の部分で一致すれば良いから）

５）
ところで、客観的な確率計算をするためには、
代表を選ぶのに、客観性が求められ恣意であってはならない。
なので、ランダムでなければならない。

つづく