SlideShare a Scribd company logo
1 of 32
Download to read offline
Relations & Digraphs
Product Sets
Definition: An ordered pair ๐‘Ž๐‘Ž, ๐‘๐‘ is a listing of the
objects/items ๐‘Ž๐‘Ž and ๐‘๐‘ in a prescribed order: ๐‘Ž๐‘Ž is the first
and ๐‘๐‘ is the second. (a sequence of length 2)
Definition: The ordered pairs ๐‘Ž๐‘Ž1, ๐‘๐‘1 and ๐‘Ž๐‘Ž2, ๐‘๐‘2 are
equal iff ๐‘Ž๐‘Ž1 = ๐‘Ž๐‘Ž2 and ๐‘๐‘1 = ๐‘๐‘2.
Definition: If ๐ด๐ด and ๐ต๐ต are two nonempty sets, we define
the product set or Cartesian product ๐ด๐ด ร— ๐ต๐ต as the set of
all ordered pairs ๐‘Ž๐‘Ž, ๐‘๐‘ with ๐‘Ž๐‘Ž โˆˆ ๐ด๐ด and ๐‘๐‘ โˆˆ ๐ต๐ต:
๐ด๐ด ร— ๐ต๐ต = ๐‘Ž๐‘Ž, ๐‘๐‘ ๐‘Ž๐‘Ž โˆˆ ๐ด๐ด and ๐‘๐‘ โˆˆ ๐ต๐ต}
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 2
Product Sets
Example: Let ๐ด๐ด = 1,2,3 and ๐ต๐ต = ๐‘Ÿ๐‘Ÿ, ๐‘ ๐‘  , then
๐ด๐ด ร— ๐ต๐ต =
๐ต๐ต ร— ๐ด๐ด =
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 3
Product Sets
Theorem: For any two finite sets ๐ด๐ด and ๐ต๐ต,
๐ด๐ด ร— ๐ต๐ต = ๐ด๐ด โ‹… ๐ต๐ต .
Proof: Use multiplication principle!
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 4
Definitions:
๏‚ง Let ๐ด๐ด and ๐ต๐ต be nonempty sets. A relation ๐‘…๐‘… from ๐ด๐ด
to ๐ต๐ต is a subset of ๐ด๐ด ร— ๐ต๐ต.
๏‚ง If ๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ต๐ต and ๐‘Ž๐‘Ž, ๐‘๐‘ โˆˆ ๐‘…๐‘…, we say that ๐‘Ž๐‘Ž is related
to ๐‘๐‘ by ๐‘…๐‘…, and we write ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘.
๏‚ง If ๐‘Ž๐‘Ž is not related to ๐‘๐‘ by ๐‘…๐‘…, we write ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘.
๏‚ง If ๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ด๐ด, we say ๐‘…๐‘… is a relation on ๐ด๐ด.
Relations & Digraphs
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 5
Example 1: Let ๐ด๐ด = 1,2,3 and ๐ต๐ต = ๐‘Ÿ๐‘Ÿ, ๐‘ ๐‘  . Then
๐‘…๐‘… = 1, ๐‘Ÿ๐‘Ÿ , 2, ๐‘ ๐‘  , 3, ๐‘Ÿ๐‘Ÿ โŠ† ๐ด๐ด ร— ๐ต๐ต
is a relation from ๐ด๐ด to ๐ต๐ต.
Example 2: Let ๐ด๐ด and ๐ต๐ต are sets of positive integer
numbers. We define the relation ๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ต๐ต by
๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘ โ‡” ๐‘Ž๐‘Ž = ๐‘๐‘
Relations & Digraphs
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 6
Example 3: Let ๐ด๐ด = 1,2,3,4,5 . The relation ๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ด๐ด is
defined by
๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘ โ‡” ๐‘Ž๐‘Ž < ๐‘๐‘
Then ๐‘…๐‘… =
Example 4: Let ๐ด๐ด = 1,2,3,4,5,6,7,8,9,10 . The relation
๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ด๐ด is defined by
๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘ โ‡” ๐‘Ž๐‘Ž|๐‘๐‘
Then ๐‘…๐‘… =
Relations & Digraphs
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 7
Definition: Let ๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ต๐ต be a relation from ๐ด๐ด to ๐ต๐ต.
๏‚ง The domain of ๐‘…๐‘…, denoted by Dom ๐‘…๐‘… , is the set of
elements in ๐ด๐ด that are related to some element in
๐ต๐ต.
๏‚ง The range of ๐‘…๐‘…, denoted by Ran ๐‘…๐‘… , is the set of
elements in ๐ต๐ต that are second elements of pairs in
๐‘…๐‘….
Relations & Digraphs
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 8
Relations & Digraphs
Example 5: Let ๐ด๐ด = 1,2,3 and ๐ต๐ต = ๐‘Ÿ๐‘Ÿ, ๐‘ ๐‘  .
๐‘…๐‘… = 1, ๐‘Ÿ๐‘Ÿ , 2, ๐‘ ๐‘  , 3, ๐‘Ÿ๐‘Ÿ
Dom R =
Ran R =
Example 6: Let ๐ด๐ด = 1,2,3,4,5 . The relation ๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ด๐ด is
defined by ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘ โ‡” ๐‘Ž๐‘Ž < ๐‘๐‘
Dom R =
Ran R =
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 9
The Matrix of a Relation
Definition: Let ๐ด๐ด = ๐‘Ž๐‘Ž1, ๐‘Ž๐‘Ž2, โ€ฆ , ๐‘Ž๐‘Ž ๐‘š๐‘š , ๐ต๐ต = ๐‘๐‘1, ๐‘๐‘2, โ€ฆ , ๐‘๐‘๐‘›๐‘›
and ๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ต๐ต be a relation. We represent ๐‘…๐‘… by the ๐‘š๐‘š ร—
๐‘›๐‘› matrix ๐Œ๐Œ๐‘…๐‘… = [๐‘š๐‘š๐‘–๐‘–๐‘–๐‘–], which is defined by
๐‘š๐‘š๐‘–๐‘–๐‘–๐‘– = ๏ฟฝ
1, ๐‘Ž๐‘Ž๐‘–๐‘–, ๐‘๐‘๐‘—๐‘— โˆˆ ๐‘…๐‘…
0, ๐‘Ž๐‘Ž๐‘–๐‘–, ๐‘๐‘๐‘—๐‘— โˆ‰ ๐‘…๐‘…
The matrix ๐Œ๐Œ๐‘…๐‘… is called the matrix of ๐‘…๐‘….
Example: Let ๐ด๐ด = 1,2,3 and ๐ต๐ต = ๐‘Ÿ๐‘Ÿ, ๐‘ ๐‘  .
๐‘…๐‘… = 1, ๐‘Ÿ๐‘Ÿ , 2, ๐‘ ๐‘  , 3, ๐‘Ÿ๐‘Ÿ ๐Œ๐Œ๐‘…๐‘… =
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 10
The Digraph of a Relation
Definition: If ๐ด๐ด is finite and ๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ด๐ด is a relation. We
represent ๐‘…๐‘… pictorially as follows:
๏‚ง Draw a small circle, called a vertex/node, for each
element of ๐ด๐ด and label the circle with the
corresponding element of ๐ด๐ด.
๏‚ง Draw an arrow, called an edge, from vertex ๐‘Ž๐‘Ž๐‘–๐‘– to
vertex ๐‘Ž๐‘Ž๐‘—๐‘— iff ๐‘Ž๐‘Ž๐‘–๐‘– ๐‘…๐‘… ๐‘Ž๐‘Ž๐‘—๐‘—.
The resulting pictorial representation of ๐‘…๐‘… is called a
directed graph or digraph of ๐‘…๐‘….
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 11
The Digraph of a Relation
Example: Let ๐ด๐ด = 1, 2, 3, 4 and
๐‘…๐‘… = 1,1 , 1,2 , 2,1 , 2,2 , 2,3 , 2,4 , 3,4 , 4,1
The digraph of ๐‘…๐‘…:
Example: Let ๐ด๐ด = 1, 2, 3, 4 and
Find the relation ๐‘…๐‘…:
ยฉ S. Turaev, CSC 1700 Discrete Mathematics
1
2
3
4
12
The Digraph of a Relation
Definition: If ๐‘…๐‘… is a relation on a set ๐ด๐ด and ๐‘Ž๐‘Ž โˆˆ ๐ด๐ด, then
๏‚ง the in-degree of ๐‘Ž๐‘Ž is the number of ๐‘๐‘ โˆˆ ๐ด๐ด such that
๐‘๐‘, ๐‘Ž๐‘Ž โˆˆ ๐‘…๐‘…;
๏‚ง the out-degree of ๐‘Ž๐‘Ž is the number of ๐‘๐‘ โˆˆ ๐ด๐ด such
that ๐‘Ž๐‘Ž, ๐‘๐‘ โˆˆ ๐‘…๐‘….
Example: Consider the digraph:
List in-degrees and out-degrees of all vertices.
ยฉ S. Turaev, CSC 1700 Discrete Mathematics
1
2
3
4
13
The Digraph of a Relation
Example: Let ๐ด๐ด = ๐‘Ž๐‘Ž, ๐‘๐‘, ๐‘๐‘, ๐‘‘๐‘‘ and let ๐‘…๐‘… be the relation on
๐ด๐ด that has the matrix
๐Œ๐Œ๐‘…๐‘… =
1 0
0 1
0 0
0 0
1 1
0 1
1 0
0 1
Construct the digraph of ๐‘…๐‘… and list in-degrees and out-
degrees of all vertices.
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 14
The Digraph of a Relation
Example: Let ๐ด๐ด = 1,4,5 and let ๐‘…๐‘… be given the digraph
Find ๐Œ๐Œ๐‘…๐‘… and ๐‘…๐‘….
ยฉ S. Turaev, CSC 1700 Discrete Mathematics
1 4
5
15
Paths in Relations & Digraphs
Definition: Suppose that ๐‘…๐‘… is a relation on a set ๐ด๐ด.
A path of length ๐‘›๐‘› in ๐‘…๐‘… from ๐‘Ž๐‘Ž to ๐‘๐‘ is a finite sequence
๐œ‹๐œ‹ โˆถ ๐‘Ž๐‘Ž, ๐‘ฅ๐‘ฅ1, ๐‘ฅ๐‘ฅ2, โ€ฆ , ๐‘ฅ๐‘ฅ๐‘›๐‘›โˆ’1, ๐‘๐‘
beginning with ๐‘Ž๐‘Ž and ending with ๐‘๐‘, such that
๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘ฅ๐‘ฅ1, ๐‘ฅ๐‘ฅ1 ๐‘…๐‘… ๐‘ฅ๐‘ฅ2, โ€ฆ , ๐‘ฅ๐‘ฅ๐‘›๐‘›โˆ’1 ๐‘…๐‘… ๐‘๐‘.
Definition: A path that begins and ends at the same
vertex is called a cycle:
๐œ‹๐œ‹ โˆถ ๐‘Ž๐‘Ž, ๐‘ฅ๐‘ฅ1, ๐‘ฅ๐‘ฅ2, โ€ฆ , ๐‘ฅ๐‘ฅ๐‘›๐‘›โˆ’1, ๐‘Ž๐‘Ž
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 16
Paths in Relations & Digraphs
Example: Give the examples for paths of length 1,2,3,4
and 5.
ยฉ S. Turaev, CSC 1700 Discrete Mathematics
1 2
43
5
17
Paths in Relations & Digraphs
Definition: If ๐‘›๐‘› is a fixed number, we define a relation ๐‘…๐‘… ๐‘›๐‘›
as follows: ๐‘ฅ๐‘ฅ ๐‘…๐‘…๐‘›๐‘›
๐‘ฆ๐‘ฆ means that there is a path of length ๐‘›๐‘›
from ๐‘ฅ๐‘ฅ to ๐‘ฆ๐‘ฆ.
Definition: We define a relation ๐‘…๐‘…โˆž
(connectivity relation
for ๐‘…๐‘…) on ๐ด๐ด by letting ๐‘ฅ๐‘ฅ ๐‘…๐‘…โˆž
๐‘ฆ๐‘ฆ mean that there is some
path from ๐‘ฅ๐‘ฅ to ๐‘ฆ๐‘ฆ.
Example: Let ๐ด๐ด = ๐‘Ž๐‘Ž, ๐‘๐‘, ๐‘๐‘, ๐‘‘๐‘‘, ๐‘’๐‘’ and
๐‘…๐‘… = ๐‘Ž๐‘Ž, ๐‘Ž๐‘Ž , ๐‘Ž๐‘Ž, ๐‘๐‘ , ๐‘๐‘, ๐‘๐‘ , ๐‘๐‘, ๐‘’๐‘’ , ๐‘๐‘, ๐‘‘๐‘‘ , ๐‘‘๐‘‘, ๐‘’๐‘’ .
Compute (a) ๐‘…๐‘…2
; (b) ๐‘…๐‘…3
; (c) ๐‘…๐‘…โˆž
.
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 18
Paths in Relations & Digraphs
Let ๐‘…๐‘… be a relation on a finite set ๐ด๐ด = ๐‘Ž๐‘Ž1, ๐‘Ž๐‘Ž2, โ€ฆ , ๐‘Ž๐‘Ž๐‘›๐‘› , and
let ๐Œ๐Œ๐‘…๐‘… be the ๐‘›๐‘› ร— ๐‘›๐‘› matrix representing ๐‘…๐‘….
Theorem 1: If ๐‘…๐‘… is a relation on ๐ด๐ด = ๐‘Ž๐‘Ž1, ๐‘Ž๐‘Ž2, โ€ฆ , ๐‘Ž๐‘Ž๐‘›๐‘› , then
๐Œ๐Œ๐‘…๐‘…2 = ๐Œ๐Œ๐‘…๐‘… โŠ™ ๐Œ๐Œ๐‘…๐‘….
Example: Let ๐ด๐ด = ๐‘Ž๐‘Ž, ๐‘๐‘, ๐‘๐‘, ๐‘‘๐‘‘, ๐‘’๐‘’ and
๐‘…๐‘… = ๐‘Ž๐‘Ž, ๐‘Ž๐‘Ž , ๐‘Ž๐‘Ž, ๐‘๐‘ , ๐‘๐‘, ๐‘๐‘ , ๐‘๐‘, ๐‘’๐‘’ , ๐‘๐‘, ๐‘‘๐‘‘ , ๐‘‘๐‘‘, ๐‘’๐‘’ .
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 19
Paths in Relations & Digraphs
Example: Let ๐ด๐ด = ๐‘Ž๐‘Ž, ๐‘๐‘, ๐‘๐‘, ๐‘‘๐‘‘, ๐‘’๐‘’ and
๐‘…๐‘… = ๐‘Ž๐‘Ž, ๐‘Ž๐‘Ž , ๐‘Ž๐‘Ž, ๐‘๐‘ , ๐‘๐‘, ๐‘๐‘ , ๐‘๐‘, ๐‘’๐‘’ , ๐‘๐‘, ๐‘‘๐‘‘ , ๐‘‘๐‘‘, ๐‘’๐‘’ .
๐Œ๐Œ๐‘…๐‘… =
1 1
0 0
0 0
1 0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
1
1
0
Compute ๐Œ๐Œ๐‘…๐‘…2.
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 20
Reflexive & Irreflexive Relations
Definition:
๏‚ง A relation ๐‘…๐‘… on a set ๐ด๐ด is reflexive if ๐‘Ž๐‘Ž, ๐‘Ž๐‘Ž โˆˆ ๐‘…๐‘… for
all ๐‘Ž๐‘Ž โˆˆ ๐ด๐ด, i.e., if ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘Ž๐‘Ž for all ๐‘Ž๐‘Ž โˆˆ ๐ด๐ด.
๏‚ง A relation ๐‘…๐‘… on a set ๐ด๐ด is irreflexive if ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘Ž๐‘Ž for all
๐‘Ž๐‘Ž โˆˆ ๐ด๐ด.
Example:
๏‚ง ฮ” = ๐‘Ž๐‘Ž, ๐‘Ž๐‘Ž | ๐‘Ž๐‘Ž โˆˆ ๐ด๐ด , the relation of equality on the
set ๐ด๐ด.
๏‚ง ๐‘…๐‘… = ๐‘Ž๐‘Ž, ๐‘๐‘ โˆˆ ๐ด๐ด ร— ๐ด๐ด| ๐‘Ž๐‘Ž โ‰  ๐‘๐‘ , the relation of
inequality on the set ๐ด๐ด.
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 21
Reflexive & Irreflexive Relations
Exercise: Let ๐ด๐ด = 1, 2, 3 , and let ๐‘…๐‘… = 1,1 , 1,2 .
Is ๐‘…๐‘… reflexive or irreflexive?
Exercise: How is a reflexive or irreflexive relation
identified by its matrix?
Exercise: How is a reflexive or irreflexive relation
characterized by the digraph?
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 22
(A-, Anti-) Symmetric Relations
Definition:
๏‚ง A relation ๐‘…๐‘… on a set ๐ด๐ด is symmetric if whenever
๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘, then ๐‘๐‘ ๐‘…๐‘… ๐‘Ž๐‘Ž.
๏‚ง A relation ๐‘…๐‘… on a set ๐ด๐ด is asymmetric if whenever
๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘, then ๐‘๐‘ ๐‘…๐‘… ๐‘Ž๐‘Ž.
๏‚ง A relation ๐‘…๐‘… on a set ๐ด๐ด is antisymmetric if whenever
๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘ and ๐‘๐‘ ๐‘…๐‘… ๐‘Ž๐‘Ž, then ๐‘Ž๐‘Ž = ๐‘๐‘.
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 23
(A-, Anti-) Symmetric Relations
Example: Let ๐ด๐ด = 1, 2, 3, 4, 5, 6 and let
๐‘…๐‘… = ๐‘Ž๐‘Ž, ๐‘๐‘ โˆˆ ๐ด๐ด ร— ๐ด๐ด | ๐‘Ž๐‘Ž < ๐‘๐‘
Is ๐‘…๐‘… symmetric, asymmetric or antisymmetric?
๏‚ง Symmetry:
๏‚ง Asymmetry:
๏‚ง Antisymmetry:
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 24
(A-, Anti-) Symmetric Relations
Example: Let ๐ด๐ด = 1, 2, 3, 4 and let
๐‘…๐‘… = 1,2 , 2,2 , 3,4 , 4,1
Is ๐‘…๐‘… symmetric, asymmetric or antisymmetric?
Example: Let ๐ด๐ด = โ„ค+
and let
๐‘…๐‘… = ๐‘Ž๐‘Ž, ๐‘๐‘ โˆˆ ๐ด๐ด ร— ๐ด๐ด | ๐‘Ž๐‘Ž divides ๐‘๐‘
Is ๐‘…๐‘… symmetric, asymmetric or antisymmetric?
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 25
(A-, Anti-) Symmetric Relations
Exercise: How is a symmetric, asymmetric or
antisymmetric relation identified by its matrix?
Exercise: How is a symmetric, asymmetric or
antisymmetric relation characterized by the digraph?
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 26
Transitive Relations
Definition: A relation ๐‘…๐‘… on a set ๐ด๐ด is transitive if
whenever ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘ and ๐‘๐‘ ๐‘…๐‘… ๐‘๐‘ then ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘.
Example: Let ๐ด๐ด = 1, 2, 3, 4 and let
๐‘…๐‘… = 1,2 , 1,3 , 4,2
Is ๐‘…๐‘… transitive?
Example: Let ๐ด๐ด = โ„ค+
and let
๐‘…๐‘… = ๐‘Ž๐‘Ž, ๐‘๐‘ โˆˆ ๐ด๐ด ร— ๐ด๐ด | ๐‘Ž๐‘Ž divides ๐‘๐‘
Is ๐‘…๐‘… transitive?
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 27
Transitive Relations
Exercise: Let ๐ด๐ด = 1,2,3 and ๐‘…๐‘… be the relation on ๐ด๐ด
whose matrix is
๐Œ๐Œ๐‘…๐‘… =
1 1 1
0 0 1
0 0 1
Show that ๐‘…๐‘… is transitive. (Hint: Check if ๐Œ๐Œ๐‘…๐‘… โŠ™
2
= ๐Œ๐Œ๐‘…๐‘…)
Exercise: How is a transitive relation identified by its
matrix?
Exercise: How is a transitive relation characterized by the
digraph?
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 28
Equivalence Relations
Definition: A relation ๐‘…๐‘… on a set ๐ด๐ด is called an equi-
valence relation if it is reflexive, symmetric and transitive.
Example: Let ๐ด๐ด = 1, 2, 3, 4 and let
๐‘…๐‘… = 1,1 , 1,2 , 2,1 , 2,2 , 3,4 , 4,3 , 3,3 , 4,4 .
Then ๐‘…๐‘… is an equivalence relation.
Example: Let ๐ด๐ด = โ„ค and let
๐‘…๐‘… = ๐‘Ž๐‘Ž, ๐‘๐‘ โˆˆ ๐ด๐ด ร— ๐ด๐ด โˆถ ๐‘Ž๐‘Ž โ‰ก ๐‘๐‘ mod 2 .
Show that ๐‘…๐‘… is an equivalence relation.
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 29
Exercises : Relations
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 30
Exercises : Relations
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 31
Exercises : Relations
ยฉ S. Turaev, CSC 1700 Discrete Mathematics 32

