[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む45 (835ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
18(4): 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/10/25(水)20:59 ID:W74q7CGQ(18/36) AAS
>>17 つづき
２．続けて時枝はいう
私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.
但しもっときびしい同値関係を使う.
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する.
省11
19(7): 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/10/25(水)21:00 ID:W74q7CGQ(19/36) AAS
>>18 つづき
３．
問題に戻り，閉じた箱を100列に並べる.
箱の中身は私たちに知らされていないが， とにかく第l列の箱たち，第2列の箱たち第100 列の箱たちは100本の実数列s^1,s^2，・・・，s^100を成す(肩に乗せたのは指数ではなく添字).
これらの列はおのおの決定番号をもつ.
さて， 1〜100 のいずれかをランダムに選ぶ.
例えばkが選ばれたとせよ.
省13
185(3): 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/10/30(月)21:07 ID:Xwr1Cc4k(3/6) AAS
>>184 つづき
「”しっぽの後ろ”とは具体的に何項目のことを指しているのか？」（>>143）
なんて、バカげた質問をいつまで繰返すのだ？（＾＾
そもそも、
「実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する.」（>>18）
省6
228(1): 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/10/31(火)23:17 ID:GENG+CRL(11/12) AAS
>>219-220
>>190において
１．現代数学では、”具体的に何項目”と指定できないが、存在しうる概念があると思うよ。（すぐ、貴方に分かりそうな具体例が挙げられないが（＾＾ ）
２．で、「”しっぽの後ろ”とは具体的に何項目のことを指しているのか？（>>142）」と、貴方がしつこく聞いてくる
３．要するに、「存在するなら、具体的に何項目が答えられるべし」という固定観念があると思うんだ
４．で、その対偶から「具体的に何項目が答えられない→存在しない」が言えると。だが、それ（対偶）未証明だろ？
５．そもそも、時枝記事は「実数列の集合 R^Nを考える.
省4
416(2): 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/11/04(土)22:44 ID:sjIJjomh(26/26) AAS
>>412
証明即定義だよ。
えーと、もともと
”s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版).”（>>18）
という同値の定義だから、「ここから先のしっぽ」とは言えない定義だからね
動物に例えれば、馬のしっぽだとか、ウサギのしっぽだとかで、同値類を考えるということだが
この同値の定義からは、しっぽの先の毛のまた先の残渣のような部分でも一致していれば、”同値”ってことだから
省2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.055s