Relationship: reflexive, symmetric, antisymmetric, transitive

Click For Summary
SUMMARY

The binary relation R on all integers defined by |a-b|<=3 is reflexive and symmetric, as any integer minus itself equals zero (which is less than 3) and the absolute difference is symmetric. However, R is not antisymmetric, demonstrated by the pairs (2, 1) and (1, 2) where both satisfy |a-b|<=3. Additionally, R is not transitive, as shown by the pairs (4, 1) and (1, 0), where |4-0| exceeds 3 despite the other conditions being satisfied.

PREREQUISITES
  • Understanding of binary relations in mathematics
  • Knowledge of reflexive, symmetric, antisymmetric, and transitive properties
  • Familiarity with absolute value concepts
  • Basic mathematical proof techniques
NEXT STEPS
  • Study the properties of equivalence relations and their applications
  • Explore examples of antisymmetric relations in set theory
  • Learn about transitive closures and their significance in graph theory
  • Investigate the implications of reflexivity in relation to identity elements
USEFUL FOR

Students of mathematics, particularly those studying discrete mathematics, logic, or set theory, as well as educators looking to clarify concepts of binary relations.

nicnicman
Messages
132
Reaction score
0

Homework Statement


Determine which binary relations are true, reflexive, symmetric, antisymmetric, and/or transitive.

The relation R on all integers where aRy is |a-b|<=3

Homework Equations


The Attempt at a Solution


The relationship is reflexive because any number minus itself will be zero which is less than 3.
The relationship is symmetric because whenever |a-b|<=3 then |b-a|<=3 is also true.
The relationship is not antisymmetric. Consider (2, 1) and (1, 2). Int his case, |2-1|<=3 and |1-2|<=3.
The relationship is not transitive. Consider (4, 1) and (1, 0). |4-1|<=3 and |1-0|<=3, but |4-0| is not <= 3.

I just want to make sure I'm understanding this correctly. Is this right or am I missing something? I can't think of a case where the relationship wouldn't be symmetric.
 
Last edited:
Physics news on Phys.org
nicnicman said:

Homework Statement


Determine which binary relations are true, reflexive, symmetric, antisymmetric, and/or transitive.

The relation R on all integers where aRy is |a-b|<=3


Homework Equations





The Attempt at a Solution


The relationship is reflexive because any number minus itself will be zero which is less than 3.
The relationship is symmetric because whenever |a-b|<=3 then |b-a|<=3 is also true.
The relationship is not antisymmetric. Consider (2, 1) and (1, 2). Int his case, |2-1|<=3 and |1-2|<=3.
The relationship is not transitive. Consider (4, 1) and (1, 0). |4-1|<=3 and |1-0|<=3, but |4-0| is not <= 3.

I just want to make sure I'm understanding this correctly. Is this right or am I missing something? I can't think of a case where the relationship wouldn't be symmetric.

Those all look correct to me.
 
Thank you for the reassurance.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 17 ·
Replies
17
Views
11K
Replies
9
Views
2K
  • · Replies 5 ·
Replies
5
Views
12K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
Replies
4
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 2 ·
Replies
2
Views
6K