15/12/26 20:02:39.49 02nKI8Hx.net
>>403
TAさん、どうも。スレ主です。
「綺麗な同値類」という前提を外せば、可能だろうが、それでは時枝先生の主張は成り立たないように思う
>t1,t2,t1,t2,・・・
>と
>0,1,t1,t2,・・・
>は同値で、この類の代表系を
>t1,t2,t1,t2,・・・
>と取ることにすれば、0,1,t1,t2,・・・の決定番号は3。
それだと、二つの数列を比較しての話になる（同値類だから必然かもしれないが）
が、時枝先生の記事では、「任意の実数列Sに対して、代表r=r(S)をちょうど一つ取り出せる」という
さて、0,1,2,t1,t2,・・・の決定番号なら４？
逆に、1,t1,t2,t1,t2,・・・と0,1,t1,t2,・・・は同値で、この類の代表系を1,t1,t2,t1,t2,・・・と取ることにすれば、0,1,t1,t2,・・・の決定番号は２？
時枝先生の記事では、代表rは、実数列Sだけで決まり、「ちょうど一つ取り出せる」という・・