关于实变函数中德摩根定律和集合列上下极限的一些讨论

最新推荐文章于 2024-06-20 22:28:14 发布

大娱乐至上Iason

最新推荐文章于 2024-06-20 22:28:14 发布

阅读量3.1k

点赞数 7

分类专栏：数学文章标签：概率论科技

本文链接：https://blog.csdn.net/jlx142857/article/details/127446096

版权

数学专栏收录该内容

1 篇文章 0 订阅

订阅专栏

本文内容来自作者本人在学习《实变函数与泛函分析基础》一书过程中的一些思考。

文章目录

前言

实变函数论是克服黎曼可积函数狭隘性的重要理论。本文简要对实变函数论中集合论的部分中的两个内容——德-摩根定律和集合列的上下极限进行一些讨论。由于本人非理学专业，从工科视角出发的理解、语言和表达可能都不甚严谨，望读者海涵。

一、德-摩根定律

1.概率论与逻辑代数

在概率论中，对于一个事件 $\small A$ ，将“事件 $\small A$ 不发生”这一事件记为 $\small \overline{A}$ ；加入另一个事件 $\small B$ ，将“事件 $\small A$ 和事件 $\small B$ 同时发生”这一事件记为 $\small AB$ ；将“事件 $\small A$ 和事件 $\small B$ 至少有一个发生”这一事件记为 $\small A\cup B$ ；如果事件 $\small A$ 和事件 $\small B$ 是同一个事件，则有 $\small A=B$ 。则有形如以下的德摩根定律：

$\small \overline{AB}=\overline{A}\cup \overline{B}$

$\small \overline{A\cup B}=\overline{A}\, \overline{B}$

当有无穷多个事件时，仍有类似的定律成立。

在数字电子技术的逻辑代数理论中，逻辑表达式或逻辑变量 $\small A$ 和 $\small B$ 之间也有类似描述。在定义逻辑表达式或变量间的“与”、“或”、“非”运算时，由于任何一个逻辑表达式只有0或1两种取值，故采用“真值表”的形式定义。对于任意一种已知的逻辑运算符和相应的操作数取值，都可通过真值表获取其运算后的值。

基本逻辑运算真值表
	$\small A$	$\small B$	$\small A+B$ （A或B）	$\small AB$ （A与B）	$\small \overline{A}$ （A非）
1	0	0	0	0	1
2	0	1	1	0	1
3	1	1	1	1	0
4	1	0	1	0	0

此时，仍有类似的德摩根定律，亦可通过真值表求证。

德摩根定律真值表
	$\small A$	$\small B$	$\small \overline{A}$	$\small \overline{B}$	$\small \overline{A+B}$ （A或非B）	$\small \overline{A}\, \overline{B}$	$\small \overline{AB}$ （A与非B）	$\small \overline{A}+\overline{B}$
1	0	0	1	1	1	1	1	1
2	0	1	1	0	0	0	1	1
3	1	1	0	0	0	0	0	0
4	1	0	0	1	0	0	1	1

不难看出，表中第6列和第7列真值保持一致，第8列和第9列真值保持一致，即有下式成立。

$\small \overline{A+B}=\overline{A}\, \overline{B}$

$\small \overline{AB}=\overline{A}+\overline{B}$

在工程实际中，利用德摩根定律可以有效简化或转化数字电路中各类门电路的使用，降低电路的复杂度或提升可行性。

2.集合论

首先，在描述多个集合的并集时，常用指标集的概念辅助描述。设有一族集合 $\small \left \{ A_{\alpha}:\alpha\in \Lambda \right \}$ ，其中 $\small \alpha$ 是在固定指标集 $\small \Lambda$ 中变化的指标。在这里，指标可以理解为集合的“下标”，指标集 $\small \Lambda$ 可以理解为“下标的集合”。则由一切 $\small A_\alpha$ $\small \left ( \alpha \in \Lambda \right )$ 的所有元素组成的集合称为这族集合的并集，并用如下的方式表示：

$\small \bigcup_{\alpha \in \Lambda}^{}A_{\alpha}=\left \{ x:\exists \, \alpha \in \Lambda, \, s.t.\,x \in A_\alpha \right \}$

指标集 $\small \Lambda$ 常为 $\small \left \{ 1,2,\cdot \cdot \cdot ,k \right \}$ 或 $\small \left \{ 1,2,\cdot \cdot \cdot \right \}$ ，前者为有限集，后者为无限集。

同理，对于多个集合的交集，也有类似的结论：

$\small \bigcap_{\alpha \in \Lambda}^{}A_{\alpha}=\left \{ x:\forall \, \alpha \in \Lambda, \, x \in A_\alpha \right \}$

