Top Banner
1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine equivalence and partial order relations c. represent relations using matrix and graph.
31

1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.

Jan 17, 2016

Download

Documents

Angela Moody
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: 1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.

1

RELATIONS Learning outcomes Students are able to: a. determine the properties of

relations – reflexive, symmetric, transitive, and antisymmetric

b. determine equivalence and partial order relations

c. represent relations using matrix and graph.

Page 2: 1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.

2

Contents Properties of relations Matrix and graph representation of

relations Equivalence relations Partial order relations

Page 3: 1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.

3April 21, 2023 Relations 3

Relations The most basic relation is “=” (e.g. x

= y)

Generally x R y TRUE or FALSE– R(x,y) is a more generic representation– R is a binary relation between elements

of some set A to some set B, where xA and yB

Page 4: 1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.

4April 21, 2023 Relations 4

Relations Binary relations: xRy

On sets xX yY R X Y Example:

“less than” relation from A={0,1,2} to B={1,2,3}

Use traditional notation0 < 1, 0 < 2, 0 < 3, 1 < 2, 1 < 3, 2 < 3

Or use set notationA B={(0,1),(0,2),(0,3),(1,1),(1,2),(1,3),(2,1),(2,2),(2,3)} R={(0,1),(0,2),(0,3), (1,2),(1,3), (2,3)} Or use Arrow Diagrams

Page 5: 1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.

5April 21, 2023 Relations 5

Formal Definition (Binary) relation from A to B

where xA, yB, (x,y)AB and R ABxRy (x,y)R

Finite example: A={1,2}, B={1,2,3} Infinite example: A = Z (set of

integers) and B = Z

aRb a-bZeven

Page 6: 1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.

6April 21, 2023 Relations 6

Example Let A = {2,3}, B = {1,3,6}

Define a relation R from A to B such that:xRy x – y is odd

How could this explicitly be represented as tuples?– R = {(2,1),(2,3),(3,6)}

What if A and B were the set of all integers?– R = {(x,y)ZZ | kZ such that x – y = 2k +

1}

Page 7: 1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.

7April 21, 2023 Relations 7

Properties of Relations Reflexive

Symmetric

Transitive

A, xRxx R Reflexiveis

yRxA, xRyyx R , Symmetricis

xRzyRzA, xRyzyx R ,, Transitiveis

Page 8: 1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.

8

Example Let A = {1,2,3,4}. R1 ={(1,1),(1,2),(2,2),(2,3),(3,3),

(4,4)} R1 is reflexive.

R2 = {(1,1),(2,2),(3,3)}.

R2 is not reflexive.

Page 9: 1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.

9

Example Let A = {1,2,3}. R1 ={(1,2),(2,1),(1,3),(3,1)}

R1 is symmetric.

R2 = {(1,1),(2,2),(3,3),(2,3)}.

R2 is not symmetric because (3,2) ε R2 .

Page 10: 1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.

10