More Related Content

What's hot

Interesting applications of graph theory
Interesting applications of graph theoryInteresting applications of graph theory
Interesting applications of graph theoryTech_MX
ย 
Poset in Relations(Discrete Mathematics)
Poset in Relations(Discrete Mathematics)Poset in Relations(Discrete Mathematics)
Poset in Relations(Discrete Mathematics)Rachana Pathak
ย 
Discrete maths questions
Discrete maths questionsDiscrete maths questions
Discrete maths questionsDIT University
ย 
Graph Theory
Graph TheoryGraph Theory
Graph Theorykailash shaw
ย 
Fuzzy Set
Fuzzy SetFuzzy Set
Fuzzy SetEhsan Hamzei
ย 
CMSC 56 | Lecture 13: Relations and their Properties
CMSC 56 | Lecture 13: Relations and their PropertiesCMSC 56 | Lecture 13: Relations and their Properties
CMSC 56 | Lecture 13: Relations and their Propertiesallyn joy calcaben
ย 
Application of Discrete Mathematics in CSE
Application of Discrete Mathematics in CSE Application of Discrete Mathematics in CSE
Application of Discrete Mathematics in CSE A. N. M. Jubaer
ย 
Trees and graphs
Trees and graphsTrees and graphs
Trees and graphsLokesh Singrol
ย 
CMSC 56 | Lecture 16: Equivalence of Relations & Partial Ordering
CMSC 56 | Lecture 16: Equivalence of Relations & Partial OrderingCMSC 56 | Lecture 16: Equivalence of Relations & Partial Ordering
CMSC 56 | Lecture 16: Equivalence of Relations & Partial Orderingallyn joy calcaben
ย 
SINGLE-SOURCE SHORTEST PATHS
SINGLE-SOURCE SHORTEST PATHS SINGLE-SOURCE SHORTEST PATHS
SINGLE-SOURCE SHORTEST PATHS Md. Shafiuzzaman Hira
ย 
CMSC 56 | Lecture 15: Closures of Relations
CMSC 56 | Lecture 15: Closures of RelationsCMSC 56 | Lecture 15: Closures of Relations
CMSC 56 | Lecture 15: Closures of Relationsallyn joy calcaben
ย 
Complexity of Algorithm
Complexity of AlgorithmComplexity of Algorithm
Complexity of AlgorithmMuhammad Muzammal
ย 
Relations and functions
Relations and functions Relations and functions
Relations and functions Seyid Kadher
ย 
Relations
RelationsRelations
RelationsGaditek
ย 
Ai quantifiers
Ai quantifiersAi quantifiers
Ai quantifiersTayyaba Jabeen
ย 
Dijkstra's algorithm presentation
Dijkstra's algorithm presentationDijkstra's algorithm presentation
Dijkstra's algorithm presentationSubid Biswas
ย 
Algorithm Complexity and Main Concepts
Algorithm Complexity and Main ConceptsAlgorithm Complexity and Main Concepts
Algorithm Complexity and Main ConceptsAdelina Ahadova
ย 
Graph theory in network system
Graph theory in network systemGraph theory in network system
Graph theory in network systemManikanta satyala
ย 
Applications of graphs
Applications of graphsApplications of graphs
Applications of graphsTech_MX
ย 
Dijkstra s algorithm
Dijkstra s algorithmDijkstra s algorithm
Dijkstra s algorithmmansab MIRZA
ย 

