[Math] How to create a relation that is symmetric and antisymmetric.

discrete mathematics

I'm trying to prove that if the relation $R$ is symmetric and anti-symmetric, then $R$ is transitive with the non empty set $A$.

I wanted to do an example to see how this proposition is true.
I just want to know if my relation of ordered pairs is actually symmetric and anti-symmetric:

Let $A$ = $\{1,2,3\}$

$R$ = $\{(1,1),(1,2),(1,3),(2,1),(2,2),(2,3),(3,1),(3,2),(3,3)\}$

Best Answer

Your relation is not antisymmetric: it includes both $\langle 1,3\rangle$ and $\langle 3,1\rangle$, so you have $1\,R\,3$ and $3\,R\,1$ without having $1=3$.

It will help to figure out a bit more about what $R$ can be.

Suppose that $R$ is a symmetric, antisymmetric relation on $A$, $x,y\in A$, and $x\ne y$. Since $R$ is symmetric, if it contains one of the pairs $\langle x,y\rangle$ and $\langle y,x\rangle$, it must contain both. In other words, it can contain both or neither, but it cannot contain just one of the two pairs. On the other hand, since $R$ is antisymmetric, it cannot contain both pairs: remember, an antisymmetric relation can contain both $\langle x,y\rangle$ and $\langle y,x\rangle$ only when $x=y$. Thus, $R$ must contain neither of the pairs $\langle x,y\rangle$ and $\langle y,x\rangle$ when $x\ne y$.

What kinds of ordered pairs can belong to $R$?

Related Question