[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む18 [無断転載禁止]©2ch.net (718ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
600(2): 現代数学の系譜11 ガロア理論を読む 2016/05/04(水)22:17 ID:vN4s28Oq(15/18) AAS
>>599 ”well defined”続き
>>3"時枝はいう
私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.
但しもっときびしい同値関係を使う.
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= no → sn＝ s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する.
省16
607(4): 現代数学の系譜11 ガロア理論を読む 2016/05/04(水)22:58 ID:vN4s28Oq(16/18) AAS
>>600 ”well defined”続き
同値関係、商集合
”well defined”であるために
１）1 つの同値類は、それに含まれている元のうちどれをとっても、それを代表元とする同値類はもとと同じ集合になる（代表元の取替えによって不変である
２）ある元が、異なる二つの同値類に属すことがあってはならない
２）については、当たり前すぎて明記されていないが、すぐ分かるだろう
そこで、>>559に戻ると、箱の数ｎ（＝箱の数の長さ）で、n=3を考えると(>>560の列の長さ3に同じ)、
省9
627: 現代数学の系譜11 ガロア理論を読む 2016/05/05(木)10:32 ID:tEqEfy29(7/18) AAS
>>615
どうも。スレ主です。
>スレ主が>>607や>>613で"怪しい"とか"well-definedでない"などと
>主張している同値関係（推移律）は記事のp.36でハッキリと証明済なのである。
ここも批判しておこう
季節は５月。新入生や、大２、３回の進級生もいるから
確かに、同値関係の推移律は、p.36で証明済。そして、反射律や対称律は自明である。その話は、外部ﾘﾝｸ:ja.wikipedia.org >>600 にある通り
省18
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.226s*