外測度

外測度の概念

数学で使われる外測度は、特に測度論において重要な役割を果たします。この概念は、与えられた集合の全ての部分集合に対して定義される集合関数で、実数の非負の部分集合に対する値を持ちます。その基礎を築いたのは、数学者コンスタンティン・カラテオドリです。彼は加算加法的測度の理論を発展させ、後にその理論がさらなる研究へと発展しました。

外測度の特徴は、逐次的に加えられる性質である加法性を持つことです。カラテオドリの外測度では、任意の部分集合に対して値が与えられ、これらの集合には「可測集合」と呼ばれる特定の性質を持つものと、可測ではない「非可測集合」が含まれています。外測度の主な目的は、可測集合のクラスだけを選び出すことにあります。この選び出した可測集合のクラスは、完全加法族となり、その上に外測度を定義することで、実際に一つの測度を提供できるのです。

外測度の定義

外測度は集合X上の集合関数で、以下の性質を満たす必要があります：
1. 空集合は零集合: 空集合に対してその値はゼロです。

$$(\emptyset) = 0$$

2. 単調性: 集合Aが集合Bの部分集合である場合、外測度も関係します。

$$A \subset B \implies \mu(A) \leq \mu(B)$$

3. 劣加法性: 任意の部分集合から成る集合列に対し、その和が外測度の上限である必要があります。

$$\mu \Big(\bigcup_{i=1}^{\infty} E_{i}\Big) \leq \sum_{i=1}^{\infty} \mu(E_{i})$$

このように外測度は、可測性を持つ部分集合Eに対してカラテオドリ可測性を定義し、これにより簡潔に数学的な性質を探求するための強力な道具となります。

計量外測度とその性質

距離空間においては、特定の条件を満たすことで計量外測度が得られます。例えば、二つの部分集合EとFが十分に離れている場合、合成した外測度がそれぞれの外測度の合計となることが求められます。このことにより、計量外測度が得られ、ボレル部分集合が必然的に可測であることが示唆されます。

外測度の構成法

外測度の具体的な構成法はいくつか存在します。特に、Munroeの文献に基づいて二つの有用な方法が広く認識されています。

1. 構成法 I: 固定された集合Xに対して、非負拡張実数値の集合同様性を持たせ、任意の部分集合Eに対してその外測度を定義します。

2. 構成法 II: 距離空間上において效果的に計量外測度を定義します。この方法では、収束的な限界も考慮に入れた外測度が導かれ、特定の距離から算出されます。

このように、外測度は数学において非常に多面的かつ基盤的な概念であり、理論的な発展だけでなく、応用の面でも多岐にわたる可能性を持っています。

もう一度検索