查看“选择公理”的源代码

{{NoteTA|G1=Math}}
[[File:Axiom of choice.svg|thumb|250px|(S<sub>''i''</sub>) 是一个以[[实数集]]'''R'''为[[指标集]]的[[集族]]；也就是说，对每一个实数''i''，均存在一个集合 S<sub>''i''</sub>，如图所示。每一个集合包含至少一个（可能是无限个）元素。选择公理可以断言，我们可以从每一个集合中选择一个元素，组成一个在'''R'''上的[[指标集|索引族]](''x''<sub>''i''</sub>)，这里''x''<sub>''i''</sub>∈S<sub>''i''</sub>，''i''∈'''R'''。一般情况下，指标集可以是任意集合'''I'''，而不仅仅是'''R'''。]]

'''选择公理'''（{{lang-en|'''A'''xiom of '''C'''hoice}}，縮寫'''AC'''）是[[数学]]中的一条[[集合论]][[公理]]。这条公理声明，对所有非[[空集|空]][[指标集|指标]][[集族]]<math>(S_i)_{i \in I}</math>，总存在一个索引族<math>(x_i)_{i \in I}</math>，对每一个<math>i \in I</math>，均有<math>x_i \in S_i</math>。选择公理最早于1904年，由[[恩斯特·策梅洛]]为证明[[良序定理]]而公式化完成<ref>{{harvnb|Zermelo|1904}}.</ref>。

非正式地說，选择公理声明：給定一些盒子（可以是無限個），每个盒子中都含有至少一个小球，那么可以作出这样一种选择，使得可从每个盒子中恰好选出一个小球。在很多情况下这样的选择可不借助选择公理；尤其是在“盒子个数有限”和“存在具體的選擇規則”（當每個盒子都恰好只有一个小球具有某項特征）这两种情况下。再举一个例子，假设有许多（甚至是无限）双鞋子，则我们可以选取每双鞋左边的鞋子构成一个具体的选择。然而，假设有无限双袜子（假设每双袜子都没有可区分的特征），在这种情况下，有效的选择只能通过选择公理得到。

尽管曾具有争议性，选择公理現在已被大多数数学家毫无保留地使用着<ref>Jech, 1977, p.&nbsp;348''ff''; Martin-Löf 2008, p.&nbsp;210. According to {{harvnb|Mendelson|1964|p=201}}: The status of the Axiom of Choice has become less controversial in recent years. To most mathematicians it seems quite plausible and it has so many important applications in practically all branches of mathematics that not to accept it would seem to be a wilful hobbling of the practicing mathematician.</ref>，例如带有选择公理的[[策梅洛-弗兰克尔集合论]]（ZFC）。数学家们使用选择公理的原因是，有许多被普遍接受的数学定理，比如是[[吉洪诺夫定理]]，都需要选择公理来证明。現代的集合论学家也研究与选择公理相矛盾的公理，例如{{le|决定公理|Axiom of determinacy|决定公理}}。

在一些[[數學結構主義|構造性數學]]的理論中會避免选择公理的使用，不過也有的將选择公理包括在內。

== 陈述 ==
首先定义几个概念：

'''[[集合族|集族]]'''：指由非空集合组成的集合。

'''[[选择函数]]'''：它是一个集族上的[[函数]]。它规定：对于所有在集族<math>X</math>中的集合<math>s</math>，<math>f(s)</math>是''<math>s</math>''的一个[[元素 (數學)|元素]]。

那么，选择公理表示：
:'''对于所有的集族，均存在选择函数。'''

上述可表示为：
:<math>\forall X \left[ \emptyset \notin X \implies \exists f \colon X \rightarrow \bigcup X \quad \forall A \in X \, ( f(A) \in A ) \right] \,.</math>
或者：
:设<math>X</math>是一个集族，则存在着在<math>X</math>上定义的一个选择函数<math>f</math>。

该定理也可表達為：
:集族上的任意[[笛卡尔积]]總是非空的。

=== 变体 ===
第二个版本的选择公理声称：
:给定由[[不交集|相互不交]]的非空集合組成的任何集合，存在着至少一个集合，它與每个非空集合恰好有一个公共元素。

第三个版本声称：
:对于任何集合<math>A</math>，''<math>A</math>''的[[幂集]]（減去[[空集]]）有一个选择函数。

使用这个版本的作者通常谈及“在''<math>A</math>''上的选择函数”，但要注意这裡选择函数的概念是稍微不同的。它的[[定義域]]是''<math>A</math>''的幂集（减去空集），因此对任何集合''<math>A</math>''有意义；至於本文中其他地方用的定义，在“集合的搜集”上的选择函数的定義域是这个搜集，所以只对集合的集合有意义。透過這個變體的定義，选择公理也可以简洁的陈述为
:所有集合有一个选择函数。<ref>[[Patrick Suppes]], "Axiomatic Set Theory", Dover, 1972 (1960), ISBN 978-0-486-61630-8, pp 240</ref>
它等价于
:对于任何集合''<math>A</math>''有一个函数使得对于''<math>A</math>''的任何非空子集<math>B</math>，<math>f(B)\in B</math>。

