[论文解读] Existence, uniqueness, and minimality of the Jordan measure decomposition

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

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

一句话总结

本文为有限带符号测度的若尔当代数分解的存在性、唯一性和极小性提供了初等且自包含的证明。它建立在哈恩分解的基础上，利用对称差证明本质唯一性和极小性，表明正部和负部变分的分解是唯一确定的，并且在所有此类分解中是最小的。

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.

研究动机与目标

• 为有限带符号测度的若尔当代数分解定理提供一种教学上易于理解、自包含的证明。
• 以哈恩分解为基础，建立唯一若尔当代数分解的存在性。
• 证明若尔当代数分解在所有将带符号测度表示为非负测度之差的表示中是最小的。
• 阐明哈恩分解的本质唯一性及其在确保若尔当代数分解唯一性中的作用。
• 证明若尔当代数分解可通过单个哈恩分解构造，且不依赖于该分解的选择。

提出的方法

• 使用固定的哈恩分解 (P, N) 构造正部和负部变分 μ⁺ 和 μ⁻，定义为 μ⁺(A) = μ(A ∩ P) 和 μ⁻(A) = -μ(A ∩ N)。
• 证明 μ⁺ 和 μ⁻ 是非负的有限测度，且满足 μ = μ⁺ - μ⁻，从而确立存在性。
• 利用对称差 P △ P′ 和 N △ N′ 证明：对任意 A ⊂ N′ 有 μ⁺(A) = 0，对任意 A ⊂ P′ 有 μ⁻(A) = 0，确保不同哈恩分解之间的一致性。
• 推导出表示式 μ⁺(A) = sup{μ(B) : B ⊂ A, B ∈ 𝒜} 和 μ⁻(A) = -inf{μ(B) : B ⊂ A, B ∈ 𝒜}，将分解与 μ 的极值联系起来。
• 通过反证法证明极小性：若存在另一组分解 (ν⁺, ν⁻) 满足 ν⁺ < μ⁺ 或 ν⁻ < μ⁻，则 ν⁻ 或 ν⁺ 将违反非负性。
• 利用恒等式 μ(A ∩ P) = μ(A ∩ P′) 和 μ(A ∩ N) = μ(A ∩ N′) 对任意两组哈恩分解成立，证明构造的不变性。

实验结果

研究问题

• RQ1 如何在不依赖高级测度论工具的前提下证明若尔当代数分解的存在性？
• RQ2 为何若尔当代数分解是唯一的，即使哈恩分解仅是本质唯一的？
• RQ3 在将带符号测度表示为非负测度之差的背景下，极小性的精确含义是什么？
• RQ4 哈恩分解的对称差如何与 μ 的零测集相关联，为何这对唯一性至关重要？
• RQ5 能否通过可测子集上的上确界和下确界表征若尔当代数分解，且该表征是否能导出极小性？

主要发现

• 对任意有限带符号测度 μ，若尔当代数分解 μ = μ⁺ - μ⁻ 存在，其中 μ⁺(A) = μ(A ∩ P)，μ⁻(A) = -μ(A ∩ N)，(P, N) 为哈恩分解。
• 无论选择哪组哈恩分解，若尔当代数分解均由 μ 唯一确定，这是由于在哈恩对的对称差下保持不变。
• 正部和负部变分满足 μ⁺(A) = sup{μ(B) : B ⊂ A, B ∈ 𝒜} 和 μ⁻(A) = -inf{μ(B) : B ⊂ A, B ∈ 𝒜}，提供了变分表征。
• 任何其他分解 μ = ν⁺ - ν⁻ 满足 ν⁺, ν⁻ 为非负测度，必有 ν⁺ ≥ μ⁺ 且 ν⁻ ≥ μ⁻，从而证明了若尔当代数分解的极小性。
• 对称差 P △ P′ 和 N △ N′ 在强意义下是 μ-零测集：对所有 A ⊂ P △ P′ 或 A ⊂ N △ N′，均有 μ(A) = 0，确保了不同哈恩分解之间的一致性。
• 通过单个哈恩分解构造 μ⁺ 和 μ⁻ 即可唯一确定若尔当代数分解，如推论所示，仅需考虑一组哈恩分解即可。