1.2 集合及其基本运算

集合的概念

集合的朴素概念

”集合“是现代数学研究中的底层概念。集合论奠基人奥尔格·康托尔曾这样叙述集合的概念：

我们把集合理解为由若干确定的、有充分区别的、具体或抽象的对象合并而成的一个整体

从中，作者归纳出朴素集合论中有关集合的一些要点：

• 集合可由任何有区别的对象组成
• 集合由其组成对象整体唯一确定
• 任何性质都能够确定一个具有该性质的集合

如果 $x$ 是一个对象，$P$ 为某种性质，$P(x)$ 代表对象 $x$ 具有性质 $P$.则 { x ∣ P ( x ) } \{x|P(x)\} {x∣P(x)} 表示将具有性质 $P$ 的所有对象 $x$ 聚合起来，形成一个集合。这些对象称为集合的元素。

如果集合元素个数有限，例如 $A$ 的元素只有 $n$ 个，分别为 $x_1,x_2,\cdots ,x_n$ , 则可记

A = { x 1 , x 2 , ⋯   , x n } A=\{x_1,x_2,\cdots,x_n\} A={x1​,x2​,⋯,xn​}. 这称为集合的列举法表示。

在各种情境下，“集合"具有各种各样的同义词，如"类”，“族”，“组”，"全体"等。

罗素悖论

上面提到的集合论的要点并不是集合的精确定义，事实上，"性质"一词的宽泛性（该性质是否明晰)，会导致矛盾的出现。

记性质 $P(x)=x不是x的元素$ ，那么具有该性质的所有集合组成的整体 K = { x ∣ P ( x ) } K=\{x|P(x)\} K={x∣P(x)} 算不算一个集合呢？

如果 $K$ 是一个集合，那么集合 $K$ 要么是集合$K$ 的元素，要么不是集合 $K$ 的元素。

• 如果 $K$ 是 $K$ 的元素，那么有 $\neg P(K)$，那么 $K$ 不是 $K$ 的元素
• 如果 $K$ 不是 $K$ 的元素，那么有 $P(K)$ ，那么 $K$ 是 $K$ 的元素

可见，按照朴素集合论的简单概念，矛盾不可避免地产生了.

具有性质 $K$ 的对象整合在一起作为集合会产生悖论。进而，所有集合组成的集合也是一个矛盾点。

要想解决这个悖论，建立完善的公理化集合论，就要在“性质”上加入准确的限制和定义。这是公理化集合论的范畴，笔者还未接触，不再多言。

对于数学分析中的具体集合，上面提到的逻辑漏洞不会出现。

包含关系

元素属于集合

组成集合的对象称为集合的元素。一般用小写字母表示元素，大写字母表示集合。

$$x属于A:=x是A的元素=:x\in A$$

$$x不属于A:=x不是A的元素=:x\notin A$$

存在量词：$\exists$

全称量词：$\forall$

集合包含集合

$A$ 的所有元素都是 $B$ 的元素，则称 $A$ 包含于 $B$ 或 $B$ 包含 $A$ 或 $A$ 是 $B$ 的子集

$A\subset B:=\forall x((x\in A)\Rightarrow (x\in B))$

$A=B:=(A\subset B)\wedge (B\subset A)$

依据规则或性质 $P$ , 可以在集合 $M$ 中导出一个子集 { x ∈ M ∣ P ( x ) } \{x\in M|P(x)\} {x∈M∣P(x)} . 如果 $M$ 的元素都满足 $P$，这个导出的子集明显就是它本身；如果 $M$ 中没有一个元素满足 $P$ , 导出的子集中将一个元素都没有，称这样的集合为空集，记作 $\varnothing$ .

最简单的集合运算

集合间的基本运算是个老生常谈的问题，这里只作列举，不进行详述

设全集为 $M$

并集

A ∪ B   : =   { x ∈ M ∣ ( x ∈ A ) ∨ ( x ∈ B ) } A\cup B\ := \ \{x\in M|(x\in A)\vee (x\in B)\} A∪B := {x∈M∣(x∈A)∨(x∈B)}

交集

A ∩ B   : =   { x ∈ M ∣ ( x ∈ A ) ∧ ( x ∈ B ) } A\cap B \ := \ \{x\in M|(x\in A)\wedge (x\in B)\} A∩B := {x∈M∣(x∈A)∧(x∈B)}

差集

A − B   : =   { x ∈ M ∣ ( x ∈ A ) ∧ ( x ∉ B ) } A-B\ :=\ \{x\in M|(x\in A)\wedge (x\notin B)\} A−B := {x∈M∣(x∈A)∧(x∈/B)}

