[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む45 (835ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
405(3): 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/11/04(土)20:29 ID:sjIJjomh(19/26) AAS
>>393
>＞ １．本来同値類と商集合とは、簡単には、同じ性質を持つものを集めて、一つに纏めて扱おうというもの。
>違います。
>ある集合X上の二項関係〜が
ピエロは、小学生でレベルが低いから、同値類・商集合の定義を追うので精一杯なんだね（＾＾
だがね、上級者は更に一歩を進めて、その同値類が、well-defined か、あるいは、不変量があるかを考えるものなのだ（下記ご参照）
時枝の可算無限数列のしっぽの先の同値類で、不変量が”co-tail”だと思っているんだがね（＾＾
外部ﾘﾝｸ:ja.wikipedia.org
同値類
(抜粋)
不変量
〜 が X 上の同値関係で P(x) が，x 〜 y であるときにはいつでも，P(y) が真ならば P(x) が真であるような，X の元の性質であるとき，性質 P は 〜 の不変量，あるいは関係 〜 のもとで well-defined であるといわれる．
よくある場合は f が X から別の集合 Y への関数であるときに生じる；x1 〜 x2 であるときにはいつでも f(x1) = f(x2) であるとき，f は 〜 に対する射，〜 の下での類不変量，あるいは単に 〜 の下の不変量といわれる．
これは例えば有限群の指標理論において現れる．著者によっては「〜 の下で不変」の代わりに「〜 と両立する」あるいはただ「〜 に従う」を用いる．
任意の関数 f: X → Y はそれ自身，x1 〜 x2 ←→ f(x1) = f(x2) なる X 上の同値関係を定義する．x の同値類は f(x) に写される X の元全体の集合である，つまり，類 [x] は f(x) の逆像である．この同値関係は f の核（英語版）として知られている．
より一般に，関数は（X 上の同値関係 〜X の下で）同値な引数を（Y 上の同値関係 〜Y の下で）同値な値に送ることがある．そのような関数は 〜X から 〜Y への射と呼ばれる．
位相空間論における商空間
商空間という言葉を、更なる構造も含めたうえで、任意の同値関係による同値類集合に対して用いることはできるけれども、商空間と呼ぶ目的は一般に、集合 X 上の同値関係の種類をもとの X に入っているのと同じ種類の構造を同値類集合上に誘導する同値関係と、あるいは群作用の軌道空間と比較することである。
同値関係で保たれる構造の意味でも、群作用に対する不変量の研究の意味でも、いずれも上で与えた同値類の不変量の定義が導かれる。
(引用終り)
406(3): 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/11/04(土)20:57 ID:sjIJjomh(20/26) AAS
>>405 補足
＜おちこぼれ達のための補習講座11-2＞
（素数pの√pによる同値類の考察）
１．いうまでもなく、√pは無理数であり、有限小数ではありえない
２．補題３：二つの素数p,q は、時枝のしっぽの同値類の定義で、同じ同値類に属することはない。
Proof：√p−√q が、有限小数でないことを示せば、良い。そこで、√p−√q ＝tとおいて、背理法を使う
(√p−√q)^2 ＝t^2
p+q-t^2＝2√p*√q
もし、tが有限小数であれば、√p*√q が有理数になり、矛盾である。QED
３．さて、補題３より、√2,√3,√5,・・・√p,・・・ は、全て異なる同値類に属する
つまり、√2,√3,√5,・・・√p,・・・ は、全て異なる固有のしっぽ（co-tail）を有すると考えられる
重ねて言えば、これらそれぞれに属する同値類の元たちは、それぞれの固有のしっぽ（co-tail）で区別できると考えられるべきだ
（πから作られる数列の同値類でも同じだし、全ての同値類について同じだ）
４．逆に、固有のしっぽ（co-tail）が、何番以降という固定された番号が決められないことを理由に、その存在を否定しようというのは、（古代ギリシャ数学は別として）21世紀の現代数学では理由にならんぜよ（＾＾
以上
431: 2017/11/05(日)12:40 ID:eWWEibTR(2/3) AAS
>>426
まったくその通り
だからわざわざ>>393で教育してあげた、にもかかわらずちっとも真面目に勉強しようとしない
（反抗期の子供みたいに>>405を返すありさま）
どうもスレ主という人物は勉強が大嫌いで上から目線が大好きな御仁のようだ
446: 2017/11/05(日)15:14 ID:HYHhhjQv(5/12) AAS
>>405
＞上級者は更に一歩を進めて、
＞その同値類が、well-defined か、
＞あるいは、不変量があるか
＞考えるものなのだ
似非上級者は、日本語が読めないらしい
外部ﾘﾝｸ:ja.wikipedia.org
同値類
(抜粋)
不変量
＞〜 が X 上の同値関係で P(x) が，x 〜 y であるときにはいつでも，
＞P(y) が真ならば P(x) が真であるような，X の元の性質であるとき，
＞性質 P は 〜 の不変量，あるいは関係 〜 のもとで well-defined であるといわれる．
日本語が分かる人なら、述語「well-defined である」に対する
主語は「性質Pは」であるとわかる。
決して「関係 〜 のもとで」ではない。
そもそも関係〜に対して、不変量としての性質Pが
都合よく存在するとは限らないが、尻尾の同値類の場合
「代表元」が不変量だといっていいだろう
つまり、共通の尻尾ではなく、共通の同値列が存在する
ａ〜ｂ ⇔ 代表元ｐについてｐ〜ａ⇒ｐ〜ｂ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.039s