[過去ログ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002レス)
1-

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
301
(1): 2019/09/18(水)09:57 ID:zy3SeO75(1/2) AAS
おっちゃんです。
自然数の定義やベン図の話しているのか。
0=Φ、
1={0}={Φ}、
2={0、1}={Φ、{Φ}}、
3={0、1、2}={Φ、{Φ}、{Φ、{Φ}}}、
……
というように、各正整数 i=1,2,3,… に対して、集合iをすべてのiより小さい自然数からなる集合族で定義する。
以降、同様に正整数iの集合iをすべてのiより小さい自然数からなる集合族として、
iの正整数の大小が小さい方から帰納的に定義して行く。
省7
302
(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/18(水)10:06 ID:fhLrN2ai(1/3) AAS
メモ
外部リンク:www.nikkei.com
IT企業の売上高、5社で7割稼ぐ 勝者総取りの力学
Neo economy(2)姿なき富を探る
2019/9/17 23:00日本経済新聞 電子版
(抜粋)
自らの知識やアイデアを極め、ヒトのように動くロボットをつくりたい――。
そんな夢を追う元東大助教の中西雄飛氏が当時の米グーグルの上級副社長、アンディ・ルービン氏から「20年かけてでも大きな夢を実現しよう」と誘われたのは2013年。
仲間と立ち上げた二足歩行ロボットの開発ベンチャー「シャフト」を売却するきっかけだった。ところがルービン氏が退社すると、グーグルは短期の収益が期待できないとして18年にシャフトを解散。5年で見切りを付けた。

まだ形になっていない技術革新の芽を次々と買うグーグルなど「GAFA」。
省2
303: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/18(水)10:07 ID:fhLrN2ai(2/3) AAS
>>301
おっちゃん、どうも、スレ主です。
お元気そうでなによりです。(^^
304: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/18(水)10:09 ID:fhLrN2ai(3/3) AAS
>>302

関連追加
外部リンク:www.nikkei.com
企業価値の源は8割無形 重み増す知識、割食う賃金
Neo economy(1)姿なき富を探る
2019/9/16 23:30日本経済新聞 電子版

知識やデータなど姿なき資産が富の源泉となり、経済はモノや距離、時間といった物理的な制約から解き放たれ始めた。どんな豊かさやリスクが広がるのか。

【関連記事】
・識者に聞く(1) 無形資産の果実、消費者に
・無形資産投資、米欧はGDP比10%超も 日本出遅れ
省1
305: 2019/09/18(水)16:52 ID:zy3SeO75(2/2) AAS
それじゃ、おっちゃんもう寝る。
306
(1): 2019/09/18(水)19:12 ID:wvXbGob9(9/19) AAS
>>299
誤 論破します
正 論破されました

>集合A社={第一事業部、第二事業部、第三事業部、AI研究所}も、
>集合N’={N2,Nodd}も禁止されているわけではない

「社員が要素だ」といいたいのなら、上記のA社は×
「個々の自然数が要素だ」といいたいのなら、上記のN'は×

部分集合だと考えればいいものをわざわざ要素にするのが馬鹿

mod2の算術を考えるのに、
余りによる同値類の集合ということで
省18
307
(3): 2019/09/18(水)19:19 ID:wvXbGob9(10/19) AAS
午後、書店に立ち寄ったら
キューネン著 藤田博司訳「集合論」(日本評論社)
があったので、ちょっと中身を見てみたら
「第1章 公理的集合論の基礎」の「7 順序数」(p21)
のところで、推移的集合でない集合の例として{{{}}}(文中では{{0}})
順序数でない集合の例として{{{{}}},{{}}.{}}(文中では{{{0}},{0},0})
がしっかりでてたぞ

これで1が間違ってることは確定したなw
どうした?モストフスキw
(キューネンにもモストフスキ云々は出てくるがもっと後w)
308: 2019/09/18(水)19:23 ID:wvXbGob9(11/19) AAS
>>307
誤 順序数でない集合
正 順序数でない推移的集合
309
(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/18(水)20:48 ID:3KrCaRK2(9/10) AAS
>>307
>キューネン著 藤田博司訳「集合論」(日本評論社)

下記だね。英文版あるよ(^^
(いまやってみたら、リンクは有効だね)
モストフスキまで、読んだ方が良いと思うよw(^^;
スレ75 2chスレ:math
より
スレ61 2chスレ:math
Kunen, Kenneth (1980), Set TheoryのPDFなど見つけたんだよね
これは、藤田 博司先生の日本語版を持っている人には役に立つだろう(^^
省22
310
(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/18(水)20:53 ID:3KrCaRK2(10/10) AAS
>>307
>キューネン著 藤田博司訳「集合論」(日本評論社)
>があったので、ちょっと中身を見てみたら

下記の方の理解は進んだかい?w(^^

>>299より)
(引用開始)
おサルの主張は、(>>236
「会社は部の集合ではありませんw
(ついでにいうと部は課の集合ではないw)
 会社は社員の集合ですからw」
省12
311: 2019/09/18(水)20:56 ID:wvXbGob9(12/19) AAS
AA省
312: 2019/09/18(水)20:58 ID:wvXbGob9(13/19) AAS
AA省
313: 2019/09/18(水)21:01 ID:wvXbGob9(14/19) AAS
AA省
314: 2019/09/18(水)21:04 ID:wvXbGob9(15/19) AAS
AA省
315: 2019/09/18(水)21:07 ID:wvXbGob9(16/19) AAS
AA省
316: 2019/09/18(水)21:10 ID:Z1DjOgU6(1/3) AAS
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は素数) のとき必ず素数になる
317: 2019/09/18(水)21:11 ID:wvXbGob9(17/19) AAS
AA省
318: 2019/09/18(水)21:12 ID:Z1DjOgU6(2/3) AAS
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
319: 2019/09/18(水)21:14 ID:wvXbGob9(18/19) AAS
AA省
320: 2019/09/18(水)21:15 ID:Z1DjOgU6(3/3) AAS
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
321: 2019/09/18(水)21:18 ID:wvXbGob9(19/19) AAS
AA省
322: 2019/09/18(水)22:49 ID:DounDdrn(1/5) AAS
>>287
>別にボディーはヒトの身体の要素でなく部分集合でいいし
要素と部分集合の区別がつかないんでしょうね
頭悪過ぎて
323: 2019/09/18(水)22:53 ID:DounDdrn(2/5) AAS
>>291
アホはどう見てもおまえ
早く近所の中学生に教わってこい
324: 2019/09/18(水)22:55 ID:DounDdrn(3/5) AAS
>>295
近所の中学生に要素と部分集合の違いを教わってこいバカ
325: 2019/09/18(水)23:00 ID:DounDdrn(4/5) AAS
>>299
>コケコッコー(おれ)もレベル低いけど、おサルもほんと低レベルだな〜w
自惚れるな
おまえはレベルが低いなんていう次元じゃない、ランク外
中学生はお前みたいなアホなこと言わんぞ?
326: 2019/09/18(水)23:15 ID:DounDdrn(5/5) AAS
2chスレ:math
が証明になってると信じて疑わないアホに数学は到底無理
327: 2019/09/19(木)00:01 ID:CKGg5Ajl(1) AAS
往生際が悪すぎ
328
(6): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)00:48 ID:MSw7Rbq1(1/14) AAS
>>306
(引用開始)
その場合、個々の自然数を要素とすることはしませんよ
同値類から代表元をとって
{0,1}という別集合を考える
というのはありますがね
(引用終り)

コケコッコー(おれ)もレベル低いけど、おサルもほんと低レベルだな〜w
論破しますw

(引用開始)
省25
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
代数学入門
花木 章秀
2013 年前期
(2013/04/01)
省19
330: 2019/09/19(木)06:31 ID:7GQwcv+X(1/9) AAS
>>328
>”同値類全体の集合は
>Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZ}”

>Z/nZは、明らかに有限集合ではない

完全な誤りw

Z/nZは、明らかに有限集合

>Z/nZは無限集合を類別した集合ですし、
省16
331: 2019/09/19(木)06:33 ID:7GQwcv+X(2/9) AAS
>>329
>サイコパス性格(屁理屈を使ってでも相手に反論しないと気が済まない)が出ているな

1のサイコパス性格がでているな

Z/nZが無限集合とか、どんだけ低レベルの馬鹿なんだよwwwwwww
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)。
 ↓
して a - b = nl となるとき a ≡ b (mod n) と書くことにする (問 1.2.1)。

Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n ? 1) + nZ}
 ↓
省2
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は、明らかに有限集合ではない
完全な誤りw
Z/nZは、明らかに有限集合
(引用終り)

コケコッコー(おれ)もレベル低いけど、おサルもほんと低レベルだな〜w
論破しますw

下記、大学数学の”「同一視する」という考え方”、分かりますか〜w(^^;
省24
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より)
ほんと、コケコッコー(おれ)もレベル低いけど、おサルも低レベルだな〜w(^^
(つーか、いまふと思ったが、彼のサイコパス性格(屁理屈を使ってでも相手に反論しないと気が済まない)が出ているなー(>>2ご参照)。すげー、低レベルの屁理屈反論w(^^; )
以上
337
(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)07:51 ID:MSw7Rbq1(6/14) AAS
"∈による順序"について、分り易い説明を思いついたので書いてみるよ(^^

1)まず、>>310の追加補足
(おサル >>275より)
0={}
1={0}={{}}
2={1}={{{}}}
・・・
ってやり方だと、0∈1∈2だけど、0∈2にならないんだよね
0={}
1={0}={{}}
省28
338
(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)07:52 ID:MSw7Rbq1(7/14) AAS
>>337
つづき

2)さて、下記のように考えてみよう
(参考)
外部リンク:www.sci.shizuoka.ac.jp 数学基礎論サマースクール 選択公理と連続体仮説
外部リンク[pdf]:www.sci.shizuoka.ac.jp
公理的集合論の基礎 酒井 拓史 神戸大学 2019 年 数学基礎論サマースクール
(抜粋)
P3
公理的集合論の枠組み
省28
339
(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)07:55 ID:MSw7Rbq1(8/14) AAS
>>338
つづき

3)こう考えると、上記のwikipediaの単純な自然数構成でも
∈Rを使って
0 = {} ∈R {{}} ∈R {{{}}} ∈R {{{{}}}} = 3
と、二項関係∈Rで、綺麗な順序が構成できる

こうして構成した二項関係∈Rには、モストフスキ崩壊補題により
”推移的集合Mによる (M, ∈) と順序同型で、順序同型な順序数が一意に存在する” (>>261 近藤 友祐 神戸大学 )

この考えによれば、二項関係∈Rの意味で
 >>299のA社={第一事業部、第二事業部、第三事業部、AI研究所}で
省13
340: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)08:02 ID:MSw7Rbq1(9/14) AAS
>>338 蛇足だが

(引用開始)
 3)∈と二項関係の”∈R”との違いについて説明すると、
  ∈は公理的集合論の集合を構成するカナメの記号だが
  ”∈R”は、出来上がった集合の二項関係を示すためだけの機能に限定するものとする(集合を構成する力はない)
