[過去ログ] ガロア第一論文と乗数イデアル他関連資料スレ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
そのままでしょ?w (^^
>>475より
aα= f(A∖{aξ∣ξ<α})
省14
484(2): 01/20(月)17:41 ID:lMN8bpqd(12/12) AAS
>>482
> aα= f(A∖{aξ∣ξ<α})
> 選択関数f
> 集合族 A∖{aξ∣ξ<α} (添え字 α)
> 選択された要素 aα (添え字 α)
> 選択関数f が扱うのは上記限りです
> それ以外の集合族は、関係ないですよ
省7
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.037s