What's hot (20)

Interesting applications of graph theory
Interesting applications of graph theoryInteresting applications of graph theory
Interesting applications of graph theory
ย 
Poset in Relations(Discrete Mathematics)
Poset in Relations(Discrete Mathematics)Poset in Relations(Discrete Mathematics)
Poset in Relations(Discrete Mathematics)
ย 
Discrete maths questions
Discrete maths questionsDiscrete maths questions
Discrete maths questions
ย 
Graph Theory
Graph TheoryGraph Theory
Graph Theory
ย 
Fuzzy Set
Fuzzy SetFuzzy Set
Fuzzy Set
ย 
CMSC 56 | Lecture 13: Relations and their Properties
CMSC 56 | Lecture 13: Relations and their PropertiesCMSC 56 | Lecture 13: Relations and their Properties
CMSC 56 | Lecture 13: Relations and their Properties
ย 
Application of Discrete Mathematics in CSE
Application of Discrete Mathematics in CSE Application of Discrete Mathematics in CSE
Application of Discrete Mathematics in CSE
ย 
Trees and graphs
Trees and graphsTrees and graphs
Trees and graphs
ย 
CMSC 56 | Lecture 16: Equivalence of Relations & Partial Ordering
CMSC 56 | Lecture 16: Equivalence of Relations & Partial OrderingCMSC 56 | Lecture 16: Equivalence of Relations & Partial Ordering
CMSC 56 | Lecture 16: Equivalence of Relations & Partial Ordering
ย 
SINGLE-SOURCE SHORTEST PATHS
SINGLE-SOURCE SHORTEST PATHS SINGLE-SOURCE SHORTEST PATHS
SINGLE-SOURCE SHORTEST PATHS
ย 
CMSC 56 | Lecture 15: Closures of Relations
CMSC 56 | Lecture 15: Closures of RelationsCMSC 56 | Lecture 15: Closures of Relations
CMSC 56 | Lecture 15: Closures of Relations
ย 
Complexity of Algorithm
Complexity of AlgorithmComplexity of Algorithm
Complexity of Algorithm
ย 
Relations and functions
Relations and functions Relations and functions
Relations and functions
ย 
Relations
RelationsRelations
Relations
ย 
Ai quantifiers
Ai quantifiersAi quantifiers
Ai quantifiers
ย 
Dijkstra's algorithm presentation
Dijkstra's algorithm presentationDijkstra's algorithm presentation
Dijkstra's algorithm presentation
ย 
Algorithm Complexity and Main Concepts
Algorithm Complexity and Main ConceptsAlgorithm Complexity and Main Concepts
Algorithm Complexity and Main Concepts
ย 
Graph theory in network system
Graph theory in network systemGraph theory in network system
Graph theory in network system
ย 
Applications of graphs
Applications of graphsApplications of graphs
Applications of graphs
ย 
Dijkstra s algorithm
Dijkstra s algorithmDijkstra s algorithm
Dijkstra s algorithm
ย 

