[論文レビュー] Notes on Measure and Integration

John Franks|ArXiv.org|Feb 27, 2008

Iterative Methods for Nonlinear Equations参考文献 4被引用数 4

ひとこと要約

本稿は、長さ、単調性、可算加法性、平行移動不変性といった直感的な一般化を通じて、Lebesgue測度の構成を強調しながら、Lebesgue積分についての簡潔で、大学学部レベルの紹介を提供する。Lebesgue測度の存在と一意性は、Borel集合と零集合から生成される$σ$-代数を介して示され、選択公理と測度論的矛盾を用いて、Lebesgue可測集合が存在しないことを証明する。

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.

研究の動機と目的

• 実解析の背景を持つ上級学部生を対象に、Lebesgue積分を簡潔かつアクセス可能な形で提示すること。
• 単調性、可算加法性、平行移動不変性を強調することで、長さの自然な一般化としてLebesgue測度を動機づけること。
• Lebesgue可測集合をBorel集合と零集合から生成される$σ$-代数の要素として定義し、Lebesgue測度の存在と一意性を確立すること。
• 選択公理と測度論的矛盾を用いて非可測集合の存在を証明し、測度論における基礎的限界を示すこと。

提案手法

• 概念的類似性を引き出すために、最初に規制積分とRiemann積分を復習し、Lebesgue積分を導入する。
• 正式な構成は付録で行うが、事前に単調性、可算加法性、平行移動不変性といった主要な性質を通じてLebesgue測度を定義する。
• 零集合（測度ゼロの集合）を基盤として、Borel集合と零集合から生成される$σ$-代数を通じて可測集合を定義する。
• Lebesgue密度定理と外部測度の性質を適用し、標準的定義と代替的定義の可測集合の等価性を確立する。
• 選択公理を用いて、$\mathbb{R}$における$\mathbb{Q}$の各陪類から1つの代表元を選び、$[0,1]$の非可測部分集合を構成する。
• もしもそのような集合が可測であったならば、その有理数による平行移動が$[0,1]$を被覆するが、その総測度はゼロになるはずであり、これは$\mu([0,1]) = 1$に反する。

実験結果

リサーチクエスチョン

• RQ1 Lebesgue積分は、技術的要件を最小限に抑えると同時に、Riemann積分を一般化する形でどのように導入できるか？
• RQ2 長さの一般化として意味のある測度を定義するには、単調性、可算加法性、平行移動不変性といった最小限の性質が満たされる必要があるか？
• RQ3 なぜBorel集合と零集合から生成される$σ$-代数がLebesgue測度の適切な定義域となるのか？
• RQ4 標準的集合論の枠組み内で非可測集合を構成可能か？また、選択公理はその構成において果たす役割は何か？
• RQ5 外部測度による可測集合の定義と、Borel集合と零集合から生成される$σ$-代数による構成との関係は何か？

主な発見

• Borel集合と零集合から生成される$σ$-代数上では、Lebesgue測度が存在し、単調性、可算加法性、平行移動不変性を満たす一意的である。
• 測度ゼロの任意の集合は、長さの単調な拡張によっても常に測度ゼロに割り当てられるため、可測構造に零集合を含める正当性がある。
• Lebesgue密度定理より、可測集合$A$の測度が正であれば、その差集合$\Delta = \{x_1 - x_2 \mid x_1, x_2 \in A\}$はゼロの周囲に開区間を含む。
• $[0,1]$の非可測部分集合$E$が存在する。これは、選択公理を用いて$\mathbb{R}$における$\mathbb{Q}$の各陪類から1つずつ代表元を選び出すことで構成される。
• もしもそのような集合$E$が可測であったならば、その有理数による平行移動は$[0,1]$を被覆するが、その総測度はゼロになるはずであり、これは$\mu([0,1]) = 1$に反する。
• 付録Aで、外部測度による定義と$σ$-代数による構成との等価性が確立され、基礎的枠組みの妥当性が裏付けられる。