|
可算選択公理()とは、公理的集合論における公理のひとつで、空でない集合からなる可算な集合族があったときに、それぞれの集合から一つずつ元を選び出して新しい集合を作ることができるという公理である。ACωとも表記される。名前の通り、選択公理を可算集合族に限定したものになっている。 ==定義== 空でない集合からなる任意の可算集合族Fに対し、ある(Fを定義域に持つ)関数 f が存在して、任意のS∈Fに対し f(S)∈Sが成り立つ。 このような関数をFの選択関数と呼ぶ。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「可算選択公理」の詳細全文を読む スポンサード リンク
|