17/11/04 16:04:00.78 FlBMOH6D.net
>>384
＞１．本来同値類と商集合とは、簡単には、同じ性質を持つものを集めて、一つに纏めて扱おうというもの。
違います。
ある集合X上の二項関係～が
反射律（∀a∈X に対し、a～a）
対称律（∀a,∀b∈X に対し a～b ⇒ b～a）
推移律（∀a,∀b,∀c∈X に対し a～b, b～c ⇒ a～c）
を全て満たすとき同値関係と云う。
集合Xを同値関係で類別したときの類を同値類と云う。
同値類の集合X/～を商集合と云う。
スレ主への教育
同値関係によって集合が類別できることを証明せよ