[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

507: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/22(水)14:15 ID:XJPGzntw(3/4) AA×
>>506>>504


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
507: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/01/22(水) 14:15:58.00 ID:XJPGzntw >>506 マジレス ・誤解です 　A∖Φ,A∖{Φ,a1},A∖{Φ,a1,a2},A∖{Φ,a1,a2,a3},・・ A∖{aξ∣ξ<α}・・ 　は、あくまで 集合族です ・そもそも、選択関数fは 　f：集合族（定義域：入力）→ ある要素（aα：出力） 　（>>504 aα= f(A∖{aξ∣ξ<α}) の通りですが） ・繰り返しますが 　選択関数fは 　定義域としての 集合族（入力）がないと、出力の aα が ありません！ そして、百歩ゆずって aξの定義に選択関数使うことは 「選択公理→整列可能定理」の証明上、問題なし （なお、くどく繰り返すが、集合族（入力）がないと、 　選択関数の出力 aα 　即ち 順序数で添え字付けられた a∈A が 出せない） http://rio2016.5ch.net/test/read.cgi/math/1735693028/507
マジレス 誤解です はあくまで 集合族です そもそも選択関数は 集合族定義域入力 ある要素出力 の通りですが 繰り返しますが 選択関数は 定義域としての 集合族入力がないと出力の が ありません！ そして百歩ゆずって の定義に選択関数使うことは 選択公理整列可能定理の証明上問題なし なおくどく繰り返すが集合族入力がないと 選択関数の出力 即ち 順序数で添え字付けられた が 出せない

---

上下前次1-新書関写板覧索設栞歴

---

あと 495 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.038s