Professional Documents
Culture Documents
Pilani Campus
MATH F213
Relations and Digraphs
Learning Objectives
We recall definition and certain properties of a relation form section 1.3 of the
text.
Definition : For sets 𝐴, 𝐵, a (binary) relation 𝑅 from 𝐴 to 𝐵 is a subset of 𝐴 × 𝐵.
(Thus its elements are some ordered pairs 𝑎, 𝑏 , 𝑎 ∈ 𝐴, 𝑏 ∈ 𝐵.)
If 𝐵 = 𝐴, then we say 𝑅 is a binary relation on 𝐴.
An 𝑛-ary relation 𝑅 on 𝐴 is a subset of 𝐴𝑛 . If 𝑛 = 1, then 𝑅 is called a unary
relation on 𝐴.
Ex. Let 𝐴 = the set of all real numbers. Then
𝑅 = { 𝑥, 𝑦 : 𝑥, 𝑦 are real numbers with 𝑥 2 + 𝑦 2 < 1}
Is a binary relation on 𝐴.
We define a new concept called a directed graph (or digraph) and show its
connection with a binary relation on a finite set V.
We will show that these two concepts are different ways of viewing the same
object, each having its own advantages.
V = {a,c,m,w}
E= { (a,a),(m,m) (w,w), (c,a), (c,w),(c,m),
(a,m), (m,w) }
(a,a)
G: a
(c,a) (a,m) (m,m)
(c,m)
c m
(c,w)
(m,w)
w
(w,w)
V = {a,c,m,w}
E= { (a,a),(m,m) (w,w), (c,a), (c,w),(c,m),
(a,m), (m,w) }.
For the digraphs in (a) and (b) in the following figure, give a specific
isomorphism from (a) to (b) as a set of ordered pairs [vertex in (a), vertex in
(b)].