Dedekind finite set的一些简单性质 (2-1)

称集合S 是Dedekind finite，当且仅当，不存在 S 的真子集 T 与 S 有双射。称 S 是Dedekind infinite，当且仅当 S 不是Dedekind finite。

不难看出，如果假设可数选择公理，那么S是Dedekind finite当且仅当 S 是finite，后者的定义是 S 与某个自然数等势。但如果仅仅有ZF的话，我们无法证明两者是等价的。

下面我们证明一些Dedekind finite set的简单性质，这些性质都只需要ZF就可以证明。

定理1 ：如果 α 是Dedekind finite set，那么 b⊂α 是Dedekind finite set。

证明：假设α⊃b⊃c 并且 f：b→ c 是双射，那么 f 可以延拓为 f'：(α−b)∪c → α 的双射，这与 α 是Dedekind finite set矛盾，因此 f 不存在。现在证明 f 可以延拓为 f' ：令 f'＝f∪{〈x，x〉：x∈α−b}即可。 ⊣

定理2 ： α 是Dedekind finite set，当且仅当不存在单射 f：ω → α 。

证明：假设存在单射f：ω → α ，显然 α 是Dedekind infinite set；假设 α 是Dedekind infinite set，那么存在 α'⊂α 满足 x∈α−α' 且存在双射 f：α → α' 。由于 x∉α' ，因此 f(x)≠x ，进一步有 fⁿ(x)≠fᵐ(x)，n≠m：否则由于 f 是双射，因此 f◦fⁿ⁻¹(x)＝f◦fᵐ⁻¹(x)，那么有 fⁿ⁻¹(x)＝fᵐ⁻¹(x) ，根据最小数原理可知矛盾，反证 fⁿ(x)≠fᵐ(x)，n≠m。那么 {fⁿ(x)：n∈ω} 是无限集，进而可得 α 有可数无穷子集。⊣

根据定理2 可知Dedekind infinite set蕴含infinite，但反过来不成立。这也可以看出有穷和无穷的界限需要选择公理才能辨别。

定理3 ：如果 α，b 是Dedekind finite set，那么 α∪b，α × b 也是。

证明：根据定理2 可知 α，b 不含有可数子集。如果 α∪b 有可数子集 c ，那么 α 或 b 中至少要有一个含有可数子集，矛盾，反证 α∪b 也是Dedekind finite set。如果存在 f：ω → α × b 是单射，令 c＝{f(n)：n∈ω} ，则 α'＝{x∈α：∃y∈b，〈x，y〉∈c} 和 b'{y∈b：∃x∈α，〈x，y〉∈c} 中必然有一个是可数集：假设 b' 不是可数集，由于 c 可数，因此 b' 是有限集，设 b＝{y₁，· · ·，yₙ} ，那么必然存在 yᵢ，i≤n 满足 {x∈α：〈x，yᵢ〉∈c} 是可数集，因此 α' 是可数集，这与 α 是Dedekind finite set矛盾，反证定理 3 成立。 ⊣

定理4 ：假设 𝐼 是Dedekind finite set， Aᵢ，i∈𝐼 都是Dedekind finite set且 i≠j → Aᵢ∩Aj＝∅ ，那么 ∪Aᵢ 也是Dedekind finite set。

ᵢ

证明：∪Aᵢ 的基数小于等于

ᵢ

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。