[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む29 [無断転載禁止]©2ch.net (548ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
100(1): 現代数学の系譜11 ガロア理論を読む 2017/01/27(金)23:36 ID:FA9/2xU8(2/3) AAS
>>97-98
おいおい、選択公理の変種があるぜ。わかってないね（下記）
選択公理は１種類じゃない
早く、（文系）High level people は、28へ行けよ
うんざりだ
外部ﾘﾝｸ:ja.wikipedia.org
選択公理の変種
選択公理には様々な変種が存在する。
可算選択公理
詳細は「可算選択公理」を参照
選択公理よりも弱い公理として、可算選択公理（英: countable axiom of choice,denumerable axiom of choice）というものも考えられている[3]。全ての集合は可算集合を含むこと、可算集合の可算和が可算集合であることは、この公理により証明できる。
カントール、ラッセル、ボレル、ルベーグなどは、無意識のうちに可算選択公理を使ってしまっている。
有限集合の族に対する選択公理
集合族の要素を特定の有限集合に制限した公理も研究されている[4]。即ち、
ACn : n元集合からなる任意の集合族は選択関数を持つ。
という形の公理である。
この種の公理について以下のようなことが知られている（すべてZF公理系を仮定）。
ZFでは AC2 を証明できない。
上下前次1-新書関写板覧索設栞歴
あと 448 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.008s