22/10/13 08:03:03.01 MxOOS5Ta.net
>>753
> K^N/∪K^n (n∈N)を構成するのに選択公理が必要
？？
商集合の構成には、選択公理は不必要では？
商集合に分けたものが、有限なら有限に対する選択公理
商集合に分けたものが、可算なら可算に対する選択公理
商集合に分けたものが、非可算なら非可算に対する選択公理
が、代表系を構成するのに、それぞれ必要ってことでしょ？
そして、非可算に対するフルパワー選択公理を使うと
非可測集合たるヴィタリ集合（R/Q の代表系よりなる）
が構成できるということでしょ