>>83
>決定番号だって定めようがないし
代表系が存在するなら、∀s∈R^Nに対してある代表列r∈R^Nが存在して、s〜r。
同値関係の定義により、ある自然数dが存在して、n≧d ⇒ s_n=r_n。このdを決定番号と呼ぶ。
はい、定まってますけど？