選択公理

提供: testwiki
2025年1月26日 (日) 02:29時点におけるimported>Kobeyamateによる版 (x∈Ａ に対し f(x)∈x → A∈Ａ に対し f(A)∈A)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
ナビゲーションに移動 検索に移動

選択公理（せんたくこうり、テンプレート:Lang-en-short、選出公理ともいう）とは公理的集合論における公理のひとつで、どれも空でないような集合を元とする集合（すなわち、集合の集合）があったときに、それぞれの集合から一つずつ元を選び出して新しい集合を作ることができるというものである。1904年にエルンスト・ツェルメロによって初めて正確な形で述べられた[1]。

定義

空集合を要素に持たない任意の集合族に対して、各要素（それ自体が集合である）から一つずつその要素を選び、新しい集合を作ることができる。あるいは同じことであるが、空でない集合の空でない任意の族 𝒜 に対して写像 f:𝒜→⋃𝒜:=⋃A∈𝒜A であって任意の A∈𝒜 に対し f(A)∈A なるものが存在する、と写像を用いて言い換えることが出来る（ここで存在が要求される写像 テンプレート:Mvar をテンプレート:Ill2という）。これは次の命題と同値である。

{Aλ}λ∈Λ をどれも空集合でないような集合の族とすると、それらの直積も空集合ではない。記号で書けば、
(∀λ∈Λ)[Aλ≠∅]⟹∏λ∈ΛAλ≠∅.

選択公理と等価な命題

以下の命題は全て選択公理と同値である。つまり、以下の命題のいずれかを仮定すると選択公理を証明することができるし、逆に選択公理を仮定すると以下の命題が全て証明できる。

整列可能定理
任意の集合は整列可能である。
ツォルンの補題
順序集合において、任意の全順序部分集合が有界ならば、極大元が存在する。（実際の数学では、この形で選択公理が使われることも多い。）
テューキーの補題
テンプレート:仮リンクを満たす空でない任意の集合族は包含関係に関する極大元を持つ。
比較可能定理
任意の集合の濃度は比較可能である。
直積定理
無限個の空集合でない集合の直積は空集合ではない。
右逆写像の存在
全射は右逆写像を有する。
ケーニッヒ（Julius König）の定理
濃度の小さい集合の直和より、濃度の大きい集合の直積のほうが濃度が大きい。
ベクトル空間における基底の存在
全てのベクトル空間は基底を持つ（1984年にen:Andreas Blassによって選択公理と同値であることが証明された。ただし、正則性公理が必要になる）。
チコノフの定理
コンパクト空間の任意個の積空間はコンパクトになる。
クルルの定理
単位元をもつ環は極大イデアルを持つ。

応用

選択公理、もしくはそれと同値な命題を適用することで、以下を示すことができる。

歴史

集合論の創始者ゲオルク・カントールは、選択公理を自明なものとみなしていた。

しかし、ツェルメロによる整列可能定理の証明に反論する過程で、エミーユ・ボレル、ルネ＝ルイ・ベール、アンリ・ルベーグ、バートランド・ラッセルなどが選択公理の存在に気付き、新たな公理と認識されるようになった。

クルト・ゲーデルとポール・コーエンによって、ZF（ツェルメロ＝フレンケルの公理系）から独立であること（ZFに選択公理を付け加えても矛盾しないが、ZFから選択公理を証明することはできない）が示された。これは集合論研究における大きな成果であろう。

ZFに一般連続体仮説を加えると選択公理を証明できることが知られている。これは、1926年にテンプレート:仮リンクとアルフレト・タルスキが示したが証明は散逸したとされる。同内容を1943年にヴァツワフ・シェルピニスキが再発見し1947年に出版した。

バナッハ＝タルスキーのパラドックスと選択公理

選択公理を仮定することによって導かれる、一見、奇怪で非直観的な結果の中でも、バナッハ＝タルスキーのパラドックスは有名なもので、「有限個の部分に分割し、それらを回転・平行移動操作のみを使ってうまく組み替えることで、元の球と同じ半径の球を2つ作ることができる」と、初歩的な概念のみで表現することができる。ただ、ここでの「有限個の分割」は、通常イメージされる単純な分割（包丁でいくつかのパーツに切り分けるようなもの）ではなく、非常に特殊な分割であるため、「"奇怪な分割"をした結果、奇怪な結果（2つに増える）が生じた」にすぎないという側面もある。

