Why are both of these not equivalence relations?

129 Views Asked by At

Can anyone tell me why the first set is an equivalence relation, and not the second? As far as I can see, both are reflexive, symmetric and transitive, but my books says only the second one is an equivalence relation. The set is {1,2,3,4}

{(1,4),(4,1),(2,2),(4,4)}
{(1,1),(2,2),(2,3),(3,2),(3,3),(4,4)}

2

There are 2 best solutions below

2
On

Since the underlying set is $\{1,2,3,4\}$, the first relation is not reflexive: it’s missing the pairs $\langle 1,1\rangle$ and $\langle 3,3\rangle$. It’s also not transitive, since it has $\langle 1,4\rangle$ and $\langle 4,1\rangle$ but not $\langle 1,1\rangle$.

0
On

The first is not an equivalence relation because it is not reflexive. It is missing $(1,1),(3,3)$. The lack of $(1,1)$ also implies that it is not transitive, because we have both $(1,4),(4,1)$. The second set, however, is an equivalence relation.

For reference, here's a definition:

A relation $R$ on a set $X$ is a subset of $X \times X$.

An equivalence relation on $X$ is a relation $R$ on $X$ such that:

  • Reflexivity: For all $a \in X, (a,a) \in R$
  • Symmetry: For all $a,b \in X$, if $(a,b) \in R$, then $(b,a) \in R$.
  • Transitivity: For all $a,b,c\in X$, if $(a,b) \in R$ and $(b,c) \in R$, then $(a,c) \in R$.