従属選択公理

数学において、従属選択公理(英語: axiom of dependent choice; ${\mathsf {DC}}$${\mathsf {DC}}$と略される)とは、選択公理(${\mathsf {AC}}$${\mathsf {AC}}$)の弱い形で、しかし実解析の大部分を行うのに十分な公理である。これはパウル・ベルナイスによって1942年の、解析学を実行するのに必要な集合論的公理を検討する逆数学の論文で導入された。

形式的な言明

$R$$R$on$X$$X$ 上の二項関係 $R$$R$が全域関係であるとは任意の $a\in X,$$a\in X,$に対してある $b\in X$$b\in X$が存在して $a\,R~b$$a\,R~b$が成り立つことである。

従属選択公理とは、次の言明である: 任意の空でない集合 $X$$X$とその上の全域二項関係 $R$$R$に対して、列 $(x_{n})_{n\in \mathbb {N} }$$(x_{n})_{n\in \mathbb {N} }$を全ての $n\in \mathbb {N} .$$n\in \mathbb {N} .$に対して $x_{n}\,R~x_{n+1}$$x_{n}\,R~x_{n+1}$であるように取れる。

実のところ、x₀ は Xの好きな元を選ぶことができる。(これを見るには、x₀ から始められる $R$$R$の有限鎖全体を考え、その中に右が左の延長であるという二項関係を考えてそこに従属選択公理を適用すれば有限鎖の無限列ができるので、それの和を取ればよい。)

上での集合 $X$$X$を実数全体の集合に制限したものを ${\mathsf {DC}}_{\mathbb {R} }$${\mathsf {DC}}_{\mathbb {R} }$で表す。

使用例

このような公理が無いとしても、各 $n$$n$について普通の帰納法によって最初の $n$$n$項を有限列としてとることはできる。従属選択公理が主張しているのは、その極限であるような可算無限列が取れるということである。

公理 ${\mathsf {DC}}$${\mathsf {DC}}$は ${\mathsf {AC}}$${\mathsf {AC}}$の断片であって、超限帰納法の各ステップで選択をする必要があって、それまでの選択に独立した選択ができない場合に、可算長の列を構成するのに必要である。

同値な命題

ツェルメロ＝フレンケル集合論 ${\mathsf {ZF}}$${\mathsf {ZF}}$において、${\mathsf {DC}}$${\mathsf {DC}}$ は完備距離空間のベールのカテゴリー定理と同値である。

また、${\mathsf {ZF}}$${\mathsf {ZF}}$ 上でレーヴェンハイム–スコーレムの定理と同値でもある。

${\mathsf {DC}}$${\mathsf {DC}}$ は ${\mathsf {ZF}}$${\mathsf {ZF}}$上で高さ $\omega$$\omega$の pruned tree には枝があるということとも同値である。

さらに、${\mathsf {DC}}$${\mathsf {DC}}$ はツォルンの補題の弱い形と同値である; 具体的には ${\mathsf {DC}}$${\mathsf {DC}}$は全ての整列された鎖が有限で有界であるような半順序は必ず極大元を持つという命題と同値である。

他の公理との関連

完全な ${\mathsf {AC}}$${\mathsf {AC}}$と違って、${\mathsf {DC}}$${\mathsf {DC}}$ は(${\mathsf {ZF}}$${\mathsf {ZF}}$ の下で) 実数の不可測集合やベールの性質を持たない集合や perfect set property を持たない集合の存在を証明するのに不十分である。これはソロヴェイモデルにおいては ${\mathsf {ZF}}+{\mathsf {DC}}$${\mathsf {ZF}}+{\mathsf {DC}}$が成り立ちながら実数の集合が全てルベーグ可測でベールの性質を持ち perfect set property を持つからである。

従属選択公理は可算選択公理を導き、それより真に強い公理である。

従属選択公理の一般化としてさらに長い超限列の生成を認めるものを考えることができる。認める長さを際限なくした場合、それは完全な選択公理と同値になる。

参考文献

• Jech, Thomas (2003). Set Theory (Third Millennium ed.). Springer-Verlag. ISBN 3-540-44085-2. OCLC 174929965. Zbl 1007.03002