[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
328(6): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)00:48 ID:MSw7Rbq1(1/14) AAS
>>306
(引用開始)
その場合、個々の自然数を要素とすることはしませんよ
同値類から代表元をとって
{0,1}という別集合を考える
というのはありますがね
(引用終り)
省28
329(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)00:49 ID:MSw7Rbq1(2/14) AAS
>>328
つづき
（参考）
外部ﾘﾝｸ:math.shinshu-u.ac.jp
代数入門 花木章秀 信州大学理学部数学科
外部ﾘﾝｸ[pdf]:math.shinshu-u.ac.jp
代数学入門
省22
330: 2019/09/19(木)06:31 ID:7GQwcv+X(1/9) AAS
>>328
>”同値類全体の集合は
>Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZ}”
>Z/nZは、明らかに有限集合ではない
完全な誤りｗ
Z/nZは、明らかに有限集合
>Z/nZは無限集合を類別した集合ですし、
省16
331: 2019/09/19(木)06:33 ID:7GQwcv+X(2/9) AAS
>>329
＞サイコパス性格（屁理屈を使ってでも相手に反論しないと気が済まない）が出ているな
1のサイコパス性格がでているな
Z/nZが無限集合とか、どんだけ低レベルの馬鹿なんだよｗｗｗｗｗｗｗ
332: 2019/09/19(木)06:40 ID:7GQwcv+X(3/9) AAS
＞コケコッコー（おれ）もレベル低いけど、おサルも低レベルだな〜
1が実に初歩レベルの誤りを繰り返してるだけ
貴様にモストフスキとか無理だし無駄だから
そういう高レベルな話をしないだけ
333: 2019/09/19(木)06:42 ID:7GQwcv+X(4/9) AAS
>>328
＞そう考えないと、代数学（入門）は難しくなりますよ
同値類の集合すら理解できないんじゃ
1が正規部分群を誤解するのも無理ないな・・・
334: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)07:06 ID:MSw7Rbq1(3/14) AAS
>>328-329 訂正
(n ? 1)とかの?の文字化け、これ-です
つまり、(n - 1)です。そう読み替えて下さい
あるいは、もっと良いのは、原文PDFを見ることな（＾＾
念のため
して a ? b = nl となるとき a ≡ b (mod n) と書くことにする (問 1.2.1)。
↓
省5
335(7): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)07:40 ID:MSw7Rbq1(4/14) AAS
(引用開始)
>”同値類全体の集合は
>Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZ}”
>Z/nZは、明らかに有限集合ではない
完全な誤りｗ
Z/nZは、明らかに有限集合
(引用終り)
省27
336(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)07:41 ID:MSw7Rbq1(5/14) AAS
>>335
つづき
例をあげるなら、平面上の4点A, B, C, Dに対して、ABCDが平行四辺形となっている場合、[ベクトルAB]と[ベクトルDC]は等しいと定義され、[ベクトルAB]=[ベクトルDC]という等号で結ばれる。
しかし、よくよく考えると、ABのある場所とDCのある場所は異なっているのだから、どう見ても、これは異なるもののように思える。なのに、等号で結べるのはどうしてか、といえば、それは「同じと見なす」と定義をしているからに他ならない。
実は、こういうことは、それ以前にも知らず知らずのうちに何回も経験しているのだ。ただ、そう意識していないから、記憶に残らないだけなのである。
(引用終り)
(>>264より)
省3
337(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)07:51 ID:MSw7Rbq1(6/14) AAS
"∈による順序"について、分り易い説明を思いついたので書いてみるよ（＾＾
１）まず、>>310の追加補足
(おサル >>275より）
０＝{}
１＝｛０｝={{}}
２＝｛１｝＝{{{}}}
・・・
省31
338(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)07:52 ID:MSw7Rbq1(7/14) AAS
>>337
つづき
２）さて、下記のように考えてみよう
（参考）
外部ﾘﾝｸ:www.sci.shizuoka.ac.jp 数学基礎論サマースクール 選択公理と連続体仮説
外部ﾘﾝｸ[pdf]:www.sci.shizuoka.ac.jp
公理的集合論の基礎 酒井 拓史 神戸大学 2019 年 数学基礎論サマースクール
省31
339(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)07:55 ID:MSw7Rbq1(8/14) AAS
>>338
つづき
３）こう考えると、上記のwikipediaの単純な自然数構成でも
∈Rを使って
0 = {} ∈R {{}} ∈R {{{}}} ∈R {{{{}}}} = 3
と、二項関係∈Rで、綺麗な順序が構成できる
こうして構成した二項関係∈Rには、モストフスキ崩壊補題により
省16
340: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)08:02 ID:MSw7Rbq1(9/14) AAS
>>338 蛇足だが
(引用開始)
３）∈と二項関係の”∈R”との違いについて説明すると、
∈は公理的集合論の集合を構成するカナメの記号だが
”∈R”は、出来上がった集合の二項関係を示すためだけの機能に限定するものとする（集合を構成する力はない）
(引用終り)
公理的集合論の集合を構成するカナメの記号∈が、強力すぎる機能を持たせると
省4
341: 2019/09/19(木)08:19 ID:gcv8MKKh(1/3) AAS
>>328
>Z/nZは、明らかに有限集合ではない
バカ丸出し
342: 2019/09/19(木)19:33 ID:7GQwcv+X(5/9) AAS
>>335
>大学数学の”「同一視する」という考え方”、分かりますか〜ｗ
★チガイの戯言ｗ
>Z/nZ→Z：圏論の忘却函手みたいなのを考えて、Z/nZを忘れたらZに戻るってこと
忘却函手が何かも知らずに、忘却だけで脊髄反射してるなこの馬鹿ｗ
ああ、忘却函手でサーチした結果を読まずにコピペとか要らないからｗｗｗ
省8
343: 2019/09/19(木)19:33 ID:7GQwcv+X(6/9) AAS
>>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」
省7
344: 2019/09/19(木)19:34 ID:7GQwcv+X(7/9) AAS
>>339
モストフスキ崩壊補題を持ち出したところで
「A ∈R C ならば A ⊂ C」
は言えんので前スレ845の１）
2chｽﾚ:math
＞１）二つの集合A,Bで、A ∈ B → A ⊂ B
の正当化にはならんよ
省13
345: 2019/09/19(木)19:39 ID:7GQwcv+X(8/9) AAS
>>336
＞サイコパス性格（屁理屈を使ってでも相手に反論しないと気が済まない）
サイコパスは １ お前自身だよ
馬鹿のくせにリコウぶるな クソったれ
346(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)21:19 ID:MSw7Rbq1(10/14) AAS
おサルさん、踊ってくれてありがとう
お陰で、このガロアスレの勢い２位で 34です （＾＾
（参考）
外部ﾘﾝｸ[html]:49.212.78.147
数学：2ch勢いランキング 9月19日 21:10:27
順位 6H前比 スレッドタイトル レス数 勢い
1位 ↑1 【未解決問題】奇数の完全数が存在しないことの証明5 195 39
省13
347: 2019/09/19(木)21:24 ID:7GQwcv+X(9/9) AAS
>>346
「二つの集合A,Bで、A ∈ B → A ⊂ B」
とトンデモ馬鹿踊りしてるのは貴様一匹
348: 2019/09/19(木)22:43 ID:gcv8MKKh(2/3) AAS
>>335
>この視点では、Z/nZは無限集合
これは酷い
349: 2019/09/19(木)22:45 ID:gcv8MKKh(3/3) AAS
>>もし、Z/nZが完全な有限集合なら、どうやっても、無限集合とすることはできないよね
>なんで、無限集合にしたがるの？
ﾜﾛﾀ
350(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)23:15 ID:MSw7Rbq1(11/14) AAS
>>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に対応を付ければ良い）
省15
351: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)23:17 ID:MSw7Rbq1(12/14) AAS
>>350
つづき
忘却関手をイメージすると、Grp の対象である群の台集合をそのまま Set の対象とし、Grp の射である準同型写像をそのまま Set の射に写す。集合の圏では演算は定義されていないので f(xy) = f(x)f(y) という等式は意味がなくなってしまう。
つまり、忘却関手とは群の圏から演算を取り去ってしまって、そのまま集合の圏の部分圏に写しだしたものと考えると良い。忘却関手の像の射の集合は集合の圏の射の集合の部分集合になっている。
したがって、忘却関手のイメージとは、群の圏を、集合の圏の部分圏へ写す関手と考える事ができる。
一方自由群は集合から作る事ができる。集合の圏の対象である文字集合をその上の自由群に対応させ、文字集合間の写像を対応する自由群間の準同型写像に対応させる関手（自由関手）を考えると、これは忘却関手とは反対方向の Set -> Grp の関手になる。
自由関手は忘却関手の左随伴である。したがって、自由関手と忘却関手の関係が分かれば、随伴の実例のひとつを理解できることになる。
省12
352(2): 2019/09/19(木)23:24 ID:tlqWBAH8(1) AAS
スレ主よ、サル石が僕のスレを荒らしに来たから、
サル石がお前に毎日噛みついていることを
スレ民に教えてやった（笑
サル石がどういう男であるかも、すでに教えてある（笑
そのうちこいつは2chの全員から嫌われるようになるだろう（笑
353(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)23:56 ID:MSw7Rbq1(13/14) AAS
>>335
実数の部分集合として、次のようなものを考えよう
１）正の整数の集合Z+
２）負の整数の集合Z-
３）0 （これは元）
４）上記以外の有理数の集合Q’
５）超越数の集合Tr
省18
354: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)23:59 ID:MSw7Rbq1(14/14) AAS
>>352
哀れな素人さん、どうも。スレ主です。
>サル石がお前に毎日噛みついていることを
>スレ民に教えてやった（笑
>サル石がどういう男であるかも、すでに教えてある（笑
ありがとうございます
サル石は、キチガイサイコパスです（>>2ご参照）
省1
355(1): 2019/09/20(金)05:18 ID:DPgtgKl0(1/13) AAS
>>352
サル石なんて奴はいないよ
俺はそっちのスレには書いてない
ここの1が馬鹿なのは有名
数学板の人間は1と同じ人間とはみなしてない
畜生を尊敬する馬鹿はいないよｗ
356(1): 2019/09/20(金)05:23 ID:DPgtgKl0(2/13) AAS
>>353
>R#＝{Z+,Z-,0,Q’,Tr,A’}
>集合R#＝{Z+,Z-,0,Q’,Tr,A’}は、そこに含まれる元としては、6個にすぎない
>では、R#を有限集合として良いのだろうか？
>その元Z+とかは明らかに無限集合であるのに
なんで集合Sの元が無限集合sだったら、
集合Sも無限集合にならなければいけない
省5
357(1): 2019/09/20(金)05:25 ID:DPgtgKl0(3/13) AAS
1が
「二つの集合A,Bで、A ∈ B → A ⊂ B」
を主張しつづける限り、トンデモとして
永久永劫、数学板読者から侮蔑嘲笑されるｗ
358(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/20(金)06:37 ID:ihE7M+Qz(1/9) AAS
>>355
サル石はいるよ（>>2）
お前のこと
哀れな素人さんのスレ＊）に書いているかどうかとは無関係に、サル石はいる
＊） 現代数学はインチキだらけ
2chｽﾚ:math
>>356
省12
359: 2019/09/20(金)06:51 ID:DPgtgKl0(4/13) AAS
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については推移律が成立する」
省10
360: 2019/09/20(金)06:53 ID:DPgtgKl0(5/13) AAS
>>358
＞（定義）有限集合を、有限個の元からなり、
その元の祖先をたどっていったとき、必ず有限集合かアトムからなる集合と定義する
＞それで終り。これは定義の問題だよ
1 独りよがりのボクちゃん定義を持ち出し自爆死
それじゃ大学数学は無理 諦めて首掻き切って死になw
あんた生きる価値も資格もないからｗｗｗ
361(1): 2019/09/20(金)07:12 ID:DPgtgKl0(6/13) AAS
1の今日の失言
「（定義）有限集合を、有限個の元からなり、
その元の祖先をたどっていったとき、
必ず有限集合かアトムからなる集合と定義する」
「有限集合を、有限個の元からなる集合と定義する」
と理解すればいいところをわざわざ
「その元の祖先をたどっていったとき、
省3
362(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/20(金)07:12 ID:ihE7M+Qz(2/9) AAS
>>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-加群の圏の部分圏と考える
省20
363: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/20(金)07:12 ID:ihE7M+Qz(3/9) AAS
>>362
つづき
（>>329 ）
外部ﾘﾝｸ:math.shinshu-u.ac.jp
代数入門 花木章秀 信州大学理学部数学科
外部ﾘﾝｸ[pdf]:math.shinshu-u.ac.jp
代数学入門
省16
364: 2019/09/20(金)07:16 ID:DPgtgKl0(7/13) AAS
>>358
1 は次からこのタイトルでスレ立てなｗ
「公理的集合論ZFCはインチキだらけ」
そうすれば貴様が●チガイだと読者にもはっきりわかる
365(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/20(金)07:18 ID:ihE7M+Qz(4/9) AAS
>>361
>「有限集合を、有限個の元からなる集合と定義する」
>と理解すればいいところをわざわざ
ヒトの哲学的定義を否定するおサル
要するに、無限集合を”有限集合”以外と定義したいわけ
そして、”有限集合”の範疇を、常識的な有限集合に限定したいわけ
そうしないと、”有限集合”と”無限集合”の哲学的な分離ができないってわけさ
省1
366(1): 2019/09/20(金)07:20 ID:DPgtgKl0(8/13) AAS
>>362
>Z/nZ 函手→ Z-加群の圏 （mod nと類別を忘れる忘却函手）
中身がないね
さすが1は正真正銘の白痴だねｗ
Z/nZの要素は0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZのn個だけ
そこからZへの全射は逆立ちしても不可能ｗｗｗｗｗｗｗ
367(2): 哀れな素人 2019/09/20(金)07:23 ID:RIksxmlw(1/2) AAS
ID:DPgtgKl0
これはサル石である（笑
>諦めて首掻き切って死になw
こんなレスを書く奴はサル石しかいない（笑
368: 2019/09/20(金)07:23 ID:DPgtgKl0(9/13) AAS
>>365
＞ヒトの哲学的定義を否定するおサル
1はヒトに非ず サルどころかイヌですらない
哺乳類が有する知能を有していないｗ
＞要するに、無限集合を”有限集合”以外と定義したいわけ
＞そして、”有限集合”の範疇を、常識的な有限集合に限定したいわけ
1 一匹の常識は、人類の常識に非ず
省3
369: 2019/09/20(金)07:25 ID:DPgtgKl0(10/13) AAS
>>367
君は本拠地に蟄居してなさいｗ
ボクはそっちには書かないから安心しなさい
君の書くことはどれもこれもつまらん
トンデモとしても二流だねｗ
370: 2019/09/20(金)07:29 ID:DPgtgKl0(11/13) AAS
1の今日の名言
「ヒトの”有限集合”と”無限集合”の哲学的定義」
1は「哲学者」ということらしいです
これからソンケーの念を込めてテツガクシャと呼んであげましょう
２１世紀のアリストテレス 爆誕ｗｗｗｗｗｗｗ
371(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/20(金)08:13 ID:ihE7M+Qz(5/9) AAS
>>366
>Z/nZの要素は0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZのn個だけ
>そこからZへの全射は逆立ちしても不可能ｗｗｗｗｗｗｗ
（>>328より）
下記信州大 代数入門 （花木章秀先生）より
”同値類全体の集合は
Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZ
省27
372: 哀れな素人 2019/09/20(金)10:18 ID:RIksxmlw(2/2) AAS
>君の書くことはどれもこれもつまらん
>トンデモとしても二流だねｗ
お前のアホさがよく分る（笑
373: 2019/09/20(金)10:23 ID:Sovgh4Ov(1) AAS
>>367
哀れな素人さん、スレ主です。
レスありがとうございます
スマホからなので、とりあえず
お礼まで(^_^)
374(1): 2019/09/20(金)13:19 ID:KyAOfC1j(1) AAS
1945
かずきち@dy_dt_dt_dx 8月28日
学コン8月号Sコース1等賞1位とれました！
マジで嬉しいです！
来月からも理系に負けず頑張りたいと思います！
Twitterﾘﾝｸ:dy_dt_dt_dx
Twitterﾘﾝｸ:5chan_nel (5ch newer account)
375(1): 2019/09/20(金)18:57 ID:DPgtgKl0(12/13) AAS
>>371
>Z/nZ = {{・・,-2n,-n,0,n,2n,・・}, {・・,-2n+1,-n+1,1,n+1,2n+1,3n,・・}, ・ ・ ・ ,{・・,-n-1,-1,n-1,2n-1,3n-1,・・}}
> ↓全射（内側の{}を外すだけ）
>Z ={・・,-2n,-n,0,n,2n,・・ , ・・,-2n+1,-n+1,1,n+1,2n+1,3n,・・ , ・ ・ ・ , ・・,-n-1,-1,n-1,2n-1,3n-1,・・}
>逆立ちしたら”全射”ができました
これはヒドイ・・・
{}を外すだけじゃ写像にならないことも分からん馬鹿なのか？
省2
376(4): 2019/09/20(金)19:00 ID:DPgtgKl0(13/13) AAS
馬鹿に問題だ
Z/2Z={{0,2,4,…},{1,3,5,…}}とする
1) Z/2Zの元を全て列挙せよ
2) Z/2Zの部分集合を全て列挙せよ
377(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/20(金)23:19 ID:ihE7M+Qz(6/9) AAS
>>375
コケコッコー（おれ）もレベル低いけど、おサルもほんと低レベルだな〜ｗ（＾＾
論破しますｗ
>Z/nZ = {{・・,-2n,-n,0,n,2n,・・}, {・・,-2n+1,-n+1,1,n+1,2n+1,3n+1,・・}, ・ ・ ・ ,{・・,-n-1,-1,n-1,2n-1,3n-1,・・}}
> ↓全射（内側の{}を外すだけ）
>Z ={・・,-2n,-n,0,n,2n,・・ , ・・,-2n+1,-n+1,1,n+1,2n+1,3n+1,・・ , ・ ・ ・ , ・・,-n-1,-1,n-1,2n-1,3n-1,・・}
全射できてるよ（＾＾
省32
378(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/20(金)23:20 ID:ihE7M+Qz(7/9) AAS
>>376
コケコッコー（おれ）もレベル低いけど、おサルもほんと低レベルだな〜ｗ（＾＾
必死の論点そらし、ご苦労さん
まあ、下記でもご参照
「表記と慣例」
「同値類を表すのに代表元に施す角括弧をしばしば省略して、代表元とそれが属する合同類とを同じ文字で表す」
「合同類を表す符牒が無数にあるという不定性を除くために、各合同類から「標準的」(canonical) な代表元を選んで、それと合同類とを同一視することもよく行われる」
省22
379(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/20(金)23:21 ID:ihE7M+Qz(8/9) AAS
>>378
つづき
一般化
剰余類の概念は整数環ではないほかの環に対しても考えることができる。イデアルの概念を定義して、イデアルを法とする剰余類を構成すれば、それらの全体は再び環を成し、環のイデアルによる剰余（類）環あるいは商環と呼ばれる。
外部ﾘﾝｸ:ja.wikipedia.org
整数の合同
(抜粋)
省5
380: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/20(金)23:37 ID:ihE7M+Qz(9/9) AAS
>>374
>学コン8月号Sコース1等賞1位とれました！
おめでとう
それは、良かったですね（＾＾
381(1): 2019/09/21(土)00:17 ID:svbXdWN6(1/5) AAS
整数は偶数と奇数という２種類しか無い。
だからZ/2Zは2元集合であって3元集合でも無限集合でもない。
「〜の視点で見れば…」などという主観が入り込む余地は無い。
そもそも主観に依存するならそれは数学ではない。
バカ丸出し
382: 2019/09/21(土)00:25 ID:svbXdWN6(2/5) AAS
>>335
>まあ、コウモリが、鳥か獣かという話みたいなもので、視点（数学では定義）によって、見方は変わる
と商集合の定義も理解できないバカが申しております
383: 2019/09/21(土)00:33 ID:svbXdWN6(3/5) AAS
>>371
>だから
>Z/nZ = {{・・,-2n,-n,0,n,2n,・・}, {・・,-2n+1,-n+1,1,n+1,2n+1,3n,・・}, ・ ・ ・ ,{・・,-n-1,-1,n-1,2n-1,3n-1,・・}}
> ↓全射（内側の{}を外すだけ）
>Z ={・・,-2n,-n,0,n,2n,・・ , ・・,-2n+1,-n+1,1,n+1,2n+1,3n,・・ , ・ ・ ・ , ・・,-n-1,-1,n-1,2n-1,3n-1,・・}
>逆立ちしたら”全射”ができました（＾＾
外すだけってｗ 外したら全く違う集合になるんだがｗ
省1
384: 2019/09/21(土)05:55 ID:s+bHRCsH(1/17) AAS
>>377
>Zをｎ個の無限集合に、合同で分けたものがZ/nZと考えれば、
>これは無限集合でしょう
これはヒドイ・・・
>・ →・
>-2n→-2n
>-n→-n
省6
385(3): 2019/09/21(土)06:05 ID:s+bHRCsH(2/17) AAS
>>378
>必死の論点そらし、ご苦労さん
必死の回答拒否、ミットモナイｗ
>>376の質問に答えられない時点で
テツガクシャ1は要素と部分集合が理解できてない
と白状したわけだｗ
>Z/2Z={{0,2,4,…},{1,3,5,…}}とする
省10
386: 2019/09/21(土)06:16 ID:s+bHRCsH(3/17) AAS
>>381
テツガクシャ1は、実にしばしば
「ある意味…」「〜の視点で見れば…」
という言葉を吐くが、はっきりいって
他人の言葉を理解せず、自分勝手な先入見を
正当化したいための詭弁にすぎない
教科書で言葉を定義した瞬間、
省9
387: 2019/09/21(土)06:25 ID:s+bHRCsH(4/17) AAS
■集合{…}から要素を取り出す最も簡単な方法
一番外側の{}を外すだけｗ
そこで現れた要素が集合であって、{}で括られてたからといって
さらに{}を外す奴は正真正銘の馬鹿ｗ
■集合{…}から部分集合を作る最も簡単な方法
一番外側の{}だけを外し、そこで現れた各要素の中から
勝手に選んで、再度{}をつけるだけ
省2
388: 2019/09/21(土)06:32 ID:s+bHRCsH(5/17) AAS
>>365
アリストテレス以来、哲学者というのは
「自分勝手な先入見を、真実であるかの如く語る●違い」
と相場が決まっている
この板でも、「２１世紀のホッブス」である惨めな素人が
無限小数なんて存在しない！と発●しつづけている
我々は
省4
389: 2019/09/21(土)06:43 ID:s+bHRCsH(6/17) AAS
>>379
＞コウモリが、鳥か獣か
今やDNA解析で系統樹は構築されるので
「ある意味…」「〜の視点で見れば…」
という言い訳はここでも無意味である
390(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/21(土)07:34 ID:RSxZzkRi(1/13) AAS
>>378 補足
コケコッコー（おれ）もレベル低いけど、おサルもほんと低レベルだな〜ｗ（＾＾
必死の論点そらし、ご苦労さん
もう一度纏めます（＾＾
１）ヒトは、「同一視」と「同一」の区別ができる。おサルはできない。それに尽きるのかも
２）整数Zに合同（≡又はmod）を定義して、あるnによる同値類とその集合Z/nZを考える
３）Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZ}である
省21
391(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/21(土)07:36 ID:RSxZzkRi(2/13) AAS
>>390
つづき
外部ﾘﾝｸ[pdf]:math.shinshu-u.ac.jp
代数学入門 花木 章秀 信州大 2013
(抜粋)
P29
3.2 整数の合同によって定義される環
省31
392(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/21(土)07:49 ID:RSxZzkRi(3/13) AAS
>>391 補足
(引用開始)
2 を法とする剰余類環
整数を 2 で割った剰余は 0 か 1 となるから、Z/2Z = {0, 1} であり、これはすべての剰余類環のなかで位数最小のものである。また、2 は素数なのでこれは位数最小の有限体 F2 とも一致する。
(引用終り)
”Z/2Z = {0, 1}”の”=”は、環としての「同一視」ですね
これを完全に「同一」とすることはできない
省1
393(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/21(土)08:03 ID:RSxZzkRi(4/13) AAS
>>309 補足
（参考）
外部ﾘﾝｸ:ja.wikipedia.org
アンジェイ・モストフスキ
(抜粋)
アンジェイ・モストフスキ(Andrzej Mostowski, 1913年9月1日 ? 1975年8月22日)はポーランドの数学者。モストフスキ崩壊補題で有名。 オーストリア＝ハンガリー帝国のリヴィウで生まれる。
生涯
省9
394(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/21(土)08:07 ID:RSxZzkRi(5/13) AAS
>>393 補足
モストフスキ崩壊補題の原論文PDFが下記にあるね
”1949,?theorem 3”らしい
外部ﾘﾝｸ:en.wikipedia.org
Mostowski collapse lemma
(抜粋)
In mathematical logic, the Mostowski collapse lemma, also known as the Shepherdson?Mostowski collapse, is a theorem of set theory introduced by Andrzej Mostowski (1949,?theorem 3) and John Shepherdson (1953).
省3
395: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/21(土)08:33 ID:RSxZzkRi(6/13) AAS
>>394 補足
>John Shepherdson (1953).
下記の”Akihiro Kanamori”のReferencesに、多く”Google Scholar”のリンクが張ってあって
jstorの”Full-text is available ”などに辿り着けるね
外部ﾘﾝｸ:www.cambridge.org
Bulletin of Symbolic Logic
Volume 2, Issue 1March 1996 , pp. 1-71
省12
396(2): 2019/09/21(土)11:12 ID:svbXdWN6(4/5) AAS
>>390
>６）だから、Z/nZから、合同による類別をやめれば、Zが復元できる
> この意味で、Z/nZには、Zの元が全て入っている（集合論の厳密な”∈”とは別の意味で）
これは酷い
>７）Z/nZの中の任意の整数mと、Zの元の中の任意の整数mとは、対応が付く
> 対応を、写像と考えることができる
これは酷い
397(1): 2019/09/21(土)11:41 ID:s+bHRCsH(7/17) AAS
>>390-392
1は同一視という言葉で自分の主張をどう正当化したいのか不明
単に煙に巻きたいだけなら、そんなのこの板では通用しない
この板では1より馬鹿なヤツはまずいないｗ
そもそも1は>>376の質問に回答できなかった時点で負け犬ｗ
>>385で予想したようなトンチンカン回答は図星だったんだろうｗ
>>393-394
省4
398: 2019/09/21(土)11:45 ID:s+bHRCsH(8/17) AAS
>>396
>（集合論の厳密な”∈”とは別の意味で）
「厳密な∈とは違う」＝「私間違えました」という意味でしょう
1は謝罪しなくていいです
焼身自殺してください
生きる価値も資格もない畜生ですから
肉は我々が食ってあげますから
省1
399: 2019/09/21(土)11:49 ID:s+bHRCsH(9/17) AAS
>>396
>Z/nZの中の任意の整数mと、Zの元の中の任意の整数mとは、対応が付く
Z/nZの中に整数ｍはありません
あるのは同値類の集合
同値類の集合（ｎ個！）から整数全体への全単射がないのは
人間ならだれでもわかることです
1は人間じゃないってことｗｗｗ
400: 2019/09/21(土)11:56 ID:s+bHRCsH(10/17) AAS
>>376
>Z/2Z={{0,2,4,…},{1,3,5,…}}とする
>1) Z/2Zの元を全て列挙せよ
>2) Z/2Zの部分集合を全て列挙せよ
1 答えらえず、苦し紛れの言い訳ｗｗｗ
>>379
>必死の論点そらし、ご苦労さん
省6
401(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/21(土)14:24 ID:RSxZzkRi(7/13) AAS
おサルさん、踊ってくれてありがとうｗ
ガロアスレの勢いが、2位に浮上しましたｗ（＾＾
外部ﾘﾝｸ[html]:49.212.78.147
順位 6H前比 スレッドタイトル レス数 勢い
1位 = 【未解決問題】奇数の完全数が存在しないことの証明5 246 36
2位 = 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 400 34
3位 = 0.99999……は１ではない 248 32
省4
402(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/21(土)14:26 ID:RSxZzkRi(8/13) AAS
3位は、哀れな素人さんの立てたスレか（＾＾；
0.99999……は１ではない
2chｽﾚ:math
1 名前：哀れな素人[] 投稿日：2019/09/13(金) 22:24:37.09 ID:U+cKUvgR
詳細は今世紀最高の重要本
「相対性理論はペテンである／無限小数は数ではない」
参照
省3
403(1): 2019/09/21(土)14:28 ID:s+bHRCsH(11/17) AAS
>>401
「モストフスキ！！！」と絶叫して
見当違いのことわめいてるのは
1 君だよｗ
404(2): 2019/09/21(土)14:33 ID:s+bHRCsH(12/17) AAS
>>402
「0.99999……は１ではない」という主張は別に珍しくない
こういう人はそもそも0.99999……を
「有限小数が延々と伸び続ける状態」と思っていて
「小数点以下の全ての桁が9である無限小数」と思ってない
話がかみ合わないから、ほうっておくに限る
405(1): 2019/09/21(土)19:08 ID:svbXdWN6(5/5) AAS
スレ主は中退？
あまりに酷い
406: 2019/09/21(土)19:10 ID:Hes6utyS(1) AAS
ワッチョイ、IP表示議論スレ
2chｽﾚ:math
407(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/21(土)19:30 ID:RSxZzkRi(9/13) AAS
>>403-404
おサル、ありがとうｗ（＾＾
408: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/21(土)19:32 ID:RSxZzkRi(10/13) AAS
>>405
おお、あなたにも、お礼を
二匹だったね
数学科じゃないね、文系 High level people（>>3）かな（＾＾
上下前次1-新書関写板覧索設栞歴
あと 594 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.047s