徐+第1章 集合运算、集合的势、集类
第1章 集合运算、集合的势、集类 知识点详解
一、集合的基本概念
1. 集合与元素
- 定义：具有某种特定性质的具体或抽象对象的全体称为集合（简称集），其中每个对象称为该集合的元素（或点、成员）。
- 表示：大写字母\(A,B,X,Y,\cdots\)表示集合，小写字母\(a,b,x,y,\cdots\)表示元素。
- 属于关系：
- \(x\in X\)：\(x\)是\(X\)的元素，读作“\(x\)属于\(X\)”
- \(x\notin X\)：\(x\)不是\(X\)的元素，读作“\(x\)不属于\(X\)”
- 排中律：对任意元素\(x\)和集合\(X\)，\(x\in X\)与\(x\notin X\)二者必居其一且仅居其一，这是经典集合论的基本公理。
2. 集合的表示方法
- 列举法（穷举法）：将所有元素一一列举，适用于有限集或可数无限集
- 有限集：\(X=\{x_1,x_2,\cdots,x_n\}\)（\(n\)元集）
- 可数无限集：\(\mathbb{N}=\{1,2,\cdots,n,\cdots\}\)
- 描述法：将具有性质\(P\)的元素全体记为\(X=\{x\mid x\text{具有性质}P\}\)
- 核心等价关系：\(x\in X\iff x\)具有性质\(P\)；\(x\notin X\iff x\)不具有性质\(P\)
3. 子集、真子集与集合相等
- 子集定义：若\(\boldsymbol{\forall x\in A\implies x\in B}\)，则称\(A\)含于\(B\)（\(A\subset B\)）或\(B\)包含\(A\)（\(B\supset A\)），\(A\)是\(B\)的子集。
- 空集性质：空集\(\varnothing\)是任何集合的子集，即\(\varnothing\subset A\)对任意集合\(A\)成立。
- 证明：反证法。假设存在集合\(A\)使\(\varnothing\not\subset A\)，则存在\(x\in\varnothing\)且\(x\notin A\)，但\(\varnothing\)无元素，矛盾。故原命题成立。
- 集合相等定义：若\(A\subset B\)且\(B\subset A\)，则\(A=B\)，此时两集合元素完全相同。
- 证明方法：分别证明左边包含于右边，右边包含于左边。
- 真子集定义：若\(A\subset B\)且\(A\neq B\)（即\(\exists x_0\in B\)但\(x_0\notin A\)），则\(A\)是\(B\)的真子集，记作\(A\subsetneqq B\)。
4. 常见数集及其包含关系
- 自然数集：\(\mathbb{N}=\{1,2,\cdots,n,\cdots\}\)（注：部分教材将\(0\)纳入\(\mathbb{N}\)，此处按本书约定）
- 整数集：\(\mathbb{Z}=\{0,\pm1,\pm2,\cdots,\pm n,\cdots\}\)
- 有理数集：\(\mathbb{Q}=\left\{\frac{p}{q}\mid p\in\mathbb{Z},q\in\mathbb{N}\right\}=\{\pm x\mid x\text{为有限小数或无限循环小数}\}\)
- 实数集：\(\mathbb{R}=\{x\mid x\text{为有理数或无理数}\}\)
- 复数集：\(\mathbb{C}=\{x+iy\mid x,y\in\mathbb{R},i=\sqrt{-1},i^2=-1\}\)
- 四元数集：\(\mathbb{H}=\{x_1+x_2i+x_3j+x_4k\mid x_1,x_2,x_3,x_4\in\mathbb{R}\}\)，满足\(i^2=j^2=k^2=-1\)，\(ij=k=-ji\)等运算规则
- 严格包含关系：\(\boldsymbol{\mathbb{N}\subsetneqq\mathbb{Z}\subsetneqq\mathbb{Q}\subsetneqq\mathbb{R}\subsetneqq\mathbb{C}\subsetneqq\mathbb{H}}\)
经典证明：\(\sqrt{2}\notin\mathbb{Q}\)（无理数证明）
- 反证法：假设\(\sqrt{2}\in\mathbb{Q}\)，则存在互质整数\(p,q\)（\(q\in\mathbb{N}\)）使\(\sqrt{2}=\frac{p}{q}\)
- 平方得\(p^2=2q^2\)，故\(p^2\)是偶数，依据：奇数的平方是奇数，因此\(p\)必为偶数
- 设\(p=2k\)，代入得\(4k^2=2q^2\implies q^2=2k^2\)，同理\(q\)也为偶数
- 与\(p,q\)互质矛盾，故假设不成立，\(\sqrt{2}\notin\mathbb{Q}\)
二、集合的运算及其性质
1. 基本运算定义
| 运算 | 符号 | 定义 |
|---|---|---|
| 并集 | \(A\cup B\) | \(\{x\mid x\in A\text{ 或 }x\in B\}\) |
| 交集 | \(A\cap B\) | \(\{x\mid x\in A\text{ 且 }x\in B\}\) |
| 差集 | \(A\setminus B\) | \(\{x\mid x\in A\text{ 且 }x\notin B\}\) |
| 补集 | \(A^c\) | \(X\setminus A\)（\(X\)为全集） |
2. 运算性质及证明
所有性质均通过集合相等的定义（双向包含）证明。
-
交换律
- \(A\cup B=B\cup A\)
- \(A\cap B=B\cap A\)
- 证明（并集交换律）：
- 任取\(x\in A\cup B\)，则\(x\in A\)或\(x\in B\)，即\(x\in B\)或\(x\in A\)，故\(x\in B\cup A\)，得\(A\cup B\subset B\cup A\)
- 同理可证\(B\cup A\subset A\cup B\)，由集合相等定义得证
-
结合律
- \((A\cup B)\cup C=A\cup(B\cup C)\)
- \((A\cap B)\cap C=A\cap(B\cap C)\)
-
分配律
- \(A\cap(B\cup C)=(A\cap B)\cup(A\cap C)\)（交对并的分配律）
- \(A\cup(B\cap C)=(A\cup B)\cap(A\cup C)\)（并对交的分配律）
- 证明（交对并分配律）：
- 左\(\subset\)右：任取\(x\in A\cap(B\cup C)\)，则\(x\in A\)且\(x\in B\cup C\)。若\(x\in B\)则\(x\in A\cap B\)；若\(x\in C\)则\(x\in A\cap C\)，故\(x\in(A\cap B)\cup(A\cap C)\)
- 右\(\subset\)左：任取\(x\in(A\cap B)\cup(A\cap C)\)，则\(x\in A\cap B\)或\(x\in A\cap C\)，均有\(x\in A\)且\(x\in B\cup C\)，故\(x\in A\cap(B\cup C)\)
- 由集合相等定义得证
-
德摩根（De Morgan）律（实变函数核心定律）
- \((A\cup B)^c=A^c\cap B^c\)（并的补等于补的交）
- \((A\cap B)^c=A^c\cup B^c\)（交的补等于补的并）
- 证明（第一个德摩根律）：
- 左\(\subset\)右：任取\(x\in(A\cup B)^c\)，则\(x\notin A\cup B\)，依据：“或”命题的否定是“且”命题，故\(x\notin A\)且\(x\notin B\)，即\(x\in A^c\cap B^c\)
- 右\(\subset\)左：任取\(x\in A^c\cap B^c\)，则\(x\notin A\)且\(x\notin B\)，故\(x\notin A\cup B\)，即\(x\in(A\cup B)^c\)
- 由集合相等定义得证
-
吸收律
- \(A\cup(A\cap B)=A\)
- \(A\cap(A\cup B)=A\)
-
补集性质
- \((A^c)^c=A\)（双重补律）
- \(X^c=\varnothing\)，\(\varnothing^c=X\)
- \(A\cup A^c=X\)，\(A\cap A^c=\varnothing\)（互补律）
- 若\(A\subset B\)，则\(A^c\supset B^c\)（包含关系反转）
3. 任意多个集合的运算
- 任意并集：\(\bigcup_{\alpha\in\Lambda}A_\alpha=\{x\mid\exists\alpha\in\Lambda,x\in A_\alpha\}\)
- 任意交集：\(\bigcap_{\alpha\in\Lambda}A_\alpha=\{x\mid\forall\alpha\in\Lambda,x\in A_\alpha\}\)
- 德摩根律一般形式：\[\left(\bigcup_{\alpha\in\Lambda}A_\alpha\right)^c=\bigcap_{\alpha\in\Lambda}A_\alpha^c,\quad\left(\bigcap_{\alpha\in\Lambda}A_\alpha\right)^c=\bigcup_{\alpha\in\Lambda}A_\alpha^c \]
三、集合的势（基数）
1. 势的定义
- 对等关系：若存在从\(A\)到\(B\)的双射（一一对应，既是单射又是满射），则称\(A\)与\(B\)对等，记作\(A\sim B\)。
- 对等是等价关系，满足：
- 自反性：\(A\sim A\)
- 对称性：若\(A\sim B\)则\(B\sim A\)
- 传递性：若\(A\sim B\)且\(B\sim C\)则\(A\sim C\)
- 势（基数）：所有对等集合的共同属性，记作\(\overline{\overline{A}}\)。有限集的势就是元素个数，无限集的势是有限集元素个数概念的推广。
2. 可数集与不可数集
- 可数集：与自然数集\(\mathbb{N}\)对等的集合，有限集和可数集统称为至多可数集。
- 可数集性质：
- 任何无限集都包含一个可数子集
- 可数集的任何子集都是至多可数集
- 可数个可数集的并集仍是可数集
- 有理数集\(\mathbb{Q}\)是可数集
- 不可数集：不是至多可数集的集合，典型例子是实数集\(\mathbb{R}\)。
- 康托尔对角线法证明\(\mathbb{R}\)不可数：
- 只需证明\((0,1)\)不可数（\((0,1)\sim\mathbb{R}\)）
- 假设\((0,1)\)可数，可排列为\(x_n=0.a_{n1}a_{n2}a_{n3}\cdots\)
- 构造\(x=0.b_1b_2b_3\cdots\)，其中\(b_n=\begin{cases}1, & a_{nn}\neq1 \\ 2, & a_{nn}=1\end{cases}\)
- \(x\in(0,1)\)但与所有\(x_n\)不同，矛盾，故\((0,1)\)不可数
- 康托尔对角线法证明\(\mathbb{R}\)不可数：
四、集类
集类是由集合组成的集合，研究具有特定运算封闭性的集类是测度论的基础。
| 集类 | 定义 | 核心封闭性 |
|---|---|---|
| 环 | 满足：1. \(\forall A,B\in\mathcal{R},A\cup B\in\mathcal{R}\)；2. \(\forall A,B\in\mathcal{R},A\setminus B\in\mathcal{R}\) | 有限并、差 |
| 代数 | 满足\(X\in\mathcal{R}\)的环 | 有限并、差、补 |
| \(\sigma\)环 | 满足：1. \(\forall A,B\in\mathcal{S},A\setminus B\in\mathcal{S}\)；2. \(\forall\{A_n\}\subset\mathcal{S},\bigcup_{n=1}^\infty A_n\in\mathcal{S}\) | 可数并、差 |
| \(\sigma\)代数 | 满足\(X\in\mathcal{S}\)的\(\sigma\)环 | 可数并、差、补 |
| 单调类 | 对单调递增序列的并、单调递减序列的交封闭 | 单调极限 |
- 单调类定理：包含代数\(\mathcal{A}\)的最小单调类等于包含\(\mathcal{A}\)的最小\(\sigma\)代数，是测度论中验证\(\sigma\)代数性质的重要工具。
五、知识点归纳总结表
| 知识点 | 核心概念/公式 | 适用条件 | 常用方法 | 易错点 | 典型考法/竞赛题型 |
|---|---|---|---|---|---|
| 集合基本关系 | \(A\subset B\iff\forall x\in A,x\in B\) \(A=B\iff A\subset B\)且\(B\subset A\) |
任意集合 | 双向包含法证明相等 | 混淆\(\in\)与\(\subset\)；空集性质误用 | 集合相等证明；子集个数计算 |
| 集合运算 | 并、交、差、补的定义 | 任意集合 | 德摩根律转化运算 | 差集运算顺序；补集的全集依赖 | 集合运算化简；德摩根律应用 |
| 任意集合运算 | \(\bigcup_{\alpha\in\Lambda}A_\alpha\)，\(\bigcap_{\alpha\in\Lambda}A_\alpha\) | 任意指标集\(\Lambda\) | 推广的德摩根律 | 混淆“存在”与“任意”量词 | 可数并/交的性质证明 |
| 集合的势 | \(A\sim B\iff\)存在双射\(f:A\to B\) | 任意集合 | 构造双射；康托尔对角线法 | 无限集与有限集性质混淆 | 可数集判定；不可数集证明 |
| 可数集 | 与\(\mathbb{N}\)对等的集合 | 无限集 | 对角线排列法 | 可数个可数集的并仍可数 | 有理数集可数性证明 |
| 集类 | 环、代数、\(\sigma\)环、\(\sigma\)代数、单调类 | 非空集合\(X\)的子集族 | 验证运算封闭性 | 混淆有限与可数运算封闭性 | 集类封闭性验证；单调类定理应用 |
集合运算（并、交、差、补、直积）深度解析
一、集合运算的本质与哲学意义
集合运算的本质是通过逻辑量词（存在∃、任意∀）对元素的归属关系进行重新定义，从而由已知集合构造出新集合。这是实变函数论中最基本的论证工具，也是从有限数学过渡到无限数学的关键桥梁。
二、并集运算（∪）
1. 定义体系（从有限到无限）
-
两个集合的并：\(A\cup B=\{x\mid x\in A \text{ 或 } x\in B\}\)
- 逻辑本质：元素\(x\)属于并集当且仅当至少存在一个原集合包含\(x\)
- 几何直观：韦恩图中两个圆覆盖的全部区域（重叠部分只算一次）
-
有限并：\(\bigcup_{i=1}^n A_i=\{x\mid \exists i_0,1\leq i_0\leq n,\text{ s.t. }x\in A_{i_0}\}\)
- "s.t."是"such that"的缩写，意为"使得"
-
可数并：\(\bigcup_{i=1}^\infty A_i=\{x\mid \exists i_0\in\mathbb{N},\text{ s.t. }x\in A_{i_0}\}\)
- 这是实变函数与数学分析的核心区别之一：数学分析主要处理有限运算，而实变函数必须处理可数无限运算
-
任意并：\(\bigcup_{\alpha\in\Gamma} A_\alpha=\{x\mid \exists \alpha_0\in\Gamma,\text{ s.t. }x\in A_{\alpha_0}\}\)
- \(\Gamma\)称为指标集，可以是任意集合（有限、可数、不可数）
2. 基本性质与证明
-
幂等律：\(A\cup A=A\)
- 证明：任取\(x\in A\cup A\)，则\(x\in A\)或\(x\in A\)，即\(x\in A\)，故\(A\cup A\subset A\)；反之，任取\(x\in A\)，则\(x\in A\cup A\)，故\(A\subset A\cup A\)。依据集合相等的定义，得证。
-
吸收律：\(A\cup(A\cap B)=A\)
- 证明：左\(\subset\)右：任取\(x\in A\cup(A\cap B)\)，则\(x\in A\)或\(x\in A\cap B\)，两种情况都有\(x\in A\)；右\(\subset\)左：任取\(x\in A\)，则\(x\in A\cup(A\cap B)\)。依据集合相等的定义，得证。
-
单调性：若\(A\subset B\)，则对任意集合\(C\)，有\(A\cup C\subset B\cup C\)
- 证明：任取\(x\in A\cup C\)，则\(x\in A\)或\(x\in C\)。若\(x\in A\)，由\(A\subset B\)得\(x\in B\)，故\(x\in B\cup C\)；若\(x\in C\)，显然\(x\in B\cup C\)。依据子集的定义，得证。
三、交集运算（∩）
1. 定义体系
-
两个集合的交：\(A\cap B=\{x\mid x\in A \text{ 且 } x\in B\}\)
- 逻辑本质：元素\(x\)属于交集当且仅当所有原集合都包含\(x\)
- 几何直观：韦恩图中两个圆的重叠区域
-
有限交：\(\bigcap_{i=1}^n A_i=\{x\mid x\in A_i,i=1,2,\cdots,n\}\)
-
可数交：\(\bigcap_{i=1}^\infty A_i=\{x\mid x\in A_i,\forall i\in\mathbb{N}\}\)
- \(\forall\)表示"任意"、"所有"
-
任意交：\(\bigcap_{\alpha\in\Gamma} A_\alpha=\{x\mid x\in A_\alpha,\forall \alpha\in\Gamma\}\)
2. 基本概念与性质
-
不相交：若\(A\cap B=\varnothing\)，则称\(A\)与\(B\)不相交（互斥）
-
相交：若\(A\cap B\neq\varnothing\)，则称\(A\)与\(B\)相交
-
幂等律：\(A\cap A=A\)
-
吸收律：\(A\cap(A\cup B)=A\)
-
单调性：若\(A\subset B\)，则对任意集合\(C\)，有\(A\cap C\subset B\cap C\)
四、差集与补集运算
1. 差集运算
-
定义：\(A-B\)（或\(A\setminus B\)）\(=\{x\mid x\in A \text{ 但 } x\notin B\}\)
- 几何直观：韦恩图中属于\(A\)但不属于\(B\)的区域
- 重要注意：差集运算不要求\(B\subset A\)，这是初学者最容易误解的地方
-
核心恒等式：\(\boldsymbol{A-B=A\cap B^c}\)
- 证明：任取\(x\in A-B\)，则\(x\in A\)且\(x\notin B\)，即\(x\in A\)且\(x\in B^c\)，故\(x\in A\cap B^c\)；反之，任取\(x\in A\cap B^c\)，则\(x\in A\)且\(x\in B^c\)，即\(x\in A\)且\(x\notin B\)，故\(x\in A-B\)。依据集合相等的定义，得证。
- 这个恒等式是实变函数中最常用的技巧之一，它将差运算转化为交和补的运算，从而可以应用德摩根律。
2. 补集运算
- 定义：若\(B\subset X\)（\(X\)为全集），则\(B\)在\(X\)中的补集为\(B^c=X-B=\{x\mid x\in X \text{ 但 } x\notin B\}\)
- 关键性质：补集是相对的，同一个集合在不同全集中的补集完全不同
- 几何直观：韦恩图中全集\(X\)内除了\(B\)之外的所有区域
五、德摩根（De Morgan）律（实变函数核心定律）
1. 两个集合的德摩根律
- \((A\cup B)^c=A^c\cap B^c\)（并的补等于补的交）
- \((A\cap B)^c=A^c\cup B^c\)（交的补等于补的并）
2. 一般形式（任意指标集）
3. 严格证明（第一个等式）
-
左\(\subset\)右：任取\(x\in\left(\bigcup_{\alpha\in\Gamma} A_\alpha\right)^c\)，则\(x\notin\bigcup_{\alpha\in\Gamma} A_\alpha\)。依据并集的定义，这意味着对任意\(\alpha\in\Gamma\)，都有\(x\notin A_\alpha\)，即对任意\(\alpha\in\Gamma\)，都有\(x\in A_\alpha^c\)。依据交集的定义，得\(x\in\bigcap_{\alpha\in\Gamma} A_\alpha^c\)。
-
右\(\subset\)左：任取\(x\in\bigcap_{\alpha\in\Gamma} A_\alpha^c\)，则对任意\(\alpha\in\Gamma\)，都有\(x\in A_\alpha^c\)，即对任意\(\alpha\in\Gamma\)，都有\(x\notin A_\alpha\)。依据并集的定义，这意味着\(x\notin\bigcup_{\alpha\in\Gamma} A_\alpha\)，故\(x\in\left(\bigcup_{\alpha\in\Gamma} A_\alpha\right)^c\)。
-
依据集合相等的定义，等式得证。
4. 逻辑本质
德摩根律本质上是逻辑量词的否定规则：
- "存在一个满足P"的否定是"所有都不满足P"
- "所有都满足P"的否定是"存在一个不满足P"
六、集合的直积（笛卡尔积）
1. 定义体系
-
两个集合的直积：\(X\times Y=\{(x,y)\mid x\in X,y\in Y\}\)
- 元素是有序对\((x,y)\)，满足\((x_1,y_1)=(x_2,y_2)\)当且仅当\(x_1=x_2\)且\(y_1=y_2\)
- 几何意义：平面直角坐标系就是\(\mathbb{R}\times\mathbb{R}\)（记为\(\mathbb{R}^2\)）
-
有限直积：\(\prod_{i=1}^n X_i=X_1\times X_2\times\cdots\times X_n=\{(x_1,x_2,\cdots,x_n)\mid x_i\in X_i,i=1,2,\cdots,n\}\)
- 元素是\(n\)元有序组，几何意义是\(n\)维欧氏空间\(\mathbb{R}^n\)
-
可数直积：\(\prod_{i=1}^\infty X_i=\{(x_1,x_2,\cdots,x_i,\cdots)\mid x_i\in X_i,i\in\mathbb{N}\}\)
- 元素是无限序列
-
任意直积：\(\prod_{\alpha\in\Gamma} X_\alpha=\left\{f:\Gamma\to\bigcup_{\alpha\in\Gamma} X_\alpha\mid f(\alpha)\in X_\alpha,\forall\alpha\in\Gamma\right\}\)
- 这是直积最一般的定义，将有序组理解为定义在指标集上的函数
2. 基本性质
- 一般情况下，\(X\times Y\neq Y\times X\)（直积不满足交换律）
- 若\(X\)有\(m\)个元素，\(Y\)有\(n\)个元素，则\(X\times Y\)有\(m\times n\)个元素
- 空集的直积：\(X\times\varnothing=\varnothing\times X=\varnothing\)
七、知识点归纳总结表
| 运算 | 符号 | 核心定义 | 逻辑量词 | 几何直观 | 关键性质 | 易错点 | 典型应用 |
|---|---|---|---|---|---|---|---|
| 并集 | \(\cup\) | \(x\)至少属于一个集合 | 存在\(\exists\) | 所有集合覆盖的区域 | 交换律、结合律、分配律、单调性 | 混淆"或"与"异或" | 集合覆盖问题 |
| 交集 | \(\cap\) | \(x\)属于所有集合 | 任意\(\forall\) | 所有集合的重叠区域 | 交换律、结合律、分配律、单调性 | 空集与任何集合的交都是空集 | 公共元素提取 |
| 差集 | \(-\)或\(\setminus\) | \(x\)属于A但不属于B | 存在且否定 | A中去掉与B重叠的部分 | \(A-B=A\cap B^c\) | 不要求B是A的子集 | 集合分解 |
| 补集 | \(^c\) | 全集中不属于B的部分 | 否定 | 全集内B的外部区域 | 双重补律、德摩根律 | 补集依赖于全集的选择 | 德摩根律应用 |
| 直积 | \(\times\) | 有序元素组的集合 | 分量分别满足 | 高维空间 | 不满足交换律 | 有序对的相等条件 | 乘积空间构造 |
八、典型例题解析
例题：证明分配律的一般形式：\(A\cap\left(\bigcup_{\alpha\in\Gamma} B_\alpha\right)=\bigcup_{\alpha\in\Gamma}(A\cap B_\alpha)\)
证明：
-
左\(\subset\)右：任取\(x\in A\cap\left(\bigcup_{\alpha\in\Gamma} B_\alpha\right)\)，则\(x\in A\)且\(x\in\bigcup_{\alpha\in\Gamma} B_\alpha\)。依据并集的定义，存在\(\alpha_0\in\Gamma\)使得\(x\in B_{\alpha_0}\)。因此\(x\in A\cap B_{\alpha_0}\)，依据并集的定义，得\(x\in\bigcup_{\alpha\in\Gamma}(A\cap B_\alpha)\)。
-
右\(\subset\)左：任取\(x\in\bigcup_{\alpha\in\Gamma}(A\cap B_\alpha)\)，则存在\(\alpha_0\in\Gamma\)使得\(x\in A\cap B_{\alpha_0}\)。因此\(x\in A\)且\(x\in B_{\alpha_0}\)，依据并集的定义，\(x\in\bigcup_{\alpha\in\Gamma} B_\alpha\)。故\(x\in A\cap\left(\bigcup_{\alpha\in\Gamma} B_\alpha\right)\)。
-
依据集合相等的定义，等式得证。
例1.1.2 补集与直积运算的典型应用 深度解析
一、无理数集的定义与核心性质
1. 定义
\(\boldsymbol{\mathbb{Q}^c = \mathbb{R} \setminus \mathbb{Q}}\)，称为无理数集。
- 依据：补集的定义（全集为实数集\(\mathbb{R}\)）
- 直观理解：所有不能表示为两个整数之比的实数，即无限不循环小数
2. 核心性质与严格证明
-
性质1：无理数集是不可数集
- 证明：反证法。假设\(\mathbb{Q}^c\)是可数集，已知有理数集\(\mathbb{Q}\)是可数集。依据可数集的并集性质，两个可数集的并集仍是可数集，因此\(\mathbb{R} = \mathbb{Q} \cup \mathbb{Q}^c\)是可数集，这与实数集\(\mathbb{R}\)不可数的结论矛盾。故假设不成立，\(\mathbb{Q}^c\)是不可数集。
-
性质2：无理数集在\(\mathbb{R}\)中稠密
- 稠密性定义：对任意实数\(a < b\)，存在无理数\(x\)使得\(a < x < b\)
- 证明：任取\(a < b\)，取正整数\(n > \frac{\sqrt{2}}{b-a}\)，则\(a + \frac{\sqrt{2}}{n} < b\)。由于\(\sqrt{2}\)是无理数，\(\frac{\sqrt{2}}{n}\)也是无理数，依据有理数与无理数的运算性质（有理数加无理数是无理数），\(a + \frac{\sqrt{2}}{n}\)是无理数。故无理数集在\(\mathbb{R}\)中稠密。
-
性质3：无理数集对四则运算不封闭
- 反例：\(\sqrt{2} - \sqrt{2} = 0 \in \mathbb{Q}\)，\(\sqrt{2} \times \sqrt{2} = 2 \in \mathbb{Q}\)
二、n维欧几里得（Euclid）空间\(\mathbb{R}^n\)
1. 定义体系
- 二维平面：\(\boldsymbol{\mathbb{R}^2 = \mathbb{R} \times \mathbb{R} = \{(x_1, x_2) \mid x_1, x_2 \in \mathbb{R}\}}\)
- 三维空间：\(\boldsymbol{\mathbb{R}^3 = \mathbb{R} \times \mathbb{R} \times \mathbb{R} = \{(x_1, x_2, x_3) \mid x_1, x_2, x_3 \in \mathbb{R}\}}\)
- n维欧氏空间：\(\boldsymbol{\mathbb{R}^n = \underbrace{\mathbb{R} \times \mathbb{R} \times \cdots \times \mathbb{R}}_{n个} = \{(x_1, x_2, \cdots, x_n) \mid x_i \in \mathbb{R}, i=1,2,\cdots,n\}}\)
- 依据：有限个集合的直积定义
2. 本质与意义
- 几何本质：n维空间中点的集合，每个点由n个实数坐标唯一确定
- 数学意义：是整个分析学（数学分析、实变函数、泛函分析）的基础空间，所有多元函数都是定义在\(\mathbb{R}^n\)的子集上
3. 核心性质
- 不可数性：\(\mathbb{R}^n\)是不可数集，依据：\(\mathbb{R}\)不可数，且存在从\(\mathbb{R}\)到\(\mathbb{R}^n\)的单射
- 线性空间结构：对加法和数乘运算封闭，构成实数域上的n维线性空间
- 度量空间结构：可定义欧氏距离\(d(x,y) = \sqrt{\sum_{i=1}^n (x_i - y_i)^2}\)，这是后续研究极限、连续、测度和积分的基础
三、n维有理点集与无理点集
1. 定义
- n维有理点集：\(\boldsymbol{\mathbb{Q}^n = \underbrace{\mathbb{Q} \times \mathbb{Q} \times \cdots \times \mathbb{Q}}_{n个} = \{(x_1, x_2, \cdots, x_n) \mid x_i \in \mathbb{Q}, i=1,2,\cdots,n\}}\)
- n维无理点集：\(\boldsymbol{(\mathbb{Q}^n)^c = \mathbb{R}^n \setminus \mathbb{Q}^n}\)
- 依据：直积定义和补集定义
2. 核心性质与严格证明
-
性质1：\(\mathbb{Q}^n\)是可数集
- 证明：数学归纳法。
- 基例：\(n=1\)时，\(\mathbb{Q}^1 = \mathbb{Q}\)是可数集，成立。
- 归纳假设：假设\(n=k\)时，\(\mathbb{Q}^k\)是可数集。
- 归纳步骤：当\(n=k+1\)时，\(\mathbb{Q}^{k+1} = \mathbb{Q}^k \times \mathbb{Q}\)。依据可数集的直积性质，两个可数集的直积仍是可数集，故\(\mathbb{Q}^{k+1}\)是可数集。
- 由数学归纳法，对任意正整数\(n\)，\(\mathbb{Q}^n\)是可数集。
- 证明：数学归纳法。
-
性质2：\(\mathbb{Q}^n\)在\(\mathbb{R}^n\)中稠密
- 直观理解：n维空间中任意小的区域内都存在有理点
- 应用：这是用有理点逼近任意点的理论基础，在数值计算和测度论中至关重要
-
性质3：\((\mathbb{Q}^n)^c\)是不可数集且在\(\mathbb{R}^n\)中稠密
- 证明思路与一维情况完全类似，依据：可数集的补集（在不可数全集中）不可数，稠密性可通过一维稠密性推广得到
四、可数无限维实空间\(\mathbb{R}^\infty\)
1. 定义
\(\boldsymbol{\mathbb{R}^\infty = \{(x_1, x_2, \cdots, x_i, \cdots) \mid x_i \in \mathbb{R}, i \in \mathbb{N}\}}\)
- 依据：可数个集合的直积定义
- 直观理解：所有实数序列的集合
2. 与有限维欧氏空间的本质区别
- 距离定义：有限维空间有自然的欧氏距离，但\(\mathbb{R}^\infty\)中无限和\(\sum_{i=1}^\infty (x_i - y_i)^2\)可能发散，因此没有统一的欧氏距离
- 拓扑结构：\(\mathbb{R}^\infty\)通常采用乘积拓扑，其性质与有限维空间有显著差异
- 基数：\(\mathbb{R}^\infty\)的基数与\(\mathbb{R}\)的基数相同（均为连续统基数\(2^{\aleph_0}\)），这是集合论中的一个重要结论
五、知识点归纳总结表
| 概念 | 数学表达式 | 本质 | 核心性质 | 典型应用 | 易错点 |
|---|---|---|---|---|---|
| 无理数集 | \(\mathbb{Q}^c = \mathbb{R} \setminus \mathbb{Q}\) | 实数集中有理数的补集 | 不可数、在\(\mathbb{R}\)中稠密、对四则运算不封闭 | 构造反例、测度论基础 | 误认为无理数集是可数集 |
| n维欧氏空间 | \(\mathbb{R}^n = \underbrace{\mathbb{R} \times \cdots \times \mathbb{R}}_{n个}\) | n个实数的有序组集合 | 不可数、线性空间、度量空间 | 多元函数定义域、几何建模 | 混淆n维空间与n个实数的集合 |
| n维有理点集 | \(\mathbb{Q}^n = \underbrace{\mathbb{Q} \times \cdots \times \mathbb{Q}}_{n个}\) | n个有理数的有序组集合 | 可数、在\(\mathbb{R}^n\)中稠密、勒贝格测度为0 | 数值逼近、可测集构造 | 误认为\(\mathbb{Q}^n\)是不可数集 |
| n维无理点集 | \((\mathbb{Q}^n)^c = \mathbb{R}^n \setminus \mathbb{Q}^n\) | \(\mathbb{R}^n\)中有理点的补集 | 不可数、在\(\mathbb{R}^n\)中稠密 | 测度论、泛函分析 | 误认为无理点集不稠密 |
| 可数无限维实空间 | \(\mathbb{R}^\infty = \{(x_1,x_2,\cdots) \mid x_i \in \mathbb{R}\}\) | 实数序列的集合 | 基数与\(\mathbb{R}\)相同、无自然欧氏距离 | 泛函分析、序列空间研究 | 直接套用有限维空间的性质 |
例1.1.3 函数水平集的集合分解 深度解析
这两个等式是实变函数论中最基础、最核心的技巧之一，它们建立了函数的不等式性质与集合运算之间的桥梁，是后续定义可测函数、研究可测函数性质的基石。
一、等式(1)：区间型水平集的交集分解
1. 命题内容
设\(f:\mathbb{R}\to\mathbb{R}\)为实函数，则
2. 证明过程拆解（每步标注依据）
任取元素\(x_0\)，我们证明其属于左右两边的等价性：
- \(x_0 \in \{x \mid f(x) \geq a\} \cap \{x \mid f(x) < b\}\)
- \(\boldsymbol{\Leftrightarrow x_0 \in \{x \mid f(x) \geq a\} \text{ 且 } x_0 \in \{x \mid f(x) < b\}}\)
依据：交集的定义（元素属于交集当且仅当它属于每个集合） - \(\boldsymbol{\Leftrightarrow f(x_0) \geq a \text{ 且 } f(x_0) < b}\)
依据：描述法表示集合的等价性（\(x \in \{x \mid P(x)\} \Leftrightarrow P(x)\)成立） - \(\Leftrightarrow a \leq f(x_0) < b\)
依据：不等式的逻辑含义 - \(\boldsymbol{\Leftrightarrow x_0 \in \{x \mid a \leq f(x) < b\}}\)
依据：描述法表示集合的等价性
3. 核心思想与推广
- 核心思想：将复合不等式条件分解为简单不等式条件的逻辑与，对应集合的交集运算。
- 推广形式（所有区间类型均可分解）：
- \(\{x \mid a < f(x) < b\} = \{x \mid f(x) > a\} \cap \{x \mid f(x) < b\}\)
- \(\{x \mid a \leq f(x) \leq b\} = \{x \mid f(x) \geq a\} \cap \{x \mid f(x) \leq b\}\)
- \(\{x \mid f(x) = a\} = \{x \mid f(x) \geq a\} \cap \{x \mid f(x) \leq a\}\)
二、等式(2)：非零点集的可数并分解
1. 命题内容
设\(f:[a,b]\to\mathbb{R}\)为实函数，则
2. 证明过程拆解（每步标注依据）
任取元素\(x_0\)，我们证明其属于左右两边的等价性：
- \(x_0 \in \bigcup_{n=1}^\infty \left\{x \in [a,b] \mid |f(x)| > \frac{1}{n}\right\}\)
- \(\boldsymbol{\Leftrightarrow \exists n_0 \in \mathbb{N}, \text{ s.t. } x_0 \in \left\{x \in [a,b] \mid |f(x)| > \frac{1}{n_0}\right\}}\)
依据：可数并集的定义（元素属于并集当且仅当它至少属于其中一个集合） - \(\boldsymbol{\Leftrightarrow \exists n_0 \in \mathbb{N}, \text{ s.t. } |f(x_0)| > \frac{1}{n_0}}\)
依据：描述法表示集合的等价性 - \(\boldsymbol{\Leftrightarrow f(x_0) \neq 0}\)
依据：实数的阿基米德原理- 正向：若\(f(x_0) \neq 0\)，则\(|f(x_0)| > 0\)，由阿基米德原理，存在自然数\(n_0\)使得\(n_0 > \frac{1}{|f(x_0)|}\)，即\(|f(x_0)| > \frac{1}{n_0}\)
- 反向：若存在\(n_0\)使得\(|f(x_0)| > \frac{1}{n_0} > 0\)，则显然\(f(x_0) \neq 0\)
- \(\boldsymbol{\Leftrightarrow x_0 \in \{x \in [a,b] \mid f(x) \neq 0\}}\)
依据：描述法表示集合的等价性
3. 核心思想与关键要点
- 核心思想：将“不等于0”这个定性条件，转化为可数个定量条件的逻辑或，对应集合的可数并运算。
- 关键要点：
- 必须使用可数并：有限并无法覆盖所有非零实数。例如，\(\bigcup_{n=1}^N \{x \mid |f(x)| > 1/n\} = \{x \mid |f(x)| > 1/N\}\)，无法包含满足\(0 < |f(x)| \leq 1/N\)的点。
- 不能使用不可数并：实变函数的核心是研究可数运算，不可数并会破坏测度的可数可加性。
- 阿基米德原理是本质：这个等价性完全依赖于实数的阿基米德性质，这是实数集区别于其他有序域的关键特征。
4. 对偶形式（同样极其重要）
对上述等式两边取补集，利用德摩根律可得：
- 含义：函数的零点集是所有“绝对值不超过1/n”的集合的可数交集。
- 应用：这是证明连续函数零点集是闭集、可测函数零点集是可测集的常用方法。
三、这两个等式的重要意义
- 可测函数定义的基础：可测函数的定义是“对任意实数\(a\)，\(\{x \mid f(x) > a\}\)是可测集”。通过等式(1)的推广，我们可以证明所有其他类型的水平集（\(\{x \mid f(x) \geq a\}\)、\(\{x \mid f(x) < a\}\)、\(\{x \mid f(x) \leq a\}\)、\(\{x \mid f(x) = a\}\)）也都是可测集。
- 极限与集合运算的桥梁：等式(2)及其对偶形式将函数的极限性质转化为集合的可数并/交运算，这是研究函数列收敛性（如几乎处处收敛、依测度收敛）的核心工具。
- 测度计算的技巧：通过将复杂集合分解为简单集合的可数并/交，我们可以利用测度的可数可加性来计算复杂集合的测度。
四、典型拓展例题
例题：设\(f:\mathbb{R}\to\mathbb{R}\)为实函数，证明：
证明思路：利用函数不连续的\(\varepsilon\)-\(\delta\)定义，将“存在\(\varepsilon>0\)”转化为可数并（取\(\varepsilon=1/k\)），将“对任意\(\delta>0\)”转化为可数交（取\(\delta=1/n\)），这是实变函数中刻画不连续点集的标准方法。
五、知识点归纳总结表
| 等式 | 数学表达式 | 核心思想 | 关键依据 | 典型应用 | 易错点 |
|---|---|---|---|---|---|
| 区间型水平集分解 | \(\{x \mid a \leq f(x) < b\} = \{x \mid f(x) \geq a\} \cap \{x \mid f(x) < b\}\) | 复合条件=简单条件的逻辑与 | 交集定义、描述法等价性 | 可测函数性质证明 | 混淆交集与并集 |
| 非零点集分解 | \(\bigcup_{n=1}^\infty \{x \mid |f(x)| > 1/n\} = \{x \mid f(x) \neq 0\}\) | 定性条件=可数个定量条件的逻辑或 | 可数并定义、阿基米德原理 | 几乎处处收敛、测度计算 | 误用有限并或不可数并 |
| 零点集分解 | \(\bigcap_{n=1}^\infty \{x \mid |f(x)| \leq 1/n\} = \{x \mid f(x) = 0\}\) | 定性条件=可数个定量条件的逻辑与 | 德摩根律、阿基米德原理 | 连续函数性质、可测集构造 | 混淆交集与并集 |
定理1.1.1 集合运算基本定律 深度解析与完整证明
本定理是经典集合论的公理基础，所有集合恒等式均可由这些定律推导得出。它不仅是实变函数论的核心工具，更是从有限数学过渡到无限数学的关键桥梁。教材仅证明了一般分配律的一种形式，下面将完整证明所有命题，并严格标注每一步的推导依据。
一、交换律
命题
完整证明
-
并集交换律证明
- 任取\(x\in A\cup B\)，依据并集的定义，\(x\in A\)或\(x\in B\)。
- 逻辑上“或”命题具有交换性，故\(x\in B\)或\(x\in A\)，依据并集的定义，\(x\in B\cup A\)。
- 因此\(A\cup B\subset B\cup A\)。
- 同理可证\(B\cup A\subset A\cup B\)。
- 依据集合相等的定义，\(A\cup B=B\cup A\)。
-
交集交换律证明
- 任取\(x\in A\cap B\)，依据交集的定义，\(x\in A\)且\(x\in B\)。
- 逻辑上“且”命题具有交换性，故\(x\in B\)且\(x\in A\)，依据交集的定义，\(x\in B\cap A\)。
- 因此\(A\cap B\subset B\cap A\)。
- 同理可证\(B\cap A\subset A\cap B\)。
- 依据集合相等的定义，\(A\cap B=B\cap A\)。
二、结合律
命题
完整证明
-
并集结合律证明
- 任取\(x\in(A\cup B)\cup C\)，依据并集的定义，\(x\in A\cup B\)或\(x\in C\)。
- 若\(x\in A\cup B\)，则\(x\in A\)或\(x\in B\)，故\(x\in A\)或\((x\in B\)或\(x\in C)\)，依据并集的定义，\(x\in A\cup(B\cup C)\)。
- 若\(x\in C\)，则\(x\in B\)或\(x\in C\)，故\(x\in A\)或\((x\in B\)或\(x\in C)\)，依据并集的定义，\(x\in A\cup(B\cup C)\)。
- 因此\((A\cup B)\cup C\subset A\cup(B\cup C)\)。
- 同理可证\(A\cup(B\cup C)\subset(A\cup B)\cup C\)。
- 依据集合相等的定义，等式成立。
-
交集结合律证明
- 任取\(x\in(A\cap B)\cap C\)，依据交集的定义，\(x\in A\cap B\)且\(x\in C\)，即\(x\in A\)且\(x\in B\)且\(x\in C\)。
- 故\(x\in A\)且\((x\in B\)且\(x\in C)\)，依据交集的定义，\(x\in A\cap(B\cap C)\)。
- 因此\((A\cap B)\cap C\subset A\cap(B\cap C)\)。
- 同理可证\(A\cap(B\cap C)\subset(A\cap B)\cap C\)。
- 依据集合相等的定义，等式成立。
重要推论
多个集合的并/交运算与括号无关，可直接写为：
三、分配律（核心重点）
1. 有限形式
命题1（交对并的分配律）
完整证明
- 左\(\subset\)右：任取\(x\in A\cap(B\cup C)\)，依据交集的定义，\(x\in A\)且\(x\in B\cup C\)。
- 若\(x\in B\)，则\(x\in A\cap B\)，依据并集的定义，\(x\in(A\cap B)\cup(A\cap C)\)。
- 若\(x\in C\)，则\(x\in A\cap C\)，依据并集的定义，\(x\in(A\cap B)\cup(A\cap C)\)。
- 右\(\subset\)左：任取\(x\in(A\cap B)\cup(A\cap C)\)，依据并集的定义，\(x\in A\cap B\)或\(x\in A\cap C\)。
- 若\(x\in A\cap B\)，则\(x\in A\)且\(x\in B\)，故\(x\in B\cup C\)，依据交集的定义，\(x\in A\cap(B\cup C)\)。
- 若\(x\in A\cap C\)，则\(x\in A\)且\(x\in C\)，故\(x\in B\cup C\)，依据交集的定义，\(x\in A\cap(B\cup C)\)。
- 依据集合相等的定义，等式成立。
命题2（并对交的分配律）
完整证明
- 左\(\subset\)右：任取\(x\in A\cup(B\cap C)\)，依据并集的定义，\(x\in A\)或\(x\in B\cap C\)。
- 若\(x\in A\)，则\(x\in A\cup B\)且\(x\in A\cup C\)，依据交集的定义，\(x\in(A\cup B)\cap(A\cup C)\)。
- 若\(x\in B\cap C\)，则\(x\in B\)且\(x\in C\)，故\(x\in A\cup B\)且\(x\in A\cup C\)，依据交集的定义，\(x\in(A\cup B)\cap(A\cup C)\)。
- 右\(\subset\)左：任取\(x\in(A\cup B)\cap(A\cup C)\)，依据交集的定义，\(x\in A\cup B\)且\(x\in A\cup C\)。
- 若\(x\in A\)，则\(x\in A\cup(B\cap C)\)。
- 若\(x\notin A\)，则由\(x\in A\cup B\)得\(x\in B\)，由\(x\in A\cup C\)得\(x\in C\)，故\(x\in B\cap C\)，依据并集的定义，\(x\in A\cup(B\cap C)\)。
- 依据集合相等的定义，等式成立。
2. 一般形式（任意指标集）
这是实变函数与数学分析的本质区别之一：数学分析主要处理有限运算，而实变函数必须处理可数甚至任意无限运算。
命题3（交对任意并的分配律）
完整证明（教材证明的精细化标注）
-
任取\(x\in A\cap\left(\bigcup_{\alpha\in\Gamma} B_\alpha\right)\)，依据交集的定义，\(x\in A\)且\(x\in\bigcup_{\alpha\in\Gamma} B_\alpha\)。
-
依据任意并集的定义，存在\(\alpha_0\in\Gamma\)，使得\(x\in B_{\alpha_0}\)。
-
因此\(x\in A\)且\(x\in B_{\alpha_0}\)，依据交集的定义，\(x\in A\cap B_{\alpha_0}\)。
-
依据任意并集的定义，\(x\in\bigcup_{\alpha\in\Gamma}(A\cap B_\alpha)\)。
-
故\(A\cap\left(\bigcup_{\alpha\in\Gamma} B_\alpha\right)\subset\bigcup_{\alpha\in\Gamma}(A\cap B_\alpha)\)。
-
反之，任取\(x\in\bigcup_{\alpha\in\Gamma}(A\cap B_\alpha)\)，依据任意并集的定义，存在\(\alpha_0\in\Gamma\)，使得\(x\in A\cap B_{\alpha_0}\)。
-
因此\(x\in A\)且\(x\in B_{\alpha_0}\)，依据任意并集的定义，\(x\in\bigcup_{\alpha\in\Gamma} B_\alpha\)。
-
依据交集的定义，\(x\in A\cap\left(\bigcup_{\alpha\in\Gamma} B_\alpha\right)\)。
-
故\(\bigcup_{\alpha\in\Gamma}(A\cap B_\alpha)\subset A\cap\left(\bigcup_{\alpha\in\Gamma} B_\alpha\right)\)。
-
依据集合相等的定义，等式成立。
命题4（并对任意交的分配律）
完整证明
-
任取\(x\in A\cup\left(\bigcap_{\alpha\in\Gamma} B_\alpha\right)\)，依据并集的定义，\(x\in A\)或\(x\in\bigcap_{\alpha\in\Gamma} B_\alpha\)。
- 若\(x\in A\)，则对任意\(\alpha\in\Gamma\)，\(x\in A\cup B_\alpha\)，依据任意交集的定义，\(x\in\bigcap_{\alpha\in\Gamma}(A\cup B_\alpha)\)。
- 若\(x\in\bigcap_{\alpha\in\Gamma} B_\alpha\)，则对任意\(\alpha\in\Gamma\)，\(x\in B_\alpha\)，故对任意\(\alpha\in\Gamma\)，\(x\in A\cup B_\alpha\)，依据任意交集的定义，\(x\in\bigcap_{\alpha\in\Gamma}(A\cup B_\alpha)\)。
-
因此\(A\cup\left(\bigcap_{\alpha\in\Gamma} B_\alpha\right)\subset\bigcap_{\alpha\in\Gamma}(A\cup B_\alpha)\)。
-
反之，任取\(x\in\bigcap_{\alpha\in\Gamma}(A\cup B_\alpha)\)，依据任意交集的定义，对任意\(\alpha\in\Gamma\)，\(x\in A\cup B_\alpha\)。
- 若\(x\in A\)，则\(x\in A\cup\left(\bigcap_{\alpha\in\Gamma} B_\alpha\right)\)。
- 若\(x\notin A\)，则对任意\(\alpha\in\Gamma\)，由\(x\in A\cup B_\alpha\)得\(x\in B_\alpha\)，依据任意交集的定义，\(x\in\bigcap_{\alpha\in\Gamma} B_\alpha\)，故\(x\in A\cup\left(\bigcap_{\alpha\in\Gamma} B_\alpha\right)\)。
-
依据集合相等的定义，等式成立。
四、补集相关性质（设全集为\(X\)，\(A,B\subset X\)）
1. 互补律
命题
完整证明
-
对于\(A\cup A^c=X\)：
- 任取\(x\in X\)，依据经典集合论的排中律，\(x\in A\)或\(x\notin A\)，即\(x\in A\)或\(x\in A^c\)，依据并集的定义，\(x\in A\cup A^c\)。
- 故\(X\subset A\cup A^c\)，显然\(A\cup A^c\subset X\)，依据集合相等的定义，等式成立。
-
对于\(A\cap A^c=\varnothing\)：
- 反证法。假设存在\(x\in A\cap A^c\)，依据交集的定义，\(x\in A\)且\(x\in A^c\)，即\(x\in A\)且\(x\notin A\)，矛盾。
- 故\(A\cap A^c=\varnothing\)。
2. 双重补律
命题
完整证明
- 任取\(x\in(A^c)^c\)，依据补集的定义，\(x\notin A^c\)，即\(x\in A\)，故\((A^c)^c\subset A\)。
- 任取\(x\in A\)，则\(x\notin A^c\)，依据补集的定义，\(x\in(A^c)^c\)，故\(A\subset(A^c)^c\)。
- 依据集合相等的定义，等式成立。
3. 全集与空集的补
命题
完整证明
- \(X^c=X\setminus X=\varnothing\)，依据差集的定义。
- \(\varnothing^c=X\setminus\varnothing=X\)，依据差集的定义。
4. 差集的补集表示（实变函数第一恒等式）
命题
完整证明
- 任取\(x\in A-B\)，依据差集的定义，\(x\in A\)且\(x\notin B\)，即\(x\in A\)且\(x\in B^c\)，依据交集的定义，\(x\in A\cap B^c\)。
- 故\(A-B\subset A\cap B^c\)。
- 任取\(x\in A\cap B^c\)，依据交集的定义，\(x\in A\)且\(x\in B^c\)，即\(x\in A\)且\(x\notin B\)，依据差集的定义，\(x\in A-B\)。
- 故\(A\cap B^c\subset A-B\)。
- 依据集合相等的定义，等式成立。
5. 包含关系的反转
命题
完整证明
-
必要性：设\(A\supset B\)，即对任意\(x\in B\)，有\(x\in A\)。
- 任取\(x\in A^c\)，则\(x\notin A\)。若\(x\in B\)，则由\(A\supset B\)得\(x\in A\)，矛盾，故\(x\notin B\)，即\(x\in B^c\)。
- 因此\(A^c\subset B^c\)。
-
充分性：设\(A^c\subset B^c\)，由必要性得\((A^c)^c\subset(B^c)^c\)，依据双重补律，即\(A\supset B\)。
-
故\(A\supset B\iff A^c\subset B^c\)。
6. 不相交的等价条件
命题
完整证明
- \(A\cap B=\varnothing\) 依据交集的定义 \(\iff\) 对任意\(x\in A\)，\(x\notin B\)
- 依据补集的定义 \(\iff\) 对任意\(x\in A\)，\(x\in B^c\)
- 依据子集的定义 \(\iff A\subset B^c\)
- 故等式成立。
五、知识点归纳总结表
| 定律类型 | 数学表达式 | 核心依据 | 典型应用 | 易错点 |
|---|---|---|---|---|
| 交换律 | \(A\cup B=B\cup A\) \(A\cap B=B\cap A\) |
并/交集定义、逻辑“或/且”交换性 | 调整运算顺序 | 无 |
| 结合律 | \((A\cup B)\cup C=A\cup(B\cup C)\) \((A\cap B)\cap C=A\cap(B\cap C)\) |
并/交集定义、逻辑“或/且”结合性 | 省略运算括号 | 无 |
| 有限分配律 | \(A\cap(B\cup C)=(A\cap B)\cup(A\cap C)\) \(A\cup(B\cap C)=(A\cup B)\cap(A\cup C)\) |
并/交集定义、双向包含法 | 有限集合运算化简 | 混淆交对并与并对交的分配律 |
| 一般分配律 | \(A\cap\left(\bigcup_{\alpha\in\Gamma}B_\alpha\right)=\bigcup_{\alpha\in\Gamma}(A\cap B_\alpha)\) \(A\cup\left(\bigcap_{\alpha\in\Gamma}B_\alpha\right)=\bigcap_{\alpha\in\Gamma}(A\cup B_\alpha)\) |
任意并/交定义、量词交换 | 可数/任意集合运算 | 误用为交对交、并对并的分配律 |
| 互补律 | \(A\cup A^c=X\) \(A\cap A^c=\varnothing\) |
补集定义、排中律 | 证明集合相等、反证法 | 忘记全集\(X\)的存在 |
| 双重补律 | \((A^c)^c=A\) | 补集定义 | 化简补集表达式 | 无 |
| 差集恒等式 | \(A-B=A\cap B^c\) | 差集、补集、交集定义 | 差运算转化为交补运算 | 误用为\(A-B=B\cap A^c\) |
| 包含反转律 | \(A\supset B\iff A^c\subset B^c\) | 子集定义、补集定义 | 由包含关系推导补集关系 | 反转包含方向错误 |
| 不相交等价 | \(A\cap B=\varnothing\iff A\subset B^c\) | 交集、补集、子集定义 | 证明集合不相交 | 无 |
定理1.1.2 德摩根（de Morgan）公式 深度解析与完整证明
德摩根公式是集合论中最核心的对偶定律，它揭示了并集、交集与补集（差集）之间的本质联系。这个公式不仅是所有集合恒等式的推导基础，更是实变函数论中处理可数无限运算的唯一核心工具，是从有限数学跨越到无限数学的关键桥梁。
一、定理完整内容
1. 一般形式（差集形式，对任意集合族成立）
对任意集合\(X\)和任意指标集\(\Gamma\)上的集合族\(\{A_\alpha\}_{\alpha\in\Gamma}\)，有：
2. 补集形式（全集形式）
若对所有\(\alpha\in\Gamma\)，都有\(A_\alpha\subset X\)（\(X\)为全集），则差集可表示为补集，上述公式简化为：
- 口诀：并的补等于补的交，交的补等于补的并
二、完整严格证明（每步标注依据）
教材仅证明了第二个式子，下面将完整证明两个公式，并严格标注每一步推导的理论依据。
1. 证明第一个公式：\(X - \bigcup_{\alpha\in\Gamma} A_\alpha = \bigcap_{\alpha\in\Gamma} (X - A_\alpha)\)
我们采用双向包含法（集合相等的定义）证明。
第一步：证明左\(\subset\)右
任取元素\(x\in X - \bigcup_{\alpha\in\Gamma} A_\alpha\)。
- 依据差集的定义，\(x\in X\)且\(x\notin \bigcup_{\alpha\in\Gamma} A_\alpha\)。
- 依据并集定义的否定，\(x\notin \bigcup_{\alpha\in\Gamma} A_\alpha\)等价于：对任意\(\alpha\in\Gamma\)，都有\(x\notin A_\alpha\)。
- 因此，对任意\(\alpha\in\Gamma\)，都有\(x\in X\)且\(x\notin A_\alpha\)，依据差集的定义，即对任意\(\alpha\in\Gamma\)，\(x\in X - A_\alpha\)。
- 依据任意交集的定义，\(x\in \bigcap_{\alpha\in\Gamma} (X - A_\alpha)\)。
- 故\(X - \bigcup_{\alpha\in\Gamma} A_\alpha \subset \bigcap_{\alpha\in\Gamma} (X - A_\alpha)\)。
第二步：证明右\(\subset\)左
任取元素\(x\in \bigcap_{\alpha\in\Gamma} (X - A_\alpha)\)。
- 依据任意交集的定义，对任意\(\alpha\in\Gamma\)，都有\(x\in X - A_\alpha\)。
- 依据差集的定义，即对任意\(\alpha\in\Gamma\)，都有\(x\in X\)且\(x\notin A_\alpha\)。
- 因此，\(x\in X\)且对任意\(\alpha\in\Gamma\)，\(x\notin A_\alpha\)，依据并集定义的否定，\(x\notin \bigcup_{\alpha\in\Gamma} A_\alpha\)。
- 依据差集的定义，\(x\in X - \bigcup_{\alpha\in\Gamma} A_\alpha\)。
- 故\(\bigcap_{\alpha\in\Gamma} (X - A_\alpha) \subset X - \bigcup_{\alpha\in\Gamma} A_\alpha\)。
第三步：结论
依据集合相等的定义，左右两边互相包含，故等式成立。
2. 证明第二个公式：\(X - \bigcap_{\alpha\in\Gamma} A_\alpha = \bigcup_{\alpha\in\Gamma} (X - A_\alpha)\)
同样采用双向包含法证明。
第一步：证明左\(\subset\)右
任取元素\(x\in X - \bigcap_{\alpha\in\Gamma} A_\alpha\)。
- 依据差集的定义，\(x\in X\)且\(x\notin \bigcap_{\alpha\in\Gamma} A_\alpha\)。
- 依据交集定义的否定，\(x\notin \bigcap_{\alpha\in\Gamma} A_\alpha\)等价于：存在\(\alpha_0\in\Gamma\)，使得\(x\notin A_{\alpha_0}\)。
- 因此，存在\(\alpha_0\in\Gamma\)，使得\(x\in X\)且\(x\notin A_{\alpha_0}\)，依据差集的定义，即\(x\in X - A_{\alpha_0}\)。
- 依据任意并集的定义，\(x\in \bigcup_{\alpha\in\Gamma} (X - A_\alpha)\)。
- 故\(X - \bigcap_{\alpha\in\Gamma} A_\alpha \subset \bigcup_{\alpha\in\Gamma} (X - A_\alpha)\)。
第二步：证明右\(\subset\)左
任取元素\(x\in \bigcup_{\alpha\in\Gamma} (X - A_\alpha)\)。
- 依据任意并集的定义，存在\(\alpha_0\in\Gamma\)，使得\(x\in X - A_{\alpha_0}\)。
- 依据差集的定义，即\(x\in X\)且\(x\notin A_{\alpha_0}\)。
- 因此，\(x\in X\)且存在\(\alpha_0\in\Gamma\)使得\(x\notin A_{\alpha_0}\)，依据交集定义的否定，\(x\notin \bigcap_{\alpha\in\Gamma} A_\alpha\)。
- 依据差集的定义，\(x\in X - \bigcap_{\alpha\in\Gamma} A_\alpha\)。
- 故\(\bigcup_{\alpha\in\Gamma} (X - A_\alpha) \subset X - \bigcap_{\alpha\in\Gamma} A_\alpha\)。
第三步：结论
依据集合相等的定义，左右两边互相包含，故等式成立。
三、德摩根公式的逻辑本质（核心思想）
德摩根公式绝不是一个机械的符号变换规则，它的本质是一阶逻辑中量词的否定规则：
- 全称量词\(\forall\)（"所有"）的否定是存在量词\(\exists\)（"存在"）：\[\neg\left(\forall \alpha\in\Gamma, P(\alpha)\right) \iff \exists \alpha\in\Gamma, \neg P(\alpha) \]
- 存在量词\(\exists\)（"存在"）的否定是全称量词\(\forall\)（"所有"）：\[\neg\left(\exists \alpha\in\Gamma, P(\alpha)\right) \iff \forall \alpha\in\Gamma, \neg P(\alpha) \]
集合运算与逻辑量词存在完美的对应关系：
- 并集\(\bigcup\)对应存在量词\(\exists\)：\(x\in \bigcup_{\alpha\in\Gamma} A_\alpha \iff \exists \alpha\in\Gamma, x\in A_\alpha\)
- 交集\(\bigcap\)对应全称量词\(\forall\)：\(x\in \bigcap_{\alpha\in\Gamma} A_\alpha \iff \forall \alpha\in\Gamma, x\in A_\alpha\)
- 补集\(^c\)对应逻辑否定\(\neg\)：\(x\in A^c \iff \neg(x\in A)\)
因此，德摩根公式本质上是逻辑否定运算对量词的分配律，这是它具有普适性的根本原因。
四、德摩根公式的重要意义与典型应用
1. 运算对偶性原理
德摩根公式揭示了集合运算的对偶性：并与交互为对偶运算，补集是对偶变换。这意味着：
任何关于集合运算的恒等式，只要将所有的\(\cup\)换成\(\cap\)，所有的\(\cap\)换成\(\cup\)，同时将每个集合换成它的补集，得到的新恒等式仍然成立。
这一原理极大地简化了集合恒等式的证明和记忆。
2. 实变函数中的核心应用
德摩根公式是实变函数论中唯一能在可数并与可数交之间进行转化的工具，这是它区别于其他集合运算定律的关键特征。它的典型应用包括：
- 函数水平集的分解：如非零点集的可数并表示、零点集的可数交表示
- 可测集的性质证明：可测集的可数并、可数交、补集都是可测集
- 函数列收敛性的刻画：几乎处处收敛、依测度收敛的集合论表示
- 测度的可数可加性：将可数交运算转化为可数并运算，从而应用测度的可数可加性
3. 常用推论
- 有限德摩根律（\(\Gamma=\{1,2,\cdots,n\}\)）：\[(A_1\cup A_2\cup\cdots\cup A_n)^c = A_1^c\cap A_2^c\cap\cdots\cap A_n^c \]\[(A_1\cap A_2\cap\cdots\cap A_n)^c = A_1^c\cup A_2^c\cup\cdots\cup A_n^c \]
- 差集形式的德摩根律：\[A - (B\cup C) = (A - B)\cap (A - C) \]\[A - (B\cap C) = (A - B)\cup (A - C) \]
五、典型例题解析
例题：设\(f:X\to\mathbb{R}\)是实函数，证明：
证明：
- 我们已经知道非零点集的分解：\(\{x \mid f(x) \neq 0\} = \bigcup_{n=1}^\infty \left\{x \mid |f(x)| \geq \frac{1}{n}\right\}\)
- 对等式两边同时取补集，左边的补集显然是\(\{x \mid f(x) = 0\}\)
- 右边的补集，依据德摩根公式（补集形式2）：\[\left(\bigcup_{n=1}^\infty \left\{x \mid |f(x)| \geq \frac{1}{n}\right\}\right)^c = \bigcap_{n=1}^\infty \left\{x \mid |f(x)| \geq \frac{1}{n}\right\}^c \]
- 而\(\left\{x \mid |f(x)| \geq \frac{1}{n}\right\}^c = \left\{x \mid |f(x)| < \frac{1}{n}\right\}\)，依据补集的定义
- 因此，\(\{x \mid f(x) = 0\} = \bigcap_{n=1}^\infty \left\{x \mid |f(x)| < \frac{1}{n}\right\}\)，得证。
这个例题完美展示了德摩根公式在函数水平集分解中的核心作用，它将"不等于0"的并集表示转化为"等于0"的交集表示。
六、知识点归纳总结表
| 公式类型 | 数学表达式 | 逻辑本质 | 核心证明依据 | 典型应用场景 | 高频易错点 |
|---|---|---|---|---|---|
| 一般形式1（差对并） | \(X - \bigcup_{\alpha\in\Gamma} A_\alpha = \bigcap_{\alpha\in\Gamma} (X - A_\alpha)\) | 存在量词的否定是全称量词 | 差集定义、并集定义、交集定义 | 并集的差转化为差的交集 | 混淆并与交的位置 |
| 一般形式2（差对交） | \(X - \bigcap_{\alpha\in\Gamma} A_\alpha = \bigcup_{\alpha\in\Gamma} (X - A_\alpha)\) | 全称量词的否定是存在量词 | 差集定义、交集定义、并集定义 | 交集的差转化为差的并集 | 混淆并与交的位置 |
| 补集形式1（并的补） | \(\left(\bigcup_{\alpha\in\Gamma} A_\alpha\right)^c = \bigcap_{\alpha\in\Gamma} A_\alpha^c\) | 存在量词的否定是全称量词 | 补集定义、一般形式1 | 可测集性质、函数非零点集 | 忘记补集依赖于全集 |
| 补集形式2（交的补） | \(\left(\bigcap_{\alpha\in\Gamma} A_\alpha\right)^c = \bigcup_{\alpha\in\Gamma} A_\alpha^c\) | 全称量词的否定是存在量词 | 补集定义、一般形式2 | 函数零点集、收敛性刻画 | 忘记补集依赖于全集 |
| 有限形式1 | \((A_1\cup\cdots\cup A_n)^c = A_1^c\cap\cdots\cap A_n^c\) | 有限存在量词的否定 | 一般形式1（Γ有限） | 有限集合运算化简 | 无 |
| 有限形式2 | \((A_1\cap\cdots\cap A_n)^c = A_1^c\cup\cdots\cup A_n^c\) | 有限全称量词的否定 | 一般形式2（Γ有限） | 有限集合运算化简 | 无 |
定理1.1.3 集合的对称差集 深度解析与完整证明
对称差集是集合论中一个极其重要的运算，它刻画了两个集合"互不重叠"的部分，与逻辑中的"异或"运算完全对应。对称差集的运算性质不仅是集合代数的核心内容，更是测度论、概率论和布尔代数的基础工具。
一、对称差集的定义与直观
1. 定义
集合\(A\)与\(B\)的对称差集定义为：
- 等价定义：\(A\triangle B=(A\cup B)-(A\cap B)\)，即两个集合的并集减去它们的交集
- 元素特征：\(x\in A\triangle B\)当且仅当\(x\)恰好属于\(A\)和\(B\)中的一个
2. 几何直观
韦恩图中，对称差集对应两个圆覆盖的区域中不重叠的部分，也就是"只在A中"和"只在B中"的元素的并集。
二、定理1.1.3 完整证明（每步标注依据）
(1) 并集的分解：\(A\cup B=(A\cap B)\cup(A\triangle B)\)
证明：
-
任取\(x\in A\cup B\)，依据并集的定义，\(x\in A\)或\(x\in B\)。
-
元素可分为三类：
- \(x\in A\)且\(x\in B\)：则\(x\in A\cap B\)
- \(x\in A\)且\(x\notin B\)：则\(x\in A-B\)
- \(x\notin A\)且\(x\in B\)：则\(x\in B-A\)
-
因此，\(x\in A\cap B\)或\(x\in(A-B)\cup(B-A)\)，依据对称差集的定义，即\(x\in(A\cap B)\cup(A\triangle B)\)。
-
故\(A\cup B\subset(A\cap B)\cup(A\triangle B)\)。
-
反之，任取\(x\in(A\cap B)\cup(A\triangle B)\)，则\(x\in A\cap B\)或\(x\in A\triangle B\)。
- 若\(x\in A\cap B\)，则\(x\in A\)且\(x\in B\)，故\(x\in A\cup B\)。
- 若\(x\in A\triangle B\)，则\(x\in A-B\)或\(x\in B-A\)，均有\(x\in A\cup B\)。
-
故\((A\cap B)\cup(A\triangle B)\subset A\cup B\)。
-
依据集合相等的定义，等式成立。
(2) 特殊元素性质：\(A\triangle\varnothing=A\)，\(A\triangle A=\varnothing\)，\(A\triangle A^c=X\)，\(A\triangle X=A^c\)
证明：
-
\(A\triangle\varnothing=A\)
- \(A\triangle\varnothing=(A-\varnothing)\cup(\varnothing-A)\)，依据对称差集的定义
- \(A-\varnothing=A\)，\(\varnothing-A=\varnothing\)，依据差集的定义
- 故\(A\triangle\varnothing=A\cup\varnothing=A\)，依据并集的性质
-
\(A\triangle A=\varnothing\)
- \(A\triangle A=(A-A)\cup(A-A)=\varnothing\cup\varnothing=\varnothing\)，依据对称差集和差集的定义
-
\(A\triangle A^c=X\)
- \(A\triangle A^c=(A-A^c)\cup(A^c-A)\)，依据对称差集的定义
- \(A-A^c=A\)，\(A^c-A=A^c\)，依据差集的定义
- 故\(A\triangle A^c=A\cup A^c=X\)，依据互补律
-
\(A\triangle X=A^c\)
- \(A\triangle X=(A-X)\cup(X-A)\)，依据对称差集的定义
- \(A-X=\varnothing\)，\(X-A=A^c\)，依据差集和补集的定义
- 故\(A\triangle X=\varnothing\cup A^c=A^c\)，依据并集的性质
(3) 交换律：\(A\triangle B=B\triangle A\)
证明：
- \(A\triangle B=(A-B)\cup(B-A)\)，依据对称差集的定义
- \(B\triangle A=(B-A)\cup(A-B)\)，依据对称差集的定义
- 依据并集的交换律，\((A-B)\cup(B-A)=(B-A)\cup(A-B)\)
- 故\(A\triangle B=B\triangle A\)。
(4) 结合律：\((A\triangle B)\triangle C=A\triangle(B\triangle C)\)
证明：
首先证明一个关键引理：\(A-(B\triangle C)=(A-B-C)\cup(A\cap B\cap C)\)
- 任取\(x\in A-(B\triangle C)\)，依据差集的定义，\(x\in A\)且\(x\notin B\triangle C\)。
- 依据对称差集的定义，\(x\notin B\triangle C\)等价于：\(x\in B\cap C\)或\(x\notin B\)且\(x\notin C\)。
- 因此，\(x\in A\)且\(x\in B\cap C\)，或\(x\in A\)且\(x\notin B\)且\(x\notin C\)。
- 即\(x\in A\cap B\cap C\)或\(x\in A-B-C\)，依据差集的定义。
- 故\(A-(B\triangle C)\subset(A-B-C)\cup(A\cap B\cap C)\)。
- 反之，上述推导可逆，故引理成立。
现在证明结合律：
- \(A\triangle(B\triangle C)=(A-(B\triangle C))\cup((B\triangle C)-A)\)，依据对称差集的定义
- 代入引理得：\(A\triangle(B\triangle C)=(A-B-C)\cup(A\cap B\cap C)\cup(B-C-A)\cup(C-B-A)\)
- 同理可证：\((A\triangle B)\triangle C=(A-B-C)\cup(B-A-C)\cup(C-A-B)\cup(A\cap B\cap C)\)
- 两个表达式完全相同，故\((A\triangle B)\triangle C=A\triangle(B\triangle C)\)。
(5) 交对对称差的分配律：\(A\cap(B\triangle C)=(A\cap B)\triangle(A\cap C)\)
证明：
首先证明辅助等式：\(A\cap(B-C)=(A\cap B)-(A\cap C)\)
- 任取\(x\in A\cap(B-C)\)，依据交集和差集的定义，\(x\in A\)且\(x\in B\)且\(x\notin C\)。
- 故\(x\in A\cap B\)且\(x\notin A\cap C\)，依据交集的定义，即\(x\in(A\cap B)-(A\cap C)\)。
- 反之，上述推导可逆，故辅助等式成立。
现在证明分配律：
- \(A\cap(B\triangle C)=A\cap((B-C)\cup(C-B))\)，依据对称差集的定义
- \(=(A\cap(B-C))\cup(A\cap(C-B))\)，依据交对并的分配律
- \(=((A\cap B)-(A\cap C))\cup((A\cap C)-(A\cap B))\)，依据辅助等式
- \(=(A\cap B)\triangle(A\cap C)\)，依据对称差集的定义
- 故等式成立。
(6) 补集的对称差：\(A^c\triangle B^c=A\triangle B\)
证明：
首先证明：\(A^c-B^c=B-A\)
- 任取\(x\in A^c-B^c\)，依据差集和补集的定义，\(x\notin A\)且\(x\in B\)。
- 即\(x\in B-A\)，依据差集的定义。
- 反之，上述推导可逆，故\(A^c-B^c=B-A\)。
现在证明原命题：
- \(A^c\triangle B^c=(A^c-B^c)\cup(B^c-A^c)\)，依据对称差集的定义
- \(=(B-A)\cup(A-B)\)，依据上述结论
- \(=(A-B)\cup(B-A)\)，依据并集的交换律
- \(=A\triangle B\)，依据对称差集的定义
- 故等式成立。
(7) 方程的唯一解：对任意\(A,B\)，存在唯一的集合\(E\)使得\(E\triangle A=B\)
证明：
-
存在性：令\(E=B\triangle A\)，则
- \(E\triangle A=(B\triangle A)\triangle A\)
- \(=B\triangle(A\triangle A)\)，依据对称差的结合律
- \(=B\triangle\varnothing\)，依据性质(2)
- \(=B\)，依据性质(2)
-
故存在性得证。
-
唯一性：假设存在两个集合\(E_1,E_2\)使得\(E_1\triangle A=B\)且\(E_2\triangle A=B\)。
- 则\(E_1\triangle A=E_2\triangle A\)。
- 两边同时与\(A\)作对称差：\((E_1\triangle A)\triangle A=(E_2\triangle A)\triangle A\)。
- 由结合律和性质(2)得：\(E_1\triangle(A\triangle A)=E_2\triangle(A\triangle A)\)，即\(E_1\triangle\varnothing=E_2\triangle\varnothing\)。
- 故\(E_1=E_2\)，唯一性得证。
三、对称差集的本质与重要意义
1. 代数结构意义
集合的幂集\(\mathcal{P}(X)\)关于对称差运算构成一个阿贝尔群：
- 封闭性：对任意\(A,B\in\mathcal{P}(X)\)，\(A\triangle B\in\mathcal{P}(X)\)
- 结合律：已证
- 单位元：空集\(\varnothing\)（\(A\triangle\varnothing=A\)）
- 逆元：每个集合都是自身的逆元（\(A\triangle A=\varnothing\)）
- 交换律：已证
进一步，幂集\(\mathcal{P}(X)\)关于对称差和交运算构成一个布尔环，这是集合代数与抽象代数之间的重要联系。
2. 测度论意义
在测度论中，对称差集的测度\(m(A\triangle B)\)是衡量两个集合"差异程度"的自然度量。如果\(m(A\triangle B)=0\)，则称\(A\)与\(B\)几乎处处相等，这是测度论中最基本的等价关系。
3. 概率论意义
在概率论中，事件\(A\)与\(B\)的对称差对应"恰好有一个事件发生"的事件，其概率为\(P(A\triangle B)=P(A)+P(B)-2P(A\cap B)\)。
四、知识点归纳总结表
| 性质 | 数学表达式 | 核心证明依据 | 典型应用 | 易错点 |
|---|---|---|---|---|
| 定义 | \(A\triangle B=(A-B)\cup(B-A)=(A\cup B)-(A\cap B)\) | 差集、并集、交集定义 | 集合差异刻画 | 混淆对称差与并集 |
| 并集分解 | \(A\cup B=(A\cap B)\cup(A\triangle B)\) | 元素分类讨论、对称差定义 | 集合不交分解 | 忘记交集部分 |
| 特殊元素 | \(A\triangle\varnothing=A\) \(A\triangle A=\varnothing\) \(A\triangle A^c=X\) \(A\triangle X=A^c\) |
差集定义、互补律 | 代数运算化简 | 混淆单位元与逆元 |
| 交换律 | \(A\triangle B=B\triangle A\) | 并集交换律、对称差定义 | 调整运算顺序 | 无 |
| 结合律 | \((A\triangle B)\triangle C=A\triangle(B\triangle C)\) | 引理\(A-(B\triangle C)=(A-B-C)\cup(A\cap B\cap C)\) | 省略运算括号 | 证明过程复杂易出错 |
| 分配律 | \(A\cap(B\triangle C)=(A\cap B)\triangle(A\cap C)\) | 辅助等式\(A\cap(B-C)=(A\cap B)-(A\cap C)\) | 交与对称差的混合运算 | 误用并对对称差的分配律（不成立） |
| 补集性质 | \(A^c\triangle B^c=A\triangle B\) | 补集的差集性质\(A^c-B^c=B-A\) | 补集运算化简 | 符号变换错误 |
| 方程解 | 存在唯一\(E\)使\(E\triangle A=B\)，且\(E=B\triangle A\) | 结合律、特殊元素性质 | 集合方程求解 | 忘记证明唯一性 |
集合列的上极限集与下极限集 深度解析
集合列的极限是实变函数论中最核心、最难理解的概念之一，它是从有限集合运算过渡到无限集合运算的最终桥梁。上极限集和下极限集刻画了集合列的"长期行为"，是定义可测函数列收敛性、研究测度极限性质的基础工具。
一、上极限集（上限集）
1. 定义与等价性证明
定义1（直观定义）：集合列\(\{A_k\}\)的上极限集定义为
- 直观理解：元素\(x\)无限次出现在集合列中，即"\(x\)在集合列中出现无穷多次"
定义2（量化定义）：
等价性证明：
- 定义1\(\implies\)定义2：设\(x\)属于无穷多个\(A_k\)。任取\(n\in\mathbb{N}\)，由于只有有限个\(k<n\)，故必存在\(k\geq n\)使得\(x\in A_k\)。因此\(x\)满足定义2。
- 定义2\(\implies\)定义1：设\(x\)满足定义2。取\(n=1\)，存在\(k_1\geq1\)使得\(x\in A_{k_1}\)；取\(n=k_1+1\)，存在\(k_2\geq k_1+1\)使得\(x\in A_{k_2}\)；依此类推，得到严格递增的序列\(\{k_i\}\)使得\(x\in A_{k_i}\)对所有\(i\)成立。因此\(x\)属于无穷多个\(A_k\)，满足定义1。
- 依据：数学归纳法、自然数的良序性
2. 集合运算表示（最常用形式）
上极限集可以表示为可数交与可数并的复合运算：
证明：
- 任取\(x\in\varlimsup_{k\to\infty} A_k\)，依据定义2，对任意\(n\in\mathbb{N}\)，存在\(k\geq n\)使得\(x\in A_k\)。依据并集的定义，这意味着对任意\(n\in\mathbb{N}\)，\(x\in\bigcup_{k=n}^\infty A_k\)。依据交集的定义，\(x\in\bigcap_{n=1}^\infty \bigcup_{k=n}^\infty A_k\)。
- 反之，任取\(x\in\bigcap_{n=1}^\infty \bigcup_{k=n}^\infty A_k\)，依据交集的定义，对任意\(n\in\mathbb{N}\)，\(x\in\bigcup_{k=n}^\infty A_k\)。依据并集的定义，这意味着对任意\(n\in\mathbb{N}\)，存在\(k\geq n\)使得\(x\in A_k\)。依据定义2，\(x\in\varlimsup_{k\to\infty} A_k\)。
- 依据集合相等的定义，等式成立。
二、下极限集（下限集）
1. 定义与等价性证明
定义1（直观定义）：集合列\(\{A_k\}\)的下极限集定义为
- 直观理解：元素\(x\)最终一直出现在集合列中，即"\(x\)从某个下标开始永远属于所有后续集合"
定义2（量化定义）：
等价性证明：
- 定义1\(\implies\)定义2：设只有有限个\(k\)使得\(x\notin A_k\)。令\(n_0\)为这些\(k\)中的最大值加1（若没有这样的\(k\)，则\(n_0=1\)）。则当\(k\geq n_0\)时，必有\(x\in A_k\)。因此\(x\)满足定义2。
- 定义2\(\implies\)定义1：设存在\(n_0\in\mathbb{N}\)，当\(k\geq n_0\)时\(x\in A_k\)。则\(x\notin A_k\)最多只能发生在\(k=1,2,\cdots,n_0-1\)，即只有有限个\(k\)使得\(x\notin A_k\)。因此\(x\)满足定义1。
- 依据：有限集的性质、自然数的有序性
2. 集合运算表示（最常用形式）
下极限集可以表示为可数并与可数交的复合运算：
证明：
- 任取\(x\in\varliminf_{k\to\infty} A_k\)，依据定义2，存在\(n_0\in\mathbb{N}\)，当\(k\geq n_0\)时\(x\in A_k\)。依据交集的定义，这意味着\(x\in\bigcap_{k=n_0}^\infty A_k\)。依据并集的定义，\(x\in\bigcup_{n=1}^\infty \bigcap_{k=n}^\infty A_k\)。
- 反之，任取\(x\in\bigcup_{n=1}^\infty \bigcap_{k=n}^\infty A_k\)，依据并集的定义，存在\(n_0\in\mathbb{N}\)使得\(x\in\bigcap_{k=n_0}^\infty A_k\)。依据交集的定义，这意味着当\(k\geq n_0\)时\(x\in A_k\)。依据定义2，\(x\in\varliminf_{k\to\infty} A_k\)。
- 依据集合相等的定义，等式成立。
三、上下极限集的基本关系
1. 包含关系链
完整证明：
-
证明\(\bigcap_{k=1}^\infty A_k \subset \varliminf_{k\to\infty} A_k\)
- 任取\(x\in\bigcap_{k=1}^\infty A_k\)，依据交集的定义，对所有\(k\in\mathbb{N}\)，\(x\in A_k\)。
- 取\(n_0=1\)，则当\(k\geq n_0\)时\(x\in A_k\)，依据下极限的定义2，\(x\in\varliminf_{k\to\infty} A_k\)。
-
证明\(\varliminf_{k\to\infty} A_k \subset \varlimsup_{k\to\infty} A_k\)
- 任取\(x\in\varliminf_{k\to\infty} A_k\)，依据定义2，存在\(n_0\in\mathbb{N}\)，当\(k\geq n_0\)时\(x\in A_k\)。
- 任取\(n\in\mathbb{N}\)，取\(k=\max(n,n_0)\)，则\(k\geq n\)且\(x\in A_k\)，依据上极限的定义2，\(x\in\varlimsup_{k\to\infty} A_k\)。
-
证明\(\varlimsup_{k\to\infty} A_k \subset \bigcup_{k=1}^\infty A_k\)
- 任取\(x\in\varlimsup_{k\to\infty} A_k\)，依据定义1，存在至少一个\(k\)使得\(x\in A_k\)。
- 依据并集的定义，\(x\in\bigcup_{k=1}^\infty A_k\)。
2. 集合列的收敛性
定义：如果\(\varlimsup_{k\to\infty} A_k = \varliminf_{k\to\infty} A_k\)，则称集合列\(\{A_k\}\)收敛，其极限集记为
四、重要性质与典型例子
1. 德摩根律
上下极限集满足对偶关系：
证明（第一个等式）：
- \(\left(\varlimsup_{k\to\infty} A_k\right)^c = \left(\bigcap_{n=1}^\infty \bigcup_{k=n}^\infty A_k\right)^c\)，依据上极限的集合运算表示
- \(=\bigcup_{n=1}^\infty \left(\bigcup_{k=n}^\infty A_k\right)^c\)，依据德摩根律
- \(=\bigcup_{n=1}^\infty \bigcap_{k=n}^\infty A_k^c\)，依据德摩根律
- \(=\varliminf_{k\to\infty} A_k^c\)，依据下极限的集合运算表示
2. 单调性
- 若\(\{A_k\}\)是递增集合列（\(A_1\subset A_2\subset\cdots\subset A_k\subset\cdots\)），则\(\lim_{k\to\infty} A_k = \bigcup_{k=1}^\infty A_k\)
- 若\(\{A_k\}\)是递减集合列（\(A_1\supset A_2\supset\cdots\supset A_k\supset\cdots\)），则\(\lim_{k\to\infty} A_k = \bigcap_{k=1}^\infty A_k\)
3. 典型例子
例1：设\(A_k = [0, 1+\frac{1}{k}]\)，求\(\varlimsup_{k\to\infty} A_k\)和\(\varliminf_{k\to\infty} A_k\)。
- 解：\(\{A_k\}\)是递减集合列，故\(\lim_{k\to\infty} A_k = \bigcap_{k=1}^\infty [0,1+\frac{1}{k}] = [0,1]\)。
例2：设\(A_k = \begin{cases}[0,1], & k\text{为偶数} \\ [0,2], & k\text{为奇数}\end{cases}\)，求上下极限。
- 解：对任意\(x\in[0,2]\)，\(x\)属于所有奇数项的\(A_k\)，故属于无穷多个\(A_k\)，因此\(\varlimsup_{k\to\infty} A_k = [0,2]\)。
- 对任意\(x\in[0,1]\)，\(x\)属于所有\(A_k\)，故从\(n_0=1\)开始永远属于\(A_k\)，因此\(\varliminf_{k\to\infty} A_k = [0,1]\)。
- 由于上下极限不相等，该集合列不收敛。
五、知识点归纳总结表
| 概念 | 直观定义 | 量化定义 | 集合运算表示 | 核心逻辑 | 典型性质 | 易错点 |
|---|---|---|---|---|---|---|
| 上极限集 | 属于无穷多个\(A_k\)的元素 | \(\forall n\in\mathbb{N},\exists k\geq n,x\in A_k\) | \(\bigcap_{n=1}^\infty \bigcup_{k=n}^\infty A_k\) | 对所有\(n\)，存在\(k\geq n\) | 包含下极限集、德摩根对偶 | 混淆交并顺序 |
| 下极限集 | 只有有限个\(k\)不属于\(A_k\)的元素 | \(\exists n_0\in\mathbb{N},\forall k\geq n_0,x\in A_k\) | \(\bigcup_{n=1}^\infty \bigcap_{k=n}^\infty A_k\) | 存在\(n_0\)，对所有\(k\geq n_0\) | 包含所有集合的交、德摩根对偶 | 混淆交并顺序 |
| 收敛集合列 | 上下极限相等 | \(\varlimsup A_k = \varliminf A_k\) | \(\lim A_k = \varlimsup A_k = \varliminf A_k\) | 最终行为一致 | 单调集合列必收敛 | 误认为所有集合列都收敛 |
| 递增集合列极限 | 所有集合的并 | - | \(\bigcup_{k=1}^\infty A_k\) | 不断扩大最终覆盖所有 | 极限是并集 | 与递减列混淆 |
| 递减集合列极限 | 所有集合的交 | - | \(\bigcap_{k=1}^\infty A_k\) | 不断缩小最终剩下公共部分 | 极限是交集 | 与递增列混淆 |
定理1.1.4 上下极限集的可数交并表示 深度解析
本定理是实变函数论中最具革命性的定理之一，它将"无穷多次出现"和"最终一直出现"这两个模糊的定性概念，精确地转化为可数交与可数并这两种基本集合运算的复合。这一转化不仅奠定了集合列极限理论的严格基础，更为可测集、可测函数以及勒贝格积分的定义铺平了道路。
一、定理完整陈述
设\(\{A_k\}\)为任意集合列，则：
- 上极限集的可数交并表示：\[\boldsymbol{\varlimsup_{k\to\infty} A_k = \bigcap_{n=1}^\infty \bigcup_{k=n}^\infty A_k} \]
- 下极限集的可数交并表示：\[\boldsymbol{\varliminf_{k\to\infty} A_k = \bigcup_{n=1}^\infty \bigcap_{k=n}^\infty A_k} \]
二、完整严格证明（每步标注依据）
1. 上极限集表示式的证明
我们通过三步等价性来证明：
第一步：直观定义与量化定义的等价性
- 证明：
- 正向：若\(x\)属于无穷多个\(A_k\)，任取\(n\in\mathbb{N}\)，由于小于\(n\)的自然数只有有限个，故必存在\(k\geq n\)使得\(x\in A_k\)。
- 反向：若对任意\(n\in\mathbb{N}\)都存在\(k\geq n\)使得\(x\in A_k\)，取\(n=1\)得\(k_1\geq1\)，取\(n=k_1+1\)得\(k_2\geq k_1+1\)，依此类推得到无穷多个\(k_i\)使得\(x\in A_{k_i}\)。
- 依据：自然数的有序性、数学归纳法
第二步：量化定义与并集的等价性
- 证明：
- 这是并集定义的直接应用。\(\bigcup_{k=n}^\infty A_k\)表示"至少属于一个下标不小于\(n\)的集合"，即"存在\(k\geq n\)使得\(x\in A_k\)"。
- 依据：可数并集的定义（元素属于并集当且仅当它至少属于其中一个集合）
第三步：并集与交集的等价性
- 证明：
- 这是交集定义的直接应用。\(\bigcap_{n=1}^\infty B_n\)表示"属于所有\(B_n\)"，即"对任意\(n\in\mathbb{N}\)，\(x\in B_n\)"。这里\(B_n=\bigcup_{k=n}^\infty A_k\)。
- 依据：可数交集的定义（元素属于交集当且仅当它属于每一个集合）
结论
由等价关系的传递性，得：
2. 下极限集表示式的证明
同样通过三步等价性来证明：
第一步：直观定义与量化定义的等价性
- 证明：
- 正向：若只有有限个\(k\)使得\(x\notin A_k\)，令\(n_0\)为这些\(k\)中的最大值加1（若没有则\(n_0=1\)），则当\(k\geq n_0\)时必有\(x\in A_k\)。
- 反向：若存在\(n_0\in\mathbb{N}\)使得当\(k\geq n_0\)时\(x\in A_k\)，则\(x\notin A_k\)最多发生在\(k=1,2,\cdots,n_0-1\)，即只有有限个。
- 依据：有限集的性质、自然数的有序性
第二步：量化定义与交集的等价性
- 证明：
- 这是交集定义的直接应用。\(\bigcap_{k=n_0}^\infty A_k\)表示"属于所有下标不小于\(n_0\)的集合"，即"对任意\(k\geq n_0\)，\(x\in A_k\)"。
- 依据：可数交集的定义
第三步：交集与并集的等价性
- 证明：
- 这是并集定义的直接应用。\(\bigcup_{n=1}^\infty C_n\)表示"至少属于一个\(C_n\)"，即"存在\(n_0\in\mathbb{N}\)使得\(x\in C_{n_0}\)"。这里\(C_n=\bigcap_{k=n}^\infty A_k\)。
- 依据：可数并集的定义
结论
由等价关系的传递性，得：
三、定理的核心意义与革命性价值
1. 定性概念的定量转化
本定理将两个难以直接处理的定性概念：
- "无穷多次出现"（上极限）
- "最终一直出现"（下极限）
转化为了可以用可数交和可数并这两种基本运算精确表示的形式。这是数学中"化归思想"的典范。
2. 可测性的保证
可测集类的一个基本性质是：对可数交和可数并运算封闭。因此，本定理直接推出：
可测集列的上极限集和下极限集都是可测集。
这一结论是可测函数理论的基石，因为可测函数的定义就是基于水平集的可测性，而函数列的收敛性又可以通过集合列的上下极限来刻画。
3. 运算顺序的本质区别
- 上极限：先并后交（\(\bigcap\bigcup\)），对应逻辑量词顺序：\(\forall\exists\)（对所有，存在）
- 下极限：先交后并（\(\bigcup\bigcap\)），对应逻辑量词顺序：\(\exists\forall\)（存在，对所有）
这两种量词顺序的区别是数学中最深刻的区别之一，也是初学者最容易混淆的地方。顺序一旦颠倒，结果完全不同。
四、典型例子演示
例：设集合列\(A_k = \begin{cases}[0,1], & k\text{为偶数} \\ [0,2], & k\text{为奇数}\end{cases}\)，用定理1.1.4计算上下极限。
解：
-
计算上极限：
- 对任意\(n\in\mathbb{N}\)，\(\bigcup_{k=n}^\infty A_k = [0,2]\)（因为无论\(n\)是奇数还是偶数，后面总有奇数项的\(A_k=[0,2]\)）
- 因此\(\varlimsup_{k\to\infty} A_k = \bigcap_{n=1}^\infty [0,2] = [0,2]\)
-
计算下极限：
- 对任意\(n\in\mathbb{N}\)，\(\bigcap_{k=n}^\infty A_k = [0,1]\)（因为无论\(n\)是奇数还是偶数，后面总有偶数项的\(A_k=[0,1]\)，交集只能是公共部分）
- 因此\(\varliminf_{k\to\infty} A_k = \bigcup_{n=1}^\infty [0,1] = [0,1]\)
结果与我们之前的直观分析完全一致，验证了定理的正确性。
五、重要推论：单调集合列的极限
1. 递增集合列
若\(\{A_k\}\)是递增集合列（\(A_1\subset A_2\subset\cdots\subset A_k\subset\cdots\)），则：
证明：
- 对任意\(n\in\mathbb{N}\)，\(\bigcup_{k=n}^\infty A_k = \bigcup_{k=1}^\infty A_k\)（递增列的尾并等于全并）
- 故\(\varlimsup_{k\to\infty} A_k = \bigcap_{n=1}^\infty \bigcup_{k=1}^\infty A_k = \bigcup_{k=1}^\infty A_k\)
- 对任意\(n\in\mathbb{N}\)，\(\bigcap_{k=n}^\infty A_k = A_n\)（递增列的尾交等于首项）
- 故\(\varliminf_{k\to\infty} A_k = \bigcup_{n=1}^\infty A_n = \bigcup_{k=1}^\infty A_k\)
- 上下极限相等，故\(\lim_{k\to\infty} A_k = \bigcup_{k=1}^\infty A_k\)
2. 递减集合列
若\(\{A_k\}\)是递减集合列（\(A_1\supset A_2\supset\cdots\supset A_k\supset\cdots\)），则：
证明：与递增列类似，留作练习。
六、知识点归纳总结表
| 概念 | 集合运算表示 | 逻辑量词顺序 | 运算顺序 | 直观含义 | 单调列特例 |
|---|---|---|---|---|---|
| 上极限集 | \(\varlimsup A_k = \bigcap_{n=1}^\infty \bigcup_{k=n}^\infty A_k\) | \(\forall\exists\) | 先并后交 | 无穷多次出现 | 递增列：\(\bigcup A_k\) |
| 下极限集 | \(\varliminf A_k = \bigcup_{n=1}^\infty \bigcap_{k=n}^\infty A_k\) | \(\exists\forall\) | 先交后并 | 最终一直出现 | 递减列：\(\bigcap A_k\) |
定理1.1.5 单调集列的极限定理 深度解析
本定理是实变函数论中最基础、最常用的定理之一，它揭示了单调集合列的极限行为具有极其简单的形式。这一定理不仅是集合列极限理论的核心结论，更是测度论中"测度的连续性"、积分论中"单调收敛定理"等一系列重要结果的基石。
一、定理完整陈述
设\(\{A_k\}\)为单调集列：
- 单调递增集列：满足\(A_1\subset A_2\subset\cdots\subset A_k\subset A_{k+1}\subset\cdots\)
- 单调递减集列：满足\(A_1\supset A_2\supset\cdots\supset A_k\supset A_{k+1}\supset\cdots\)
则单调集列必收敛，且其极限为：
二、完整严格证明（两种证法，每步标注依据）
教材给出了两种证明方法，下面将对两种方法进行精细化拆解，严格标注每一步的理论依据。
证法1：利用上下极限的可数交并表示（定理1.1.4）
1. 单调递增集列的证明
已知\(\{A_k\}\)单调递增，即对任意\(k\in\mathbb{N}\)，\(A_k\subset A_{k+1}\)。
第一步：计算上极限
- 对任意\(n\in\mathbb{N}\)，由于\(\{A_k\}\)单调递增，所有下标不小于\(n\)的集合的并集等于最后一个集合（实际上是所有集合的并集），即：\[\bigcup_{k=n}^\infty A_k = \bigcup_{k=1}^\infty A_k \]依据：单调递增集列的性质（若\(A\subset B\)，则\(A\cup B=B\)）
- 因此，上极限为：\[\varlimsup_{k\to\infty} A_k = \bigcap_{n=1}^\infty \bigcup_{k=n}^\infty A_k = \bigcap_{n=1}^\infty \bigcup_{k=1}^\infty A_k = \bigcup_{k=1}^\infty A_k \]依据：定理1.1.4（上极限的可数交并表示）、交集的性质（\(\bigcap_{n=1}^\infty C=C\)）
第二步：计算下极限
- 对任意\(n\in\mathbb{N}\)，由于\(\{A_k\}\)单调递增，所有下标不小于\(n\)的集合的交集等于第一个集合\(A_n\)，即：\[\bigcap_{k=n}^\infty A_k = A_n \]依据：单调递增集列的性质（若\(A\subset B\)，则\(A\cap B=A\)）
- 因此，下极限为：\[\varliminf_{k\to\infty} A_k = \bigcup_{n=1}^\infty \bigcap_{k=n}^\infty A_k = \bigcup_{n=1}^\infty A_n = \bigcup_{k=1}^\infty A_k \]依据：定理1.1.4（下极限的可数交并表示）
第三步：结论
由于\(\varlimsup_{k\to\infty} A_k = \varliminf_{k\to\infty} A_k = \bigcup_{k=1}^\infty A_k\)，依据集合列收敛的定义，单调递增集列收敛，且：
2. 单调递减集列的证明
已知\(\{A_k\}\)单调递减，即对任意\(k\in\mathbb{N}\)，\(A_k\supset A_{k+1}\)。
第一步：计算上极限
- 对任意\(n\in\mathbb{N}\)，由于\(\{A_k\}\)单调递减，所有下标不小于\(n\)的集合的并集等于第一个集合\(A_n\)，即：\[\bigcup_{k=n}^\infty A_k = A_n \]依据：单调递减集列的性质（若\(A\supset B\)，则\(A\cup B=A\)）
- 因此，上极限为：\[\varlimsup_{k\to\infty} A_k = \bigcap_{n=1}^\infty \bigcup_{k=n}^\infty A_k = \bigcap_{n=1}^\infty A_n = \bigcap_{k=1}^\infty A_k \]依据：定理1.1.4、交集的定义
第二步：计算下极限
- 对任意\(n\in\mathbb{N}\)，由于\(\{A_k\}\)单调递减，所有下标不小于\(n\)的集合的交集等于所有集合的交集，即：\[\bigcap_{k=n}^\infty A_k = \bigcap_{k=1}^\infty A_k \]依据：单调递减集列的性质（若\(A\supset B\)，则\(A\cap B=B\)）
- 因此，下极限为：\[\varliminf_{k\to\infty} A_k = \bigcup_{n=1}^\infty \bigcap_{k=n}^\infty A_k = \bigcup_{n=1}^\infty \bigcap_{k=1}^\infty A_k = \bigcap_{k=1}^\infty A_k \]依据：定理1.1.4、并集的性质（\(\bigcup_{n=1}^\infty C=C\)）
第三步：结论
由于\(\varlimsup_{k\to\infty} A_k = \varliminf_{k\to\infty} A_k = \bigcap_{k=1}^\infty A_k\)，依据集合列收敛的定义，单调递减集列收敛，且：
证法2：利用上下极限的定义直接证明
我们知道，对任意集合列，都有\(\varliminf_{k\to\infty} A_k \subset \varlimsup_{k\to\infty} A_k\)。因此，只需证明对单调集列，有\(\varlimsup_{k\to\infty} A_k \subset \varliminf_{k\to\infty} A_k\)，即可得出上下极限相等。
证明：
-
任取\(x\in\varlimsup_{k\to\infty} A_k\)，依据上极限的定义，\(x\)属于无穷多个\(A_k\)。
-
设这些包含\(x\)的集合的下标为\(k_1 < k_2 < \cdots < k_i < \cdots\)。
-
情况1：\(\{A_k\}\)单调递增
- 对任意\(k\geq k_1\)，由于\(A_{k_1}\subset A_k\)，故\(x\in A_k\)。
- 即存在\(n_0=k_1\)，当\(k\geq n_0\)时，\(x\in A_k\)。
- 依据下极限的定义，\(x\in\varliminf_{k\to\infty} A_k\)。
-
情况2：\(\{A_k\}\)单调递减
- 对任意\(k\leq k_i\)，由于\(A_k\supset A_{k_i}\)，故\(x\in A_k\)。
- 但\(x\)属于无穷多个\(A_k\)，这意味着\(x\)属于所有\(A_k\)（否则，若存在某个\(k_0\)使得\(x\notin A_{k_0}\)，则对所有\(k\geq k_0\)，由于\(A_k\subset A_{k_0}\)，都有\(x\notin A_k\)，与\(x\)属于无穷多个\(A_k\)矛盾）。
- 即存在\(n_0=1\)，当\(k\geq n_0\)时，\(x\in A_k\)。
- 依据下极限的定义，\(x\in\varliminf_{k\to\infty} A_k\)。
-
因此，无论\(\{A_k\}\)是单调递增还是单调递减，都有\(\varlimsup_{k\to\infty} A_k \subset \varliminf_{k\to\infty} A_k\)。
-
结合\(\varliminf_{k\to\infty} A_k \subset \varlimsup_{k\to\infty} A_k\)，得\(\varlimsup_{k\to\infty} A_k = \varliminf_{k\to\infty} A_k\)，故单调集列收敛。
-
进一步，对单调递增集列，\(\lim_{k\to\infty} A_k = \{x \mid \exists n_0\in\mathbb{N}, \text{当}k\geq n_0\text{时},x\in A_k\} = \bigcup_{k=1}^\infty A_k\)。
-
对单调递减集列，\(\lim_{k\to\infty} A_k = \{x \mid \forall k\in\mathbb{N},x\in A_k\} = \bigcap_{k=1}^\infty A_k\)。
三、定理的核心意义与重要应用
1. 理论意义
- 收敛性保证：本定理告诉我们，所有单调集合列都收敛。这是一个非常强的结论，与数列的单调有界收敛定理完全对应。
- 运算简化：将复杂的集合列极限运算，简化为简单的可数并或可数交运算。这是实变函数中最基本的化简技巧之一。
- 桥梁作用：连接了集合的有限运算与无限运算，为测度和积分的极限理论奠定了基础。
2. 典型应用
- 测度的连续性：若\(m\)是测度，\(\{A_k\}\)是单调递增可测集列，则\(m\left(\lim_{k\to\infty} A_k\right) = \lim_{k\to\infty} m(A_k)\)；若\(\{A_k\}\)是单调递减可测集列且\(m(A_1)<\infty\)，则\(m\left(\lim_{k\to\infty} A_k\right) = \lim_{k\to\infty} m(A_k)\)。
- 单调收敛定理：勒贝格积分的单调收敛定理，其证明本质上依赖于单调集列的极限定理。
- 集合的逼近：任意可测集都可以用单调递增的闭集列或单调递减的开集列来逼近，这是测度论中构造性证明的常用方法。
四、典型例题解析
例1：设\(A_k = [0, 1-\frac{1}{k}]\)，\(k=1,2,\cdots\)，求\(\lim_{k\to\infty} A_k\)。
- 解：显然\(\{A_k\}\)是单调递增集列，因为\(1-\frac{1}{k}\)随\(k\)增大而增大。
- 根据定理1.1.5，\(\lim_{k\to\infty} A_k = \bigcup_{k=1}^\infty [0,1-\frac{1}{k}] = [0,1)\)。
例2：设\(A_k = [0, 1+\frac{1}{k}]\)，\(k=1,2,\cdots\)，求\(\lim_{k\to\infty} A_k\)。
- 解：显然\(\{A_k\}\)是单调递减集列，因为\(1+\frac{1}{k}\)随\(k\)增大而减小。
- 根据定理1.1.5，\(\lim_{k\to\infty} A_k = \bigcap_{k=1}^\infty [0,1+\frac{1}{k}] = [0,1]\)。
例3：设\(A_k = (-\frac{1}{k}, \frac{1}{k})\)，\(k=1,2,\cdots\)，求\(\lim_{k\to\infty} A_k\)。
- 解：\(\{A_k\}\)是单调递减集列，故\(\lim_{k\to\infty} A_k = \bigcap_{k=1}^\infty (-\frac{1}{k},\frac{1}{k}) = \{0\}\)。
五、知识点归纳总结表
| 集列类型 | 定义 | 极限 | 核心性质 | 典型例子 | 应用场景 |
|---|---|---|---|---|---|
| 单调递增集列 | \(A_1\subset A_2\subset\cdots\subset A_k\subset\cdots\) | \(\bigcup_{k=1}^\infty A_k\) | 极限是所有集合的并集 | \(A_k=[0,1-\frac{1}{k}]\)，极限为\([0,1)\) | 测度下连续性、单调收敛定理 |
| 单调递减集列 | \(A_1\supset A_2\supset\cdots\supset A_k\supset\cdots\) | \(\bigcap_{k=1}^\infty A_k\) | 极限是所有集合的交集 | \(A_k=[0,1+\frac{1}{k}]\)，极限为\([0,1]\) | 测度上连续性、控制收敛定理 |
定理1.1.6 上下极限集的补集对偶定理 深度解析
本定理是德摩根律在集合列极限运算上的自然推广，它揭示了补集运算与上下极限运算之间的完美对偶关系。这一对偶性不仅是集合论内在对称性的深刻体现，更是实变函数中处理补集极限、刻画函数列收敛性的核心工具。
一、定理完整陈述
设\(\{A_k\}\)是全集\(X\)中的任意集合列，则：
- 上极限的补等于补集的下极限：\[\boldsymbol{X - \varlimsup_{k\to\infty} A_k = \varliminf_{k\to\infty} (X - A_k)} \]
- 下极限的补等于补集的上极限：\[\boldsymbol{X - \varliminf_{k\to\infty} A_k = \varlimsup_{k\to\infty} (X - A_k)} \]
若用补集符号\(A^c=X-A\)表示，定理可写为更简洁的对偶形式：
二、完整严格证明（两种证法，每步标注依据）
教材给出了两种本质不同但等价的证明方法，下面将对两种方法进行精细化拆解，严格标注每一步的理论依据。
证法1：利用上下极限的可数交并表示与德摩根律
这是最简洁、最常用的证明方法，它将极限运算转化为基本的交并运算，再应用德摩根律。
1. 证明第一个等式：\(X - \varlimsup_{k\to\infty} A_k = \varliminf_{k\to\infty} (X - A_k)\)
2. 证明第二个等式：\(X - \varliminf_{k\to\infty} A_k = \varlimsup_{k\to\infty} (X - A_k)\)
证法2：利用元素归属关系与逻辑量词否定
这是最本质、最直观的证明方法，它直接从上下极限的定义出发，通过逻辑量词的否定规则来证明。
1. 证明第一个等式：\(X - \varlimsup_{k\to\infty} A_k = \varliminf_{k\to\infty} (X - A_k)\)
任取元素\(x\in X\)，我们证明其属于左右两边的等价性：
2. 证明第二个等式：\(X - \varliminf_{k\to\infty} A_k = \varlimsup_{k\to\infty} (X - A_k)\)
任取元素\(x\in X\)，我们证明其属于左右两边的等价性：
三、定理的核心意义与对偶性原理
1. 德摩根律的无限推广
本定理本质上是德摩根律从有限运算到无限极限运算的推广：
- 有限德摩根律：\((A\cup B)^c=A^c\cap B^c\)，\((A\cap B)^c=A^c\cup B^c\)
- 无限德摩根律：\(\left(\bigcup_{k=1}^\infty A_k\right)^c=\bigcap_{k=1}^\infty A_k^c\)，\(\left(\bigcap_{k=1}^\infty A_k\right)^c=\bigcup_{k=1}^\infty A_k^c\)
- 极限德摩根律（本定理）：\(\left(\varlimsup A_k\right)^c=\varliminf A_k^c\)，\(\left(\varliminf A_k\right)^c=\varlimsup A_k^c\)
这一推广完美地保持了集合运算的对偶性：补集运算将并与交互换，同时将上极限与下极限互换。
2. 逻辑本质
本定理的逻辑本质是量词否定规则的极限形式：
- 上极限对应量词顺序\(\forall\exists\)（对所有，存在），其否定是\(\exists\forall\)（存在，对所有），正好对应下极限的量词顺序
- 下极限对应量词顺序\(\exists\forall\)（存在，对所有），其否定是\(\forall\exists\)（对所有，存在），正好对应上极限的量词顺序
四、重要推论与典型应用
推论1：收敛集列的补集也收敛
若集合列\(\{A_k\}\)收敛于\(A\)，即\(\lim_{k\to\infty} A_k=A\)，则其补集列\(\{A_k^c\}\)也收敛，且：
证明：
- 由\(\lim_{k\to\infty} A_k=A\)，得\(\varlimsup_{k\to\infty} A_k=\varliminf_{k\to\infty} A_k=A\)。
- 由定理1.1.6，得：\[\varlimsup_{k\to\infty} A_k^c = \left(\varliminf_{k\to\infty} A_k\right)^c = A^c \]\[\varliminf_{k\to\infty} A_k^c = \left(\varlimsup_{k\to\infty} A_k\right)^c = A^c \]
- 因此\(\varlimsup_{k\to\infty} A_k^c=\varliminf_{k\to\infty} A_k^c=A^c\)，故\(\{A_k^c\}\)收敛于\(A^c\)。
典型应用：几乎处处收敛的集合表示
在测度论中，函数列\(\{f_k(x)\}\)几乎处处收敛于\(f(x)\)，当且仅当不收敛点集的测度为0。利用本定理，不收敛点集可表示为：
这一表示是证明勒贝格控制收敛定理、叶戈罗夫定理等核心定理的基础。
五、知识点归纳总结表
| 等式 | 数学表达式 | 证明依据 | 核心逻辑 | 易错点 | 典型应用 |
|---|---|---|---|---|---|
| 上极限的补 | \(\left(\varlimsup A_k\right)^c = \varliminf A_k^c\) | 定理1.1.4、德摩根律 | \(\forall\exists\)的否定是\(\exists\forall\) | 上下极限互换错误 | 不收敛点集表示 |
| 下极限的补 | \(\left(\varliminf A_k\right)^c = \varlimsup A_k^c\) | 定理1.1.4、德摩根律 | \(\exists\forall\)的否定是\(\forall\exists\) | 上下极限互换错误 | 收敛性证明 |
| 收敛集列的补 | \(\lim A_k^c = (\lim A_k)^c\) | 本定理、收敛定义 | 极限运算与补集运算可交换 | 误认为对任意集列成立 | 可测集性质证明 |
例1.1.4 非单调收敛集列 深度解析
这个例子是集合列极限理论中极其重要的反例，它彻底打破了"只有单调集列才收敛"的常见误解，清晰地展示了非单调集列同样可以收敛，帮助我们准确理解集合列收敛的本质。
一、题目条件与结论
题目条件
设集合列\(\{A_k\}\)满足：
- 每个\(A_k\)都是单点集：\(A_k = \{a_k\}\)
- 所有元素互不相同：当\(i\neq j\)时，\(a_i\neq a_j\)
结论
该集列既非递增也非递减，但仍然收敛，且极限为空集：
二、完整严格证明（三种方法，每步标注依据）
方法1：利用上下极限的直观定义
1. 计算下极限\(\varliminf_{k\to\infty} A_k\)
下极限的直观定义是：
证明：
- 任取元素\(x\)，假设\(x\in\varliminf_{k\to\infty} A_k\)。
- 依据下极限的定义，存在\(n_0\in\mathbb{N}\)，使得对所有\(k\geq n_0\)，都有\(x\in A_k\)。
- 但\(A_k=\{a_k\}\)，且所有\(a_k\)互不相同，因此\(x\)最多只能属于一个\(A_k\)，不可能同时属于所有\(k\geq n_0\)的\(A_k\)。
- 矛盾，故不存在这样的\(x\)，即\(\varliminf_{k\to\infty} A_k = \varnothing\)。
2. 计算上极限\(\varlimsup_{k\to\infty} A_k\)
上极限的直观定义是：
证明：
- 任取元素\(x\)，假设\(x\in\varlimsup_{k\to\infty} A_k\)。
- 依据上极限的定义，\(x\)属于无穷多个\(A_k\)。
- 但\(A_k=\{a_k\}\)，且所有\(a_k\)互不相同，因此\(x\)最多只能属于一个\(A_k\)，不可能属于无穷多个。
- 矛盾，故不存在这样的\(x\)，即\(\varlimsup_{k\to\infty} A_k = \varnothing\)。
3. 结论
由于\(\varlimsup_{k\to\infty} A_k = \varliminf_{k\to\infty} A_k = \varnothing\)，依据集合列收敛的定义，该集列收敛，且：
方法2：利用上下极限的可数交并表示（定理1.1.4）
这是最严谨、最通用的证明方法，适用于所有集合列。
1. 计算下极限
根据定理1.1.4，下极限的可数交并表示为：
证明：
- 对任意\(n\in\mathbb{N}\)，考虑尾交\(\bigcap_{k=n}^\infty A_k\)。
- 由于\(A_k=\{a_k\}\)且所有\(a_k\)互不相同，任意两个不同的\(A_k\)的交集都是空集，因此：\[\bigcap_{k=n}^\infty A_k = \varnothing \]
- 因此，下极限为：\[\varliminf_{k\to\infty} A_k = \bigcup_{n=1}^\infty \varnothing = \varnothing \]
2. 计算上极限
根据定理1.1.4，上极限的可数交并表示为：
证明：
- 对任意\(n\in\mathbb{N}\)，尾并\(\bigcup_{k=n}^\infty A_k = \{a_n, a_{n+1}, a_{n+2}, \cdots\}\)，即从第\(n\)个元素开始的所有单点集的并。
- 现在考虑这些尾并的交集\(\bigcap_{n=1}^\infty \bigcup_{k=n}^\infty A_k\)。
- 任取元素\(x\)，若\(x=a_m\)（即\(x\)是某个\(A_m\)的元素），则当\(n>m\)时，\(a_m\notin \bigcup_{k=n}^\infty A_k\)（因为\(\bigcup_{k=n}^\infty A_k\)只包含下标不小于\(n\)的元素）。
- 因此，没有任何元素能属于所有的\(\bigcup_{k=n}^\infty A_k\)，即：\[\bigcap_{n=1}^\infty \bigcup_{k=n}^\infty A_k = \varnothing \]
- 故上极限\(\varlimsup_{k\to\infty} A_k = \varnothing\)。
方法3：利用补集对偶定理（定理1.1.6）
我们可以通过补集列的极限来间接证明原集列的极限。
证明：
- 补集列\(A_k^c = X - \{a_k\}\)，其中\(X\)是包含所有\(a_k\)的全集。
- 补集列\(\{A_k^c\}\)是单调递增集列，因为\(A_k^c = X - \{a_k\}\)，去掉的元素越来越多，集合越来越大。
- 依据定理1.1.5（单调集列极限定理），单调递增集列的极限是所有集合的并：\[\lim_{k\to\infty} A_k^c = \bigcup_{k=1}^\infty (X - \{a_k\}) = X - \bigcap_{k=1}^\infty \{a_k\} = X - \varnothing = X \]
- 依据补集对偶定理的推论（收敛集列的补集也收敛），原集列\(\{A_k\}\)收敛，且：\[\lim_{k\to\infty} A_k = \left(\lim_{k\to\infty} A_k^c\right)^c = X^c = \varnothing \]
三、例子的核心意义与重要启示
1. 打破单调性误解
本例子最核心的意义在于：单调集列只是收敛集列的充分条件，而非必要条件。
- 充分性：单调集列必收敛（定理1.1.5）
- 非必要性：存在非单调集列也收敛（本例子）
这是初学者最容易犯的错误之一，必须通过这个反例来纠正。
2. 收敛的本质
集合列收敛的本质是上下极限相等，与集列是否单调没有必然联系。单调集列只是收敛集列中最简单、最容易处理的一类。
3. 元素唯一性的作用
本例子中"所有\(a_i\)互不相同"这个条件是关键。如果去掉这个条件，结论会完全不同：
- 若所有\(A_k=\{a\}\)（即所有单点集都相同），则集列是常集列，显然收敛于\(\{a\}\)。
- 若元素有重复但不是全部相同，则上下极限可能不相等，集列可能不收敛。
四、拓展对比
我们通过一个对比表格来清晰展示不同单点集列的极限行为：
| 集列类型 | 条件 | 单调性 | 下极限 | 上极限 | 极限 |
|---|---|---|---|---|---|
| 常集列 | \(A_k=\{a\}\) | 既递增又递减 | \(\{a\}\) | \(\{a\}\) | \(\{a\}\) |
| 互异单点集列 | \(A_k=\{a_k\},a_i\neq a_j\) | 非增非减 | \(\varnothing\) | \(\varnothing\) | \(\varnothing\) |
| 周期单点集列 | \(A_k=\begin{cases}\{a\},&k\text{奇} \\ \{b\},&k\text{偶}\end{cases},a\neq b\) | 非增非减 | \(\varnothing\) | \(\{a,b\}\) | 不存在 |
五、典型变式练习
练习：设\(A_k = \{1,2,\cdots,k\}\)，判断集列\(\{A_k\}\)的单调性并求其极限。
解答：
- 显然\(\{A_k\}\)是单调递增集列，因为\(A_k\subset A_{k+1}\)。
- 依据定理1.1.5，其极限为所有集合的并：\[\lim_{k\to\infty} A_k = \bigcup_{k=1}^\infty \{1,2,\cdots,k\} = \mathbb{N} \]
例1.1.5 交替型集列的极限分析 深度解析
本例子是集合列极限理论中最经典、最具代表性的非单调集列案例。它通过构造一个在两个集合之间交替取值的集列，直观地揭示了上极限集与下极限集的本质区别，同时清晰地展示了集合列收敛的充要条件。
一、题目完整陈述
设\(E,F\)为任意两个集合，构造集合列\(\{A_k\}\)如下：
求该集列的上极限集、下极限集，并给出其收敛的充要条件。
二、完整严格证明（两种方法，每步标注依据）
方法1：利用上下极限的直观定义
1. 计算上极限集 \(\varlimsup_{k\to\infty} A_k\)
上极限的直观定义：\(\varlimsup_{k\to\infty} A_k = \{x \mid x \text{ 属于无穷多个 } A_k\}\)
证明：
-
左\(\subset\)右：任取\(x \in E \cup F\)。
- 若\(x \in E\)，则\(x\)属于所有奇数项的\(A_k\)，即属于无穷多个\(A_k\)，依据上极限的定义，\(x \in \varlimsup_{k\to\infty} A_k\)。
- 若\(x \in F\)，则\(x\)属于所有偶数项的\(A_k\)，即属于无穷多个\(A_k\)，依据上极限的定义，\(x \in \varlimsup_{k\to\infty} A_k\)。
- 因此\(E \cup F \subset \varlimsup_{k\to\infty} A_k\)。
-
右\(\subset\)左：任取\(x \in \varlimsup_{k\to\infty} A_k\)。
- 依据上极限的定义，\(x\)属于无穷多个\(A_k\)。
- 由于集列\(\{A_k\}\)只有\(E\)和\(F\)两种取值，因此\(x\)必须至少属于\(E\)或\(F\)中的一个，即\(x \in E \cup F\)。
- 因此\(\varlimsup_{k\to\infty} A_k \subset E \cup F\)。
-
依据集合相等的定义，得：
\[\boldsymbol{\varlimsup_{k\to\infty} A_k = E \cup F} \]
2. 计算下极限集 \(\varliminf_{k\to\infty} A_k\)
下极限的直观定义：\(\varliminf_{k\to\infty} A_k = \{x \mid \exists n_0 \in \mathbb{N}, \text{ 当 } k \geq n_0 \text{ 时}, x \in A_k\}\)
证明：
-
左\(\subset\)右：任取\(x \in E \cap F\)。
- 则\(x \in E\)且\(x \in F\)，因此对任意\(k \in \mathbb{N}\)，无论\(k\)是奇数还是偶数，都有\(x \in A_k\)。
- 取\(n_0=1\)，则当\(k \geq n_0\)时，\(x \in A_k\)，依据下极限的定义，\(x \in \varliminf_{k\to\infty} A_k\)。
- 因此\(E \cap F \subset \varliminf_{k\to\infty} A_k\)。
-
右\(\subset\)左：任取\(x \in \varliminf_{k\to\infty} A_k\)。
- 依据下极限的定义，存在\(n_0 \in \mathbb{N}\)，当\(k \geq n_0\)时，\(x \in A_k\)。
- 取\(k_1\)为大于\(n_0\)的奇数，则\(x \in A_{k_1} = E\)。
- 取\(k_2\)为大于\(n_0\)的偶数，则\(x \in A_{k_2} = F\)。
- 因此\(x \in E\)且\(x \in F\)，即\(x \in E \cap F\)。
- 因此\(\varliminf_{k\to\infty} A_k \subset E \cap F\)。
-
依据集合相等的定义，得：
\[\boldsymbol{\varliminf_{k\to\infty} A_k = E \cap F} \]
方法2：利用上下极限的可数交并表示（定理1.1.4）
这是最严谨、最通用的证明方法，适用于所有集合列。
1. 计算上极限集
根据定理1.1.4，上极限的可数交并表示为：
证明：
- 对任意\(n \in \mathbb{N}\)，考虑尾并\(\bigcup_{k=n}^\infty A_k\)。
- 无论\(n\)是奇数还是偶数，从\(n\)开始的后续项中，既包含奇数项（值为\(E\)），也包含偶数项（值为\(F\)）。
- 因此\(\bigcup_{k=n}^\infty A_k = E \cup F\)。
- 故上极限为：\[\varlimsup_{k\to\infty} A_k = \bigcap_{n=1}^\infty (E \cup F) = E \cup F \]
2. 计算下极限集
根据定理1.1.4，下极限的可数交并表示为：
证明：
- 对任意\(n \in \mathbb{N}\)，考虑尾交\(\bigcap_{k=n}^\infty A_k\)。
- 无论\(n\)是奇数还是偶数，从\(n\)开始的后续项中，既包含奇数项（值为\(E\)），也包含偶数项（值为\(F\)）。
- 因此\(\bigcap_{k=n}^\infty A_k = E \cap F\)。
- 故下极限为：\[\varliminf_{k\to\infty} A_k = \bigcup_{n=1}^\infty (E \cap F) = E \cap F \]
三、集列收敛性的充要条件
1. 收敛条件推导
集合列收敛的定义：若\(\varlimsup_{k\to\infty} A_k = \varliminf_{k\to\infty} A_k\)，则称集合列\(\{A_k\}\)收敛，其极限为\(\lim_{k\to\infty} A_k = \varlimsup_{k\to\infty} A_k = \varliminf_{k\to\infty} A_k\)。
代入我们的计算结果，得：
2. 关键等价性证明：\(E \cup F = E \cap F \iff E = F\)
证明：
- 充分性：若\(E = F\)，则\(E \cup F = E = E \cap F\)，等式成立。
- 必要性：若\(E \cup F = E \cap F\)，则：
- 由于\(E \cap F \subset E \subset E \cup F\)，结合\(E \cup F = E \cap F\)，得\(E = E \cap F\)。
- 同理，\(F = E \cap F\)。
- 因此\(E = F\)。
3. 最终结论
交替型集列\(\{A_k\}\)收敛的充要条件是\(E = F\)，此时集列退化为常集列，极限为\(E = F\)。
四、例子的核心意义与重要启示
1. 上下极限的本质区别
本例子最直观地展示了上极限与下极限的本质区别：
- 上极限：所有"无限次出现"的元素的集合，即并集\(E \cup F\)。
- 下极限：所有"最终一直出现"的元素的集合，即交集\(E \cap F\)。
2. 收敛的本质
集合列收敛的本质是"长期行为稳定"。对于交替型集列，只有当两个集合完全相同时，集列的行为才会稳定，否则会一直交替变化，无法收敛。
3. 非单调集列的收敛性
本例子再次验证了：单调性是集合列收敛的充分条件，而非必要条件。当\(E=F\)时，集列退化为常集列，既是单调递增也是单调递减的；当\(E \neq F\)时，集列非单调且不收敛。
五、推广：\(n\)值循环集列
将结论推广到在\(n\)个集合之间循环取值的集列：
设集列\(\{A_k\}\)满足\(A_{mn+i} = B_i\)，其中\(i=1,2,\dots,n\)，\(m=0,1,2,\dots\)，则：
- 上极限：\(\varlimsup_{k\to\infty} A_k = B_1 \cup B_2 \cup \dots \cup B_n\)
- 下极限：\(\varliminf_{k\to\infty} A_k = B_1 \cap B_2 \cap \dots \cap B_n\)
- 收敛条件：\(B_1 = B_2 = \dots = B_n\)
六、典型数值例子
例：设\(E=[0,1]\)，\(F=[1,2]\)，构造交替集列：
- 上极限：\(\varlimsup_{k\to\infty} A_k = [0,1] \cup [1,2] = [0,2]\)
- 下极限：\(\varliminf_{k\to\infty} A_k = [0,1] \cap [1,2] = \{1\}\)
- 由于\([0,2] \neq \{1\}\)，该集列不收敛。
七、不同类型集列极限行为对比表
| 集列类型 | 定义 | 上极限 | 下极限 | 收敛条件 |
|---|---|---|---|---|
| 单调递增集列 | \(A_1 \subset A_2 \subset \dots\) | \(\bigcup_{k=1}^\infty A_k\) | \(\bigcup_{k=1}^\infty A_k\) | 必收敛 |
| 单调递减集列 | \(A_1 \supset A_2 \supset \dots\) | \(\bigcap_{k=1}^\infty A_k\) | \(\bigcap_{k=1}^\infty A_k\) | 必收敛 |
| 交替型集列 | \(A_k=\begin{cases}E, & k\text{奇} \\ F, & k\text{偶}\end{cases}\) | \(E \cup F\) | \(E \cap F\) | \(E=F\) |
| 互异单点集列 | \(A_k=\{a_k\},a_i\neq a_j\) | \(\varnothing\) | \(\varnothing\) | 必收敛于\(\varnothing\) |
例1.1.6 区间型交替集列的极限分析 深度解析
本例子是实变函数中最经典的区间型集列极限题，它结合了单调变化的左端点和交替变化的右端点，全面考察了上下极限集的定义和计算方法，同时清晰地展示了区间端点的极限与集合列极限的本质区别。
一、题目完整陈述
设区间型集列\(\{A_k\}\)定义为：
求该集列的下极限集、上极限集，并判断其收敛性。
二、集列的直观分析
首先写出集列的前几项，观察其变化规律：
- \(k=1\)（奇数）：\(A_1 = [1, 3-1] = [1, 2]\)
- \(k=2\)（偶数）：\(A_2 = \left[\frac{1}{2}, 3+1\right] = \left[\frac{1}{2}, 4\right]\)
- \(k=3\)（奇数）：\(A_3 = \left[\frac{1}{3}, 3-1\right] = \left[\frac{1}{3}, 2\right]\)
- \(k=4\)（偶数）：\(A_4 = \left[\frac{1}{4}, 3+1\right] = \left[\frac{1}{4}, 4\right]\)
- \(\cdots\)
可以看出：
- 左端点：\(\frac{1}{k}\)单调递减，且\(\lim_{k\to\infty} \frac{1}{k} = 0\)
- 右端点：\(3+(-1)^k\)在\(2\)和\(4\)之间交替取值
- 奇数项：\(A_{2m-1} = \left[\frac{1}{2m-1}, 2\right]\)，单调递增（左端点减小，右端点不变）
- 偶数项：\(A_{2m} = \left[\frac{1}{2m}, 4\right]\)，单调递增（左端点减小，右端点不变）
三、完整严格证明（两种方法，每步标注依据）
方法1：利用上下极限的直观定义
1. 计算下极限集 \(\varliminf_{k\to\infty} A_k\)
下极限的直观定义：\(\varliminf_{k\to\infty} A_k = \{x \mid \exists n_0 \in \mathbb{N}, \text{ 当 } k \geq n_0 \text{ 时}, x \in A_k\}\)
证明：
-
第一步：证明\((0,2] \subset \varliminf_{k\to\infty} A_k\)
- 任取\(x \in (0,2]\)。
- 由于\(\lim_{k\to\infty} \frac{1}{k} = 0\)且\(x>0\)，依据数列极限的定义，存在\(n_0 \in \mathbb{N}\)，当\(k \geq n_0\)时，\(\frac{1}{k} < x\)。
- 对任意\(k \geq n_0\)：
- 若\(k\)为奇数，则\(A_k = \left[\frac{1}{k}, 2\right]\)，由于\(\frac{1}{k} < x \leq 2\)，故\(x \in A_k\)。
- 若\(k\)为偶数，则\(A_k = \left[\frac{1}{k}, 4\right]\)，由于\(\frac{1}{k} < x \leq 2 < 4\)，故\(x \in A_k\)。
- 因此，存在\(n_0\)，当\(k \geq n_0\)时，\(x \in A_k\)，依据下极限的定义，\(x \in \varliminf_{k\to\infty} A_k\)。
-
第二步：证明\(\varliminf_{k\to\infty} A_k \subset (0,2]\)
- 任取\(x \in \varliminf_{k\to\infty} A_k\)。
- 依据下极限的定义，存在\(n_0 \in \mathbb{N}\)，当\(k \geq n_0\)时，\(x \in A_k\)。
- 取\(k\)为大于\(n_0\)的奇数，则\(A_k = \left[\frac{1}{k}, 2\right]\)，故\(x \leq 2\)。
- 同时，对任意\(k\)，\(A_k = \left[\frac{1}{k}, \cdot\right]\)，\(\frac{1}{k} > 0\)，故\(x \geq \frac{1}{k} > 0\)。
- 因此\(x \in (0,2]\)。
-
依据集合相等的定义，得：
\[\boldsymbol{\varliminf_{k\to\infty} A_k = (0,2]} \]
2. 计算上极限集 \(\varlimsup_{k\to\infty} A_k\)
上极限的直观定义：\(\varlimsup_{k\to\infty} A_k = \{x \mid x \text{ 属于无穷多个 } A_k\}\)
证明：
-
第一步：证明\((0,4] \subset \varlimsup_{k\to\infty} A_k\)
- 任取\(x \in (0,4]\)。
- 由于\(\lim_{k\to\infty} \frac{1}{k} = 0\)且\(x>0\)，依据数列极限的定义，存在\(n_0 \in \mathbb{N}\)，当\(k \geq n_0\)时，\(\frac{1}{k} < x\)。
- 对所有大于\(n_0\)的偶数\(k\)，\(A_k = \left[\frac{1}{k}, 4\right]\)，由于\(\frac{1}{k} < x \leq 4\)，故\(x \in A_k\)。
- 大于\(n_0\)的偶数有无穷多个，因此\(x\)属于无穷多个\(A_k\)，依据上极限的定义，\(x \in \varlimsup_{k\to\infty} A_k\)。
-
第二步：证明\(\varlimsup_{k\to\infty} A_k \subset (0,4]\)
- 任取\(x \in \varlimsup_{k\to\infty} A_k\)。
- 依据上极限的定义，\(x\)属于无穷多个\(A_k\)。
- 对任意\(k\)，\(A_k = \left[\frac{1}{k}, 3+(-1)^k\right] \subset (0,4]\)，故\(x \in (0,4]\)。
-
依据集合相等的定义，得：
\[\boldsymbol{\varlimsup_{k\to\infty} A_k = (0,4]} \]
方法2：利用上下极限的可数交并表示（定理1.1.4）
这是最严谨、最通用的证明方法，适用于所有区间型集列。
1. 计算下极限集
根据定理1.1.4，下极限的可数交并表示为：
证明：
- 对任意\(n \in \mathbb{N}\)，计算尾交\(\bigcap_{k=n}^\infty A_k\)：
- 尾交是所有下标不小于\(n\)的\(A_k\)的公共部分。
- 这些\(A_k\)中，奇数项的右端点是\(2\)，偶数项的右端点是\(4\)，故公共右端点是\(2\)。
- 这些\(A_k\)中，左端点的最大值是\(\frac{1}{n}\)（当\(k=n\)时取得）。
- 因此\(\bigcap_{k=n}^\infty A_k = \left[\frac{1}{n}, 2\right]\)。
- 故下极限为：\[\varliminf_{k\to\infty} A_k = \bigcup_{n=1}^\infty \left[\frac{1}{n}, 2\right] = (0,2] \]依据：\(\bigcup_{n=1}^\infty \left[\frac{1}{n}, 2\right] = (0,2]\)（所有大于0且不大于2的实数都能被某个\(\frac{1}{n}\)小于）
2. 计算上极限集
根据定理1.1.4，上极限的可数交并表示为：
证明：
- 对任意\(n \in \mathbb{N}\)，计算尾并\(\bigcup_{k=n}^\infty A_k\)：
- 尾并是所有下标不小于\(n\)的\(A_k\)的并集。
- 这些\(A_k\)中，偶数项的右端点是\(4\)，故并集的右端点是\(4\)。
- 这些\(A_k\)中，左端点的最小值趋近于0，故并集的左端点是0（开区间）。
- 因此\(\bigcup_{k=n}^\infty A_k = (0,4]\)。
- 故上极限为：\[\varlimsup_{k\to\infty} A_k = \bigcap_{n=1}^\infty (0,4] = (0,4] \]
四、收敛性判断
由于\(\varliminf_{k\to\infty} A_k = (0,2] \neq (0,4] = \varlimsup_{k\to\infty} A_k\)，依据集合列收敛的定义，该集列不收敛。
五、核心易错点与重要启示
1. 最常见错误：端点的开闭性
错误结论：很多初学者会误认为上下极限包含0，即写成\([0,2]\)和\([0,4]\)。
错误原因：混淆了区间端点的极限与集合列的极限。虽然\(\lim_{k\to\infty} \frac{1}{k} = 0\)，但0从未出现在任何一个\(A_k\)中（因为所有\(A_k\)的左端点都是\(\frac{1}{k} > 0\)），因此0不可能属于上下极限集。
2. 核心启示
- 区间端点的极限不等于集合列的极限：即使集列的每个端点都有极限，整个集列也可能不收敛。
- 上下极限的本质区别：
- 下极限要求元素最终一直属于所有后续集合，因此只能取右端点的最小值（2）。
- 上极限只要求元素无限次属于集合，因此可以取右端点的最大值（4）。
六、拓展变式
变式：若将集列改为\(A_k = \left[0, 3 + (-1)^k\right]\)（左端点固定为0），则：
- 下极限：\(\varliminf_{k\to\infty} A_k = [0,2]\)
- 上极限：\(\varlimsup_{k\to\infty} A_k = [0,4]\)
- 集列仍然不收敛。
七、不同类型区间集列极限对比表
| 集列类型 | 定义 | 下极限 | 上极限 | 收敛性 |
|---|---|---|---|---|
| 单调递增区间列 | \(A_k = [a_k, b_k], a_k\uparrow, b_k\uparrow\) | \(\left(\lim a_k, \lim b_k\right]\) | \(\left(\lim a_k, \lim b_k\right]\) | 收敛 |
| 单调递减区间列 | \(A_k = [a_k, b_k], a_k\downarrow, b_k\downarrow\) | \(\left[\lim a_k, \lim b_k\right]\) | \(\left[\lim a_k, \lim b_k\right]\) | 收敛 |
| 左单调右交替区间列 | \(A_k = \left[\frac{1}{k}, 3+(-1)^k\right]\) | \((0,2]\) | \((0,4]\) | 不收敛 |
| 常区间列 | \(A_k = [a,b]\) | \([a,b]\) | \([a,b]\) | 收敛 |
例1.1.7 递增函数列的水平集极限 深度解析
本例子是实变函数论中连接函数列收敛与集合列收敛的核心桥梁，它揭示了单调函数列的逐点收敛性可以转化为其水平集的单调收敛性。这一结论是可测函数理论的基石，直接证明了"单调可测函数列的极限仍是可测函数"，为勒贝格积分的建立奠定了基础。
一、题目完整陈述
设\(\{f_k: E \to \mathbb{R}\}\)是递增函数列，即对任意\(x \in E\)，有：
且\(\{f_k(x)\}\)逐点收敛于\(f(x)\)，即：
对固定的实数\(c\)，证明：
- 集合列\(\{x \mid f_k(x) > c\}\)是递增集列
- 其极限等于极限函数的水平集：\[\boldsymbol{\{x \mid f(x) > c\} = \bigcup_{k=1}^\infty \{x \mid f_k(x) > c\} = \lim_{k \to \infty} \{x \mid f_k(x) > c\}} \]
二、完整严格证明（每步标注依据）
1. 证明集合列\(\{A_k\}\)是递增集列
记\(A_k = \{x \mid f_k(x) > c\}\)，我们证明\(A_k \subset A_{k+1}\)对所有\(k \in \mathbb{N}\)成立。
证明：
- 任取\(x \in A_k\)，依据\(A_k\)的定义，有\(f_k(x) > c\)。
- 由于\(\{f_k\}\)是递增函数列，依据递增函数列的定义，有\(f_{k+1}(x) \geq f_k(x)\)。
- 因此\(f_{k+1}(x) \geq f_k(x) > c\)，依据\(A_{k+1}\)的定义，得\(x \in A_{k+1}\)。
- 故\(A_k \subset A_{k+1}\)，即\(\{A_k\}\)是递增集列。
2. 证明递增集列的极限等于其并集
依据定理1.1.5（单调集列极限定理），递增集列必收敛，且其极限为所有集合的并集：
3. 证明\(\bigcup_{k=1}^\infty A_k = \{x \mid f(x) > c\}\)
我们通过双向包含法证明集合相等。
第一步：证明\(\bigcup_{k=1}^\infty A_k \subset \{x \mid f(x) > c\}\)
- 任取\(x \in \bigcup_{k=1}^\infty A_k\)，依据并集的定义，存在\(k_0 \in \mathbb{N}\)，使得\(x \in A_{k_0}\)。
- 依据\(A_{k_0}\)的定义，有\(f_{k_0}(x) > c\)。
- 由于\(\{f_k(x)\}\)是递增数列，依据递增数列的极限性质，其极限大于等于数列中的每一项，即：\[f(x) = \lim_{k \to \infty} f_k(x) \geq f_{k_0}(x) \]
- 因此\(f(x) \geq f_{k_0}(x) > c\)，依据水平集的定义，得\(x \in \{x \mid f(x) > c\}\)。
第二步：证明\(\{x \mid f(x) > c\} \subset \bigcup_{k=1}^\infty A_k\)
- 任取\(x \in \{x \mid f(x) > c\}\)，依据水平集的定义，有\(f(x) > c\)。
- 令\(\varepsilon = f(x) - c > 0\)，依据数列极限的\(\varepsilon\)-\(N\)定义，存在\(k_0 \in \mathbb{N}\)，当\(k \geq k_0\)时，有：\[|f_k(x) - f(x)| < \varepsilon = f(x) - c \]
- 去掉绝对值符号，得：\[f(x) - (f(x) - c) < f_k(x) < f(x) + (f(x) - c) \]
- 左边的不等式即为\(f_k(x) > c\)，依据\(A_k\)的定义，得\(x \in A_k\)对所有\(k \geq k_0\)成立。
- 依据并集的定义，得\(x \in \bigcup_{k=1}^\infty A_k\)。
第三步：结论
依据集合相等的定义，左右两边互相包含，故：
4. 最终结论
结合以上三步，得：
三、核心意义与重要应用
1. 可测函数的极限封闭性
本例子最直接的应用是证明可测函数的单调极限定理：
若\(\{f_k\}\)是可测集\(E\)上的递增可测函数列，且逐点收敛于\(f\)，则\(f\)也是\(E\)上的可测函数。
证明思路：
- 可测函数的定义是：对任意实数\(c\)，水平集\(\{x \mid f(x) > c\}\)是可测集。
- 由于每个\(f_k\)都是可测函数，故每个\(A_k = \{x \mid f_k(x) > c\}\)都是可测集。
- 可测集类对可数并运算封闭，故\(\bigcup_{k=1}^\infty A_k\)是可测集。
- 由本例子的结论，\(\{x \mid f(x) > c\} = \bigcup_{k=1}^\infty A_k\)，因此也是可测集。
- 故\(f\)是可测函数。
2. 勒贝格单调收敛定理的基础
本结论是勒贝格积分中单调收敛定理的核心前置条件。单调收敛定理指出，对于非负递增可测函数列，积分的极限等于极限的积分，其证明本质上依赖于水平集的单调收敛性。
四、关键易错点：严格不等号的必要性
重要警告：本结论中的严格不等号\(">"\)是必不可少的。如果将严格不等号改为非严格不等号\("\geq"\)，结论将不再成立。
反例：
设\(f_k(x) = 1 - \frac{1}{k}\)，对所有\(x \in \mathbb{R}\)。显然\(\{f_k\}\)是递增函数列，且逐点收敛于\(f(x) = 1\)。
- 取\(c=1\)，则\(\{x \mid f(x) \geq 1\} = \mathbb{R}\)（全体实数）。
- 但对任意\(k\)，\(\{x \mid f_k(x) \geq 1\} = \{x \mid 1 - \frac{1}{k} \geq 1\} = \varnothing\)。
- 因此\(\bigcup_{k=1}^\infty \{x \mid f_k(x) \geq 1\} = \varnothing \neq \mathbb{R} = \{x \mid f(x) \geq 1\}\)。
原因分析：
当\(f(x) = c\)时，即使\(f_k(x)\)递增收敛于\(c\)，也可能所有\(f_k(x) < c\)，因此\(x\)不属于任何\(\{x \mid f_k(x) \geq c\}\)，但属于\(\{x \mid f(x) \geq c\}\)。
五、对偶结论：递减函数列的水平集极限
对于递减函数列，我们有对称的结论：
设\(\{f_k: E \to \mathbb{R}\}\)是递减函数列，即对任意\(x \in E\)，有：
且\(\lim_{k \to \infty} f_k(x) = f(x)\)对所有\(x \in E\)成立，则：
- 集合列\(\{x \mid f_k(x) < c\}\)是递增集列，且：\[\{x \mid f(x) < c\} = \bigcup_{k=1}^\infty \{x \mid f_k(x) < c\} = \lim_{k \to \infty} \{x \mid f_k(x) < c\} \]
- 集合列\(\{x \mid f_k(x) \geq c\}\)是递减集列，且：\[\{x \mid f(x) \geq c\} = \bigcap_{k=1}^\infty \{x \mid f_k(x) \geq c\} = \lim_{k \to \infty} \{x \mid f_k(x) \geq c\} \]
六、函数列水平集极限对比表
| 函数列类型 | 水平集类型 | 集列单调性 | 极限表达式 |
|---|---|---|---|
| 递增函数列 | \(\{x \mid f_k(x) > c\}\) | 递增 | \(\{x \mid f(x) > c\} = \bigcup_{k=1}^\infty \{x \mid f_k(x) > c\}\) |
| 递增函数列 | \(\{x \mid f_k(x) \leq c\}\) | 递减 | \(\{x \mid f(x) \leq c\} = \bigcap_{k=1}^\infty \{x \mid f_k(x) \leq c\}\) |
| 递减函数列 | \(\{x \mid f_k(x) < c\}\) | 递增 | \(\{x \mid f(x) < c\} = \bigcup_{k=1}^\infty \{x \mid f_k(x) < c\}\) |
| 递减函数列 | \(\{x \mid f_k(x) \geq c\}\) | 递减 | \(\{x \mid f(x) \geq c\} = \bigcap_{k=1}^\infty \{x \mid f_k(x) \geq c\}\) |
例1.1.8 函数列不收敛点集的集合表示 深度解析
本例子是实变函数论中最具里程碑意义的转化之一，它将"函数列逐点不收敛"这个纯分析概念，精确地转化为集合的可数交并运算。这一转化不仅是可测函数列收敛性理论的基石，更是叶戈罗夫定理、勒贝格控制收敛定理等核心定理的证明基础。
一、题目完整陈述
设\(\{f_k: \mathbb{R} \to \mathbb{R}\}\)是实函数列，\(f: \mathbb{R} \to \mathbb{R}\)是实函数。记\(D\)为函数列\(\{f_k\}\)不收敛于\(f\)的点集，即：
则\(D\)可以表示为：
进一步，利用上极限的可数交并表示（定理1.1.4），可得：
二、完整严格证明（每步标注依据）
我们通过三步等价转化来证明这个结论。
第一步：数列不收敛的\(\varepsilon\)-\(N\)定义
数列不收敛的定义：数列\(\{a_k\}\)不收敛于\(a\)，当且仅当存在\(\varepsilon > 0\)，对任意\(N \in \mathbb{N}\)，存在\(k \geq N\)，使得\(|a_k - a| \geq \varepsilon\)。
将这个定义应用到函数列的逐点收敛，得：
第二步：将不可数的\(\varepsilon\)可数化（阿基米德原理）
关键技巧：利用实数的阿基米德原理，将"存在\(\varepsilon > 0\)"转化为"存在\(n \in \mathbb{N}\)，使得\(\varepsilon \geq \frac{1}{n}\)"。
证明等价性：
- 若存在\(\varepsilon > 0\)满足条件，取正整数\(n > \frac{1}{\varepsilon}\)，则\(\frac{1}{n} < \varepsilon\)，因此存在\(n \in \mathbb{N}\)，使得对任意\(N \in \mathbb{N}\)，存在\(k \geq N\)，\(|f_k(x) - f(x)| \geq \frac{1}{n}\)。
- 反之，若存在\(n \in \mathbb{N}\)满足条件，取\(\varepsilon = \frac{1}{n} > 0\)，则存在\(\varepsilon > 0\)满足条件。
因此，我们得到：
第三步：转化为上极限集
上极限集的定义：\(\varlimsup_{k \to \infty} A_k = \{x \mid \text{ 存在无穷多个 } k, \text{ s.t. } x \in A_k\}\)，这等价于"对任意\(N \in \mathbb{N}\)，存在\(k \geq N\)，使得\(x \in A_k\)"。
令\(A_{k,n} = \left\{x \mid |f_k(x) - f(x)| \geq \frac{1}{n}\right\}\)，则：
因此，我们得到：
第四步：应用上极限的可数交并表示（定理1.1.4）
根据定理1.1.4，上极限集可以表示为可数交与可数并的复合：
代入上式，最终得到：
三、核心意义与关键技巧
1. 分析概念的集合论转化
本例子最伟大的意义在于：将纯分析的收敛性概念，完全转化为集合论的基本运算。这使得我们可以用测度论的工具来研究函数列的收敛性，从而建立起勒贝格积分的完整理论。
2. 可数化技巧
证明中最关键的一步是将不可数的\(\varepsilon > 0\)转化为可数的\(\frac{1}{n}\)。这是实变函数中最常用的技巧之一，其本质是利用实数的阿基米德性质。
为什么必须可数化？
- 可测集类只对可数并、可数交运算封闭，对不可数运算不封闭。
- 如果直接用\(\varepsilon > 0\)，我们会得到\(D = \bigcup_{\varepsilon > 0} \varlimsup_{k \to \infty} \{x \mid |f_k(x) - f(x)| \geq \varepsilon\}\)，这是一个不可数并，无法保证其可测性。
- 而转化为\(\bigcup_{n=1}^\infty\)后，这是一个可数并，如果每个\(f_k\)和\(f\)都是可测函数，那么每个\(A_{k,n}\)都是可测集，从而\(D\)也是可测集。
四、对偶结论：收敛点集的集合表示
对不收敛点集\(D\)取补集，利用德摩根律，我们可以得到收敛点集\(C = \mathbb{R} \setminus D\)的表示：
进一步，利用下极限的可数交并表示，可得：
五、重要应用
1. 几乎处处收敛的定义
如果不收敛点集\(D\)的勒贝格测度为0，即\(m(D) = 0\)，则称函数列\(\{f_k\}\)几乎处处收敛于\(f\)，记为\(f_k \xrightarrow{\text{a.e.}} f\)。
2. 可测函数列收敛点集的可测性
如果每个\(f_k\)都是可测函数，\(f\)是可测函数，那么：
- 每个\(A_{k,n} = \{x \mid |f_k(x) - f(x)| \geq \frac{1}{n}\}\)都是可测集。
- 可测集的可数并、可数交都是可测集，因此不收敛点集\(D\)和收敛点集\(C\)都是可测集。
这一结论是叶戈罗夫定理和勒贝格控制收敛定理的前提条件。
六、知识点归纳总结表
| 概念 | 集合表示 | 逻辑量词顺序 | 核心依据 |
|---|---|---|---|
| 不收敛点集 | \(D = \bigcup_{n=1}^\infty \varlimsup_{k \to \infty} \left\{x \mid |f_k(x)-f(x)| \geq \frac{1}{n}\right\}\) | \(\exists \forall \exists\) | 数列不收敛定义、阿基米德原理、上极限定义 |
| 收敛点集 | \(C = \bigcap_{n=1}^\infty \varliminf_{k \to \infty} \left\{x \mid |f_k(x)-f(x)| < \frac{1}{n}\right\}\) | \(\forall \exists \forall\) | 德摩根律、下极限定义 |
| 不收敛点集（交并形式） | \(D = \bigcup_{n=1}^\infty \bigcap_{N=1}^\infty \bigcup_{k=N}^\infty \left\{x \mid |f_k(x)-f(x)| \geq \frac{1}{n}\right\}\) | \(\exists \forall \exists\) | 定理1.1.4（上极限的交并表示） |
| 收敛点集（交并形式） | \(C = \bigcap_{n=1}^\infty \bigcup_{N=1}^\infty \bigcap_{k=N}^\infty \left\{x \mid |f_k(x)-f(x)| < \frac{1}{n}\right\}\) | \(\forall \exists \forall\) | 定理1.1.4（下极限的交并表示） |
映射、像集与逆像集 深度解析
映射是集合论中最基本的概念之一，它描述了两个集合之间的对应关系。像集和逆像集则是连接映射与集合运算的桥梁，其中逆像集的良好运算性质是可测函数定义的理论基础，也是实变函数论中最核心的工具之一。
一、映射的基本定义
1. 映射的定义
设\(X,Y\)为非空集合，如果存在一个对应法则\(f\)，使得对每个\(x\in X\)，都有唯一的\(y\in Y\)与之对应，则称\(f\)为从\(X\)到\(Y\)的单值映射，记为：
2. 特殊映射类型
| 类型 | 定义 | 直观理解 |
|---|---|---|
| 满射（上映射） | 对任意\(y\in Y\)，存在\(x\in X\)使得\(y=f(x)\) | \(f(X)=Y\)，值域等于陪域 |
| 单射（单射） | 若\(f(x_1)=f(x_2)\)，则必有\(x_1=x_2\) | 不同元素对应不同的像 |
| 双射（一一映射） | 既是满射又是单射 | 两个集合的元素一一对应 |
3. 逆映射
若\(f: X \to Y\)是双射，则存在唯一的映射\(f^{-1}: Y \to X\)，满足：
称\(f^{-1}\)为\(f\)的逆映射。逆映射也是双射。
二、像集与逆像集的定义
1. 像集
设\(f: X \to Y\)是映射，\(A \subset X\)，则\(A\)在\(f\)下的像集定义为：
- 特别地，\(f(X)\)称为\(f\)的值域。
- 规定\(f(\varnothing) = \varnothing\)。
2. 逆像集
设\(f: X \to Y\)是映射，\(B \subset Y\)，则\(B\)关于\(f\)的逆像集定义为：
- 特别地，\(f^{-1}(Y) = X\)。
- 重要提醒：符号\(f^{-1}(B)\)中的\(f^{-1}\)不是逆映射，只是逆像集的记号。即使\(f\)不是双射，逆像集也总是存在的。这是初学者最容易混淆的概念。
三、定理1.1.7 像集与逆像集的运算性质
设\(f: X \to Y\)是映射，则有以下运算性质：
(1) 像集保持并运算
完整证明：
-
任取\(y \in f\left(\bigcup_{\alpha\in\Gamma} A_\alpha\right)\)，依据像集的定义，存在\(x \in \bigcup_{\alpha\in\Gamma} A_\alpha\)使得\(y = f(x)\)。
-
依据并集的定义，存在\(\alpha_0 \in \Gamma\)使得\(x \in A_{\alpha_0}\)。
-
因此\(y = f(x) \in f(A_{\alpha_0})\)，依据并集的定义，\(y \in \bigcup_{\alpha\in\Gamma} f(A_\alpha)\)。
-
故\(f\left(\bigcup_{\alpha\in\Gamma} A_\alpha\right) \subset \bigcup_{\alpha\in\Gamma} f(A_\alpha)\)。
-
反之，任取\(y \in \bigcup_{\alpha\in\Gamma} f(A_\alpha)\)，依据并集的定义，存在\(\alpha_0 \in \Gamma\)使得\(y \in f(A_{\alpha_0})\)。
-
依据像集的定义，存在\(x \in A_{\alpha_0}\)使得\(y = f(x)\)。
-
由于\(A_{\alpha_0} \subset \bigcup_{\alpha\in\Gamma} A_\alpha\)，故\(x \in \bigcup_{\alpha\in\Gamma} A_\alpha\)，因此\(y = f(x) \in f\left(\bigcup_{\alpha\in\Gamma} A_\alpha\right)\)。
-
故\(\bigcup_{\alpha\in\Gamma} f(A_\alpha) \subset f\left(\bigcup_{\alpha\in\Gamma} A_\alpha\right)\)。
-
依据集合相等的定义，等式成立。
(2) 像集对交集只有包含关系
但等号不一定成立。
包含关系证明：
- 任取\(y \in f\left(\bigcap_{\alpha\in\Gamma} A_\alpha\right)\)，依据像集的定义，存在\(x \in \bigcap_{\alpha\in\Gamma} A_\alpha\)使得\(y = f(x)\)。
- 依据交集的定义，对任意\(\alpha \in \Gamma\)，都有\(x \in A_\alpha\)。
- 因此对任意\(\alpha \in \Gamma\)，都有\(y = f(x) \in f(A_\alpha)\)，依据交集的定义，\(y \in \bigcap_{\alpha\in\Gamma} f(A_\alpha)\)。
- 故\(f\left(\bigcap_{\alpha\in\Gamma} A_\alpha\right) \subset \bigcap_{\alpha\in\Gamma} f(A_\alpha)\)。
反例（等号不成立）：
设\(f: \mathbb{R} \to \mathbb{R}\)为常函数\(f(x) = 0\)，取\(A_1 = [0,1]\)，\(A_2 = [2,3]\)。
- \(A_1 \cap A_2 = \varnothing\)，故\(f(A_1 \cap A_2) = f(\varnothing) = \varnothing\)。
- \(f(A_1) = \{0\}\)，\(f(A_2) = \{0\}\)，故\(f(A_1) \cap f(A_2) = \{0\}\)。
- 显然\(\varnothing \neq \{0\}\)，因此等号不成立。
等号成立的条件：当\(f\)是单射时，等号成立。
(3) 逆像集保持包含关系
若\(B_1 \subset B_2\)，则\(\boldsymbol{f^{-1}(B_1) \subset f^{-1}(B_2)}\)。
证明：
- 任取\(x \in f^{-1}(B_1)\)，依据逆像集的定义，\(f(x) \in B_1\)。
- 由于\(B_1 \subset B_2\)，故\(f(x) \in B_2\)，依据逆像集的定义，\(x \in f^{-1}(B_2)\)。
- 故\(f^{-1}(B_1) \subset f^{-1}(B_2)\)。
(4) 逆像集保持并运算
证明：
-
任取\(x \in f^{-1}\left(\bigcup_{\beta\in\Lambda} B_\beta\right)\)，依据逆像集的定义，\(f(x) \in \bigcup_{\beta\in\Lambda} B_\beta\)。
-
依据并集的定义，存在\(\beta_0 \in \Lambda\)使得\(f(x) \in B_{\beta_0}\)。
-
依据逆像集的定义，\(x \in f^{-1}(B_{\beta_0})\)，依据并集的定义，\(x \in \bigcup_{\beta\in\Lambda} f^{-1}(B_\beta)\)。
-
故\(f^{-1}\left(\bigcup_{\beta\in\Lambda} B_\beta\right) \subset \bigcup_{\beta\in\Lambda} f^{-1}(B_\beta)\)。
-
反之，任取\(x \in \bigcup_{\beta\in\Lambda} f^{-1}(B_\beta)\)，依据并集的定义，存在\(\beta_0 \in \Lambda\)使得\(x \in f^{-1}(B_{\beta_0})\)。
-
依据逆像集的定义，\(f(x) \in B_{\beta_0}\)，故\(f(x) \in \bigcup_{\beta\in\Lambda} B_\beta\)。
-
依据逆像集的定义，\(x \in f^{-1}\left(\bigcup_{\beta\in\Lambda} B_\beta\right)\)。
-
故\(\bigcup_{\beta\in\Lambda} f^{-1}(B_\beta) \subset f^{-1}\left(\bigcup_{\beta\in\Lambda} B_\beta\right)\)。
-
依据集合相等的定义，等式成立。
(5) 逆像集保持补运算
证明：
-
任取\(x \in f^{-1}(B^c)\)，依据逆像集的定义，\(f(x) \in B^c\)。
-
依据补集的定义，\(f(x) \notin B\)，依据逆像集的定义，\(x \notin f^{-1}(B)\)。
-
依据补集的定义，\(x \in \left(f^{-1}(B)\right)^c\)。
-
故\(f^{-1}(B^c) \subset \left(f^{-1}(B)\right)^c\)。
-
反之，任取\(x \in \left(f^{-1}(B)\right)^c\)，依据补集的定义，\(x \notin f^{-1}(B)\)。
-
依据逆像集的定义，\(f(x) \notin B\)，依据补集的定义，\(f(x) \in B^c\)。
-
依据逆像集的定义，\(x \in f^{-1}(B^c)\)。
-
故\(\left(f^{-1}(B)\right)^c \subset f^{-1}(B^c)\)。
-
依据集合相等的定义，等式成立。
四、核心意义与重要推论
1. 逆像集的完美性质
逆像集保持所有集合运算：并、交、补、差、对称差、包含关系。这是逆像集最宝贵的性质，也是实变函数中可测函数定义的基础。
推论：逆像集还保持交运算和差运算：
- \(f^{-1}\left(\bigcap_{\beta\in\Lambda} B_\beta\right) = \bigcap_{\beta\in\Lambda} f^{-1}(B_\beta)\)
- \(f^{-1}(B_1 - B_2) = f^{-1}(B_1) - f^{-1}(B_2)\)
2. 像集的局限性
像集只保持并运算，不保持交运算和补运算。这是像集与逆像集最本质的区别。
3. 可测函数的定义基础
可测函数的定义是：对任意实数\(c\)，逆像集\(f^{-1}((c, +\infty))\)是可测集。正是因为逆像集保持所有集合运算，所以可测函数类对加减乘除、极限运算都是封闭的。
五、像集与逆像集运算性质对比表
| 运算 | 像集 | 逆像集 | 备注 |
|---|---|---|---|
| 包含关系 | \(A_1\subset A_2 \implies f(A_1)\subset f(A_2)\) | \(B_1\subset B_2 \implies f^{-1}(B_1)\subset f^{-1}(B_2)\) | 都保持 |
| 并运算 | \(f\left(\bigcup A_\alpha\right) = \bigcup f(A_\alpha)\) | \(f^{-1}\left(\bigcup B_\beta\right) = \bigcup f^{-1}(B_\beta)\) | 都保持 |
| 交运算 | \(f\left(\bigcap A_\alpha\right) \subset \bigcap f(A_\alpha)\) | \(f^{-1}\left(\bigcap B_\beta\right) = \bigcap f^{-1}(B_\beta)\) | 像集只有包含，逆像集保持相等 |
| 补运算 | \(f(A^c) \neq (f(A))^c\)（一般不成立） | \(f^{-1}(B^c) = (f^{-1}(B))^c\) | 像集不保持，逆像集保持 |
| 差运算 | \(f(A_1 - A_2) \supset f(A_1) - f(A_2)\) | \(f^{-1}(B_1 - B_2) = f^{-1}(B_1) - f^{-1}(B_2)\) | 像集只有反向包含，逆像集保持相等 |
特征函数 深度解析
特征函数是实变函数论中最基础、最核心的工具，它建立了集合与函数之间的完美对应关系，将集合的运算转化为函数的算术运算。特征函数是简单函数的基本构成单元，而简单函数是勒贝格积分定义的基础，因此特征函数在整个实变函数和积分理论中起到了基石性的作用。
一、基本定义
1. 实函数的定义
如果映射\(f: X \to Y\)的陪域\(Y = \mathbb{R}\)（实数集），则称\(f\)为实函数。
2. 特征函数的定义
设\(A \subset X\)，定义集合\(A\)的特征函数\(\chi_A: X \to \mathbb{R}\)为：
- 直观理解：特征函数就像一个"指示器"，当\(x\)属于集合\(A\)时，它"亮"（值为1），否则"灭"（值为0）。
- 核心对应：\(x \in A \iff \chi_A(x) = 1\)，这是特征函数最基本的性质，所有其他性质都由此导出。
二、定理1.1.8 特征函数的运算性质
设\(A,B\)是全集\(X\)的任意子集，则特征函数满足以下运算性质：
(1) 集合相等与对称差的刻画
意义：特征函数完全刻画了集合的特征。两个集合相等当且仅当它们的特征函数完全相同；两个集合的对称差恰好是它们的特征函数取值不同的点集。
(2) 包含关系的刻画
意义：集合的包含关系对应特征函数的大小关系。子集的特征函数在所有点上都不超过母集的特征函数。
(3) 并集的特征函数
意义：这是容斥原理的函数形式。当\(A\)和\(B\)不相交时（\(A \cap B = \varnothing\)），公式简化为\(\chi_{A \cup B} = \chi_A + \chi_B\)，这是简单函数定义的基础。
(4) 交集的特征函数
意义：交集的特征函数等于两个特征函数的乘积。这是特征函数最优美的性质之一，它将复杂的集合交运算转化为简单的函数乘法运算。
(5) 差集的特征函数
意义：差集的特征函数等于\(A\)的特征函数乘以\(B\)的特征函数的补。特别地，补集的特征函数为\(\chi_{A^c}(x) = 1 - \chi_A(x)\)。
(6) 对称差的特征函数
意义：对称差的特征函数等于两个特征函数差的绝对值。这直观地反映了对称差是"只属于其中一个集合"的元素的集合。
三、完整证明（每步标注依据）
(1) 集合相等与对称差的证明
-
\(A = B \iff \chi_A = \chi_B\)
- 若\(A = B\)，则对任意\(x \in X\)，\(x \in A\)当且仅当\(x \in B\)，故\(\chi_A(x) = 1\)当且仅当\(\chi_B(x) = 1\)，因此\(\chi_A = \chi_B\)。
- 若\(\chi_A = \chi_B\)，则对任意\(x \in X\)，\(\chi_A(x) = \chi_B(x)\)，故\(x \in A\)当且仅当\(x \in B\)，因此\(A = B\)。
-
\(A \triangle B = \{x \mid \chi_A(x) \neq \chi_B(x)\}\)
- \(x \in A \triangle B \iff x \in A - B\)或\(x \in B - A\)
- \(\iff (\chi_A(x)=1 \text{ 且 } \chi_B(x)=0)\)或\((\chi_A(x)=0 \text{ 且 } \chi_B(x)=1)\)
- \(\iff \chi_A(x) \neq \chi_B(x)\)
(2) 包含关系的证明
- \(A \subset B \iff\) 对任意\(x \in X\)，若\(x \in A\)则\(x \in B\)
- \(\iff\) 对任意\(x \in X\)，若\(\chi_A(x)=1\)则\(\chi_B(x)=1\)
- \(\iff\) 对任意\(x \in X\)，\(\chi_A(x) \leq \chi_B(x)\)
(3) 并集的证明
我们分四种情况讨论：
- \(x \in A \cap B\)：\(\chi_{A \cup B}=1\)，\(\chi_A+\chi_B-\chi_{A \cap B}=1+1-1=1\)
- \(x \in A - B\)：\(\chi_{A \cup B}=1\)，\(\chi_A+\chi_B-\chi_{A \cap B}=1+0-0=1\)
- \(x \in B - A\)：\(\chi_{A \cup B}=1\)，\(\chi_A+\chi_B-\chi_{A \cap B}=0+1-0=1\)
- \(x \in (A \cup B)^c\)：\(\chi_{A \cup B}=0\)，\(\chi_A+\chi_B-\chi_{A \cap B}=0+0-0=0\)
所有情况等式都成立，故\(\chi_{A \cup B} = \chi_A + \chi_B - \chi_{A \cap B}\)。
(4) 交集的证明
- 若\(x \in A \cap B\)，则\(\chi_{A \cap B}(x)=1\)，\(\chi_A(x)\cdot\chi_B(x)=1\cdot1=1\)
- 若\(x \notin A \cap B\)，则\(x \notin A\)或\(x \notin B\)，故\(\chi_A(x)=0\)或\(\chi_B(x)=0\)，因此\(\chi_A(x)\cdot\chi_B(x)=0=\chi_{A \cap B}(x)\)
(5) 差集的证明
- 若\(x \in A - B\)，则\(\chi_{A - B}(x)=1\)，\(\chi_A(x)\cdot[1-\chi_B(x)]=1\cdot(1-0)=1\)
- 若\(x \notin A - B\)，则\(x \notin A\)或\(x \in B\)，故\(\chi_A(x)=0\)或\(\chi_B(x)=1\)，因此\(\chi_A(x)\cdot[1-\chi_B(x)]=0=\chi_{A - B}(x)\)
(6) 对称差的证明
- 若\(x \in (A \cup B)^c\)：\(|\chi_A - \chi_B|=|0-0|=0=\chi_{A \triangle B}(x)\)
- 若\(x \in A \cap B\)：\(|\chi_A - \chi_B|=|1-1|=0=\chi_{A \triangle B}(x)\)
- 若\(x \in A - B\)：\(|\chi_A - \chi_B|=|1-0|=1=\chi_{A \triangle B}(x)\)
- 若\(x \in B - A\)：\(|\chi_A - \chi_B|=|0-1|=1=\chi_{A \triangle B}(x)\)
四、核心意义与重要应用
1. 集合运算的函数化
特征函数将所有集合运算（并、交、补、差、对称差）都转化为函数的算术运算（加、减、乘、绝对值）。这使得我们可以用函数的方法来研究集合的性质，极大地简化了证明过程。
典型应用：证明集合恒等式
例如，证明\((A \triangle B) \triangle C = A \triangle (B \triangle C)\)（对称差的结合律）。
证明：
由性质(1)，得\((A \triangle B) \triangle C = A \triangle (B \triangle C)\)。
2. 简单函数的基础
简单函数是指可以表示为有限个特征函数的线性组合的函数：
其中\(c_i\)是常数，\(A_i\)是互不相交的可测集。
勒贝格积分的定义就是从简单函数开始的：先定义简单函数的积分，再通过简单函数逼近任意可测函数，从而定义一般可测函数的积分。因此，特征函数是整个勒贝格积分理论的起点。
3. 可测函数的等价刻画
一个函数是可测函数当且仅当它可以表示为一列简单函数的极限。而简单函数是特征函数的线性组合，因此可测函数的研究本质上可以归结为特征函数的研究。
五、集合运算与特征函数运算对照表
| 集合运算 | 特征函数运算 |
|---|---|
| \(A = B\) | \(\chi_A = \chi_B\) |
| \(A \subset B\) | \(\chi_A \leq \chi_B\) |
| \(A \cup B\) | \(\chi_A + \chi_B - \chi_{A \cap B}\) |
| \(A \cap B\) | \(\chi_A \cdot \chi_B\) |
| \(A^c\) | \(1 - \chi_A\) |
| \(A - B\) | \(\chi_A \cdot (1 - \chi_B)\) |
| \(A \triangle B\) | \(|\chi_A - \chi_B|\) |
posted on 2026-05-25 17:04 Indian_Mysore 阅读(20) 评论(0) 收藏 举报
浙公网安备 33010602011771号