选择公理应用形式.pdfVIP

选择公理（综述）

图1

图1：选择公理的⽰意图，其中每个集合S被表⽰为⼀个罐⼦，且其元素被表⽰为弹珠。每个元素x被表⽰为右侧的⼀

ii

个弹珠。颜⾊的使⽤旨在暗⽰在采⽤选择公理后，弹珠之间的函数关联。对于具有⽆限基数的集合，选择函数的存在通常与

ZF系统⽆关，即使所有S都是有限的。

i

  在数学中，选择公理（简称AC或AoC）是集合论的⼀个公理，它等价于“⾮空集合的笛卡尔积是⾮空的”这⼀命

题。⾮正式地说，选择公理表明，给定任何⼀个集合的集合，每个集合⾄少包含⼀个元素，便可以通过从每个集合中选择⼀

个元素来构造⼀个新集合，即使这个集合是⽆限的。形式上，它声明，对于每⼀个索引(S)