选择公理

✍ dations ◷ 2025-09-14 18:27:15 #选择公理

选择公理(英语:Axiom of Choice,缩写AC)是数学中的一条集合论公理。这条公理声明,对所有非空指标集族 ( S i ) i I {displaystyle (S_{i})_{iin I}} 的一个元素。

那么,选择公理表示:

上述可表示为:

或者:

该定理也可表达为:

第二个版本的选择公理声称:

第三个版本声称:

使用这个版本的作者通常谈及“在上的选择函数”,但要注意这里选择函数的概念是稍微不同的。它的定义域是的幂集(减去空集),因此对任何集合有意义;至于本文中其他地方用的定义,在“集合的搜集”上的选择函数的定义域是这个搜集,所以只对集合的集合有意义。透过这个变体的定义,选择公理也可以简洁的陈述为

它等价于

而选择公理的否定表达为:

以下列出了这篇条目中各种与“选择公理”相关的缩写:

直到19世纪晚期,选择公理的使用一直都没有得到明确声明。例如,建立了只包含非空集合的集合 X {displaystyle X} 中所有 s {displaystyle s} 的成员之一"。一般来说,要是不用选择公理,是不可能证明 F {displaystyle F} ,选择公理的有限版本可以通过其他集合论公理推导得出。在这种情况下,它等价于说我们有多个(有限数目的)盒子,每个包含至少一个物体,则我们可以从每个盒子恰好选择一个物体。显然我们可以这么做:从第一个盒子开始,选择其中的一个物体;到下一个盒子,选择一个物体;如此类推。因为盒子数量有限,所以我们的选择过程最后一定会结束。这里给出的选择函数是明确的:第一个盒子对应于第一个选择的物体,第二个盒子对应于第二个选择物体;如此类推——此法之所以可行,是因为序对公理的原因。可以通过数学归纳法做出对所有有限集合的形式证明。

对于特定的无限集合,也可以避免使用选择公理。例如,假设的元素是自然数的集合。每个自然数的非空集合都有一个最小元,所以要指定我们的选择函数,我们可以简单的把每个集合映射到这个集合的最小元。这使得我们可以从每个集合明确地选择元素,以及写出一个明确的表达式,说明我们的选择函数如何取值。在能够指定一个明确选择方式的时候,选择公理都是没有必要的。

当缺乏从每个集合得到元素的直观选择方式时,困难就出现了。如果我们不能做明确的选择,我们如何知道我们的这个集合存在?例如,假设是实数的所有非空子集的集合。首先我们也许想套用有限的情况去处理。如果我们尝试从每个集合选择一个元素,那么,因为实数集合是无限不可数,我们的选择过程永远不会结束。亦因如此,我们永远不能生成对的成员的选择函数。所以这种方法不能奏效。其次我们可以尝试给每个集合指定最小元素这种方式。但是某些实数的子集没有最小元素。例如,开区间 ( 0 , 1 ) {displaystyle (0,1)} 没有最小元素:如果 x {displaystyle x} ( 0 , 1 ) {displaystyle (0,1)} 中,则 x 2 {displaystyle {frac {x}{2}}} 也在其中,而 x 2 {displaystyle {frac {x}{2}}} 总是严格的小于 x {displaystyle x} 。所以这种方法也不行。

我们之所以能够从自然数的非空子集选择最小元素,是因为自然数上有一个自然良序:所有自然数的非空子集都有一个唯一的最小元素。

因此,我们可以采取这样的思路,“即使实数的正常排序并非良序,也有可能找到一个排序使得实数是良序的。在这个排序下,总能够选择实数非空子集的最小元素。这样便得到了选择函数”。问题就变成如何构造这样的排序。而事实上,“存在一个排序使得所有集合可以是良序的”这一命题成立,当且仅当选择公理为真。

有必要用到选择公理的证明总是非构造性的:即使证明给出了一个对象,精确地说出那个对象却是不可能的。如果我们不能写出选择函数的定义,则我们的选择就不是非常明确的。这是一些数学家不喜欢选择公理的理由之一。例如,构造主义者论断说所有涉及存在性的证明都应当是完全明确的;构造任何存在的对象应当是可能的。他们拒绝选择公理,因为它断言了不能具体描述是什么的对象的存在。

