[論文レビュー] Existence, uniqueness, and minimality of the Jordan measure decomposition

Tom Fischer|arXiv (Cornell University)|Jun 23, 2012

Mathematical and Theoretical Analysis参考文献 1被引用数 8

ひとこと要約

この論文は、有限符号付き測度のジョルダン分解の存在、一意性、最小性について、初等的で自己完結的な証明を提供する。Hahn分解を基盤として、対称差を用いることで、正負の変動への分解が、すべての此类の分解の中で一意的かつ最小であることを確立する。

ABSTRACT

This is a note of purely didactical purpose as the proof of the Jordan measure decomposition is often omitted in the related literature. Elementary proofs are provided for the existence, the uniqueness, and the minimality property of the Jordan decomposition for a finite signed measure.

研究の動機と目的

• 有限符号付き測度のジョルダン分解定理について、教育的で自己完結的な証明を提供すること。
• Hahn分解を基盤として、一意的なジョルダン分解の存在を確立すること。
• 符号付き測度を非負の測度の差として表すすべての表現の中で、ジョルダン分解の最小性を証明すること。
• Hahn分解の本質的唯一性を明確にし、それがジョルダン分解の一意性を保証する役割を果たすことを示すこと。
• ジョルダン分解が1つのHahn分解から構成可能であり、その選択に依存しないことを示すこと。

提案手法

• 固定されたHahn分解 (P, N) を用いて、μ⁺(A) = μ(A ∩ P) および μ⁻(A) = -μ(A ∩ N) により正と負の変動 μ⁺ と μ⁻ を構成する。
• μ⁺ と μ⁻ が非負の有限測度であり、μ = μ⁺ - μ⁻ を満たすことを証明し、存在性を確立する。
• 対称差 P △ P′ と N △ N′ を用いて、A ⊂ N′ ならば μ⁺(A) = 0 および A ⊂ P′ ならば μ⁻(A) = 0 であることを示し、Hahn分解間での一貫性を保証する。
• μ⁺(A) = sup{μ(B) : B ⊂ A, B ∈ 𝒜} および μ⁻(A) = -inf{μ(B) : B ⊂ A, B ∈ 𝒜} を導出し、分解を μ の極値値に関連付ける。
• 背理法を用いて最小性を証明する：もし ν⁺ < μ⁺ または ν⁻ < μ⁻ を満たす別の分解 (ν⁺, ν⁻) が存在するならば、ν⁻ または ν⁺ の非負性に反する。
• 任意の2つのHahn分解について、μ(A ∩ P) = μ(A ∩ P′) および μ(A ∩ N) = μ(A ∩ N′) が成り立つことを用いて、構成の不変性を示す。

実験結果

リサーチクエスチョン

• RQ1 高度な測度論的道具に依存せずに、ジョルダン分解の存在をどのように証明できるか？
• RQ2 Hahn分解が本質的に唯一であるにもかかわらず、なぜジョルダン分解は一意的なのか？
• RQ3 符号付き測度を非負の測度の差に分解する文脈において、最小性の正確な意味は何か？
• RQ4 Hahn分解の対称差は μ の零集合とどのように関係し、なぜこれが一意性にとって重要なのか？
• RQ5 ジョルダン分解は可測部分集合上の上界と下界によって特徴付けられるか？そして、この特徴付けは最小性を導くのか？

主な発見

• 任意の有限符号付き測度 μ に対して、ジョルダン分解 μ = μ⁺ - μ⁻ が存在し、Hahn分解 (P, N) を用いて μ⁺(A) = μ(A ∩ P) および μ⁻(A) = -μ(A ∩ N) と定義される。
• Hahn分解の選択にかかわらず、対称差による不変性のおかげで、ジョルダン分解は μ によって一意に決定される。
• 正と負の変動は μ⁺(A) = sup{μ(B) : B ⊂ A, B ∈ 𝒜} および μ⁻(A) = -inf{μ(B) : B ⊂ A, B ∈ 𝒜} を満たし、変動的特徴付けを提供する。
• 任意の他の分解 μ = ν⁺ - ν⁻ について、ν⁺, ν⁻ が非負の測度であるならば、ν⁺ ≥ μ⁺ および ν⁻ ≥ μ⁻ が成り立つため、ジョルダン分解の最小性が証明される。
• 対称差 P △ P′ および N △ N′ は、強い意味で μ-零集合である：すべての A ⊂ P △ P′ または A ⊂ N △ N′ に対して μ(A) = 0 であるため、Hahn分解間での一貫性が保証される。
• 1つのHahn分解から μ⁺ と μ⁻ を構成するだけで、一意なジョルダン分解を特定できることを示す、補題によって示される。