(引用終り)

公理的集合論の集合を構成するカナメの記号∈が、強力すぎる機能を持たせると
パラドックスを生じる危険性がある
だから、公理的集合論の中では、∈をできるだけ限定した機能として作用させているのだろう
しかし、日常の自然言語における”所属”とか”属する”は、公理的集合論に捕らわれず、我々は広い意味で使っている
省1
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
>大学数学の”「同一視する」という考え方”、分かりますか〜w

★チガイの戯言w

>Z/nZ→Z:圏論の忘却函手みたいなのを考えて、Z/nZを忘れたらZに戻るってこと

忘却函手が何かも知らずに、忘却だけで脊髄反射してるなこの馬鹿w

ああ、忘却函手でサーチした結果を読まずにコピペとか要らないからwww
省8
343: 2019/09/19(木)19:33 ID:7GQwcv+X(6/9) AAS
>>338
> 1)A∈Bのとき、二項関係 A ∈R B が成立っているとする
> 2)さらに、A∈B∈Cのとき、二項関係 A ∈R B とB ∈R C のみならず、A ∈R Cも成立っているとする(推移律)
>  くどいが、間にBを挟んだ間接的な場合にも、A ∈R Cも成立っているとする

で?

まさか
「A ∈R C ならば A ⊂ C」
とかタワケたこと言わんだろうねw

君、A⊂Bの定義、知ってる?
∀x(x∈A⇒x∈B)
省4
344: 2019/09/19(木)19:34 ID:7GQwcv+X(7/9) AAS
>>339
モストフスキ崩壊補題を持ち出したところで
「A ∈R C ならば A ⊂ C」
は言えんので前スレ845の1)
2chスレ:math
>1)二つの集合A,Bで、A ∈ B → A ⊂ B
の正当化にはならんよ

したがって全く無意味

> 二項関係∈Rの意味で
> >>299のA社={第一事業部、第二事業部、第三事業部、AI研究所}で
省10
345: 2019/09/19(木)19:39 ID:7GQwcv+X(8/9) AAS
>>336
>サイコパス性格(屁理屈を使ってでも相手に反論しないと気が済まない)

サイコパスは 1 お前自身だよ
馬鹿のくせにリコウぶるな クソったれ
346
(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)21:19 ID:MSw7Rbq1(10/14) AAS
おサルさん、踊ってくれてありがとう
お陰で、このガロアスレの勢い2位で 34です (^^

(参考)
外部リンク[html]:49.212.78.147
数学: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……は1ではない 149 25
省10
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に対応を付ければ良い)

<補足>
要するに、上記で言いたいことは、Z/nZの要素の各同値類の集合の要素と、集合Zとの元との対応がきちんとつくってこと
(例:上記の 0 + nZ∋2n→2n∈Z)
省12
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 の関手になる。
自由関手は忘却関手の左随伴である。したがって、自由関手と忘却関手の関係が分かれば、随伴の実例のひとつを理解できることになる。

