An example of symmetric transitive relation that is not reflexive on a set of natural numbers $\mathbb{N}$

3k Views Asked by At

An example of symmetric transitive relation that is not reflexive on a set of natural numbers $\mathbb{N}$. My guess is that such relation does not exist, but I don't know how to prove it.

3

There are 3 best solutions below

0
On

Define $$R = \{(m, n)\mid m, n\in \mathbb N \;\text{ and }\;m, n \text{ are both even}\}$$

Then, for every odd integer $t\in \mathbb N$, $(t, t)\notin R$, hence reflexivity fails. Recall that for reflexivity to hold, it must be the case that for every $n\in \mathbb N$, $(n, n) \in \mathbb N$. No exceptions.

However, it is easy to verify that $R$ is both symmetric and transitive.

0
On

We consider the set $\mathbb N$ of all natural numbers.Then the relation:

$a$ ~ $b$ $\iff a=b\neq1$ is transitive, symmetric, but not reflexive

2
On

$\varnothing$.

It's transitive and symmetric by vacuous arguments. But it is not reflexive since $(n,n)\notin\varnothing$ for all $n\in\Bbb N$!