Real Analysis 实分析总结与索引

实分析的核心思想

  1. 测度的构造：从简单的集合系通过 Carathéodory 条件构造完备的测度空间
  2. 积分的建立：通过简单函数逼近，建立 Lebesgue 积分理论
  3. 极限的交换：三大收敛定理（MCT、Fatou、DCT）提供极限交换的充分条件
  4. 空间的完备化：$L^p$ 空间的完备性为泛函分析奠定基础
  5. 微分的推广：Radon-Nikodym 定理和微积分基本定理推广微分理论
  6. 几何的推广：Hausdorff 测度推广测度概念到任意维数
  7. 对偶的理论：Riesz 表示定理建立函数空间与测度空间的对偶关系

逻辑联系图

集合系 → σ-代数 → 测度 → Lebesgue测度
    ↓
可测函数 → 简单函数逼近 → Lebesgue积分
    ↓
收敛定理 → Tonelli-Fubini → Lp空间
    ↓
对偶空间 → Riesz表示定理 → Radon-Nikodym
    ↓
微分定理 → 微积分基本定理 → Hausdorff测度
    ↓
几何测度论 → 拓扑空间测度

重要定理排序

基石性定理（最核心）：

  1. Carathéodory 测度构造定理
  2. 三大收敛定理（MCT、Fatou、DCT）
  3. Tonelli-Fubini 定理
  4. Radon-Nikodym 定理
  5. Riesz 表示定理
  6. 微积分基本定理

技术性定理（重要但依赖上述）：

  1. Egorov 定理
  2. Riesz 定理（依测度收敛提取子列）
  3. Riesz-Fischer 定理（完备性）
  4. Vitali 覆盖定理
  5. Lusin 定理

推广性定理（理论的高潮）：

  1. Riesz-Thorin 插值定理
  2. Area 公式和 Co-Area 公式
  3. 等直径不等式
  4. Steinhaus 定理

学习建议

  1. 第一遍：理解测度和积分的定义，掌握三大收敛定理
  2. 第二遍：深入 $L^p$ 空间和对偶理论，理解 Riesz 表示定理
  3. 第三遍：学习微分理论和 Hausdorff 测度，体会几何应用
  4. 复习阶段：通过本提纲的系统回顾，建立完整的知识体系

典型问题

测度论：

  • Carathéodory 条件的意义？
  • 为什么要 σ-有限？
  • Lebesgue 测度的唯一性如何证明？

积分论：

  • MCT、Fatou、DCT 的区别和联系？
  • 什么时候极限和积分可以交换？
  • Tonelli 和 Fubini 的区别？

函数空间：

  • $L^1$ 和 $L^\infty$ 为什么不自反？
  • 为什么 $C_c^\infty$ 在 $L^p$ 中稠密？
  • 弱收敛和强收敛的关系？

微分理论：

  • Radon-Nikodym 导数的直观意义？
  • 绝对连续函数的刻画？
  • 微积分基本定理的推广？

几何测度论：

  • Hausdorff 维数的直观意义？
  • Area 公式的几何解释？
  • 等直径不等式的应用？

提纲完成时间：2026年1月8日 覆盖文件数：130+ Markdown 文件 总字数：约 20,000 字 适用场景：实分析课程复习、考研复习、学术研究参考

附录：重要概念索引

A

  • 绝对连续（Absolute Continuity）：测度和函数的双重概念
  • Area 公式：几何测度论的核心定理
  • 几乎处处（Almost Everywhere）：测度论中的”零测集例外”

B

  • Banach 空间：$L^p$ 空间的完备性
  • Borel 代数：由开集生成的 σ-代数
  • 不等式体系：Young → Hölder → Minkowski

C

  • Carathéodory 条件：测度构造的核心
  • Co-Area 公式：Area 公式的对偶形式
  • 卷积：函数空间的平滑工具

D

  • Dini 导数：单调函数的广义导数
  • DCT：控制收敛定理
  • 对偶空间：$L^p$ 和 $L^q$ 的对偶关系

E

  • Egorov 定理：a.e. 收敛 → 近一致收敛
  • 外测度：测度构造的第一步

F

  • Fatou 引理：下极限的积分不等式
  • Fubini 定理：积分交换次序
  • 符号测度：可取负值的测度

G

  • 规范表示：简单函数的标准形式
  • 共轭指标：$\frac{1}{p} + \frac{1}{q} = 1$

H

  • Hahn 分解：符号测度的正负部分
  • Hausdorff 测度：任意维数的测度
  • Hausdorff 维数：分形集合的维数
  • Hölder 不等式：积分估计的基础
  • Hardy-Littlewood 极大函数：微分理论的工具

J

  • Jordan 分解：有界变差函数的分解
  • 积空间：乘积测度的载体

L

  • Lusin 定理：可测函数的连续逼近
  • Lebesgue 测度：最重要的具体测度
  • Lebesgue 点：微分定理的概念
  • Lipschitz 映射：Hausdorff 测度下的性质
  • Littlewood 三原则：可测性的逼近性质

M

  • MCT：单调收敛定理
  • Minkowski 不等式：三角不等式
  • 完备性：Cauchy 列收敛

N

  • 内正则/外正则：测度的逼近性质
  • Newton-Leibniz 公式：微积分基本定理

R

  • Radon 测度：拓扑空间上的正则测度
  • Radon-Nikodym 定理：测度的密度表示
  • Radon-Nikodym 导数：$d\nu/d\mu$
  • Riesz 表示定理：对偶关系的核心
  • Riesz 日出引理：微分理论的工具
  • Riesz-Fischer 定理：完备性定理
  • Riesz 定理：依测度收敛提取子列
  • Riesz-Thorin 插值定理：算子插值

S

  • σ-代数：可数集合运算封闭
  • σ-有限：可数个有限测度集覆盖
  • Steinhaus 定理：正测度集的差集性质
  • Steiner 对称化：等直径不等式的工具
  • 阶梯函数：可测函数的逼近

T

  • Tonelli 定理：非负函数的积分交换
  • 拓扑空间测度：连续函数与测度的联系

V

  • Vitali 覆盖定理：微分理论的覆盖引理
  • Vitali 集：不可测集的例子

W

  • 完备化：将零测集的子集加入 σ-代数
  • 弱收敛：按对偶空间元素收敛
  • 弱*收敛：对偶空间序列的收敛
Written on January 8, 2026