Posted on ::

1.1 集合与集合的表示方法

集合 (Set):指定的某些对象的全体。集合中的元素必须是确定的、互异的、无序的。通常用大写字母 $A, B, C$ 等表示。

元素 (Element):集合中的每一个对象。通常用小写字母 $a, b, c$ 等表示。

属于 (Belong to):如果 $a$ 是集合 $A$ 的元素,记作 $a \in A$。

不属于 (Not belong to):如果 $a$ 不是集合 $A$ 的元素,记作 $a \notin A$。

常用数集

  • 自然数集:$\mathbb{N}$(包含 $0$)
  • 正整数集:$\mathbb{N}^*$ 或 $\mathbb{N}_+$
  • 整数集:$\mathbb{Z}$
  • 有理数集:$\mathbb{Q}$
  • 素数集:$\mathbb{P}$
  • 实数集:$\mathbb{R}$
  • 复数集:$\mathbb{C}$

以上数集皆为无限集。

列举法 (Roster Method)

把集合的元素一一列举,并用花括号 { } 括起来表示集合。例如:

  • $\{ 1, 2, 3\}$
  • $\{ -5, -7, -9, \dots, -99\}$
  • $\{ 2, 4, 6, \dots, n, \dots\}$

描述法 (Set-builder Notation)

即特征性质描述法。用集合所含元素的共同特征表示集合。格式为 $\{ x \in I \mid p(x)\}$,其中 $x$ 代表元素,$p(x)$ 是元素满足的条件。当不致发生误解时,$x$ 的取值集合可省略,“$\in I$”可不写。

例如:

$$ \{ (x, y) \mid 2x + 3y = 0, x \in \mathbb{Z}\} $$


1.2 集合之间的关系与运算

子集 (Subset)

对于两个集合 $A, B$,如果集合 $A$ 中任意一个元素都是集合 $B$ 中的元素,称集合 $A$ 为集合 $B$ 的子集,记作 $A \subseteq B$(或 $B \supseteq A$)。

设 $A = \{ x \mid p(x)\}$,$B = \{ x \mid q(x)\}$。如果 $A \subseteq B$,则

$$ p(x) \Rightarrow q(x) $$

如果 $A \subseteq B$ 且 $B \subseteq A$,则

$$ A = B \Leftrightarrow p(x) \Leftrightarrow q(x) $$

真子集 (Proper Subset)

如果 $A \subseteq B$,但存在元素 $x \in B$ 且 $x \notin A$,则称 $A$ 是 $B$ 的真子集,记作 $A \subsetneq B$。

空集 (Empty Set)

不含任何元素的集合,记作 $\emptyset$。规定:空集是任何集合的子集。

基数与幂集

通常,有限集合 $S$ 的元素个数用 $\mathrm{card}(S)$ 或 $|S|$ 表示,称作集合 $S$ 的基数 (cardinality)

若 $|S| = n$,那么 $S$ 的幂集 (Power Set) $\mathcal{P}(S)$ 的基数(即 $S$ 的所有子集的总数)等于 $2^n$。

当 $S = \emptyset$ 时,$|S| = 0$,$\mathcal{P}(S) = 2^0 = 1$。

Venn 图

用平面内一条封闭曲线的内部表示一个集合 (图(1)),用这种图形可以形象地表示出集合之间的关系,这种图形通常叫做 Venn 图。

Venn

如果集合 $A$ 是集合 $B$ 的真子集,那么就把表示 $A$ 的区域画在表示 $B$ 的区域的内部 (图(2))。

并集 (Union)

由所有属于集合 $A$ 属于集合 $B$ 的元素组成的集合:

$$ A \cup B = \{ x \mid x \in A \text{ 或 } x \in B\} $$

交集 (Intersection)

由属于集合 $A$ 属于集合 $B$ 的所有元素组成的集合:

$$ A \cap B = \{ x \mid x \in A \text{ 且 } x \in B\} $$

如果 $A \subseteq B$,则 $A \cap B = A$。

对于 $A, B$ 任意两个有限集,有:

$$ \mathrm{card}(A \cup B) = \mathrm{card}(A) + \mathrm{card}(B) - \mathrm{card}(A \cap B) $$

补集 (Complement)

对于一个集合 $A$,由全集 $U$ 中不属于集合 $A$ 的所有元素组成的集合,称为集合 $A$ 相对于全集 $U$ 的补集:

$$ \complement_U A = \{ x \mid x \in U \text{ 且 } x \notin A\} $$

对于任意集合 $A$,有 $\complement_U (\complement_U A) = A$。

全集通常用矩形区域表示。全集与它的任意一个真子集之间的关系,可用 Venn 图表示,如下图。

Complement