19/01/23 14:48:22.37 69vKfGyL.net
>>582-584
言っていることが的外れで会話が成立していない
「代表元の選出」という言葉の響きから機械的に「選択公理」とだけ解釈して
あさっての方向に思考がすっ飛んでしまっている
君はアスペルガーか何かかね？
「代表元を決める」とは、「写像 f：R^N/～ → R^N を1つ決める」ということに
完全に対応する。この過程において、選択公理はどのような役割を果たしているかというと、
「写像 f：R^N/～ → R^N が少なくとも1つ存在することを保証している」
という役割を果たしているに過ぎないのが選択公理なわけで、
そのような写像 f 自体が選択公理によって唯一に定まるということではない
実際、写像 f：R^N/～ → R^N は、1つ存在すれば無数に存在するだろ