而选择公理的否定表达为：
:有一个集合''<math>A</math>''使得对于所有函数''<math>f</math>''（在''<math>A</math>''的非空子集的集合上），有一个''<math>B</math>''使得<math>f(B) \notin B</math>。

=== 术语（AC，ZF，ZFC） ===
以下列出了这篇条目中各种與“选择公理”相關的缩写：
* AC：选择公理。
* ZF：[[策梅洛-弗兰克尔集合论]]，不包括选择公理。
* ZFC：[[策梅洛-弗兰克尔集合论]]，包括选择公理。

== 使用 ==
直到19世纪晚期，选择公理的使用一直都没有得到明确声明。例如，建立了只包含非空集合的集合<math>X</math>之后，當時的数学家可能會直接说"设对于''<math>X</math>''中所有<math>s</math>有<math>F(s)</math>是''<math>s</math>''的成员之一"。一般來说，要是不用选择公理，是不可能证明<math>F</math>的存在性的。這一點直到[[恩斯特·策梅洛|策梅洛]]之前似乎没有引起人们的注意。

不是所有的情況都需要选择公理。选择公理对于那些没有可定义的选择才有必要。值得指出的是，对于[[有限集合]]''<math>X</math>''，选择公理的有限版本可以通过其他集合论公理推导得出。在这种情况下，它等价于说我们有多个（有限数目的）盒子，每个包含至少一个物体，则我们可以从每个盒子恰好选择一个物体。顯然我们可以这么做：從第一个盒子開始，选择其中的一个物体；到下一个盒子，选择一个物体；如此类推。因为盒子數量有限，所以我们的选择过程最后一定会结束。这里给出的选择函数是明确的：第一個盒子對應于第一个選擇的物体，第二個盒子對應于第二个選擇物体；如此类推——此法之所以可行，是因为[[序对公理]]的原因。可以通过[[数学归纳法]]做出对所有有限集合的形式证明。

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

當缺乏从每个集合得到元素的直觀选择方式时，困难就出现了。如果我们不能做明确的选择，我们如何知道我们的这个集合存在？例如，假设''X''是[[实数]]的所有非空子集的集合。首先我们也許想套用有限的情況去处理''<math>X</math>''。如果我们尝试从每个集合选择一个元素，那么，因为實數集合是[[不可數集|无限不可數]]，我们的选择过程永远不会结束。亦因如此，我们永远不能生成对''<math>X</math>''的成员的选择函数。所以这種方法不能奏效。其次我们可以尝试給每个集合指定最小元素這種方式。但是某些实数的子集没有最小元素。例如，[[区间|开区间]]<math>(0,1)</math>没有最小元素：如果<math>x</math>在<math>(0,1)</math>中，则<math>\frac{x}{2}</math>也在其中，而<math>\frac{x}{2}</math>总是严格的小于<math>x</math>。所以這種方法也不行。

我们之所以能够从自然数的非空子集选择最小元素，是因為自然数上有一個自然[[良序]]：所有自然数的非空子集都有一个唯一的最小元素。

因此，我們可以采取這樣的思路，「即使实数的正常排序並非良序，也有可能找到一个排序使得实数是良序的。在这个排序下，總能夠选择实数非空子集的最小元素。這樣便得到了選擇函數」。问题就变成如何构造这样的排序。而事實上，“存在一个排序使得所有集合可以是良序的”這一命題成立，当且仅当选择公理为真。

有必要用到选择公理的证明总是[[非构造性证明|非构造性的]]：即使证明給出了一个对象，精确地说出那个对象卻是不可能的。如果我们不能写出选择函数的定义，则我们的选择就不是非常明确的。这是一些数学家不喜欢选择公理的理由之一。例如，[[数学结构主义|构造主义者]]论断说所有涉及存在性的证明都应当是完全明确的；构造任何存在的对象应当是可能的。他们拒绝选择公理{{Fact|time=2007-10-16T10:04:29Z}}，因为它断言了不能具體描述是什么的对象的存在。

== 构造性数学 ==
像上面讨论的那样，在ZFC中，选择公理能为一个不能明确构造出的对象给出“[[非构造性证明]]”来证明其存在性。然而，ZFC依然是在[[经典逻辑]]下被形式化的。在[[數學結構主義|构造性数学]]领域，选择公理仍被深入研究，而當中應用的是非古典逻辑。在构造性数学的不同版本中，选择公理的狀況也有所差別。