なお、ステファン・バナフ（バナッハ）とタルスキは論文の冒頭で、「証明のなかに、この公理（選択公理）が果たす役割は、注目するに値する」と述べているだけであり、バナッハ＝タルスキーのパラドックスによって選択公理が正しくないと明確に主張したわけではない。

代わりとなる公理

選択公理とは矛盾するが、ZFCから選択公理を除いたZFとは矛盾しないような命題は数多く発見されている。たとえばテンプレート:仮リンクは強制法を用いて実数の集合が全てルベーグ可測であるようなZFのモデル（ソロヴェイモデル）を構成した。

1964年にテンプレート:仮リンクが導入した決定性公理もその一つである。これはその後、無矛盾性証明のために頻繁に用いられている。ZFに決定性公理を付け加えた公理系の無矛盾性と、ZFに選択公理と巨大基数の一種であるテンプレート:仮リンクの存在を公理として付け加えた公理系の無矛盾性が同値となるというウッディンの定理は、互いに矛盾する公理を関係づける非常に重要なものである。

選択公理の変種

選択公理には様々な変種が存在する。

可算選択公理

テンプレート:Main 選択公理よりも弱い公理として、可算選択公理（テンプレート:Lang-en-short）というものも考えられている[2]。全ての集合は可算集合を含むこと、可算集合の可算和が可算集合であることは、この公理により証明できる。

カントール、ラッセル、ボレル、ルベーグなどは、無意識のうちに可算選択公理を使ってしまっている。

従属選択公理

テンプレート:Main

有限集合の族に対する選択公理

集合族の要素を特定の有限集合に制限した公理も研究されている[3]。即ち、

　　　　ACn : n元集合からなる任意の集合族は選択関数を持つ。

という形の公理である。

この種の公理について以下のようなことが知られている（すべてZF公理系を仮定）。

  • AC2 ⇒ AC4
  • n≠1,2,4 ならば AC2 ⇏ ACn
  • 各 n∈N について ACn が成り立つ仮定の下でも、「有限集合からなる任意の集合族は選択関数を持つ」(Axiom of choice for finite sets)を証明できない。
  • ZFでは AC2 を証明できない。

AC2 ⇒ AC4を示すには、4元集合からなる集合族 F に選択関数が存在することを示せば良い。まず {{a,b}:a,b∈⋃F,a≠b} に AC2 を適用して、選択関数 g を得る。次に g を使って F の各元 A から元をひとつ取りだすことを考える。集合 B を {{a,b}:a,b∈A,a≠b} とおくと、B は 4C2=6元集合となる。A の元 a に対し、q(a)=|{b∈B:g(b)=a}| という関数を定め、q(a) の最小値を m とおく。集合 M を {a∈A:q(a)=m} とおくと、A は4元集合なので M の濃度は 1,2,3,4 のいずれかであるが、|M|=4と仮定すると、4q(a)=∑a∈Aq(a)=|B|=6となり矛盾する。|M|=1 である場合は、M の元を選択関数 f(A) の値とすればよい。|M|=2 の場合は、f(A)=g(M) とする。最後に |M|=3 である場合は、A∖M の元を f(A) の値とすればよい。

脚注

テンプレート:脚注ヘルプ

注釈

テンプレート:Notelist

出典

テンプレート:Reflist

参考文献

関連文献

関連項目

外部リンク

テンプレート:SEP

  • 選択公理 特に選択公理と同値な命題とその証明について詳しい

テンプレート:集合論 テンプレート:Normdaten

  1. ↑ Zermelo, Ernst (1904). "Beweis, dass jede Menge wohlgeordnet werden kann". Mathematische Annalen 59: 514-16.
  2. ↑ 田中(1987)、36頁。
  3. ↑ Jech, Thomas J. (2008-07-24), The Axiom of Choice, Dover Books on Mathematics (Paperback ed.), United States: Dover Publications Inc., ISBN 978-0-486-46624-8
「https://ja.wiki.beta.math.wmflabs.org/w/index.php?title=選択公理&oldid=340」から取得