15/12/26 15:12:45.89 TEc5ZBXD.net
>>377
『選択公理によって各同値類から代表系を選べる』ことさえ認めるなら、
あとはあまり疑問がないような気がするんだが。
> ２．後段で、閉じた箱を１００列に並べ、「決定番号」なるものを使っている。それ成り立つのか？
例として、代表系の1つを123450(以降0）とする。
100列のうち1列が321450(以降0が続く）だったとする。
この2つは同じ類に属し、決定番号は4となる。
上の議論に曖昧なところはないと思うんだがどうだろう？
スレ主の疑問点をよく理解できていないのかもしれない。
> ４．そうして、数字を入れた箱を１００列並べた。どうも、記事では、これが１００の同値類にできるようだ（１００列の定義が不明確だが）。１００の同値類に限定できる根拠がわからない
これは誤解だと思う。（上と同じくスレ主のコメントを俺が誤解している可能性もあるが。）
同値類は代表系の元は無限個ある。
箱が100列ある場合、それぞれの列が無限個の代表系のどれかと同値になる、と言っているだ。
代表系が取れることを認めるならばたしかにそうなる。