If a relation is built with $=$, is the relation always an equivalence relation?

52 Views Asked by At

$R \subset \Bbb R \times \Bbb R$

I have now encountered a couple of relations that have the following form:

$$R=\{(a,b)\in \Bbb R\times \Bbb R\,:\,a^2 = b^2\}$$

They seem to be always equivalence relations. Could it be that every relation that consists of $= $ is an equivalence relation?

2

There are 2 best solutions below

0
On BEST ANSWER

It depends a bit on what you mean by "consists of $=$". But here is something which is true and probably what you generally encounter.

Let $A$ and $B$ be sets and $f: A\to B$ be a function. Then the set $\{(x,y)\in A\times A\mid f(x) = f(y)\}\subseteq A\times A$ is an equivalence relation on $A$.

In fact, this also works the other way around. If you have an equivalence relation on $A$ then there is a set $B$ and a function $f: A\to B$ such that the equivalence relation has the above form (take $B$ to be the set of equivalence classes of the relation).

1
On

First off, it is equivalence relation and not equivalent relation. That said, consider: $$R:=\{(a,b)\in\mathbb{R}\times\mathbb{R}\mid a=2b\},$$ which is clearly not an equivalence relation.