大学学部レベル質問スレ 27単位目

H. L. Royden著『Real Analysis Third Edition』

p.19 Problem 20

C を集合のコレクションとし、 E を C により生成されるσ-代数の元とする。そうすると可算なサブコレクション C_0 ⊂ C で E が C_0 により生成されるσ-代数 A_0 の元であるようなものが存在する。