内測度

内測度の概念と性質

数学、特に測度論における「内測度」は、特定の集合に関連する内部の大きさを測る関数です。この内測度は、与えられた集合の任意の部分集合に対して定義されます。基礎的な性質として、内測度は補完数直線上での値を持ち、正の無限大に到達することも可能です。直感的には、ある集合の内側からの「大きさ」を定義するものと考えられます。

内測度の定義

内測度を定義するために、まず集合 X を固定しましょう。この集合 X に対して、内測度と呼ばれる函数 φ は X の冪集合 2^X 上で次の条件を満たすものとされます：
1. 空集合は零集合: φ(∅) = 0。
2. 優加法的性質: 部分集合 A と B が互いに交わらない場合、φ(A ∪ B) ≥ φ(A) + φ(B) が成り立つ。
3. 減少列に関する単調性: 集合列 {A_j} が任意の j に対して A_j ⊇ A_{j+1} を満たし、かつ φ(A_1) < ∞ が成り立つとき、

φ(⋂_{j=1}^∞ A_j) = lim_{j→∞} φ(A_j) が成り立ちます。
4. 測度無限大への到達可能性: φ(A) = ∞ になる部分集合 A が存在する場合、任意の正の数 c に対して、A の部分集合 B が存在して c ≤ φ(B) < ∞ が成り立つ。

内測度はこれらの条件を満たすことで、集合の「大きさ」を明確に定義しています。

測度が誘導する内測度

一方で、集合 X 上の完全加法族 Σ および Σ 上の測度 μ に対して、μ が誘導する内測度 μ は、次のように定義されます:

μ(T) := sup {μ(S) : S ∈ Σ ∧ S ⊆ T}

この定義からわかるように、μ は集合をその Σ-可測部分集合の μ-測度で測定することにより、各集合の大きさの下限を提供するものとなります。μ は通常、測度そのものにはならないですが、以下のような性質があります：

• - μ(∅) = 0;
• - μ は非負である;
• - E ⊆ F ならば μ(E) ≤ μ(F) が成り立つ。

測度の完備化

内測度と外測度を組み合わせることで、考慮する集合の範囲をより広げる目的で「測度の完備化」が用いられます。例えば、有限測度 μ が完全加法族 Σ 上で定義されているとき、それに対応する外測度および内測度を μ および μ とすると、μ(T) = μ(T) を満たす全ての集合 T は、より大きな完全加法族 Σ^ を形成します。このとき、以下の関係が成り立ちます:

μ^(T) = μ(T) = μ(T) (∀ T ∈ Σ^)

このようにして得られる測度 μ^ は、測度 μ の完備化と呼ばれます。

さらに、有限でない測度に対しても、同様の完備化の考え方が適用可能であり、特に σ-有限測度の完備化は重要な応用を持ちます。

結論

内測度は、数学における集合の測定を行うための非常に有意義な概念です。測度論の様々な特性や応用と密接に関連し、多くの数学的理論の基盤を成すものです。このように、内測度は数学そのものを深く理解するために不可欠な要素であると言えるでしょう。

もう一度検索