現代数学の系譜 工学物理雑談 古典ガロア理論も読む77

1 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/09/09(月) 19:52:11.23 ID:w2gV7wtr.net] この伝統あるガロアすれは、皆さまのご尽力で、 過去、数学板での勢いランキングで、常に上位です。 このスレは、現代数学のもとになった物理・工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。 それで宜しければ、どうぞ。 後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな〜（＾＾ 最近、AIと数学の関係が気になって、その関係の記事を集めています〜（＾＾ いま、大学数学科卒でコンピュータサイエンスもできる人が、求められていると思うんですよね。 スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。 話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。 スレ46から始まった、病的関数のリプシッツ連続の話は、なかなか面白かったです。 興味のある方は、過去ログを（＾＾ なお、 小学レベルとバカプロ固定 サイコパスのピエロ（不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets （Yahoo!でのあだ名が、「一石」。知能が低下してサルになっています） （参考）blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日 （なお、サイコの発言集「実際に人を真っ二つに斬れたら 爽快極まりないだろう」、「狂犬」、「イヌコロ」、「君子豹変」については後述（＾＾； ） High level people （知能の低い者が、サルと呼ばれるようになり、残りました。ｗ（＾＾； ） 低脳幼稚園児のAAお絵かき 上記は、お断り！！ 小学生がいますので、18金（禁）よろしくね！（＾＾ （旧スレが1000オーバー（又は間近）で、新スレを立てた） 296 名前：１３２人目の素数さん mailto:sage [2019/09/17(火) 20:14:14.11 ID:mfJeWOr2.net] >>268 >笑える こいつが「笑える」とほざいたら「もう勘弁して」の合図ｗ >自分が言っていることが矛盾していること、分かりますか？ｗ 貴様のいってることのほうが矛盾 {N2,Nodd｝は、{}の中にも2も4も6もないのに {2,4,6}が部分集合だとほざく貴様は真性の☆チガイ 297 名前：１３２人目の素数さん mailto:sage [2019/09/17(火) 20:17:36.46 ID:mfJeWOr2.net] >>267 ＞論争には負けず嫌いで、なので屁理屈をこねくり回す そりゃ、1、貴様だろｗ 公理でもなんでもない∈の推移性とかいう嘘理屈を根拠に x∈y　y∈z　ならば　x∈z　だとほざく貴様は真性のサイコパス これから貴様がスレを立てるたびに 貴様の恥ずかしい嘘理屈を書いて思いっきり嘲り笑ってやる ギャハハハハハハ　ハハハハハハハ！！！！！！！ 298 名前：１３２人目の素数さん mailto:sage [2019/09/17(火) 20:36:12.33 ID:mfJeWOr2.net] 　　　　　　 　 ＿＿＿_　　　 　　　　　　 ／ ＼　　／＼　ｷﾘｯ .　　　　　／　（ー） 　（ー）＼　　　　　　 　　　　／　　 ⌒（__人__）⌒ ＼　　　　＜｛｝∈｛｛｝｝　｛｛｝｝∈｛｛｛｝｝｝ 　　　　|　　 　　　|r┬-|　　　　| 　　　　　よって∈の推移性により 　　　　 ＼　　　　 `ー'´　　 ／ 　　　　　｛｝∈｛｛｛｝｝｝ 　　　　ノ　　　　　　　　　　 　＼ 　 ／´　　　　　　　　　　　　 　　ヽ 　 　 　 　 　 　 　 　|　　　　ｌ　　　　　　　　　　　　　　＼ 　ヽ　　　 -一''''''"〜〜｀`'ー--､　　　-一'''''''ー-､. 　 　 　　ヽ ＿＿＿＿(⌒)(⌒)⌒)　)　　(⌒＿(⌒)⌒)⌒)) 　　 　 　　　　 　　　＿＿＿_ 　　　　　　　 ／_ノ 　ヽ､_＼ 　　　　　　　　　　　　＜.だっておｗｗｗ 　ﾐ　ﾐ　ﾐ　　oﾟ(（●）) (（●）)ﾟo　　　　　　ﾐ　ﾐ　ﾐ　　　∈の推移性なんて公理でも定理でもないだろｗ /⌒)⌒)⌒. ::::::⌒（__人__）⌒:::＼　　　/⌒)⌒)⌒) |　/　/　/　　　　 　|r┬-|　　　　|　(⌒)/　/ / /／　　 |　:::::::::::(⌒)　　　　|　|　 |　　 ／ 　ゝ　　:::::::::::/ |　　　　　ノ　　 　　|　|　 |　 　＼　　/　　）　　/ 　 ヽ　　　　/　　　　　　`ー'´ 　 　 　ヽ /　　　　／　　　　　 　|　　　　|　　 l||l　从人 l||l 　　　　 l||l 从人 l||l　　　バ　　　 　ヽ　　　 -一''''''"〜〜｀`'ー--､　　　-一'''''''ー-､　ン 　　ヽ ＿＿＿＿(⌒)(⌒)⌒)　)　　(⌒＿(⌒)⌒)⌒)) バ 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　ン 299 名前：１３２人目の素数さん mailto:sage [2019/09/17(火) 20:38:43.98 ID:mfJeWOr2.net] 　　　　　　 　 ＿＿＿_　　　 　　　　　　 ／ ＼　　／＼　ｷﾘｯ .　　　　　／　（ー） 　（ー）＼　　　　　　 　　　　／　　 ⌒（__人__）⌒ ＼　　　　＜偶数全体も奇数全体も無限集合　 　　　　|　　 　　　|r┬-|　　　　| 　　　　　よって｛偶数、奇数｝は無限集合 　　　　 ＼　　　　 `ー'´　　 ／ 　　　　　 　　　　ノ　　　　　　　　　　 　＼ 　 ／´　　　　　　　　　　　　 　　ヽ 　 　 　 　 　 　 　 　|　　　　ｌ　　　　　　　　　　　　　　＼ 　ヽ　　　 -一''''''"〜〜｀`'ー--､　　　-一'''''''ー-､. 　 　 　　ヽ ＿＿＿＿(⌒)(⌒)⌒)　)　　(⌒＿(⌒)⌒)⌒)) 　　 　 　　　　 　　　＿＿＿_ 　　　　　　　 ／_ノ 　ヽ､_＼ 　　　　　　　　　　　　＜.だっておｗｗｗ 　ﾐ　ﾐ　ﾐ　　oﾟ(（●）) (（●）)ﾟo　　　　　　ﾐ　ﾐ　ﾐ　　　元が２つしかない有限集合だろがｗ /⌒)⌒)⌒. ::::::⌒（__人__）⌒:::＼　　　/⌒)⌒)⌒)　　　貴様は数も数えられないのか |　/　/　/　　　　 　|r┬-|　　　　|　(⌒)/　/ / /／　　 |　:::::::::::(⌒)　　　　|　|　 |　　 ／ 　ゝ　　:::::::::::/ |　　　　　ノ　　 　　|　|　 |　 　＼　　/　　）　　/ 　 ヽ　　　　/　　　　　　`ー'´ 　 　 　ヽ /　　　　／　　　　　 　|　　　　|　　 l||l　从人 l||l 　　　　 l||l 从人 l||l　　　バ　　　 　ヽ　　　 -一''''''"〜〜｀`'ー--､　　　-一'''''''ー-､　ン 　　ヽ ＿＿＿＿(⌒)(⌒)⌒)　)　　(⌒＿(⌒)⌒)⌒)) バ 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　ン 300 名前：１３２人目の素数さん mailto:sage [2019/09/17(火) 20:39:39.75 ID:cqXT1Im6.net] >>268 > 自分が言っていることが > 矛盾していること、分かりますか？ｗ（＾＾ スレ主の論理を使うと矛盾が生じることを示しているんですよ 全く自覚がないみたいだけど >>264 > > 自然数全体の集合N’ = {偶数全体の集合, 奇数全体の集合} > > 自然数全体の集合N　 = 偶数全体の集合 ∪ 奇数全体の集合 > > N ≠ N’ > > そして、N’のベン図は描けて、 > > 一番外の丸がN’ > > その中に、偶数全体の集合と奇数全体の集合を表わす丸が並列してあって > > その中に、2,4,6,・・・と、1,3,5,・・・と描けば良い > N'においてはこれが間違い 2 := {1}, 4 := {3}, 6 := {5}, ... と定義できるので その場合の偶数の集合を{{1}, {3}, {5}, ... }と書けば > 偶数全体の集合と奇数全体の集合を表わす丸が並列してあって スレ主の論理だとこれが間違いなんでしょ 1∈{1}, 3∈{3}, 5∈{5}, ... だから 301 名前：１３２人目の素数さん mailto:sage [2019/09/17(火) 20:50:46.48 ID:mfJeWOr2.net] >>274 ０＝{} １＝｛０｝={{}} ２＝｛１｝＝{{{}}} ・・・ ってやり方だと、0∈1∈2だけど、0∈2にならないんだよね ０＝{} １＝｛０｝={{}} ２＝｛０，１｝＝{{},{{}}} ・・・ だと、0∈1∈2で、しかも0∈2にできるんだな 302 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/09/17(火) 21:02:37.79 ID:V89w8T2p.net] >>269-271 こっち（ID:mfJeWOr2）が、ピエロ本体かｗ（＾＾ （>>266より）ID:cqXT1Im6さんの二つの主張アとイと ア：B社＝{第一事業部, 第二事業部, 第三事業部, 第四事業部} 第一事業部第一部第一課の課員に、aさんというヒトがいるとする a∈第一事業部第一部第一課 です！（>>233） で B社だったら、一番外の丸が「B社だったら」という前提では当然「a∈B社」 イ：自然数全体の集合N' = {偶数全体の集合, 奇数全体の集合} だから一番外の丸が「N'だったら」という前提では「偶数全体の集合」が 1つの(部分集合の)単位になるから「2 not∈N'」になるんですよ この二つの主張アとイとは、矛盾しているよね （∵ アでは「a∈B社」、イでは「2 not∈N'」 これ真逆なのだからね（＾＾； ） 二つが、矛盾しているってことが、分からないのか？ おいおいだな（＾＾ ＜アトム＝原子のアナロジーで追加例＞ １）ヒトの身体は、原子（アトム）で構成されている！ ２）いま、簡単に{ヒトの身体}が、｛頭｝、{ボディー}、{右腕}、{左腕}、{右足}、{左足}の6つの要素から成るとする 　だから 　{ヒトの身体}＝{｛頭｝、{ボディー}、{右腕}、{左腕}、{右足}、{左足} } 　ですよね ３）まさか、{ヒトの身体}＝｛水素原子、酸素原子、炭素原子、鉄元素、・・・｝ではないよね 　おサルは、（>>236より） 「会社は部の集合ではありませんｗ （ついでにいうと部は課の集合ではないｗ） 　会社は社員の集合ですからｗ」 　だったけどね〜（＾＾ ４）でもね、私も”ヒトの身体は、原子（アトム）で構成されている”という主張も、正しいと思うよ でな、>>269-271で 一体全体、おサルの主張は、何なのだ？ｗ 何が言いたいのかな？ 単に議論に勝ちたいだけなのか？ 愚にも付かない屁理屈こねくり回して それって、数学とは一番遠い態度ですよ？ｗ（＾＾； 303 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/09/17(火) 21:10:33.15 ID:V89w8T2p.net] >>276 訂正追加 ３）まさか、{ヒトの身体}＝｛水素原子、酸素原子、炭素原子、鉄元素、・・・｝ではないよね 　↓ ３）{ヒトの身体}＝｛水素原子、酸素原子、炭素原子、鉄元素、・・・｝という見方も無くはないが、これだと魚類とかの差がなくなる かな？ いろんな見方があっても良いと思うけどねー（＾＾； 304 名前：１３２人目の素数さん mailto:sage [2019/09/17(火) 21:18:46.53 ID:mfJeWOr2.net] >>276 ＞B社だったら、一番外の丸が「B社だったら」という前提では当然「a∈B社」 それ、ID:cqXT1Im6の主張じゃなくて、貴様の>>264の主張の引用 ＞B社だったら、”「a∈第一事業部第一部第一課」ならば「a∈B社」”ですよ 貴様、日本語も正しく読めない馬鹿か？ｗ 305 名前：１３２人目の素数さん mailto:sage [2019/09/17(火) 21:21:16.78 ID:mfJeWOr2.net] >>276 ＞　>>269-271で一体全体、主張は、何なのだ？ｗ 分からないなら貴様に数学は無理だからもうこの板に書くな　アホウ 306 名前：１３２人目の素数さん mailto:sage [2019/09/17(火) 22:11:32.16 ID:mfJeWOr2.net] >>276 ＞{ヒトの身体}＝{｛頭｝、{ボディー}、{右腕}、{左腕}、{右足}、{左足} } 左辺は１つの要素しかない 右辺は６つの要素がある この時点で間違ってるｗ 307 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/09/17(火) 23:32:29.38 ID:V89w8T2p.net] >>278-280 コケコッコー（おれ）もレベル低いけど、おサルもほんと低レベルだな〜ｗ 論破しますｗ （>>278より） ＞B社だったら、一番外の丸が「B社だったら」という前提では当然「a∈B社」 それ、ID:cqXT1Im6の主張じゃなくて、貴様の>>264の主張の引用 １）おれの主張は、（>>233） 「A社＝{第一事業部、第二事業部、第三事業部}　 　a∈第一事業部第一部第一課 です！ 　一方、普通は、aさんは、A社の社員でもありますから 　a∈A社 なんですよね、素朴集合論では」だと ２）おサルの主張は、（>>236） 「会社は部の集合ではありませんｗ （ついでにいうと部は課の集合ではないｗ） 　会社は社員の集合ですからｗ」 だよね。おれは定義 A社＝{第一事業部、第二事業部、第三事業部} としているのに、 ”会社は部の集合ではありませんｗ”とか、それ、おサル（三歳児）の主張でしかないよねｗ（＾＾ （>>280） じゃ ヒトの身体＝{｛頭｝、{ボディー}、{右腕}、{左腕}、{右足}、{左足} } に訂正します。これだったら、どうだ？ｗ（＾＾； (>>264より) ほんと、コケコッコー（おれ）もレベル低いけど、おサルも低レベルだな〜ｗ（＾＾ （つーか、いまふと思ったが、彼のサイコパス性格（屁理屈を使ってでも相手に反論しないと気が済まない）が出ているなー(>>2ご参照）。すげー、低レベルの屁理屈反論ｗ（＾＾； ） 308 名前：１３２人目の素数さん [2019/09/17(火) 23:43:09.81 ID:potPwQHR.net] >>264 >例えば、ｓ＝{2,4,6}という集合は、NとN’両方に含まれます（部分集合） ↑が大間違いであることは既に示している。なにが論破しますだバカ。 アホのくせに間違いの指摘を読むことすらしない大柄さに只々呆れるばかり。 もうおまえいいから死ねよ 309 名前：１３２人目の素数さん [2019/09/17(火) 23:58:19.24 ID:potPwQHR.net] 指摘されて気付く普通のバカは救い様が有る サル畜生は救い様が無い 310 名前：１３２人目の素数さん [2019/09/17(火) 23:58:54.00 ID:potPwQHR.net] 救い様の無いバカは死ぬしかない さっさと死ね 311 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/09/18(水) 06:47:12.95 ID:3KrCaRK2.net] >>281 追加 コケコッコー（おれ）もレベル低いけど、おサルもほんと低レベルだな〜ｗ 論破しますｗ (引用開始) おサルの主張は、（>>236） 「会社は部の集合ではありませんｗ （ついでにいうと部は課の集合ではないｗ） 　会社は社員の集合ですからｗ」 (引用終り) 「A社＝{第一事業部、第二事業部、第三事業部}　 　a∈第一事業部第一部第一課 です！ 　一方、普通は、aさんは、A社の社員でもありますから 　a∈A社 なんですよね、素朴集合論では」 さて、A社は、組織改革で、AI研究所を作りました A社＝{第一事業部、第二事業部、第三事業部、AI研究所} メンバーは同じです（aさんは、人事異動でAI研究所所属になりました） おサルの主張だと A社の組織改革前と後とを、集合として明確に表現できない あと（>>276より） ＜アトム＝原子のアナロジーで追加例＞で ヒトの身体が、兆の上の京で、1000京の原子から出来ているとします 可付番ですから、 水素原子1,2,3・・、酸素原子1,2,3・・、炭素原子1,2,3・・、鉄元素1,2,3・・、・・・とできます ヒトの身体＝{水素原子1,2,3・・、酸素原子1,2,3・・、炭素原子1,2,3・・、鉄元素1,2,3・・、・・・} と、原子からできているという見方ができます しかし、そんな見方をしても仕方ない ヒトの身体＝{｛頭｝、{ボディー}、{右腕}、{左腕}、{右足}、{左足} }とかね ボディーも、{心臓}とか{肺}とか、適切なレベルで切らないと 医学のレベルでは、”ヒトの身体は原子からできている”という見方は、普通の医学の議論には邪魔なだけ (>>264より) ほんと、コケコッコー（おれ）もレベル低いけど、おサルも低レベルだな〜ｗ（＾＾ （つーか、いまふと思ったが、彼のサイコパス性格（屁理屈を使ってでも相手に反論しないと気が済まない）が出ているなー(>>2ご参照）。すげー、低レベルの屁理屈反論ｗ（＾＾； ） 低レベルの屁理屈反論合戦かｗ（＾＾ 312 名前：１３２人目の素数さん mailto:sage [2019/09/18(水) 06:54:11.73 ID:wvXbGob9.net] >>281 誤　論破します 正　論破されました P.S. >じゃ >ヒトの身体＝{｛頭｝、{ボディー}、{右腕}、{左腕}、{右足}、{左足} } >に訂正します。これだったら、どうだ？ｗ なんで頭、ボディー、右腕、左腕、右足、左足に いちいち｛｝ 313 名前：がついてんの？　アタマおかしい？ｗ [] [ここ壊れてます] 314 名前：１３２人目の素数さん mailto:sage [2019/09/18(水) 07:00:52.55 ID:wvXbGob9.net] >>285 ＞ボディーも、{心臓}とか{肺}とか、適切なレベルで切らないと なんで心臓や肺に｛｝ついてんの？アタマおかしい？ｗ 別にボディーはヒトの身体の要素でなく部分集合でいいし 心臓や肺もさらにボディーの要素でなく部分集合でいい ついでにいえば、原子いや素粒子（陽子とか中性子とか もっといえばクォークとかｗ）も要素でなく部分集合でいい その場合アトムはなんなのかということになるが、 数学的には空間R^3の部分集合だから、 アトムはR^3上の点だな （公理的集合論ではRも集合だから、正直言うと 　集合でないという意味のアトムはない） 315 名前：１３２人目の素数さん mailto:sage [2019/09/18(水) 07:27:41.56 ID:wvXbGob9.net] 　　　　　　 　 ＿＿＿_　　　 　　　　　　 ／ ＼　　／＼　ｷﾘｯ .　　　　　／　（ー） 　（ー）＼　　　　　　 　　　　／　　 ⌒（__人__）⌒ ＼　　　　＜｛｝∈｛｛｝｝　｛｛｝｝∈｛｛｛｝｝｝ 　　　　|　　 　　　|r┬-|　　　　| 　　　　　よって∈の推移性により 　　　　 ＼　　　　 `ー'´　　 ／ 　　　　　｛｝∈｛｛｛｝｝｝ 　　　　ノ　　　　　　　　　　 　＼ 　 ／´　　　　　　　　　　　　 　　ヽ 　 　 　 　 　 　 　 　|　　　　ｌ　　　　　　　　　　　　　　＼ 　ヽ　　　 -一''''''"〜〜｀`'ー--､　　　-一'''''''ー-､. 　 　 　　ヽ ＿＿＿＿(⌒)(⌒)⌒)　)　　(⌒＿(⌒)⌒)⌒)) 　　 　 　　　　 　　　＿＿＿_ 　　　　　　　 ／_ノ 　ヽ､_＼ 　　　　　　　　　　　　＜.だっておｗｗｗ 　ﾐ　ﾐ　ﾐ　　oﾟ(（●）) (（●）)ﾟo　　　　　　ﾐ　ﾐ　ﾐ　　　∈の推移性なんて公理でも定理でもないだろｗ /⌒)⌒)⌒. ::::::⌒（__人__）⌒:::＼　　　/⌒)⌒)⌒) |　/　/　/　　　　 　|r┬-|　　　　|　(⌒)/　/ / /／　　 |　:::::::::::(⌒)　　　　|　|　 |　　 ／ 　ゝ　　:::::::::::/ |　　　　　ノ　　 　　|　|　 |　 　＼　　/　　）　　/ 　 ヽ　　　　/　　　　　　`ー'´ 　 　 　ヽ /　　　　／　　　　　 　|　　　　|　　 l||l　从人 l||l 　　　　 l||l 从人 l||l　　　バ　　　 　ヽ　　　 -一''''''"〜〜｀`'ー--､　　　-一'''''''ー-､　ン 　　ヽ ＿＿＿＿(⌒)(⌒)⌒)　)　　(⌒＿(⌒)⌒)⌒)) バ 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　ン 316 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/09/18(水) 07:38:35.48 ID:3KrCaRK2.net] >>261 補足説明 (引用開始) https://elecello.com/doc/set/set0005.pdf 集合論ノート 0005 モストフスキ崩壊補題 (Mostowski Collapse Lemma) 近藤友祐 初稿: 2018/02/22 更新: 2019/09/16 (引用終り) ここに出てくる”推移的”、”set-like”、”整礎的”、”外延的”、”クラス”の補足、下記ご参照 （参考） https://ja.wikipedia.org/wiki/%E4%BA%8C%E9%A0%85%E9%96%A2%E4%BF%82 二項関係 (抜粋) 集合上の関係 集合 X 上の二項関係のいくつか重要なクラスとして、以下のようなものを挙げることができる： ・推移的 (transitive) X の各元 x, y, z について、x?R?y かつ y?R?z ならば x?R?z となるとき、関係 R は推移的であるという。 「先祖である」という関係は推移的である。実際、x が y の先祖で、y が z の先祖ならば、x は z の先祖である。 ・集合的 (set-like) 集合 X の任意の元 x に対して、y?R?x となるような y 全体の成すクラスが集合であるような関係は、集合的（あるいは集合状、集合様）であるという。 （これは真のクラス上の関係を認める場合でないと意味を持たない） 順序数全体の成すクラス上の通常の順序関係 "<" は集合的関係だが、その逆順序 ">" は集合的ではない。 ・整礎的 (well-founded) X の任意の空でない部分集合Aが極小元a(Aのどの元xもxRaとならない)を持つときR は整礎的であるという。 自然数上の大小関係"?"は整礎的である。正則性公理を仮定すると∈は任意の集合上で整礎的である。 ・外延的 (extensive) X の任意の元 x, y について、X の任意の元 z について zRx ⇔ zRy　が成り立てば必ず x = y となるとき R は外延的であるという。 全順序は外延的である。∈は任意の集合上で外延的である。 反射的、対称的かつ推移的な関係は同値関係（あるいは等値関係）と呼ばれる。 反射的、反対称的かつ推移的な関係は半順序である。半順序が完全ならば全順序、単純順序、線型順序あるいは鎖などと呼ばれる[3]。 整礎的な線型順序は整列順序と呼ばれる。 ある関係が対称、推移的かつ連続的ならば必ず反射的である。 (引用終り) つづく 317 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/09/18(水) 07:38:58.55 ID:3KrCaRK2.net] >>289 つづき https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%A9%E3%82%B9_(%E9%9B%86%E5%90%88%E8%AB%96) クラス (集合論) (抜粋) 公理的集合論におけるクラス ZFではクラスの概念を定式化することはできないので、クラスはメタ言語による同値な言明で置き換えることで扱うことになる。 例えば、AをZFを解釈する構造として、メタ言語での表現 {x｜ x=x} のAにおける解釈は、Aの議論領域に属する要素全ての集まり（つまり、Aにおける集合すべての集まり）である。 ゆえに、「全ての集合の成すクラス」を述語 x = xと（あるいはそれに同値な述語と）同一視することができる。 ZF集合論ではクラスを厳密に扱うことができないので、ZF の公理系をそのままクラスに関する言明に適用することはできない。 しかし、到達不能基数 K の存在を仮定すれば「それよりラン 318 名前：クの小さな集合全体」は ZF のモデル（グロタンディーク宇宙）になり、その部分集合を「クラス」として考えることができる。 別な方法として、ノイマン-ベルナイス-ゲーデルの公理系 (NBG) を例に挙げよう。 この理論ではクラスは基本的な対象であり、集合は別のクラスの要素であるクラスとして定義される。 しかしながら、NBGにおける集合の存在公理は、クラスの上を亘るのではなく、集合の上を亘る量化のみに制限されている。これにより、NBG は ZF の保存拡大となる。 モース-ケリー集合論 (MK) は（NBG のように）真クラスを基礎的な対象として認めるものだが、集合の存在公理の中で全ての真クラスを走る量化をも許す。これにより、MKはZFやNBGより真に強い。 新基礎集合論 (NF) や半集合の理論のようなほかの集合論でも、「真の類」の概念は意味を成す（必ずしも全ての類は集合でない）が、集合性 (sethood) の判定規準が部分集合を作る操作の下で閉じていない。 例えば、普遍集合を備える任意の集合論は集合の部分類となるような真の類を持つ。 (引用終り) 以上 [] [ここ壊れてます] 319 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/09/18(水) 07:40:17.31 ID:3KrCaRK2.net] >>288 あほサルのお得意AAね おっさん、アホか（＾＾； 320 名前：１３２人目の素数さん mailto:sage [2019/09/18(水) 07:41:13.99 ID:wvXbGob9.net] >>289 〇〇の一つのモストフスキｗｗｗ でも、根本的にわかってないからダメダメだね 321 名前：１３２人目の素数さん mailto:sage [2019/09/18(水) 07:42:33.01 ID:wvXbGob9.net] 　　　　　　 　 ＿＿＿_　　　 　　　　　　 ／ ＼　　／＼　ｷﾘｯ .　　　　　／　（ー） 　（ー）＼　　　　　　 　　　　／　　 ⌒（__人__）⌒ ＼　　　　＜｛｝∈｛｛｝｝　｛｛｝｝∈｛｛｛｝｝｝ 　　　　|　　 　　　|r┬-|　　　　| 　　　　　よって∈の推移性により 　　　　 ＼　　　　 `ー'´　　 ／ 　　　　　｛｝∈｛｛｛｝｝｝ 　　　　ノ　　　　　　　　　　 　＼ 　 ／´　　　　　　　　　　　　 　　ヽ 　 　 　 　 　 　 　 　|　　　　ｌ　　　　　　　　　　　　　　＼ 　ヽ　　　 -一''''''"〜〜｀`'ー--､　　　-一'''''''ー-､. 　 　 　　ヽ ＿＿＿＿(⌒)(⌒)⌒)　)　　(⌒＿(⌒)⌒)⌒)) 　　 　 　　　　 　　　＿＿＿_ 　　　　　　　 ／_ノ 　ヽ､_＼ 　　　　　　　　　　　　＜.だっておｗｗｗ 　ﾐ　ﾐ　ﾐ　　oﾟ(（●）) (（●）)ﾟo　　　　　　ﾐ　ﾐ　ﾐ　　　∈の推移性なんて公理でも定理でもないだろｗ /⌒)⌒)⌒. ::::::⌒（__人__）⌒:::＼　　　/⌒)⌒)⌒)　　　　　馬鹿、阿呆、戯けｗｗｗ |　/　/　/　　　　 　|r┬-|　　　　|　(⌒)/　/ / /／　　 |　:::::::::::(⌒)　　　　|　|　 |　　 ／ 　ゝ　　:::::::::::/ |　　　　　ノ　　 　　|　|　 |　 　＼　　/　　）　　/ 　 ヽ　　　　/　　　　　　`ー'´ 　 　 　ヽ /　　　　／　　　　　 　|　　　　|　　 l||l　从人 l||l 　　　　 l||l 从人 l||l　　　バ　　　 　ヽ　　　 -一''''''"〜〜｀`'ー--､　　　-一'''''''ー-､　ン 　　ヽ ＿＿＿＿(⌒)(⌒)⌒)　)　　(⌒＿(⌒)⌒)⌒)) バ 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　ン 322 名前：１３２人目の素数さん mailto:sage [2019/09/18(水) 07:43:24.26 ID:wvXbGob9.net] 　　　　　　 　 ＿＿＿_　　　 　　　　　　 ／ ＼　　／＼　ｷﾘｯ .　　　　　／　（ー） 　（ー）＼　　　　　　 　　　　／　　 ⌒（__人__）⌒ ＼　　　　＜偶数全体も奇数全体も無限集合　 　　　　|　　 　　　|r┬-|　　　　| 　　　　　よって｛偶数、奇数｝は無限集合 　　　　 ＼　　　　 `ー'´　　 ／ 　　　　　 　　　　ノ　　　　　　　　　　 　＼ 　 ／´　　　　　　　　　　　　 　　ヽ 　 　 　 　 　 　 　 　|　　　　ｌ　　　　　　　　　　　　　　＼ 　ヽ　　　 -一''''''"〜〜｀`'ー--､　　　-一'''''''ー-､. 　 　 　　ヽ ＿＿＿＿(⌒)(⌒)⌒)　)　　(⌒＿(⌒)⌒)⌒)) 　　 　 　　　　 　　　＿＿＿_ 　　　　　　　 ／_ノ 　ヽ､_＼ 　　　　　　　　　　　　＜.だっておｗｗｗ 　ﾐ　ﾐ　ﾐ　　oﾟ(（●）) (（●）)ﾟo　　　　　　ﾐ　ﾐ　ﾐ　　　元が２つしかない有限集合だろがｗ /⌒)⌒)⌒. ::::::⌒（__人__）⌒:::＼　　　/⌒)⌒)⌒)　　　貴様は数も数えられないのか |　/　/　/　　　　 　|r┬-|　　　　|　(⌒)/　/ / /／　　 |　:::::::::::(⌒)　　　　|　|　 |　　 ／ 　ゝ　　:::::::::::/ |　　　　　ノ　　 　　|　|　 |　 　＼　　/　　）　　/ 　 ヽ　　　　/　　　　　　`ー'´ 　 　 　ヽ /　　　　／　　　　　 　|　　　　|　　 l||l　从人 l||l 　　　　 l||l 从人 l||l　　　バ　　　 　ヽ　　　 -一''''''"〜〜｀`'ー--､　　　-一'''''''ー-､　ン 　　ヽ ＿＿＿＿(⌒)(⌒)⌒)　)　　(⌒＿(⌒)⌒)⌒)) バ 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　ン 323 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/09/18(水) 07:43:47.21 ID:3KrCaRK2.net] >>286-287 ＞なんで頭、ボディー、右腕、左腕、右足、左足に ＞いちいち｛｝がついてんの？　アタマおかしい？ｗ ＞ボディーも、{心臓}とか{肺}とか、適切なレベルで切らないと 大して意味はないが 例えば、{心臓}が、原子から成る集合だということを強調しているだけ（＾＾； 324 名前：１３２人目の素数さん mailto:sage [2019/09/18(水) 07:46:35.86 ID:wvXbGob9.net] >>295 ＞＞なんで頭、ボディー、右腕、左腕、右足、左足に ＞＞いちいち｛｝がついてんの？　アタマおかしい？ｗ ＞大して意味はないが 意味のないことするのが馬鹿の特徴ｗ ＞例えば、{心臓}が、原子から成る集合だということを強調しているだけ それなら　心臓＝｛原子１、原子２、・・・｝だな ｛｝の中に心臓をいれたら、心臓が要素という意味 お前、集合論の初歩から全然わかってないなｗｗｗｗｗｗｗ 325 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/09/18(水) 07:46:50.19 ID:3KrCaRK2.net] >>292 モストフスキが分かっていないのは、おまえの>>275 あとで、教えてやるよ（＾＾； 326 名前：１３２人目の素数さん mailto:sage [2019/09/18(水) 07:48:27.98 ID:wvXbGob9.net] >>297 無理無理、お前、全然分かってないもん もう、モストフスキは忘れろ お前、初歩から間違ってる白痴だからｗｗｗｗｗｗｗ 327 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/09/18(水) 07:58:10.23 ID:3KrCaRK2.net] >>296 >それなら　心臓＝｛原子１、原子２、・・・｝だな >｛｝の中に心臓をいれたら、心臓が要素という意味 コケコッコー（おれ）もレベル低いけど、おサルもほんと低レベルだな〜ｗ 論破しますｗ (引用開始) おサルの主張は、（>>236） 「会社は部の集合ではありませんｗ （ついでにいうと部は課の集合ではないｗ） 　会社は社員の集合ですからｗ」 (引用終り) ええ、おサルの集合論は上記でしたね で、ヒトの集合論は、A社＝{第一事業部、第二事業部、第三事業部、AI研究所}という集合を考えることができる また、（>>193より） ”集合N’＝{N2,Nodd} (偶数の集合と奇数の集合とを入れた集合) 　明らかに 　N ＝ N2∪Nodd ≠ N’” のように、集合N’＝{N2,Nodd} (偶数の集合と奇数の集合とを入れた集合)を考えることができるのです 集合A社＝{第一事業部、第二事業部、第三事業部、AI研究所}も、集合N’＝{N2,Nodd}も禁止されているわけではない つまりは、ヒトの素朴集合論では、集合の要素としては、それがアトム（Urelement）の場合と、集合が要素になる場合と、二通りあるのよ 残念でしたｗ（＾＾ https://en.wikipedia.org/wiki/Urelement Urelement (>>264より) ほんと、コケコッコー（おれ）もレベル低いけど、おサルも低レベルだな〜ｗ（＾＾ （つーか、いまふと思ったが、彼のサイコパス性格（屁理屈を使ってでも相手に反論しないと気が済まない）が出ているなー(>>2ご参照）。すげー、低レベルの屁理屈反論ｗ（＾＾； ） 低レベルの屁理屈反論合戦かｗ（＾＾ 328 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/09/18(水) 07:58:51.84 ID:3KrCaRK2.net] >>298 モストフスキにおびえるサルｗ（＾＾； 329 名前：１３２人目の素数さん mailto:sage [2019/09/18(水) 09:57:21.88 ID:zy3SeO75.net] おっちゃんです。 自然数の定義やベン図の話しているのか。 0＝Φ、 1＝{0}＝{Φ}、 2＝{0、1}＝{Φ、{Φ}}、 3＝{0、1、2}＝{Φ、{Φ}、{Φ、{Φ}}}、 …… というように、各正整数 i＝1,2,3,… に対して、集合iをすべてのiより小さい自然数からなる集合族で定義する。 以降、同様に正整数iの集合iをすべてのiより小さい自然数からなる集合族として、 iの正整数の大小が小さい方から帰納的に定義して行く。 i、j を i＜(＞)j なる任意の自然数とする。i、j は両方集合である。 このとき、通常の自然数の大小の不等号「＜(＞)」は「∈(∋)」か或いは集合の濃度の不等号「＜(＞)」を用いて 通常の自然数の大小　i＜(＞)j　が　i∈(∋)j 或いは card(i)＜(＞)card(j)　で表される。 同じく、i、j を i≦(≧)j なる任意の自然数とする。i、j は両方集合である。 このとき、通常の自然数の大小の不等号「≦(≧)」は「⊂(⊃)」か或いは集合の濃度の不等号「≦(≧)」を用いて 通常の実数での自然数の大小　i≦(≧)j　が　i⊂(⊃)j 或いは card(i)≦(≧)card(j)　で表される。 ここに、括弧「()」の中の不等号や包含関係などの記号については、複合同順。 330 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/09/18(水) 10:06:53.29 ID:fhLrN2ai.net] メモ https://www.nikkei.com/article/DGXMZO49721020S9A910C1SHA000/ IT企業の売上高、5社で7割稼ぐ　勝者総取りの力学 Neo economy(2)姿なき富を探る 2019/9/17 23:00日本経済新聞　電子版 (抜粋) 自らの知識やアイデアを極め、ヒトのように動くロボットをつくりたい――。 そんな夢を追う元東大助教の中西雄飛氏が当時の米グーグルの上級副社長、アンディ・ルービン氏から「20年かけてでも大きな夢を実現しよう」と誘われたのは2013年。 仲間と立ち上げた二足歩行ロボットの開発ベンチャー「シャフト」を売却するきっかけだった。ところがルービン氏が退社すると、グーグルは短期の収益が期待できないとして18年にシャフトを解散。5年で見切りを付けた。 まだ形になっていない技術革新の芽を次々と買うグーグルなど「GAFA」。 21世紀のデジタル企業は20世紀型のものづくり企業と異なり、巨額の設備投資や増産コストが不要な身軽な巨人だ。生み出す価値は検索サービスのように利用者が多いほど情報がたまり、精度や利便性が高まる特性がある。 データなど無形資産を富の源泉とする経済ではシェアを押さえた勝者が果実を総取りする力学が働き、寡占が進む。 331 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/09/18(水) 10:07:37.71 ID:fhLrN2ai.net] >>301 おっちゃん、どうも、スレ主です。 お元気そうでなによりです。（＾＾ 332 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/09/18(水) 10:09:51.43 ID:fhLrN2ai.net] >>302 関連追加 https://www.nikkei.com/article/DGXMZO49720930S9A910C1SHA000/ 企業価値の源は8割無形　重み増す知識、割食う賃金 Neo economy（1）姿なき富を探る 2019/9/16 23:30日本経済新聞　電子版 知識やデータなど姿なき資産が富の源泉となり、経済はモノや距離、時間といった物理的な制約から解き放たれ始めた。どんな豊かさやリスクが広がるのか。 【関連記事】 ・識者に聞く（1）　無形資産の果実、消費者に ・無形資産投資、米欧はGDP比10%超も　日本出遅れ 2018年12月、ダイキン工業は東京大学に10年間で100億円の研究開発費を投じると表明した。エアコン工場1棟分に当たる投資の狙いについて、責任者… 333 名前：１３２人目の素数さん mailto:sage [2019/09/18(水) 16:52:41.55 ID:zy3SeO75.net] それじゃ、おっちゃんもう寝る。 334 名前：１３２人目の素数さん mailto:sage [2019/09/18(水) 19:12:26.15 ID:wvXbGob9.net] >>299 誤　論破します 正　論破されました >集合A社＝{第一事業部、第二事業部、第三事業部、AI研究所}も、 >集合N’＝{N2,Nodd}も禁止されているわけではない 「社員が要素だ」といいたいのなら、上記のA社は× 「個々の自然数が要素だ」といいたいのなら、上記のN'は× 部分集合だと考えればいいものをわざわざ要素にするのが馬鹿 mod2の算術を考えるのに、 余りによる同値類の集合ということで {偶数、奇数}とするのはありますがね その場合、個々の自然数を要素とすることはしませんよ 同値類から代表元をとって {0,1}という別集合を考える というのはありますがね >ヒトの素朴集合論では、集合の要素としては、 >それがアトム（Urelement）の場合と、 >集合が要素になる場合と、 >二通りあるのよ それ、∈の推移性と全然無関係だけどね 「集合Sの要素S'が 　アトム（Urelement）でなく集合なら 　S'の要素S''も、Sの要素として扱う」 なんていうルールはないｗ (勝手にオレ様ルールをデッチ上げるなよ） ザ・ン・ネ・ン・デ・シ・タｗ >>300 正直言って、なんでモストフスキにこだわってるのか全然わからんｗ 335 名前：１３２人目の素数さん mailto:sage [2019/09/18(水) 19:19:13.26 ID:wvXbGob9.net] 午後、書店に立ち寄ったら キューネン著　藤田博司訳「集合論」（日本評論社） があったので、ちょっと中身を見てみたら 「第１章　公理的集合論の基礎」の「7　順序数」（ｐ２１） のところで、推移的集合でない集合の例として{{{}}}（文中では{{0}}） 順序数でない集合の例として{{{{}}},{{}}.{}}（文中では{{{0}},{0},0}） がしっかりでてたぞ これで1が間違ってることは確定したなｗ どうした？モストフスキｗ （キューネンにもモストフスキ云々は出てくるがもっと後ｗ） 336 名前：１３２人目の素数さん mailto:sage [2019/09/18(水) 19:23:57.89 ID:wvXbGob9.net] >>307 誤　順序数でない集合 正　順序数でない推移的集合 337 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/09/18(水) 20:48:32.06 ID:3KrCaRK2.net] >>307 >キューネン著　藤田博司訳「集合論」（日本評論社） 下記だね。英文版あるよ（＾＾ （いまやってみたら、リンクは有効だね） モストフスキまで、読んだ方が良いと思うよｗ（＾＾； スレ75 https://rio2016.5ch.net/test/read.cgi/math/1565872684/313 より スレ61 https://rio2016.5ch.net/test/read.cgi/math/1551963737/55- Kunen, Kenneth (1980), Set TheoryのPDFなど見つけたんだよね これは、藤田 博司先生の日本語版を持っている人には役に立つだろう（＾＾ スレ61 https://rio2016.5ch.net/test/read.cgi/math/1551963737/58- (抜粋) Kunen, Kenneth (1980), Set Theory: An Introduction to Independence Proofs, Elsevier, ISBN 978-0-444-86839-8 検索すると、海賊版かもしらんが、下記PDFヒット これ、しばしばお世話になっている藤田 博司先生の和訳があるかな？ blacaman.tripod.com/cursos/pdf/2012-2_0941.pdf An Introduction to Independence Proofs K KUNEN 著 First edition: 1980 Seventh impression: 1999 https://www.amazoｎ.co.jp/dp/4535783829/ref=pd_lpo_sbs_14_t_1?_encoding=UTF8&psc=1&refRID=8NKTZE2Q63MR3BRQEWQX 集合論―独立性証明への案内 単行本 ? 2008/1/1 (抜粋) ケネス キューネン (著), Kenneth Kunen (原著), 藤田 博司 (翻訳) ナラバ博士 5つ星のうち5.0 第２章の章末問題はとくに面白い 2009年4月5日 形式: 単行本 集合論 338 名前：のうち，とくに２０世紀第３四半期における強制法（フォーシング）の研究に焦点をあてた入門書である。 数学科（数理科学コース）の１・２年向けの集合論の授業では，数学全分野のための予備知識として１９世紀後半の集合論を扱うのがふつうであろう。 本書が扱うのはより高度な話題である。原書は研究分野としての集合論への入門書として評価が高い。 評者は大学院修士課程１年生のときに原書を通読した。 強制法への伏線として第２章でマーティンの公理を扱っており，この章の章末問題には面白いものが多いと感じた。 時間をかけて翻訳した本書の訳は大変読みやすく，ところどころに親切な訳注が添えられている。 [] [ここ壊れてます] 339 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/09/18(水) 20:53:20.55 ID:3KrCaRK2.net] >>307 ＞キューネン著　藤田博司訳「集合論」（日本評論社） ＞があったので、ちょっと中身を見てみたら 下記の方の理解は進んだかい？ｗ（＾＾ （>>299より） (引用開始) おサルの主張は、（>>236） 「会社は部の集合ではありませんｗ （ついでにいうと部は課の集合ではないｗ） 　会社は社員の集合ですからｗ」 (引用終り) ええ、おサルの集合論は上記でしたね で、ヒトの集合論は、A社＝{第一事業部、第二事業部、第三事業部、AI研究所}という集合を考えることができる また、（>>193より） ”集合N’＝{N2,Nodd} (偶数の集合と奇数の集合とを入れた集合) 　明らかに 　N ＝ N2∪Nodd ≠ N’” のように、集合N’＝{N2,Nodd} (偶数の集合と奇数の集合とを入れた集合)を考えることができるのです 集合A社＝{第一事業部、第二事業部、第三事業部、AI研究所}も、集合N’＝{N2,Nodd}も禁止されているわけではない つまりは、ヒトの素朴集合論では、集合の要素としては、それがアトム（Urelement）の場合と、集合が要素になる場合と、二通りあるのよ 残念でしたｗ（＾＾ (引用終り) 340 名前：１３２人目の素数さん mailto:sage [2019/09/18(水) 20:56:25.06 ID:wvXbGob9.net] >>309 まず誤りを認めて死にましょう 　　　　　;y=ｰ( ﾟдﾟ)･∵.　ﾀｰﾝ 　　　　　＼／|　y |) 341 名前：１３２人目の素数さん mailto:sage [2019/09/18(水) 20:58:10.27 ID:wvXbGob9.net] >>310 >ヒトの素朴集合論では、集合の要素としては、 >それがアトム（Urelement）の場合と、 >集合が要素になる場合と、 >二通りあるのよ 「集合Sの要素S'が 　アトム（Urelement）でなく集合なら 　S'の要素S''も、Sの要素として扱う」 なんていうルールは集合論にはない 勝手にオレ様ルールをデッチ上げないこと 人間失格の畜生の君は誤りを認めて死にましょう 　　　　　;y=ｰ( ﾟдﾟ)･∵.　ﾀｰﾝ 　　　　　＼／|　y |) 342 名前：１３２人目の素数さん mailto:sage [2019/09/18(水) 21:01:29.14 ID:wvXbGob9.net] 1の「全ての集合は推移的」の主張 キューネン「集合論」で完全否定 　　　　　;y=ｰ( ﾟдﾟ)･∵.　ﾀｰﾝ 　　　　　＼／|　y |) 343 名前：１３２人目の素数さん mailto:sage [2019/09/18(水) 21:04:16.53 ID:wvXbGob9.net] 1　自分の主張がテキストの第１章で否定されるとか恥の極みだよな（嘲 　　　　　;y=ｰ( ﾟдﾟ)･∵.　ﾀｰﾝ 　　　　　＼／|　y |) 344 名前：１３２人目の素数さん mailto:sage [2019/09/18(水) 21:07:02.70 ID:wvXbGob9.net] 1へ なんならキューネンの本を翻訳した藤田氏に直接聞いてみれば？ ツイッターやってるから https://twitter.com/fujitapiroc1964 ま、でも直接否定されたら 後は↓しかないかｗｗｗ 　　　　　;y=ｰ( ﾟдﾟ)･∵.　ﾀｰﾝ 　　　　　＼／|　y |) (deleted an unsolicited ad) 345 名前：１３２人目の素数さん mailto:sage [2019/09/18(水) 21:10:00.94 ID:Z1DjOgU6.net] 2*3*5*7*23*(1/2+1/3+1/5+1/7+1/23) mod (2*3*5*7) =11 2*3*5*7*31*(1/2+1/3+1/5+1/7+1/31) mod (2*3*5*7) =97 2*3*5*7*37*(1/2+1/3+1/5+1/7+1/37) mod (2*3*5*7) =109 2*3*5*7*41*(1/2+1/3+1/5+1/7+1/41) mod (2*3*5*7) =47 2*3*5*7*47*(1/2+1/3+1/5+1/7+1/47) mod (2*3*5*7) =59 2*3*5*7*X*(1/2+1/3+1/5+1/7+1/X) mod (2*3*5*7) (Xは素数) のとき必ず素数になる 346 名前：１３２人目の素数さん mailto:sage [2019/09/18(水) 21:11:36.81 ID:wvXbGob9.net] もともとは https://rio2016.5ch.net/test/read.cgi/math/1566715025/845 で突っ張ったのが破滅の始まり ほんと、1は正真正銘のバカだねぇｗｗｗｗｗｗｗ 　　　　　;y=ｰ( ﾟдﾟ)･∵.　ﾀｰﾝ 　　　　　＼／|　y |) 347 名前：１３２人目の素数さん mailto:sage [2019/09/18(水) 21:12:24.53 ID:Z1DjOgU6.net] 2*3*5*7*53*(1/2+1/3+1/5+1/7+1/53) mod (2*3*5*7)　=71 2*3*5*7*53*(1/2+1/3+1/5+1/7*1/53) mod (2*3*5)　=11 2*3*5*7*59*(1/2+1/3+1/5+1/7*1/59) mod (2*3*5)=23 348 名前：１３２人目の素数さん mailto:sage [2019/09/18(水) 21:14:47.33 ID:wvXbGob9.net] https://rio2016.5ch.net/test/read.cgi/math/1566715025/845 ＞１）二つの集合A,Bで、A ∈ B　→ A ⊂ B ＞　∵ 集合Aの全ての元aは、集合Bの元だから 集合Aの元ａが集合Ｂの元にならない場合がある A={{}} 　B={{{}}} Aの元{}は、Bの元ではない （Bの元は{{}}だけ） 　　　　　;y=ｰ( ﾟдﾟ)･∵.　ﾀｰﾝ 　　　　　＼／|　y |) 349 名前：１３２人目の素数さん mailto:sage [2019/09/18(水) 21:15:07.24 ID:Z1DjOgU6.net] 2*3*5*7*59*(1/2+1/3+1/7+1/5*1/59) mod (2*3*7) =41 2*3*5*7*X*(1/2+1/3+1/7+1/5*1/X) mod (2*3*7) =41 2*3*7=42より小さく2,3,5,7,Xを素因数に持たない値になるため 得られる値は必ず素数になる 2*3*5*7*61*(1/2+1/3+1/7+1/5*1/61) mod (2*3*7)＝31 350 名前：１３２人目の素数さん mailto:sage [2019/09/18(水) 21:18:49.68 ID:wvXbGob9.net] https://rio2016.5ch.net/test/read.cgi/math/1566715025/845 ＞２）二つの集合A,Bで、A ⊂ B　→ A ∈ B ＞　∵ 集合B中で、集合Aの全ての元aを集めて、内部に集合Aを構成できるから 集合B中で、集合Aが要素として存在しない場合がある A={{{}}}、B={{},{{}}} {{{}}}は、Bの要素でない 　　　　　;y=ｰ( ﾟдﾟ)･∵.　ﾀｰﾝ 　　　　　＼／|　y |) 351 名前：１３２人目の素数さん [2019/09/18(水) 22:49:50.97 ID:DounDdrn.net] >>287 >別にボディーはヒトの身体の要素でなく部分集合でいいし 要素と部分集合の区別がつかないんでしょうね 頭悪過ぎて 352 名前：１３２人目の素数さん [2019/09/18(水) 22:53:15.25 ID:DounDdrn.net] >>291 アホはどう見ても 353 名前：おまえ 早く近所の中学生に教わってこい [] [ここ壊れてます] 354 名前：１３２人目の素数さん [2019/09/18(水) 22:55:05.97 ID:DounDdrn.net] >>295 近所の中学生に要素と部分集合の違いを教わってこいバカ 355 名前：１３２人目の素数さん [2019/09/18(水) 23:00:14.94 ID:DounDdrn.net] >>299 >コケコッコー（おれ）もレベル低いけど、おサルもほんと低レベルだな〜ｗ 自惚れるな おまえはレベルが低いなんていう次元じゃない、ランク外 中学生はお前みたいなアホなこと言わんぞ？ 356 名前：１３２人目の素数さん [2019/09/18(水) 23:15:23.25 ID:DounDdrn.net] https://rio2016.5ch.net/test/read.cgi/math/1566715025/845 が証明になってると信じて疑わないアホに数学は到底無理 357 名前：１３２人目の素数さん mailto:sage [2019/09/19(木) 00:01:39.24 ID:CKGg5Ajl.net] 往生際が悪すぎ 358 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/09/19(木) 00:48:54.17 ID:MSw7Rbq1.net] >>306 (引用開始) その場合、個々の自然数を要素とすることはしませんよ 同値類から代表元をとって {0,1}という別集合を考える というのはありますがね (引用終り) コケコッコー（おれ）もレベル低いけど、おサルもほんと低レベルだな〜ｗ 論破しますｗ (引用開始) おサルの主張は、（>>236） 「会社は部の集合ではありませんｗ （ついでにいうと部は課の集合ではないｗ） 　会社は社員の集合ですからｗ」 (引用終り) ええ、おサルの集合論は上記でしたね で、下記信州大 代数入門 （花木章秀先生）より ”同値類全体の集合は Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n ? 1) + nZ}” 0 + nZ＝{・・,-2n,-n,0,n,2n,・・} 1 + nZ＝{・・,-2n+1,-n+1,1,n+1,2n+1,3n,・・} 以下略 ですから、Z/nZは、整数の集合Zを整理してｎ個の袋に数を小分けした集合と考えれば良い 逆に、集合Z/nZで、中の小分けの袋を取ってしまえば、もとの整数の集合Zに戻る Z/nZは、明らかに有限集合ではない 例えば、百万までの数を同じように類別することで、ｎ個の要素の集合はできるが しかし、Z/nZは無限集合を類別した集合ですし、中の小分けの袋を取れば、元の無限集合Zになります 0 + nZ ∪ 1 + nZ ∪ ・・∪ (n ? 1) + nZ ＝Zですからね だから、Z/nZとZを全く別ものと考えるよりも、 繰返すが Zの中を類別したらZ/nZ Z/nZの分類をやめたらZ お互いに移りあえるという理解がよろしいと思いますよ そう考えないと、代数学（入門）は難しくなりますよｗ（＾＾； つづく 359 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/09/19(木) 00:49:27.38 ID:MSw7Rbq1.net] >>328 つづき （参考） math.shinshu-u.ac.jp/~hanaki/edu/ 代数入門 花木章秀 信州大学理学部数学科 math.shinshu-u.ac.jp/~hanaki/edu/intro/intro2013.pdf 代数学入門 花木 章秀 2013 年前期 (2013/04/01) (抜粋) P29 3.2 整数の合同によって定義される環 ある l ∈ Z が存在 して a ? b = nl となるとき a ≡ b (mod n) と書くことにする (問 1.2.1)。 このときこの 関係は同値関係である。その a を含む同値類は a + nZ = {b ∈ Z | a ≡ b (mod n)} = {a + nl | l ∈ Z} であった。異なる同値類全体の集合は Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n ? 1) + nZ} である。 (引用終り) （なお、追加 2019 2019 年前期 (2019/03/25)講義テキストは下記（こちらの方がタイポが少ないか。しかし、目次がなくなっているぞー、おいｗ（＾＾ ）） math.shinshu-u.ac.jp/~hanaki/edu/intro/intro2019.pdf (>>264より) ほんと、コケコッコー（おれ）もレベル低いけど、おサルも低レベルだな〜ｗ（＾＾ （つーか、いまふと思ったが、彼のサイコパス性格（屁理屈を使ってでも相手に反論しないと気が済まない）が出ているなー(>>2ご参照）。すげー、低レベルの屁理屈反論ｗ（＾＾； ） 低レベルの屁理屈反論合戦かｗ（＾＾ 360 名前：１３２人目の素数さん mailto:sage [2019/09/19(木) 06:31:39.89 ID:7GQwcv+X.net] >>328 >”同値類全体の集合は >Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZ}” >Z/nZは、明らかに有限集合ではない 完全な誤りｗ Z/nZは、明らかに有限集合 >Z/nZは無限集合を類別した集合ですし、 だから無限集合、というのは完全な誤りｗ >中の小分けの袋を取れば、元の無限集合Zになります 中の小分けの袋を取れば、別の集合ｗ >だから、Z/nZとZを全く別ものと考えるよりも、 全く別物です　そう考えないのは誤り そう考えられない貴様はバカｗ >繰返すが 何度繰り返しても馬鹿 貴様は一生利口にはなれない >Zの中を類別したらZ/nZ >Z/nZの分類をやめたらZ >お互いに移りあえるという理解がよろしいと思いますよ 移りあえるから同じ集合、というなら馬鹿 全く別の集合　という理解だけが正しい 「と思う」も要らない　 ウソだと思うなら藤田博司氏にツイッターで訊いてみろｗ 361 名前：１３２人目の素数さん mailto:sage [2019/09/19(木) 06:33:11.37 ID:7GQwcv+X.net] >>329 ＞サイコパス性格（屁理屈を使ってでも相手に反論しないと気が済まない）が出ているな 1のサイコパス性格がでているな Z/nZが無限集合とか、どんだけ低レベルの馬鹿なんだよｗｗｗｗｗｗｗ 362 名前：１３２人目の素数さん mailto:sage [2019/09/19(木) 06:40:26.87 ID:7GQwcv+X.net] ＞コケコッコー（おれ）もレベル低いけど、おサルも低レベルだな〜 1が実に初歩レベルの誤りを繰り返してるだけ 貴様にモストフスキとか無理だし無駄だから そういう高 363 名前：レベルな話をしないだけ [] [ここ壊れてます] 364 名前：１３２人目の素数さん mailto:sage [2019/09/19(木) 06:42:25.60 ID:7GQwcv+X.net] >>328 ＞そう考えないと、代数学（入門）は難しくなりますよ 同値類の集合すら理解できないんじゃ 1が正規部分群を誤解するのも無理ないな・・・ 365 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/09/19(木) 07:06:11.95 ID:MSw7Rbq1.net] >>328-329 訂正 (n ? 1)とかの?の文字化け、これ-です つまり、(n - 1)です。そう読み替えて下さい あるいは、もっと良いのは、原文PDFを見ることな（＾＾ 念のため して a ? b = nl となるとき a ≡ b (mod n) と書くことにする (問 1.2.1)。 　↓ して a - b = nl となるとき a ≡ b (mod n) と書くことにする (問 1.2.1)。 Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n ? 1) + nZ} 　↓ Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZ} です 366 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/09/19(木) 07:40:40.03 ID:MSw7Rbq1.net] (引用開始) >”同値類全体の集合は >Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZ}” >Z/nZは、明らかに有限集合ではない 完全な誤りｗ Z/nZは、明らかに有限集合 (引用終り) コケコッコー（おれ）もレベル低いけど、おサルもほんと低レベルだな〜ｗ 論破しますｗ 下記、大学数学の”「同一視する」という考え方”、分かりますか〜ｗ（＾＾； Z/nZ→Z：圏論の忘却函手みたいなのを考えて、Z/nZを忘れたらZに戻るってこと （Z/nZの要素の例えば、0 + nZ＝{・・,-2n,-n,0,n,2n,・・}の元からZ中の例えば2nに対応を付ければ良い） この視点では、Z/nZは無限集合 一方、Z/nZ→{0,1,・・n}を考えると、有限集合 まあ、コウモリが、鳥か獣かという話みたいなもので、視点（数学では定義）によって、見方は変わる しかし、もし、Z/nZが完全な有限集合なら、どうやっても、無限集合とはすることはできないよね QED （参考） https://restmath.com/archives/216 大学数学 集合.8 「同一視する」という考え方 - レストの数学ブログ 2018/06/15 https://hiroyukikojima.hatenabloｇ.com/entry/20140606/1402035822 hiroyukikojima’s blog 2014-06-06 「同じと見なす」ことの素晴らしさと難しさ (抜粋) 数学は世界をこう見る (PHP新書) 作者: 小島寛之 出版社/メーカー: PHP研究所 発売日: 2014/05/16 メディア: 新書 この本には、複数のコンセプトが込められているのだけど、その中で非常に大きいのが、「同じと見なす」という数学固有のテクニックをこれでもか、というぐらいに徹底的に解説することだ。 「同じと見なす」ということを、数学の専門の言葉では「同一視」という。この「同じと見なす」という数学の手法は、高校までの数学ではほとんど表れない。 というか、本当は随所でニアミスしているだけれど、高校までの数学教育で強調されることは(情熱のある特殊な先生を除けば)全くない。 つづく 367 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/09/19(木) 07:41:06.37 ID:MSw7Rbq1.net] >>335 つづき 　例をあげるなら、平面上の4点A, B, C, Dに対して、ABCDが平行四辺形となっている場合、[ベクトルAB]と[ベクトルDC]は等しいと定義され、[ベクトルAB]=[ベクトルDC]という等号で結ばれる。 しかし、よくよく考えると、ABのある場所とDCのある場所は異なっているのだから、どう見ても、これは異なるもののように思える。なのに、等号で結べるのはどうしてか、といえば、それは「同じと見なす」と定義をしているからに他ならない。 　実は、こういうことは、それ以前にも知らず知らずのうちに何回も経験しているのだ。ただ、そう意識していないから、記憶に残らないだけなのである。 (引用終り) (>>264より) ほんと、コケコッコー（おれ）もレベル低いけど、おサルも低レベルだな〜ｗ（＾＾ （つーか、いまふと思ったが、彼のサイコパス性格（屁理屈を使ってでも相手に反論しないと気が済まない）が出ているなー(>>2ご参照）。すげー、低レベルの屁理屈反論ｗ（＾＾； ） 以上 368 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/09/19(木) 07:51:39.39 ID:MSw7Rbq1.net] "∈による順序"について、分り易い説明を思いついたので書いてみるよ（＾＾ １）まず、>>310の追加補足 (おサル >>275より） ０＝{} １＝｛０｝={{}} ２＝｛１｝＝{{{}}} ・・・ ってやり方だと、0∈1∈2だけど、0∈2にならないんだよね ０＝{} １＝｛０｝={{}} ２＝｛０，１｝＝{{},{{}}} ・・・ だと、0∈1∈2で、しかも0∈2にできるんだな (引用終り) 確かに、下記の記述があり、単純な自然数の構成も可能だ しかし、∈による順序付けには、大きな差があるように見える これをどう考えたら良いのだろうか？（＾＾； （参考） https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0 自然数 (抜粋) それぞれの自然数は、その数より小さい自然数全てを要素とする数の集合、となる。 0 := {} 1 := suc(0) = {0} = {{}} 2 := suc(1) = {0, 1} = {0, {0}} = { {}, {{}} } 3 := suc(2) = {0, 1, 2} = {0, {0}, {0, {0}}} = { {}, {{}}, { {}, {{}} } } 等々である。 このように定義された集合 n は丁度（通常の意味で）n 個の元を含むことになる。 また、これは有限順序数の構成であり、（通常の意味で）n <= m が成り立つことと n が m の部分集合であることは同値である。 以上の構成は、自然数を表すのに有用で便利そうな定義を選んだひとつの結果であり、他にも自然数の定義は無限にできる。 例えば、0 := {}, suc(a) := {a} と定義したならば、 0 := {} 1 := {0} = {{}} 2 := {1} = {{{}}} 3 := {2} = {{{{}}}} と非常に単純な自然数になる。 (引用終り) つづく 369 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/09/19(木) 07:52:36.81 ID:MSw7Rbq1.net] >>337 つづき ２）さて、下記のように考えてみよう （参考） https://www.sci.shizuoka.ac.jp/~math/yorioka/ss2019/ 数学基礎論サマースクール 選択公理と連続体仮説 https://www.sci.shizuoka.ac.jp/~math/yorioka/ss2019/sakai0.pdf 公理的集合論の基礎 酒井 拓史 神戸大学 2019 年 数学基礎論サマースクール (抜粋) P3 公理的集合論の枠組み ・集合論の言語L∈： 非論理記号は二項関係記号∈ のみ 　遺伝的集合の集まりとそれら間の要素関係（∈-関係） 　● 遺伝的集合： 要素もそのまた要素もすべて集合である集合 　　例： Φ，{Φ}，{Φ, {Φ, {Φ}}} (引用終り) 上記神戸大酒井拓史先生の遺伝的というのが、空集合から初めて、冪集合を順々につくってもの 即ち、下記の二項関係の「先祖である」と同じと解してみよう Φ∈{Φ}∈{Φ, {Φ}}∈{Φ, {Φ, {Φ}}}なのだが Φが元で{Φ}を作って、{Φ}が元で{Φ, {Φ}}・・となる さて、このような二項関係を示す記号を、∈Rと書こう 上記二項関係の”∈R”には、∈と類似のしかし、少しだけ異なる定義を与える 　１）A∈Bのとき、二項関係 A ∈R B が成立っているとする 　２）さらに、A∈B∈Cのとき、二項関係 A ∈R B とB ∈R C のみならず、A ∈R Cも成立っているとする（推移律） 　　くどいが、間にBを挟んだ間接的な場合にも、A ∈R Cも成立っているとする 　３）∈と二項関係の”∈R”との違いについて説明すると、 　　∈は公理的集合論の集合を構成するカナメの記号だが 　　”∈R”は、出来上がった集合の二項関係を示すためだけの機能に限定するものとする（集合を構成する力はない） （参考） https://ja.wikipedia.org/wiki/%E4%BA%8C%E9%A0%85%E9%96%A2%E4%BF%82 二項関係 (抜粋) 集合上の関係 集合 X 上の二項関係のいくつか重要なクラスとして、以下のようなものを挙げることができる： ・推移的 (transitive) X の各元 x, y, z について、xRy かつ yRz ならば xRz となるとき、関係 R は推移的であるという。 「先祖である」という関係は推移的である。実際、x が y の先祖で、y が z の先祖ならば、x は z の先祖である。 (引用終り) つづく 370 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/09/19(木) 07:55:39.86 ID:MSw7Rbq1.net] >>338 つづき ３）こう考えると、上記のwikipediaの単純な自然数構成でも ∈Rを使って 0 = {} ∈R {{}} ∈R {{{}}} ∈R {{{{}}}} = 3 と、二項関係∈Rで、綺麗な順序が構成できる こうして構成した二項関係∈Rには、モストフスキ崩壊補題により ”推移的集合Mによる (M, ∈) と順序同型で、順序同型な順序数が一意に存在する” （>>261 近藤 友祐 神戸大学 ） この考えによれば、二項関係∈Rの意味で 　>>299のA社＝{第一事業部、第二事業部、第三事業部、AI研究所}で 　第一事業部に属する社員は、またA社にも属する（∈Rの意味で）と言える 　しかし、それは、A社＝{ a、第一事業部、第二事業部、第三事業部、AI研究所}を意味する訳では無い この見方を支える一つの柱が、モストフスキ崩壊補題ですｗ（＾＾； 日常の自然言語における”所属”とか”属する”は、この意味ですね で、繰返すが、確かに、 0 := {}, suc(a) := {a} と定義したならば、 0 := {} 1 := {0} = {{}} 2 := {1} = {{{}}} 3 := {2} = {{{{}}}} と非常に単純な自然数になる そして、この自然数の構成は、厳密な意味での推移的集合による構成ではないが、推移的集合による構成と順序同型になるってこと（モストフスキ崩壊） 以上 371 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/09/19(木) 08:02:35.41 ID:MSw7Rbq1.net] >>338 蛇足だが (引用開始) 　３）∈と二項関係の”∈R”との違いについて説明すると、 　　∈は公理的集合論の集合を構成するカナメの記号だが 　　”∈R”は、出来上がった集合の二項関係を示すためだけの機能に限定するものとする（集合を構成する力はない） (引用終り) 公理的集合論の集合を構成するカナメの記号∈が、強力すぎる機能を持たせると パラドックスを生じる危険性がある だから、公理的集合論の中では、∈をできるだけ限定した機能として作用させているのだろう しかし、日常の自然言語における”所属”とか”属する”は、公理的集合論に捕らわれず、我々は広い意味で使っている その隙間を埋めるのが、モストフスキかもね（＾＾； 372 名前：１３２人目の素数さん [2019/09/19(木) 08:19:29.37 ID:gcv8MKKh.net] >>328 >Z/nZは、明らかに有限集合ではない バカ丸出し 373 名前：１３２人目の素数さん mailto:sage [2019/09/19(木) 19:33:08.17 ID:7GQwcv+X.net] >>335 >大学数学の”「同一視する」という考え方”、分かりますか〜ｗ ★チガイの戯言ｗ >Z/nZ→Z：圏論の忘却函手みたいなのを考えて、Z/nZを忘れたらZに戻るってこと 忘却函手が何かも知らずに、忘却だけで脊髄反射してるなこの馬鹿ｗ ああ、忘却函手でサーチした結果を読まずにコピペとか要らないからｗｗｗ >（Z/nZの要素の例えば、0 + nZ＝{・・,-2n,-n,0,n,2n,・・}の元からZ中の例えば2nに対応を付ければ良い） それじゃ、Z内の有限集合への単射　 全射にはならない ということで >この視点では、Z/nZは無限集合 は全くの嘘っぱちｗ >もし、Z/nZが完全な有限集合なら、どうやっても、無限集合とすることはできないよね なんで、無限集合にしたがるの？ 374 名前：１３２人目の素数さん mailto:sage [2019/09/19(木) 19:33:56.19 ID:7GQwcv+X.net] >>338 >　１）A∈Bのとき、二項関係 A ∈R B が成立っているとする >　２）さらに、A∈B∈Cのとき、二項関係 A ∈R B とB ∈R C のみならず、A ∈R Cも成立っているとする（推移律） >　　くどいが、間にBを挟んだ間接的な場合にも、A ∈R Cも成立っているとする で？ まさか 「A ∈R C　ならば　A　⊂　C」 とかタワケたこと言わんだろうねｗ 君、A⊂Bの定義、知ってる？ ∀x(x∈A⇒x∈B) が成り立つ時だよ 決して ∀x(x ∈R A⇒x ∈R B) が成り立つ時ではないからｗ 375 名前：１３２人目の素数さん mailto:sage [2019/09/19(木) 19:34:32.62 ID:7GQwcv+X.net] >>339 モストフスキ崩壊補題を持ち出したところで 「A ∈R C　ならば　A　⊂　C」 は言えんので前スレ845の１） https://rio2016.5ch.net/test/read.cgi/math/1566715025/845 ＞１）二つの集合A,Bで、A ∈ B　→ A ⊂ B の正当化にはならんよ したがって全く無意味 > 二項関係∈Rの意味で > >>299のA社＝{第一事業部、第二事業部、第三事業部、AI研究所}で > 第一事業部に属する社員は、またA社にも属する（∈Rの意味で）と言える 貴様のクソ定義の穴を埋めるために、∈Rなんて考えるより 単純にA社の集合の要素を社員として、 部署をA社の部分集合にするほうが はるかに簡単ｗ > 日常の自然言語における”所属”とか”属する”は、この意味ですね 「社員aは、A社に属する」とまったく同じ意味で 「第一事業部は、A社に属する」と思う貴様が間違ってるｗ 所属と包含が区別できない馬鹿には困ったものだｗ 【結論】下手な考え、休むに似たりｗ 376 名前：１３２人目の素数さん mailto:sage [2019/09/19(木) 19:39:15.43 ID:7GQwcv+X.net] >>336 ＞サイコパス性格（屁理屈を使ってでも相手に反論しないと気が済まない） サイコパスは　１　お前自身だよ 馬鹿のくせにリコウぶるな　クソったれ 377 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/09/19(木) 21:19:15.42 ID:MSw7Rbq1.net] おサルさん、踊ってくれてありがとう お陰で、このガロアスレの勢い２位で 34です （＾＾ （参考） 49.212.78.147/index.html?board=math 数学：2ch勢いランキング 9月19日 21:10:27 順位 6H前比 スレッドタイトル レス数 勢い 1位 ↑1 【未解決問題】奇数の完全数が存在しないことの証明5 195 39 2位 ↓-1 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 345 34 3位 ↑1 分からない問題はここに書いてね456 277 25 4位 ↓-1 0.99999……は１ではない 149 25 5位 = 数学の本　第85巻 925 24 6位 = 素人には 8÷2(2+2) を16と答える馬鹿が居るらしい 955 20 7位 ↑1 Inter-unive 378 名前：rsal geometry と ABC予想 41 539 19 8位 ↓-1 高校数学の質問スレPart401 270 19 9位 ↑1 現代数学はインチキだらけ 127 11 10位 ↓-1 数学と物理学って何で統合しないの？ 60 11 11位 = 分からない問題はここに書いてね456 114 10 12位 = 新しい数式何だが、どうだろう 73 10 13位 = 現代数学の系譜 工学物理雑談 古典ガロア理論も読む58 875 4 14位 = ガロア優秀仮面理論についてwwwww 128 4 [] [ここ壊れてます] 379 名前：１３２人目の素数さん [2019/09/19(木) 21:24:34.12 ID:7GQwcv+X.net] >>346 「二つの集合A,Bで、A ∈ B　→ A ⊂ B」 とトンデモ馬鹿踊りしてるのは貴様一匹 380 名前：１３２人目の素数さん [2019/09/19(木) 22:43:24.17 ID:gcv8MKKh.net] >>335 >この視点では、Z/nZは無限集合 これは酷い 381 名前：１３２人目の素数さん [2019/09/19(木) 22:45:48.85 ID:gcv8MKKh.net] >>もし、Z/nZが完全な有限集合なら、どうやっても、無限集合とすることはできないよね >なんで、無限集合にしたがるの？ ﾜﾛﾀ 382 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/09/19(木) 23:15:33.18 ID:MSw7Rbq1.net] >>335 訂正と追加 ＜訂正＞ Z/nZ→Z：圏論の忘却函手みたいなのを考えて、Z/nZを忘れたらZに戻るってこと （Z/nZの要素の例えば、0 + nZ＝{・・,-2n,-n,0,n,2n,・・}の元からZ中の例えば2nに対応を付ければ良い） 　↓ Z/nZ→Z：圏論の忘却函手みたいなのを考えて、Z/nZの同値類の構造を忘れたらZに戻るってこと （Z/nZの要素の例えば、0 + nZ＝{・・,-2n,-n,0,n,2n,・・}の元2nからZ中の例えば2nに対応を付ければ良い） ＜補足＞ 要するに、上記で言いたいことは、Z/nZの要素の各同値類の集合の要素と、集合Zとの元との対応がきちんとつくってこと （例：上記の 0 + nZ∋2n→2n∈Z） だから、全体としても、Z/nZが含んでいる自然数たちは、当然集合Zの元と対応がつくってこと なお、忘却関手については、下記ご参照 （参考） https://tnomura9.exblog.jp/21059078/ tnomuraのブログ 2014-08-29 忘却関手のイメージ 群は集合 G と二項演算 * の組 (G, *) だ。したがって、群 G と G' の間の準同型写像 f : G -> G' といっても基本的には集合と集合の間の写像と変わらない。つまり、全射や単射や全単射などの性質はそのまま残っている。 ただし、準同型写像の場合は f によって構造が保存される。つまり、写像 f によって演算が１対１に対応する。具体的には f(xy) = f(x)f(y) という等式がなりたつ。したがって、単射の準同型写像や、全射の準同型写像や、全単射の準同型写像や、全射でも単射でもない準同型写像があるということだ。 しかし、f(xy) = f(x)f(y) を満たさない写像は準同型写像とは言えない事に注意が必要だ。準同型写像全体の集合を考えると、それは集合の写像全体の集合の部分集合になる。（参考：準同型 - Wikipedia） 全ての群の圏 Grp とは群を対象とし、群と群との同型写像を射とする圏のことだ。また、小さな集合の圏 Set は集合を対象とし集合と集合の間の関数を射とする圏である。 群の圏から集合の圏への「忘却関手」U : Grp -> Set とは、Grp の対象である群を Set の対象である集合に対応させ、Grp の射である準同型写像を Set の射である写像に対応させる。 つづく 383 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/09/19(木) 23:17:09.47 ID:MSw7Rbq1.net] >>350 つづき 忘却関手をイメージすると、Grp の対象である群の台集合をそのまま Set の対象とし、Grp の射である準同型写像をそのまま Set の射に写す。集合の圏では演算は定義されていないので f(xy) = f(x)f(y) という等式は意味がなくなってしまう。 つまり、忘却関手とは群の圏から演算を取り去ってしまって、そのまま集合の圏の部分圏に写しだしたものと考えると良い。忘却関手の像の射の集合は集合の圏の射の集合の部分集合になっている。 したがって、忘却関手のイメージとは、群の圏を、集合の圏の部分圏へ写す関手と考える事ができる。 一方自由群は集合から作る事ができる。集合の圏の対象である文字集合をその上の自由群に対応させ、文字集合間の写像を対応する自由群間の準同型写像に対応させる関手（自由関手）を考えると、これは忘却関手とは反対方向の Set -> Grp の関手になる。 自由関手は忘却関手の左随伴である。したがって、自由関手と忘却関手の関係が分かれば、随伴の実例のひとつを理解できることになる。 m-hiyama.hatenabloｇ.com/entry/20101021/1287620286 檜山正幸のキマイラ飼育記 (はてなBlog) 2010-10-21 さまざまな忘却関手 (抜粋) バエズがどこかで言ってました、「『忘却』のちゃんとした定義は難しい」と。関手の充満性／忠実性を使うとか、自由と忘却の随伴（自由 - 384 名前：| 忘却）に根拠を求めるとかありますが、それで全てかどうかよく分かりません。 いくつかの例を考えてみます。 Grpを群の圏として、群Gの台集合をU(G)として、UをGrp→Setの関手まで拡張します。これは典型的な忘却関手です。 Catを小さい圏の圏として、圏C（Catの対象）に対して U(C) = |C| = (Cの対象の集合) とすると、Uは自然にCat→Setの関手とみなせます。この場合、圏の代数構造を忘れるだけではなくて、射の集合をゴッソリ忘れています。台集合の一部が欠損します。 Vectを係数体も自由に選んだベクトル空間全体からなる圏だとします。このVectはグロタンディーク構成で作れます。Vectの対象であるベクトル空間Vから係数体を取り出す操作をU(V)とします。U:Vect→Field という関手を作れますが、これもベクトル空間の本体を忘れて係数体だけを残す“忘却関手”と言えなくもないでしょう。 (引用終り) 以上 [] [ここ壊れてます] 385 名前：１３２人目の素数さん [2019/09/19(木) 23:24:48.55 ID:tlqWBAH8.net] スレ主よ、サル石が僕のスレを荒らしに来たから、 サル石がお前に毎日噛みついていることを スレ民に教えてやった（笑 サル石がどういう男であるかも、すでに教えてある（笑 そのうちこいつは2chの全員から嫌われるようになるだろう（笑 386 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/09/19(木) 23:56:14.67 ID:MSw7Rbq1.net] >>335 実数の部分集合として、次のようなものを考えよう １）正の整数の集合Z+ ２）負の整数の集合Z- ３）0 （これは元） ４）上記以外の有理数の集合Q’ ５）超越数の集合Tr ６）上記１）〜５）以外の実数の集合A’（代数的数で無理数である実数より成る集合） さて、 １）上記１）〜６）を要素とする集合をR#とする 　R#＝{Z+,Z-,0,Q’,Tr,A’} ２）R#の中には、Rの数としての要素は全て含まれている 　正負の整数の集合、0、有理数、超越数、代数的数 　確かに、集合R#＝{Z+,Z-,0,Q’,Tr,A’}は、そこに含まれる元としては、6個にすぎない 　では、R#を有限集合として良いのだろうか？ その元Z+とかは明らかに無限集合であるのに（＾＾ ３）これは、>>335の”「同じと見なす」ことの素晴らしさと難しさ”（hiroyukikojima）に通じる話だ （参考） https://ja.wikipedia.org/wiki/%E5%AE%9F%E6%95%B0 実数（じっすう、英: real number） https://ja.wikipedia.org/wiki/%E6%9C%89%E7%90%86%E6%95%B0 有理数（ゆうりすう、英: rational number) https://ja.wikipedia.org/wiki/%E4%BB%A3%E6%95%B0%E7%9A%84%E6%95%B0 代数的数（だいすうてきすう、英: algebraic number） https://ja.wikipedia.org/wiki/%E8%B6%85%E8%B6%8A%E6%95%B0 超越数（ちょうえつすう、英: transcendental number） 387 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/09/19(木) 23:59:18.52 ID:MSw7Rbq1.net] >>352 哀れな素人さん、どうも。スレ主です。 >サル石がお前に毎日噛みついていることを >スレ民に教えてやった（笑 >サル石がどういう男であるかも、すでに教えてある（笑 ありがとうございます サル石は、キチガイサイコパスです（>>2ご参照） まあ、世間のヒトには、キチガイサイコパスの生きた生態見本を見て貰えればと思いますｗ（＾＾； 388 名前：１３２人目の素数さん mailto:sage [2019/09/20(金) 05:18:30.72 ID:DPgtgKl0.net] >>352 サル石なんて奴はいないよ 俺はそっちのスレには書いてない ここの1が馬鹿なのは有名 数学板の人間は1と同じ人間とはみなしてない 畜生を尊敬する馬鹿はいないよｗ 389 名前：１３２人目の素数さん mailto:sage [2019/09/20(金) 05:23:26.80 ID:DPgtgKl0.net] >>353 >R#＝{Z+,Z-,0,Q’,Tr,A’} >集合R#＝{Z+,Z-,0,Q’,Tr,A’}は、そこに含まれる元としては、6個にすぎない >では、R#を有限集合として良いのだろうか？ >その元Z+とかは明らかに無限集合であるのに なんで集合Sの元が無限集合sだったら、 集合Sも無限集合にならなければいけない と「発狂」するのか？　精神異常か？ｗ Z2=｛Even,Odd｝ （Evenは偶数全体の集合、Oddは奇数全体の集合｝ とした場合、Z2は有限集合だ 正常な人間なら、無限集合と考えない 390 名前：１３２人目の素数さん mailto:sage [2019/09/20(金) 05:25:09.28 ID:DPgtgKl0.net] 1が 「二つの集合A,Bで、A ∈ B　→ A ⊂ B」 を主張しつづける限り、トンデモとして 永久永劫、数学板読者から侮蔑嘲笑されるｗ 391 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/09/20(金) 06:37:57.14 ID:ihE7M+Qz.net] >>355 サル石はいるよ（>>2） お前のこと 哀れな素人さんのスレ＊）に書いているかどうかとは無関係に、サル石はいる ＊） 現代数学はインチキだらけ https://rio2016.5ch.net/test/read.cgi/math/1567930973/1- >>356 >なんで集合Sの元が無限集合sだったら、 >集合Sも無限集合にならなければいけない （定義）有限集合を、有限個の元からなり、その元の祖先をたどっていったとき、必ず有限集合かアトムからなる集合と定義する それで終り。これは定義の問題だよ これは、>>335の”「同じと見なす」ことの素晴らしさと難しさ”（hiroyukikojima）に通じる話 >>357 >「二つの集合A,Bで、A ∈ B　→ A ⊂ B」 それは、>>338に書いたように ∈と類似の二項関係の”∈R”に、類似のしかし、少しだけ異なる定義を与えれば 「二つの集合A,Bで、A ∈R B　→ A ⊂ B」と見ることができる これも、>>335の”「同じと見なす」ことの素晴らしさと難しさ”（hiroyukikojima）に通じる話 これが分からないようじゃ、おサルには、大学数学は無理かもね（>>335より）（＾＾； 392 名前：１３２人目の素数さん mailto:sage [2019/09/20(金) 06:51:34.87 ID:DPgtgKl0.net] 1 　「x∈y y∈zなら∈の推移律によりx∈zでy⊂z」 読者「x={},y={{}},z={{{}}}だと成り立たないって 　　　キューネンの「集合論」にはっきり書いてあるけど」 1 「（反論できずヤケクソで）新述語∈Rを導入して 　　　x∈y　なら　x ∈R y x∈y y∈z なら x∈R z 　　　とすれば∈Rについては推移律が成立する」 読者「x ∈R z ならば、x⊂z、は云えないけど」 今ここｗ --- 今後の展開予想 1 　「⊂Rを導入する 　　　x ∈R A⇒x ∈R B のとき A ⊂R B これで文句あるまい」 読者「要するにあんた、∈と⊂を 　　　∈R と ⊂R と誤解したわけだ　馬鹿だね〜」 1　語るに落ちて自爆死ｗ 393 名前：１３２人目の素数さん mailto:sage [2019/09/20(金) 06:53:50.37 ID:DPgtgKl0.net] >>358 ＞（定義）有限集合を、有限個の元からなり、 　　その元の祖先をたどっていったとき、必ず有限集合かアトムからなる集合と定義する ＞それで終り。これは定義の問題だよ 1　独りよがりのボクちゃん定義を持ち出し自爆死 それじゃ大学数学は無理　諦めて首掻き切って死になw あんた生きる価値も資格もないからｗｗｗ 394 名前：１３２人目の素数さん mailto:sage [2019/09/20(金) 07:12:19.81 ID:DPgtgKl0.net] 1の今日の失言 「（定義）有限集合を、有限個の元からなり、 　　その元の祖先をたどっていったとき、 　　必ず有限集合かアトムからなる集合と定義する」 「有限集合を、有限個の元からなる集合と定義する」 と理解すればいいところをわざわざ 「その元の祖先をたどっていったとき、 　必ず有限集合かアトムからなる」 というバカげた文言を追加する点に 1の白痴ぶりが表れている 395 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/09/20(金) 07:12:34.61 ID:ihE7M+Qz.net] >>350 補足 >Z/nZ→Z：圏論の忘却函手みたいなのを考えて、Z/nZの同値類の構造を忘れたらZに戻るってこと >（Z/nZの要素の例えば、0 + nZ＝{・・,-2n,-n,0,n,2n,・・}の元2nからZ中の例えば2nに対応を付ければ良い） 一夜漬けで、圏論風に考えてみたのが下記 Z-加群の圏というのがあるんだ（＾＾； で、Z-加群の圏で、mod n を考えて、かつ、集合Zを下記>>329 花木章秀 信州大にならって Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZ}と類別し、これをZ-加群の圏の部分圏と考える Z-加群の圏　函手→ Z/nZ （mod nと類別） Z/nZ　函手→ Z-加群の圏 （mod nと類別を忘れる忘却函手） かな（＾＾ (参考) https://ja.wikipedia.org/wiki/%E5%9C%8F_(%E6%95%B0%E5%AD%A6) 圏 (数学) (抜粋) 例 圏と記号　　 　　　　対象の類　　 　　　　　　　射の類　　 　　　　合成　　 　　　大きさ　　　備考 アーベル群の圏　Ab 全てのアーベル群　全ての群準同型　写像の合成　大きい　群の圏の充満部分圏、Z-加群の圏と同じもの https://ja.wikipedia.org/wiki/%E7%92%B0%E4%B8%8A%E3%81%AE%E5%8A%A0%E7%BE%A4 環上の加群 (抜粋) 例 Z を有理整数環とすると、Z-加群の概念はアーベル群の概念に一致する。 すなわち、一意的な仕方で任意のアーベル群を Z 上の加群にすることができる。 これには、n > 0 に対して nx = x + x + ... + x（n-項の和）とし、0x = 0 および (-n)x = -(nx) とおけばよい。 このようにアーベル群を加群と見たものは必ずしも基底を持たない。 実際、ねじれ元を持つ 396 名前：ような群は基底を持たない（ただし、有限体をそれ自身の上の加群と見たときは基底を持つ）。 つづく [] [ここ壊れてます]

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef