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

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
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
1-
あと 632 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.024s