23/08/11 10:33:42.24 TUfRZ5up.net
つづき
Q5 2つの無限列について、ある項から先がすべて一致するという2項関係は同値関係となる
A5 無限列が自然数Nで添え字付けできる場合は、同意するが
取りあえず”自然数Nで添え字付けできる場合”に、限定した方が良いと思うよ
それ以上の順序数を言い出したら収拾つかんぜ(A4ご参照)
Q6 同値類から代表元が選べる(選択公理)
A6 同値類から代表元が選べる は、可
但し、フルパワー選択公理は、大は小を兼ねるで、使いたければ使え
同値類が100個だけなら、フルパワー選択公理でなく、有限選択で済ます便法があるし
Sergiu Hart
URLリンク(www.ma.huji.ac.il)
Some nice puzzles:
URLリンク(www.ma.huji.ac.il)
Choice Games November 4, 2013
”A similar result, but now without using the Axiom of Choice.GAME2”
で、選択公理なしで同じことが成り立つことを主張している
以上