Results 1 to 2 of 2

Math Help - Relations Question

  1. #1
    Newbie
    Joined
    Sep 2009
    Posts
    6

    Relations Question

    Let R be a reflexive and transitive relation on A. Define E in A by aEb if and only if aRb and bRa. Show that E is an equivalence relation on A. Define the relation R/E in A/E by ([a]_E)R/e([b]_E) if and only if aRb. Show that the definition does not depend on the choice of representatives for [a]_E and [b]_E. Prove that R/E is an ordering of A/E.

    _ is sub.

    Any ideas?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Apr 2005
    Posts
    16,242
    Thanks
    1795
    Quote Originally Posted by hammertime84 View Post
    Let R be a reflexive and transitive relation on A. Define E in A by aEb if and only if aRb and bRa. Show that E is an equivalence relation on A. Define the relation R/E in A/E by ([a]_E)R/e([b]_E) if and only if aRb. Show that the definition does not depend on the choice of representatives for [a]_E and [b]_E. Prove that R/E is an ordering of A/E.

    _ is sub.

    Any ideas?
    Yes! Use the definition of "equivalence relation"!

    1) For all x, xEx which is true if and only if xRx and xRx. How do you know those are true?

    2) For all x, y, if xEy then yEx. If yEx then xRy and yRx. Does it follow that yEx?

    3) for all x, y, z, if xEy and yEz then xEz. If xEy and yEz then xRy and yRx, yRz and yRz. Does it follow that xRz and zRx?
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Relations and Functions - Inverse Relations Question
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: November 13th 2011, 01:20 PM
  2. Replies: 1
    Last Post: September 19th 2011, 02:09 PM
  3. Relations Question
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: March 4th 2010, 10:13 AM
  4. Question About Relations?
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: February 28th 2010, 09:55 AM
  5. Relations question
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: February 17th 2009, 12:03 AM

Search Tags


/mathhelpforum @mathhelpforum