值得一提是，虽然和本文所讲的内容没什么直接联系，但是我们也可以简要回顾一下我们在工科数学分析中所学过的两个不太起眼的定理。

(1) 有限覆盖定理：若 $\small \left \{ I_\alpha:\alpha \in \Lambda \right \}$ 是一族开区间，而 $\small \left [a,b \right ]\subset\bigcup_{\alpha \in \Lambda}^{ \! \, }I_\alpha$ ，则存在 $\small \left \{ \alpha_1,\alpha_2,\dots,\alpha_k \right \}\subset \Lambda$ ，使得 $\small \left [ a,b \right ]\subset\bigcup_{i=1}^{k}I_{\alpha_i}$ 。

(2) 区间套定理：若 $\small \left [a_n,b_n \right ]\subset \left [ a_{n-1},b_{n-1} \right ],n=1,2,\dots$ ,且 $\small \lim_{n\to\infty }\left ( b_n-a_n \right )=0$ ，则存在唯一 $\small a\in \mathbb{R}$ ,使得 $\small a \in \left [ a_n,b_n \right ],n=1,2,\dots$ ,即 $\small \left \{ a \right \}=\bigcap_{n=1}^{\infty }\left [ a_n,b_n \right ]$ .

对于集合的补集，简写时用 $\small A^c$ 表示集合 $\small A$ 的补集。

在进入德摩根定律前的最后一个前备工作，是需要了解集合是如何定义相等关系的。若集合 $\small A$ 和集合 $\small B$ 满足 $\small A\subset B$ 且 $\small B \subset A$ ，则称二者相等，记为 $\small A=B$ 。

下面我们可以进入本节的主题，即德摩根定律的集合表达。

若一族集合 $\small \left \{ A_{\alpha}:\alpha\in \Lambda \right \}$ ，则有

$\small \left ( \bigcup_{\alpha \in \Lambda}^{}A_\alpha \right )^c=\bigcap_{\alpha \in \Lambda}^{}A_\alpha^c$

$\small \left ( \bigcap_{\alpha \in \Lambda}^{}A_\alpha \right )^c=\bigcup_{\alpha \in \Lambda}^{}A_\alpha^c$

实际上，很多数学上的逻辑命题都可以用集合语言来描述，他们之间有着显然而深刻的关联，请看下图。

$\small \exists$ （存在）	$\small \Leftrightarrow$	$\small \bigcup_{}^{}$ （并集）
↑ 包含于		↑ 包含于
$\small \forall$ （任意）	$\small \Leftrightarrow$	$\small \bigcap_{}^{}$ （交集）

请读者先尝试理解这样一句话，即与“存在”相对应的是并集运算，与“任意”相对应的是交集运算。如此而来，我们的德摩根定律实际上可以通过“一个命题与其逆否命题等价”来近似理解。

请让我们看一个例子。设 $\small \left \{ f_n\left ( x \right ) \right \}$ 是一列函数，若 $\small x$ 是使 $\small \left \{ f_n\left ( x \right ) \right \}$ 收敛于0的点，则对任意 $\small \varepsilon >0$ ，存在 $\small N \in\mathbb{N}$ ，使得对任意 $\small n\geqslant N,\left | f_n\left ( x \right ) \right |<\varepsilon$ ，将其写为集合语言，即

$\small \left \{ x:\lim_{n \to \infty }f_n\left ( x \right )=0 \right \}=\bigcap_{\varepsilon \in \mathbb{R}^+}^{}\bigcup_{N=1}^{\infty }\bigcap_{n=N}^{\infty }\left \{ x:\left | f_n\left ( x \right ) \right |<\varepsilon \right \}$

考虑等式左边的否命题 $\small \left \{ x:\lim_{n \to \infty }f_n\left ( x \right )\neq 0\,\textup{or do not exist} \right \}$ ，即存在 $\small \varepsilon >0$ ，使得任意 $\small N \in\mathbb{N}$ ，都存在 $\small n\geqslant N,\left | f_n\left ( x \right ) \right |\geqslant \varepsilon$ ，写为集合语言即

$\small \left \{ x:\lim_{n \to \infty }f_n\left ( x \right )\neq 0\,\textup{or do not exist} \right \}=\bigcup_{\varepsilon \in \mathbb{R}^+}^{}\bigcap_{N=1}^{\infty }\bigcup_{n=N}^{\infty }\left \{ x:\left | f_n\left ( x \right ) \right |\geqslant \varepsilon \right \}$

如此便产生了与德摩根定律一致的结论。需要注意的是，等式右端的集合表达式在“取反”的时候，要将所有的交集替换成并集，所有的并集替换成交集，同时也需将集合元素特征表述“取反”（如将 $\small \left \{ x:\left | f_n\left ( x \right ) \right |<\varepsilon \right \}$ 变成 $\small \left \{ x:\left | f_n\left ( x \right ) \right |\geqslant \varepsilon \right \}$ ）。

