Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Transitive relations in a set

  1. Jan 28, 2015 #1
    Having trouble understanding the concept of transitivity.
    By definition: If [itex](a,b)\in R\wedge (b,c)\in R \Rightarrow (a,c)\in R[/itex] - Great.

    Consider the set [itex]\{a,b\}[/itex]. What makes the relation [itex]\{(a,a)\}[/itex] or [itex]\{(a,a),(a,b)\}[/itex] transitive? How do I translate this in terms of the definition?
    What makes an empty set transitive?
     
  2. jcsd
  3. Jan 28, 2015 #2

    mfb

    User Avatar
    2016 Award

    Staff: Mentor

    There is an important part missing in the definition: "For all a,b,c in the set".
    You can test all combinations of the set and see if this statement is violated for one combination. If yes, the relation is not transitive. If there is no violation, it is transitive.
    For the empty set, there is no combination at all that could violate transitivity, so a relation on it is always transitive.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook