Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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|cite|improve this question
up vote 12 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|cite|improve this answer
Ok thank you for clarifying that. – Aaron Nov 12 '12 at 22:01

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|cite|improve this answer

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

share|cite|improve this answer

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|cite|improve this answer

protected by Asaf Karagila Apr 13 '15 at 19:01

Thank you for your interest in this question. Because it has attracted low-quality or spam answers that had to be removed, posting an answer now requires 10 reputation on this site (the association bonus does not count).

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.