従属選択公理

数学において、従属選択公理(; DCと略される)とは、選択公理(AC)の弱い形で、しかし実解析の大部分を行うのに十分な公理である。これはパウル・ベルナイスによって1942年の、解析学を実行するのに必要な集合論的公理を検討する逆数学の論文で導入された。"The foundation of analysis does not require the full generality of set theory but can be accomplished within a more restricted frame."  The axiom of dependent choice is stated on p. 86.

 形式的な言明 
まず、 on  上の二項関係  が全域関係であるとは、任意の  に対してある  が存在して  が成り立つことである。

従属選択公理とは、次の言明である:

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

上での集合  を実数全体の集合に制限したものを  で表す。

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

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

 同値な命題 
ツェルメロ＝フレンケル集合論 ZF において、DC は完備距離空間のベールのカテゴリー定理と同値である。"The Baire category theorem implies the principle of dependent choices." 

また、ZF 上で下方レーヴェンハイム–スコーレムの定理(の一定の制限がされたバージョン)と同値でもある。ムーアは次のように言っている "Principle of Dependent Choices  Löwenheim–Skolem theorem". 参照: 逆のことは次の資料で示されている: 

DCは ZF上で高さ  の pruned tree には枝があるということとも同値である。

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

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

従属選択公理は可算選択公理を導き、それより真に強い公理である。ベルナイスが従属選択公理から可算選択公理が導かれることを証明した。参照: p. 86 in 可算選択公理が従属選択公理を導かないことの証明は次のものを参照: 

従属選択公理の一般化としてさらに長い超限列の生成を認めるものを考えることができる。

この記法を採用すると、可算選択公理は実はDC(ω)と同値であり、実際に一般化になっていることがわかり、全ての順序数について上の命題が成立すると仮定すると選択公理が導ける。

 注釈 

 参考文献 



Category:選択公理
Category:数学に関する記事