在[[直觉类型论]]和高阶的Heyting算術中，选择公理的適當陳述（按照推導方式）可以是作為一个公理，又或者作為一个可证明的定理<ref>[[佩尔·马丁-洛夫|Per Martin-Löf]], ''[http://www.cs.cmu.edu/afs/cs/Web/People/crary/819-f09/Martin-Lof80.pdf Intuitionistic type theory]'', 1980. 
[[Anne Sjerp Troelstra]], ''Metamathematical investigation of intuitionistic arithmetic and analysis'', Springer, 1973.</ref>。{{link-en|埃里特‧畢夏普|Errett Bishop}}认为选择公理可被視作是構造性的<ref>[[Errett Bishop]] and [[Douglas S. Bridges]], ''Constructive analysis'', Springer-Verlag, 1985.</ref>：
{{Cquote|在构造性数学中选择函数是存在的，因为存在的涵义蘊涵了选择。}}

但在{{tsl|en|Constructive set theory|構造性集合論}}中，[[迪亚科内斯库定理]]表明选择公理蘊涵了[[排中律]]（在[[直觉类型论]]中，选择公理不蘊涵排中律）。因此选择公理在構造性集合論中並非普遍被接受。在类型论中的选择公理与在構造性集合論中的选择公理的区别是，前者不具有[[外延性]]而后者具有<ref>[[佩尔·马丁-洛夫|Per Martin-Löf]], "100 Years of Zermelo’s Axiom of Choice: What was the Problem with It?", ''The Computer Journal'' (2006) 49 (3): 345-350. doi: 10.1093/comjnl/bxh162</ref>。

一些構造性集合論的结果用到了[[可数选择公理]]或[[相依选择公理]]，这兩個公理在構造性集合論內並不蘊涵排中律。尽管可数选择公理在构造性數學中的应用特別广泛，它的使用也受到質疑<ref>Fred Richman, “Constructive mathematics without choice”, in: Reuniting the Antipodes—Constructive and Nonstandard Views of the Continuum (P. Schuster et al., eds), Synthèse Library 306, 199–205, Kluwer Academic Publishers, Amsterdam, 2001.</ref>。

== 强形式公理 ==
[[可构造性公理]]与[[连续统假设]]都蘊涵了选择公理，更準確地說，兩者都嚴格強於选择公理<ref>{{cite book
 |last = Devlin
 |first = Keith
 |authorlink = :en:Keith Devlin
 |year = 1984
 |title = Constructibility
 |publisher = [[Springer-Verlag]]
 |ISBN = 3-540-13258-9
}}</ref>。在类理论中，如[[冯诺伊曼-博内斯-哥德尔集合论]]和[[Morse–Kelley集合论]]，存在一个叫[[全局选择公理]]的公理，它比选择公理要强，因其同时也适用于[[真类]]。全局选择公理可由[[大小限制公理]]推出。

== 结论 ==
[[哥德尔]]证明了选择公理與ZF的相对协调性。[[保罗·寇恩]]用[[力迫法]]证明了选择公理独立於ZF。<!--
特别的，他证明了如果[[可构造公理]]成立，则实数存在一个<math>\Delta^1_2</math>的良序（这是ZF下最好的可能）{{来源请求}}。
-->

== 参考文献 ==
=== 引用 ===
{{Reflist|32em}}

=== 来源 ===
* Ernst Zermelo, "Untersuchungen über die Grundlagen der Mengenlehre I," ''Mathematische Annalen 65'': (1908) pp. 261-81. [http://www.digizeitschriften.de/no_cache/home/jkdigitools/loader/?tx_jkDigiTools_pi1%5BIDDOC%5D=361762 PDF download via digizeitschriften.de]
: Translated in: [[Jean van Heijenoort]], 2002. ''From Frege to Godel: A Source Book in Mathematical Logic, 1879-1931''. New edition. Harvard Univ. Press. ISBN 978-0-674-32449-7.
:* 1904. "Proof that every set can be well-ordered," 139-41.
:* 1908. "Investigations in the foundations of set theory I," 199-215.
* Gregory H Moore, "Zermelo's axiom of choice, Its origins, development and influence", Springer; 1982. ISBN 978-0-387-90670-6.
* Paul Howard and Jean Rubin, "Consequences of the Axiom of Choice". Mathematical Surveys and Monographs 59; American Mathematical Society; 1998.

== 外部链接 ==
* [http://www.emunix.emich.edu/~phoward/ Paul Howard at EMU]有很多人仍然在为选择公理和它的推论而乐此不疲地工作。如果你有兴趣了解更多内容，请参考这个网站。

== 参见 ==
{{Portal box|数学}}
{{colbegin|20em}}
* [[集合论]]
* [[佐恩引理]]
* [[良序定理]]
* [[吉洪诺夫定理]]
* [[策梅洛-弗兰克尔集合论]]
* [[冯诺伊曼-博内斯-哥德尔集合论]]
* [[全局选择公理]]
* [[可数选择公理]]
* [[连续统假设]]
* [[排中律]]
* [[直觉类型论]]
{{colend}}

{{-}}
{{集合论}}

{{Authority control}}

[[Category:集合论公理]]
[[Category:选择公理| ]]
[[Category:模型论]]