补集

$C_{M}A=M-A$

集合运算的小例题

验证

$C_M(A\cup B)=C_{M}A\cap C_{M}B$

$C_M(A\cap B)=C_{M}A\cup C_{M}B$

证明：

$x\in C_M(A\cup B)\Rightarrow x\notin (A\cup B)\Rightarrow (x\notin A)\wedge (x\notin B)$

$\Rightarrow (x\in C_{M}A)\wedge (x\in C_{M}B)\Rightarrow x\in C_{M}A\cap C_{M}B$

这说明 $C_M(A\cup B)\subset C_{M}A\cap C_{M}B$

$x\in C_{M}A\cap C_{M}B\Rightarrow (x\in C_{M}A)\wedge (x\in C_{M}B)\Rightarrow (x\notin A)\wedge (x\notin B)$

$\Rightarrow x\notin (A\cup B)\Rightarrow x\in C_M(A\cup B)$

这说明 $C_{M}A\cup C_{M}B\subset C_M(A\cap B)$

综上，$C_M(A\cup B)=C_{M}A\cap C_{M}B$

$x\in C_M(A\cap B)\Rightarrow x\notin (A\cap B)\Rightarrow (x\notin A)\vee (x\notin B)$

$\Rightarrow (x\in C_{M}A)\vee (x\in C_{M}B)\Rightarrow x\in C_{M}A\cup C_{M}B$

这说明 $C_M(A\cap B)\subset C_{M}A\cup C_{M}B$

$x\in C_{M}A\cup C_{M}B\Rightarrow (x\in C_{M}A)\vee (x\in C_{M}B)\Rightarrow (x\notin A)\vee (x\notin B)$

$\Rightarrow x\notin (A\cap B)\Rightarrow x\in C_M(A\cap B)$

这说明 $C_{M}A\cup C_{M}B\subset C_M(A\cap B)$

综上，$C_M(A\cap B)=C_{M}A\cup C_{M}B$

笛卡尔积

偶

称集合 $A$、$B$ 组成的新集合 { A , B } \{A,B\} {A,B} 为无序偶。由于集合元素的无序性， { A , B } = { B , A } \{A,B\}=\{B,A\} {A,B}={B,A} .

在无序偶上加入序的附加特征，得到有序偶，元素集合 $A$ , $B$ 在偶中的位置发挥作用，记作 $(A,B)$.

$(A,B)=(C,D)$ 当且仅当 $(A=C)\wedge (B=D)$ .

元素偶集----笛卡尔积

将第一元素取自 $A$ 而 第二元素取自 $B$ 的有序偶的集合称作集合 $A$ 与 $B$ 的笛卡尔积/直积

$$C=A\times B:=\{(x,y)|(x\in A)\wedge (y\in B)\}$$

第一元素 $x$ 又称序偶 $z=(x,y)$ 的第一投影/坐标，记作 ${\text{pr}}_{1}z$

第二元素 $x$ 又称序偶 $z=(x,y)$ 的第二投影/坐标，记作 ${\text{pr}}_{2}z$

一般而言，$A\times B\ne B\times A$

习题

【1】验证集合关系式

a) $(A\subset C)\wedge (B\subset C)\iff ((A\cup B)\subset C)$

证明：

假设 $(A\subset C)\wedge (B\subset C)$ 成立. $x\in A\cup B\Rightarrow (x\in A)\vee (x\in B)\Rightarrow x\in C$. 故 $(A\cup B)\subset C$.

即 $(A\subset C)\wedge (B\subset C)\Rightarrow ((A\cup B)\subset C)$

假设 $(A\cup B)\subset C$ 成立. $x\in A\Rightarrow x\in A\cup B\Rightarrow x\in C$. 这说明 $A\subset C$ . $x\in B\Rightarrow x\in A\cup B\Rightarrow x\in C$. 这说明 $B\subset C$ . 综上，$(A\subset C)\wedge (B\subset C)$. 即 $(A\cup B)\subset C\Rightarrow (A\subset C)\wedge (B\subset C)$ .

综上，有 $(A\subset C)\wedge (B\subset C)\iff ((A\cup B)\subset C)$

---

b) $(C\subset A)\wedge (C\subset B)\iff (C\subset (A\cap B))$

证明：

假设 $(C\subset A)\wedge (C\subset B)$ 成立. $x\in C\Rightarrow (x\in A)\wedge (x\in B)\Rightarrow x\in A\cap B$. 故 $C\subset (A\cap B)$成立 .

