等势(Equinumerosity)
康托尔通过研究集合之间的“势”,来研究无穷大和超限数等概念,著名的对角线论证法也从这诞生。
定义4.10.1:
a. X≅FY X ≅ F Y :是 Fnc1(F)∧D(F)=X∧R(F)=Y F n c 1 ( F ) ∧ D ( F ) = X ∧ R ( F ) = Y 的缩写,即 F F 是从
到 Y Y 的一一映射函数。
b.
:是 (∃F)(X≅FY) ( ∃ F ) ( X ≅ F Y ) ,即存在一一映射的函数,此时称 X X 和
等势。
以下命题显而易见,证明就不写了。
命题4.21:
a. ⊢X≅X ⊢ X ≅ X
b. ⊢X≅Y⇒Y≅Z ⊢ X ≅ Y ⇒ Y ≅ Z
c. ⊢X≅Y∧Y≅Z⇒X≅Z ⊢ X ≅ Y ∧ Y ≅ Z ⇒ X ≅ Z
命题4.22:
a. ⊢(X≅Y∧Z≅W∧X∩Z=∅∧Y∩W=∅)⇒X∪Z≅Y∪W ⊢ ( X ≅ Y ∧ Z ≅ W ∧ X ∩ Z = ∅ ∧ Y ∩ W = ∅ ) ⇒ X ∪ Z ≅ Y ∪ W
b. ⊢(X≅Y∧Z≅W)⇒X×Z≅Y×W ⊢ ( X ≅ Y ∧ Z ≅ W ) ⇒ X × Z ≅ Y × W
c. ⊢X×{
y}≅X ⊢ X × { y } ≅ X
d. ⊢X×Y≅Y×X ⊢ X × Y ≅ Y × X
e. ⊢(X×Y)×Z≅X×(Y×Z) ⊢ ( X × Y ) × Z ≅ X × ( Y × Z )
注:这些命题的证明都依赖于前面的“类存在定理”。
定义4.10.2:
a. XY X Y :是 {
u|u:Y→X} { u | u : Y → X } 的缩写,即所有 Y Y 到
的函数的类,注意这些函数都是集合,并且 D(u)=Y∧R(u)⊆X D ( u ) = Y ∧ R ( u ) ⊆ X 。
在NBG集合论中,函数都是集合,因此讨论等势时的 X X 和 中的成员一般都是集合。
引理4.10.0
a. ⊢(∀X)(∀Y)(∃X1)(∃Y1)(X≅X1∧Y≅Y1∧X1∧Y1=∅) ⊢ ( ∀ X ) ( ∀ Y ) ( ∃ X 1 ) ( ∃ Y 1 ) ( X ≅ X 1 ∧ Y ≅ Y 1 ∧ X 1 ∧ Y 1 = ∅ )
b. ⊢P(y)≅2y ⊢ P ( y ) ≅ 2 y ,注意 2 2 是
的缩写,而 1 1 是
的缩写。
c. ⊢¬M(Y)⇒XY=∅ ⊢ ¬ M ( Y ) ⇒ X Y = ∅
d. ⊢(∀x)(∀y)M(xy) ⊢ ( ∀ x ) ( ∀ y ) M ( x y )
e. ⊢X∅=1 ⊢ X ∅ = 1
f. ⊢1y≅1 ⊢ 1 y ≅ 1
g. ⊢Y≠∅⇒∅Y=∅ ⊢ Y ≠ ∅ ⇒ ∅ Y = ∅
h. ⊢X≅X{
u} ⊢ X ≅ X { u }
i. ⊢X≅Y∧Z≅W⇒XZ≅YW ⊢ X ≅ Y ∧ Z ≅ W ⇒ X Z ≅ Y W
j. ⊢X∩Y=∅⇒ZX∪Y≅ZX×ZY ⊢ X ∩ Y = ∅ ⇒ Z X ∪ Y ≅ Z X × Z Y
k. ⊢(∀x)(∀y)(∀z)[(xy)z≅xy×z] ⊢ ( ∀ x ) ( ∀ y ) ( ∀ z ) [ ( x y ) z ≅ x y × z ]
l. ⊢(X×Y)Z≅XZ×YZ ⊢ ( X × Y ) Z ≅ X Z × Y Z
m. ⊢(∀x)(∀R)(R We x⇒(∃α)(x≅α)) ⊢ ( ∀ x ) ( ∀ R ) ( R W e x ⇒ ( ∃ α ) ( x ≅ α ) )
证明:
a. 令 X1=X×{
∅} X 1 = X × { ∅ } 和 Y1=Y×{
{
∅}} Y 1 = Y × { { ∅ } } 。注意, ∅ ∅ 和 {
∅} { ∅ } 都是集合,所以应用命题4.22c,可知 X≅X1 X ≅ X 1 和 Y≅Y1 Y ≅ Y 1 ,并且显然 X1∩Y1=∅ X 1 ∩ Y 1 = ∅ 。证毕。
b. 若 u∈P(y) u ∈ P ( y ) ,则 u⊆y u ⊆ y ,构造定义域为 y y 的函数 使得,若 w∈u w ∈ u 则 C′uw=∅ C u ′ w = ∅ ,若 w∈y−u w ∈ y − u 则 C′uw=1 C u ′ w = 1 。显然, Cu C u 是 y y 到 的函数。现在,构造函数 F F ,它的定义域是 ,并且若 u∈D(F) u ∈ D ( F ) ,则 F′u=Cu F ′ u = C u 。要证明 F F 是 到 2y 2 y 的一一映射函数,则证明两点即可。第一,对于任意 u,v∈P(y)∧u≠v u , v ∈ P ( y ) ∧ u ≠ v ,都有 F′u≠F′v F ′ u ≠ F ′ v 。第二, R(F)=2y R ( F ) = 2 y 。对于第一点,要得出 Cu≠Cv C u ≠ C v ,若