[過去ﾛｸﾞ]
ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
ガロア第一論文と乗数イデアル他関連資料スレ12 http://rio2016.5ch.net/test/read.cgi/math/1735693028/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
682: １３２人目の素数さん [] 2025/01/27(月) 14:01:54.21 ID:VZyTU7BU ●ルに引導 １．Aを整列するのに、P(A)-φからAへの選択関数fは必要だが、P(A)-φ全体の整列など不要 ２．上記の選択関数fを決めれば、Aの整列は一意に決まるが、逆にAの整列から、上記の選択関数fは一意に決まらない http://rio2016.5ch.net/test/read.cgi/math/1735693028/682
683: １３２人目の素数さん [] 2025/01/27(月) 14:12:10.26 ID:T6In1xa/ >>674 これは酷い >さて、以前にも書いたが そしてまた間違えた http://rio2016.5ch.net/test/read.cgi/math/1735693028/683
684: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/01/27(月) 15:02:00.66 ID:CtxJncrm ”＜公開処刑 続く＞ （『 ZF上で実数は どこまで定義可能なのか？』に向けて と (あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/” ＜ あほ二人は、選択公理−選択関数が 全く分かっていない＞ >>676-683 >>682 ID:VZyTU7BUと >>681 ID:zED1d/2g とは、同一人物か そうすると、>>683 の ID:T6In1xa/ と合わせて、相手は ”例の”あほ二人かｗ ；ｐ） さて １）”P(A)-ΦはAの空でない部分集合全体からなる集合族だろ”で いま、問題は 関数の定義域だろ？ つまり、選択公理の選択関数fの意義とは、fの定義域として 無限集合族が取れるってこと いま、簡単に 順序数で添え字された無限集合族 P0,P1,P2,・・,Pλ,・・があったとして （ここに 0,1,2,・・,λ,・・ ∈ON ） f：Pλ→pλ∈Pλ （pλ≠Φ ：空集合ではない） とできる。つまり、なにか無限集合族から 各 必ず一つの要素を取り出す関数が、選択関数だ 順序数の添え字が 無制限ならば、フルパワー選択公理 順序数の添え字が 加算ならば、可算選択公理 両者の中間が、従属選択公理 ２）一方、P(A)-Φから、その部分集合を作り出す 置換公理の関数は あくまで 定義域は ただ一つ P(A)-Φ のみ あとは、意味不明のたわごとだから 流すよ ｗｗ ；ｐ） http://rio2016.5ch.net/test/read.cgi/math/1735693028/684
685: １３２人目の素数さん [] 2025/01/27(月) 15:17:04.55 ID:rUPCt/3e >>684 >>684 > P(A)-Φから、その部分集合を作り出す 置換公理の関数 何勝手にJechが行ってないこと妄想してんだｗ そもそもJechの本の証明はもともとZermeloのもので 置換公理とか出てくる以前 http://rio2016.5ch.net/test/read.cgi/math/1735693028/685
686: １３２人目の素数さん [] 2025/01/27(月) 15:34:37.82 ID:aGjuVqGz ●ルのウソ理屈は意味不明の戯言だから全部流すよ http://rio2016.5ch.net/test/read.cgi/math/1735693028/686
687: １３２人目の素数さん [] 2025/01/27(月) 16:04:57.05 ID:LSdHrjXv だったら何も書くな http://rio2016.5ch.net/test/read.cgi/math/1735693028/687
688: １３２人目の素数さん [] 2025/01/27(月) 17:10:22.59 ID:T6In1xa/ >>684 >いま、問題は 関数の定義域だろ？ 定義域はP(A)-Φで何の問題も無い 道理の分らぬ馬鹿が言いがかり付けてるだけ http://rio2016.5ch.net/test/read.cgi/math/1735693028/688
689: １３２人目の素数さん [] 2025/01/27(月) 17:12:47.91 ID:T6In1xa/ >>684 >２）一方、P(A)-Φから、その部分集合を作り出す 置換公理の関数は > あくまで 定義域は ただ一つ P(A)-Φ のみ こそが意味不明のたわごと http://rio2016.5ch.net/test/read.cgi/math/1735693028/689
690: １３２人目の素数さん [] 2025/01/27(月) 17:14:54.53 ID:T6In1xa/ なんで雑談くんは馬鹿自慢がとまらないんだ？ 頭オカシイのか？ http://rio2016.5ch.net/test/read.cgi/math/1735693028/690
691: １３２人目の素数さん [] 2025/01/27(月) 17:26:48.99 ID:AW0Zd0to >>690 高校時代、数学秀才だったことが忘れられないんでしょうな 高校までの数学なんて、「算数」なのにね http://rio2016.5ch.net/test/read.cgi/math/1735693028/691
692: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/01/27(月) 18:28:08.37 ID:CtxJncrm >>685-691 ”＜公開処刑 続く＞ （『 ZF上で実数は どこまで定義可能なのか？』に向けて と (あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/” ＜ あほ二人は、選択公理−選択関数が 全く分かっていない＞ >だったら何も書くな ID:LSdHrjXv は、御大か 午後の巡回ご苦労様です 箱入り無数目スレで、いかにも自分たちが 選択公理−選択関数が分かっているかのように ほざくが その実、この＜公開処刑＞の通りｗ 選択公理−選択関数が、さっぱり分かってない やつらですｗ ；ｐ） >> P(A)-Φから、その部分集合を作り出す 置換公理の関数 > 何勝手にJechが行ってないこと妄想してんだｗ まず、論点を整理しよう ・Jechの証明 >>667 を、是とするか あるいは否とするか？ 立場をはっきりさせろ 否とするならば、どの点が 証明として問題なのか？ そこをはっきりさせろ 証明として問題点が指摘できないならば、是にしかならんｗ ；ｐ） ・補足すると、Jech氏のテキストの初版は1978年で おそらく、Jech氏自身も大学講義に使ったろう だから、疑問点や問題点は、それなりに指摘され、タイポなども 修正されているだろう ・次に、JechのTheorem 5.1 (Zermelo’s Well-Ordering Theorem)の 証明中の関数 ”We let for every α aα=f(A-{aξ：ξ<α}) if A-{aξ：ξ<α} is nonempty.” が分からない というので、>>667に私の見解を書いた ・で、この見解に不満ならば、てめえの見解を書いたらいいでしょｗ 自分の見解を書けないならば、黙ってな！！ ってことよｗｗ ；ｐ） http://rio2016.5ch.net/test/read.cgi/math/1735693028/692
693: １３２人目の素数さん [] 2025/01/27(月) 18:41:10.02 ID:T6In1xa/ >>692 見解もクソもJechの証明の通り。 君の見解とやらがアホなだけ。 どうアホかは既に書いたから読んで理解しな。馬鹿を治したいならね。 http://rio2016.5ch.net/test/read.cgi/math/1735693028/693
694: １３２人目の素数さん [] 2025/01/27(月) 18:46:46.16 ID:AW0Zd0to >>692 >Jechの証明を、是とするか あるいは否とするか？ 立場をはっきりさせろ ●ルよ、おまえがJechを否定してんだよ 馬鹿！ http://rio2016.5ch.net/test/read.cgi/math/1735693028/694
695: １３２人目の素数さん [] 2025/01/27(月) 18:47:42.28 ID:T6In1xa/ 否定してることにさえ気づかない馬鹿だからどうしようも無い http://rio2016.5ch.net/test/read.cgi/math/1735693028/695
696: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/01/27(月) 20:20:05.04 ID:F/4ZRvn3 ”＜公開処刑 続く＞ （『 ZF上で実数は どこまで定義可能なのか？』に向けて と (あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/” ＜ あほ二人は、選択公理−選択関数が 全く分かっていない＞ ふっふ、ほっほ >>693-695 必死でハグラカシにかかる あほ二人 ”アナグマの姿焼き" の完成かなｗ ；ｐ） http://rio2016.5ch.net/test/read.cgi/math/1735693028/696
697: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/01/27(月) 20:48:43.00 ID:F/4ZRvn3 >>665 ありがとうございます 追加の情報貼っておきます 酒井拓史氏 学部と修士が東大で、DRは名古屋大で 博士 (学術)(2005年12月 名古屋大学)か 公理的集合論入門は、やはり東大2年後期と思うが、未確認です (参考) catalog.he.u-tokyo.ac.jp/detail?code=0505101&year=2024 東京大学授業カタログ 2024年度版 応用数学XE 時間割／共通科目コード 0505101 FSC-MA4751L1 公理的集合論入門 / Introduction to Set Theory 集合論は数学に現れる無限集合について調べる分野です．特に，公理系に基づいて展開される集合論は公理的集合論と呼ばれます．関数・関係・数学的構造をはじめとする数学の書概念は集合を用いて表され，集合論の標準的な公理系 ZFC （Zermelo-Fraenkel の公理系 ZF +選択公理 AC）は数学全体を展開できる包括的な公理系になっています．この講義では，ZFC のもとで展開される集合論の基礎を解説し，さらに連続体仮説の ZFC との無矛盾性や，選択公理の ZF との無矛盾性についても解説します． 酒井 拓史 授業計画 次の項目を順に解説する予定です． 1. ZF の紹介 2. 無限集合の濃度と連続体仮説 3. 順序数と超限帰納法 4. 選択公理とその帰結 5. 連続体仮説と選択公理の無矛盾性 参考書 [1] 田中一之 編「ゲーデルと20世紀の論理学 第４巻 集合論とプラトニズム」東京大学出版会，2007年． [2] ケネス・キューネン著，藤田博司訳「集合論 -独立性証明への案内-」日本評論社，2008年． [3] Kenneth Kunen, “Set Theory”, College Publications, 2011. つづく http://rio2016.5ch.net/test/read.cgi/math/1735693028/697
698: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/01/27(月) 20:49:14.20 ID:F/4ZRvn3 つづき researchmap.jp/hsakai 酒井 拓史 基本情報 所属東京大学 大学院数理科学研究科 教授 学位 博士 (学術)(2005年12月 名古屋大学) 和歌山県出身。 公理的集合論、特に巨大基数に興味を持って研究しています。 学歴 3 2002年4月 - 2005年12月名古屋大学, 大学院人間情報学研究科, 物質・生命情報学専攻 2000年4月 - 2002年3月東京大学, 大学院数理科学研究科, 数理科学 1996年4月 - 2000年3月東京大学, 理学部, 数学科 www.ms.u-tokyo.ac.jp/teacher/sakaihiroshi.html u-tokyo ホーム教員紹介 酒井 拓史（SAKAI Hiroshi） (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1735693028/698
699: １３２人目の素数さん [] 2025/01/27(月) 20:59:04.41 ID:F/4ZRvn3 >>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. We let for every α aα=f(A-{aξ：ξ<α}) if A-{aξ：ξ<α} is nonempty. Let θ be the least ordinal such that A = {αξ: ξ < θ}. Clearly,（aα：α< θ) enumerates A. ■ これについて なんでも良いが 彼の ご意見を聞いて このスレにアップしてもらえると ありがたいね だれが アホかハッキリするだろう （＾＾ http://rio2016.5ch.net/test/read.cgi/math/1735693028/699
700: １３２人目の素数さん [] 2025/01/27(月) 21:05:36.11 ID:T6In1xa/ >>699 もうはっきりしている アホは >さて、集合族 A,A-{a0},A-{a1},・・・から、選択関数の構成ができて とか言ってる君一人 http://rio2016.5ch.net/test/read.cgi/math/1735693028/700
701: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/01/27(月) 21:39:27.25 ID:F/4ZRvn3 >>700 まだ言ってるのか？ アホなやつだな〜！ｗｗｗ ；ｐ） http://rio2016.5ch.net/test/read.cgi/math/1735693028/701
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 301 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.245s*