可算選択公理とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 可算選択公理の意味・解説 

可算選択公理

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2025/01/09 08:39 UTC 版)

可算選択公理: Axiom of countable choice)とは、公理的集合論における公理のひとつで、空でない集合からなる可算集合族があったときに、それぞれの集合から一つずつを選び出して新しい集合を作ることができるという公理である。ACωとも表記される。名前の通り、選択公理を可算集合族に限定したものになっている。

定義

空でない集合からなる任意の可算集合族Fに対し、ある(Fを定義域に持つ)関数 f が存在して、任意のS∈Fに対し f(S)∈Sが成り立つ。

このような関数をFの選択関数と呼ぶ。

応用

ZF に ACωを付け加えた公理系では、可算集合の可算が可算であることや、任意の無限集合デデキント無限であることなどが証明できる[1]

実数論においては選択公理ではなく可算選択公理で事足りる場合が多い[1]。例えばすべての集積点 カテゴリ




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「可算選択公理」の関連用語







7
14% |||||

8
10% |||||


10
8% |||||

可算選択公理のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



可算選択公理のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの可算選択公理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS