My Math Forum  

Go Back   My Math Forum > College Math Forum > Abstract Algebra

Abstract Algebra Abstract Algebra Math Forum

LinkBack Thread Tools Display Modes
October 11th, 2010, 07:24 AM   #1
Joined: Sep 2010

Posts: 10
Thanks: 0

Equivalence Relation

Let S be the set of all ordered pairs (m,n) of positive integers. For (a1, a2) the belongs to S & (b1, b2) that belongs to S, define (a1, a2) ~ (b1, b2) if a1+b2 = a2+b1. Show that ~ is an equivalence relation.

I know that equivalence relation is possible is the following holds true: reflexivity, symmetry and transativity.

I am unsure of how to prove these though. Any help would be great.
page929 is offline  
October 11th, 2010, 01:33 PM   #2
Global Moderator
The Chaz's Avatar
Joined: Nov 2009
From: Northwest Arkansas

Posts: 2,766
Thanks: 4

Re: Equivalence Relation

Let (a1, a2) be in S. Then (a1, a2) ~ (a1, a2) simply means that
a1 + a2 = a2 + a1, which is true for integers.

symmetric : (a1, a2) ~ (b1, b2) => (b1, b2) ~ (a1, a2) ?
Assume that (a1, a2) ~ (b1, b2). This means that
a1 + b2 = a2 + b1, which is the same as
a2 + b1 = a1 + b2, which is the same as
b1 + a2 = b2 + a1, which is the definition of
(b1, b2) ~ (a1, a2)

transitive: Assume that (a1, a2) ~ (b1, b2) AND that (b1, b2) ~ (c1, c2). Show that (a1, a2) ~ (c1, c2)
Can you go from here?
The Chaz is offline  

  My Math Forum > College Math Forum > Abstract Algebra

equivalence, relation

Thread Tools
Display Modes

Similar Threads
Thread Thread Starter Forum Replies Last Post
Equivalence relation tom33 Algebra 3 January 17th, 2014 05:30 PM
Equivalence Relation Taladhis Abstract Algebra 2 February 11th, 2013 09:20 AM
Equivalence Relation jrklx250s Real Analysis 3 December 7th, 2011 11:42 AM
Equivalence relation Dontlookback Abstract Algebra 1 April 20th, 2010 12:52 PM
equivalence relation tinynerdi Abstract Algebra 1 January 11th, 2010 10:24 AM

Copyright © 2019 My Math Forum. All rights reserved.