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

这篇具有很好参考价值的文章主要介绍了关于实变函数中德摩根定律和集合列上下极限的一些讨论。希望对大家有所帮助。如果存在错误或未考虑完全的地方，请大家不吝赐教，您也可以点击"举报违法"按钮提交疑问。

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

文章目录

前言

一、德-摩根定律

1.概率论与逻辑代数

2.集合论

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

1.基本定义

2.个人理解

3.一个例子

4.集合形式的描述定理

结语

前言

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

一、德-摩根定律

1.概率论与逻辑代数

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

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

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

基本逻辑运算真值表
			$关于实变函数中德摩根定律和集合列上下极限的一些讨论$ （A或B）	（A与B）	（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

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

德摩根定律真值表
					$关于实变函数中德摩根定律和集合列上下极限的一些讨论$ （A或非B）		（A与非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列真值保持一致，即有下式成立。

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

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

2.集合论

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

指标集常为或，前者为有限集，后者为无限集。

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

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

(1) 有限覆盖定理：若是一族开区间，而，则存在，使得。

(2) 区间套定理：若,且，则存在唯一,使得,即.

对于集合的补集，简写时用表示集合的补集。

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

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

若一族集合，则有

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

（存在）		（并集）
↑ 包含于		↑ 包含于
（任意）		（交集）

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

请让我们看一个例子。设是一列函数，若是使收敛于0的点，则对任意，存在，使得对任意，将其写为集合语言，即

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

考虑等式左边的否命题，即存在，使得任意，都存在，写为集合语言即

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

如此便产生了与德摩根定律一致的结论。需要注意的是，等式右端的集合表达式在“取反”的时候，要将所有的交集替换成并集，所有的并集替换成交集，同时也需将集合元素特征表述“取反”（如将变成）。

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

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

1.基本定义

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

设是任意一列集。由属于上述集列中无限多个集合的那种元素的全体所组成的集合称为这一集列的上极限，记为或，可以表示为

对那种除去有限个下标外，属于集列中每个集合的元素的全体所组成的集合称为这一集列的下极限，记为或，可以表示为

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

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

2.个人理解

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

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

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

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