二、集合列的上极限与下极限

首先需要说明的是，在实变函数集合论中提出的有关于集合列的上极限与下极限，我认为和数学分析中数列和函数的上极限和下极限意义是有很大差别的，至少从表面上而言。

1.基本定义

由于集合列的上极限与下极限概念比较抽象（个人认为），故先摘抄教科书上的定义。

设 $\small A_1,A_2,\dots,A_n,\dots$ 是任意一列集。由属于上述集列中无限多个集合的那种元素的全体所组成的集合称为这一集列的上极限，记为 $\small \overline{\lim_{n \to \infty }}A_n$ 或 $\small \lim_{n \to \infty }\sup A_n$ ，可以表示为

$\small \overline{\lim_{n \to \infty }}A_n=\left \{ x:\textup{exists infinite } A_n\, s.t.\, x \in A_n \right \}$

对 $\small A_1,A_2,\dots,A_n,\dots$ 那种除去有限个下标外，属于集列中每个集合的元素的全体所组成的集合称为这一集列的下极限，记为 $\small \underset{n \to \infty }{\underline{\lim}}A_n$ 或 $\small \lim_{n \to \infty }\inf A_n$ ，可以表示为

$\small \underset{n \to \infty }{\underline{\lim}}A_n=\left \{ x:x \in A_n \textup{, when n is big enough} \right \}$

定义完毕，此时书中立即给出一个结论：显然，

$\small \underset{n \to \infty }{\underline{\lim}}A_n\subset\overline{\lim_{n \to \infty }}A_n$

显然，我们并不知道该结论是如何称得上“显然”的。请看下面解读。

2.个人理解

我想，首先我们需要明确两件事：第一件事，只有无限的一列集才存在所谓的上极限和下极限，即如果所给的一列集是形如 $\small A_1,A_2,\dots,A_k$ 而不是 $\small A_1,A_2,\dots,A_n,\dots$ 的，则不存在什么上极限和下极限；第二件事，如果这列集存在所谓的上极限和下极限，那么这个上极限和下极限应当都是集合的形式，而非某个元素（即便真的只有一个元素，那也应当是该元素独立形成的一个集合）。

请让我们接着理解，对于下极限而言，实际上它是属于全部集合（或近乎于全部集合）的元素的集合。什么是近乎于全部集合？即不包含该元素的集合的数量是有限的。如果说“不包含该元素的集合的数量是有限的”，再加上刚才刚刚明确的“第一件事”，这列集合的是无限的，那也就说明下极限中的元素，起码是归属于无穷多个集合的。

现在再来看上极限，实际上它是尚且属于无穷多个集合的元素的集合。所以说下极限中的元素一定是上极限中的元素，亦即

$\small \underset{n \to \infty }{\underline{\lim}}A_n\subset\overline{\lim_{n \to \infty }}A_n$

而上极限与下极限的区别就在于，上极限并不要求其中的元素满足“不包含该元素的集合的数量是有限的”，可以是有限、也可以无限；而下极限要求其中元素符合这一点要求。

3.一个例子

请让我们看书上的一个例子，相信读者可以借此更好地理解上面两小节的内容。

设 $\small A_n$ 是如下一列点集：

$\small A_{2m+1}=\left [ 0,2-\frac{1}{2m+1} \right ],m=0,1,2,\dots$

$\small A_{2m}=\left [ 0,1+\frac{1}{2m} \right ],m=1,2,3,\dots$

现考虑 $\small \left \{ A_n \right \}$ 的上极限和下极限。

首先，因为闭区间 $\small \left [ 0,1 \right ]$ 中的点属于每一个集合，不管是形如 $\small A_{2k+1}$ 还是 $\small A_{2k}$ ，故其中每一个点都应该是下极限中的元素。而对于开区间 $\small \left ( 1,2 \right )$ 中的每个点 $\small x$ ，必存在某个正整数 $\small N(x)$ ，使得当 $\small m>N(x)$ 时，均有

$\small 1+\frac{1}{2m}<x\leq 2-\frac{1}{2m+1}$

这些点 $\small x$ 都属于集合 $\small A_{2m+1}$ ，而不属于集合 $\small A_{2m}$ ；显然满足 $\small m>N(x)$ 的 $\small m$ 肯定时无穷多的，即包含这些点的集合有无穷多个，而不包含这些点的集合同样也有无穷多个；由此，我们可以很容易地将这些点，即开区间 $\small \left ( 1,2 \right )$ 中的每个点，都放入上极限之中，且排除在下极限之外。