1 基本概念
测度论的出发点，是在集合上建立一种可用于分析“大小”的抽象框架。与几何中的长度、面积、体积相对应，测度论将这些直观概念推广到更一般的集合，并要求这种“大小”满足适当的代数与极限性质。围绕这一目标，集合族、σ-代数、测度与可测空间构成了最基础的语言。
1.1 集合与集合族
集合族是若干集合组成的整体，常用来描述一个论域中可以讨论的对象范围。在测度论中，并非任意集合都适合纳入同一理论框架，因此需要先选定一个对补集、并集和极限运算稳定的集合族，作为后续定义测度和积分的基础。
1.1.1 σ-代数
σ-代数是对可数并、补集运算封闭的集合族。若一个集合族包含全集，并且对补集与可数并保持封闭，则它也自动对可数交保持封闭。σ-代数的重要性在于，它提供了一个足够稳定的“可讨论集合”范围，使得极限过程中的集合操作不会脱离原有体系。
1.1.2 单调类与 Dynkin 系统
单调类指对单调递增并和单调递减交保持封闭的集合族。Dynkin 系统则是另一类常用于生成论证的集合族，它对全集、补集以及两两不交并封闭。二者常与σ-代数一起使用，在证明“由某些基本集合生成整个可测结构”时，起到简化推导的作用。
1.2 测度的定义
测度是把集合映射到数值的函数，用来表示集合的大小。它通常赋予空集零值，并要求对相互不交的集合族具有可数可加性。测度可以取有限值，也可以取扩展实数值，从而适应无穷大集合或无限总量的情形。
1.2.1 可数可加性
可数可加性是测度最关键的公理之一：若一列集合两两不交，则其并集的测度等于各集合测度之和。这个性质使测度能够与极限过程兼容，也是积分理论成立的基础。它比有限可加性更强，足以处理由可数多个局部部分拼接而成的对象。
1.2.2 非负性与扩展实数值测度
测度通常要求非负，因为“大小”不宜出现负值。为了容纳无界情形，测度常取扩展实数值，即允许结果为无穷大。这样的设置在理论上更加灵活，也方便描述整个空间的总测度可能无限的情形，例如实数轴上的 Lebesgue 测度。
1.3 可测空间
可测空间由一个集合与其上的σ-代数组成。它并不直接指定具体的测度值，而是先规定哪些子集是“可测的”。这样做的好处是可以在同一可测结构上讨论不同类型的测度，从而形成统一的分析语言。
1.3.1 可测空间的构造
可测空间通常从一个给定集合出发，再选取一族满足σ-代数条件的子集作为可测集合。构造方法可以来自几何直观，也可以来自某些函数族或拓扑结构。只要这族集合对基本集合运算稳定，就可以作为可测空间的结构基础。
1.3.2 最小σ-代数与生成族
给定一组集合后，往往希望找到包含它们的最小σ-代数，这称为由该集合族生成的σ-代数。生成族是构造可测空间的重要工具，例如开区间族可生成实数上的 Borel σ-代数。该方法把“少量原始信息”扩展为完整的可测框架。
2 外测度与可测性
外测度是测度论中的中介性概念，它先在所有子集上给出一个“上界式”的大小函数，再借助可测性判据筛选出真正可测的集合。这样做的目的，是从较粗糙的几何覆盖出发，逐步构建严格的测度结构。
2.1 外测度的定义
外测度通常满足空集取零、单调性以及可数次亚可加性。与一般测度不同，它不要求在所有集合上可数可加，而是先提供一个较宽松的大小估计。常见的构造方式是用简单集合覆盖目标集合，并取这些覆盖的“最小代价”。
2.1.1 外测度的基本性质
外测度具有单调性：若一个集合包含于另一个集合，则其外测度不超过后者。它还满足可数亚可加性，即并集的外测度不大于各部分外测度之和。这些性质使外测度能够稳定地控制复杂集合的大小。
2.1.2 Carathéodory 可测性判据
Carathéodory 判据给出一种识别可测集的方法：若一个集合能够把任意集合的外测度精确分解为其与补集部分的外测度之和，则它是可测的。该判据把“可测性”转化为外测度的分割性质，是从外测度生成测度的核心工具。
2.2 可测集的刻画
可测集不仅要在形式上属于某个σ-代数，还应与测度计算的极限结构相容。对于由外测度导出的体系，可测集往往具备较好的分解性质，能够保证集合运算和极限过程不破坏测度的一致性。
2.2.1 与外测度的关系
在外测度框架下，可测集可被视为那些能与任意集合“无缝切割”的集合。它们使外测度在集合内部与外部的估计恰好相接，从而实现从粗到精的过渡。借助这种关系，外测度可被限制到可测集上，形成真正的测度。
2.2.2 完备性与零测集
零测集是测度为零的集合，其任意子集在完备测度空间中也应可测并具有零测度，这称为完备性。完备化的作用，是把那些在分析中“可以忽略”的集合全部纳入可测范围，避免在极限与积分中出现遗漏。
2.3 测度的延拓
测度延拓指从较小的集合族或初始定义出发，把测度一致地扩展到更大的σ-代数。这个过程常见于从区间长度出发构造 Lebesgue 测度，也广泛用于由代数、半环或前测度出发建立完整测度。
2.3.1 从前测度到测度
前测度通常定义在较小的集合族上，并满足有限或可数可加的初步要求。若它在适当条件下具有一致性，就可以通过扩展过程生成更大的测度。这个步骤是连接“局部定义”与“全局理论”的关键环节。
2.3.2 延拓定理
延拓定理说明，在一定条件下，定义于初始集合族上的前测度可以扩张为更大σ-代数上的测度，并且这种扩张在自然意义下通常是唯一的。该定理为从几何直观构造严密测度提供了理论保证。
3 经典测度
经典测度来源于几何和离散结构，是测度论中最直观的实例。通过这些模型，可以直观看出抽象定义如何对应于“长度”“个数”与“空间占据量”等概念。
3.1 Lebesgue 测度
Lebesgue 测度是实分析中的核心测度，用来推广区间长度并处理更一般的实数集合。它对平移保持不变，并与 Lebesgue 可测集相结合，构成现代积分理论的基础。
3.1.1 区间长度与平移不变性
在一维情形下，Lebesgue 测度与普通区间长度一致。其重要特征之一是平移不变性：集合整体平移后，测度保持不变。这一性质符合长度的几何直觉，也使其在分析中具有强大的稳定性。
3.1.2 Lebesgue 可测集
Lebesgue 可测集构成实数线上最重要的一类可测集合。它们包含开集、闭集以及通过可数运算得到的大量集合，并且足以支撑积分、极限与几乎处处等概念的严密讨论。
3.2 计数测度与离散测度
计数测度是最简单的测度之一，它直接以集合中元素的个数作为测度值。离散测度则是在此基础上加入权重，使每个点或每个原子集合获得指定大小，适合处理离散结构和加权对象。
3.2.1 有限集合上的测度
在有限集合上，测度常与元素个数直接对应，因而十分直观。每个子集都可被准确计量，积分也常退化为有限求和。这类情形常用作理解抽象测度概念的入门模型。
3.2.2 可数集合上的测度
在可数集合上，计数测度仍然自然适用，而离散测度则允许每个点赋予不同权值。这样可以把离散系统中的加总过程纳入统一框架，例如对可数状态空间上的函数进行求和型积分。
3.3 几何测度的直观模型
几何测度强调测度与空间形状之间的联系。虽然现代测度论并不局限于欧几里得几何，但面积、体积、长度等直观量仍然是理解抽象定义的重要入口。
3.3.1 面积与体积
面积和体积可以看作二维与三维空间中的测度实例。通过对矩形、长方体等简单区域的测量并推广到复杂集合，测度论将传统几何计算纳入统一的可加框架。
3.3.2 长度与维数
长度是最基础的一维几何测度，而维数则反映对象所处空间的复杂程度。尽管测度不直接等同于维数，但不同维度上的测度类型常呈现不同的几何行为，这为后续的分形与高维分析提供了直观背景。
4 可测函数
可测函数是测度论中的核心对象之一。它们把可测空间中的集合结构与数值分析联系起来，使积分、极限与函数空间的讨论能够在统一的语境中进行。
4.1 可测性的定义
函数的可测性可以通过原像来定义：若数值空间中的适当集合经函数映射后的原像仍可测，则该函数可测。这个定义与拓扑中的连续性在形式上相似，但它针对的是σ-代数结构而非开集结构。
4.1.1 原像法则
原像法则是判定可测性的基本方式。通常只需检查函数对某类生成集合的原像是否可测，便可推出对更大集合族的可测性。此法大大降低了验证难度，也便于处理分段函数和极限函数。
4.1.2 逐点运算与可测性保持
可测函数在加、减、乘、取极限等逐点运算下，往往仍保持可测性，只要运算本身在数值空间中定义良好。这个性质使得可测函数族具有良好的代数封闭性，能够构成后续积分与函数空间理论的基础。
4.2 简单函数
简单函数只取有限多个值，且每个取值对应的原像是可测集。它们在测度论中扮演“近似积木”的角色，常被用来构造和逼近一般可测函数。
4.2.1 简单函数的表示
简单函数可以写成若干个可测集指示函数的有限线性组合。由于这种表示形式清晰，积分可以先在简单函数上定义，再逐步推广到更复杂的可测函数。它是理解 Lebesgue 积分的重要中间步骤。
4.2.2 简单函数逼近
许多非负可测函数都可以由简单函数从下方逐步逼近。通过构造递增的简单函数列，可以把复杂函数的积分问题化为有限求和的极限问题。这种逼近方式是测度论中最具代表性的构造手段之一。
4.3 几乎处处
“几乎处处”是测度论中的重要表述，用来说明某个性质除了一个零测集外在其余地方都成立。它比逐点陈述更符合积分与极限理论的实际需要，因为零测集通常不会影响积分值。
4.3.1 零测集上的修改
可测函数若只在零测集上被修改，通常不会改变其积分性质和几乎处处性质。正因如此，分析中常把函数视为“在几乎处处意义下相同”，从而忽略对整体结果无影响的局部异常。
4.3.2 几乎处处收敛
函数列若除去一个零测集后在每点都收敛，就称为几乎处处收敛。它是比点态收敛更适合测度论的极限概念，但仍需要与控制收敛、依测度收敛等其他模式配合使用，才能得到完整的理论图景。
5 Lebesgue 积分
Lebesgue 积分是测度论的核心成果之一。它通过“先测量取值集合，再累加贡献”的思路，克服了传统黎曼积分在处理复杂函数与极限过程时的局限，尤其适合处理广泛的可测函数。
5.1 非负函数的积分
对非负可测函数，Lebesgue 积分可先通过简单函数的上确界来定义。由于函数始终非负，积分值不会因正负抵消而引入歧义，因此构造过程较为自然。
5.1.1 上确界定义法
上确界定义法将非负函数的积分解释为所有不超过该函数的简单函数积分的上确界。这样定义出的积分与直观上的“面积累积”一致，同时便于证明单调性和极限交换性质。
5.1.2 单调收敛定理
单调收敛定理说明，若非负可测函数列单调递增，则其积分的极限等于极限函数的积分。该定理是 Lebesgue 理论中最基础的极限工具之一，常用于把逼近过程与积分运算联系起来。
5.2 一般可积函数
对于可能取正负值的函数，需要先将其分解为正部分与负部分，再分别讨论积分。只有当正负两部分都能控制住时，函数的积分才有意义。
5.2.1 正负部分分解
任意实值函数都可写成正部分减负部分，其中两部分均为非负函数。通过分别对这两部分积分，可以定义一般函数的积分，只要不会出现“无穷减无穷”的不定型情况。
5.2.2 可积性判定
函数是否可积，通常取决于其绝对值是否具有有限积分，或者正负部分是否都有限。这个判定标准使得可积函数类具备良好的稳定性，并保证许多重要的极限与交换积分运算合法。
5.3 积分的基本性质
Lebesgue 积分具有与线性代数相协调的多种性质，例如线性、单调性和可加性。这些性质使积分成为一个兼具代数结构与极限结构的运算。
5.3.1 线性性质
积分对加法与数乘满足线性关系，即和的积分等于积分的和，常数倍函数的积分等于常数倍积分。这一性质是构造函数空间和证明各种不等式的基本工具。
5.3.2 单调性与可加性
若一个函数处处不大于另一个函数，则其积分也不大于后者。对定义域相互分离的可测部分，积分具有可加性。这些性质与测度的结构相互呼应，反映了“大小”概念的自然一致性。
5.3.3 控制收敛定理
控制收敛定理是 Lebesgue 积分的核心定理之一：若函数列几乎处处收敛，并且被某个可积函数控制，则其积分可与极限交换。它在分析中极为常用，尤其适合处理逐点极限下的积分稳定性问题。
6 收敛定理与极限理论
测度论的突出优势在于能够系统处理多种收敛方式，并精确说明在何种条件下可以把极限与积分交换。这一部分构成现代分析中最常用的技术基础之一。
6.1 交换极限与积分
极限和积分的交换并非总是成立，必须满足适当条件。Fatou 引理、单调收敛定理与控制收敛定理共同构成判断这类交换合法性的基本工具箱。
6.1.1 Fatou 引理
Fatou 引理给出了下极限与积分之间的基本不等式，常用于从函数列的局部信息推出极限函数的积分下界。它是证明更强收敛定理的重要中介。
6.1.2 单调收敛定理
单调收敛定理已在前文出现，它在极限理论中地位极高。只要函数列单调递增且非负，就能安全地把极限与积分交换，这一点在构造论证中非常方便。
6.1.3 控制收敛定理
控制收敛定理适用于更一般的情形：函数列不必单调，只要被某个可积函数统一控制，并满足适当的收敛条件，就可以交换极限和积分。它是实分析和概率论中的常用结论。
6.2 收敛模式
测度论区别多种收敛方式，它们在强弱程度上并不相同。理解这些模式之间的差异，是掌握现代分析技术的重要前提。
6.2.1 点态收敛
点态收敛要求每个点上的函数值序列都趋于某个极限函数。它是最直接的收敛概念，但对积分和测度结构的控制能力较弱，因此常需要结合其他条件使用。
6.2.2 几乎处处收敛
几乎处处收敛比点态收敛更适合测度论，因为它允许忽略一个零测集。许多重要定理都以它作为极限结论的形式之一，尤其在随机变量序列和函数逼近中十分常见。
6.2.3 依测度收敛
依测度收敛描述的是函数偏离极限函数的集合测度趋于零。它比几乎处处收敛更“整体化”，经常用于概率论和泛函分析中的弱收敛讨论。
6.3 收敛关系
不同收敛概念之间存在一系列蕴含和非蕴含关系。掌握这些联系，有助于判断某个极限结论能否用于积分交换或空间收敛分析。
6.3.1 各类收敛之间的联系
在适当条件下，几乎处处收敛可推出依测度收敛；若再附加一致控制或可积性条件，还可进一步得到积分收敛。不同空间和测度结构下，这些关系会呈现不同的强弱层级。
6.3.2 反例与边界条件
收敛理论中的反例说明，许多直觉结论若缺少关键假设便会失效。例如，仅有逐点收敛并不足以保证积分收敛。边界条件的分析提醒人们：测度论中的定理往往依赖精确的可积性或控制性假设。
7 测度空间的结构
在具体测度之外，测度空间本身也具有重要结构性质。完备性、σ-有限性与正则性等条件，常决定理论是否易于使用、是否适合与其他分析工具结合。
7.1 完备测度空间
完备测度空间要求所有零测集的子集都可测。这一性质避免了大量技术性漏洞，使“忽略零测集”这一习惯获得严格基础。
7.1.1 完备化
完备化是把原有测度空间扩充为完备测度空间的过程。它通过加入零测集的所有子集，使原体系在测度意义下更完整，便于处理几乎处处性质和极限论证。
7.1.2 零测集的补集与子集
零测集本身虽然测度为零，但其补集往往承载全部主要信息。零测集的任意子集在完备空间中也应可测，这样才能确保分析中对“例外集”的处理一致可靠。
7.2 σ-有限测度
σ-有限性表示整个空间可被可数多个有限测度集合覆盖。这个条件虽然比有限测度宽松得多，但足以支持许多重要定理，尤其在乘积测度与积分理论中常常必不可少。
7.2.1 σ-有限性的意义
σ-有限性使大空间可以分解为若干可控的局部部分，从而把许多无限情形化约为有限情形处理。它是测度论中最常见、也最有用的技术条件之一。
7.2.2 常见例子与性质
实数上的 Lebesgue 测度就是 σ-有限的，因为实线可由一列有限长度区间覆盖。计数测度在可数集上也常具有 σ-有限性。这些例子表明，σ-有限结构在离散和连续两类场景中都很自然。
7.3 正则性
正则性描述测度与拓扑结构之间的协调程度。它说明集合的测度可由开集、紧集等更规则的集合逼近，从而增强理论的几何可理解性。
7.3.1 外正则性
外正则性指集合的测度可由包含它的开集测度从外侧逼近。这意味着复杂集合的大小可以用较规则的外部环境来估计，便于在拓扑与分析之间建立联系。
7.3.2 内正则性
内正则性则要求集合的测度可由其内部的紧集或较紧致集合从内侧逼近。它与外正则性配合，构成对测度结构的双向刻画，常见于 Radon 型测度中。
8 乘积测度与 Fubini 理论
当讨论多个变量时，单一测度空间不再足够，需要建立乘积空间上的测度结构。乘积测度与 Fubini 理论解决的正是多重积分的严格化问题。
8.1 乘积σ-代数
乘积σ-代数由两个或多个可测空间的矩形集族生成。它提供了在多维空间中定义可测集合的自然方式，使多变量函数的可测性和积分成为可能。
8.1.1 矩形集族
矩形集族是指由各坐标空间中可测集取笛卡儿积得到的集合族。它们通常作为生成乘积σ-代数的基本块，类似于一维情形中的区间族。
8.1.2 生成乘积空间
通过对矩形集族取生成σ-代数，可以得到乘积可测空间。这个结构是多变量分析的标准舞台，也是定义乘积测度和迭代积分的起点。
8.2 乘积测度
乘积测度把两个测度空间的测度结合为一个更高维空间上的测度。它对矩形集满足测度乘积关系，并在适当条件下具有存在性和唯一性。
8.2.1 定义与存在性
乘积测度通常先在矩形上定义为各边测度的乘积，再通过延拓方法扩展到整个乘积σ-代数。其存在性依赖一定的可测性与σ-有限条件。
8.2.2 交换次序与唯一性
在合理条件下，乘积测度对坐标顺序不敏感，体现出对称性。唯一性则保证了按不同方式构造出的测度在一致条件下实质相同，这为多重积分的稳定性提供了保证。
8.3 Fubini 定理
Fubini 定理说明，在适当可积条件下，多重积分可以分解为迭代积分。它是计算高维积分和证明积分交换次序合法性的核心结果。
8.3.1 Tonelli 定理
Tonelli 定理处理非负可测函数的情形，允许在更宽松的条件下交换积分次序。由于被积函数非负，积分的分解更加稳妥，也更易于应用。
8.3.2 迭代积分
迭代积分是把多维积分写成一层层的一维积分。Fubini 理论保证，在满足可积性条件时，这种计算方式与直接在乘积空间上积分一致。
9 测度论中的函数空间
测度论不仅研究函数的可测性与积分，也由此构造出一系列重要的函数空间。Lp 空间是其中最典型的一类，它把“函数的大小”与“平均意义下的可积程度”结合起来。
9.1 Lp 空间
Lp 空间由满足 p 次可积条件的函数组成。不同的 p 值对应不同的控制强度，因而在分析中承担不同角色。
9.1.1 L1 与 L2 空间
L1 空间由绝对可积函数构成，适合讨论积分意义上的总量。L2 空间则与平方可积函数相关，具有更强的几何结构，常与内积、正交和 Fourier 分析联系紧密。
9.1.2 一般 Lp 空间
对任意 p≥1，都可以定义 Lp 空间来描述 p 次可积函数。随着 p 的变化，函数空间的性质也随之改变，但它们都建立在测度和积分的统一框架之上。
9.2 范数与完备性
Lp 空间通过范数度量函数之间的距离，进而形成完备的赋范空间。完备性意味着 Cauchy 列在空间内收敛，这对极限方法极其重要。
9.2.1 Minkowski 不等式
Minkowski 不等式是 Lp 空间中的三角不等式版本，说明函数和的范数不超过范数之和。它保证了 Lp 范数的几何合理性，是证明空间完备性的关键工具。
9.2.2 Hölder 不等式
Hölder 不等式给出了不同幂次可积函数乘积的估计，是处理积分上界的基本手段。它与 Minkowski 不等式一起，构成 Lp 理论的两大核心不等式。
9.3 典型应用
Lp 空间和相关不等式在现代分析中用途极广，尤其在信号分析、泛函分析与偏微分方程中占据基础地位。
9.3.1 Fourier 分析中的作用
在 Fourier 分析里，L2 空间提供了自然的能量框架，使频率分解与正交展开能够严格进行。积分与范数的结合，使许多信号处理问题具有清晰的数学表达。
9.3.2 泛函分析基础
泛函分析研究函数空间及其上的线性算子，而测度论提供了其中最常见的函数空间模型。Lp 空间、可积函数与弱收敛等概念，都是泛函分析的重要组成部分。
10 进一步专题
在基础测度论之外，还有若干面向更广泛数学结构的专题。这些方向把测度论与拓扑、群论、概率论及现代分析深度连接起来。
10.1 Radon 测度
Radon 测度通常定义在局部紧空间上，并兼具较好的正则性。它在处理拓扑空间上的积分和分布时非常有用，是几何分析和表示理论中的重要工具。
10.1.1 局部紧空间上的测度
在局部紧空间中，Radon 测度能够通过紧集和开集进行良好逼近。这样的结构使得它既保留了测度的可加性，又兼顾拓扑空间中的局部性质。
10.1.2 Haar 测度的思想
Haar 测度体现了群上的平移不变性思想。它使得在局部紧群上可以进行统一的积分与平均运算，是抽象代数结构与分析结合的典型例子。
10.2 概率论中的测度
概率论可以被视为测度论的一个特殊分支，其中总测度等于 1。通过这种观点，随机事件、随机变量和分布都能以统一方式表达。
10.2.1 概率空间
概率空间由样本空间、事件σ-代数和概率测度组成。它把“事件发生的可能性”严格地表述为测度值，从而为随机过程和统计模型奠定基础。
10.2.2 随机变量与分布测度
随机变量本质上是从概率空间到数值空间的可测函数。其分布测度描述随机变量取值的概率结构，把随机现象转化为可测函数和测度之间的关系。
10.3 测度论与现代分析
测度论在现代分析中几乎无处不在，尤其在处理极限、变分和方程问题时，常作为最基础的语言和工具。
10.3.1 变分法中的应用
变分法研究泛函的极值问题，常需要在函数空间中控制收敛、紧性和可积性。测度论为这些讨论提供了严密的框架，尤其适合处理弱极限与下半连续性。
10.3.2 偏微分方程中的应用
偏微分方程常涉及解的存在性、正则性与能量估计，而这些问题往往依赖积分与函数空间工具。测度论使得弱解、分布解和能量空间的理论得以系统建立。