Hello. I need help on determining this relation.
Determine the relation defined with for numbers
ok, so check if it is an equivalence relation:
(1) does x relate to itself? can you find and integer such that x = zx?
(2) do we have symmetry. if we can find and integer z so that y = zx, will we always be able to find an integer n so that x = ny?
(3) do we have transitivity? if we have integers n and m so that a = mb and b = nc, can we find an integer k so that a = kc?
think of an example.(2) (s) ,
if we multiply these we have For we have (Does this mean that we have a symmetry?
take y = 2 and x = 1. clearly y relates to x, since y = zx (where z = 2).
but does x relate to y? can we find an integer k so that x = ky, that is, 1 = k*2?
yup, that's nice. we do have transitivity(3) (t) . I multiplied again
What do you think?
you have to check if it is anti-symmetric. if it is, we have an order relation (since you already showed we have reflexivity and transitivity)