Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

For example, $$R = \{ (1,1),(1,2),(2,1),(2,2) \} \quad\text{for}\quad A = \{1,2,3\}.$$

This relation is symmetric and transitive.

I understand that the relation is symmetric, but my brain does not have a clear concept how this is transitive. First, this is symmetric because there is $(1,2) \to (2,1)$.

However for transitive, there is $(1,1)$ and $(1,2)$ but there is no "another" $(1,2)$ in the relation technically or does that $(1,2)$ imply the same thing? So for example, $(1,1)\land (1,2)\to (1,2)$? Is this why it's transitive?

share|improve this question

4 Answers 4

up vote 11 down vote accepted

There is no need to have multiple copies of the ordered pair to satisfy transitivity (indeed, there shouldn't be, since a relation is a set).

Transitivity requires that if $(a,b)$ and $(b,c)$ are present in the relation, then so is $(a,c)$. The fact that $a = b$ in your particular example doesn't change that. You simply notice that $(1,1)$ is present and $(1,2)$ is present, so transitivity demands that $(1,2)$ be present. You've already noted its presence in the relation, so there's nothing to check.

share|improve this answer
    
Ok thank you for clarifying that. –  Aaron Nov 12 '12 at 22:01

OK see here, we call a relation R transitive if $(a,b)\in R$ and $(b,c)\in R$ then $(a,c)\in R$. That is if a related to $b$, we will search whether $b$ transit any other element $c$ then only we are going to check whether $a$ related to $c$ if $b$ won't transit we by default consider it as transitive. Now in your example $1$ related to $1$ only and $1$ transit no other element. So there will be no transition from $1$ to any other element except $1$. Therefore your given relation is transitive. @ Uddhav

share|improve this answer

Repetition does not matter. we cannot repeat if one relation is already present.in this example (1,2),(2,2),(1,1) is present so it is transitive relation.

share|improve this answer

In your relation, R, $1\to2$ and $2 \to 1$. That is, $1 \sim 2 \sim 1$. Note $(1, 1)\in R$. Alternatively, $2 \to 1 \to 2$; that is, $2 \sim 1 \sim 2.$ Note $(2, 2) \in R$.

There are no other relations to worry about, since, having established the relation is reflexive, we have $(1, 1)$, from which it is evident that $1\sim 1 \sim 1$ and for $(2,2)$ it is evident that $2 \sim 2\sim 2$.

The relation $R$ is therefore transitive.

share|improve this answer

protected by Asaf Karagila Apr 13 at 19:01

Thank you for your interest in this question. Because it has attracted low-quality answers, posting an answer now requires 10 reputation on this site.

Would you like to answer one of these unanswered questions instead?

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