测度论

测度论 (Measure Theory)

测度论是数学分析核心分支→为积分理论/概率论/泛函分析提供严谨基础。推广长度/面积/体积→系统化为集合"大小"赋数值→构建比黎曼积分更强大的勒贝格积分。

动机：黎曼积分的局限

黎曼积分需函数不能有太多不连续点（狄利克雷函数有理点1无理点0→任何区间不可积）。极限与积分交换需苛刻条件（如一致收敛）→限傅里叶分析和偏微分方程应用。测度论克服此→提供更强积分框架。

三大核心概念

σ-代数 $\mathcal{F}$：X的一族子集满足①$X\in\mathcal{F}$②补封闭③可数并封闭。不能直接测X全子集（巴拿赫-塔斯基悖论/维塔利集）→$(X,\mathcal{F})$为可测空间。关键例：博雷尔σ-代数$\mathcal{B}(\mathbb{R})$→含所有开区间的最小σ-代数。

测度 $\mu:\mathcal{F}\to[0,\infty]$：满足①$\mu(\emptyset)=0$非负②可数可加性（互不相交集的可数并测度=测度之和）→与极限运算兼容。

测度空间 $(X,\mathcal{F},\mu)$：典范勒贝格测度空间$(\mathbb{R},\mathcal{L},m)$→$\mathcal{L}$为勒贝格可测集σ-代数→m将区间(a,b)的测度定义为长度b-a。

勒贝格积分

核心区别：黎曼分定义域→勒贝格分值域。

可测函数：$f:X\to\mathbb{R}$→若任意博雷尔集原像$\in\mathcal{F}$→实值可测函数。构造三阶：①简单函数$s=\sum a_i\mathbf{1}_{A_i}$→$\int s d\mu=\sum a_i\mu(A_i)$。②非负可测→$\int f d\mu=\sup\{\int s d\mu:0\le s\le f\}$。③一般→分解$f=f^+-f^-$→$\int f=\int f^+-\int f^-$（正负部积分均有限则勒贝格可积）。

强大收敛定理：单调收敛定理（非负逐点递增→极限积分=积分极限）；控制收敛定理（逐点收敛+存在可积控制函数→极限积分=积分极限）→现代数学分析基石→普遍条件下交换极限和积分。

应用

概率论：概率空间$(\Omega,\mathcal{F},P)$即总测度1的测度空间→随机变量=可测函数→数学期望=勒贝格积分。泛函分析：Lp空间（p次方可积函数→依控制收敛定理形成巴拿赫空间→微分方程和傅里叶分析关键）。调和分析/偏微分方程：弱解涉及积分形式→勒贝格积分性质为标准工具。