文章目录
集合的概念
- A set is a group of objects. (simplest way)
- By a set we mean any collection M into a whole of definite disinct objects m (which we called elements of M) of our perception or thought. (Cantor’s way)
集合(set)是由指定范围内的 满足给定条件的所有对象聚集在一起构成的,指定范围内的每一个对象称为这个集合的元素(element)。
- 集合中的元素是无序的。
- 集合中的元素是不同的(即,同个集合中相同或重复的元素被认为是一个元素)。
通常情况下,
- 用带(或不带)下标的大写英文字母表示集合: A , B , C , … , A 1 , B 1 , C 1 , … A,B,C,\dots,A_1,B_1,C_1,\dots A,B,C,…,A1,B1,C1,…
- 用带(或不带)下标的小写英文字母表示元素: a , b , c , … , a 1 , b 1 , c 1 , … a,b,c,\dots,a_1,b_1,c_1,\dots a,b,c,…,a1,b1,c1,…
ZFC 公理化集合论:
- 外延公理,
- 空集存在公理,
- 无序对公理,
- 并集公理,
- 幂集公理,
- 无穷公理,
- 替换公理,
- 正则公理,
- 选择公理。
常见的集合
- 空集 ∅ \emptyset ∅;
- 正整数集 N + \mathbf{N^+} N+ or W \mathbf{W} W: 1 , 2 , 3 , ⋯ 1,2,3,\cdots 1,2,3,⋯
- 自然数集 N \mathbf{N} N: 0 , 1 , 2 , 3 , ⋯ 0,1,2,3,\cdots 0,1,2,3,⋯
- 整数集 Z \mathbf{Z} Z: ⋯ , − 2 , − 1 , 0 , 1 , 2 , ⋯ \cdots,-2,-1,0,1,2,\cdots ⋯,−2,−1,0,1,2,⋯
- 质数/素数集 P \mathbf{P} P: 2 , 3 , 5 , 7 , ⋯ 2,3,5,7,\cdots 2,3,5,7,⋯
- 有理数集 Q \mathbf{Q} Q;
- 无理数集 I \mathbf{I} I;
- 实数集 R \mathbf{R} R;
- 复数集 C \mathbf{C} C;
- ⋯ ⋯ \cdots\cdots ⋯⋯
关系:
W ⊆ N ⊆ Z ⊆ Q ⊆ R ⊆ C \mathbf{W} \subseteq \mathbf{N} \subseteq \mathbf{Z} \subseteq \mathbf{Q} \subseteq \mathbf{R} \subseteq \mathbf{C} W⊆N⊆Z⊆Q⊆R⊆C
集合的表示方法
枚举法
枚举法又称列举法或显示法,是枚举出集合中的所有或部分元素(要能看出其他元素之间的规律)。
Example:
- 枚举出集合中的所有元素: A = { a , b , c , d } A = \{a,b,c,d\} A={a,b,c,d};
- 枚举出集合中的部分元素: B = { 1 , 3 , 5 , ⋯ , 2 n + 1 , ⋯ } B = \{1,3,5,\cdots,2n+1,\cdots\} B={1,3,5,⋯,2n+1,⋯}。
叙述法
叙述法又称隐式法,是通过刻画(或用自然语言描述)集合中元素所具备的某种特性来表示集合的方法,通常用符号
P
(
x
)
P(x)
P(x) 来表示不同对象
x
x
x 所具有的性质
P
P
P ,由
P
(
x
)
P(x)
P(x) 所定义的集合常记为
{
x
∣
P
(
x
)
}
。
\{x|P(x)\}。
{x∣P(x)}。
文氏图
文氏图(Venn diagram)又叫维恩图,用于展示集合或类之间的大致关系。
![维恩图](https://i-blog.csdnimg.cn/blog_migrate/b042ff18f04d80ed84e7d34272aa36dc.png)
一般用方向表示全集,用圆形表示某一特定集合。
递归指定集合法
递归指定集合法是指通过计算规则定义集合中的元素的方法。
Example:
设
a
0
=
1
a_0 = 1
a0=1,
a
i
+
1
=
2
a
i
(
i
≥
0
)
a_{i+1}=2a_i(i \ge 0)
ai+1=2ai(i≥0),定义
S
=
{
a
0
,
a
1
,
⋯
,
a
n
,
⋯
}
=
{
a
k
∣
k
≥
0
}
S=\{a_0,a_1,\cdots,a_n,\cdots\}=\{a_k|k\ge0\}
S={a0,a1,⋯,an,⋯}={ak∣k≥0},可以得出集合
S
S
S 为
S
=
{
1
,
2
,
2
2
,
⋯
,
2
n
,
⋯
}
。
S=\{1,2,2^2,\cdots,2^n,\cdots\}。
S={1,2,22,⋯,2n,⋯}。
归纳法
- 指出集合至少要包含的元素
- 第一部分:基础,指出某些最基本元素属于某集合;
- 第二部分:归纳,指出由基本元素构造新元素的方法;
- 指出集合至多要包含的元素
- 第三部分:极小性,指出该集合的界限。
基数
Definition:
集合 A A A 中的元素个数称为集合的基数(base number),记为 ∣ A ∣ |A| ∣A∣。
对于任意集合 A A A 来说,
- 若 ∣ A ∣ |A| ∣A∣ 是有限的,称该集合为有限集(finite set);
- 若 ∣ A ∣ |A| ∣A∣ 是无限的,称该集合为无限集(infinite set)。
集合与元素的关系
元素与集合之间有两种关系:
-
属于:如 “ a a a 是集合 A A A 中的元素” 或 “ a a a 属于 A A A ” 记为
a ∈ A 。 a \in A。 a∈A。 -
不属于:如 “ a a a 不是是集合 A A A 中的元素” 或 “ a a a 不属于 A A A” 记为
a ∉ A 。 a \notin A。 a∈/A。
集合与集合的关系
外延性原理
Theorem:
两个集合 A A A 和 B B B 相等,当且仅当它们的元素完全相同,记为 A = B A\ =\ B A = B,否则 A A A 和 B B B 不相等,记为 A ≠ B A\ \neq\ B A = B。
包含关系
Definitions:
设 A A A, B B B 是任意两个集合,
-
包含与不包含:如果 B B B 的每个元素都是 A A A 中的元素,则称 B B B 是 A A A 的子集(subset),也称 B {B} B 被 A {A} A 包含或 A {A} A 包含 B {B} B,记作 B ⊆ A {B \subseteq A} B⊆A 或 A ⊇ B A \supseteq B A⊇B,称 ⊆ \subseteq ⊆ 或 ⊇ \supseteq ⊇ 为被包含关系(included relation)或包含关系(inclusion relation);否则记作 B ⊈ A {B \nsubseteq A} B⊈A。
“ ⊆ \subseteq ⊆” 定义的数学语言描述为:
B ⊆ A ⟺ ∀ x , 如 果 x ⊆ B , 则 x ⊆ A 。 B \subseteq A\ \Longleftrightarrow\ \forall x, 如果 x \subseteq B, 则 x \subseteq A。 B⊆A ⟺ ∀x,如果x⊆B,则x⊆A。
由子集的定义可推出 A ⊆ A A \subseteq A A⊆A。 -
真包含:如果 B ⊆ A B \subseteq A B⊆A 并且 A ≠ B A \neq B A=B,则称 B B B 是 A A A 的真子集(proper subset),也称做 B {B} B 被 A {A} A 真包含或 A {A} A 真包含 B {B} B,记作 B ⊂ A {B \subset A} B⊂A,称 ⊂ \subset ⊂ 为真包含关系(properly inclusion relation)。
“ ⊂ \subset ⊂” 定义的数学语言描述为:
B ⊂ A ⟺ 对 ∀ x , 若 x ∈ B , 则 x ∈ A , 并 且 ∃ y ∈ A , 但 y ∉ B 。 B \subset A \Longleftrightarrow 对 \forall x,若 x \in B,则 x \in A,并且 \exists y \in A,但 y \notin B。 B⊂A⟺对∀x,若x∈B,则x∈A,并且∃y∈A,但y∈/B。
相等关系
Theorem:
设 A A A, B B B 为任意两个集合,则 A = B ⟺ A ⊆ B {A\ =\ B}\ \Longleftrightarrow\ {A \subseteq B} A = B ⟺ A⊆B 并且 B ⊆ A {B \subseteq A} B⊆A。
常见特殊的集合
空集
Definition:
不含任何元素的集合叫做空集(empty set),记作
∅
\emptyset
∅。
∅
=
{
x
∣
x
≠
x
}
\emptyset = \{x|x \neq x\}
∅={x∣x=x}
- 空集是一切集合的子集。
- 空集是绝对唯一的。
Example:
- ∣ ∅ ∣ = 0 |\emptyset| = 0 ∣∅∣=0,
- ∣ { ∅ } ∣ = 1 |\{\emptyset\}| = 1 ∣{∅}∣=1。
证明空集是绝对唯一的
对 “唯一性” 的证明通常采用反证法(先假设 “不唯一”,得出矛盾,从而证明 “唯一性” 是正确的)。
证明:
假设有两个不同的空集
∅
1
\emptyset_1
∅1 和
∅
2
\emptyset_2
∅2 ,由空集是一切集合的子集得
∅
1
⊆
∅
2
和
∅
2
⊆
∅
1
\empty_1 \subseteq \emptyset_2\ 和\ \emptyset_2 \subseteq \emptyset_1
∅1⊆∅2 和 ∅2⊆∅1
根据集合的相等关系,得
∅
1
=
∅
2
\emptyset_1 = \emptyset_2
∅1=∅2,与假设矛盾。因此空集是绝对唯一的。
全集
Definition:
在一个相对固定的范围内,包含此范围内所有元素的集合,称为全集或论集(universal set),用 U U U 或 E E E 表示。
在维恩图中一般用方形表示全集。
![全集](https://i-blog.csdnimg.cn/blog_migrate/19940c8bd6f8517e8eff8c885a93c737.png)
全集是相对唯一的。
m 元子集
Definition:
如果一个集合含有 n n n 个元素,则称集合 A A A 为 n n n 元子集,称含有 A A A 中 m ( 0 ≤ m ≤ n ) m(0 \le m \le n) m(0≤m≤n)个元素的子集为它的 m m m 元子集。
对于任意
n
n
n 元集合
A
A
A,它的
m
m
m 元(
0
≤
m
≤
n
0 \le m \le n
0≤m≤n)子集(包含空集)个数为
C
n
m
C_n^m
Cnm 个,所以不同的子集个数为:
C
n
0
+
C
n
1
+
⋯
+
C
n
n
=
(
1
+
1
)
n
=
2
n
。
(1)
C_n^0 + C_n^1 + \cdots + C_n^n = (1 + 1)^n = 2^n。 \tag{1}
Cn0+Cn1+⋯+Cnn=(1+1)n=2n。(1)
幂集
Definition:
设
A
A
A 为任意集合,把
A
A
A 的所有不同子集构成的集合叫做
A
A
A 的幂集(power set),记作
P
(
A
)
P(A)
P(A),即
P
(
A
)
=
{
x
∣
x
⊆
A
}
。
P(A)\ =\ \{x|x \subseteq A\}。
P(A) = {x∣x⊆A}。
由公式 ( 1 ) (1) (1) 可得 ∣ A ∣ = 2 n ( n = ∣ A ∣ ) |A| = 2^n(n=|A|) ∣A∣=2n(n=∣A∣)。
幂集也叫做集族(family of set)或集合的集合。
对集族的研究在数学方面、知识库和表处理语言以及人工智能等方面都有十分重要的意义。
集合的运算
集合运算的定义
Definition:
设 U U U 是全集, A A A、 B B B 是 U U U 的两个子集,则
-
“ ∪ \cup ∪” 并运算(union operation): A ∪ B = { x ∣ x ∈ A o r x ∈ B } A \cup B = \{x|x \in A\ or\ x \in B\} A∪B={x∣x∈A or x∈B} 是 A A A 与 B B B 的并集(union)。
并集可代表两个集合 “相加”。
-
“ ∩ \cap ∩” 交运算(intersection operation): A ∩ B = { x ∣ x ∈ A a n d B } A \cap B = \{x|x \in A\ and\ B\} A∩B={x∣x∈A and B} 是 A A A 与 B B B 的交集(intersection)。
-
“ A ‾ \overline{A} A” 补运算(complement operation): A ‾ = U − A \overline{A} = U - A A=U−A 是集合 A A A 的补集(complement)(也可记为 A ′ A' A′、 A ~A A、 A c A^c Ac 等)。 A A A 对于全集 U U U 的补集是绝对补集。
-
“ − - −” 差运算(subtraction operation): A − B = { x ∣ x ∈ A a n d x ∉ B } = A ∩ B ‾ A-B=\{x|x \in A\ and\ x \notin B\} = A \cap \overline{B} A−B={x∣x∈A and x∈/B}=A∩B 是 A A A 与 B B B 的差集(subtraction),又称 B B B 在 A A A 中的相对补集。
当 A = U A=U A=U 时, A − B = B ‾ A-B=\overline{B} A−B=B。
-
“ ⊕ \oplus ⊕” 对称差运算(symmetric difference operation): A ⊕ B = { x ∣ ( x ∈ A a n d x ∉ B ) o r ( x ∈ B a n d x ∉ A } = ( A − B ) ∪ ( B − A ) A \oplus B = \{x|(x \in A\ and\ x \notin B)\ or\ (x\in B\ and\ x \notin A\} = (A-B) \cup (B-A) A⊕B={x∣(x∈A and x∈/B) or (x∈B and x∈/A}=(A−B)∪(B−A) 是 A A A 与 B B B 的对称差集(symmetric difference of set)。
扩展:
设 A 1 , A 2 , ⋯ , A n A_1,A_2,\cdots,A_n A1,A2,⋯,An 是任意 n n n 个集合,则
-
这 n \mathbf n n 个集合的并集是包含那些至少是这组集合中一个集合成员的元素的集合,即
⋃ i = 1 n A i = A 1 ∪ A 2 ∪ ⋯ ∪ A n = { x ∣ x ∈ A 1 o r x ∈ A 2 ⋯ o r x ∈ A n } \displaystyle \bigcup_{i=1}^{n}{A_i} = A_1 \cup A_2 \cup \cdots \cup A_n = \{x|x \in A_1\ or\ x \in A_2 \cdots or\ x \in A_n\} i=1⋃nAi=A1∪A2∪⋯∪An={x∣x∈A1 or x∈A2⋯or x∈An} -
这 n \mathbf n n 个集合的交集是那些属于这组集合中所有集合成员的元素的集合,即
⋂ i = 1 n A i = A 1 ∩ A 2 ∩ ⋯ ∩ A n = { x ∣ x ∈ A 1 a n d x ∈ A 2 ⋯ a n d x ∈ A n } \displaystyle \bigcap_{i=1}^{n}{A_i} = A_1 \cap A_2 \cap \cdots \cap A_n = \{x|x \in A_1\ and\ x \in A_2 \cdots and\ x \in A_n\} i=1⋂nAi=A1∩A2∩⋯∩An={x∣x∈A1 and x∈A2⋯and x∈An}
当 n n n 无限增大时,可记为
- ⋃ i = 1 ∞ A i = A 1 ∪ A 2 ∪ ⋯ \displaystyle \bigcup^{\infin}_{i=1}A_i = A_1 \cup A_2 \cup \cdots i=1⋃∞Ai=A1∪A2∪⋯
- ⋂ i = 1 ∞ A i = A 1 ∩ A 2 ∩ ⋯ \displaystyle \bigcap^{\infin}_{i=1}A_i = A_1 \cap A_2 \cap \cdots i=1⋂∞Ai=A1∩A2∩⋯
集合运算的基本等式
设 U U U 为全集, A A A, B B B, C C C 为任意集合,
等式 | 性质 |
---|---|
A
∪
A
=
A
A \cup A = A
A∪A=A A ∩ A = A A \cap A = A A∩A=A | 幂等率 |
A
∪
B
=
B
∪
A
A \cup B = B \cup A
A∪B=B∪A A ∩ B = B ∩ A A \cap B = B \cap A A∩B=B∩A | 交换律 |
A
∪
(
B
∪
C
)
=
(
A
∪
B
)
∪
C
A \cup (B \cup C) = (A \cup B) \cup C
A∪(B∪C)=(A∪B)∪C A ∩ ( B ∩ C ) = ( A ∩ B ) ∩ C A \cap (B \cap C) = (A \cap B) \cap C A∩(B∩C)=(A∩B)∩C | 结合律 |
A
∪
∅
=
A
A \cup \emptyset = A
A∪∅=A A ∩ U = A A \cap U = A A∩U=A | 同一律 |
A
∪
U
=
U
A \cup U = U
A∪U=U A ∩ ∅ = ∅ A \cap \emptyset = \emptyset A∩∅=∅ | 零律 |
A
∪
(
B
∩
C
)
=
(
A
∪
B
)
∩
(
A
∪
C
)
A \cup (B \cap C) = (A \cup B) \cap (A \cup C)
A∪(B∩C)=(A∪B)∩(A∪C) A ∩ ( B ∪ C ) = ( A ∩ B ) ∪ ( A ∩ C ) A \cap (B \cup C) = (A \cap B) \cup (A \cap C) A∩(B∪C)=(A∩B)∪(A∩C) | 分配律 |
A
∪
(
A
∩
B
)
=
A
A \cup (A \cap B) = A
A∪(A∩B)=A A ∩ ( A ∪ B ) A \cap (A \cup B) A∩(A∪B) | 吸收律 |
A ‾ ∩ A = ∅ \overline{A} \cap A = \emptyset A∩A=∅ | 矛盾律 |
A ‾ ∪ A = U \overline{A} \cup A = U A∪A=U | 排中律 |
A ‾ ‾ = A \overline{\overline{A}}=A A=A | 双重否定律 |
A
∪
B
‾
=
A
‾
∩
B
‾
\overline{A \cup B} = \overline{A} \cap \overline{B}
A∪B=A∩B $\overline{A \cap B} = \overline{A} | 德摩根律 |
Example:
![分配律](https://i-blog.csdnimg.cn/blog_migrate/b9540885dd550ad453eea740241c5210.png)
证明德摩根律的等式之一: A ∪ B ‾ = A ‾ ∩ B ‾ \overline{A \cup B} = \overline{A} \cap \overline{B} A∪B=A∩B
证明:
-
证明 A ∪ B ‾ ⊆ A ‾ ∩ B ‾ \overline{A \cup B} \subseteq \overline{A} \cap \overline{B} A∪B⊆A∩B
∀ x ∈ A ∪ B ‾ ⇒ x ∉ A ∪ B ⇒ x ∉ A a n d x ∉ B ⇒ x ∈ A ‾ a n d x ∈ B ‾ ⇒ x ∈ A ‾ ∩ B ‾ , \begin{aligned} \forall x \in \overline{A \cup B} \quad & \Rightarrow\ x \notin A \cup B\ \Rightarrow\ x \notin A\ and\ x \notin B\\ & \Rightarrow x \in \overline{A}\ and\ x \in \overline{B}\ \Rightarrow\ x \in \overline{A} \cap \overline{B}, \end{aligned} ∀x∈A∪B⇒ x∈/A∪B ⇒ x∈/A and x∈/B⇒x∈A and x∈B ⇒ x∈A∩B,即 A ∪ B ‾ ⊆ A ‾ ∩ B ‾ \overline{A \cup B} \subseteq \overline{A} \cap \overline{B} A∪B⊆A∩B;
-
证明 A ‾ ∩ B ‾ ⊆ A ∪ B ‾ \overline{A} \cap \overline{B} \subseteq \overline{A \cup B} A∩B⊆A∪B
∀ x ∈ A ‾ ∩ B ‾ ⇒ x ∈ A ‾ a n d x ∈ B ‾ ⇒ x ∉ A a n d x ∉ B ⇒ x ∉ A ∪ B ⇒ x ∈ A ‾ ∩ B ‾ , \begin{aligned} \forall x \in \overline{A} \cap \overline{B} \quad & \Rightarrow\ x \in \overline{A}\ and\ x \in \overline{B}\ \Rightarrow\ x \notin A\ and\ x \notin B\\ & \Rightarrow\ x \notin A \cup B\ \Rightarrow\ x \in \overline{A} \cap \overline{B}, \end{aligned} ∀x∈A∩B⇒ x∈A and x∈B ⇒ x∈/A and x∈/B⇒ x∈/A∪B ⇒ x∈A∩B,即 A ‾ ∩ B ‾ ⊆ A ∪ B ‾ \overline{A} \cap \overline{B} \subseteq \overline{A \cup B} A∩B⊆A∪B。
综上可得 A ∪ B ‾ = A ‾ ∩ B ‾ \overline{A \cup B} = \overline{A} \cap \overline{B} A∪B=A∩B。
无限集合
有限集合与无限集合的根本区别是:对于无限集合,表面上个数完全不相等的两个集合之间仍可能存在等势关系,如集合与真子集之间。
等势
冯·诺依曼的自然数定义:
基于基数,利用一个集合的序列来定义自然数。
- ∅ ∈ N \emptyset \in \mathbf{N} ∅∈N;
- 若 n ∈ N n \in \mathbf{N} n∈N,则 n ′ ≡ n ∪ { n } ∈ N n' \equiv n \cup \{n\} \in \mathbf{N} n′≡n∪{n}∈N。
从而,这个集合序列的基数可以来定义自然数:
- 0 ≡ ∅ 0 \equiv \emptyset 0≡∅;
- 1 ≡ ∅ ∪ { ∅ } = { ∅ } = { 0 } 1 \equiv \emptyset \cup \{\emptyset\} = \{\emptyset\} = \{0\} 1≡∅∪{∅}={∅}={0};
- 2 ≡ { ∅ } ∪ { { ∅ } } = { ∅ , { ∅ } } = { 0 , 1 } 2 \equiv \{\emptyset\} \cup \{\{\emptyset\}\} = \{\emptyset, \{\emptyset\}\} = \{0,1\} 2≡{∅}∪{{∅}}={∅,{∅}}={0,1};
- ⋯ \cdots ⋯
- n ≡ { 0 , 1 , 2 , 3 , ⋯ , n − 1 } n \equiv \{0,1,2,3,\cdots,n-1\} n≡{0,1,2,3,⋯,n−1};
- ⋯ \cdots ⋯
- N ≡ { 0 , 1 , 2 , ⋯ , n , ⋯ } \mathbf{N} \equiv \{0,1,2,\cdots,n,\cdots\} N≡{0,1,2,⋯,n,⋯}。
实际上,任意含有 n n n 个元素的集合都可以用 n n n 表示。即,任意两个基数相同的集合之间都可以建立一一对应关系。
Definition:
设
A
A
A,
B
B
B 为两个集合,若在
A
A
A,
B
B
B 之间存在一种一一对应的关系:
Ψ
:
A
→
B
\Psi:\ A \rightarrow B
Ψ: A→B
则称 A A A 与 B B B 是等势的(equipotential),记作:
A ∼ B A \sim B A∼B
也称集合 A A A、 B B B 等势(equipotent)。
由等势定义可得,如果 A = B A = B A=B,那么 A ∼ B A \sim B A∼B,反之则不一定成立。
Theorem:
- 两个有限集合等式当且仅当它们有相同的元素个数。
- 有限集合不和其任何真子集等势。
- 可数集合可以与其可数的真子集等势。
可数集合
Definition:
凡与自然数集合 N \mathbf{N} N 等势的集合,称之为可数集合(countable set),该类集合的基数记为 ℵ 0 \aleph_0 ℵ0(aleph,阿列夫)。
Example:
证明以下集合是可数集合,
-
O + = { x ∣ x ∈ N , x 是 正 奇 数 } O^+ = \{x|x \in \mathbf{N},x是正奇数\} O+={x∣x∈N,x是正奇数}
在 O + O^+ O+ 与 N \mathbf{N} N 之间建立一个一一对应关系 φ 1 : N → O + \varphi_1 : \mathbf{N} \rightarrow O^+ φ1:N→O+:
0 1 2 ⋯ n ⋯ ↓ ↓ ↓ ↓ ↓ ↓ 1 3 5 ⋯ 2 n + 1 ⋯ \begin{matrix} 0& 1& 2& \cdots& n& \cdots\\ \downarrow& \downarrow& \downarrow& \downarrow& \downarrow& \downarrow\\ 1& 3& 5& \cdots& 2n+1& \cdots&\\ \end{matrix} 0↓11↓32↓5⋯↓⋯n↓2n+1⋯↓⋯
所以 O + O^+ O+ 是可数集合。 -
P = { x ∣ x ∈ N , x 是 素 数 } P = \{x|x \in \mathbf{N},x是素数\} P={x∣x∈N,x是素数}
在 P P P 与 N \mathbf{N} N 之间建立一个一一对应关系 φ 2 : N → P \varphi_2 : \mathbf{N} \rightarrow P φ2:N→P:
0 1 2 3 4 ⋯ ↓ ↓ ↓ ↓ ↓ ↓ 2 3 5 7 11 ⋯ \begin{matrix} 0& 1& 2& 3& 4& \cdots\\ \downarrow& \downarrow& \downarrow& \downarrow& \downarrow& \downarrow\\ 2& 3& 5& 7& 11& \cdots&\\ \end{matrix} 0↓21↓32↓53↓74↓11⋯↓⋯
所以 P P P 是可数集合。 -
有理数集合 Q \mathbf{Q} Q
将 Q \mathbf{Q} Q 中的所有元素都写成 p / q p/q p/q( p p p、 q q q 是整数,且 q ≠ 0 q \neq 0 q=0)的形式,从 0 / 1 [ 0 ] 0/1^{[0]} 0/1[0] 开始,将所有有理数与自然数一一配对(其中 p / q [ n ] p/q^{[n]} p/q[n] 的上标 [ n ] [n] [n] 代表对应于该有理数的自然数):
![证明Q是可数集合](https://i-blog.csdnimg.cn/blog_migrate/06226ba92994fb451534165c2dcec3c1.jpeg)
所以 Q \mathbf{Q} Q 是可数集合。
不可数集合
Definition:
开区间 ( 0 , 1 ) (0,1) (0,1) 称为不可数集合,凡与开区间 ( 0 , 1 ) (0,1) (0,1) 等势的集合,都称为不可数集合,该类集合的基数记为 ℵ \aleph ℵ(或 ℵ 1 \aleph_1 ℵ1)。
Example:
-
闭区间 [ 0 , 1 ] [0,1] [0,1] 是不可数集合。
证明:在 [ 0 , 1 ] [0,1] [0,1] 和 ( 0 , 1 ) (0,1) (0,1) 之间建立如下对应关系:
R : { 0 → 1 / 4 1 → 1 / 2 1 2 n → 1 2 n + 2 , n = 1 , 2 , 3 , ⋯ n → n , 其 他 n ∈ ( 0 , 1 ) R: \begin{cases} \begin{matrix} 0& \rightarrow& 1/4 \\ 1& \rightarrow& 1/2 \\ \cfrac{1}{2^n}& \rightarrow& \cfrac{1}{2^{n+2}},& n=1,2,3,\cdots \\ n& \rightarrow& n,& 其他 n \in (0,1)\\ \end{matrix} \end{cases} R:⎩⎪⎪⎪⎨⎪⎪⎪⎧012n1n→→→→1/41/22n+21,n,n=1,2,3,⋯其他n∈(0,1)
显然 [ 0 , 1 ] [0,1] [0,1] 与 ( 0 , 1 ) (0,1) (0,1) 是等势的,所以 [ 0 , 1 ] [0,1] [0,1] 是不可数集合。 -
实数集 R \mathbf R R 是不可数集合。
证明:在实数集 R \mathbf R R 和开区间 ( 0 , 1 ) (0,1) (0,1) 之间建立如下对应关系:
n → tan π ( 2 n − 1 2 ) n \rightarrow \tan{\pi\bigg(\cfrac{2n-1}{2}\bigg)} n→tanπ(22n−1)
显然 ( 0 , 1 ) (0,1) (0,1) 与 R \mathbf{R} R 之间是等势的,所以 R \mathbf{R} R 是一个不可数集合。