[논문 리뷰] Hahn decomposition and Radon-Nikodym theorem with a parameter

D. Novikov|ArXiv.org|2005. 01. 14.

Advanced Algebra and Logic인용 수 4

한 줄 요약

이 논문은 매개변수에 의존하는 Radon-Nikodym 정리에 대해 구성적이고 측정 가능한 증명을 제공한다. 구체적으로 매개변수에 따라 변하는 Hahn 분해를 사용하여 Radon-Nikodym 도함수의 공동 측정 가능한 형태를 명시적으로 구성한다. 만약 측도의 가족이 기준 측도에 대해 절대 연속이고, 둘 다 매개변수에 대해 측정 가능하다면, Radon-Nikodym 도함수는 곱 시그마 대칭에서 측정 가능하다는 것을 입증한다.

ABSTRACT

The paper contains a simple proof of the classical Hahn decomposition theorem for charges and, as a corollary, an explicit measurable in parameter construction of a Radon-Nikodym derivative of one measure by another.

연구 동기 및 목표

• 매개변수가 존재하는 상황에서 Radon-Nikodym 정리에 대한 구성적이고 측정 가능한 증명을 제공하는 것.
• 측도가 매개변수에 대해 측정 가능하게 의존할 경우, Radon-Nikodym 도함수의 공동 측정 가능한 형태의 존재를 확립하는 것.
• E.B. Dynkin 가 제기한 질문인 매개변수 가족에서 Radon-Nikodym 도함수의 측정 가능성 문제를 해결하는 것.
• 고전적 Hahn 분해 정리를 매개변수화된 측도로 일반화하고, 이를 통해 도함수의 측정 가능한 수준 집합을 구성하는 것.
• 최종 도함수가 매개변수 공간과 결과 공간의 곱 시그마 대칭에 대해 측정 가능하도록 보장하는 것.

제안 방법

• 변동이 제어된 집합들의 수열 $E_k$ 를 사용하여 매개변수에 의존하는 측도 $\mathcal{P}(\mu, \cdot) - r\mathcal{P}(\cdot)$ 에 대해 Hahn 분해를 구성한다.
• 집합 $X_m = \bigcap_{k \geq m} E_k$ 와 $X_- = \bigcup_m X_m$ 를 정의하고, 각 $\mu$ 에 대해 Hahn 분해를 형성한다.
• 측정 가능한 함수와 그 수준 집합 $S_r = \{f \leq r\}$ 간의 대응을 이용하여 Radon-Nikodym 도함수 $f$ 를 측정 가능한 가족 $S_r$ 으로 특성화한다.
• $S_r$ 를 $r' \leq r$ 인 $X^{r'}_-$ 의 합집합과 잔여 집합 $S_0$ 로 구성하여 단조성과 완전성을 확보한다.
• 정의 집합 $A_{N,k}$ 가 매개변수 공간에서 측정 가능하다는 것을 보여, 결과적으로 $S_r$ 가 $\mathfrak{M} \times \mathfrak{M}$ 에서 측정 가능하다는 것을 증명한다.
• 간단 함수에 의한 근사와 측도 비교를 통해 구성된 $f$ 가 Radon-Nikodym 도함수의 정의 성질을 만족함을 검증한다.

실험 결과

연구 질문

• RQ1 측도가 매개변수에 따라 의존할 경우, Radon-Nikodym 도함수의 공동 측정 가능한 형태를 명시적으로 구성할 수 있는가?
• RQ2 Radon-Nikodym 도함수의 수준 집합이 $\mathcal{M} \times \mathcal{M}$ 에서 측정 가능하도록 보장할 수 있는가?
• RQ3 고전적 Hahn 분해를 매개변수화된 측도에 어떻게 적응시켜 측정 가능한 분해를 얻을 수 있는가?
• RQ4 매개변수화된 측도에 대해 Radon-Nikodym 도함수가 곱 시그마 대칭에 대해 측정 가능하도록 보장하는 조건은 무엇인가?
• RQ5 추상적 선택 정리에 의존하지 않고, 구성적인 측도론적 추론을 통해 도함수의 측정 가능성을 확립할 수 있는가?

주요 결과

• 매개변수화된 측도 $\mathcal{P}(\mu, \cdot) - r\mathcal{P}(\cdot)$ 에 대해 중첩된 집합 $X_m = \bigcap_{k \geq m} E_k$ 를 사용하여 구성적이고 측정 가능한 Hahn 분해가 확립된다.
• 결과적으로 형성된 집합 $S_r$ 는 $r < r'$ 일 때 $S_r \subset S_{r'}$ 를 만족하고 $\bigcup_r S_r = \mathcal{M} \times \mathcal{M}$ 를 만족하므로 공동 측정 가능성을 보장한다.
• 함수 $f(\mu, \nu) = \inf\{r : (\mu, \nu) \in S_r\}$ 는 $\mathfrak{M} \times \mathfrak{M}$-측정 가능한 Radon-Nikodym 도함수 $\frac{\mathcal{P}(\mu, d\nu)}{\mathcal{P}(d\nu)}$ 의 형태이다.
• 이 구성은 $\mathcal{P}(\mu, A) = \int_A f(\mu, \nu) \mathcal{P}(d\nu)$ 를 모든 $A \in \mathfrak{M}$ 에 대해 만족함으로써 도함수 성질을 확인한다.
• 측도 $\mu_x, \lambda_x$ 가 매개변수 $x$ 에 의해 매개변수화되고, 측도가 $x$ 에 대해 측정 가능하며, 공간이 가산 생성 대수를 갖는다면 이 방법은 일반적으로 적용 가능하다.
• 매개변수 공간이 Luzin 측정 가능 공간이고 측도가 가산 생성 대수를 갖는다는 가정 하에 도함수의 공동 측정 가능성은 유지된다.