[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞 あぼーん

---

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

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

506(1): 01/22(水)10:50 ID:LgUwuh2U(1/3) AAS
>分出公理を使うと、Sの部分集合として
>{A∖Φ,A∖{Φ,a1},A∖{Φ,a1,a2},A∖{Φ,a1,a2,a3},・・ A∖{aξ∣ξ<α}・・}
>これから 集合族 が出来て
>A∖Φ,A∖{Φ,a1},A∖{Φ,a1,a2},A∖{Φ,a1,a2,a3},・・ A∖{aξ∣ξ<α}・・
　aξの定義に選択関数使っちゃってますが

---

508(2): 01/22(水)15:31 ID:LgUwuh2U(2/3) AAS
> 誤解です
　ほんとだ、君、間違ってる

誤　A∖Φ,A∖{Φ,a1},A∖{Φ,a1,a2},A∖{Φ,a1,a2,a3},・・ A∖{aξ∣ξ<α}・・
正　A(=A∖{}),A∖{a1},A∖{a1,a2},A∖{a1,a2,a3},・・ A∖{aξ∣ξ<α}・・

>選択関数fは
>f：集合族（定義域：入力）→ ある要素（aα：出力）
>（aα= f(A∖{aξ∣ξ<α}) の通りですが）

じゃ、fを表に出しなよ

A,A∖f(A),(A∖f(A))∖f(A∖f(A)),…
↓
省5

---

512(1): 01/22(水)16:17 ID:LgUwuh2U(3/3) AAS
>定義域の集合族 A∖{aξ∣ξ<α} これが、関数の入力で
>aα が、関数 fの出力で a ∈A で
>aα は aが順序数αで添え字付けできたことを表す

A∖{aξ∣ξ<α}の中のaξも、関数fの出力だよな？
いっとくけど、関数fを使うってことは
関数fがあらかじめ定められた定義域全体で
定義されてないとダメだぞ
その都度拡大定義するとかダメだぞ
素人はすぐズルするけど
それ論理が全然分かってないってことだから
省1

---

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

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.036s