Computer Math Ch04
Computer Math Ch04
Chapter 4 Relations
Course Outline: Chapter 4
Relations
Relations
Identity Relation
Inverse Relation
Reflexive Relation
Irreflexive Relation
Symmetric Relation
Antisymmetric Relation:
Transitive Relations:
Equivalence Relation
Course Outline:
Relations
Domain and Range of Relation
Equivalence Relations
Complement of a Relation
Composition of Relations
Relations
Inverse Relation
Reflexive Relation
Irreflexive Relation
Symmetric Relation
Antisymmetric Relation:
Transitive Relations:
Equivalence Relation
Identity Relation
aRa or (a,a)εR
A={1,2,3}
R1 ={(1,1),(2,2)}
R2={((1,1),(2,2),(3,3)}
R3={(1,1),(2,2),(3,3),(1,2)}
R4={(1,1),(2,2),(3,2)}
Irreflexive Relation
Symmetric Relation
Symmetric Relation
In a symmetric relation, if a=b is true then b=a is also true.
In other words, a relation R is symmetric only if (b, a) ∈ R is
true when (a,b) ∈ R. An example of symmetric relation will
be R = {(1, 2), (2, 1)} for a set A = {1, 2}. So, for a
symmetric relation,
aRb ⇒ bRa, ∀ a, b ∈ A
Symmetric Relation
Cont..
Symmetric:
“arrows back”
If (x,y) then (y,x)
Antisymmetric Relation:
Asymmetric Relation
Transitive relations
B = {a, b, c, d}
R = {(1, a), (1, b), (1, c), (2, b), (2, c), (
2, d)}.
Solution:
DOM (R) ={1,2}
RAN (R) ={a,b,c,d}
Equivalence Relations
X = {1, 2, 3}
Y = {8, 9}
X x Y ={(1,8),(2,8),(3,8),(1,9),(2,9),(3,9)}
xY
R={(3,8),(2,9)}
Matrix
8 9
1 1 1
2 1 0
3 0 1
Example:
R={(1,1),(2,2),(2,3),(3,1),(3,2),(3,3)}
Composition of Relations
Y and R2 from Y to Z.
Example:
R = {(4, a), (4, b), (5, c), (6, a), (6, c)}
1
R = {(a, l), (a, n), (b, l), (b, m), (c, l), (c, m), (c, n)}
2
Find the composition of relation (i) R1 o R2
Solution:
The composition relation R1 o R2 as shown in fig:
R1 o R2 = {(4, l), (4, n), (4, m),
(5, l), (5, m), (5, n), (6, l), (6, m),
(6, n)}
Example
What is the composite of the relations R and S,
where R is the relation from set A={1,2,3} to
set B={3,4,5} with
S={(3,1),(3,2),(3,3),(4,3),(4,4)}
Solution:
SoR={(1,1),(1,2),(1,3),(1,4),(2,1),(2,2),
(2,3),(3,1),(3,2),(3,3)}
Thanks