知识点
满射
如果对 ∀ y ∈ Y , ∃ x ∈ X \forall y\in Y,\exist x\in X ∀y∈Y,∃x∈X,使 y = f ( x ) y=f(x) y=f(x),则称 f f f为满(映)射
单射
如果 f ( x 1 ) = f ( x 2 ) f(x_1)=f(x_2) f(x1)=f(x2)必有 x 1 = x 2 x_1=x_2 x1=x2,则称 f f f为单射
双摄(一一映射)
若 f f f既是满射又是单射,则称 f f f为双摄(一一映射)
势
若存在一个从集合 A A A到 B B B上的一一映射 ϕ : A → B \phi:A\rightarrow B ϕ:A→B,则称集合 A A A与 B B B是 对等的。记作 A ∼ B A\sim B A∼B。如果 A ∼ B A\sim B A∼B则称 A A A与 B B B的“数目”(势或基数)是相同的。
证明集合
A
A
A与
B
B
B对等:
(1)直接方法:构造一一映射:
f
:
A
→
B
f:A\rightarrow B
f:A→B
(2)间接方法:应用Cantor-Bernstein定理:若
X
∼
Y
⊂
Y
1
X\sim Y\subset Y_1
X∼Y⊂Y1,
Y
∼
X
1
⊂
X
Y\sim X_1\subset X
Y∼X1⊂X,则
X
∼
Y
X\sim Y
X∼Y.
可数集
可数(列)集:与自然数集 N N N对等的集合。 N N N的势记为 ℵ 0 \aleph_0 ℵ0,
至多可数集:有限集与可数集,否则称为不可数集
连续势(连续基数):与
(
0
,
1
]
(0,1]
(0,1]对等的集合的势(基数)