可算選択公理(英: Axiom of countable choice)とは、公理的集合論における公理のひとつで、空でない集合からなる可算な集合族があったときに、それぞれの集合から一つずつ元を選び出して新しい集合を作ることができるという公理である。ACωとも表記される。名前の通り、選択公理を可算集合族に限定したものになっている。 空でない集合からなる任意の可算集合族Fに対し、ある(Fを定義域に持つ)関数 f が存在して、任意のS∈Fに対し f(S)∈Sが成り立つ。 このような関数をFの選択関数と呼ぶ。 ZF に ACωを付け加えた公理系では、可算集合の可算和が可算であることや、任意の無限集合がデデキント無限であることなどが証明できる[1]。 実数論においては選択公理ではなく可算選択公理で事足りる場合が多い[1]。例えば集積点が極限点であること、すなわち「 x {\displaystyle x} が実数 R {\displaystyle \mathbb {R} } の部分集合 S {\displaystyle S} の集積点ならば、 x {\displaystyle x} に収束する S ∖ { x } {\displaystyle S\setminus \{x\}} の数列が存在する」という命題を証明したい場合にはACωを用いれば十分である。 また、距離空間論において、可分距離空間の任意の部分集合が可分であることを示す際にも用いられる[1]。 ACωは選択公理や従属選択公理よりも弱い主張である。実際、選択公理が成り立たないソロヴェイのモデルにおいても、可算選択公理は成り立つ。 ポール・コーエンはACωがZF集合論から証明できないことを示した。
定義
応用
他の公理との関係
関連項目
公理的集合論
選択公理
出典[脚注の使い方]^ a b c Jech, T.J. (1973). The Axiom of Choice. North Holland.
参考文献
Herrlich, Horst (1997). ⇒“Choice principles in elementary topology and analysis”. Comment.Math.Univ.Carolinae 38 (3): 545-545. ⇒http://www.emis.de/journals/CMUC/pdf/cmuc9703/herrli.pdf.
Howard, Paul; Rubin, Jean E. (1998). “Consequences of the axiom of choice”. Providence, R.I. (American Mathematical Society).
Potter, Michael (2004). Set Theory and its Philosophy : A Critical Introduction. Oxford University Press. p. 164. .mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation.cs-ja1 q,.mw-parser-output .citation.cs-ja2 q{quotes:"「""」""『""』"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free a,.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:#d33}.mw-parser-output .cs1-visible-error{color:#d33}.mw-parser-output .cs1-maint{display:none;color:#3a3;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}ISBN 9780191556432. https://books.google.co.jp/books?id=FxRoPuPbGgUC&pg=PA164&redir_esc=y&hl=ja
歴
集合論
基本
集合
元
包含関係
内包と外延
クラス
ベン図
演算
和集合
非交和
共通部分
素集合
直積集合
分割
補集合
差集合
対称差
冪集合
ド・モルガンの法則
集合の代数学
関係
性質
反射関係
推移関係
推移閉包
対称関係
非対称関係
反対称関係
完全関係
同値関係
同値類
well-defined
整礎関係
逆関係
関係の合成
写像
定義域
終域
値域
単射
全射
全単射
逆写像
像と逆像
恒等写像
制限
包含写像
合成
射影
商写像
指示関数
配置集合
族
添字集合
順序対
順序組
列
集合族
グラフ
部分写像
対応
順序
前順序
有向
半順序
全順序
整列
稠密
有界
単調写像
順序同型