Similar to Relations digraphs

Integers and matrices (slides)
Integers and matrices (slides)Integers and matrices (slides)
Integers and matrices (slides)IIUM
ย 
Recurrence relations
Recurrence relationsRecurrence relations
Recurrence relationsIIUM
ย 
Logic (slides)
Logic (slides)Logic (slides)
Logic (slides)IIUM
ย 
Relations and Functions.pdf
Relations and Functions.pdfRelations and Functions.pdf
Relations and Functions.pdfGhanshyamGUPTA61
ย 
Module 1 (Part 1)-Sets and Number Systems.pdf
Module 1 (Part 1)-Sets and Number Systems.pdfModule 1 (Part 1)-Sets and Number Systems.pdf
Module 1 (Part 1)-Sets and Number Systems.pdfGaleJean
ย 
Section 9: Equivalence Relations & Cosets
Section 9: Equivalence Relations & CosetsSection 9: Equivalence Relations & Cosets
Section 9: Equivalence Relations & CosetsKevin Johnson
ย 
Generalised Statistical Convergence For Double Sequences
Generalised Statistical Convergence For Double SequencesGeneralised Statistical Convergence For Double Sequences
Generalised Statistical Convergence For Double SequencesIOSR Journals
ย 
Counting i (slides)
Counting i (slides)Counting i (slides)
Counting i (slides)IIUM
ย 
Trees (slides)
Trees (slides)Trees (slides)
Trees (slides)IIUM
ย 
Chapter 2 Mathematical Language and Symbols.pdf
Chapter 2 Mathematical Language and Symbols.pdfChapter 2 Mathematical Language and Symbols.pdf
Chapter 2 Mathematical Language and Symbols.pdfRaRaRamirez
ย 
MAT-314 Relations and Functions
MAT-314 Relations and FunctionsMAT-314 Relations and Functions
MAT-314 Relations and FunctionsKevin Johnson
ย 
Matrix Transformations on Some Difference Sequence Spaces
Matrix Transformations on Some Difference Sequence SpacesMatrix Transformations on Some Difference Sequence Spaces
Matrix Transformations on Some Difference Sequence SpacesIOSR Journals
ย 
A Probabilistic Algorithm for Computation of Polynomial Greatest Common with ...
A Probabilistic Algorithm for Computation of Polynomial Greatest Common with ...A Probabilistic Algorithm for Computation of Polynomial Greatest Common with ...
A Probabilistic Algorithm for Computation of Polynomial Greatest Common with ...mathsjournal
ย 
Lecture 1.2 quadratic functions
Lecture 1.2 quadratic functionsLecture 1.2 quadratic functions
Lecture 1.2 quadratic functionsnarayana dash
ย 
Regression.pptx
Regression.pptxRegression.pptx
Regression.pptxShivakumar B N
ย 
Lesson 7: Graphing Inequalities
Lesson 7: Graphing InequalitiesLesson 7: Graphing Inequalities
Lesson 7: Graphing InequalitiesKevin Johnson
ย 
Tutorial on EM algorithm โ€“ Part 1
Tutorial on EM algorithm โ€“ Part 1Tutorial on EM algorithm โ€“ Part 1
Tutorial on EM algorithm โ€“ Part 1Loc Nguyen
ย 
P2-Chp3-SequencesAndSeries from pure maths 2.pptx
P2-Chp3-SequencesAndSeries from pure maths 2.pptxP2-Chp3-SequencesAndSeries from pure maths 2.pptx
P2-Chp3-SequencesAndSeries from pure maths 2.pptxArafathAliMathsTeach
ย 
Matrix Transformations on Paranormed Sequence Spaces Related To De La Vallรฉe-...
Matrix Transformations on Paranormed Sequence Spaces Related To De La Vallรฉe-...Matrix Transformations on Paranormed Sequence Spaces Related To De La Vallรฉe-...
Matrix Transformations on Paranormed Sequence Spaces Related To De La Vallรฉe-...inventionjournals
ย 
2 borgs
2 borgs2 borgs
2 borgsYandex
ย 

Similar to Relations digraphs (20)

Integers and matrices (slides)
Integers and matrices (slides)Integers and matrices (slides)
Integers and matrices (slides)
ย 
Recurrence relations
Recurrence relationsRecurrence relations
Recurrence relations
ย 
Logic (slides)
Logic (slides)Logic (slides)
Logic (slides)
ย 
Relations and Functions.pdf
Relations and Functions.pdfRelations and Functions.pdf
Relations and Functions.pdf
ย 
Module 1 (Part 1)-Sets and Number Systems.pdf
Module 1 (Part 1)-Sets and Number Systems.pdfModule 1 (Part 1)-Sets and Number Systems.pdf
Module 1 (Part 1)-Sets and Number Systems.pdf
ย 
Section 9: Equivalence Relations & Cosets
Section 9: Equivalence Relations & CosetsSection 9: Equivalence Relations & Cosets
Section 9: Equivalence Relations & Cosets
ย 
Generalised Statistical Convergence For Double Sequences
Generalised Statistical Convergence For Double SequencesGeneralised Statistical Convergence For Double Sequences
Generalised Statistical Convergence For Double Sequences
ย 
Counting i (slides)
Counting i (slides)Counting i (slides)
Counting i (slides)
ย 
Trees (slides)
Trees (slides)Trees (slides)
Trees (slides)
ย 
Chapter 2 Mathematical Language and Symbols.pdf
Chapter 2 Mathematical Language and Symbols.pdfChapter 2 Mathematical Language and Symbols.pdf
Chapter 2 Mathematical Language and Symbols.pdf
ย 
MAT-314 Relations and Functions
MAT-314 Relations and FunctionsMAT-314 Relations and Functions
MAT-314 Relations and Functions
ย 
Matrix Transformations on Some Difference Sequence Spaces
Matrix Transformations on Some Difference Sequence SpacesMatrix Transformations on Some Difference Sequence Spaces
Matrix Transformations on Some Difference Sequence Spaces
ย 
A Probabilistic Algorithm for Computation of Polynomial Greatest Common with ...
A Probabilistic Algorithm for Computation of Polynomial Greatest Common with ...A Probabilistic Algorithm for Computation of Polynomial Greatest Common with ...
A Probabilistic Algorithm for Computation of Polynomial Greatest Common with ...
ย 
Lecture 1.2 quadratic functions
Lecture 1.2 quadratic functionsLecture 1.2 quadratic functions
Lecture 1.2 quadratic functions
ย 
Regression.pptx
Regression.pptxRegression.pptx
Regression.pptx
ย 
Lesson 7: Graphing Inequalities
Lesson 7: Graphing InequalitiesLesson 7: Graphing Inequalities
Lesson 7: Graphing Inequalities
ย 
Tutorial on EM algorithm โ€“ Part 1
Tutorial on EM algorithm โ€“ Part 1Tutorial on EM algorithm โ€“ Part 1
Tutorial on EM algorithm โ€“ Part 1
ย 
P2-Chp3-SequencesAndSeries from pure maths 2.pptx
P2-Chp3-SequencesAndSeries from pure maths 2.pptxP2-Chp3-SequencesAndSeries from pure maths 2.pptx
P2-Chp3-SequencesAndSeries from pure maths 2.pptx
ย 
Matrix Transformations on Paranormed Sequence Spaces Related To De La Vallรฉe-...
Matrix Transformations on Paranormed Sequence Spaces Related To De La Vallรฉe-...Matrix Transformations on Paranormed Sequence Spaces Related To De La Vallรฉe-...
Matrix Transformations on Paranormed Sequence Spaces Related To De La Vallรฉe-...
ย 
2 borgs
2 borgs2 borgs
2 borgs
ย 

More from IIUM

