従属選択公理

数学において、従属選択公理(英語: axiom of dependent choice; D C {\displaystyle {\mathsf {DC}}} と略される)とは、選択公理( A C {\displaystyle {\mathsf {AC}}} )の弱い形で、しかし実解析の大部分を行うのに十分な公理である。これはパウル・ベルナイスによって1942年の、解析学を実行するのに必要な集合論的公理を検討する逆数学の論文で導入された。 R {\displaystyle R} on X {\displaystyle X} 上の二項関係 R {\displaystyle R} が全域関係であるとは任意の a ∈ X , {\displaystyle a\in X,} に対してある b ∈ X {\displaystyle b\in X} が存在して a R   b {\displaystyle a\,R~b} が成り立つことである。 従属選択公理とは、次の言明である: 任意の空でない集合 X {\displaystyle X} とその上の全域二項関係 R {\displaystyle R} に対して、列 ( x n ) n ∈ N {\displaystyle (x_{n})_{n\in \mathbb {N} }} を全ての n ∈ N . {\displaystyle n\in \mathbb {N} .} に対して x n R   x n + 1 {\displaystyle x_{n}\,R~x_{n+1}} であるように取れる。 実のところ、x0 は X の好きな元を選ぶことができる。(これを見るには、x0 から始められる R {\displaystyle R} の有限鎖全体を考え、その中に右が左の延長であるという二項関係を考えてそこに従属選択公理を適用すれば有限鎖の無限列ができるので、それの和を取ればよい。) 上での集合 X {\displaystyle X} を実数全体の集合に制限したものを D C R {\displaystyle {\mathsf {DC}}_{\mathbb {R} }} で表す。 このような公理が無いとしても、各 n {\displaystyle n} について普通の帰納法によって最初の n {\displaystyle n} 項を有限列としてとることはできる。従属選択公理が主張しているのは、その極限であるような可算無限列が取れるということである。 公理 D C {\displaystyle {\mathsf {DC}}} は A C {\displaystyle {\mathsf {AC}}} の断片であって、超限帰納法の各ステップで選択をする必要があって、それまでの選択に独立した選択ができない場合に、可算長の列を構成するのに必要である。 ツェルメロ＝フレンケル集合論 Z F {\displaystyle {\mathsf {ZF}}} において、 D C {\displaystyle {\mathsf {DC}}} は完備距離空間のベールのカテゴリー定理と同値である。 また、 Z F {\displaystyle {\mathsf {ZF}}} 上で下方レーヴェンハイム–スコーレムの定理(の一定の制限がされたバージョン)と同値でもある。 D C {\displaystyle {\mathsf {DC}}} は Z F {\displaystyle {\mathsf {ZF}}} 上で高さ ω {\displaystyle \omega } の pruned tree には枝があるということとも同値である。 さらに、 D C {\displaystyle {\mathsf {DC}}} はツォルンの補題の弱い形と同値である; 具体的には D C {\displaystyle {\mathsf {DC}}} は全ての整列された鎖が有限で有界であるような半順序は必ず極大元を持つという命題と同値である。 完全な A C {\displaystyle {\mathsf {AC}}} と違って、 D C {\displaystyle {\mathsf {DC}}} は( Z F {\displaystyle {\mathsf {ZF}}} の下で) 実数の不可測集合やベールの性質を持たない集合や perfect set property を持たない集合の存在を証明するのに不十分である。これはソロヴェイモデルにおいては Z F + D C {\displaystyle {\mathsf {ZF}}+{\mathsf {DC}}} が成り立ちながら実数の集合が全てルベーグ可測でベールの性質を持ち perfect set property を持つからである。 従属選択公理は可算選択公理を導き、それより真に強い公理である。 従属選択公理の一般化としてさらに長い超限列の生成を認めるものを考えることができる。認める長さを際限なくした場合、それは完全な選択公理と同値になる。 ^ "The foundation of analysis does not require the full generality of set theory but can be accomplished within a more restricted frame." Bernays, Paul (1942). “Part III. Infinity and enumerability. Analysis.”. Journal of Symbolic Logic. A system of axiomatic set theory 7 (2): 65–89. doi:10.2307/2266303. JSTOR 2266303. MR0006333. http://doc.rero.ch/record/290936/files/S0022481200064185.pdf.  The axiom of dependent choice is stated on p. 86. ^ ムーアは次のように言っている "Principle of Dependent Choices ⇒ {\displaystyle \Rightarrow } Löwenheim–Skolem theorem". 参照: Moore, Gregory H. (1982). Zermelo's Axiom of Choice: Its origins, development, and influence. Springer. p. 325. ISBN 0-387-90670-3  ^ "The Baire category theorem implies the principle of dependent choices." Blair, Charles E. (1977). “The Baire category theorem implies the principle of dependent choices”. Bull. Acad. Polon. Sci. Sér. Sci. Math. Astron. Phys. 25 (10): 933–934.  ^ 逆のことは次の資料で示されている: Boolos, George S.; Jeffrey, Richard C. (1989). Computability and Logic (3rd ed.). Cambridge University Press. pp. 155–156. ISBN 0-521-38026-X. https://archive.org/details/computabilitylog0000bool_c7g3/page/155  ^ Wolk, Elliot S. (1983), “On the principle of dependent choices and some forms of Zorn's lemma”, Canadian Mathematical Bulletin 26 (3): 365–367, doi:10.4153/CMB-1983-062-5  ^ ベルナイスが従属選択公理から可算選択公理が導かれることを証明した。参照: p. 86 in Bernays, Paul (1942). “Part III. Infinity and enumerability. Analysis.”. Journal of Symbolic Logic. A system of axiomatic set theory 7 (2): 65–89. doi:10.2307/2266303. JSTOR 2266303. MR0006333. http://doc.rero.ch/record/290936/files/S0022481200064185.pdf.  ^ 可算選択公理が従属選択公理を導かないことの証明は次のものを参照: Jech, Thomas (1973), The Axiom of Choice, North Holland, pp. 130–131, ISBN 978-0-486-46624-8  Jech, Thomas (2003). Set Theory (Third Millennium ed.). Springer-Verlag. ISBN 3-540-44085-2. OCLC 174929965. Zbl 1007.03002