Example (transitive) Let A = {1,2,3,4}. R = {(2,1),(3,1),(3,2),(4,1),(4,2),

(4,3). R is transitive because (3,2) & (2,1) → (3,1) (4,2) & (2,1) → (4,1) (4,3) & (3,1) → (4,1) (4,3) & (3,2) → (4,2)

Page 11: 1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.

11April 21, 2023 Relations 11

Example Define a relation of A called R

– A = {2,3,4,5,6,7,8,9}– R = {(4,4),(4,7),(7,4),(7,7),(2,2),(3,3),(3,6),

(3,9), (6,6),(6,3),(6,9),(9,9),(9,3),(9,6)}

Draw the arrow diagram Is R

Reflexive? No. Symmetric? Yes Transitive? Yes

Page 12: 1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.

12April 21, 2023 Relations 12

Example A = {0,1,2,3} R over A = {(0,0),(0,1),(0,3),(1,0),

(1,1),(2,2),(3,0),(3,3)}

Is R– Reflexive? Yes.– Symmetric? Yes.– Transitive? No. (1,0),(0,3) ε R but (1,3) ε

R

Page 13: 1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.

13

Question

?????

Page 14: 1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.

14

Proving Properties on Infinite Sets -“less than” relation

Define a relation R on R (the set of all real numbers):

For all x, y ε R, x R y ↔ x < y Is R reflexive? symmetric? transitive? R is reflexive iff x ε R, x R x. By

definition of R, this means x < x, for all x ε R. But this is false. Hence, R is not reflexive.

Page 15: 1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.

15

“less than” relation R is not symmetric. R is symmetric iff

x,y ε R, if x R y then y R x. By definition of R. this means that x,y ε R, if x < y then y > x. But this is false.

R is transitive.

Page 16: 1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.

16April 21, 2023 Relations 16

Congruence Modulo 3 Define a relation R on Z: for all m,n Z, m R n ↔ 3 | (m – n) R is called congruence modulo 3 Is R reflexive? Is R symmetric? Is R transitive?

Page 17: 1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.

17

Properties of Congruence modulo 3

R is reflexive iff for all m in Z, m R m. By definition of R, this means 3 | m – m. or 3|0. This is true since 0 = 0 . 3 R is symmetric iff for all m,n in Z, m R n

then n R m. By definition of R, this means if 3|(m – n) then 3|(n – m). This is true.

m – n = 3k, for some integer k. n – m = - (m – n) = 3(-k). Hence 3|(n – m).

Page 18: 1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.

18

Properties of Congruence modulo 3

Is R transitive? It is necessary to show that For all m,n ε Z, if m R n and n R p then m R p. m – n = 3k for some k. n – p = 3l for some l. m – p = (m – n) + (n – p) = 3k + 3l = 3(k + l). Hence 3|(m – p). Therefore, R is transitive.

Page 19: 1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.

19April 21, 2023 Relations 19

Exercise Define R(x,y) R: Z+ Z+ to be

{(x,y) Z+Z+ | x|y}

Prove whether or not this is:– Reflexive?– Symmetric?– Transitive?

Page 20: 1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.

20April 21, 2023 Relations 20

Matrix Representation of a Relation

MR = [mij]

– mij={1 iff (i,j)R and 0 iff (i,j)R}

Example:– R : {1,2,3} {1,2} R = {(2,1),(3,1),

(3,2)}

100

110

321

21

RM

Page 21: 1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.

21

Example

Page 22: 1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.

22

Graph Representation of a Relation

Page 23: 1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.

23April 21, 2023 Relations 23

Union, Intersection, Difference and Composition of relations

R: AB and S: AB

R: AB and S: BC

}),(),(|),{( SyxRyxBAyxSR }),(),(|),{( SyxRyxBAyxSR }),(),(|),{( SyxRyxBAyxSR }),(),(|),{( RyxSyxBAyxRS

}),(),(,|),{( ScbRbaBbCAcaRS

Page 24: 1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.

24

Compositions of Relations

Page 25: 1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.

25April 21, 2023 Relations 25

Example - application Let ID = set of student IDs Let Course = set of courses offered Define relation Summer2007

{(x,y)IDCourse | student x is registered for course y}

Can we do this? Relational databases …

Page 26: 1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.

26

DatabasesID Course

12345 Structure Discrete

45678 Java Programming

… …

Page 27: 1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.

27April 21, 2023 Relations 27

Equivalence Relations Any binary relation that is:

– Reflexive– Symmetric– Transitive

Page 28: 1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.

28

Antisymmetric relation Let R be a relation on a set A. R is

antisymmetric iff for all a and b in A, if a R b and b R a then a = b. In other words, a relation is antisymmetric iff

there are no pairs of distinct elements a and b with a related to b and b related to a.

Let A = {0,1,2} R1= {(0,2),(1,2),(2,0)}. R1 is not antisymmetric

R2 = {(0,0),(0,1),(0,2),(1,1),(1,2)}. R2 is symmetric.

Page 29: 1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.

29April 21, 2023 Relations 29

Example Let R1 be the divides relation on Z+

Let R2 be the divides relation on Z

Is R1 antisymmetric? Prove or give counterexample.– a R1 b and b R1 a a = b

– True

Is R2 antisymmetric? Prove or give counterexample.– Counterexample (a = 2, b = -2)

Page 30: 1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.

30April 21, 2023 Relations 30

Partial Order Relation R is a Partial Order Relation if and only if

– R is Reflexive, Antisymmetric and Transitive Partial Order Set (POSET)

(S,R) = R is a partial order relation on set S Examples

– (Z, ) – (Z+,|) {note: | symbolizes divides}– (S, ) {note: S indicates and set}

Page 31: 1 RELATIONS Learning outcomes Students are able to: a. determine the properties of relations – reflexive, symmetric, transitive, and antisymmetric b. determine.

31

End

Thank you