- 417 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/07(金) 00:13:58.60 ID:+P+lGjiR.net]
- >>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
だからです
（同値関係〜は、ε近傍の小さい方の部分で一致すれば良いから）
５）
ところで、客観的な確率計算をするためには、
代表を選ぶのに、客観性が求められ恣意であってはならない。
なので、ランダムでなければならない。
つづく
