Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Set of sets and isomorphism

  1. May 5, 2010 #1
    So it says here "Let S be a set of sets. Show that isomorphism is an equivalence relation on S."

    So in order to approach this proof, can I just use the Reflexive, Symmetrical, and Transitive properties that is basically the definition of equivalence relations?

    eg. suppose x, y, z are sets contained in S...

    Reflexive: x~x <same as> xRx
    Symmetry: x~y => y~x <same as> xRy => yRx
    Transitive: x~y, y~z => x~z

    This seems too elementary, but I just want to make sure.
  2. jcsd
  3. May 5, 2010 #2
    Yes - showing something is an equivalence relation always involves the same steps. Sets are isomorphic if they have the same cardinality, so you need to show that the property of "having the same number of elements" satisfies the three conditions.
  4. May 5, 2010 #3
    I'm also confused about the X! notation. I think X^x means the set of all selfmap functions on X. What is X! suppose to be?
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook