∈ B Λߟ͑Δͱɺू߹ྻ {B ∩ Xk }k=1,2,··· ୯ௐ૿ՃͰ B ʹऩଋͯ͠ɺઌ΄Ͳͷ݁Ռ ΑΓɺµ(B ∩ Xk ) = Γ(B ∩ Xk ) Ͱ͋Δ͜ͱ͔Βɺ͕࣍Γཱͭɻ µ(B) = lim k→∞ µ(B ∩ Xk ) = lim k→∞ Γ(B ∩ Xk ) = Γ(B) ͕ͨͬͯ͠ɺµ(B) = Γ(B) ͕Γཱͭɻ ˙ ֦ுఆཧͷԠ༻ྫͱͯ͠ɺੵۭؒͷଌͷ֦ு͕͋Γ·͢ɻࠓɺ֦ுఆཧͷલఏΛຬͨ͢ 2 ͭͷଌ ۭؒ (X, BX , µ1 )ɺ͓Αͼɺ(Y, BY , µ2 ) ͕͋Δͱͯ͠ɺੵۭؒ Z = X × Y ͷதͰɺK = E × F (E ∈ BX , F ∈ BY ) ͱ͍͏ܗͷू߹Λۣܗू߹ͱݺͼ·͢ɻ͜ͷ࣌ɺ༗ݶݸͷۣܗू߹ͷ͔ΒͳΔू߹ F ༗ݶՃ๏ͱͳΔͷͰɺ͜ͷ্ͷ༗ݶՃ๏ଌ m Λ m(E × F) = µ1 (E)µ2 (F) Ͱఆٛ͢Δͱɺ͜ΕશՃ ๏తͰ͋Γɺ͞ΒʹɺF ɺ֦ுఆཧͷલఏΛຬͨ͢͜ͱ͕ূ໌Ͱ͖·͢*3ɻ͕ͨͬͯ͠ɺF ΛؚΉ࠷খͷ σ- Ճ๏ BZ = B[F] Λߟ͑ͯɺ༗ݶՃ๏ଌ m ɺBZ ্ͷଌ µ ʹҰҙʹ֦ு͢Δ͜ͱ͕Ͱ͖·͢ɻ͜Ε Λ µ1 ͱ µ2 ͷੵଌͱݺͼ·͢ɻ ಛʹϢʔΫϦουۭؒͷ߹ɺ࣍ͷ͕ؔΓཱͪ·͢ɻ ఆཧ 22 RN ্ͷ Borel ू߹ͱ Lebesgue ଌΛ BN ɺ ͓Αͼɺ µN ͱද࣌͢ɺ 2 ͭͷଌۭؒ (Rp, Bp , µp ) ͱ (Rq, Bq , µq ) ͔Β Rp+q ্ͷ Borel ू߹ Bp+q ͷੵଌ µ ͕Ұҙʹܾ·Γɺ͜ΕΛඋԽͨ͠ ͷ Rp+q ্ͷ Lebesgue ଌ µp+q ʹҰக͢Δɻ ʢূ໌ʣ ଌۭؒ (Rp, Bp , µp ) ͱ (Rq, Bq , µq ) ɺ֦ுఆཧͷલఏ݅Λຬ͍ͨͯ͠Δɻ͕ͨͬͯ͠ɺੵۭؒ Rp × Rq = Rp+q ʹ͓͍ͯɺ༗ݶݸͷۣܗू߹ͷ͔ΒͳΔ༗ݶՃ๏Λ Fp,q ͱͯ͠ɺ͜ͷ্ͷ༗ݶՃ๏ ଌ m Λ m(A × B) = µp (A)µq (B) Ͱఆٛ͢Δͱɺm ɺB[Fp,q ] ্ͷଌ µ ʹҰҙʹ֦ு͞ΕΔɻ ͜͜ͰɺRp+q ͷ۠ؒմ Fp,q ʹؚ·ΕΔͷͰɺFp,q ⊃ Fp+q ͕ΓཱͭɻҰํɺFp,q ͷཁૉ Borel ू ߹ Bp+q ʹؚ·ΕΔͷͰɺBp+q ⊃ Fp,q ⊃ Fp+q ͱ͍͏͕ؔΓཱͭɻ͜ͷ֤߲Ͱɺͦͷ߲ΛؚΉ࠷খͷ Borel ू߹ΛऔΔͱɺ Bp+q ⊃ B[Fp,q ] ⊃ B[Fp+q ] ͕ಘΒΕΔɻ͞Βʹɺఆཧ 11 ΑΓ B[Fp+q ] = Bp+q ͱͳΔͷͰɺBp+q ⊃ B[Fp,q ] ⊃ Bp+q ɺ͢ͳΘͪɺ Bp+q = B[Fp,q ] ͕Γཱͭɻ͕ͨͬͯ͠ɺઌ΄Ͳͷଌ µ ɺBp+q ্ͷଌʹͳ͍ͬͯΔɻ ҰํɺFp,q ্ͷ༗ݶՃ๏ଌ m ͷ B[Fp,q ](= Bp+q ) ͷ֦ுҰҙͳͷͰɺͱͱ Bp+q ্ʹఆٛ͞ Εͨ Lebesgue ଌ µp+q ʹҰக͢Δɻఆཧ 19 ΑΓɺ͜ΕΛඋԽͨ͠ͷɺRp+q ্ͷ Lebesgue ଌ µp+q ʹҰக͢Δɻ ˙ 5 Մଌؔͱੵ ͜͜ͰɺҰൠͷଌۭؒ (X, B, µ) ʹ͓͚ΔՄଌؔͱͦͷੵͷఆٛΛͳΔ͘ʮ࠷ܦ࿏ʯͰ༩͑ ·͢ɻͦͷޙɺվΊͯɺ͜ΕΒͷ͞·͟·ͳੑ࣭Λ͍͖ࣔͯ͠·͢ɻ͜ΕҎ߱ɺू߹ E ⊂ X Ͱఆٛ͞Εͨ *3 ۩ମతͳূ໌ɺ[1] Λࢀরɻ 23