选择公理(Axiom of Choice)
选择公理在集合论里受到很多争议,它看起来“很自然”,所以很多人以为它定能从其它公理推导得出。但实际上,在众多集合论中,选择公理已被证明和其它公理彼此独立,而没了选择公理,很多定理又无法被证明。因此,选择公理就被看作是是“奇葩”,看起来很自然很重要,但竟要“假设”它成立。
选择公理有很多等价形式,以下命题给出了一些。
命题4.42:以下好式子是等价的
a. 选择公理 Axiom of Choice (AC):对任意集合 x x ,存在一个函数
,使得对于 x x 的任意非空子集
,都有 f′y∈y f ′ y ∈ y ,其中 f f 称为
的选择函数(choice function)。
b. 乘法公理 Multiplicative Axiom (Mult):若 x x 是某些非空互斥集合的集合,那么存在一个集合
,使得 y y 仅包含
中每个成员中的一个元素,也即 x x 中的每个成员“选”出一个元素而构成
,称为 x x 的选择集合(choice set)。
c. 良序定律 Well-ordering Principle (WO):任意集合都有良序关系。
d. 三分律 Trichotomy (Trich):
e. 佐恩引理 Zorn’s Lemma (Zorn):对于任意非空偏序集合 x x ,若每条链(chain,即全序子集合)都有上界,那么
有最大值。
证明:教材上的证明分两路,第一路证明 WO⇔Trich W O ⇔ T r i c h ,第二路证明 WO⇒Mult⇒AC⇒Zorn⇒WO W O ⇒ M u l t ⇒ A C ⇒ Z o r n ⇒ W O ,这样就证明了它们互相等价。
(1) WO⇒Trich W O ⇒ T r i c h 。对于任意集合 x,y x , y ,由 WO W O 可知它们有良序,所以根据命题4.19,存在序数 α,β α , β 使得 x≅α x ≅ α 和 y≅β y ≅ β 。根据引理4.10.1d,任意两个序数必有一个“偏势”,即 α⪯β∨β⪯α α ⪯ β ∨ β ⪯ α ,所以 x⪯y∨y⪯x x ⪯ y ∨ y ⪯ x 。 □ ◻
(2) Trich⇒WO T r i c h ⇒ W O 。对于任意集合 x x ,Hartog定理说存在某个序数 ,使得 α α 不与 x x 的任意子集等价,即 。根据Trich,可得 x⪯α x ⪯ α ,即存在 y⊆α y ⊆ α ,使得 x≅y x ≅ y 。注意,序数 α α 有良序(命题4.8f),所以 α α 的子集 y y 也有良序(引理4.6.1b),既然 ,因此很容易构造一个 x x 的良序。
(3) WO⇒Mult W O ⇒ M u l t 。若 x x 是非空互斥集合的集合,由WO可知,存在 的良序 R R 。那么,存在一个函数 (利用类存在定理,注意写出谓词好式子即可),使得对于任意 u∈x u ∈ x , f′u f ′ u 是 u u 中的R-最小值。显然, 的值域就是 x x 的选择集合。
(4) Mult⇒AC M u l t ⇒ A C :对于任意集合 x x ,构造一一函数 ,使得对任意非空 u⊆x u ⊆ x ,有 g′u=u×{ u} g ′ u = u × { u } ,记 x1 x 1 为 g g 的值域。注意到, 是非空互斥集合的集合,所以由Mult可知,存在一个选择集合 y y ,对于任意 , y y 仅包含 中一个成员,可记为 <v,u> < v , u > <script type="math/tex" id="MathJax-Element-106"> </script>。因此,存在一个函数 f f ,使得对于任意非空 ,有 v∈u∧f′u=v v ∈ u ∧ f ′ u = v 。 □ ◻
(5)