properties of relations
play

Properties of relations Slides to accompany Section 5.4 of Discrete - PowerPoint PPT Presentation

Properties of relations Slides to accompany Section 5.4 of Discrete Mathematics and Functional Programming Thomas VanDrunen Reflexivity A relation R on a set X is reflexive if every element is related to itself: x X , ( x , x ) R


  1. Properties of relations Slides to accompany Section 5.4 of Discrete Mathematics and Functional Programming Thomas VanDrunen

  2. Reflexivity A relation R on a set X is reflexive if every element is related to itself: ∀ x ∈ X , ( x , x ) ∈ R

  3. Symmetry A relation R on a set X is symmet- ric if for every pair in the relation, the inverse of the pair also exists: ∀ x , y ∈ X , if ( x , y ) ∈ R then ( y , x ) ∈ R

  4. Transitivity A relation R on a set X is tran- sitive if any time one element is related to a second and that sec- ond is related to a third, then the first is also related to the third: ∀ x , y , z ∈ X , if ( x , y ) ∈ R and ( y , z ) ∈ R , then ( x , z ) ∈ R

  5. Summary ∀ x , y , z ∈ X , if ( x , y ) ∈ R ∀ x , y ∈ X , if ( x , y ) ∈ R ∀ x ∈ X , ( x , x ) ∈ R and ( y , z ) ∈ R , then ( y , x ) ∈ R then ( x , z ) ∈ R

  6. Proof patterns ∀ x , y , z ∈ X , if ( x , y ) ∈ R ∀ x , y ∈ X , if ( x , y ) ∈ R ∀ x ∈ X , ( x , x ) ∈ R and ( y , z ) ∈ R , then ( y , x ) ∈ R then ( x , z ) ∈ R Suppose x , y , z ∈ Suppose x , y ∈ X . X . Further sup- Suppose x ∈ X . Further suppose pose ( x , y ) ∈ R and . . . ( x , y ) ∈ R . ( y , z ) ∈ R . Hence ( x , x ) ∈ R . . . . . . . Therefore R is re- Hence ( y , x ) ∈ R . Hence ( x , z ) ∈ R . flexive. � Therefore R is sym- Therefore R is tran- metric. � sitive. �

  7. Proof patterns—short versions ∀ x , y , z ∈ X , if ( x , y ) ∈ R ∀ x , y ∈ X , if ( x , y ) ∈ R ∀ x ∈ X , ( x , x ) ∈ R and ( y , z ) ∈ R , then ( y , x ) ∈ R then ( x , z ) ∈ R Suppose ( x , y ) ∈ R Suppose x ∈ X . Suppose ( x , y ) ∈ R . and ( y , z ) ∈ R . . . . . . . . . . Hence ( x , x ) ∈ R . Hence ( y , x ) ∈ R . Hence ( x , z ) ∈ R . Therefore R is re- Therefore R is sym- Therefore R is tran- flexive. � metric. � sitive. �

  8. Reflexivity example Proposition 1 The relation | on N is reflexive.

  9. Reflexivity example Proposition 1 The relation | on N is reflexive. Proof. Suppose a ∈ N .

  10. Reflexivity example Proposition 1 The relation | on N is reflexive. Proof. Suppose a ∈ N . By arithmetic a · 1 = a

  11. Reflexivity example Proposition 1 The relation | on N is reflexive. Proof. Suppose a ∈ N . By arithmetic a · 1 = a, and so by the definition of divides, a | a.

  12. Reflexivity example Proposition 1 The relation | on N is reflexive. Proof. Suppose a ∈ N . By arithmetic a · 1 = a, and so by the definition of divides, a | a. Hence, by the definition of reflexive, | is reflexive. �

  13. Symmetry example Proposition 2 The relation “is opposite of” on Z is symmetric.

  14. Symmetry example Proposition 2 The relation “is opposite of” on Z is symmetric. Proof. Suppose x , y ∈ Z .

  15. Symmetry example Proposition 2 The relation “is opposite of” on Z is symmetric. Proof. Suppose x , y ∈ Z . Further suppose x + y = 0 .

  16. Symmetry example Proposition 2 The relation “is opposite of” on Z is symmetric. Proof. Suppose x , y ∈ Z . Further suppose x + y = 0 . y + x = x + y by commutativity of addition.

  17. Symmetry example Proposition 2 The relation “is opposite of” on Z is symmetric. Proof. Suppose x , y ∈ Z . Further suppose x + y = 0 . y + x = x + y by commutativity of addition. y + x = 0 by substitution.

  18. Symmetry example Proposition 2 The relation “is opposite of” on Z is symmetric. Proof. Suppose x , y ∈ Z . Further suppose x + y = 0 . y + x = x + y by commutativity of addition. y + x = 0 by substitution. Therefore “is opposite of” is symmetric. �

  19. Transitivity example Proposition 3 The relation | on Z is transitive.

  20. Transitivity example Proposition 3 The relation | on Z is transitive. Proof. Suppose a , b , c ∈ Z , and suppose a | b and b | c.

  21. Transitivity example Proposition 3 The relation | on Z is transitive. Proof. Suppose a | b and b | c.

  22. Transitivity example Proposition 3 The relation | on Z is transitive. Proof. Suppose a | b and b | c. By the definition of divides, there exist d , e ∈ Z such that a · d = b and b · e = c.

  23. Transitivity example Proposition 3 The relation | on Z is transitive. Proof. Suppose a | b and b | c. By the definition of divides, there exist d , e ∈ Z such that a · d = b and b · e = c. By substitution and associativity, a ( d · e ) = c.

  24. Transitivity example Proposition 3 The relation | on Z is transitive. Proof. Suppose a | b and b | c. By the definition of divides, there exist d , e ∈ Z such that a · d = b and b · e = c. By substitution and associativity, a ( d · e ) = c. By the definition of divides, a | c.

  25. Transitivity example Proposition 3 The relation | on Z is transitive. Proof. Suppose a | b and b | c. By the definition of divides, there exist d , e ∈ Z such that a · d = b and b · e = c. By substitution and associativity, a ( d · e ) = c. By the definition of divides, a | c. Hence | is transitive. �

  26. Reflexivity example Proposition 4 If R is reflexive, then i A ⊆ R.

  27. Reflexivity example Proposition 4 If R is reflexive, then i A ⊆ R. Proof. Suppose R is reflexive.

  28. Reflexivity example Proposition 4 If R is reflexive, then i A ⊆ R. Proof. Suppose R is reflexive. Further suppose that ( a , b ) ∈ i A .

  29. Reflexivity example Proposition 4 If R is reflexive, then i A ⊆ R. Proof. Suppose R is reflexive. Further suppose that ( a , b ) ∈ i A . By definition of identity relation, a = b.

  30. Reflexivity example Proposition 4 If R is reflexive, then i A ⊆ R. Proof. Suppose R is reflexive. Further suppose that ( a , b ) ∈ i A . By definition of identity relation, a = b. By definition of reflexivity, since R is reflexive, ( a , b ) ∈ R.

  31. Reflexivity example Proposition 4 If R is reflexive, then i A ⊆ R. Proof. Suppose R is reflexive. Further suppose that ( a , b ) ∈ i A . By definition of identity relation, a = b. By definition of reflexivity, since R is reflexive, ( a , b ) ∈ R. Therefore, by definition of subset, i A ⊆ R. �

  32. Symmetry example Proposition 5 If R is a relation on a set A, then R ∩ R − 1 is symmetric.

  33. Symmetry example Proposition 5 If R is a relation on a set A, then R ∩ R − 1 is symmetric. Proof. Suppose R is a relation on a set A.

  34. Symmetry example Proposition 5 If R is a relation on a set A, then R ∩ R − 1 is symmetric. Proof. Suppose R is a relation on a set A. Next, suppose a , b ∈ A.

  35. Symmetry example Proposition 5 If R is a relation on a set A, then R ∩ R − 1 is symmetric. Proof. Suppose R is a relation on a set A. Next, suppose a , b ∈ A. Finally, suppose ( a , b ) ∈ R ∩ R − 1 .

  36. Symmetry example Proposition 5 If R is a relation on a set A, then R ∩ R − 1 is symmetric. Proof. Suppose R is a relation on a set A. Further suppose ( a , b ) ∈ R ∩ R − 1 .

  37. Symmetry example Proposition 5 If R is a relation on a set A, then R ∩ R − 1 is symmetric. Proof. Suppose R is a relation on a set A. Further suppose ( a , b ) ∈ R ∩ R − 1 . By definition of intersection, ( a , b ) ∈ R and ( a , b ) ∈ R − 1 .

  38. Symmetry example Proposition 5 If R is a relation on a set A, then R ∩ R − 1 is symmetric. Proof. Suppose R is a relation on a set A. Further suppose ( a , b ) ∈ R ∩ R − 1 . By definition of intersection, ( a , b ) ∈ R and ( a , b ) ∈ R − 1 . Since ( a , b ) ∈ R, the definition of inverse tells us that ( b , a ) ∈ R − 1 . Similarly, since ( a , b ) ∈ R − 1 , by definition of inverse it is also the case that ( b , a ) ∈ R.

  39. Symmetry example Proposition 5 If R is a relation on a set A, then R ∩ R − 1 is symmetric. Proof. Suppose R is a relation on a set A. Further suppose ( a , b ) ∈ R ∩ R − 1 . By definition of intersection, ( a , b ) ∈ R and ( a , b ) ∈ R − 1 . Since ( a , b ) ∈ R, the definition of inverse tells us that ( b , a ) ∈ R − 1 . Similarly, since ( a , b ) ∈ R − 1 , by definition of inverse it is also the case that ( b , a ) ∈ R. By definition of intersection, ( b , a ) ∈ R ∩ R − 1 .

  40. Symmetry example Proposition 5 If R is a relation on a set A, then R ∩ R − 1 is symmetric. Proof. Suppose R is a relation on a set A. Further suppose ( a , b ) ∈ R ∩ R − 1 . By definition of intersection, ( a , b ) ∈ R and ( a , b ) ∈ R − 1 . Since ( a , b ) ∈ R, the definition of inverse tells us that ( b , a ) ∈ R − 1 . Similarly, since ( a , b ) ∈ R − 1 , by definition of inverse it is also the case that ( b , a ) ∈ R. By definition of intersection, ( b , a ) ∈ R ∩ R − 1 . Therefore R ∩ R − 1 is symmetric by definition. �

  41. Transitivity example Proposition 6 If R is a relation on A and for all a ∈ A, I R ( I R ( a )) ⊆ I R ( a )) , then R is transitive.

  42. Transitivity example Proposition 6 If R is a relation on A and for all a ∈ A, I R ( I R ( a )) ⊆ I R ( a )) , then R is transitive. Proof. Suppose R is a relation on A and for all a ∈ A, I R ( I R ( a )) ⊆ I R ( a )) .

  43. Transitivity example Proposition 6 If R is a relation on A and for all a ∈ A, I R ( I R ( a )) ⊆ I R ( a )) , then R is transitive. Proof. Suppose R is a relation on A and for all a ∈ A, I R ( I R ( a )) ⊆ I R ( a )) . Further suppose that ( b , c ) , ( c , d ) ∈ R.

Recommend


More recommend