17/09/22 22:21:41.63 YaepZOJx.net
>>469
いいえ、分かっていないのはあなたですよ。
＞”同値s ～ s'の定義”
＞”35 ｽﾚﾘﾝｸ(math板:12番) 時枝問題（数学セミナー201611月号の記事）”（>>11）
＞「実数列の集合 R^Nを考える.
＞s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s ～ s'と定義しよう(いわばコーシーのべったり版).」
のどこに
＞可算無限族{s'_π_d | d ∈N}の全てのdに渡って、co-tail'_d not＝ Φ
などと書かれてるのですか？
「二つの数列のco-tail'_d」と「可算無限族{s'_π_d | d ∈N}の全てのdに渡る co-tail'_d」
はまったく別物ですから、
＞定義の通りだから、co-tail'_d not＝ Φ
などと肝心な部分を省略して煙に巻こうとしてはいけません。