relations and their properties - york university€¦ · example: a={a,b,c}, b={1,2,3,4} r={,,} a 1...
TRANSCRIPT
![Page 1: Relations and Their Properties - York University€¦ · Example: A={a,b,c}, B={1,2,3,4} R={,,} a 1 b 2 c 3 4 _____ Definition: A binary relation](https://reader033.vdocument.in/reader033/viewer/2022050419/5f8f2ac18aa57c6b8704ecf3/html5/thumbnails/1.jpg)
Relations and Their Properties
Jing YangNovember 26, 2010
1
![Page 2: Relations and Their Properties - York University€¦ · Example: A={a,b,c}, B={1,2,3,4} R={,,} a 1 b 2 c 3 4 _____ Definition: A binary relation](https://reader033.vdocument.in/reader033/viewer/2022050419/5f8f2ac18aa57c6b8704ecf3/html5/thumbnails/2.jpg)
Review
For two sets A and B:
Cartesian product AxB
Function from A to B
Binary relation from A to B
2
![Page 3: Relations and Their Properties - York University€¦ · Example: A={a,b,c}, B={1,2,3,4} R={,,} a 1 b 2 c 3 4 _____ Definition: A binary relation](https://reader033.vdocument.in/reader033/viewer/2022050419/5f8f2ac18aa57c6b8704ecf3/html5/thumbnails/3.jpg)
Binary Relation
A binary relation R from a set A to a set B is a subset R⊆AxB
No restrictions on relations as on functions
Relations can be represented graphically: A directed graph D from A to B is a collection of vertices V⊆AUB and a collection of edges R⊆AxB. If there is an ordered pair e=<x,y> in R then there is an arc or edge from x to y in D.
3
![Page 4: Relations and Their Properties - York University€¦ · Example: A={a,b,c}, B={1,2,3,4} R={,,} a 1 b 2 c 3 4 _____ Definition: A binary relation](https://reader033.vdocument.in/reader033/viewer/2022050419/5f8f2ac18aa57c6b8704ecf3/html5/thumbnails/4.jpg)
Example: A={a,b,c}, B={1,2,3,4}
R={<a,1>,<a,2>,<c,4>}
a 1b 2c 3
4
___________________
Definition: A binary relation R on a set A is a subset ofA ! A or a relation from A to A .
Example:
• A = {a, b, c}
• R = {<a, a>, <a, b>, <a, c>}.
Then a digraph representation of R is:
ab
c
Note: An arc of the form <x, x> on a digraph is called aloop.
Question: How many binary relations are there on a set A?
_______________
Transparencies to accompany Rosen, Discrete Mathematics and Its Applications Section 8.1
Prepared by: David F. McAllister TP 2 ©1999, 2007 McGraw-Hill
4
![Page 5: Relations and Their Properties - York University€¦ · Example: A={a,b,c}, B={1,2,3,4} R={,,} a 1 b 2 c 3 4 _____ Definition: A binary relation](https://reader033.vdocument.in/reader033/viewer/2022050419/5f8f2ac18aa57c6b8704ecf3/html5/thumbnails/5.jpg)
A binary relation R on a set A is a subset of AxA or a relation from A to A
Eg. A={a,b,c}, R={<a,a>,<a,b>,<a,c>}
Q: How many binary relations are there on a set A?
Relations on a Set
a 1b 2c 3
4
___________________
Definition: A binary relation R on a set A is a subset ofA ! A or a relation from A to A .
Example:
• A = {a, b, c}
• R = {<a, a>, <a, b>, <a, c>}.
Then a digraph representation of R is:
ab
c
Note: An arc of the form <x, x> on a digraph is called aloop.
Question: How many binary relations are there on a set A?
_______________
Transparencies to accompany Rosen, Discrete Mathematics and Its Applications Section 8.1
Prepared by: David F. McAllister TP 2 ©1999, 2007 McGraw-Hill
5
![Page 6: Relations and Their Properties - York University€¦ · Example: A={a,b,c}, B={1,2,3,4} R={,,} a 1 b 2 c 3 4 _____ Definition: A binary relation](https://reader033.vdocument.in/reader033/viewer/2022050419/5f8f2ac18aa57c6b8704ecf3/html5/thumbnails/6.jpg)
Properties of Relations
Given a binary relation R on a set A
R is reflexive iff ∀x(x∈A→<x,x>∈R)
R is symmetric iff ∀x∀y(<x,y>∈R→<y,x>∈R)
R is antisymmetric iff ∀x∀y(<x,y>∈R∧<y,x>∈R→x=y)
R is transitive iff ∀x∀y∀z(<x,y>∈R∧<y,z>∈R→<x,z>∈R)
6
![Page 7: Relations and Their Properties - York University€¦ · Example: A={a,b,c}, B={1,2,3,4} R={,,} a 1 b 2 c 3 4 _____ Definition: A binary relation](https://reader033.vdocument.in/reader033/viewer/2022050419/5f8f2ac18aa57c6b8704ecf3/html5/thumbnails/7.jpg)
Examples:
A. B.
C. D.
A: not reflexive B: not reflexivesymmetric not symmetricantisymmetric not antisymmetrictransitive not transitive
C: not reflexive D: not reflexivenot symmetric not symmetricantisymmetric antisymmetricnot transitive transitive
Transparencies to accompany Rosen, Discrete Mathematics and Its Applications Section 8.1
Prepared by: David F. McAllister TP 5 ©1999, 2007 McGraw-Hill
A:not reflexivesymmetricantisymmetrictransitive
B:not reflexivenot symmetricnot antisymmetricnot transitive
C:not reflexivenot symmetricantisymmetricnot transitive
D:not reflexivenot symmetricantisymmetrictransitive
7
![Page 8: Relations and Their Properties - York University€¦ · Example: A={a,b,c}, B={1,2,3,4} R={,,} a 1 b 2 c 3 4 _____ Definition: A binary relation](https://reader033.vdocument.in/reader033/viewer/2022050419/5f8f2ac18aa57c6b8704ecf3/html5/thumbnails/8.jpg)
Combining Relations
Two relations can be combined in any way two sets can be combined, using U, ∩ or -.
Eg. A={1,2,3}, B={1,2,3,4}, R1={(1,1),(2,2),(3,3)}, R2={(1,1),(1,2),(1,3),(1,4)}, what is R1UR2, R1∩R2, R1-R2, R2-R1?
If R1 and R2 are transitive on A, does it follow that R1UR2 is transitive?
8
![Page 9: Relations and Their Properties - York University€¦ · Example: A={a,b,c}, B={1,2,3,4} R={,,} a 1 b 2 c 3 4 _____ Definition: A binary relation](https://reader033.vdocument.in/reader033/viewer/2022050419/5f8f2ac18aa57c6b8704ecf3/html5/thumbnails/9.jpg)
CompositionSuppose R1 is a relation from A to B, R2 is a relation from B to C, then the composition of R2 with R1, denoted R2⋄R1 is a relation from A to C, such that if <a,b>∈R1 and <b,c>∈R2, then <a,c>∈R2⋄R1
R2⋄R1 V.S. F2⋄F1
9
Composition
Definition: Suppose
• R1 is a relation from A to B
• R2 is a relation from B to C.
Then the composition of R2 with R1, denoted R2 oR1 isthe relation from A to C:
If <x. y> is a member of R1 and <y, z> is a memberof R2 then <x, z> is a member of R2 oR1.
__________________
Note: For <x, z> to be in the composite relation R2 oR1there must exist a y in B . . . .
Note: We read them right to left as in functions.
_________________
Example:
a x x x Ab x x Bc x x C
x DR1 R2
R2 oR1 = {<b, D>, <b, B>}
____________________
Transparencies to accompany Rosen, Discrete Mathematics and Its Applications Section 8.1
Prepared by: David F. McAllister TP 8 ©1999, 2007 McGraw-Hill
![Page 10: Relations and Their Properties - York University€¦ · Example: A={a,b,c}, B={1,2,3,4} R={,,} a 1 b 2 c 3 4 _____ Definition: A binary relation](https://reader033.vdocument.in/reader033/viewer/2022050419/5f8f2ac18aa57c6b8704ecf3/html5/thumbnails/10.jpg)
Powers Rn
Let R be a relation on set A, the powers Rn, n=1,2,3... are defined recursively by:
R1=R
Rn+1=Rn⋄R
Eg. Let R={(1,1),(2,1),(3,2),(4,3)}. Find Rn, n=2,3,4...
10
![Page 11: Relations and Their Properties - York University€¦ · Example: A={a,b,c}, B={1,2,3,4} R={,,} a 1 b 2 c 3 4 _____ Definition: A binary relation](https://reader033.vdocument.in/reader033/viewer/2022050419/5f8f2ac18aa57c6b8704ecf3/html5/thumbnails/11.jpg)
Theorem: R is transitive on a set A iff Rn⊆R for n>0
Proof: 1. Rn⊆R -> R is transitive
Assume Rn⊆R. In particular, R2⊆R.
If (a,b)∈R, (b,c)∈R, then (a,c)∈R2. Therefore, (a,c)∈R. So R is transitive2. R is transitive -> Rn⊆R
Basis: R1⊆R
Inductive step: Assume Rk⊆R, need to show Rk+1⊆R
Because Rk+1=Rk⋄R, if (a,b)∈Rk+1 then there is an element x∈A such that (a,x)∈R and (x,b)∈Rk. Because Rk⊆R, (x,b)∈R. Because R is transitive, (a,b)∈R.
11
![Page 12: Relations and Their Properties - York University€¦ · Example: A={a,b,c}, B={1,2,3,4} R={,,} a 1 b 2 c 3 4 _____ Definition: A binary relation](https://reader033.vdocument.in/reader033/viewer/2022050419/5f8f2ac18aa57c6b8704ecf3/html5/thumbnails/12.jpg)
Compare Relations and Functions
Recommended exercises: 8.1: 3,7,35,41,43,53
Reading and Notes
12