17/06/26 22:46:53.78 fEMhvHu0.net
>>224 つづき
この定義は,有限の場合とほとんど変わらない.唯一の違いは確率P[E] が計算できるもの(つまり事象E)がΩ
の部分集合全てではない可能性があることで,そのために「有限バージョン」では「全ての部分集合E に対して」
となっていたところを「F の元であるE に対して」と書き直してあるところである.
なお,有限の場合のσ-field F はΩ の部分集合全体にとるのが自然であり,実際,定義1.2.1 でもそうした.だ
から,この場合はF が自明なので