15/12/27 15:11:58.27 018HSy/j.net
>>426-427 追加
時枝先生の記事は、同値類別の代表元から、その同値類に属する１つの数列の性質を決めようとしている
しかし、代表元が決まって（ということは、その数列がどの同値類に属するかが決まる）も、それから直ちに、その数列の性質は決まらないように思う
つまり、第k列の数列で、（D+1）番目から先の箱だけを開け、R^Nに属する数列の同値類が決まる
それにより、代表r=r(s^k)が取り出せる
代表番号d(s^k)も決まる
D>=d(s^k)の仮定を満たすとする
そして、r=r(s^k)は確かに類別として、d(s^k)のしっぽから先が一致する元があるんだろう
が、当該第k列の数列がその性質を持つ保証は？ 無いように思うのだが・・・