[過去ログ]
ガロア第一論文と乗数イデアル他関連資料スレ13 (1002レス)
ガロア第一論文と乗数イデアル他関連資料スレ13 http://rio2016.5ch.net/test/read.cgi/math/1738367013/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
27: 132人目の素数さん [] 2025/02/01(土) 20:06:52.68 ID:YIkJbYsl あと任意の選択関数ではダメな命題の例を早く答えてね http://rio2016.5ch.net/test/read.cgi/math/1738367013/27
28: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/02(日) 11:23:54.05 ID:5scbwZz/ >>22 (引用開始) >Xの元を すきな順番に整列できる 大間違い。 順番は選択関数で一意に定まる。 (引用終り) <反証> 1)選択公理(選択関数)と整列可能定理が 同値であることを認めるとする 2)集合Xについて、整列可能定理を適用する Xから好きな元x1∈Xを取り出す。残り X':=X\ {x1} X'から好きな元x2∈X'を取り出す。残り X'':=X'\ {x2} すきなだけ繰り返す。その後に残ったものに 整列可能定理を適用する 3)さて、上記2)で そもそも
整列可能定理とは 最後が空集合になるまで繰り返して良いとするものだった なので、整列可能定理における ”お好きなように”は、選択公理(選択関数)でも同じ 4)実際、下記 alg-d 壱大整域 整列可能定理 ⇒ 選択公理(選択関数)の証明で ”整列可能定理により∪_{λ∈Λ}X_λを整列し f(λ) := (X_λの最小元) とすれば f が選択関数である” とあるが、和集合 ∪_{λ∈Λ}X_λ の整列を 好きにして良いならば、 f(λ) := (X_λの最小元) も好きにできる。つまり、f 選択関数 も好きにできる■ 余談だが、”Take your choice”(好きな
ものを取りなさい)goo辞書 dictionary.goo.ne.jp/word/en/Take+your+choice./ choice には、お好きなように という意味がある なお、存在のみで 具体的でない場合も可 例えば、実数Rの整列では、分るところのみを お好みにして、残りの 不明部分は 存在のみの公理任せも可!w ;p) 公理なんだものww (参考)(原サイトの方が見やすいよ)>>14より alg-d.com/math/ac/wo_z.html alg-d 壱大整域 トップ > 数学 > 選択公理 > 整列可能定理とZornの補題 2011年11月13日更新 整列可能定理とZornの補題 定理次の命題は(ZF上)同値. 1
.選択公理 2.任意の集合Xは整列順序付け可能 (整列可能定理) 3.順序集合Xが「任意の部分全順序集合は上界を持つ」を満たすならば,Xの極大元が存在する.(Zornの補題) 証明 (2⇒1) {X_λ}_{λ∈Λ}を非空集合の族とする.整列可能定理により∪_{λ∈Λ}X_λを整列し f(λ) := (X_λの最小元) とすれば f が選択関数である. http://rio2016.5ch.net/test/read.cgi/math/1738367013/28
29: 132人目の素数さん [] 2025/02/02(日) 12:17:37.87 ID:7z4Dw9JT >>28 >2)集合Xについて、整列可能定理を適用する > Xから好きな元x1∈Xを取り出す。残り X':=X\ {x1} > X'から好きな元x2∈X'を取り出す。残り X'':=X'\ {x2} > すきなだけ繰り返す。 無意味。 なぜなら「好きな元を取り出す」は有限回しか許されないので、ほとんどすべての元の取り出しは選択関数に支配されているから。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/29
30: 132人目の素数さん [] 2025/02/02(日) 12:17:56.69 ID:7z4Dw9JT >その後に残ったものに 整列可能定理を適用する 整列定理は整列順序の存在しか主張していない。「好きな順序で整列できる」は妄想。 >3)さて、上記2)で そもそも 整列可能定理とは > 最後が空集合になるまで繰り返して良いとするものだった 整列定理の証明において元に対する順序数による附番aαを再帰的に定義している。 このaαの定義で選択関数を使っている。だからこの附番のしかたは選択関数で一意に定まる。 「勝手な附番を無限回繰り返して良い」は妄想。
http://rio2016.5ch.net/test/read.cgi/math/1738367013/30
31: 132人目の素数さん [] 2025/02/02(日) 12:18:43.54 ID:7z4Dw9JT > なので、整列可能定理における ”お好きなように”は、選択公理(選択関数)でも同じ 意味不明。なにその”お好きなように”って? おまえは自分の主張すらまともに書けないのでエスパーすると as desired を誤読してるだけ。望み通り整列順序が得られるという意味だ。中学英語からやり直せ。 >余談だが、”Take your choice”(好きなものを取りなさい)goo辞書 >choice には、お好きなように という意味がある 「選択公理 axiom of choice:好き勝手に選択してよ
い」という連想ゲームは不成立。 君、連想ゲーム好きやね。だから間違える。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/31
32: 132人目の素数さん [] 2025/02/02(日) 12:18:58.03 ID:7z4Dw9JT >なお、存在のみで 具体的でない場合も可 >例えば、実数Rの整列では、分るところのみを お好みにして、残りの 不明部分は 存在のみの公理任せも可!w ;p) 上に書いた通り無意味。 ><反証> 以上、なんの反証にもなっていない。残念! http://rio2016.5ch.net/test/read.cgi/math/1738367013/32
33: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/02(日) 12:26:08.50 ID:5scbwZz/ >>28 (引用開始) >Xの元を すきな順番に整列できる 大間違い。 順番は選択関数で一意に定まる。 (引用終り) 典型的な、大学数学 オチコボレさんのパターンか? ;p) 下記ですね 下記の 謎の数学者氏 いま 阪大の数学科 准教授だが 彼のいう MM mathematical maturity 数学的成熟度 が、低いね 30年前 数学科修士卒で あれから30年でこれかい? ”選択関数”の 理解が 上滑りだよ だから、箱入り無数目で 御大が 指摘する 数学の事項が 全く理解
できないんだよね、あなたは!www 誤解・無理解の選択公理(選択関数)で、ワーワー主張するけど、 その殆どが、大外しだよww ;p) (参考) youtu.be/78os69XZrSk?t=1 大学に入ったら数学が突然難しくなる理由。日本の数学科の問題点。 謎の数学者 2021/04/06 #数学者への道 文字起こし 0:00 はいみなさんこんにちは数学者です 0:04 えっと今回はですねこういう話をしていこうかなと思うんですね 大学に入って数学ができなくなる理由ということなんですけれどコレですねあの皆さん 経験した方あるかもしれないですけれどやはりですね あの
大学に入って突然ですね数学が できなくなるということがですね結構あるんですね 2:12 極限の厳密な定義というやつですよねエプシロンでルターによるですねえまあ極限や 微分の厳密な定義 そういった ことを習ってさらにですねいわゆる線形代数と呼ばれているやつですね 2:40 実は 学部自体は日本だったんですけれど数学科ではなかったんですね私 学部時代機械工学を 専攻したんですけれどそれでもですね大学に入って1年目でどういう授業どういう数学 の授業を取らされたかというとやはりここにあるようなイプシロンデルタとか線形 代数そういったと
ころからですね入っていったんですね ところがですねやはりこれは 私の考えではいきなりですねあのこういう ところから入るというのはちょっとですね難しいんですねとりわけつの日本の標準的な あのすぐ高校の数学のカリキュラム そういったものを終えたばかりで突然ですね大学に入ってイプシロン デルタ法や線形 代数というのは多少ですねちょっと多少どころじゃないかもしれない ちょっと急激に難しくなりすぎてるんですねつまりこれゲームバランスが崩壊している というやつなんです いわゆる数学的成熟度 mathematical maturity と書きますけれど
4:02 日本のですね大学受験を 突破したその時点での標準的ないわゆる 数学的成熟 mathematical maturity ではですねこういったところはなかなか太刀打ちできないんですね 単純にレベルが足りないんですドラクエで言えばですねまぁ突然ゲームが難しくなると 7:17 私のこの数学の学び方というシリーズで 今のところですねいろいろお話してますのでまだ見てない方はですね 動画説明欄にリンクが貼ってありますので見ていただきたいんですけれど 10:11 あの今回はこれで終わります http://rio2016.5ch.net/test/read.cgi/math/1738367013/33
34: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/02(日) 12:50:50.69 ID:5scbwZz/ >>33補足 >>28 (引用開始) >Xの元を すきな順番に整列できる 大間違い。 順番は選択関数で一意に定まる。 (引用終り) 赤 摂也 貼っておきます 『整列可能定理 とは, 次の命題のことに他ならない. (W) いかなる集合も、その上に適当に関係≦を定義して,整列集合にすることが出来る』 これで すきな順番に → 適当に関係≦を定義して と書き換えれば、赤 摂也の 整列可能定理になる ”すきな順番に”が、不適当でない限り 整列可能定理の射程内
ですよ ;p) (参考) www.jstage.jst.go.jp/article/kisoron1954/5/3/5_3_103/_article/-char/ja/ 科学基礎論研究/5 巻 (1960-1962) 3 号/書誌 選択公理をめぐって 赤 摂也 1961 年 5 巻 3 号 p. 103-108 www.jstage.jst.go.jp/article/kisoron1954/5/3/5_3_103/_pdf/-char/en 選択公理をめぐって 赤 摂也 科学基礎論研究/5 巻 (1960-1962) 3 号 順序集合は (6) 空でないいかなる部分順序集合.最小元を持つという条件 をみたすとき,整列集合といわれる. 整列可能定理 とは, 次の命題のことに他ならない. (W) いかなる集合も、その上に適当に関係≦
を定義して,整列集合にすることが出来る. (A),(Z),(W)の同等性の証明については, たとえば拙文 〔1〕を見ていただきたい. (余談ですが 貼ります) 定理4(Sierpinski)一般連続体仮設は選択公理を含意する. [1] 文 献 S. Seki ; On transfinite inferences, Comm. Math. Univ. Sancti Pauli, IV, 1955 http://rio2016.5ch.net/test/read.cgi/math/1738367013/34
35: 132人目の素数さん [] 2025/02/02(日) 13:04:12.63 ID:7z4Dw9JT >>33 >彼のいう MM mathematical maturity 数学的成熟度 が、低いね 君の独善持論「好きな順序で整列できる」は間違いだから成熟度以前。 >”選択関数”の 理解が 上滑りだよ 君は上滑り以前に理解できていない。 >だから、箱入り無数目で 御大が 指摘する 数学の事項が >全く理解できないんだよね、あなたは!www たった2ページの記事も読めない耄碌爺が何を指摘したと? >誤解・無理解の選択公理(選択関数)で、ワーワー主張するけど、 >そ
の殆どが、大外しだよww ;p) 「"as desired"って書かれてるから好きなように整列できる」とか言ってる君がね。 それ、誤解・無理解にもとづく誤読ね。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/35
36: 132人目の素数さん [] 2025/02/02(日) 13:24:16.38 ID:7z4Dw9JT >>34 >『整列可能定理 とは, 次の命題のことに他ならない. >(W) いかなる集合も、その上に適当に関係≦を定義して,整列集合にすることが出来る』 >これで すきな順番に → 適当に関係≦を定義して >と書き換えれば、赤 摂也の 整列可能定理になる 論理記号で書けば∀≦ではなく∃≦だから、その書き換えは大間違い。 ∀と∃を取り違えるようでは大学一年の4月に落ちこぼれたのも当然の結果。 >”すきな順番に”が、不適当でない限り >整列可能定理の射
程内ですよ ;p) どんな順番が不適当なの? http://rio2016.5ch.net/test/read.cgi/math/1738367013/36
37: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/02(日) 18:25:21.05 ID:5scbwZz/ >>34 補足 下記の ツォルン(Zorn)の補題 → ツェルメロ(Zermelo)の整列定理の証明 ここでも、空集合以外の部分集合の順序構造を使う(詳しくは下記ご参照) 直感的には、>>15で示した 例示 ミニモデルで 集合X={a,b,c,d} で 冪集合 P(X)={ {a,b,c,d}, {a,b,c},{a,b,d},{a,c,d},{b,c,d} {a,b},{a,c},{b,c}, {a,b},{a,d},{b,d}, {a,c},{a,d},{c,d}, {b,c},{b,d},{c,d}, {a},{b},{c,},{d}, ∅ } これで 包含関係 で 順序が入る {a,b,c,d}
⊃{a,b,d}⊃{a,b}⊃{a}⊃∅ で、整列順序の極大元になる この前後の差分 c>d>b>a Xので整列になる この極大は、幾通りもある(どれを選ぶも任意!!です) それを、ZFCの証明として書くと 下記です 繰り返すが、上記の例示を 任意無限集合で ZFCの証明として書くと 下記 (参考) ieyasu03.web.エフシーツー.com/contents/09_Mathematics.html(URLが通らないので検索たのむ) 基礎物理から半導体デバイスまで 集合・位相 ieyasu03.web.エフシーツー.com/Mathmatics/36_Well-ordering_theorem.html(URLが通らないので検索たのむ) §36
整列定理 2023/04/07 1. 整列定理 ツォルン(Zorn)の補題 [1] を用いて、次のツェルメロ(Zermelo)の整列定理が証明される。以下ではその証明について述べる [2]。 【定理1】(整列定理) A を任意の集合とするとき、A に適当な順序関係 ≦ を定義して、(A,≦) を整列集合とすることができる。 【証明】A の部分集合上には、一般に、幾通りもの順序関係が定義される。 いま、A の部分集合 W とそこで定義された順序関係 O との組である W を台とする順序集合 (W,O) を考え、 このような組のうち、整列集合となっているものの全体を m とする
(図1)。すなわち 略す 【ツォルンの補題】 [1] によって (m,ρ) には極大元 (W0,O0) が存在する。 このとき、実は W0=A でなければならないことが次のように示される。 もし、略 参考文献 1) 「ツォルンの補題」 2) 松坂和夫 数学入門シリーズ1『集合・位相入門』 p.113 岩波書店(2018/11/06) 3) 「整列集合における補題」 4) 「順序集合」 5) 「選択公理」 6) 「整列集合の比較定理」 7) 「集合の濃度」 (上記とほぼ同じ証明の動画) ヨーツベ/EXPGtoOzpb8?t=1 数学】Zornの補題から整列可能定理を導く!!!【VOICEROI
D解説】 現役数学科院生・うどん 2022/01/17 (コメント) @イデアル-d6p 9 か月前 分かりやすいです @財津匠 2 年前 とても理解の助けになりました! http://rio2016.5ch.net/test/read.cgi/math/1738367013/37
38: 132人目の素数さん [] 2025/02/02(日) 18:42:11.22 ID:7z4Dw9JT コピペが趣味なんですか? 楽しいですか? http://rio2016.5ch.net/test/read.cgi/math/1738367013/38
39: 132人目の素数さん [sage] 2025/02/02(日) 19:10:24.71 ID:eC5TmypE https://rio2016.5ch.net/test/read.cgi/math/1735693028/949 >>21 >Xの元を すきな順番に整列できる P(X)-{φ}からその要素を選択する選択関数をどう決めるか次第でね ただ選択関数を決めてしまったら順番は一意だけど >>33 >>順番は選択関数で一意に定まる。 > 典型的な、大学数学 オチコボレさんか? ◆yH25M02vWFhP がな まさか自分が大学数学理解できてるとうぬぼれてる? http://rio2016.5ch.net/test/read.cgi/math/1738367013/39
40: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/02(日) 19:15:00.51 ID:5scbwZz/ >>37 ふっふ、ほっほ コピペ は、シールド 盾 突っかかるやつへの対抗ですよw ;p) 特に、大学のテキストPDFのシールドに たまに突っ込む人ありw 岩に突撃するが如しww たまに 大学教授で、講義で選択公理を教えていたと宣う人に 楯突くとか・・も、完全に倒錯ですねw ;p) https://ja.wikipedia.org/wiki/%E3%82%B7%E3%83%BC%E3%83%AB%E3%83%89 シールド shield 英語で盾の事 http://rio2016.5ch.net/test/read.cgi/math/1738367013/40
41: 132人目の素数さん [] 2025/02/02(日) 19:24:14.73 ID:7z4Dw9JT >>40 >突っかかるやつへの対抗ですよw ;p) 君自身がコピペした内容理解してないから無意味 君、Jechの証明理解してないじゃん http://rio2016.5ch.net/test/read.cgi/math/1738367013/41
42: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/02(日) 19:26:13.17 ID:5scbwZz/ >>39 (引用開始) >Xの元を すきな順番に整列できる P(X)-{φ}からその要素を選択する選択関数をどう決めるか次第でね ただ選択関数を決めてしまったら順番は一意だけど (引用終り) ふっふ、ほっほ 1)選択関数の一意性を主張するような 論文、テキスト(教科書)、解説は皆無 2)自分で、『固定』!とか 宣言しない限り ”一意性”は、実現できない 3)つまり、あなたの選択関数と、私が(思う)選択する選択関数w は、異なって良いのです!!w
w ;p) (参考) https://ja.wikipedia.org/wiki/%E4%B8%80%E6%84%8F%E6%80%A7_(%E6%95%B0%E5%AD%A6) 一意性 (数学) 一意性(いちいせい、英語: uniqueness)とは数学分野において、注目している数学的対象が「存在するならばただ一つだけである」或いは「ただ一つだけ存在している(つまり「存在して、かつ、存在するならばただ一つだけである」の意)」という性質である。 一意性の証明 ある対象が一意性を満たすかどうかを証明する方法は、始めに目的の条件を持つ対象が存在することを証明し、 次にそのような対象がもう一つあり(例: aと b、そ
れらが互いに等しいこと (すなわち a=b ) を示すことで得られる。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/42
43: 132人目の素数さん [] 2025/02/02(日) 19:35:47.75 ID:7z4Dw9JT >>42 一意性の話なんて誰もしてないのに何を勘違いしてんだ?このおサルは http://rio2016.5ch.net/test/read.cgi/math/1738367013/43
44: 132人目の素数さん [] 2025/02/02(日) 19:38:04.80 ID:7z4Dw9JT >>42 >3)つまり、あなたの選択関数と、私が(思う)選択する選択関数w > は、異なって良いのです!!ww ;p) だからと言って勝手な選択関数は作れない。 もし作れるならそもそも選択公理は不要。 だから >すきな順番に整列できる は嘘デタラメ。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/44
45: 132人目の素数さん [] 2025/02/02(日) 19:39:41.42 ID:7z4Dw9JT 無限個のうちの有限個は好きな順番にできるとか屁理屈捏ねるのが猿知恵の限界 http://rio2016.5ch.net/test/read.cgi/math/1738367013/45
46: 132人目の素数さん [] 2025/02/02(日) 19:44:11.39 ID:7z4Dw9JT >>40 >>17にはいつ答えるの? これに正当できなければJechの証明を理解できたことにならないんだけど http://rio2016.5ch.net/test/read.cgi/math/1738367013/46
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 956 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.024s