21/03/07 20:24:39.89 Rl5tk4Ie.net
たとえばZの「要素」に差が正の整数mで割り切れるという同値関係〜を入れることで、商集合Z/〜を定義できます
ところが、{1}は[0,1]の要素ではないので、{0}と{1}が同相であることを使って[0,1]/〜を定義することって出来るのでしょうか？
(確かに同相は、「位相空間全体」上の同値関係ではありますが……)
21/03/07 20:24:39.89 Rl5tk4Ie.net
たとえばZの「要素」に差が正の整数mで割り切れるという同値関係〜を入れることで、商集合Z/〜を定義できます
ところが、{1}は[0,1]の要素ではないので、{0}と{1}が同相であることを使って[0,1]/〜を定義することって出来るのでしょうか？
(確かに同相は、「位相空間全体」上の同値関係ではありますが……)