cse 2353 – september 25 th 2002

15
CSE 2353 – September 25 th 2002 Relations

Upload: amos-myers

Post on 03-Jan-2016

27 views

Category:

Documents


3 download

DESCRIPTION

CSE 2353 – September 25 th 2002. Relations. Set Partitions. Math Review. Hamming Distance Error Correction. Relations. A R B is a subset of A X B a  A is related to b  B iff (a,b)  R Example: A = B = {1,2,3,4,5,6}; R = {(a,b): a divides b}. Display of Relations. X-Y Plot - PowerPoint PPT Presentation

TRANSCRIPT

Page 1: CSE 2353 – September 25 th  2002

CSE 2353 – September 25th 2002

Relations

Page 2: CSE 2353 – September 25 th  2002

Set Partitions

Page 3: CSE 2353 – September 25 th  2002

Math Review

Page 4: CSE 2353 – September 25 th  2002

Hamming DistanceError Correction

Page 5: CSE 2353 – September 25 th  2002

Relations

• A R B is a subset of A X B

• a A is related to b B iff (a,b) R

• Example:– A = B = {1,2,3,4,5,6}; – R = {(a,b): a divides b}

Page 6: CSE 2353 – September 25 th  2002

Display of Relations

• X-Y Plot

• Two Lines

• Dia-graph

• “Adjacency” Matrix

Page 7: CSE 2353 – September 25 th  2002

Types of Relations

• Identity

• Universal

• Inverse

• n-Ary

Page 8: CSE 2353 – September 25 th  2002

Properties of Relations

• Reflexive (a R a)

• Symmetric

• Anti-Symmetric

• Transitive

Page 9: CSE 2353 – September 25 th  2002

Graphic Representation

• Properties of the relation:

Page 10: CSE 2353 – September 25 th  2002

Set Terms

• R S

• R S– R and S are Reflexive– R and S are Symmetric– R and S are anti-symmetric– R and S are Transitive

Page 11: CSE 2353 – September 25 th  2002

Equivalence Relation

• What Properties?– reflexive?– anti-symmetric?– symmetric?– transitive?

Page 12: CSE 2353 – September 25 th  2002

Equivalence Classes

• Congruence modulo n – a-b = kn

Page 13: CSE 2353 – September 25 th  2002

Partial Ordering

• a R b iff a <= b

• a R b iff a < b

Page 14: CSE 2353 – September 25 th  2002

Min and Max Elements

Page 15: CSE 2353 – September 25 th  2002

Properties

• Reflexive iff aRa for all aA

• Symmetric iff aRb -> bRa for all a,bA

• Anti-symmetric iff aRb and bRa -> a=b for all a,bA

• Transitive iff aRb and bRc -> aRc

• Example: R is a relation on the real numbers: xRy iff x y