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

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

390: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/09/21(土) 07:34:34.45 ID:RSxZzkRi

>>378 補足
コケコッコー（おれ）もレベル低いけど、おサルもほんと低レベルだな～ｗ（＾＾
必死の論点そらし、ご苦労さん

もう一度纏めます（＾＾
１）ヒトは、「同一視」と「同一」の区別ができる。おサルはできない。それに尽きるのかも
２）整数Zに合同（≡又はmod）を定義して、あるnによる同値類とその集合Z/nZを考える
３）Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZ}である
４）各0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZたちは、無限集合である
５）Z/nZは、剰余類環の表記と慣例により、各合同類から「標準的」(canonical) な代表元を選んで、
　　Z/nZ = {0, 1, ・ ・ ・ , (n - 1)} と簡素に表記される
　（”=”は、「同一視」で、「同一」ではない）
　　なお、Z/2Z = {0, 1} である
　　正確に書けば、Z/2Z = {[0], [1]} で、[0], [1]は同値類。0, 1は、標準的な代表元である
６）だから、Z/nZから、合同による類別をやめれば、Zが復元できる
　　この意味で、Z/nZには、Zの元が全て入っている（集合論の厳密な”∈”とは別の意味で）
７）Z/nZの中の任意の整数mと、Zの元の中の任意の整数mとは、対応が付く
　　対応を、写像と考えることができる
８）繰返すが、ヒトは「同一視」と「同一」の区別ができる
　　Z/2Z = {0, 1} の”=”は、「同一視」だが、これを完全に「同一」と思い込んでしまうのはおサルです（＾＾

（参考）
https://hiroyukikojima.hatenabloｇ.com/entry/20140606/1402035822
hiroyukikojima’s blog 小島寛之
2014-06-06
「同じと見なす」ことの素晴らしさと難しさ
(抜粋)
この本には、複数のコンセプトが込められているのだけど、その中で非常に大きいのが、「同じと見なす」という数学固有のテクニックをこれでもか、というぐらいに徹底的に解説することだ。
「同じと見なす」ということを、数学の専門の言葉では「同一視」という。この「同じと見なす」という数学の手法は、高校までの数学ではほとんど表れない。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1568026331/390

391: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/09/21(土) 07:36:06.47 ID:RSxZzkRi

>>390
つづき

http://math.shinshu-u.ac.jp/~hanaki/edu/intro/intro2013.pdf
代数学入門 花木 章秀 信州大 2013
(抜粋)
P29
3.2 整数の合同によって定義される環
ある l ∈ Z が存在して
a - b = nl となるとき a ≡ b (mod n) と書くことにする。
このときこの関係は同値関係である。その a を含む同値類は
a + nZ = {b ∈ Z | a ≡ b (mod n)} = {a + nl | l ∈ Z}
であった。異なる同値類全体の集合は
Z/nZ = {0 + nZ, 1 + nZ, ・ ・ ・ , (n - 1) + nZ}である。
(引用終り)

https://ja.wikipedia.org/wiki/%E5%89%B0%E4%BD%99%E9%A1%9E%E7%92%B0
剰余類環
(抜粋)
定義
n >= 2 を自然数とする。n で割った剰余が等しい整数をすべて集めたものを、「n を法とする」合同類あるいは剰余類と呼ぶ。
代表元 (representive, Vertreter)
a の属する剰余類を [a]

表記と慣例について
Z/nZ と書くのが、面倒だがもっとも誤解は少ないだろう。
記号の濫用だが、記述の面倒を避けるため慣例的に、同値類を表すのに代表元に施す角括弧([ ])をしばしば省略して、代表元とそれが属する合同類とを同じ文字で表す。
同じ合同類を表すのに無数の符牒が与えられていることになる。
慣例的に合同類を表す符牒が無数にあるという不定性を除くために、各合同類から「標準的」(canonical) な代表元を選んで、それと合同類とを同一視することもよく行われる。

性質
任意の自然数 n >= 2 に対して Z/nZ は、nZ を零元、1 + nZ を単位元とする可換環を成す。

2 を法とする剰余類環
整数を 2 で割った剰余は 0 か 1 となるから、Z/2Z = {0, 1} であり、これはすべての剰余類環のなかで位数最小のものである。また、2 は素数なのでこれは位数最小の有限体 F2 とも一致する。

https://ja.wikipedia.org/wiki/%E6%95%B4%E6%95%B0%E3%81%AE%E5%90%88%E5%90%8C
整数の合同
(抜粋)
合同類環 Z/nZ
加法: 二つの剰余類 a, b に対して剰余類 a + b modulo n を割り当てる
理論的には整数の加法と異なる和であるから別の記号で表すべきであるかもしれないが、簡便さを保つために整数の和と同じ記号 "+" をそのまま使うことも多い。
(引用終り)
以上

http://rio2016.5ch.net/test/read.cgi/math/1568026331/391

395: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/09/21(土) 08:33:30.48 ID:RSxZzkRi

>>394 補足
>John Shepherdson (1953).

下記の”Akihiro Kanamori”のReferencesに、多く”Google Scholar”のリンクが張ってあって
jstorの”Full-text is available ”などに辿り着けるね
https://www.cambridge.org/core/journals/bulletin-of-symbolic-logic/article/mathematical-development-of-set-theory-from-cantor-to-cohen/4BAABCD6E6D05F8E16E6889573FC87F5
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

What follows is an account of the development of set theory from its beginnings through the creation of forcing based on these contentions, with an avowedly Whiggish emphasis on the heritage that has been retained and developed by current set theory. The whole transfinite landscape can be viewed as the result of Cantor's attempt to articulate and solve the Continuum Problem.

References

[1953] Shepherdson, John C., Inner models for set theory?Part III, The Journal of Symbolic Logic, vol. 18, pp. 145?167.CrossRef | Google Scholar
https://scholar.google.com/scholar_lookup?title=Inner+models+for+set+theory%E2%80%94Part+III&publication+year=1953&author=Shepherdson+John+C.&journal=The+Journal+of+Symbolic+Logic&volume=18&doi=10.2307/2268947&pages=145-167
　↓（Google Scholar）
https://www.jstor.org/stable/2268947?seq=1#page_scan_tab_contents
Inner Models for Set Theory--Part III
JC Shepherdson - The Journal of Symbolic Logic, 1953 - JSTOR
Full-text is available

http://rio2016.5ch.net/test/read.cgi/math/1568026331/395

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.031s