15/12/26 17:51:24.56 TEc5ZBXD.net
>>407
「綺麗な同値類」という前提を外せば、可能だろう
それで納得したならいいけれども。
>例えば、t1とt2とで生成される２列を、ひとつづつ互い違いに入れて、一つの列にする
>しかし、そうすると、この一つの列では、代表は決まらないし、「決定番号」も決まらない
『綺麗さ』の性質は脇におく。
t1,t2,t1,t2,・・・
と
0,1,t1,t2,・・・
は同値で、この類の代表系を
t1,t2,t1,t2,・・・
と取ることにすれば、0,1,t1,t2,・・・の決定番号は3。
t2,t1,t2,t1,・・・
と
t1,t2,t1,t2,・・・
はこの同値類の定義では異なる類に属する。
曖昧な点はないように思うんだがどうだろうか。