外部リンク:m-hiyama.hatenablog.com/entry/20101021/1287620286
檜山正幸のキマイラ飼育記 (はてなBlog)
2010-10-21
省9
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

実数の部分集合として、次のようなものを考えよう
1)正の整数の集合Z+
2)負の整数の集合Z-
3)0 (これは元)
4)上記以外の有理数の集合Q’
5)超越数の集合Tr
6)上記1)〜5)以外の実数の集合A’(代数的数で無理数である実数より成る集合)

さて、
1)上記1)〜6)を要素とする集合をR#とする
省15
354: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/19(木)23:59 ID:MSw7Rbq1(14/14) AAS
>>352
哀れな素人さん、どうも。スレ主です。

>サル石がお前に毎日噛みついていることを
>スレ民に教えてやった(笑
>サル石がどういう男であるかも、すでに教えてある(笑

ありがとうございます
サル石は、キチガイサイコパスです(>>2ご参照)
まあ、世間のヒトには、キチガイサイコパスの生きた生態見本を見て貰えればと思いますw(^^;
355
(1): 2019/09/20(金)05:18 ID:DPgtgKl0(1/13) AAS
>>352
サル石なんて奴はいないよ

俺はそっちのスレには書いてない

ここの1が馬鹿なのは有名
数学板の人間は1と同じ人間とはみなしてない
畜生を尊敬する馬鹿はいないよw
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も無限集合にならなければいけない
と「発狂」するのか? 精神異常か?w

Z2={Even,Odd}
(Evenは偶数全体の集合、Oddは奇数全体の集合}
省2
357
(1): 2019/09/20(金)05:25 ID:DPgtgKl0(3/13) AAS
1が
「二つの集合A,Bで、A ∈ B → A ⊂ B」
を主張しつづける限り、トンデモとして
永久永劫、数学板読者から侮蔑嘲笑されるw
358
(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/20(金)06:37 ID:ihE7M+Qz(1/9) AAS
>>355
サル石はいるよ(>>2
お前のこと
哀れな素人さんのスレ*)に書いているかどうかとは無関係に、サル石はいる
*) 現代数学はインチキだらけ
2chスレ:math

>>356
>なんで集合Sの元が無限集合sだったら、
>集合Sも無限集合にならなければいけない

(定義)有限集合を、有限個の元からなり、その元の祖先をたどっていったとき、必ず有限集合かアトムからなる集合と定義する
省9
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については推移律が成立する」
読者「x ∈R z ならば、x⊂z、は云えないけど」

今ここw

---
省7
360: 2019/09/20(金)06:53 ID:DPgtgKl0(5/13) AAS
>>358
>(定義)有限集合を、有限個の元からなり、
  その元の祖先をたどっていったとき、必ず有限集合かアトムからなる集合と定義する
>それで終り。これは定義の問題だよ

1 独りよがりのボクちゃん定義を持ち出し自爆死

それじゃ大学数学は無理 諦めて首掻き切って死になw
あんた生きる価値も資格もないからwww
361
(1): 2019/09/20(金)07:12 ID:DPgtgKl0(6/13) AAS
1の今日の失言
「(定義)有限集合を、有限個の元からなり、
  その元の祖先をたどっていったとき、
  必ず有限集合かアトムからなる集合と定義する」

「有限集合を、有限個の元からなる集合と定義する」
と理解すればいいところをわざわざ
「その元の祖先をたどっていったとき、
 必ず有限集合かアトムからなる」
というバカげた文言を追加する点に
1の白痴ぶりが表れている
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-加群の圏の部分圏と考える

Z-加群の圏 函手→ Z/nZ (mod nと類別)
Z/nZ 函手→ Z-加群の圏 (mod nと類別を忘れる忘却函手)

かな(^^
省17
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
代数学入門
花木 章秀
2013 年前期
(2013/04/01)
省13
364: 2019/09/20(金)07:16 ID:DPgtgKl0(7/13) AAS
>>358
1 は次からこのタイトルでスレ立てなw

「公理的集合論ZFCはインチキだらけ」

そうすれば貴様が●チガイだと読者にもはっきりわかる
365
(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/20(金)07:18 ID:ihE7M+Qz(4/9) AAS
>>361
>「有限集合を、有限個の元からなる集合と定義する」
>と理解すればいいところをわざわざ

ヒトの哲学的定義を否定するおサル
要するに、無限集合を”有限集合”以外と定義したいわけ

そして、”有限集合”の範疇を、常識的な有限集合に限定したいわけ
そうしないと、”有限集合”と”無限集合”の哲学的な分離ができないってわけさ

ヒトの”有限集合”と”無限集合”の哲学的定義を否定するおサルw(^^;
366
(1): 2019/09/20(金)07:20 ID:DPgtgKl0(8/13) AAS
>>362
>Z/nZ 函手→ Z-加群の圏 (mod nと類別を忘れる忘却函手)

中身がないね
さすが1は正真正銘の白痴だねw

Z/nZの要素は0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZのn個だけ

そこからZへの全射は逆立ちしても不可能wwwwwww
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はヒトに非ず サルどころかイヌですらない
哺乳類が有する知能を有していないw

>要するに、無限集合を”有限集合”以外と定義したいわけ
>そして、”有限集合”の範疇を、常識的な有限集合に限定したいわけ

1 一匹の常識は、人類の常識に非ず

>そうしないと、”有限集合”と”無限集合”の哲学的な分離ができないってわけさ
省2
369: 2019/09/20(金)07:25 ID:DPgtgKl0(10/13) AAS
>>367
君は本拠地に蟄居してなさいw

ボクはそっちには書かないから安心しなさい
君の書くことはどれもこれもつまらん
トンデモとしても二流だねw
370: 2019/09/20(金)07:29 ID:DPgtgKl0(11/13) AAS
1の今日の名言

「ヒトの”有限集合”と”無限集合”の哲学的定義」

1は「哲学者」ということらしいです

これからソンケーの念を込めてテツガクシャと呼んであげましょう

21世紀のアリストテレス 爆誕wwwwwww
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への全射は逆立ちしても不可能wwwwwww

>>328より)
下記信州大 代数入門 (花木章秀先生)より
”同値類全体の集合は
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,・・}
省24
372: 哀れな素人 2019/09/20(金)10:18 ID:RIksxmlw(2/2) AAS
>君の書くことはどれもこれもつまらん
>トンデモとしても二流だねw

お前のアホさがよく分る(笑
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,・・}
>逆立ちしたら”全射”ができました

これはヒドイ・・・

{}を外すだけじゃ写像にならないことも分からん馬鹿なのか?

Q. Z/nZの元{・・,-2n,-n,0,n,2n,・・}はZのどの元に写像されるか?
  Zの元を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
コケコッコー(おれ)もレベル低いけど、おサルもほんと低レベルだな〜w(^^
論破しますw

>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,・・}

全射できてるよ(^^
(内側の{}を外して、展開すると下記だ)
Z/nZ→Z

・ →・
省29
378
(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/20(金)23:20 ID:ihE7M+Qz(7/9) AAS
>>376
コケコッコー(おれ)もレベル低いけど、おサルもほんと低レベルだな〜w(^^

必死の論点そらし、ご苦労さん
まあ、下記でもご参照
「表記と慣例」
「同値類を表すのに代表元に施す角括弧をしばしば省略して、代表元とそれが属する合同類とを同じ文字で表す」
「合同類を表す符牒が無数にあるという不定性を除くために、各合同類から「標準的」(canonical) な代表元を選んで、それと合同類とを同一視することもよく行われる」
そのうえでの、「Z/2Z = {0, 1} 」ってですよ(^^;
同一視は、上記の”hiroyukikojima” ”「同じと見なす」ことの素晴らしさと難しさ”

(参考)
省19
379
(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/20(金)23:21 ID:ihE7M+Qz(8/9) AAS
>>378
つづき

一般化
剰余類の概念は整数環ではないほかの環に対しても考えることができる。イデアルの概念を定義して、イデアルを法とする剰余類を構成すれば、それらの全体は再び環を成し、環のイデアルによる剰余(類)環あるいは商環と呼ばれる。

外部リンク:ja.wikipedia.org
整数の合同
(抜粋)
合同類環 Z/nZ
加法: 二つの剰余類 a, b に対して剰余類 a + b modulo n を割り当てる。理論的には整数の加法と異なる和であるから別の記号で表すべきであるかもしれないが、簡便さを保つために整数の和と同じ記号 "+" をそのまま使うことも多い。

合同類環 Z/nZ の構成は環のイデアルによる商構成である。環 Z/nZ の代数的性質に関しては合同類環の項へ譲る。
省2
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
整数は偶数と奇数という2種類しか無い。
だから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,・・}
>逆立ちしたら”全射”ができました(^^
外すだけってw 外したら全く違う集合になるんだがw
キチガイ過ぎるw
384: 2019/09/21(土)05:55 ID:s+bHRCsH(1/17) AAS
>>377
>Zをn個の無限集合に、合同で分けたものがZ/nZと考えれば、
>これは無限集合でしょう

これはヒドイ・・・

>・ →・
>-2n→-2n
>-n→-n
>0 →0
>n →n
>2n→2n
省3
385
(3): 2019/09/21(土)06:05 ID:s+bHRCsH(2/17) AAS
>>378
>必死の論点そらし、ご苦労さん
必死の回答拒否、ミットモナイw

>>376の質問に答えられない時点で
テツガクシャ1は要素と部分集合が理解できてない
と白状したわけだw

>Z/2Z={{0,2,4,…},{1,3,5,…}}とする
>1) Z/2Zの元を全て列挙せよ

答えは{0,2,4,…}と{1,3,5,…}の2つ

0,1,2,3,4,5,…とか答えるテツガクシャ1は
省7
386: 2019/09/21(土)06:16 ID:s+bHRCsH(3/17) AAS
>>381
テツガクシャ1は、実にしばしば
「ある意味…」「〜の視点で見れば…」
という言葉を吐くが、はっきりいって
他人の言葉を理解せず、自分勝手な先入見を
正当化したいための詭弁にすぎない

教科書で言葉を定義した瞬間、
読者の自分勝手な「オレ様定義」は
入り込む余地がなくなる

クライアントが要求を出した瞬間、
省6
387: 2019/09/21(土)06:25 ID:s+bHRCsH(4/17) AAS
■集合{…}から要素を取り出す最も簡単な方法
 一番外側の{}を外すだけw
 そこで現れた要素が集合であって、{}で括られてたからといって
 さらに{}を外す奴は正真正銘の馬鹿w

■集合{…}から部分集合を作る最も簡単な方法
 一番外側の{}だけを外し、そこで現れた各要素の中から
 勝手に選んで、再度{}をつけるだけ

 内側の{}なんかまったくいじる必要がない
 内側の{}まで外そうとする奴は正真正銘の馬鹿w
388: 2019/09/21(土)06:32 ID:s+bHRCsH(5/17) AAS
>>365
アリストテレス以来、哲学者というのは
「自分勝手な先入見を、真実であるかの如く語る●違い」
と相場が決まっている

この板でも、「21世紀のホッブス」である惨めな素人が
無限小数なんて存在しない!と発●しつづけている

我々は
アリストテレスに対するアルキメデス
ホッブスに対するウォリス
の立場で発言し続ける
省1
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 補足
コケコッコー(おれ)もレベル低いけど、おサルもほんと低レベルだな〜w(^^
必死の論点そらし、ご苦労さん

もう一度纏めます(^^
1)ヒトは、「同一視」と「同一」の区別ができる。おサルはできない。それに尽きるのかも
2)整数Zに合同(≡又はmod)を定義して、あるnによる同値類とその集合Z/nZを考える
3)Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZ}である
4)各0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZたちは、無限集合である
5)Z/nZは、剰余類環の表記と慣例により、各合同類から「標準的」(canonical) な代表元を選んで、
  Z/nZ = {0, 1, ・ ・ ・ , (n - 1)} と簡素に表記される
省18
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 整数の合同によって定義される環
ある l ∈ Z が存在して
a - b = nl となるとき a ≡ b (mod n) と書くことにする。
このときこの関係は同値関係である。その a を含む同値類は
省28
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}”の”=”は、環としての「同一視」ですね
これを完全に「同一」とすることはできない
左辺と右辺とは、集合としては、完全に別ものですから(^^
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日)はポーランドの数学者。モストフスキ崩壊補題で有名。 オーストリア=ハンガリー帝国のリヴィウで生まれる。

生涯
1931年ワルシャワ大学に入学。クラトフスキ、アドルフ・リンデンバウム(英語版)、タルスキの影響を受ける。1939年博士号取得。公式にはクラトフスキに指導を受けたとされているが、実際には若かったタルスキから指導を受けていた。
彼はドイツのポーランド侵攻の後、会計士になった。しかし、隠れてワルシャワ大学で研究を続けていた。
1944年のワルシャワ蜂起の後、ナチスは彼を強制収容所に入れようとしたが、ポーランド人看護師の助けを借りて病院に逃れた。
省6
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).

References
外部リンク[pdf]:matwbn.icm.edu.pl
Mostowski, Andrzej (1949), "An undecidable arithmetical statement" (PDF), Fundamenta Mathematicae, Institute of Mathematics Polish Academy of Sciences, 36 (1): 143?164
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
The Mathematical Development of Set Theory from Cantor to Cohen
Akihiro Kanamori

Extract
省9
396
(2): 2019/09/21(土)11:12 ID:svbXdWN6(4/5) AAS
>>390
>6)だから、Z/nZから、合同による類別をやめれば、Zが復元できる
>  この意味で、Z/nZには、Zの元が全て入っている(集合論の厳密な”∈”とは別の意味で)
これは酷い

>7)Z/nZの中の任意の整数mと、Zの元の中の任意の整数mとは、対応が付く
>  対応を、写像と考えることができる
これは酷い
397
(1): 2019/09/21(土)11:41 ID:s+bHRCsH(7/17) AAS
>>390-392

