初等数学O 集合论基础 第一节 集合及其基本运算、de Moivre公式

初等数学O 集合论基础 第一节 集合及其基本运算、de Moivre公式

写在前面

初等数学这个系列是为高中升理工科的学生以及低年级新生准备的衔接内容，主要的目的是对进入大学前12年学过的数学知识（初等数学只涉及代数方面的）做一个系统性的抽象与公理化，使阅读者能够摆脱高中所习惯的比较具体的思维方式中拜托出来，逐步适应更加系统化、公理化的数学叙述模式，或者说，高等数学的叙述模式。当然，对竞赛感兴趣或者对更严谨的叙述方式感兴趣的高中生也可以阅读这个系列。

初等数学这个系列文章的逻辑顺序是第O部分介绍集合论基础、然后按照自然数、整数、有理数、实数、复数的顺序介绍进入大学前12年学过的“数”，但这个系列会从公理化的角度对这些数系进行严谨地定义。介绍完数之后会介绍一些高中阶段学过地基本结构，主要是多项式、数列、函数、不等式这四种。目标是希望在阅读完这个系列的文章后，读者可以更容易理解高等数学、线性代数、离散数学等理工科基础数学。

---

这一讲我们简单回顾一下集合及其基本运算。集合就是由一个或多个确定的元素所构成的整体，这些元素满足确定性、互异性、无序性。下面列出这个系列文章将使用的元素与集合、集合与集合的关系、逻辑关系符号：

• $\in$：属于
• $\notin$：不属于
• $\subseteq$：包含于
• $$：前者是后者的真子集
• $=$：相等
• $\forall$：任意
• $\exists$：存在
• $\exists !$：存在唯一
• $\Rightarrow$：前者推出后者
• $\iff$：前者与后者等价

评注0.1 大写字母表示集合，小写字母表示元素

证明$A\subseteq B$的方法是说明$\forall a\in A$, $a\in B$ (子集的定义)

证明$A=B$的方法是说明$A\subseteq B$以及$B\subseteq A$

---

接下来我们介绍一些集合的基本运算及其性质，这个系列的文章使用的交并补的符号如下：对$A,B$两个集合

• $A\cup B$：$A$与$B$的并集
• $A\cap B$：$A$与$B$的交集
• $A^C$：$A$的补集

对一系列集合，如例1中的$A_1,A_2,\cdots ,A_n$

• ${\bigcup }_{i=1}^n{A}_i$：$A_1,A_2,\cdots ,A_n$的并集
• ${\bigcap }_{i=1}^n{A}_i$：$A_1,A_2,\cdots ,A_n$的交集

交并补是大家非常熟悉的，这里就不赘述了。我们来介绍一些高中阶段见得不多的集合运算。

定义0.1 差集 记$A\setminus B$表示$A$减去$B$的差集，它满足
$$A\setminus B=\{a:a\in A,a\notin B\}$$

这里的冒号后面写集合中的元素应该满足的条件。如果用$X$表示全集，显然
$$A^C=X\setminus A$$

定义0.2 无交并 记$A\bigsqcup B$表示$A$与$B$的无交并，它就是$A$与$B$的并集，只是$A$与$B$没有交集。

定义0.3 对称差 记$A\Delta B$表示$A$与$B$的对称差，它满足
$$A\Delta B=(A\setminus B)\bigsqcup (B\setminus A)=(A\cup B)\setminus (A\cap B)$$

我们可以用下面的Venn图展示一下这几种集合运算：

红色圆是$A$，蓝色圆是$B$，重叠部分（浅紫色）就是$A\cap B$，有色区域就是$A\cup B$，只有红色的部分就是$A\setminus B$，只有蓝色的部分就是$B\setminus A$，只有一种颜色的部分就是$A\Delta B$。

例0.1 证明下面的命题
$$\forall i\in \{1,\cdots ,n\},A_i\subseteq B\Rightarrow \bigcup _{i=1}^n{A}_i\subseteq B$$

这个命题的逆命题成立吗？

证
我们先分析一下，这个命题的逆命题显然是成立的，因为$\forall i\in \{1,\cdots ,n\}$, $A_i\subseteq {\bigcup }_{i=1}^n{A}_i$，所以${\bigcup }_{i=1}^n{A}_i\subseteq B\Rightarrow \forall i\in \{1,\cdots ,n\},A_i\subseteq B$。接下来我们证明一下原命题，

$\forall a\in {\bigcup }_{i=1}^n{A}_i$，$\exists j\in \{1,\cdots ,n\}$，$a\in A_j$，因为$\forall i\in \{1,\cdots ,n\},A_i\subseteq B$，所以$a\in B$。这样我们就证明了${\bigcup }_{i=1}^n{A}_i\subseteq B$。

总结 读者需要了解的是数学教材撰写的逻辑是从基本结构导出一些使用的结论，并例子说明这些结论如何解决问题；第一个阶段相当于证明题，第二个阶段相当于计算题。例0.1就是很典型的证明题，这个题目中的基本结构有两个，包含于以及并集，要证明的结论也是一个集合是另一个集合的子集，所以这个证明评述0.1第一条的框架，说明${\bigcup }_{i=1}^n{A}_i$中的任一元素也在$B$中即可，这是一个经典的三段式演绎推理的框架，大前提是$\forall i\in \{1,\cdots ,n\},A_i\subseteq B$，即每一个$A_i$都是$B$的子集（，因此每一个$A_i$中的任一元素都属于$B$），小前提是$\exists j\in \{1,\cdots ,n\}$，$a\in A_j$，也就是${\bigcup }_{i=1}^n{A}_i$中的元素一定在某一个$A_i$中，这就可以推出$a$属于$B$。其中大前提是假设，小前提是并集这个基本结构的结果。

