Can someone please clear me transitive relations. books too have confused some say this is not as there are no pair to look for transitivity .While the true answer is it is but i couldn't understand why????
Asked
Active
Viewed 806 times
1
-
A relation $R$ is transitive if and only if $$\forall (a,b),(c,d)\in R,\ [b\ne c\vee (a,d)\in R]$$ – Mar 14 '16 at 17:25
2 Answers
3
As is often the case, clarity arises by recourse to the definitions.
A relation is said to be transitive if $(a,b)\in R$ and $(b,c)\in R$ implies $(a,c)\in R$ for all $a,b,c$.
In the present relation, it is never the case that $(a,b)\in R$ and $(b,c)\in R$; hence the condition is vacuously true, and the relation is transitive.
joriki
- 238,052
0
A binary relation $R \subseteq S\times S$ is transitive if
$(1.) \quad \text{For all }\; a,b,c \in S,\; \left[(a,b) \in R \; \text{ and } \; (b,c) \in R \right]$ implies $(a,c) \in R$.
In your case
$$(a,b)\in R\;\text{ and }\;(b,c)\in R$$
will always be FALSE. So, according to the rules of logic, condition (1.) will be TRUE.
Steven Alexis Gregory
- 26,769