R上の区間塊の長さを定義する集合関数が有限加法的測度であることの証明　

　　→戻る　

[準備]　　
・舞台設定　
　R　　　　　：実数の全体の集合。すなわち、R＝{ x| −∞ < x < ＋∞ }　
　集合系(族)E：　R上の区間塊として考えられ得るものすべてを集めてきた集合系(族)。
　　　　　　　　　　　　※区間塊Eは、Rの部分集合だから、EはRの部分集合系(族)となっている。
Ψ(I) 　　　：　直線の長さを定義する集合関数Ψ。
　　　　　　　すなわち、
　　　　　　　(i)　I=(a, b]　(ただし−∞< a< b<＋∞)ならば、　Ψ(I) =b−a　　　
　　　　　　　(ii)　I=φならば、　Ψ(φ) = 0　　
　　　　　　　(iii)　　I=(−∞, b], (a , ∞), (−∞, ∞)(ただし−∞< a,b<＋∞)ならば、Ψ(I) =＋∞
・集合関数μの定義　
　Eに属す、すべてのEは、区間塊であるから、　
　　　　　　　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= I₁＋…＋I_n　（ただし、I₁,…,I_nは、上記5タイプいずれかの区間）
　と表せる。　　　※自然数nは1以上とわざわざことわったのは、E= I₁というケースも当然ありうるという意味。
　そこで、直線の長さを定義する集合関数Ψを用いて、　
　　μ(E)=Ψ(I₁)＋Ψ(I₂)＋…＋Ψ(I_n)　
　と、関数μを定義する。　
　このμ(E)は、きれぎれの直線Eの長さの和となる。
[本題]　
　　Rで定義された上記の実数値E-集合関数μは、E上の有限加法的測度である。
[証明]
　第１に、性質2より、Eは有限加法族である。　
　第2に、有限加法的測度の第１要件： 任意のE∈Eに対して、0≦μ(E)≦＋∞、μ(φ)=0を満たしている。
　　→なぜなら、任意のE∈Eに対して、μ(E)は直線の長さを定義する集合関数Ψの有限和。　
　　　　　　集合関数Ψは、常に0≦Ψ(I)≦＋∞で、Ψ (I)=0となるのはI=φのケースのみであったから、
　　　　　　その有限和であるμも、常に0≦μ≦＋∞で、μ(φ)=0。
　第3に、有限加法的測度の第2要件： 任意の互いに素なE₁,E₂ ∈E　に対して、μ(E₁+E₂)=μ(E₁)+μ(E₂)　　
　　→なぜなら、任意の互いに素なE₁,E₂ ∈Eに対して、両者は区間塊だから、
　　　　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)　

　　→戻る