[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
482(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/20(月)17:17 ID:7RKCNKc8(6/6) AAS
>>477-478
>Let the set we are trying to well-order be A, and let f be a choice function for the family of non-empty subsets of A.
>（訳）整序しようとする集合をAとし、fをAの空でない部分集合の族に対する選択関数とする。
そこ、下記の Axiom of choiceの Statement
そのままでしょ？ｗ （＾＾
>>475より
aα= f(A∖{aξ∣ξ<α})
ここに
選択関数ｆ
集合族 A∖{aξ∣ξ<α} （添え字 α）
選択された要素 aα （添え字 α）
補足
選択関数ｆ が扱うのは
上記限りです
それ以外の集合族は、関係ないですよ （＾＾
(参考)
外部ﾘﾝｸ:en.wikipedia.org
Axiom of choice
Statement
A choice function (also called selector or selection) is a function f, defined on a collection X of nonempty sets, such that for every set A in X, f(A) is an element of A. With this concept, the axiom can be stated:
Axiom — For any set X of nonempty sets, there exists a choice function f that is defined on X and maps each set of X to an element of that set.
上下前次1-新書関写板覧索設栞歴
あと 520 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.132s*