1は同一視という言葉で自分の主張をどう正当化したいのか不明
単に煙に巻きたいだけなら、そんなのこの板では通用しない
この板では1より馬鹿なヤツはまずいないw

そもそも1は>>376の質問に回答できなかった時点で負け犬w
>>385で予想したようなトンチンカン回答は図星だったんだろうw

>>393-394
1はどういうつもりでモストフスキに固執するのか不明だが
そもそも∈や⊂の定義はモストフスキと無関係

自分の理解できないレベルの文章を読み間違えて
省1
398: 2019/09/21(土)11:45 ID:s+bHRCsH(8/17) AAS
>>396
>(集合論の厳密な”∈”とは別の意味で)

「厳密な∈とは違う」=「私間違えました」という意味でしょう

1は謝罪しなくていいです 
焼身自殺してください
生きる価値も資格もない畜生ですから

肉は我々が食ってあげますから
ブタの丸焼き、旨そうだな じゅるるw
399: 2019/09/21(土)11:49 ID:s+bHRCsH(9/17) AAS
>>396
>Z/nZの中の任意の整数mと、Zの元の中の任意の整数mとは、対応が付く

Z/nZの中に整数mはありません
あるのは同値類の集合

同値類の集合(n個!)から整数全体への全単射がないのは
人間ならだれでもわかることです

1は人間じゃないってことwww
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 答えらえず、苦し紛れの言い訳www
>>379
>必死の論点そらし、ご苦労さん

>>385
(1)の回答)
>答えは{0,2,4,…}と{1,3,5,…}の2つ
省3
1-
あと 602 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.053s