# Define a relation $\sim$ on ℝ² by $(x,y)\sim(w,z)$ if $x+y=w+z$

by J-Play   Last Updated August 05, 2018 14:20 PM

So, it comes in two parts:

a. Prove that $\sim$ is an equivalence relation on ℝ².

b. Give a geometric description of the partition of ℝ² formed by the equivalence classes.

For a, I have to prove that $\sim$ is reflexive, transitive, and symmetric. So, for reflexive, can I say, let $a$ be in ℝ². Then, $a \sim a$ because $a+a = a+a$?

For symmetric, can I say: assume $x,y,w,z$ are in ℝ² and that $x+y~w+z$. Then, by definition $x+y=w+z$. So, if we multiply by $1$, we get $y+x=z+w$?

I'm not sure how to set up transitive.

Also, can someone help me with the partitions as well?

Tags :

IMHO the best way to begin an equivalence relation question is to see if you can informally convince yourself that the relation is an equivalence. If you can describe the meaning of the relation using the word "same" then you can be reasonably sure that it is an equivalence relation. For example:

• "being parallel" is an equivalence relation: two lines are parallel if they have the same direction;
• congruence modulo $5$ is an equivalence relation: two integers are congruent modulo $5$ if they have the same remainder after dividing by $5$;
• in your relation, two pairs are related if their elements have the same sum.

Then you should do the question formally by showing that the relation is reflexive, symmetric and transitive.

Your proof for reflexivity is not good because you are adding pairs of numbers, whereas the definition of the relation says that you should add the components of the pairs. Try this.

Let $(x,y)\in\Bbb R^2$. Then obviously $x+y=x+y$, and by definition this means $(x,y)\sim(x,y)$. So $\sim$ is reflexive.

For transitivity, try to fill in the gaps in the following proof.

Let $(x,y),\,(w,z),\,(u,v)$ be in $\Bbb R^2$.
Suppose that $(x,y)\sim(w,z)$ and $(w,z)\sim(u,v)$.
By definition this means that $x+y=w+z$ and. . .
Therefore. . .
So $(x,y)\sim(u,v)$.
Therefore $\sim$ is transitive.

The equivalence class of a pair $(a,b)$ is by definition $$\{\,(x,y)\in\Bbb R^2\mid(x,y)\sim(a,b)\,\}\ ,$$ that is, $$\{\,(x,y)\in\Bbb R^2\mid x+y=a+b\,\}\ .$$ If $a,b$ are fixed numbers, what does this set look like geometrically? If you vary $a$ and/or $b$, can you describe all the equivalence classes you get?

Good luck!

David
November 03, 2014 03:03 AM

Can any one explain the set of all equivalence classes of this relation?

Ahmed Ahmed
August 05, 2018 13:53 PM