17/11/04 15:15:26.22 sjIJjomh.net
>>383 つづき
＜補足＞
１．本来同値類と商集合とは、簡単には、同じ性質を持つものを集めて、一つに纏めて扱おうというもの。
（参考 URLﾘﾝｸ(ja.wikipedia.org) 同値類 ）
２．同値類の集合そのものを扱うよりも、代表を取り出して、それで商集合として扱うと話が簡単になる場合が多い。
３．ところで、ある集合の元が、ある一つの同値類属することが分っても、その同値類が共通に持つ性質は本来その元の持つ性質だから、それだけでは得られる情報は無いに等しい
４．また、その元と代表とは、同値類が共通に持つ性質が同じという以外には、本来共通する性質はないのが一般だ
５．だから、ある元が、しっぽの先の同値類で、しっぽの先の箱を開けて、ある同値類に属することが分ったら、その元と代表とで期待できるのは、co-tailの共有まで。
６．そう考えると、「開けちゃった」又は「開けちゃいました」の定理の成立は、当たり前と言えば当たり前にすぎない。
（しっぽの先の箱を開けて、ある同値類に属することが分ったということは、”co-tail”を含む情報が分ったということ。この後、代表を見ても、付け加わる情報は、一般的にはゼロってことで、納得できるだろう（＾＾ ）
以上
つづく