How to use_000webhost
How to use_000webhostHow to use_000webhost
How to use_000webhostIIUM
ย 
Chapter 2
Chapter 2Chapter 2
Chapter 2IIUM
ย 
Chapter 1
Chapter 1Chapter 1
Chapter 1IIUM
ย 
Kreydle internship-multimedia
Kreydle internship-multimediaKreydle internship-multimedia
Kreydle internship-multimediaIIUM
ย 
03phpbldgblock
03phpbldgblock03phpbldgblock
03phpbldgblockIIUM
ย 
Chap2 practice key
Chap2 practice keyChap2 practice key
Chap2 practice keyIIUM
ย 
Group p1
Group p1Group p1
Group p1IIUM
ย 
Tutorial import n auto pilot blogspot friendly seo
Tutorial import n auto pilot blogspot friendly seoTutorial import n auto pilot blogspot friendly seo
Tutorial import n auto pilot blogspot friendly seoIIUM
ย 
Visual sceneperception encycloperception-sage-oliva2009
Visual sceneperception encycloperception-sage-oliva2009Visual sceneperception encycloperception-sage-oliva2009
Visual sceneperception encycloperception-sage-oliva2009IIUM
ย 
03 the htm_lforms
03 the htm_lforms03 the htm_lforms
03 the htm_lformsIIUM
ย 
Exercise on algo analysis answer
Exercise on algo analysis   answerExercise on algo analysis   answer
Exercise on algo analysis answerIIUM
ย 
Redo midterm
Redo midtermRedo midterm
Redo midtermIIUM
ย 
Heaps
HeapsHeaps
HeapsIIUM
ย 
Report format
Report formatReport format
Report formatIIUM
ย 
Edpuzzle guidelines
Edpuzzle guidelinesEdpuzzle guidelines
Edpuzzle guidelinesIIUM
ย 
Final Exam Paper
Final Exam PaperFinal Exam Paper
Final Exam PaperIIUM
ย 
Final Exam Paper
Final Exam PaperFinal Exam Paper
Final Exam PaperIIUM
ย 
Group assignment 1 s21516
Group assignment 1 s21516Group assignment 1 s21516
Group assignment 1 s21516IIUM
ย 
Avl tree-rotations
Avl tree-rotationsAvl tree-rotations
Avl tree-rotationsIIUM
ย 
Week12 graph
Week12   graph Week12   graph
Week12 graph IIUM
ย 

More from IIUM (20)

How to use_000webhost
How to use_000webhostHow to use_000webhost
How to use_000webhost
ย 
Chapter 2
Chapter 2Chapter 2
Chapter 2
ย 
Chapter 1
Chapter 1Chapter 1
Chapter 1
ย 
Kreydle internship-multimedia
Kreydle internship-multimediaKreydle internship-multimedia
Kreydle internship-multimedia
ย 
03phpbldgblock
03phpbldgblock03phpbldgblock
03phpbldgblock
ย 
Chap2 practice key
Chap2 practice keyChap2 practice key
Chap2 practice key
ย 
Group p1
Group p1Group p1
Group p1
ย 
Tutorial import n auto pilot blogspot friendly seo
Tutorial import n auto pilot blogspot friendly seoTutorial import n auto pilot blogspot friendly seo
Tutorial import n auto pilot blogspot friendly seo
ย 
Visual sceneperception encycloperception-sage-oliva2009
Visual sceneperception encycloperception-sage-oliva2009Visual sceneperception encycloperception-sage-oliva2009
Visual sceneperception encycloperception-sage-oliva2009
ย 
03 the htm_lforms
03 the htm_lforms03 the htm_lforms
03 the htm_lforms
ย 
Exercise on algo analysis answer
Exercise on algo analysis   answerExercise on algo analysis   answer
Exercise on algo analysis answer
ย 
Redo midterm
Redo midtermRedo midterm
Redo midterm
ย 
Heaps
HeapsHeaps
Heaps
ย 
Report format
Report formatReport format
Report format
ย 
Edpuzzle guidelines
Edpuzzle guidelinesEdpuzzle guidelines
Edpuzzle guidelines
ย 
Final Exam Paper
Final Exam PaperFinal Exam Paper
Final Exam Paper
ย 
Final Exam Paper
Final Exam PaperFinal Exam Paper
Final Exam Paper
ย 
Group assignment 1 s21516
Group assignment 1 s21516Group assignment 1 s21516
Group assignment 1 s21516
ย 
Avl tree-rotations
Avl tree-rotationsAvl tree-rotations
Avl tree-rotations
ย 
Week12 graph
Week12   graph Week12   graph
Week12 graph
ย 

Recently uploaded

