有限加法的測度

有限加法的測度についての詳細

有限加法的測度とは、特定の集合に対して非負の拡大実数を割り当てる関数の一つであり、集合論や測度論において重要な役割を果たします。英語では「finitely additive measure」と呼ばれ、また容積とも称されます。代表例にはジョルダン測度が挙げられますが、その基本特性は多くの抽象的な概念に応用されています。

定義

有限加法的測度μは、集合Xの部分集合から構成される有限加法族A上で定義されるもので、拡張された区間[0, ∞]の値を取る関数です。具体的には、次の性質を満たします：

1. 単位律: 空集合の容積はゼロです。

$$
μ(∅) = 0
$$

2. 加法性: A, BがAに属する場合、AとBが互いに素であれば、次の等式が成り立ちます。

$$
μ(A ∪ B) = μ(A) + μ(B) ext{ (if } A ∩ B = ∅)
$$

この加法性から、任意の有限個の互いに素な集合E1, E2, ..., Emに対して、次の性質も帰納的に導かれます。

$$
μ(E_1 ∪ ... ∪ E_m) = μ(E_1) + ... + μ(E_m)
$$

加えて、負の値を許可する場合は、有限加法的符号付き測度と呼ばれ、無限大をとらない場合には有限加法的有限値測度と定義されます。

性質

有限加法族Aを含む最小の可算加法族をσ[A]と記述します。この上で定義された有限加法的測度を延長する方法がありますが、必ずしも一意性が保証されません。有限加法的測度の全体はΦ(X,A)という集合を形成し、点ごとの和と実数倍を用いることで、ベクトル空間を成します。

また、集合μ, νがΦ(X,A)に属する場合、任意の集合Sについての不等式μ(S) ≤ ν(S)が成立するとき、μはνに支配されると定義されます。この順序に基づいて、Φ(X,A)は束を形成し、リース空間としての特性を持ちます。特に、正値測度φ+と負値測度φ−が導入され、測度φはこれらの差分として記述されます。

有限加法的測度と関数

有限加法的測度に対する関数の積分は、一般に良好に振る舞いませんが、特定の条件が整う場合、適切に機能します。具体的には、全体空間の容積が有限なとき、考慮する関数fが有界であれば、以下のように定義できます。

$$
∫ f \, dμ = ext{lim} \, ∑_{i=1}^{n} f(α_i) μ(f^{-1}(A_i))
$$

ここで、Aiはfの値域を網羅する互いに素な半開集合であり、αiはその元の一つです。最後に、空間X上の測度が有界な場合、有界な有限加法的測度 λに対応する双対空間が成立します。

結論

有限加法的測度は、集合論や測度論の基礎的な部分においてその存在意義を持ち、実際の測度と比べて異なる特性を示します。これにより、多様な数学的状況下での対応関係や連続性の分析において重要な手段となります。

もう一度検索