- 458 名前：現代数学の系譜 工学物理雑談 古典ガロア理論も読む mailto:sage [2017/11/04(土) 22:44:17.91 ID:sjIJjomh.net]
- >>412
証明即定義だよ。
えーと、もともと
”s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版).”（>>18）
という同値の定義だから、「ここから先のしっぽ」とは言えない定義だからね
動物に例えれば、馬のしっぽだとか、ウサギのしっぽだとかで、同値類を考えるということだが
この同値の定義からは、しっぽの先の毛のまた先の残渣のような部分でも一致していれば、”同値”ってことだから
代表元と同じ同値類に属する任意の元との関係で、残渣は決して空集合にならないということを証明した。それが、”co-tail”だと
つまり、”co-tail”の存在と時枝記事の同値の定義とは、表裏の関係だと思っているよ