假设 $C\subset (A\cap B)$ 成立. $x\in C\Rightarrow x\in A\cap B\Rightarrow (x\in A)\wedge (x\in B)\Rightarrow$. 故 $(C\subset A)\wedge (C\subset B)$ 成立.

---

c) $C_M(C_{M}A)=A$

证明：

$x\in C_M(C_{M}A)\Rightarrow x\notin C_{M}A\Rightarrow x\in A$ . 故 $C_M(C_{M}A)\subset A$ .

$x\in A\Rightarrow x\notin C_{M}A\Rightarrow x\in C_M(C_{M}A)$ . 故 $A\subset C_M(C_{M}A)$ .

---

d) $(A\subset C_{M}B)\iff (B\subset C_{M}A)$

证明：

假设 $(A\subset C_{M}B)$ 成立. $x\in B\Rightarrow x\notin C_{M}B\Rightarrow x\notin A\Rightarrow x\in C_{M}A$. 故 $B\subset C_{M}A$ 成立.

假设 $(B\subset C_{M}A)$ 成立. $x\in A\Rightarrow x\notin C_{M}A\Rightarrow x\notin B\Rightarrow x\in C_{M}B$. 故 $(A\subset C_{M}B)$ 成立.

---

e) $(A\subset B)\iff (C_{M}B\subset C_{M}A)$

证明：

假设 $A\subset B$ 成立. $x\in C_{M}B\Rightarrow x\notin B\Rightarrow x\notin A\Rightarrow x\in C_{M}A$. 故 $(A\subset B)\Rightarrow (C_{M}B\subset C_{M}A)$.

假设 $(C_{M}B\subset C_{M}A)$ 成立. $x\in A\Rightarrow x\notin C_{M}A\Rightarrow x\notin C_{M}B\Rightarrow x\in B$. 故 $(C_{M}B\subset C_{M}A)\Rightarrow (A\subset B)$

【2】证明集合交并运算的结合律和分配律

a) $A\cup (B\cup C)=(A\cup B)\cup C=:A\cup B\cup C$

证明：

$x\in A\cup (B\cup C)\Rightarrow (x\in A)\vee (x\in (B\cup C))$

$\Rightarrow (x\in A)\vee (x\in B)\vee (x\in C)\Rightarrow (x\in A\cup B)\vee (x\in C)\Rightarrow x\in (A\cup B)\cup C$

故 $A\cup (B\cup C)\subset (A\cup B)\cup C$

$x\in (A\cup B)\cup C\Rightarrow (x\in A\cup B)\vee (x\in C)$

$\Rightarrow (x\in A)\vee (x\in B)\vee (x\in C)\Rightarrow (x\in A)\vee (x\in (B\cup C))\Rightarrow x\in A\cup (B\cup C)$

故 $(A\cup B)\cup C\Rightarrow A\cup (B\cup C)$

---

b) $A\cap (B\cap C)=(A\cap B)\cap C=:A\cap B\cap C$

证明：

$x\in A\cap (B\cap C)\Rightarrow (x\in A)\wedge (x\in (B\cap C))$

$\Rightarrow (x\in A)\wedge (x\in B)\wedge (x\in C)\Rightarrow (x\in A\cap B)\wedge (x\in C)\Rightarrow x\in (A\cap B)\cap C$

故 $A\cap (B\cap C)\subset (A\cap B)\cap C$

$x\in (A\cap B)\cap C\Rightarrow (x\in A\cap B)\wedge (x\in C)$

$\Rightarrow (x\in A)\wedge (x\in B)\wedge (x\in C)\Rightarrow (x\in A)\wedge (x\in (B\cap C))\Rightarrow x\in A\cap (B\cap C)$

故 $(A\cap B)\cap C\Rightarrow A\cap (B\cap C)$

---

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

证明:

