Understanding Transitivity in Relations: Why R on A={0,1,2,3} is Not Transitive

  • Thread starter Thread starter physicsuser
  • Start date Start date
Click For Summary
SUMMARY

The relation R on the set A={0,1,2,3} defined as R={(0,0),(0,2),(2,0),(2,2),(2,3),(3,2),(3,3)} is not transitive. Transitivity requires that for all a, b, c in A, if (a,b) and (b,c) are in R, then (a,c) must also be in R. The pairs (0,2) and (2,3) exist in R, but (0,3) does not, violating the transitive property. This oversight highlights the necessity of considering all possible pairs when evaluating transitivity.

PREREQUISITES
  • Understanding of set theory and relations
  • Familiarity with the concept of transitivity in mathematical relations
  • Basic knowledge of ordered pairs
  • Ability to analyze logical implications in mathematical contexts
NEXT STEPS
  • Study the properties of equivalence relations and their requirements
  • Learn about the implications of non-transitive relations in various mathematical contexts
  • Explore examples of transitive and non-transitive relations in set theory
  • Investigate the role of transitivity in graph theory and its applications
USEFUL FOR

Students of mathematics, educators teaching set theory, and anyone interested in the properties of relations and their implications in logical reasoning.

physicsuser
Messages
82
Reaction score
1
let R be a relation on the set A={0,1,2,3}. If R={(0,0),(0,2),(2,0),(2,2),(2,3),(3,2),(3,3)} why it is not transitive?

VaVbVc (a,b) in R and (b,c) in R implies (a,c) in R a,b,c in A. (V is the 'for all' symbol)

so there are

(0,2) and (2,0) with (0,0)
(2,0) and (0,2) with (2,2)
(2,3) and (3,2) with (2,2)
(3,2) and (2,3) with (3,3)

How is it not transitive?
 
Physics news on Phys.org
You haven't considered all the possibilites. For (0,2) write down all pairs of the form (2,c). You only considered one such pair, there are more. For each of these, check if (0,c) is in your set.
 
shmoe said:
You haven't considered all the possibilites. For (0,2) write down all pairs of the form (2,c). You only considered one such pair, there are more. For each of these, check if (0,c) is in your set.


Thank you! Me so blind lol. (0,2) and (2,3) but NO (0,3). Ahhhh it makes me mad. :cry: :mad:
 

Similar threads

  • · Replies 20 ·
Replies
20
Views
5K
  • · Replies 20 ·
Replies
20
Views
3K
  • · Replies 17 ·
Replies
17
Views
11K
Replies
9
Views
3K
  • · Replies 1 ·
Replies
1
Views
837
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 17 ·
Replies
17
Views
3K