Results 1 to 3 of 3

Math Help - Showing final part of equivalence relation

  1. #1
    Senior Member
    Joined
    Apr 2008
    From
    Vermont
    Posts
    318

    Showing final part of equivalence relation

    Let S be the set of all ordered pairs (m,n) of positive integers. For (a1,a2) in S and (b1,b2) in S, define (a1,a2)~(b1,b2) if a1+b2=a2+b1.
    I need to show we have an equivalence relation.

    The first two parts I have already determined to be true, so i will omit my work on that.
    For the third part I need to show if for all a,b,c in S if (a,b) is in ~ and (b,c) is in ~ then (a,c) is in ~.
    We have:
    a1+b2=a2+b1
    b1+c2=b2+c1
    We want to show:
    a1+c2=a2+c1
    I'm unsure of how to get there.
    I tried using b1=a1-a2+b2 and b2=a2-a1+b1
    a1-a2+b2+c2=a2-a1+b1+c1
    That didn't really get me anywhere, though.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor undefined's Avatar
    Joined
    Mar 2010
    From
    Chicago
    Posts
    2,340
    Awards
    1
    Quote Originally Posted by kathrynmath View Post
    For the third part I need to show if for all a,b,c in S if (a,b) is in ~ and (b,c) is in ~ then (a,c) is in ~.
    We have:
    a1+b2=a2+b1
    b1+c2=b2+c1
    If you simply add these two equations together, b1+b2 will cancel from both sides and you will be left with the desired result.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor

    Joined
    Apr 2005
    Posts
    15,704
    Thanks
    1470
    By the way- this equivalence relation can be used to define the set of all integers from the set of positive integers. The integers are the equivalence classes with this equivalence relation. We then define addition and multiplication by using "representative": if \alpha and \beta are equivalence classes we define: choose one pair, (x_1, y_1), of set \alpha and one pair, (x_2, y_2), of \beta. Then \alpha+ \beta is the equivalence class containing (x_1+ x_2, y_1+ y_2) and \alpha\beta is the equivalence class containing (x_1x_2+y_1y_2, x_1y_2+ x_2y_1). Of course, you need to show that these are "well defined"- that is, that if you chose different "representatives" of each equivalence class, while (x_1+ x_2, y_1, y_2) and (x_1x_2+ y_1y_2, x_1y_2+ x_2y_1) would be different, they would still be in the same equivalence classes.

    It is fairly easy to show that there exist a class consisting of all those pairs in which the two numbers are equal. That is, that (x, x) and (y, y) are equivalent and that if (x, x) was equivalent to (y, z) then y= z. It is also easy to show, then, that that equivalence class acts like the "0" element.

    If X is an equivalence class containing (x, y) and 0 is the equivalence class containing (a, a), then X+ 0 is the equivalence class containing (x+ a, y+ a). But (x+ a)+ y= (y+a)+ x so this is still equivalent to (x, y) and is in the same equivalence class: X+ 0= X.

    Also, if X is an equivalence class containing (x, y) and 0 is the equivalence class containing (a, a) then X*0 is the equivalence class containing (xa+ ya, ax+ ay) and, of course, xa+ ya= ax+ ay. That is, this pair is in the class 0: X*0= 0.


    Similarly, in the set of all pairs, (x, y) where x is any integer and y is any integer except 0, we can define an equivalence relation by " (x_1, y_1)~ (x_2, y_2) if and only if x_1y_2= x_2y_1 and get the rational numbers as the equivalence classes.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 1
    Last Post: April 6th 2011, 11:46 PM
  2. equivalence relation and equivalence classes
    Posted in the Discrete Math Forum
    Replies: 6
    Last Post: January 7th 2010, 06:36 PM
  3. Equivalence relation and order of each equivalence class
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: September 30th 2009, 09:03 AM
  4. Equivalence relation and Equivalence classes?
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: January 7th 2009, 03:39 AM
  5. Second Part Final (4 Problems Need Help)
    Posted in the Pre-Calculus Forum
    Replies: 5
    Last Post: May 17th 2006, 12:47 PM

Search Tags


/mathhelpforum @mathhelpforum