∑

数学知识体系

Observatory Archive of Mathematics
⌕2026/8/31
知识要点 · 大学数学

实变函数

数学专业 · 本科阶段

勒贝格测度与勒贝格积分、可测函数、L^p 空间，现代分析的基石。

实变函数论是「重新审视微积分」的课程：黎曼积分对极限运算不够友好，勒贝格通过改造「测度」与「积分」的概念，使积分与极限可以自由交换顺序，从而支撑泛函分析与概率论的公理化。它是数学分析向现代分析跃迁的关键一步。

§ 01

勒贝格测度

从区间长度出发，用「外测度+可测性」构造勒贝格测度：m∗m^* 对任意集合定义，可测集满足卡拉泰奥多里条件。核心性质：可数可加性、单调性、平移不变性；可测集远多于开集闭集生成的博雷尔集。零测集、几乎处处（a.e.）的概念贯穿全课。
§ 02

可测函数

可测函数是连续函数的推广：特征函数可测、简单函数可测，可测函数可被简单函数逼近。卢津定理揭示可测函数「几乎连续」的本质；依测度收敛与几乎处处收敛的关系（黎斯定理、叶戈罗夫定理）是本章难点。
§ 03

勒贝格积分

积分按「分割值域」而非「分割定义域」定义：简单函数积分为 ∑aim(Ei)\sum a_i m(E_i)，一般函数取上确界。勒贝格积分绝对可积即收敛，克服了黎曼积分的病态。三大收敛定理——勒维单调收敛定理、法图引理、勒贝格控制收敛定理——是「积分与极限可交换」的根基。
§ 04

L^p 空间

LpL^p 空间（1≤p<∞1\le p<\infty）与 L∞L^\infty 空间是完备的赋范线性空间（黎斯-费希尔定理），其上赫尔德不等式、闵可夫斯基不等式刻画范数关系。L2L^2 是希尔伯特空间，为傅里叶分析、量子力学提供舞台；LpL^p 空间理论是泛函分析的第一批「实在例子」。

核心公式速查

勒贝格积分∫Ef dm=sup⁡{∑iaim(Ei): ∑iaiχEi≤f}\int_E f\,dm=\sup\left\{\sum_i a_i m(E_i):\ \sum_i a_i\chi_{E_i}\le f\right\}
赫尔德不等式∥fg∥1≤∥f∥p∥g∥q, 1p+1q=1\|fg\|_1\le\|f\|_p\|g\|_q,\ \dfrac{1}{p}+\dfrac{1}{q}=1
控制收敛定理fn→f a.e., ∣fn∣≤g∈L1⇒∫fn→∫ff_n\to f\ \text{a.e.},\ |f_n|\le g\in L^1\Rightarrow\int f_n\to\int f

学习建议与易错点

  • 「几乎处处」的思想要尽早建立：改变零测集上的取值不影响积分与可测性，很多反例只需在零测集上做手脚。
  • 三大收敛定理各有适用场景：单调非负用勒维，一般情形先试控制收敛，找不到控制函数用法图引理。
  • LpL^p 中柯西列完备与依范数收敛的等价性是黎斯-费希尔定理，注意与「依测度收敛」的区别。
  • 做题先分清对象是集合（测度论）还是函数（积分论），两类技巧不可混用。