[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
681(1): 01/27(月)13:58 ID:zED1d/2g(4/4) AAS
>>674
> as desired
●ルは英語も読めんのか 「望みどおり 整列が得られる」という意味だろ
682(1): 01/27(月)14:01 ID:VZyTU7BU(1) AAS
●ルに引導
１．Aを整列するのに、P(A)-φからAへの選択関数fは必要だが、P(A)-φ全体の整列など不要
２．上記の選択関数fを決めれば、Aの整列は一意に決まるが、逆にAの整列から、上記の選択関数fは一意に決まらない
683(1): 01/27(月)14:12 ID:T6In1xa/(7/15) AAS
>>674
これは酷い
>さて、以前にも書いたが
そしてまた間違えた
684(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/27(月)15:02 ID:CtxJncrm(5/6) AAS
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
＜ あほ二人は、選択公理−選択関数が 全く分かっていない＞
>>676-683
>>682 ID:VZyTU7BUと >>681 ID:zED1d/2g とは、同一人物か
そうすると、>>683 の ID:T6In1xa/ と合わせて、相手は ”例の”あほ二人かｗ ；ｐ）
さて
１）”P(A)-ΦはAの空でない部分集合全体からなる集合族だろ”で
いま、問題は 関数の定義域だろ？
省12
685(1): 01/27(月)15:17 ID:rUPCt/3e(1) AAS
>>684
>>684
> P(A)-Φから、その部分集合を作り出す 置換公理の関数
何勝手にJechが行ってないこと妄想してんだｗ
そもそもJechの本の証明はもともとZermeloのもので
置換公理とか出てくる以前
686(1): 01/27(月)15:34 ID:aGjuVqGz(1) AAS
●ルのウソ理屈は意味不明の戯言だから全部流すよ
687: 01/27(月)16:04 ID:LSdHrjXv(1) AAS
だったら何も書くな
688: 01/27(月)17:10 ID:T6In1xa/(8/15) AAS
>>684
>いま、問題は 関数の定義域だろ？
定義域はP(A)-Φで何の問題も無い
道理の分らぬ馬鹿が言いがかり付けてるだけ
689(1): 01/27(月)17:12 ID:T6In1xa/(9/15) AAS
>>684
>２）一方、P(A)-Φから、その部分集合を作り出す 置換公理の関数は
> あくまで 定義域は ただ一つ P(A)-Φ のみ
こそが意味不明のたわごと
690(1): 01/27(月)17:14 ID:T6In1xa/(10/15) AAS
なんで雑談くんは馬鹿自慢がとまらないんだ？
頭オカシイのか？
691: 01/27(月)17:26 ID:AW0Zd0to(4/5) AAS
>>690
高校時代、数学秀才だったことが忘れられないんでしょうな
高校までの数学なんて、「算数」なのにね
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 は、御大か
午後の巡回ご苦労様です
箱入り無数目スレで、いかにも自分たちが
選択公理−選択関数が分かっているかのように ほざくが
省19
693(1): 01/27(月)18:41 ID:T6In1xa/(11/15) AAS
>>692
見解もクソもJechの証明の通り。
君の見解とやらがアホなだけ。
どうアホかは既に書いたから読んで理解しな。馬鹿を治したいならね。
694(1): 01/27(月)18:46 ID:AW0Zd0to(5/5) AAS
>>692
>Jechの証明を、是とするか あるいは否とするか？ 立場をはっきりさせろ
●ルよ、おまえがJechを否定してんだよ 馬鹿！
695(1): 01/27(月)18:47 ID:T6In1xa/(12/15) AAS
否定してることにさえ気づかない馬鹿だからどうしようも無い
696: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/27(月)20:20 ID:F/4ZRvn3(2/7) AAS
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
＜ あほ二人は、選択公理−選択関数が 全く分かっていない＞
ふっふ、ほっほ
>>693-695
必死でハグラカシにかかる あほ二人
”アナグマの姿焼き" の完成かなｗ ；ｐ）
697(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/27(月)20:48 ID:F/4ZRvn3(3/7) AAS
>>665
ありがとうございます
追加の情報貼っておきます
酒井拓史氏 学部と修士が東大で、DRは名古屋大で 博士 (学術)(2005年12月 名古屋大学)か
公理的集合論入門は、やはり東大2年後期と思うが、未確認です
(参考)
catalog.he.u-tokyo.ac.jp/detail?code=0505101&year=2024
東京大学授業カタログ 2024年度版
応用数学XE
時間割／共通科目コード
省17
698: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/27(月)20:49 ID:F/4ZRvn3(4/7) AAS
つづき
researchmap.jp/hsakai
酒井 拓史
基本情報
所属東京大学 大学院数理科学研究科 教授
学位
博士 (学術)(2005年12月 名古屋大学)
和歌山県出身。
公理的集合論、特に巨大基数に興味を持って研究しています。
学歴 3
省8
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.
Proof：
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 fiunction f for the family S of all nonempty subsets of A.
省11
700(2): 01/27(月)21:05 ID:T6In1xa/(13/15) AAS
>>699
もうはっきりしている
アホは
>さて、集合族 A,A-{a0},A-{a1},・・・から、選択関数の構成ができて
とか言ってる君一人
上下前次1-新書関写板覧索設栞歴
あと 302 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.021s