[离散数学]集合论基础P_2：特殊集合与集合间的关系

H3T

已于 2022-09-10 14:40:44 修改

阅读量308

点赞数 3

分类专栏： # 第一讲：集合论基础文章标签：学习

于 2022-09-07 11:25:58 首次发布

本文链接：https://blog.csdn.net/m0_58991879/article/details/126739255

版权

第一讲：集合论基础专栏收录该内容

5 篇文章 0 订阅

订阅专栏

本文详细介绍了集合论中的空集、全集、相等关系、包含关系（子集与真子集）以及幂集的概念，并通过实例和文氏图进行解释。集合的相等性通过外延性原理证明，而幂集则是所有子集构成的集合，对理解集合论基础至关重要。

摘要由CSDN通过智能技术生成

前言

第一讲：集合论基础

集合论在数学中占有一个独特的地位，它的基本概念已渗透到数学的所有领域，是基础的基础。

在离散数学中，需要使用集合来表达各类离散量以及离散量之间的关系，所以首先学习集合论是重中之重。

本文特殊集合与集合间的关系是集合论基础的第二部分。

1. 空集

定义

不含任何元素的集合叫做空集（empty set），记作 $\varnothing$ .
空集可以符号化为 $\varnothing =\left\{ x\left| x\ne x \right. \right\}$ .

例子

设 $A=\left\{ x\left| x\in R,x^2<0 \right. \right\}$ ，则 $A=\varnothing$
$\left| \varnothing \right|=0\text{，}\left| \left\{ \varnothing \right\} \right|=1$
空集的基数为0，如果空集作为集合的元素时基数为1

空集是绝对唯一的。

2. 全集

定义

针对一个具体范围，我们考虑的所有对象的集合叫做全集（universal set），记作 $U$ 或 $E$ .
在文氏图一般使用方形表示全集。

例子

在立体几何中全集是由空间的全体点组成的；
在我国的人口普查中，全集是由我国所有人组成的。

全集是相对唯一的。

3. 相等关系

元素的基本特性

集合中的元素是无序的。 $\left\{ 1,2,3,4 \right\}$ 与 $\left\{ 2,3,1,4 \right\}$ 相同。
集合中的元素是不同的。 $\left\{ 1,2,2,3,4,3,4,2 \right\}$ 与 $\left\{ 1,2,3,4 \right\}$ 相同。
（相同元素看做一个元素）

例子

设 $E=\left\{ x\left| \left( x-1 \right) \left( x-2 \right) \left( x-3 \right) =0, x\in R \right. \right\}$ ， $F=\left\{ x\left| x\in Z^+, x^2<12 \right. \right\}$ ，可见 $E$ 和 $F$ 具有相同的元素 $\left\{1,2,3\right\}$ ，此时称两个集合相等。

外延性原理（Theorem）

两个集合 $A$ 和 $B$ 相等，当且仅当它们的元素完全相同，记为 $A = B$ ，否则 $A$ 和 $B$ 不相等，记为 $A\ne B$

4. 包含关系

子集和真子集

设 $A=\left\{ BASIC,PASCAL,ADA \right\}$ ， $B=\left\{ ADA,PASCAL \right\}$ ，此时 $A$ 中含有 $B$ 中所有的元素，这种情况称为 $A$ 包含 $B$ .

定义

设 $A$ 、 $B$ 是任意两个集合，

如果 $B$ 的每个元素都是 $A$ 中的元素，则称 $B$ 是 $A$ 的子集，也称做 $B$ 被 $A$ 包含或 $A$ 包含 $B$ ，记作 $B\subseteq A$ ，否则记作 $B\nsubseteq A$ .
如果 $B\subseteq A$ 并且 $A\ne B$ ，则称B是A的真子集，也称做B被A真包含或A真包含B，记作 $B\subset A$ ，否则记作 $B ⊄ A$ .

" $\subseteq$ "关系的数学语言描述为： $B\subseteq A\Longleftrightarrow$ 对 $\forall x$ ，如果 $x\in B$ ，则 $x\in A$ .

文氏图

文氏图： $B\subseteq A$

由子集定义可有：

$\varnothing \subseteq A$
$A\subseteq A$

例子

已知 $A=\left\{ 1,2,3,4 \right\}$ ， $B=\left\{ 1,2,4 \right\}$ ， $C=\left\{ 2,3 \right\}$ ， $D=\left\{ 3,2 \right\}$ ，可见：

$A\subseteq A$ ， $B\subseteq A$ ， $C\subseteq A$ ， $D\subseteq A$ ，
$C\subseteq D$ ， $D\subseteq C$ ，同时 $C = D$

证明集合相等

定理

设 $A$ ， $B$ 为任意两个集合，则 $A = B$ $\Longleftrightarrow$ $A\subseteq B$ 并且 $B\subseteq A$

⭐⭐⭐该定理非常重要，这是证明集合相等的一种非常有效的方式。

证明框架

证明：

首先证明 $A\subseteq B:$ $\forall x\in A,\cdots ,x\in B. \therefore A\subseteq B.$
其次证明 $B\subseteq A:$ $\forall x\in B,\cdots ,x\in A. \therefore B\subseteq A.$

由以上两点，可知A=B。

n元集的子集

例子

设 $A=\left\{ a,b,c \right\}$ ，求出 $A$ 的所有子集。

解：由于 $\left| A \right|=3$ ，因而 $A$ 的子集可能包含的元素个数 $m = 0, 1, 2, 3$

$m = 0$ ，即没有任何元素，也就是空集 $\varnothing$
$m = 1$ ，从 $A$ 中任取1个元素，则有 $C_{3}^{1}=3\text{个}:\left\{ a \right\} ,\left\{ b \right\} ,\left\{ c \right\}$
$m = 2$ ，从 $A$ 中任取2个元素，则有 $C_{3}^{2}=3\text{个}:\left\{ a,b \right\} ,\left\{ b,c \right\} ,\left\{ a,c \right\}$
$m = 3$ ，从 $A$ 中任取3个元素，则有 $C_{3}^{3}=1\text{个}:\left\{ a,b,c \right\}$

以上8个集合就是 $A$ 的所有子集。

⭐推广：对于任意 $n$ 元集合 $A$ ，它的 $m$ 元 $\left( 0\leqslant m\leqslant n \right)$ 子集个数为 $C_{n}^{m}$ 个，所以不同的子集个数为： $C_{n}^{0}+C_{n}^{1}+\cdots +C_{n}^{n}=\left( 1+1 \right) ^n=2^n$ .

5. 幂集

定义

设 $A$ 为任意集合，把 $A$ 的所有不同子集构成的集合叫做 $A$ 的幂集（power set），记作 $P (A)$ ，即， $P\left( A \right) =\left\{ x\left| x\subseteq A \right. \right\}$

$x\in P\left( A \right) \Longleftrightarrow X\subseteq A$
如果一个元素 $x$ 属于 $A$ 的幂集，那么这个元素 $x$ 一定属于集合 $A$ .

例子

设 $A=\left\{ a,b,c \right\}$ ， $B=\left\{ a,\left\{ b,c \right\} \right\}$ ，求他们的幂集 $P\left( A \right)$ 和 $P\left( B \right)$ 。
解：
$P\left( A \right) =\left\{ \varnothing ,\left\{ a \right\} ,\left\{ b \right\} ,\left\{ c \right\} ,\left\{ a,b \right\} ,\left\{ b,c \right\} ,\left\{ a,c \right\} ,\left\{ a,b,c \right\} \right\}$