>>202 つづき

（>>95より再録）
”"35 http://rio2016.2ch.net/test/read.cgi/math/1497848835/12 時枝問題（数学セミナー201611月号の記事）"(>>11)
より引用するが
「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番目から先一致する.
〜は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく.」”

１）同値類とは？
　ａ）下記例（後述）にあるように、平たく言えば、車の色のように、同じ色の車。
　ｂ）つまり、この例では、一つの同値類内では「同じ色」という性質を共通していると言える
　ｃ）では、時枝記事の同値類ではどうか？　無限数列で「ある番号から先のしっぽが一致する」を言い換えると、一つの同値類内では（数列の）「しっぽ」が共通していると言える

２）推移律より
　ａ）同じ同値類内の任意の３つで、s ，s'，s'’で、上記例の通り、「sとs"は2015番目から先一致する」とある通り、”「しっぽ」共通”が成り立つ。つまり、「しっぽ」≠φ
　ｂ）任意の有限ｎ個、s ，s'，s'’・・・、s^'n でも、”「しっぽ」共通”が成り立つこともほぼ自明で、「しっぽ」≠φ（詳細は略す）

３）任意の有限ｎ個→ 全体も同じについては、後述引用の”「・・・は、任意の有限部分が○○のとき、○○ 」という言い方がキモ”を、ご参照。
　　よって、この点からも、「しっぽ」≠φ

つづく