17/11/04 19:17:29.14 sjIJjomh.net
>>398
>「同値類から代表元がとれるなんて誤魔化しだ 選択公理は間違ってる」
選択公理については、過去に、主に渕野昌先生のPDFを沢山アップしているから見ておいて（＾＾
同値類と代表元との関係については下記ご参照（＾＾
ピエロ、よく勉強するんだよ～！（＾＾
えーと、特に
１）”切断を適切に取って類の任意の元をその類の代表元として選ぶことができる．”
２）”ある切断が他の切断よりも「自然」であることがある．この場合，代表元を標準（英語版）代表元と呼ぶ．”
にご注目
時枝のしっぽの同値類では、代表元の標準は考えにくいから、
”類の任意の元をその類の代表元として選ぶことができる”が適用できるだろ（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
同値類
(抜粋)
記法と定義
元 a の同値類は [a] と書き，a と ? によって関係づけられる元全体の集合
[a]={x ∈ X | a ～ x}
として定義される．同値関係 R を明示して [a]R とも書かれる．これは a の R-同値類といわれる．
同値関係 R に関する X のすべての同値類からなる集合を X/R と書き，X の R による商集合 (quotient set of X by R, X modulo R) と呼ぶ[5]．
X から X/R への各元をその同値類に写