1
$\begingroup$

The universal relation U = A × A.
(Correct me if I'm Wrong). I believe that the Universal Relation is an Equivalence Relation
The empty relation E = ∅.
From my understanding, a Empty relation on a non empty Set A Symmetric, Anti Symmetric and Transitive.
The identity relation Id = {(x, x) : x ∈ A}
I'm Having Trouble with this one. I'm not too sure if this relation is Transitive, Symmetric or antisymmetric? I'm certain this is reflexive tho.
A is a set of integers

$\endgroup$
  • $\begingroup$ The empty relation is not reflexive (i.e., it's not true that $(x,x)\in E$ for every $x$). The identity relation is actually the smallest equivalence relation on any given set. Hint for all of this: check the definitions for reflexive, symmetric, antisymmetric, and transitive. If you know exactly what these mean, these questions should be easy. $\endgroup$ – Kyle Miller Dec 9 '14 at 4:15
  • $\begingroup$ oops, That was a typo. Yes i'm aware that the empty set is not reflexive. $\endgroup$ – Cheng Dec 9 '14 at 4:18
  • $\begingroup$ What do you mean by the smallest equivalence relation? $\endgroup$ – Cheng Dec 9 '14 at 4:21
1
$\begingroup$

Here's a way to show the identity relation is transitive. Suppose $(a,b)\in\mathrm{Id}$ and $(b,c)\in\mathrm{Id}$. Since then $b=a$ and $c=b$, then $a=c$, and so $(a,c)\in\mathrm{Id}$, too. (In other words, if $a\sim b$ and $b\sim c$ then $a\sim c$, where $\sim$ stands for the identity relation.)

Symmetry is saying that when $(a,b)\in\mathrm{Id}$ then, since $b=a$, then $(b,a)\in\mathrm{Id}$, too.

When I said that it is smallest, what I mean is that 1) it is an equivalence relation and 2) for any other equivalence relation $R\subset A\times A$ that $\mathrm{Id}\subset R$ (that is, the identity relation is always lurking inside any other equivalence relation).

$\endgroup$
  • $\begingroup$ I see, So The identity relation would also be AntiSymmetric as well, correct? Since when (a,b)∈Id and (b,a)∈Id, therefore a is obviously b? $\endgroup$ – Cheng Dec 9 '14 at 4:31
  • $\begingroup$ That is correct. $\endgroup$ – Kyle Miller Dec 9 '14 at 19:22
  • $\begingroup$ lol, Thank you for your time. My final is in 2 hours. This was the last bit of information i needed. $\endgroup$ – Cheng Dec 9 '14 at 20:04

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.