[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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},・・・から、選択関数の構成ができて
とか言ってる君一人
701: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/27(月)21:39 ID:F/4ZRvn3(6/7) AAS
>>700
まだ言ってるのか？
アホなやつだな〜！ｗｗｗ ；ｐ）
702(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/27(月)21:51 ID:F/4ZRvn3(7/7) AAS
>>700
(引用開始)
>さて、集合族 A,A-{a0},A-{a1},・・・から、選択関数の構成ができて
とか言ってる君一人
(引用終り)
ふっふ、ほっほ
・下記の通り、選択関数の活躍の舞台は、集合族だ
・集合の族が 無ければ・・・、
例えば 定義域が たった 一つの集合ならば
普通の関数で間に合って、
省19
703: 01/27(月)21:58 ID:T6In1xa/(14/15) AAS
>>702
>・定義域が、可算以上の無限の（集合）族の場合こそ
> そこは選択関数の独壇場なのです！！ ；ｐ）
P(A)-Φは集合族と教えてあげたのにまだ分からんの？
アホなやつだな〜！ｗｗｗ ；ｐ）
704: 01/27(月)22:23 ID:T6In1xa/(15/15) AAS
AA省
705: 01/28(火)00:56 ID:SFFxcmct(1/28) AAS
>>702
外部ﾘﾝｸ:ja.wikipedia.org
部分集合族
全体集合 Ω が与えられたとき、Ω 上の集合族とは Ω の冪集合 𝒫(Ω) の部分集合のことを言う。即ち、Ω 上の集合族 S はその任意の元が Ω の部分集合となる集合である。
P(A)-{Φ}は集合族だと教えてやったんだから自分で確認しろよアホｗ
706: 01/28(火)06:31 ID:w5k5tJaP(1/4) AAS
>選択関数の活躍の舞台は、集合族だ
>集合の族が 無ければ・・・、
だから、P(A)-{Φ}が集合族じゃん
◆yH25M02vWFhPは馬鹿なの？
道理で大学１年の４月で落ちこぼれるわけだ
所詮は高卒の”算数秀才”だったか（嘲）
707: 01/28(火)06:35 ID:w5k5tJaP(2/4) AAS
選択公理による整列定理の証明は、
有限集合から１つずつ要素を選んで整列させるのと
実は同じ発想
ただ注意すべきは、その都度選ぶと考えるのではなく
あらかじめ集合の空でない部分集合それぞれから、
要素を選ぶ関数を与える、ということ
ここを理解しようとせず
「その都度選べばいいじゃん」
と馬鹿なこと言ってると大学に入って死ぬ
◆yH25M02vWFhPがいい例
省2
708: 01/28(火)09:24 ID:SFFxcmct(2/28) AAS
雑談くん、公開処刑されたのは自分だったことにやっと気づいたのかな？
R.I.P.
709(8): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/28(火)11:18 ID:C6l4Y3jA(1/8) AAS
”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
＜ あほ二人は、選択公理−選択関数が 全く分かっていない＞
血の巡りの悪い人がいるね
では、再度>>666-667の説明を 補足しよう
>>667より
Thomas Jechの 証明 再録
P48
Theorem 5.1 (Zermelo’s Well-Ordering Theorem)
省35
710(6): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/28(火)11:19 ID:C6l4Y3jA(2/8) AAS
つづき
で、まとめると、P' にそのまま 選択関数を適用しても、
直ちには aα=f(A-{aξ：ξ<α}) は出ない
上記のように A-{aξ：ξ<α} からなる 集合族を 部分集合として P' から切り出して
その 順序数で添え字付けされた 集合族からの 選択関数の出力として、
順序数で添え字付けされた aα を出すべし
この 添え字順序数α による 順序が、整列順序で、 集合Aの要素の全部に渡り、集合Aに 整列順序が入る
”That we can do by induction, using a choice fiunction f for the family S of all nonempty subsets of A.”
は、ヒントでしょ？ 数学科生なら、この１行のヒントで ”aα=f(A-{aξ：ξ<α})”の構成を悟れ！ ということ■
以上
上下前次1-新書関写板覧索設栞歴
あと 292 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.024s