像上面讨论的那样,在ZFC中,选择公理能为一个不能明确构造出的对象给出“非构造性证明”来证明其存在性。然而,ZFC依然是在经典逻辑下被形式化的。在构造性数学领域,选择公理仍被深入研究,而当中应用的是非古典逻辑。在构造性数学的不同版本中,选择公理的状况也有所差别。

在直觉类型论和高阶的Heyting算术中,选择公理的适当陈述(按照推导方式)可以是作为一个公理,又或者作为一个可证明的定理。埃里特‧毕夏普(英语:Errett Bishop)认为选择公理可被视作是构造性的:

但在构造性集合论(英语:Constructive set theory)中,迪亚科内斯库定理表明选择公理蕴涵了排中律(在直觉类型论中,选择公理不蕴涵排中律)。因此选择公理在构造性集合论中并非普遍被接受。在类型论中的选择公理与在构造性集合论中的选择公理的区别是,前者不具有外延性而后者具有。

一些构造性集合论的结果用到了可数选择公理或依赖选择公理,这两个公理在构造性集合论内并不蕴涵排中律。尽管可数选择公理在构造性数学中的应用特别广泛,它的使用也受到质疑。

可构造性公理与连续统假设都蕴涵了选择公理,更准确地说,两者都严格强于选择公理。在类理论中,如冯诺伊曼-博内斯-哥德尔集合论和Morse–Kelley集合论,存在一个叫全局选择公理的公理,它比选择公理要强,因其同时也适用于真类。全局选择公理可由大小限制公理推出。

哥德尔证明了选择公理与ZF的相对协调性。保罗·寇恩用力迫法证明了选择公理独立于ZF。

相关

  • 遗传多样性遗传多样性又称为基因多样性(英语:genetic diversity)。同种个体间因为其生活环境的不同,经历长时间的天择、突变所产生的结果。如果遗传多样性越高,则族群中可提供环境天择的基
  • SClsub2/sub二氯化硫是一个无机化合物,分子式为SCl2。二氯化硫是有刺激性臭味的红棕色液体,具腐蚀性,遇水反应产生氯化氢。二氯化硫对眼和上呼吸道粘膜有强烈刺激性,误触后会产生严重皮肤烧
  • 普罗旺斯-阿尔卑斯-蓝色海岸普罗旺斯-阿尔卑斯-蓝色海岸(法语:Provence-Alpes-Côte d'Azur)是法国东南部的一个大区,南邻地中海。面积31,400平方公里,人口4,506,151人。下辖上普罗旺斯阿尔卑斯省(04)、上阿尔
  • 长镜头长镜头(long take,或称为一镜到底、不中断镜头或长时间镜头)是一种将单个镜头一直拍很久、中途不切换镜头画面的拍摄手法。与它相反的是剪接式(蒙太奇)的拍摄方法。长镜头手法多
  • 梁赓义梁赓义(1951年9月7日-),台湾生物统计学家、教育家,现任国家卫生研究院院长。他1973年获国立清华大学学士学位,1979年获南卡罗莱纳大学统计所硕士学位,1982年获华盛顿大学生物统计博
  • 乒乓球比赛2008年夏季奥林匹克运动会的乒乓球比赛会由8月13日至8月23日在北京大学体育馆举行,本届奥运的乒乓球赛事共会产生4枚金牌。当中的团体赛中,16支球队会分成4组,每组的首名和次名
  • 李德謇李德謇(生卒年不详),京兆三原(今陕西省三原县东北)人,唐代名将李靖之子,官至将作少匠。唐朝贞观十七年(643年),太子李承乾与汉王李元昌、驸马都尉杜荷、大将侯君集等欲意起兵逼宫,事泄,
  • 贝舍韦斯山坐标:70°11′S 64°48′E / 70.183°S 64.800°E / -70.183; 64.800贝舍韦斯山(英语:Mount Béchervaise)是南极洲的山峰,位于麦克罗伯特森地,属于查尔斯王子山脉的一部分,海拔高
  • 萌妻食神 (动画)《萌妻食神》是一部2018年中国网络动画,由阅文集团出品,杭州娃娃鱼动画设计有限公司负责制作、并由辅乐文化负责音乐制作、音熊联萌配音。首季于2018年12月29日开始于哔哩哔哩
  • 岛由理子岛由理子,日本足球运动员,日本国家女子足球队成员。在1981年6月7日,她代表日本国家女子足球队出赛,在对战中华台北的比赛中首次​​亮相。1981年,他共为国家足球队出场4次。她也曾代表日本参加1981年亚足联女子亚洲杯。