[论文解读] Notes on Measure and Integration

John Franks|ArXiv.org|Feb 27, 2008

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,1]中构造一个不可测子集。
• 通过导出矛盾证明：若该集合可测，则其有理数平移将覆盖[0,1]，但总测度为零，与μ([0,1]) = 1矛盾。

实验结果

研究问题

• RQ1 如何在最小化技术前提的条件下，以一种推广黎曼积分的方式引入勒贝格积分？
• RQ2 作为长度的推广，必须满足哪些最小性质（单调性、可数可加性、平移不变性）才能定义一个有意义的测度？
• RQ3 为何由博雷尔集与零集生成的σ-代数是勒贝格测度的合适定义域？
• RQ4 在标准集合论中能否构造出一个不可测集？选择公理在此类构造中起到什么作用？
• RQ5 外测度定义的可测集与通过博雷尔集和零集生成的σ-代数构造的可测集之间有何关系？

主要发现

• 勒贝格测度在由博雷尔集与零集生成的σ-代数上存在且唯一，满足单调性、可数可加性和平移不变性。
• 任何测度为零的集合都必须被任何单调的长度延拓赋予零测度，这为在可测结构中包含零集提供了合理性。
• 勒贝格密度定理表明：若一个可测集A的测度为正，则其差集Δ = {x₁ - x₂ | x₁, x₂ ∈ A}在零点附近包含一个开区间。
• 存在一个[0,1]的不可测子集E，通过选择公理从ℝ中ℚ的每个陪集里各选一个元素来构造。
• 若该集合E可测，则其有理数平移将覆盖[0,1]，但总测度为零，与μ([0,1]) = 1矛盾。
• 附录A中建立了外测度定义与通过博雷尔集和零集生成的σ-代数构造可测集之间的等价性，从而验证了基础框架的合理性。