Equivalence Relation Homework: Proving Transitivity

AI Thread Summary
The discussion focuses on proving the transitivity of a relation R defined on N × N, where (a,b)R(c,d) iff ad(b+c) = bc(a+d). The user successfully established reflexivity and symmetry but struggled with transitivity, specifically proving that if (a,b)R(c,d) and (c,d)R(e,f), then (a,b)R(e,f). After some algebraic manipulation, they discovered a method to rearrange the equation into a more manageable form. The conversation concludes with the user expressing gratitude for the assistance received in resolving their confusion.
Suraj M
Gold Member
Messages
596
Reaction score
39

Homework Statement


If a relation R on N × N is
(a,b)R(c,d) iff
ad(b+c) = bc(a+d)

Homework Equations


--

The Attempt at a Solution


I got the reflexive and symmetric parts but not the transitive part...
here's what i have
## (a,b)(c,d)∈R and (c,d)(e,f)∈R##
To prove ##(a,b)(e,f) ∈ R## .i.e., ##af(b+e)= be(a+f)##
i have
$$ad(b+c) = bc(a+d)$$and$$de(c+f) = cf(d+e)$$
my attempt was...
multiplying we get $$afcd(b+c)(d+e) = becd(c+f)(a+d)$$
$$af(b+c)(d+e) = be(c+f)(a+d)$$
by cancelling ##afbe## on both sides i get
$$af(bd+cd+ce) = be(ac+cd+fd)$$
stuck here :(
is this a wrong method, if not how do i proceed??,
Thank you
 
Physics news on Phys.org
what to proove
 
See if you can rearrange R into the form f(a,b) = f(c,d) for some function f.
 
MK5 said:
what to proove
Suraj M said:
To prove (a,b)(e,f)∈R(a,b)(e,f) ∈ R .i.e., af(b+e)=be(a+f)af(b+e)= be(a+f)
 
haruspex said:
See if you can rearrange R into the form f(a,b) = f(c,d) for some function f.
Im sorry, but could you please tell me how i could do that?
 
Suraj M said:
Im sorry, but could you please tell me how i could do that?

Do some algebra. If ##(a,b)R(x,y)## then ##ay(b+x)=bx(a+y)##. Try to rearrange that equation so ##x## and ##y## are on one side and ##a## and ##b## are on the other.
 
Il get ##ab(x-y)=xy(a-b)##
How will that help..?
 
Oh brilliant!
Got it thanks!
All of you thank you..
 
Back
Top