[논문 리뷰] Notes on Measure and Integration

John Franks|ArXiv.org|2008. 02. 27.

Iterative Methods for Nonlinear Equations참고 문헌 4인용 수 4

한 줄 요약

이 논문은 실해석학을 배운 바 있는 학부생을 대상으로 르베그 적분에 대한 간결한 소개를 제공한다. 길이, 단조성, 가산덧셈, 이동불변성의 직관적 일반화를 통해 르베그 측도의 구성에 초점을 맞춘다. 보렐 집합과 영집합으로 생성된 $σ$-대각으로 생성된 $σ$-대각을 통해 르베그 측도의 존재성과 유일성을 보이며, 선택공리와 측도론적 모순을 이용해 르베그 가측 집합이 존재하지 않음을 증명한다.

ABSTRACT

This text grew out of notes I have used in teaching a one quarter course on integration at the advanced undergraduate level. My intent is to introduce the Lebesgue integral in a quick, and hopefully painless, way and then go on to investigate the standard convergence theorems and a brief introduction to the Hilbert space of $L^2$ functions on the interval. The actual construction of Lebesgue measure and proofs of its key properties are relegated to an appendix. Instead the text introduces Lebesgue measure as a generalization of the concept of length and motivates its key properties: monotonicity, countable additivity, and translation invariance.

연구 동기 및 목표

• 실해석학을 배운 고학부생을 대상으로 르베그 적분을 간결하고 접근하기 쉬운 방식으로 제시하기.
• 길이의 자연스러운 일반화로서 르베그 측도를 동치성, 가산덧셈, 이동불변성에 중점을 두고 동기를 부여하기.
• 보렐 집합과 영집합으로 생성된 $σ$-대각의 원소로 르베그 가측 집합을 정의하고, 르베그 측도의 존재성과 유일성을 확립하기.
• 선택공리와 측도론적 모순을 이용해 비가측 집합의 존재를 증명하여 측도 이론의 기본적 한계를 보여주기.

제안 방법

• 개념적 유사성을 도출하기 위해 먼저 조절적분과 리만적분을 복습한 후 르베그 적분을 도입한다.
• 르베그 측도를 형식적으로 구성하기 전에 주요 성질인 단조성, 가산덧셈, 이동불변성을 정의한다.
• 영집합(측도가 0인 집합)을 기반으로 보렐 집합과 영집합으로 생성된 $σ$-대각을 통해 가측 집합을 정의한다.
• 르베그 밀도 정리와 외측도의 성질을 적용하여 표준 정의와 대체 정의 사이의 동치성을 확립한다.
• 선택공리를 활용해 $\mathbb{R}$ 내 $\mathbb{Q}$의 각 동치류에서 한 원소씩 선택하여 $[0,1]$의 비가측 부분집합을 구성한다.
• 만약 그러한 집합이 가측이라면 그 유리수 이동으로 $[0,1]$을 덮을 수 있으나 총 측도는 0이 되어 $\mu([0,1]) = 1$과 모순됨을 보여 기각한다.

실험 결과

연구 질문

• RQ1 르베그 적분은 리만 적분을 일반화하면서도 기술적 전제 조건을 최소화하면서 어떻게 도입할 수 있는가?
• RQ2 길이의 일반화가 의미 있는 측도를 정의하기 위해 만족해야 할 최소한의 성질(단조성, 가산덧셈, 이동불변성)은 무엇인가?
• RQ3 왜 보렐 집합과 영집합으로 생성된 $σ$-대각이 르베그 측도의 적절한 정의역인가?
• RQ4 표준 집합 이론 내에서 비가측 집합을 구성할 수 있으며, 선택공리는 그러한 구성에서 어떤 역할을 하는가?
• RQ5 외측도를 통한 가측 집합 정의와 보렐 집합 및 영집합으로 생성된 $σ$-대각을 통한 구성 사이의 관계는 무엇인가?

주요 결과

• 보렐 집합과 영집합으로 생성된 $σ$-대각에서 르베그 측도는 존재하며 유일하며, 단조성, 가산덧셈, 이동불변성을 만족한다.
• 측도가 0인 모든 집합은 단조성 확장에 의해 반드시 측도 0을 가져야 하므로, 영집합을 가측 구조에 포함시키는 것이 타당하다.
• 르베그 밀도 정리에 따르면, 양의 측도를 가진 가측 집합 $A$의 차집합 $\Delta = \{x_1 - x_2 \mid x_1, x_2 \in A\}$은 0을 중심으로 열린 구간을 포함한다.
• 선택공리를 이용해 $\mathbb{Q}$의 각 동치류에서 한 원소씩 선택하여 $[0,1]$의 비가측 부분집합 $E$를 구성할 수 있다.
• 만약 그러한 집합 $E$가 가측이라면 그 유리수 이동은 $[0,1]$을 덮을 수 있으나 총 측도는 0이 되어 $\mu([0,1]) = 1$과 모순된다.
• 외측도 정의와 $σ$-대각 구성 간의 동치성은 부록 A에서 확립되어 기초 프레임워크를 검증한다.