Understanding Accommodations and Modifications
Understanding  Accommodations and ModificationsUnderstanding  Accommodations and Modifications
Understanding Accommodations and ModificationsMJDuyan
ย 
Accessible Digital Futures project (20/03/2024)
Accessible Digital Futures project (20/03/2024)Accessible Digital Futures project (20/03/2024)
Accessible Digital Futures project (20/03/2024)Jisc
ย 
Fostering Friendships - Enhancing Social Bonds in the Classroom
Fostering Friendships - Enhancing Social Bonds  in the ClassroomFostering Friendships - Enhancing Social Bonds  in the Classroom
Fostering Friendships - Enhancing Social Bonds in the ClassroomPooky Knightsmith
ย 
Application orientated numerical on hev.ppt
Application orientated numerical on hev.pptApplication orientated numerical on hev.ppt
Application orientated numerical on hev.pptRamjanShidvankar
ย 
Python Notes for mca i year students osmania university.docx
Python Notes for mca i year students osmania university.docxPython Notes for mca i year students osmania university.docx
Python Notes for mca i year students osmania university.docxRamakrishna Reddy Bijjam
ย 
Unit-IV- Pharma. Marketing Channels.pptx
Unit-IV- Pharma. Marketing Channels.pptxUnit-IV- Pharma. Marketing Channels.pptx
Unit-IV- Pharma. Marketing Channels.pptxVishalSingh1417
ย 
Making communications land - Are they received and understood as intended? we...
Making communications land - Are they received and understood as intended? we...Making communications land - Are they received and understood as intended? we...
Making communications land - Are they received and understood as intended? we...Association for Project Management
ย 
Introduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The BasicsIntroduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The BasicsTechSoup
ย 
Holdier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdfHoldier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdfagholdier
ย 
Towards a code of practice for AI in AT.pptx
Towards a code of practice for AI in AT.pptxTowards a code of practice for AI in AT.pptx
Towards a code of practice for AI in AT.pptxJisc
ย 
How to Manage Global Discount in Odoo 17 POS
How to Manage Global Discount in Odoo 17 POSHow to Manage Global Discount in Odoo 17 POS
How to Manage Global Discount in Odoo 17 POSCeline George
ย 
SKILL OF INTRODUCING THE LESSON MICRO SKILLS.pptx
SKILL OF INTRODUCING THE LESSON MICRO SKILLS.pptxSKILL OF INTRODUCING THE LESSON MICRO SKILLS.pptx
SKILL OF INTRODUCING THE LESSON MICRO SKILLS.pptxAmanpreet Kaur
ย 
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...christianmathematics
ย 
1029 - Danh muc Sach Giao Khoa 10 . pdf
1029 -  Danh muc Sach Giao Khoa 10 . pdf1029 -  Danh muc Sach Giao Khoa 10 . pdf
1029 - Danh muc Sach Giao Khoa 10 . pdfQucHHunhnh
ย 
Mixin Classes in Odoo 17 How to Extend Models Using Mixin Classes
Mixin Classes in Odoo 17  How to Extend Models Using Mixin ClassesMixin Classes in Odoo 17  How to Extend Models Using Mixin Classes
Mixin Classes in Odoo 17 How to Extend Models Using Mixin ClassesCeline George
ย 
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptxMaritesTamaniVerdade
ย 
ICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptxICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptxAreebaZafar22
ย 
General Principles of Intellectual Property: Concepts of Intellectual Proper...
General Principles of Intellectual Property: Concepts of Intellectual  Proper...General Principles of Intellectual Property: Concepts of Intellectual  Proper...
General Principles of Intellectual Property: Concepts of Intellectual Proper...Poonam Aher Patil
ย 
Key note speaker Neum_Admir Softic_ENG.pdf
Key note speaker Neum_Admir Softic_ENG.pdfKey note speaker Neum_Admir Softic_ENG.pdf
Key note speaker Neum_Admir Softic_ENG.pdfAdmir Softic
ย 
Tแป”NG ร”N TแบฌP THI Vร€O LแปšP 10 Mร”N TIแบพNG ANH Nฤ‚M HแปŒC 2023 - 2024 Cร“ ฤรP รN (NGแปฎ ร‚...
Tแป”NG ร”N TแบฌP THI Vร€O LแปšP 10 Mร”N TIแบพNG ANH Nฤ‚M HแปŒC 2023 - 2024 Cร“ ฤรP รN (NGแปฎ ร‚...Tแป”NG ร”N TแบฌP THI Vร€O LแปšP 10 Mร”N TIแบพNG ANH Nฤ‚M HแปŒC 2023 - 2024 Cร“ ฤรP รN (NGแปฎ ร‚...
Tแป”NG ร”N TแบฌP THI Vร€O LแปšP 10 Mร”N TIแบพNG ANH Nฤ‚M HแปŒC 2023 - 2024 Cร“ ฤรP รN (NGแปฎ ร‚...Nguyen Thanh Tu Collection
ย 

Recently uploaded (20)

Understanding Accommodations and Modifications
Understanding  Accommodations and ModificationsUnderstanding  Accommodations and Modifications
Understanding Accommodations and Modifications
ย 
Accessible Digital Futures project (20/03/2024)
Accessible Digital Futures project (20/03/2024)Accessible Digital Futures project (20/03/2024)
Accessible Digital Futures project (20/03/2024)
ย 
Fostering Friendships - Enhancing Social Bonds in the Classroom
Fostering Friendships - Enhancing Social Bonds  in the ClassroomFostering Friendships - Enhancing Social Bonds  in the Classroom
Fostering Friendships - Enhancing Social Bonds in the Classroom
ย 
Application orientated numerical on hev.ppt
Application orientated numerical on hev.pptApplication orientated numerical on hev.ppt
Application orientated numerical on hev.ppt
ย 
Python Notes for mca i year students osmania university.docx
Python Notes for mca i year students osmania university.docxPython Notes for mca i year students osmania university.docx
Python Notes for mca i year students osmania university.docx
ย 
Unit-IV- Pharma. Marketing Channels.pptx
Unit-IV- Pharma. Marketing Channels.pptxUnit-IV- Pharma. Marketing Channels.pptx
Unit-IV- Pharma. Marketing Channels.pptx
ย 
Making communications land - Are they received and understood as intended? we...
Making communications land - Are they received and understood as intended? we...Making communications land - Are they received and understood as intended? we...
Making communications land - Are they received and understood as intended? we...
ย 
Introduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The BasicsIntroduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The Basics
ย 
Holdier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdfHoldier Curriculum Vitae (April 2024).pdf
Holdier Curriculum Vitae (April 2024).pdf
ย 
Towards a code of practice for AI in AT.pptx
Towards a code of practice for AI in AT.pptxTowards a code of practice for AI in AT.pptx
Towards a code of practice for AI in AT.pptx
ย 
How to Manage Global Discount in Odoo 17 POS
How to Manage Global Discount in Odoo 17 POSHow to Manage Global Discount in Odoo 17 POS
How to Manage Global Discount in Odoo 17 POS
ย 
SKILL OF INTRODUCING THE LESSON MICRO SKILLS.pptx
SKILL OF INTRODUCING THE LESSON MICRO SKILLS.pptxSKILL OF INTRODUCING THE LESSON MICRO SKILLS.pptx
SKILL OF INTRODUCING THE LESSON MICRO SKILLS.pptx
ย 
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
ย 
1029 - Danh muc Sach Giao Khoa 10 . pdf
1029 -  Danh muc Sach Giao Khoa 10 . pdf1029 -  Danh muc Sach Giao Khoa 10 . pdf
1029 - Danh muc Sach Giao Khoa 10 . pdf
ย 
Mixin Classes in Odoo 17 How to Extend Models Using Mixin Classes
Mixin Classes in Odoo 17  How to Extend Models Using Mixin ClassesMixin Classes in Odoo 17  How to Extend Models Using Mixin Classes
Mixin Classes in Odoo 17 How to Extend Models Using Mixin Classes
ย 
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
2024-NATIONAL-LEARNING-CAMP-AND-OTHER.pptx
ย 
ICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptxICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptx
ย 
General Principles of Intellectual Property: Concepts of Intellectual Proper...
General Principles of Intellectual Property: Concepts of Intellectual  Proper...General Principles of Intellectual Property: Concepts of Intellectual  Proper...
General Principles of Intellectual Property: Concepts of Intellectual Proper...
ย 
Key note speaker Neum_Admir Softic_ENG.pdf
Key note speaker Neum_Admir Softic_ENG.pdfKey note speaker Neum_Admir Softic_ENG.pdf
Key note speaker Neum_Admir Softic_ENG.pdf
ย 
Tแป”NG ร”N TแบฌP THI Vร€O LแปšP 10 Mร”N TIแบพNG ANH Nฤ‚M HแปŒC 2023 - 2024 Cร“ ฤรP รN (NGแปฎ ร‚...
Tแป”NG ร”N TแบฌP THI Vร€O LแปšP 10 Mร”N TIแบพNG ANH Nฤ‚M HแปŒC 2023 - 2024 Cร“ ฤรP รN (NGแปฎ ร‚...Tแป”NG ร”N TแบฌP THI Vร€O LแปšP 10 Mร”N TIแบพNG ANH Nฤ‚M HแปŒC 2023 - 2024 Cร“ ฤรP รN (NGแปฎ ร‚...
Tแป”NG ร”N TแบฌP THI Vร€O LแปšP 10 Mร”N TIแบพNG ANH Nฤ‚M HแปŒC 2023 - 2024 Cร“ ฤรP รN (NGแปฎ ร‚...
ย 

Relations digraphs

  • 2. Product Sets Definition: An ordered pair ๐‘Ž๐‘Ž, ๐‘๐‘ is a listing of the objects/items ๐‘Ž๐‘Ž and ๐‘๐‘ in a prescribed order: ๐‘Ž๐‘Ž is the first and ๐‘๐‘ is the second. (a sequence of length 2) Definition: The ordered pairs ๐‘Ž๐‘Ž1, ๐‘๐‘1 and ๐‘Ž๐‘Ž2, ๐‘๐‘2 are equal iff ๐‘Ž๐‘Ž1 = ๐‘Ž๐‘Ž2 and ๐‘๐‘1 = ๐‘๐‘2. Definition: If ๐ด๐ด and ๐ต๐ต are two nonempty sets, we define the product set or Cartesian product ๐ด๐ด ร— ๐ต๐ต as the set of all ordered pairs ๐‘Ž๐‘Ž, ๐‘๐‘ with ๐‘Ž๐‘Ž โˆˆ ๐ด๐ด and ๐‘๐‘ โˆˆ ๐ต๐ต: ๐ด๐ด ร— ๐ต๐ต = ๐‘Ž๐‘Ž, ๐‘๐‘ ๐‘Ž๐‘Ž โˆˆ ๐ด๐ด and ๐‘๐‘ โˆˆ ๐ต๐ต} ยฉ S. Turaev, CSC 1700 Discrete Mathematics 2
  • 3. Product Sets Example: Let ๐ด๐ด = 1,2,3 and ๐ต๐ต = ๐‘Ÿ๐‘Ÿ, ๐‘ ๐‘  , then ๐ด๐ด ร— ๐ต๐ต = ๐ต๐ต ร— ๐ด๐ด = ยฉ S. Turaev, CSC 1700 Discrete Mathematics 3
  • 4. Product Sets Theorem: For any two finite sets ๐ด๐ด and ๐ต๐ต, ๐ด๐ด ร— ๐ต๐ต = ๐ด๐ด โ‹… ๐ต๐ต . Proof: Use multiplication principle! ยฉ S. Turaev, CSC 1700 Discrete Mathematics 4
  • 5. Definitions: ๏‚ง Let ๐ด๐ด and ๐ต๐ต be nonempty sets. A relation ๐‘…๐‘… from ๐ด๐ด to ๐ต๐ต is a subset of ๐ด๐ด ร— ๐ต๐ต. ๏‚ง If ๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ต๐ต and ๐‘Ž๐‘Ž, ๐‘๐‘ โˆˆ ๐‘…๐‘…, we say that ๐‘Ž๐‘Ž is related to ๐‘๐‘ by ๐‘…๐‘…, and we write ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘. ๏‚ง If ๐‘Ž๐‘Ž is not related to ๐‘๐‘ by ๐‘…๐‘…, we write ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘. ๏‚ง If ๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ด๐ด, we say ๐‘…๐‘… is a relation on ๐ด๐ด. Relations & Digraphs ยฉ S. Turaev, CSC 1700 Discrete Mathematics 5
  • 6. Example 1: Let ๐ด๐ด = 1,2,3 and ๐ต๐ต = ๐‘Ÿ๐‘Ÿ, ๐‘ ๐‘  . Then ๐‘…๐‘… = 1, ๐‘Ÿ๐‘Ÿ , 2, ๐‘ ๐‘  , 3, ๐‘Ÿ๐‘Ÿ โŠ† ๐ด๐ด ร— ๐ต๐ต is a relation from ๐ด๐ด to ๐ต๐ต. Example 2: Let ๐ด๐ด and ๐ต๐ต are sets of positive integer numbers. We define the relation ๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ต๐ต by ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘ โ‡” ๐‘Ž๐‘Ž = ๐‘๐‘ Relations & Digraphs ยฉ S. Turaev, CSC 1700 Discrete Mathematics 6
  • 7. Example 3: Let ๐ด๐ด = 1,2,3,4,5 . The relation ๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ด๐ด is defined by ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘ โ‡” ๐‘Ž๐‘Ž < ๐‘๐‘ Then ๐‘…๐‘… = Example 4: Let ๐ด๐ด = 1,2,3,4,5,6,7,8,9,10 . The relation ๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ด๐ด is defined by ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘ โ‡” ๐‘Ž๐‘Ž|๐‘๐‘ Then ๐‘…๐‘… = Relations & Digraphs ยฉ S. Turaev, CSC 1700 Discrete Mathematics 7
  • 8. Definition: Let ๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ต๐ต be a relation from ๐ด๐ด to ๐ต๐ต. ๏‚ง The domain of ๐‘…๐‘…, denoted by Dom ๐‘…๐‘… , is the set of elements in ๐ด๐ด that are related to some element in ๐ต๐ต. ๏‚ง The range of ๐‘…๐‘…, denoted by Ran ๐‘…๐‘… , is the set of elements in ๐ต๐ต that are second elements of pairs in ๐‘…๐‘…. Relations & Digraphs ยฉ S. Turaev, CSC 1700 Discrete Mathematics 8
  • 9. Relations & Digraphs Example 5: Let ๐ด๐ด = 1,2,3 and ๐ต๐ต = ๐‘Ÿ๐‘Ÿ, ๐‘ ๐‘  . ๐‘…๐‘… = 1, ๐‘Ÿ๐‘Ÿ , 2, ๐‘ ๐‘  , 3, ๐‘Ÿ๐‘Ÿ Dom R = Ran R = Example 6: Let ๐ด๐ด = 1,2,3,4,5 . The relation ๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ด๐ด is defined by ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘ โ‡” ๐‘Ž๐‘Ž < ๐‘๐‘ Dom R = Ran R = ยฉ S. Turaev, CSC 1700 Discrete Mathematics 9
  • 10. The Matrix of a Relation Definition: Let ๐ด๐ด = ๐‘Ž๐‘Ž1, ๐‘Ž๐‘Ž2, โ€ฆ , ๐‘Ž๐‘Ž ๐‘š๐‘š , ๐ต๐ต = ๐‘๐‘1, ๐‘๐‘2, โ€ฆ , ๐‘๐‘๐‘›๐‘› and ๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ต๐ต be a relation. We represent ๐‘…๐‘… by the ๐‘š๐‘š ร— ๐‘›๐‘› matrix ๐Œ๐Œ๐‘…๐‘… = [๐‘š๐‘š๐‘–๐‘–๐‘–๐‘–], which is defined by ๐‘š๐‘š๐‘–๐‘–๐‘–๐‘– = ๏ฟฝ 1, ๐‘Ž๐‘Ž๐‘–๐‘–, ๐‘๐‘๐‘—๐‘— โˆˆ ๐‘…๐‘… 0, ๐‘Ž๐‘Ž๐‘–๐‘–, ๐‘๐‘๐‘—๐‘— โˆ‰ ๐‘…๐‘… The matrix ๐Œ๐Œ๐‘…๐‘… is called the matrix of ๐‘…๐‘…. Example: Let ๐ด๐ด = 1,2,3 and ๐ต๐ต = ๐‘Ÿ๐‘Ÿ, ๐‘ ๐‘  . ๐‘…๐‘… = 1, ๐‘Ÿ๐‘Ÿ , 2, ๐‘ ๐‘  , 3, ๐‘Ÿ๐‘Ÿ ๐Œ๐Œ๐‘…๐‘… = ยฉ S. Turaev, CSC 1700 Discrete Mathematics 10
  • 11. The Digraph of a Relation Definition: If ๐ด๐ด is finite and ๐‘…๐‘… โŠ† ๐ด๐ด ร— ๐ด๐ด is a relation. We represent ๐‘…๐‘… pictorially as follows: ๏‚ง Draw a small circle, called a vertex/node, for each element of ๐ด๐ด and label the circle with the corresponding element of ๐ด๐ด. ๏‚ง Draw an arrow, called an edge, from vertex ๐‘Ž๐‘Ž๐‘–๐‘– to vertex ๐‘Ž๐‘Ž๐‘—๐‘— iff ๐‘Ž๐‘Ž๐‘–๐‘– ๐‘…๐‘… ๐‘Ž๐‘Ž๐‘—๐‘—. The resulting pictorial representation of ๐‘…๐‘… is called a directed graph or digraph of ๐‘…๐‘…. ยฉ S. Turaev, CSC 1700 Discrete Mathematics 11
  • 12. The Digraph of a Relation Example: Let ๐ด๐ด = 1, 2, 3, 4 and ๐‘…๐‘… = 1,1 , 1,2 , 2,1 , 2,2 , 2,3 , 2,4 , 3,4 , 4,1 The digraph of ๐‘…๐‘…: Example: Let ๐ด๐ด = 1, 2, 3, 4 and Find the relation ๐‘…๐‘…: ยฉ S. Turaev, CSC 1700 Discrete Mathematics 1 2 3 4 12
  • 13. The Digraph of a Relation Definition: If ๐‘…๐‘… is a relation on a set ๐ด๐ด and ๐‘Ž๐‘Ž โˆˆ ๐ด๐ด, then ๏‚ง the in-degree of ๐‘Ž๐‘Ž is the number of ๐‘๐‘ โˆˆ ๐ด๐ด such that ๐‘๐‘, ๐‘Ž๐‘Ž โˆˆ ๐‘…๐‘…; ๏‚ง the out-degree of ๐‘Ž๐‘Ž is the number of ๐‘๐‘ โˆˆ ๐ด๐ด such that ๐‘Ž๐‘Ž, ๐‘๐‘ โˆˆ ๐‘…๐‘…. Example: Consider the digraph: List in-degrees and out-degrees of all vertices. ยฉ S. Turaev, CSC 1700 Discrete Mathematics 1 2 3 4 13
  • 14. The Digraph of a Relation Example: Let ๐ด๐ด = ๐‘Ž๐‘Ž, ๐‘๐‘, ๐‘๐‘, ๐‘‘๐‘‘ and let ๐‘…๐‘… be the relation on ๐ด๐ด that has the matrix ๐Œ๐Œ๐‘…๐‘… = 1 0 0 1 0 0 0 0 1 1 0 1 1 0 0 1 Construct the digraph of ๐‘…๐‘… and list in-degrees and out- degrees of all vertices. ยฉ S. Turaev, CSC 1700 Discrete Mathematics 14
  • 15. The Digraph of a Relation Example: Let ๐ด๐ด = 1,4,5 and let ๐‘…๐‘… be given the digraph Find ๐Œ๐Œ๐‘…๐‘… and ๐‘…๐‘…. ยฉ S. Turaev, CSC 1700 Discrete Mathematics 1 4 5 15
  • 16. Paths in Relations & Digraphs Definition: Suppose that ๐‘…๐‘… is a relation on a set ๐ด๐ด. A path of length ๐‘›๐‘› in ๐‘…๐‘… from ๐‘Ž๐‘Ž to ๐‘๐‘ is a finite sequence ๐œ‹๐œ‹ โˆถ ๐‘Ž๐‘Ž, ๐‘ฅ๐‘ฅ1, ๐‘ฅ๐‘ฅ2, โ€ฆ , ๐‘ฅ๐‘ฅ๐‘›๐‘›โˆ’1, ๐‘๐‘ beginning with ๐‘Ž๐‘Ž and ending with ๐‘๐‘, such that ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘ฅ๐‘ฅ1, ๐‘ฅ๐‘ฅ1 ๐‘…๐‘… ๐‘ฅ๐‘ฅ2, โ€ฆ , ๐‘ฅ๐‘ฅ๐‘›๐‘›โˆ’1 ๐‘…๐‘… ๐‘๐‘. Definition: A path that begins and ends at the same vertex is called a cycle: ๐œ‹๐œ‹ โˆถ ๐‘Ž๐‘Ž, ๐‘ฅ๐‘ฅ1, ๐‘ฅ๐‘ฅ2, โ€ฆ , ๐‘ฅ๐‘ฅ๐‘›๐‘›โˆ’1, ๐‘Ž๐‘Ž ยฉ S. Turaev, CSC 1700 Discrete Mathematics 16
  • 17. Paths in Relations & Digraphs Example: Give the examples for paths of length 1,2,3,4 and 5. ยฉ S. Turaev, CSC 1700 Discrete Mathematics 1 2 43 5 17
  • 18. Paths in Relations & Digraphs Definition: If ๐‘›๐‘› is a fixed number, we define a relation ๐‘…๐‘… ๐‘›๐‘› as follows: ๐‘ฅ๐‘ฅ ๐‘…๐‘…๐‘›๐‘› ๐‘ฆ๐‘ฆ means that there is a path of length ๐‘›๐‘› from ๐‘ฅ๐‘ฅ to ๐‘ฆ๐‘ฆ. Definition: We define a relation ๐‘…๐‘…โˆž (connectivity relation for ๐‘…๐‘…) on ๐ด๐ด by letting ๐‘ฅ๐‘ฅ ๐‘…๐‘…โˆž ๐‘ฆ๐‘ฆ mean that there is some path from ๐‘ฅ๐‘ฅ to ๐‘ฆ๐‘ฆ. Example: Let ๐ด๐ด = ๐‘Ž๐‘Ž, ๐‘๐‘, ๐‘๐‘, ๐‘‘๐‘‘, ๐‘’๐‘’ and ๐‘…๐‘… = ๐‘Ž๐‘Ž, ๐‘Ž๐‘Ž , ๐‘Ž๐‘Ž, ๐‘๐‘ , ๐‘๐‘, ๐‘๐‘ , ๐‘๐‘, ๐‘’๐‘’ , ๐‘๐‘, ๐‘‘๐‘‘ , ๐‘‘๐‘‘, ๐‘’๐‘’ . Compute (a) ๐‘…๐‘…2 ; (b) ๐‘…๐‘…3 ; (c) ๐‘…๐‘…โˆž . ยฉ S. Turaev, CSC 1700 Discrete Mathematics 18
  • 19. Paths in Relations & Digraphs Let ๐‘…๐‘… be a relation on a finite set ๐ด๐ด = ๐‘Ž๐‘Ž1, ๐‘Ž๐‘Ž2, โ€ฆ , ๐‘Ž๐‘Ž๐‘›๐‘› , and let ๐Œ๐Œ๐‘…๐‘… be the ๐‘›๐‘› ร— ๐‘›๐‘› matrix representing ๐‘…๐‘…. Theorem 1: If ๐‘…๐‘… is a relation on ๐ด๐ด = ๐‘Ž๐‘Ž1, ๐‘Ž๐‘Ž2, โ€ฆ , ๐‘Ž๐‘Ž๐‘›๐‘› , then ๐Œ๐Œ๐‘…๐‘…2 = ๐Œ๐Œ๐‘…๐‘… โŠ™ ๐Œ๐Œ๐‘…๐‘…. Example: Let ๐ด๐ด = ๐‘Ž๐‘Ž, ๐‘๐‘, ๐‘๐‘, ๐‘‘๐‘‘, ๐‘’๐‘’ and ๐‘…๐‘… = ๐‘Ž๐‘Ž, ๐‘Ž๐‘Ž , ๐‘Ž๐‘Ž, ๐‘๐‘ , ๐‘๐‘, ๐‘๐‘ , ๐‘๐‘, ๐‘’๐‘’ , ๐‘๐‘, ๐‘‘๐‘‘ , ๐‘‘๐‘‘, ๐‘’๐‘’ . ยฉ S. Turaev, CSC 1700 Discrete Mathematics 19
  • 20. Paths in Relations & Digraphs Example: Let ๐ด๐ด = ๐‘Ž๐‘Ž, ๐‘๐‘, ๐‘๐‘, ๐‘‘๐‘‘, ๐‘’๐‘’ and ๐‘…๐‘… = ๐‘Ž๐‘Ž, ๐‘Ž๐‘Ž , ๐‘Ž๐‘Ž, ๐‘๐‘ , ๐‘๐‘, ๐‘๐‘ , ๐‘๐‘, ๐‘’๐‘’ , ๐‘๐‘, ๐‘‘๐‘‘ , ๐‘‘๐‘‘, ๐‘’๐‘’ . ๐Œ๐Œ๐‘…๐‘… = 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 Compute ๐Œ๐Œ๐‘…๐‘…2. ยฉ S. Turaev, CSC 1700 Discrete Mathematics 20
  • 21. Reflexive & Irreflexive Relations Definition: ๏‚ง A relation ๐‘…๐‘… on a set ๐ด๐ด is reflexive if ๐‘Ž๐‘Ž, ๐‘Ž๐‘Ž โˆˆ ๐‘…๐‘… for all ๐‘Ž๐‘Ž โˆˆ ๐ด๐ด, i.e., if ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘Ž๐‘Ž for all ๐‘Ž๐‘Ž โˆˆ ๐ด๐ด. ๏‚ง A relation ๐‘…๐‘… on a set ๐ด๐ด is irreflexive if ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘Ž๐‘Ž for all ๐‘Ž๐‘Ž โˆˆ ๐ด๐ด. Example: ๏‚ง ฮ” = ๐‘Ž๐‘Ž, ๐‘Ž๐‘Ž | ๐‘Ž๐‘Ž โˆˆ ๐ด๐ด , the relation of equality on the set ๐ด๐ด. ๏‚ง ๐‘…๐‘… = ๐‘Ž๐‘Ž, ๐‘๐‘ โˆˆ ๐ด๐ด ร— ๐ด๐ด| ๐‘Ž๐‘Ž โ‰  ๐‘๐‘ , the relation of inequality on the set ๐ด๐ด. ยฉ S. Turaev, CSC 1700 Discrete Mathematics 21
  • 22. Reflexive & Irreflexive Relations Exercise: Let ๐ด๐ด = 1, 2, 3 , and let ๐‘…๐‘… = 1,1 , 1,2 . Is ๐‘…๐‘… reflexive or irreflexive? Exercise: How is a reflexive or irreflexive relation identified by its matrix? Exercise: How is a reflexive or irreflexive relation characterized by the digraph? ยฉ S. Turaev, CSC 1700 Discrete Mathematics 22
  • 23. (A-, Anti-) Symmetric Relations Definition: ๏‚ง A relation ๐‘…๐‘… on a set ๐ด๐ด is symmetric if whenever ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘, then ๐‘๐‘ ๐‘…๐‘… ๐‘Ž๐‘Ž. ๏‚ง A relation ๐‘…๐‘… on a set ๐ด๐ด is asymmetric if whenever ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘, then ๐‘๐‘ ๐‘…๐‘… ๐‘Ž๐‘Ž. ๏‚ง A relation ๐‘…๐‘… on a set ๐ด๐ด is antisymmetric if whenever ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘ and ๐‘๐‘ ๐‘…๐‘… ๐‘Ž๐‘Ž, then ๐‘Ž๐‘Ž = ๐‘๐‘. ยฉ S. Turaev, CSC 1700 Discrete Mathematics 23
  • 24. (A-, Anti-) Symmetric Relations Example: Let ๐ด๐ด = 1, 2, 3, 4, 5, 6 and let ๐‘…๐‘… = ๐‘Ž๐‘Ž, ๐‘๐‘ โˆˆ ๐ด๐ด ร— ๐ด๐ด | ๐‘Ž๐‘Ž < ๐‘๐‘ Is ๐‘…๐‘… symmetric, asymmetric or antisymmetric? ๏‚ง Symmetry: ๏‚ง Asymmetry: ๏‚ง Antisymmetry: ยฉ S. Turaev, CSC 1700 Discrete Mathematics 24
  • 25. (A-, Anti-) Symmetric Relations Example: Let ๐ด๐ด = 1, 2, 3, 4 and let ๐‘…๐‘… = 1,2 , 2,2 , 3,4 , 4,1 Is ๐‘…๐‘… symmetric, asymmetric or antisymmetric? Example: Let ๐ด๐ด = โ„ค+ and let ๐‘…๐‘… = ๐‘Ž๐‘Ž, ๐‘๐‘ โˆˆ ๐ด๐ด ร— ๐ด๐ด | ๐‘Ž๐‘Ž divides ๐‘๐‘ Is ๐‘…๐‘… symmetric, asymmetric or antisymmetric? ยฉ S. Turaev, CSC 1700 Discrete Mathematics 25
  • 26. (A-, Anti-) Symmetric Relations Exercise: How is a symmetric, asymmetric or antisymmetric relation identified by its matrix? Exercise: How is a symmetric, asymmetric or antisymmetric relation characterized by the digraph? ยฉ S. Turaev, CSC 1700 Discrete Mathematics 26
  • 27. Transitive Relations Definition: A relation ๐‘…๐‘… on a set ๐ด๐ด is transitive if whenever ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘ and ๐‘๐‘ ๐‘…๐‘… ๐‘๐‘ then ๐‘Ž๐‘Ž ๐‘…๐‘… ๐‘๐‘. Example: Let ๐ด๐ด = 1, 2, 3, 4 and let ๐‘…๐‘… = 1,2 , 1,3 , 4,2 Is ๐‘…๐‘… transitive? Example: Let ๐ด๐ด = โ„ค+ and let ๐‘…๐‘… = ๐‘Ž๐‘Ž, ๐‘๐‘ โˆˆ ๐ด๐ด ร— ๐ด๐ด | ๐‘Ž๐‘Ž divides ๐‘๐‘ Is ๐‘…๐‘… transitive? ยฉ S. Turaev, CSC 1700 Discrete Mathematics 27
  • 28. Transitive Relations Exercise: Let ๐ด๐ด = 1,2,3 and ๐‘…๐‘… be the relation on ๐ด๐ด whose matrix is ๐Œ๐Œ๐‘…๐‘… = 1 1 1 0 0 1 0 0 1 Show that ๐‘…๐‘… is transitive. (Hint: Check if ๐Œ๐Œ๐‘…๐‘… โŠ™ 2 = ๐Œ๐Œ๐‘…๐‘…) Exercise: How is a transitive relation identified by its matrix? Exercise: How is a transitive relation characterized by the digraph? ยฉ S. Turaev, CSC 1700 Discrete Mathematics 28
  • 29. Equivalence Relations Definition: A relation ๐‘…๐‘… on a set ๐ด๐ด is called an equi- valence relation if it is reflexive, symmetric and transitive. Example: Let ๐ด๐ด = 1, 2, 3, 4 and let ๐‘…๐‘… = 1,1 , 1,2 , 2,1 , 2,2 , 3,4 , 4,3 , 3,3 , 4,4 . Then ๐‘…๐‘… is an equivalence relation. Example: Let ๐ด๐ด = โ„ค and let ๐‘…๐‘… = ๐‘Ž๐‘Ž, ๐‘๐‘ โˆˆ ๐ด๐ด ร— ๐ด๐ด โˆถ ๐‘Ž๐‘Ž โ‰ก ๐‘๐‘ mod 2 . Show that ๐‘…๐‘… is an equivalence relation. ยฉ S. Turaev, CSC 1700 Discrete Mathematics 29
  • 30. Exercises : Relations ยฉ S. Turaev, CSC 1700 Discrete Mathematics 30
  • 31. Exercises : Relations ยฉ S. Turaev, CSC 1700 Discrete Mathematics 31
  • 32. Exercises : Relations ยฉ S. Turaev, CSC 1700 Discrete Mathematics 32