$x\in A\cap (B\cup C)\Rightarrow (x\in A)\wedge (x\in B\cup C)\Rightarrow (x\in A)\wedge ((x\in B)\vee (x\in C)$

$\Rightarrow ((x\in A)\wedge (x\in B))\vee ((x\in A)\wedge (x\in C))$

$\Rightarrow (x\in A\cap B)\vee (x\in A\cap C)\Rightarrow x\in (A\cap B)\cup (A\cap C)$

故 $A\cap (B\cup C)\subset (A\cap B)\cup (A\cap C)$

$x\in (A\cap B)\cup (A\cap C)\Rightarrow (x\in A\cap B)\vee (x\in A\cap C)$

$\Rightarrow ((x\in A)\wedge (x\in B))\vee ((x\in A)\wedge (x\in C))$

$\Rightarrow (x\in A)\wedge ((x\in B)\vee (x\in C)\Rightarrow (x\in A)\wedge (x\in B\cup C)\Rightarrow x\in A\cap (B\cup C)$

故 $(A\cap B)\cup (A\cap C)\subset A\cap (B\cup C)$

---

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

证明：

$x\in A\cup (B\cap C)\Rightarrow (x\in A)\vee (x\in B\cap C)\Rightarrow (x\in A)\vee ((x\in B)\wedge (x\in C)$

$\Rightarrow ((x\in A)\vee (x\in B))\wedge ((x\in A)\vee (x\in C))$

$\Rightarrow (x\in A\cup B)\wedge (x\in A\cup C)\Rightarrow x\in (A\cup B)\cap (A\cup C)$

故 $A\cup (B\cap C)\subset (A\cup B)\cap (A\cup C)$

$x\in (A\cup B)\cap (A\cup C)\Rightarrow (x\in A\cup B)\wedge (x\in A\cup C)$

$\Rightarrow ((x\in A)\vee (x\in B))\wedge ((x\in A)\vee (x\in C))$

$\Rightarrow (x\in A)\vee ((x\in B)\wedge (x\in C)\Rightarrow (x\in A)\vee (x\in B\cap C)\Rightarrow x\in A\cup (B\cap C)$

故 $(A\cup B)\cap (A\cup C)\subset A\cup (B\cap C)$

【3】证明并与交的对偶性

a) $C_M(A\cup B)=C_{M}A\cap C_{M}B$

$x\in C_M(A\cup B)\Rightarrow x\notin A\cup B\Rightarrow (x\notin A)\wedge (x\notin B)$

$\Rightarrow (x\in C_{M}A)\wedge (x\in C_{M}B)\Rightarrow x\in C_{M}A\cap C_{M}B$

故 $C_M(A\cup B)\subset C_{M}A\cap C_{M}B$

$x\in C_{M}A\cap C_{M}B\Rightarrow (x\in C_{M}A)\wedge (x\in C_{M}B)$

$\Rightarrow (x\notin A)\wedge (x\notin B)\Rightarrow x\notin A\cup B\Rightarrow x\in C_M(A\cup B)$

故 $C_{M}A\cap C_{M}B\subset C_M(A\cup B)$

---

b) $C_M(A\cap B)=C_{M}A\cup C_{M}B$

$x\in C_M(A\cap B)\Rightarrow x\notin A\cap B\Rightarrow (x\notin A)\vee (x\notin B)$

$\Rightarrow (x\in C_{M}A)\vee (x\in C_{M}B)\Rightarrow x\in C_{M}A\cup C_{M}B$

故 $C_M(A\cap B)\subset C_{M}A\cup C_{M}B$

$x\in C_{M}A\cup C_{M}B\Rightarrow (x\in C_{M}A)\vee (x\in C_{M}B)$

$\Rightarrow (x\notin A)\vee (x\notin B)\Rightarrow x\notin A\cap B\Rightarrow x\in C_M(A\cap B)$

故 $C_{M}A\cup C_{M}B\subset C_M(A\cap B)$

【4】笛卡尔积的几何解释

给出以下集合的笛卡尔积的几何解释

笛卡尔积 $A\times B$ 可以看作是 $(A,0)+(0,B)$ , 这两个空间在高纬度下是垂直的，这可能也是笛卡尔积别称直积的原因。

在这种意义下，来解释下面的问题

a) 两线段

线段的元素是起点到终点中间的数。将两条线段在平面内置于垂直状态，$(x,0)+(0,y)=(x,y)$ 组成平面上的一个矩形区域。

b)两直线

直线的元素是全体实数。$(x,y)$ 的第一坐标，第二坐标都没有限制。该笛卡尔积为整个平面。

c) 直线和圆周

圆周的元素是圆周上的有序偶 $(x,y)$ . 这些有序偶与直线上的数 $z$ 组合，也·即把圆周的圆心置于直线上，圆周垂直于直线，整体沿直线平移，这形成了满足圆柱面方程的笛卡尔积 $\{(x,y,z)\}$

d) 直线与圆面

圆面的元素是圆面上的有序偶 $(x,y)$ .这等同于把 c) 内部的点也囊括进来。是一个无限长的圆柱体。

e) 两个圆周