从这个例子总结出的关于演绎推理证明问题的思路如下：先找到结论涉及的基本结构，根据结论涉及的基本结构确定证明的框架，然后用条件涉及的基本结构及其相关结果完成这个证明框架。

---

集合运算的简单性质，我们不加证明地给出下面的性质

$A\cup (B\cap C)=(A\cup B)\cap (A\cup C)$

$A\cap (B\cup C)=(A\cap B)\cup (A\cap C)$

$A\setminus B=A\cap B^C$

$(A\cap B{)}^C=A^C\cup B^C$

$(A\cup B{)}^C=A^C\cap B^C$

读者可以尝试画出Venn图自行验证这五个等式。

例0.2 证明下面的等式
$$A\setminus (B\setminus C)=(A\setminus B)\cup (A\cap C)$$

证
$$\begin{gathered} A\setminus (B\setminus C)=A\setminus (B\cap C^C)=A\cap (B\cap C^C{)}^C \\ =A\cap (B^C\cup C)=(A\cap B^C)\cup (A\cap C)=(A\setminus B)\cup (A\cap C) \end{gathered}$$

---

接下来我们介绍一个非常有用的结论，de Moivre公式，它就是上面简单性质4、5的推广。

定理0.1 de Moivre公式(有限个集合交与并的补集)

假设$\{A_i{\}}_{i=1}^n=\{A_1,A_2,\cdots ,A_n\}$表示一系列有限个集合，它们交与并的补集满足下面的性质：

$({\bigcup }_{i=1}^n{A}_i{)}^C={\bigcap }_{i=1}^n{A}_i^C$

$({\bigcap }_{i=1}^n{A}_i{)}^C={\bigcup }_{i=1}^n{A}_i^C$

证明
后续我们会介绍这个公式对无限个集合也成立，但现在我们先证明这个最简单的情况，思路就是将$n$个集合的交或并通过换元化归为两个集合的交与并，然后用集合运算的简单性质。

i）记$B_k={\bigcup }_{i=k}^n{A}_i,k\ge 2$,
$$B_k^C=(\bigcup _{i=k}^n{A}_i{)}^C=(A_k\cup B_{k+1}{)}^C=A_k^C\cap B_{k+1}^C$$

这样我们就得到了$B_k$的递推关系，下面我们重复使用这个递推关系
$$\begin{gathered} (\bigcup _{i=1}^n{A}_i{)}^C=(A_1\cup B_2{)}^C=A_1^C\cap B_2^C \\ =A_1^C\cap A_2^C\cap B_3^C=\cdots =A_1^C\cap A_2^C\cap \cdots A_k^C=\bigcap _{i=1}^n{A}_i^C \end{gathered}$$

ii）记$D_k={\bigcap }_{i=k}^n{A}_i,k\ge 2$
$$D_k^C=(\bigcap _{i=k}^n{A}_i{)}^C=(A_k\cap D_{k+1}{)}^C=A_k^C\cup D_{k+1}^C$$

重复使用这个递推关系
$$\begin{gathered} (\bigcap _{i=1}^n{A}_i{)}^C=(A_1\cap D_2{)}^C=A_1^C\cup D_2^C \\ =A_1^C\cup A_2^C\cup D_3^C=\cdots =A_1^C\cup A_2^C\cup \cdots A_k^C=\bigcup _{i=1}^n{A}_i^C \end{gathered}$$

证毕

这个公式是非常有用的，未来在组合学、分析、概率论等课程中大家会频繁使用到它。

---

定义0.4 集列 类比数列，称一系列集合为集列，记为$\{A_i{\}}_{i=1}^n=\{A_1,A_2,\cdots ,A_n\},n\in \mathbb{N}$。

定义0.5 集列的单调性 与数列类似，我们也可以定义集列的单调性

• 集列递增记为$A_n\uparrow$，表示$A_i\subseteq A_{i+1},1\le i\le n-1$
• 集列递减记为$A_n\downarrow$，表示$A_i\supseteq A_{i+1},1\le i\le n-1$

例0.3 在实分析中，我们经常要基于一个递增的集列构造一个不交的集列，假设$\{A_i{\}}_{i=1}^n$是一个递增的集列，定义
$$B_1=A_1,B_k=A_k\setminus A_{k-1},\forall k\ge 2$$

验证$B_k\cap B_l=\varphi ,\forall k\ne l$以及${\bigcup }_{k=1}^n{B}_k={\bigcup }_{i=1}^n{A}_i$。

证明
i）不妨假设$k<l$，因为$A_n\uparrow$，$A_k\subseteq A_{l-1}$，
$$B_k=A_k\setminus A_{k-1}\subseteq A_k\subseteq A_{l-1}$$

因此$B_k\cap B_l=\varphi ,\forall k\ne l$。

ii）直接计算
$$\begin{gathered} \bigcup _{k=1}^n{B}_k=A_1\cup \bigcup _{k=2}^n(A_k\setminus A_{k-1})=A_1\cup (A_2\setminus A_1)\cup \cdots \\ =A_2\cup (A_3\setminus A_2)\cdots =A_3\cup (A_4\setminus A_3)\cdots =A_n \end{gathered}$$

因为$A_n\uparrow$, $\forall i\le n$, $A_i\subseteq A_n$
$$\bigcup _{i=1}^n{A}_i=A_n$$

所以
$$\bigcup _{k=1}^n{B}_k=\bigcup _{i=1}^n{A}_i$$

总结

以上是生活随笔为你收集整理的初等数学O 集合论基础 第一节 集合及其基本运算、de Moivre公式的全部内容，希望文章能够帮你解决所遇到的问题。

如果觉得生活随笔网站内容还不错，欢迎将生活随笔推荐给好友。