有限集
我们说,一个类 X X 是有限的(Finite),当且仅当,它能与某个 中的序数等势。即,
定义4.12.1:
a. Fin(X) F i n ( X ) :是 (∃α)(α∈ω∧X≅α) ( ∃ α ) ( α ∈ ω ∧ X ≅ α ) 的缩写。
以下结论是显然的。
引理4.12.1:
a. ⊢Fin(X)⇒M(X) ⊢ F i n ( X ) ⇒ M ( X ) ,有限类是集合。
b. ⊢(∀α)(α∈ω⇒Fin(α)) ⊢ ( ∀ α ) ( α ∈ ω ⇒ F i n ( α ) ) ,任意有限序数都是有限的。
c. ⊢Fin(X)∧X≅Y⇒Fin(Y) ⊢ F i n ( X ) ∧ X ≅ Y ⇒ F i n ( Y )
以下命题从等势的角度给出了关于有限序数的性质。
命题4.26:
a. ⊢(∀α)(α∉ω⇒α≅α′) ⊢ ( ∀ α ) ( α ∉ ω ⇒ α ≅ α ′ )
b. ⊢(∀α)(∀β)(α∈ω∧α≠β⇒¬(α≅β)) ⊢ ( ∀ α ) ( ∀ β ) ( α ∈ ω ∧ α ≠ β ⇒ ¬ ( α ≅ β ) ) ,任意有限序数都不与其它序数等实。
c. ⊢(∀α)(∀x)(α∈ω∧x⊂α)⇒¬(α≅x) ⊢ ( ∀ α ) ( ∀ x ) ( α ∈ ω ∧ x ⊂ α ) ⇒ ¬ ( α ≅ x ) ,任意有限序数都不和自己的真子集等势。
证明:
a. 首先,注意到 ω ω 也是一个序数(由引理4.7.1的 ⊢Lim(ω) ⊢ L i m ( ω ) )。然后,注意到任意两个序数必有一个顺序(由命题4.8d)。所以,若 α∉ω α ∉ ω ,则 ω∈α∨ω=α ω ∈ α ∨ ω = α 。以下讨论假设 ω∈α ω ∈ α ,但同理可证 ω=α ω = α 的情况。
既然 ω∈α ω ∈ α ,根据序数的性质,可得 ω⊆α ω ⊆ α 。那么 α′=α∪{ α}=ω∪α−ω∪{ α} α ′ = α ∪ { α } = ω ∪ α − ω ∪ { α } 。为了方便,我们分别记 ω ω 为 D1 D 1 , α−ω α − ω 为 D2 D 2 , { α} { α } 为 D3 D 3 。
现在我们构造这么一个函数 f:α′→α f : α ′ → α ,使得:若 δ∈D1 δ ∈ D 1 ,则 f′δ=δ′ f ′ δ = δ ′ ;若 δ∈D2 δ ∈ D 2 ,则 f′δ=δ f ′ δ = δ ;若 δ∈D3 δ ∈ D 3 ,即 δ=α δ = α , f′δ=∅ f ′ δ = ∅ 。我们来证明 f f 是从 到 α α 的一一映射函数。为此,我们需证明三点:(1) f f 的值域是 的子集;(2) f f 的值域等于 ,即 α α 中每个成员都能在 α′ α ′ 中找到原像;(3) 对于任意 δ1,δ2∈α′ δ 1 , δ 2 ∈ α ′ ,并且 δ1≠δ2 δ 1 ≠ δ 2 ,都有 f′δ1≠f′δ2 f ′ δ 1 ≠ f ′ δ 2 。
(1) f f 的值域是 的子集。注意到, α∈ω⇔α′∈ω) α ∈ ω ⇔ α ′ ∈ ω ) (命题4.11a)。因此,若 δ∈D1 δ ∈ D 1 ,则 f′δ=δ′∈ω⊆α f ′ δ = δ ′ ∈ ω ⊆ α ;若 δ∈D2 δ ∈ D 2 ,则 f′δ=δ∈D2=α−ω⊆α f ′ δ = δ ∈ D 2 = α − ω ⊆ α ;若 δ∈D3 δ ∈ D 3 ,则 f′δ=∅∈ω⊆α f ′ δ = ∅ ∈ ω ⊆ α 。
(2) f f 的值域是 ,即 α α 中每个成员都能在 α′ α ′ 中找到原像。若 β=∅ β = ∅ ,则显然能找到原像,即 f′α=∅ f ′ α = ∅ ;若 β∈ω∧β≠∅ β ∈ ω ∧ β ≠ ∅ ,则存在某个序数 δ δ 使得 β=δ′ β = δ ′ ,根据命题4.11a,可知 β∈ω⇔δ∈ω β ∈ ω ⇔ δ ∈ ω ,所以 β β 的原像就是 δ δ ,即 f′δ=β∧δ∈α′ f ′ δ = β ∧ δ ∈ α ′ ;若 β∈α−ω β ∈ α − ω ,则 β β 的原像就是 β β 自己。
(3) 对于任意 δ1,δ2∈α′ δ 1 , δ 2 ∈ α ′ ,并且 δ1≠δ2 δ 1 ≠ δ 2 ,都有 f′δ1≠f′δ2 f ′ δ 1 ≠ f ′ δ 2 。这里要考虑5中情况,
(3.1) δ1∈D1,δ2∈D1 δ 1 ∈ D 1 , δ 2 ∈ D 1 。根据命题4.10c,可得 δ′1≠δ′2 δ 1 ′ ≠ δ 2 ′ 。
(3.2) δ1∈D2,δ2∈D2 δ 1 ∈ D 2 , δ 2 ∈ D 2 。显然, δ1=f′δ1≠f′δ2=δ2 δ 1 = f ′ δ 1 ≠ f ′ δ 2 = δ 2 。
(3.3) δ1∈D1<