ガロア第一論文と乗数イデアル他関連資料スレ16

[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ16 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

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

11: １３２人目の素数さん [] 2025/04/17(木) 23:25:52.64 ID:a3KzsPE4

つづき

あほサルの続き
さて
『なぜ、ZFC公理まで遡らなくても数学が出来るの？』スレより
itest.5ch.net/rio2016/test/read.cgi/math/1731415731/771
2024/12/21
おサルさん
笑えるよ
>>684-686 >>689
(引用開始)
正則性公理は ”∈-induction”と関係していて
ZFC内の全ての集合について”∈-”による整礎関係を与え、
∈に関する整礎帰納法である”∈-induction”の適用を可能とする
全順序とか余計な一言を書いたせいで大恥かいたな　高卒童貞

正則性公理は∈を整礎関係たらしめると同時に反射律 a∈a を否定するため順序関係たらしめない。
また正則性公理と関係無く推移律 a∈b ∧ b∈c ⇒ a∈c は成立しない。実際 {}∈{{}} ∧ {{}}∈{{{}}} は真だが、{}∈{{{}}} は偽。
>正則性公理は ”∈-induction”と関係していて
>ZFC内の全ての集合について”∈-”による整礎な全順序関係を与え
は大間違い
>また…推移律 a∈b ∧ b∈c ⇒ a∈c は成立しない。
　ヌォォォォ
　すまん・・・OTL
　工学部卒の自己愛童貞と違うので土下座で謝罪
(引用終り)
オレは、ここの次スレを立てることはしないが
自分の立てたスレが、数学板に3つある
おサルさんの学力顕彰のために、3つスレで 次回のスレ立ての
テンプレに入れるよ。そして、眺めてニヤリと笑うことにしよう
『正則性公理は∈を整礎関係たらしめると同時に反射律 a∈a を否定するため順序関係たらしめない』
か。妄言である！ 数学科オチコボレさんだってねｗ ガッハハｗｗ
(引用終り)

・整列集合 ja.wikipedia.org/wiki/%E6%95%B4%E5%88%97%E9%9B%86%E5%90%88
　『（選択公理に同値な）整列可能定理は、任意の集合が整列順序付け可能であることを主張するものである。整列可能定理はまたツォルンの補題とも同値である』
　『実数からなる集合
正の実数全体の成す集合 R+ に通常の大小関係 ≤ を考えたものは整列順序ではない。例えば開区間 (0, 1) は最小元を持たない。一方、選択公理を含む集合論の ZFC 公理系からは、実数全体の成す集合 R 上の整列順序が存在することが示せる。しかし、ZFC や、一般連続体仮説を加えた体系 ZFC+GCH においては、R 上の整列順序を定義する論理式は存在しない[1]。ただし、R 上の定義可能な整列順序の存在は ZFC と(相対的に)無矛盾である。例えば V=L は ZFC と(相対的に)無矛盾であり、ZFC+V=L ではある特定の論理式が R（実際には任意の集合）を整列順序付けることが従う。』

つづく

http://rio2016.5ch.net/test/read.cgi/math/1744899342/11

123: １３２人目の素数さん [] 2025/04/24(木) 17:16:53.64 ID:mLnhCbkC

>>122

追加参考（下記についての細かいツッコミはなしでお願いしますｗ。自己解決願いますねｗ ；ｐ）
https://ja.wikipedia.org/wiki/%E6%95%B4%E5%88%97%E9%9B%86%E5%90%88
整列集合（英: wellordered set）、または整列順序付けられた集合（せいれつじゅんじょづけられたしゅうごう）とは、数学における概念の1つで、整列順序を備えた集合のことをいう。ここで、集合 S 上の整列順序関係 (wellorder) とは、S 上の全順序関係 "≤" であって、S の空でない任意の部分集合が必ず ≤ に関する最小元をもつものをいう。あるいは同じことだが、整列順序とは整礎な全順序関係のことである。

例と反例
実数からなる集合
正の実数全体の成す集合 R+ に通常の大小関係 ≤ を考えたものは整列順序ではない。

一方、選択公理を含む集合論の ZFC 公理系からは、実数全体の成す集合 R 上の整列順序が存在することが示せる。しかし、ZFC や、一般連続体仮説を加えた体系 ZFC+GCH においては、R 上の整列順序を定義する論理式は存在しない[1]。ただし、R 上の定義可能な整列順序の存在は ZFC と(相対的に)無矛盾である。

https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q11259097991
chiebukuro.yahoo
とある数学好きさん
2022/3/21
整列集合について、
Wikipediaでは
ZFCにおいて実数の集合Rの整列順序を明示的に定義する論理式は存在しないらしいですが、
2のω乗との自然な全単射による順序は整列順序になりますがそれではいけないのですか？

ベストアンサー
hanoachangさん
2022/3/22
「2のω乗との自然な全単射による順序」
これが何を指しているか明示してください。
具体的には
?2^ωは集合としての冪なのか、順序数としての冪なのか。
?2^ωにはどのような順序を入れたのか。
?2^ωと実数の間の全単射はどのようなものか。
の3点です。お願いします。
また、以下に一般的に知られている事実を書きます。確認をお願いします。
・集合としての2^ωと順序数としての2^ωは、記号は同じですが異なる集合です。
・集合としての2^ωは連続体濃度を持ち、明示できる整列順序を持ちません。
・順序数としての2^ωは可算集合で、整列順序が定義されています。
・集合としての2^ωと実数の間に"自然"と言える全単射は存在しません。

http://rio2016.5ch.net/test/read.cgi/math/1744899342/123

830: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/05/04(日) 20:24:12.64 ID:GrLmqCpf

>>826-827
>実数論は杉浦解析入門でよいでしょうか？

どうも
5ch便所板 おミソのスレ主です

・杉浦解析入門は、向き不向きがあるらしい
　下記に 杉浦解析入門で、廃人になりかけた わんこら さんの話があるよ 向き不向きな
https://youtu.be/aWPAHRsCU_Q?t=1
僕がたどり着いた数学の勉強の仕方…わんこら式数学の勉強法はこうやって生まれた
わんこらチャンネル  2020/05/30
文字起こし
0:11
この解析入門1
これで僕は人生がむちゃくちゃになりました
これで
何回も何回も挫折して
家に引きこもって
そして留年しまくって
0:30
京都大学理学部行ったんですけど
以下略す
(引用終り)

>>Rの性質は17個。

下記だね
https://mathabyss.com/real_number-calculus/
MathAbyss
実数 〜17の公理を徹底解説〜 2024/10/06
実数とは，ある17個の性質が成り立つ数の集合のことです．
実数とは
実数(real number)全体の集合
Rは次の17個の条件を満たす．
略
目次
実数の｢公理｣
R
R上の演算
1〜4の解説
5〜8の解説
9，10の解説
関連内容
略

さらに＜動画解説（初学者はここらで用語に馴れると良い）＞
https://youtu.be/2ezysyJZacI?t=1200
実数ってどう定義する？カギとなる【実数の連続性公理】を丁寧に説明します！
速習大学数学【山本拓人】 2022/04/22
0:00 この動画のテーマ
2:07 順序体のざっくりとした説明と具体例
4:05 「体」の定義(順序体が満たす性質１)
5:56 「全順序」の定義(順序体が満たす性質２)
7:09 「演算と順序の両立」の定義(順序体が満たす性質３)
8:35 順序体のきちんとした定義
9:22 実数の連続性公理とは
10:14 「上に有界」の定義
12:35 「上限」の定義
15:22 「上限性質」の定義
17:15 「実数」の定義
19:27 実数体の構成方法
20:53 実数体が本質的にただ１つであること

http://rio2016.5ch.net/test/read.cgi/math/1744899342/830

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

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

ぬこの手ぬこTOP 0.040s