R²上の区間塊の面積を一般化した集合関数が有限加法的測度であることの証明　

　　　→戻る　

[準備]
・舞台設定　
　R²　　　　：　2つの「実数の全体の集合」Rの直積。すなわち、
　　　　　　　　　　　R×R＝{ (x ,y ) |x ∈ Rかつ y ∈ R }＝{ (x ,y ) | −∞<x<＋∞かつ −∞<y<＋∞ }　
　集合系(族)E　：　R²上の区間塊として考えられ得るものすべてを集めてきた集合系(族)。
　　　　　　　　　　　　　※区間塊Eは、R²の部分集合だから、Eは R²の部分集合系(族)となっている。
　f (x)　　　　：　R上の実数値関数(つまり、f: R→R)で、R上単調増加関数。以下のΨに組み込まれる。
　Φ(I) 　　　：　R²上の区間の面積を一般化した集合関数Φ。
　　　　　　　　すなわち、
　　　　　　　(i) I＝(a, b]×(a', b']　(−∞< a< b<＋∞, −∞< a'< b'<＋∞)ならば、Φ(I) ={ f₁ (b)−f₁ (a) } { f₂ (b')−f₂ (a') }　
　　　　　　　(ii)　I=φならば、　Φ(φ) = 0　　
　　　　　　　(iii)　それ以外ならば、
　　　　　　　　　　　Iに含まれる任意の区間J=(a, b]×(a', b'](−∞< a< b<＋∞, −∞< a'< b'<＋∞)に対して、　
　　　　　　　　　　　Φ(I) = sup {Φ( J ) }= sup { { f₁ (b)−f₁ (a) } { f₂ (b')−f₂ (a') }}　
　　　　　　　　　　※f₁ (x)= f₂ (x)= xとしてf (x)を組み込んだΦ(I)= (b− a) (d− c)が、
　　　　　　　　　　　一般に「R²上区間(矩形)Iの面積」Ψ(I)。
・集合関数μの定義　
　Eに属す、すべてのEは、R²上の区間塊であるから、　
　　　　　　　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: 空集合φ 　
　のいずれかのかたちの区間の直積の有限個の直和として表す
　（＝互いに素な有限個の「上記５タイプの区間の直積」へ分割する）
　ことができる。　　
　すなわち、
　Eに属す、すべてのEには常に、
　　　1以上の或る自然数nが存在して、
　　　E= I₁＋…＋I_n　（ただし、I₁,…,I_nは、上記5タイプいずれかの区間の直積で、互いに素）
　と表せる。※自然数nは1以上とわざわざことわったのは、E= I₁というケースも当然ありうるという意味。
　そこで、面積を一般化した集合関数Φを用いて、　
　μ(E)=Φ(I₁)＋Φ(I₂)＋…＋Φ(I_n)　
　と、関数μを定義する。　
　このうち特に、f₁ (x)= f₂ (x)= x　として　Φ(I)=(b−a) (d−c)とした際のμ(E)は、
　R²上の区間塊Eの面積となる。

[本題] R²で定義された実数値E-集合関数μは、E上の有限加法的測度である。

[証明]
　第１に、性質2より、Eは有限加法族である。　
　第2に、有限加法的測度の第１要件： 任意のE∈Eに対して、0≦μ(E)≦∞、μ(φ)=0を満たしている。
　　→なぜなら、任意のE∈Eに対して、μ(E)は面積を一般化した集合関数Φの有限和。　
　　　　　　集合関数Φは、常にΦ(I)≧0で、Φ(I)=0となるのはI=φのケースのみであったから、
　　　　　　その有限和であるμも、常にμ≧0で、μ(φ)=0。
　第3に、有限加法的測度の第2要件： 任意の互いに素なE₁,E₂ ∈E　に対して、μ(E₁+E₂)=μ(E₁)+μ(E₂)　　
　　→なぜなら、任意の互いに素なE₁,E₂ ∈Eに対して、両者はR²上の区間塊だから、
　　　　1以上の或る自然数n, m が存在して、
　　　　E₁= I₁＋…＋I_n　、　E₂= I_n+1＋…＋I _n+m　
　　　　　　ただし、I₁,…,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)
　　　　μ()の定義より、
　　　　　μ(E₁)=Φ(I₁) ＋…＋Φ(I_n)、μ(E₂)=Φ(I _n+1) ＋…＋Φ(I _n+m)　　　…(2)　
　　　　他方、 (1)より、E₁+E₂＝I₁＋…＋I_n＋I_n+1＋I _n+m　と表せるから、μ()の定義より、
　　　　　μ(E₁+E₂)=Φ(I₁) ＋…＋Φ(I_n)＋Φ(I _n+1)＋…＋Φ(I _n+m)　　　　　…(3)　
　　　　(2)(3)から、μ(E₁+E₂)=μ(E₁)＋μ(E₂) =Φ(I₁)＋…＋Φ(I_n)＋Φ(I _n+1)＋…＋Φ(I _n+m)　
　

　　　→戻る