将第一个圆周平铺在平面上，将第二个圆周的圆点置于第一个圆周上，且所在平面始终垂直于第一平面。也即将第二个圆周沿着第一个圆周移动，这形成了一个圆环面。

f) 圆周与圆面

这等同于将 e) 内部的点也囊括进来。形成了一个圆环体。

【5】笛卡尔积平方的对角线

集合 $\Delta =\{(x_1,x_2)\in X^2|x_1=x_2\}$ 称为集合 $X$ 的笛卡尔积平方的对角线。请给出【4】中a)，b)，e)所得集合的对角线的几何解释.

a) 正方形的对角线 $\{(x,x)|x\in L\}$

b) 平面的对角线 $\{(x,x)|x\in R\}$

c) 圆环面的对角线

查询资料得，圆环面的参数方程为:

$\{\begin{array}{l}x(u,v)=(R+r\cos v)\cos u\\ y(u,v)=(R+r\cos v)\sin u\\ z(u,v)=r\sin v\end{array}$

则标准圆环面的对角线的参数方程为

$\{\begin{array}{l}x(u)=\cos u+{\cos }^{2}u\\ y(u)=\sin u+\sin u\cos u\\ z(u)=\sin u\end{array}$

【6】笛卡尔积的性质

a) $(X\times Y=\varnothing )\iff (X=\varnothing )\vee (Y=\varnothing )$

证明：

假设 $(X=\varnothing )\vee (Y=\varnothing )$ 不成立. 即 $(X\ne \varnothing )\wedge (Y\ne \varnothing )$ 成立. 则

$\exists x,y((x\in X)\wedge (y\in Y))\Rightarrow \exists x,y((x,y)\in (X\times Y))\Rightarrow X\times Y\ne \varnothing$ .

故 $(X\times Y=\varnothing )\Rightarrow (X=\varnothing )\vee (Y=\varnothing )$

假设 $X\times Y=\varnothing$ 不成立. 即 $X\times Y\ne \varnothing$ 成立. 则

$\exists x,y((x,y)\in (X\times Y))\Rightarrow \exists x,y((x\in X)\wedge (y\in Y))\Rightarrow (X\ne \varnothing )\wedge (Y\ne \varnothing )$

故 $(X=\varnothing )\vee (Y=\varnothing )\Rightarrow (X\times Y=\varnothing )$

---

以下以 $A\times B\ne \varnothing$ 及 $X\times Y\ne \varnothing$ 为前提

---

b) $(A\times B\subset X\times Y)\iff (A\subset X)\wedge (B\subset Y)$

证明:

假设 $(A\times B\subset X\times Y)$ 成立.

$x\in A,y\in B\Rightarrow (x,y)\in A\times B\Rightarrow (x,y)\in X\times Y$

$\Rightarrow (x\in X)\wedge (y\in Y)$ . 故 $(A\times B\subset X\times Y)\Rightarrow (A\subset X)\wedge (B\subset Y)$

假设 $(A\subset X)\wedge (B\subset Y)$ 成立.

$(x,y)\in A\times B\Rightarrow (x\in A)\wedge (y\in B)\Rightarrow (x\in X)\wedge (y\in Y)$

$\Rightarrow (x,y)\in X\times Y$ . 故 $(A\subset X)\wedge (B\subset Y)\Rightarrow (A\times B\subset X\times Y)$.

---

c) $(X\times Y)\cup (Z\times Y)=(X\cup Z)\times Y$

证明:

$(a,b)\in (X\times Y)\cup (Z\times Y)\iff ((a,b)\in (X\times Y))\vee ((a,b)\in (Z\times Y))$

$\iff ((a\in X)\vee (a\in Z))\wedge (b\in Y)\iff (a\in X\cup Z)\wedge (b\in Y)$

$\iff (a,b)\in (X\cup Z)\times Y$

---

d) $(X\times Y)\cap (X^{\prime }\times Y^{\prime })=(X\cap X^{\prime })\times (Y\cap Y^{\prime })$

证明:

$(x,y)\in (X\times Y)\cap (X^{\prime }\times Y^{\prime })\iff ((x,y)\in X\times Y)\wedge ((x,y)\in X^{\prime }\times Y^{\prime }))$

$\iff ((x\in X)\wedge (x\in X^{\prime }))\wedge ((y\in Y)\wedge (y\in Y^{\prime }))$

$\iff (x\in (X\cap X^{\prime }))\wedge (y\in (Y\cap Y^{\prime }))$

$\iff (x,y)\in (X\cap X^{\prime })\times (Y\cap Y^{\prime })$