Ask your own question, for FREE!
Mathematics 20 Online
OpenStudy (anonymous):

Let A=NxN and define a relation R on A by (a,b)R(c,d) iff ab=cd ...show that R is an equivalence relation on A

myininaya (myininaya):

so we need to show that the relation is: symmetric reflexive transitive did i spell right?

OpenStudy (anonymous):

yup

myininaya (myininaya):

fantastic

myininaya (myininaya):

so we need to show (a,b)R(a,b) ab=ab so the relation R is symmetric

OpenStudy (anonymous):

I get confused with the (a,b)R(c,d) and it shows up in many questions,

myininaya (myininaya):

(a,b)R(b,a) ab=ba so the relation R is reflexive

myininaya (myininaya):

zarkon did i do something wrong

OpenStudy (zarkon):

reflexive is (a,b)R(a,b)

myininaya (myininaya):

ok maybe i got my properties mixed up alittle i need to see

OpenStudy (zarkon):

symmetric is (a,b)R(c,d) then (c,d)R(a,b)

OpenStudy (anonymous):

oh ok, I think I get it now, the ordered pairs threw me off, I'm used to aRb and xRy and the like

myininaya (myininaya):

darn it zarkon is right

myininaya (myininaya):

A given binary relation ~ on a set A is said to be an equivalence relation if and only if it is reflexive, symmetric and transitive. Equivalently, for all a, b and c in A: a ~ a. (Reflexivity) if a ~ b then b ~ a. (Symmetry) if a ~ b and b ~ c then a ~ c. (Transitivity)

myininaya (myininaya):

let me know if you need anymore help i can help with this one now since i have the definition lol

OpenStudy (anonymous):

ok, find an equivalence class for E(9,2)

OpenStudy (anonymous):

I more so need to understand the concepts then the answers,

OpenStudy (zarkon):

can you think of anything that is equivalent to (9,2)

OpenStudy (anonymous):

so like (6,3), (18,1)?

OpenStudy (zarkon):

yes

OpenStudy (zarkon):

now just list them all

OpenStudy (anonymous):

(1,18), (3,6), (2,9)...are there others?

OpenStudy (zarkon):

(18,1), (6,3), (9,2)

OpenStudy (anonymous):

how are they refliexive symmetric and transitive though? I know the dfinitions of them but how in this example are they those 3 things?

OpenStudy (zarkon):

the relation R is those 3 things

OpenStudy (anonymous):

ok, I understand how it's reflexive, but how is it symmetric and transitive? how can we say that (a,b)R(b,a)

OpenStudy (zarkon):

"=" is reflexive symmetric and transitive

OpenStudy (anonymous):

oh, is it because ab=cd is commutative?

OpenStudy (anonymous):

sorry but could you just show me how R is transitive?

OpenStudy (zarkon):

assume (a,b)R(c,d) and (c,d)R(e,f) then ab=cd and cd=ef thus ab=cd=ef hence ab=ef so (a,b)R(e,f)

OpenStudy (anonymous):

thanks

OpenStudy (anonymous):

then I'm asked to find equivalence class with 2 elements

OpenStudy (zarkon):

what is E(1,2)?

Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!
Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!