#author("2020-10-28T11:47:59+09:00","default:Alwe","Alwe")
#author("2020-10-28T11:48:42+09:00","default:Alwe","Alwe")
#katex
#nofollow
#norelated

''選択公理'' (Axiom of Choice, $\mathsf{AC}$ ) は[[集合論]]の公理の一つであり、空でない集合からなる空でない集合 $A$ に対し、''選択関数'' (choice function) 、すなわち $f\colon A\to \bigcup A$ で任意の $x\in A$ に対し $f(x)\in x$ を満たすようなものが存在することを主張するものである。

#contents

* 概要 [#k2e54e74]

* 現代数学に於ける選択公理の立場 [#d82329dc]
選択公理は非直観的な結果を齎すことが知られている。例えばLebesgue非可測な実数の部分集合の存在などが挙げられる。それ故に過去には選択公理を仮定しないほうが良い、とされることがあった。しかし選択公理は現代数学に於いて仮定されるのが一般的である。その理由としては以下の理由が挙げられよう。
- 選択公理と同値、あるいは選択公理から導かれる数学の主要な定理はたくさん存在し、選択公理を仮定しないと不便である。
- 選択公理の否定から導かれる数学の重要な命題が知られていない。例えば選択公理の否定を仮定しても全ての実数の部分集合がLebesgue可測であることは導かれない((これはSolovayとShelahによる到達不能基数の存在と $\mathsf{ZF}+\mathsf{DC}+\mathsf{LM}$ の無矛盾同値性及び、$\mathsf{ZFC}$ と $\mathsf{ZF}+\mathsf{CC}+\lnot\mathsf{AC}$ 
 の無矛盾性などから分かる。))。
- 選択公理の否定から導かれる数学の重要な命題が知られていない。例えば選択公理の否定を仮定しても全ての実数の部分集合がLebesgue可測であることは導かれない((これはSolovayとShelahによる到達不能基数の存在と $\mathsf{ZF}+\mathsf{DC}+\mathsf{LM}$ の無矛盾同値性及び、$\mathsf{ZFC}$ と $\mathsf{ZF}+\mathsf{CC}+\lnot\mathsf{AC}$ の無矛盾性などから分かる。))。
- 選択公理を仮定する集合論 $\mathsf{ZFC}$ が矛盾すれば、同様に選択公理を仮定しない集合論 $\mathsf{ZF}$ も矛盾する。またこの定理は多くの人が無矛盾であろうと信じられる[[原始再帰算術]]などの有限主義的な数学で証明可能である((Gödelによる構成可能集合を用いた証明を原始再帰算術にて形式化することで示せる。))。

もちろん、これは選択公理を仮定すべきだ、という主張をしているわけではない。選択公理の否定を導き、かつ数学的に重要な結果を齎すような、「全ての実数の部分集合がLebesgue可測である」、「全ての実数の部分集合が完全集合性を持つ」や、[[決定性公理]] $\mathsf{AD}$ などを仮定する数学なども考えられる。これらの原理も適当な巨大基数公理の仮定のもとで、$\mathsf{ZFC} $上でモデルの存在、完全性定理より無矛盾性を示せる。

また既存の数学的結果のうち、どれが選択公理を用いずに示せるか、などの試みはよく行われている。古典的な[[逆数学]]などでは[[二階算術]]上で $\mathsf{ZF}$ で示せるくらいとても弱い形で定式化した選択公理などの分析も行われている。

* 選択公理と同値な命題の例 [#g8f98b8b]
たくさん存在するので一例をあげよう。またalg-d氏による選択公理の記事[[alg-d.com:http://alg-d.com/math/ac/]]は纏まっている。

- 直積定理

任意の空でない集合による直積集合は空でない。

- Zermeloの整列可能定理

任意の集合に対して、その上の整列順序が存在する。

- Zornの補題

帰納的半順序は極大元を持つ。

- Tukeyの補題

有限性を満たす空でない集合族は包含関係に対する極大元を持つ。



* 弱い選択公理 [#af80d9a8]
選択公理を弱めて得られる命題はたくさん存在するが、以下では有名なものを例として挙げる。

- [[従属選択公理]]

非空な集合 $X$ 上の二項関係 $R$ が左全域である、すなわち「任意の $x\in X$ に対して、ある $y$ が存在し $x\mathrel{R} y$ である」とする。このとき $X$ 上の点列 $\{x_n\}_{b\in\mathbb{N}}$ が存在し、任意の $n\in\mathbb{N}$ に対し $x_n\mathrel{R}x_{n+1}$ である。 

- [[可算選択公理]]

空でない集合からなる空でない可算集合は選択関数を持つ。

* 選択公理の否定 [#c640b35a]
[[決定性公理]] $\mathsf{AD}$ や[[Reinherdt基数]]や[[Barkeley基数]]などの一部の集合論に於ける公理は選択公理の否定を導くことが知られている。また選択公理やそれに類する公理の否定単体を仮定したとき、面白い結果はあまり知られていない。しかし以下のような結果もある。

*** Herrlichの定理 [#x87ac75e]
$\mathsf{ZF}$ 上で以下は同値である。
- 任意の $T_1$ 空間 $X$ に対し、$X$ が[[Lindelöf空間]]であることと[[コンパクト空間]]であることは同値である。
- 任意の $X\subseteq \mathbb{R}$ に対し、$X$ が[[Lindelöf空間]]であることと[[コンパクト空間]]であることは同値である。
- $\lnot\mathsf{CC}(\mathbb{R})$

ここで $\mathsf{CC}(\mathbb{R})$ は「任意の $\mathbb{R}$ の空でない部分集合族 $\{X_n\}_{n\in\mathbb{N}}$ に対して、直積 $\prod_{n\in\mathbb{N}}X_n$ も空でない」という主張である。明らかに $\mathsf{AC}$ から $\mathsf{CC}(\mathbb{R})$ は従う。

* 選択公理と無矛盾性、保存性 [#dc79fdb3]

*** GödelとCohenによる選択公理の独立性 [#q050f3d5]

選択公理は $\mathsf{ZF}$ 上独立である。すなわち $\mathsf{ZF}$ に於いて選択公理は証明も反証もできない。従って $\mathsf{ZF},\mathsf{ZF}+\lnot\mathsf{AC},\mathsf{ZFC}$ は互いに無矛盾同値である。

Gödelは[[構成可能宇宙]]の理論を用いて選択公理の無矛盾性を示した。正確に言えば $\mathsf{ZF}$ のモデルとなる構成可能宇宙 $L$ と、 $L$ 上の整列順序を定義することで、選択公理の無矛盾性と示した。

一方Cohenは[[強制法]]を用いて選択公理を満たさないようなモデルを構成した。

*** Shoenfield–Lévyの絶対性定理との関係 [#ke547ab8]

ShoenfieldとLévyは選択公理を含意する[[構成可能性公理]] $V=L$ が $\mathsf{ZF}$ で解析的階層に於ける $\Pi^1_3$-文が保存される、すなわち $\mathsf{ZF}+V=L$ で証明可能な  $\Sigma^1_3$-文は、また $\mathsf{ZF}$ でも証明可能であることを示した。またLévy階層に於ける $\Pi_1$-文も保存することも示している。また明らかにこの定理を $\mathsf{ZF}+V=L$ を $\mathsf{ZFC}$ に置き換えても成り立つ。多くの初等的な自然数や整数、微積分に関する基本的な命題は $\Pi^1_3$-文となることを注意しておく。

*** Aczel–Carlsonの定理 [#s0695e1c]

$\mathsf{ZFC}$ で示せる  $\Pi_1$-文 は $\mathsf{ZF}$ で示せることが分かったが、これより強く $\Delta_2^\mathsf{ZF}$-文では成り立たないことが知られている、具体的には「 $\mathbb{R}$ 上の整列順序が存在する」が $\mathsf{ZF}$ で証明不能な $\Delta_2^\mathsf{ZF}$-文となるからである。よってその中間の論理式、$\Delta_0$-論理式 $\varphi(x,y)$ に対して $(\forall x)(\exists !y)\varphi(x,y)$ という形をした論理式は保存する、という予想をAczelは提起した。これをCarlsonは強制法を用いて肯定的に解決し、また $\mathsf{ZF}$ 以外でどのような集合論でこの予想を満たす十分条件を与えた。

* 算術や型理論に於ける選択公理 [#j44c36c3]

* 参考文献 [#ia825ee3]
- Barwise, Jon, and Edward Fisher. The Shoenfield absoluteness lemma. Israel Journal of Mathematics 8.4 (1970): 329-339.
- Carlson, Timothy J. On the conservativity of the axiom of choice over set theory. Archive for Mathematical Logic 50.7-8 (2011): 777.
- Herrlich, Horst. Products of Lindelöf $T_2$-spaces are Lindelöf in some models of $\mathsf{ZF}$.
- Lévy, Azriel. A hierarchy of formulas in set theory. No. 57. American Mathematical Soc., 1965.
- D. Martin. Determinacy of Infinitely Long Games.
- Shoenfield, Joseph R. The problem of predicativity. Mathematical Logic In The 20th Century. 2003. 427-434.
- Moschovakis, Yiannis N. Descriptive set theory. No. 155. American Mathematical Soc., 2009.

トップ   編集 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS