選択公理（せんたくこうり、axiom of choice、選出公理ともいう）とは公理的集合論における公理のひとつで、どれも空でないような集合を元とする集合（すなわち、集合の集合）があったときに、それぞれの集合から一つずつ元を選び出して新しい集合を作ることができるというものである。1904年にツェルメロによって初めて正確な形で述べられた[1]。一見非常に当たり前のことを言っているように見えるが、対象が無限集合である場合は実は自明ではない。この公理を認めると、一つの球を有限個に分割してそれぞれを集めて元の球と同じ体積の球を二つ作ることができるという、常識では考えられないことが起こる（バナッハ＝タルスキーのパラドックス）。従って、この公理の妥当性に疑問を持つ数学者もいる。しかし、この公理を用いないと、証明できない事柄が多くでてきてしまう。
目次
1 選択公理を用いて証明する(且、用いなければ証明できないだろう)命題の例
2 選択公理と等価な命題
3 定義
4 歴史
5 代わりとなる公理
6 可算選択公理
7 参考文献
8 脚注
9 関連項目
10 外部リンク
//
選択公理を用いて証明する(且、用いなければ証明できないだろう)命題の例
任意の二つの集合 A,B について、A から B への単射があるか、または B から A への単射がある。
全ての無限集合は、可算無限集合を部分集合として含む。
全ての体には代数的閉包が存在する。
等々。
以下のものは全て、特に選択公理と同値である。つまり、以下のもののいずれかを仮定すると選択公理を証明することができるし、選択公理を仮定すると以下のものが全て証明できる。
整列可能定理
ツォルンの補題（実際の数学では、この形で選択公理が使われることも多い。）
比較可能定理
無限個の空集合でない集合の直積は空集合ではない。
全てのベクトル空間は基底を持つ（1984年にAndreas Blassによって選択公理と同値であることが証明された。ただし、正則性の公理が必要になる）。
チコノフの定理：コンパクト空間の任意個の積空間はコンパクトになる。
任意の集合 A について、その集合の元 a が空でない集合ならば、それぞれの元の集合 a から一つずつ元 b∈a をとってきて（正確には f(a) = b という関数 f が存在して）新しい集合 B を作ることができる。
上と同値なもの{Aλ}λ∈Λ をどれも空でないような集合族とすると、それらの直積も空ではない。
集合論の創始者ゲオルグ・カントールは、選択公理を自明なものとみなしていた。 実際、有限個の集合からなる集合族であれば、そのそれぞれの集合の中から順に1つずつ元を選び出し、それらを併せて集合とすればよいのであるから、このような操作ができることは自明である。
しかし、ツェルメロによる整列可能定理の証明に反論する過程で、ボレル、ベイル、ルベーグ、ラッセルなどが選択公理の存在に気付き、新たな公理であることが認識されるようになった。確かに、無限個の集合からなる集合族の場合、上のような操作を想定しても「順に選び出す」操作は有限回で終了することはないのだから、このような操作を行えることは明らかではない。
選択公理は、それ自身もまたその否定もほかの公理からは証明できないものであること、すなわち独立であることが示された（クルト・ゲーデル、ポール・コーエン）が、これは公理的集合論における大きな成果であろう。但し、ZFに一般連続体仮説を加えると選択公理を証明できる[2]。従って、一般連続体仮説と選択公理は何れもZFとは独立だが、前者の方がより強い主張であると言える。
選択公理と矛盾するが、それを除いた標準的な集合論の公理系 (ZF) とは矛盾しないような命題は数多く発見されている。たとえばソロベイは強制法を用いて実数の集合が全てルベーグ可測であるようなZFのモデルを構成した。
1964年にミシェルスキが導入した決定性の公理もその一つである。これは現在、整合性証明のために頻繁に用いられている。ZFに決定性の公理を付け加えた公理系の整合性と、ZFに選択公理とウディン基数の存在を公理として付け加えた公理系の整合性が同値となるというウディンの定理は、互いに矛盾する公理を関係づける非常に重要なものである。
決定性の公理および可算選択公理（下記）のことから、選択公理の位置はかなりあやふやである。まったくの間違いというわけではないが、選択公理が「何らかの意味で制約されるべし」という発想も十分に成立する。
選択公理よりも弱い公理として、可算選択公理というものも考えられている。これは選択公理の成立する範囲を可算濃度以下に限定したものだ。この公理が成立すること（つまり範囲が制限されること）の根拠は特にないのだが、実際にはこの公理を採用すると非常に都合がよい。「選択公理がないと証明ができない」とされる正当な定理のほとんどは、可算選択公理で証明される。「選択公理を用いると証明できるが、感覚的に奇妙である」とされる変な定理の多数（全てではない）は、可算選択公理では証明されない。結局、選択公理のかわりに可算選択公理を採用すると、非常に自然な（納得の行く）数学体系ができる。ただし、どこから可算選択公理が出てくるか（範囲を可算に限定する原理は何であるか）という疑問に答えるのは、容易ではない。