2017年7月6日木曜日

有限加法族の分割

有限加法族とは, 有限集合$E$上のσ-加法族 $\mathcal{G}\subseteq 2^E$ でとなるものです. 有限加法族を台集合の分割を用いて表現する定理を証明します.
(おそらく既存の結果として知られているほどの簡単なものですが, そういうのを調べず私が個人的に見つけた証明を載せているので, もし関連結果 or よりスマートな証明をご存知の方がいらしたら教えていただければ幸いです).


この定理を使えば, 有限加法族に対する条件付き期待値を具体的に構成することが出来ます.
(有限でない場合は無理です)

0 件のコメント:

コメントを投稿

「入力」と「インスタンス」の使い分け

問題に対するアルゴリズムの計算量を議論する際に「入力」「インスタンス」という言葉が登場する。これらは、アルゴリズムが読み込む文字列という意味では、両者ともに同じ役割を果たすため、特に気にせず同じ意味で用いる人が多いと思う。しかし、実は両者は文脈によっては明確に区別されるべき概念で...