R
2上の区間塊の面積を定義する集合関数が有限加法的測度であることの証明
→
戻る
[
準備]
・舞台設定
R2 : 2つの「実数の全体の集合」Rの直積。すなわち、
R×R={ (x ,y ) |x ∈ Rかつ y ∈ R }={ (x ,y ) | −∞<x<+∞かつ −∞<y<+∞ }
集合系(族)E : R2上の区間塊として考えられ得るものすべてを集めてきた集合系(族)。
※区間塊Eは、R2の部分集合だから、Eは R2の部分集合系(族)となっている。
Ψ(I) : R2上の区間の面積を定義する集合関数Ψ。
すなわち、
type 1: 左半開区間(a, b] ={ x | a<x≦b } (ただし−∞< a< b<+∞),
type 2: (−∞, b] ={ x | x≦b } (ただし−∞< b<+∞)、
type 3: (a , ∞) ={ x | a<x } (ただし−∞< a <+∞)、
type 4: (−∞, ∞)=実数全体の集合R
type 5: 空集合φ
のいずれかのかたちのR上区間の直積となるR2上区間Iに対して、
(i) I=(a, b]×(a', b'] (−∞< a< b<+∞, −∞< a'< b'<+∞)ならば、Ψ(I) ={ b−a } {b'−a' }
(ii) I=φならば、 Ψ(φ) = 0
(iii) Iが上記以外〜つまり、(−∞, b]×(a' , ∞)など非有界の矩形〜ならば、
Ψ(I) =+∞
※値域は、広義の実数R*上の区間[0, +∞]となる。
「広義の実数」では、実数における演算が拡張されているので(特に+∞について)注意。
・集合関数μの定義
Eに属す、すべてのEは、R2上の区間塊であるから、
type 1: 左半開区間(a, b]={ x | a<x≦b } (ただし−∞< a< b<+∞),
type 2: (−∞, b]={ x | x≦b } (ただし−∞< b<+∞)、
type 3: (a , ∞)={ x | a<x } (ただし−∞< a <+∞)、
type 4: (−∞, ∞)=実数全体の集合R
type 5: 空集合φ
のいずれかのかたちの区間の直積の有限個の直和として表す
(=互いに素な有限個の「上記5タイプの区間の直積」へ分割する)
ことができる。
すなわち、
Eに属す、すべてのEには常に、
1以上の或る自然数nが存在して、
E= I1+…+In (ただし、I1,…,Inは、上記5タイプいずれかの区間の直積で、互いに素)
と表せる。※自然数nは1以上とわざわざことわったのは、E= I1というケースも当然ありうるという意味。
そこで、面積を定義する集合関数Ψを用いて、
μ(E)=Ψ(I1)+Ψ(I2)+…+Ψ(In)
と、 R2上の区間塊Eの面積を定義する集合関数μを定義する。
[
本題] R2で定義された実数値E-集合関数μは、E上の有限加法的測度である。
[
証明]
第1に、性質2より、Eは有限加法族である。
第2に、有限加法的測度の第1要件: 任意のE∈Eに対して、0≦μ(E)≦∞、μ(φ)=0を満たしている。
→なぜなら、任意のE∈Eに対して、μ(E)は面積を定義する集合関数Ψの有限和。
集合関数Ψは、常にΨ(I)≧0で、Ψ(I)=0となるのはI=φのケースのみであったから、
その有限和であるμも、常にμ≧0で、μ(φ)=0。
第3に、有限加法的測度の第2要件: 任意の互いに素なE1,E2 ∈E に対して、μ(E1+E2)=μ(E1)+μ(E2)
→なぜなら、任意の互いに素なE1,E2 ∈Eに対して、両者はR2上の区間塊だから、
1以上の或る自然数n, m が存在して、
E1= I1+…+In 、 E2= In+1+…+I n+m
ただし、I1,…,I n+mは、下記5タイプいずれかの区間の直積で、各々はすべて互いに素。
type 1: 左半開区間(a, b]={ x | a<x≦b } (ただし−∞< a< b<+∞),
type 2: (−∞, b]={ x | x≦b } (ただし−∞< b<+∞)、
type 3: (a , ∞)={ x | a<x } (ただし−∞< a <+∞)、
type 4: (−∞, ∞)=実数全体の集合R
type 5: 空集合φ
と表せて、…(1)
μ()の定義より、
μ(E1)=Ψ(I1)+…+Ψ(In)、μ(E2)=Ψ (I n+1) +…+Ψ (I n+m) …(2)
他方、 (1)より、E1+E2=I1+…+In+In+1+I n+m と表せるから、μ()の定義より、
μ(E1+E2)= Ψ(I1) +…+Ψ(In)+Ψ(I n+1)+…+Ψ(I n+m) …(3)
(2)(3)から、μ(E1+E2)=μ(E1)+μ(E2) =Ψ(I1)+…+Ψ(In)+ Ψ(I n+1)+…+Ψ(I n+m)
→
戻る