[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
667(10): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/27(月)12:12 ID:CtxJncrm(2/6) AAS
つづき
さて >>652より
Thomas Jechの 証明 再録
P48
Theorem 5.1 (Zermelo’s Well-Ordering Theorem)
Every set can be well-orderd.
Proof：
省30
668(2): 01/27(月)12:33 ID:cJ26k4mE(1/2) AAS
>>666-667
御託は並べなくていいよ
なんで656に書く時、下の二行削ったの？
それで必要な情報が全部抜けたんだけど おまえ●●？
"Let A be a set. To well-order A, it suffices to construct a transfinite one-to-one sequence （aα: α < θ) that enumerates A.
That we can do by induction, using a choice function f for the family S of all nonempty subsets of A."
671: 01/27(月)12:58 ID:T6In1xa/(2/15) AAS
>>667
>さて、集合族 A,A-{a0},A-{a1},・・・から、選択関数の構成ができて
馬鹿丸出し
672: 01/27(月)13:05 ID:T6In1xa/(3/15) AAS
>>667
a0,a1,・・・が選択関数のアウトカムなのに
A,A-{a0},A-{a1},・・・から、選択関数を構成すると？
これを馬鹿と言わず何と言えばよいのか？
674(8): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/27(月)13:20 ID:CtxJncrm(3/6) AAS
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
＜ あほ二人は、選択公理−選択関数が 全く分かっていない＞
ご苦労様です。
>>668-670
>それは P(A)-Φから要素を選ぶ選択関数fそのまま
省25
692(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/27(月)18:28 ID:CtxJncrm(6/6) AAS
>>685-691
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
＜ あほ二人は、選択公理−選択関数が 全く分かっていない＞
>だったら何も書くな
ID:LSdHrjXv は、御大か
省22
699(1): 01/27(月)20:59 ID:F/4ZRvn3(5/7) AAS
>>697
ふと思ったが
酒井 拓史氏に >>667より
Thomas Jechの 証明 再録
P48
Theorem 5.1 (Zermelo’s Well-Ordering Theorem)
Every set can be well-orderd.
省14
709(8): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/28(火)11:18 ID:C6l4Y3jA(1/8) AAS
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
＜ あほ二人は、選択公理−選択関数が 全く分かっていない＞
血の巡りの悪い人がいるね
では、再度>>666-667の説明を 補足しよう
>>667より
省38
760(7): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/28(火)20:42 ID:n4GbW2On(2/4) AAS
>>752-753
さて
>>667より
Thomas Jechの 証明 再録
P48
Theorem 5.1 (Zermelo’s Well-Ordering Theorem)
Every set can be well-orderd.
省32
763(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/28(火)23:02 ID:n4GbW2On(4/4) AAS
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
＜ あほ二人は、選択公理−選択関数が 全く分かっていない＞
血の巡りの悪い人がいるね
>>762
>>Aから一つずつ Aの要素を取り出して
省16
848(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/30(木)13:24 ID:Xxyr0Rol(10/11) AAS
>>776より
Thomas Jechの 証明 再録（>>667より）
P48
Theorem 5.1 (Zermelo’s Well-Ordering Theorem)
Every set can be well-orderd.
Proof：
Let A be a set. To well-order A, it suffices to construct a transfinite one-to-one sequence （aα: α < θ) that enumerates A.
省19
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.043s