[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
839(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/30(木)12:00 ID:Xxyr0Rol(9/11) AAS
>>833 補足
(引用開始)
必要な部分
”補集合A-{aξ|ξ<α}が空でないなら aα=f(A-{aξ|ξ<α}) なる設定により定義せよ”
(引用終り)
選択関数 aα=f(A-{aξ|ξ<α})
の構成を 二つのステップに分ければいい
1st ステップ
定義域 {A-{aξ|ξ<α}｜α < θ} を構成する部分
ここは、the family S of all nonempty subsets of Aの部分集合になる
だから、置換公理で間に合う
2nd ステップ
f；A-{aξ|ξ<α} → aα
これで選択関数が構成できた
（Aが可算ならば、従属選択公理で間に合う）
上下前次1-新書関写板覧索設栞歴
あと 163 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.135s*