[논문 리뷰] Existence, uniqueness, and minimality of the Jordan measure decomposition

Tom Fischer|arXiv (Cornell University)|2012. 06. 23.

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 분해의 본질적 유일성과 그것이 조르당 분해의 유일성을 보장하는 데서의 역할을 명확히 하기 위해.
• 조르당 분해가 단일 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 ∈ 𝒜}를 유도하여, 분해를 μ의 극값에 연결한다.
• 모순을 통한 최소성 증명: 다른 분해 (ν⁺, ν⁻)가 존재하고 ν⁺ < μ⁺ 또는 ν⁻ < μ⁻ 라면, ν⁻ 또는 ν⁺의 음수성 위반이 발생한다.
• 임의의 두 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 분해의 선택에 관계없이 조르당 분해는 μ에 의해 유일하게 결정되며, 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 분해들 사이에서 일관성을 보장한다.
• 단일 Hahn 분해를 통해 μ⁺ 및 μ⁻ 를 구성하는 것으로 충분하며, 이는 오직 한 개의 Hahn 분해만 고려하면 된다는 추론을 통해 보여진다.