BOOK ? DINESH
MATHEMATICS
1. Relations
and Functions
NCERT TEXT
BOOKS EXERCISE 1.1
E1. Determine whether each of the following
relations are reflexive, symmetric and transitive :
(i) Relation R in the set A = {1, 2, 3, ? 13, 14}
defined as R = {x, y} : 3x ? y = 0}
(ii) Relation R in the set N of natural numbers
defined as R = {x, y) : y = x + 5 and x < 4}
(iii) Relation R in the set A = {1, 2, 3, 4, 5, 6}
as
R = {(x, y) : y is divisible by x}
(iv) Relation R in the set X of all integers
defined as
R = {(x, y) : x ? y is an integer}
(v) Relation R in the set A of human beings in a
town at a particular time given by
(a) R = {(x, y) : x and y work at the same
place}
(b) R = {(x, y) : x and y live in the same
locality}
(c) R = {(x, y) : x is exactly 7 cm taller
than y}
(d) R = {(x, y) : x is father of y}
(e) R = {(x, y) : x is father of y}
Sol. (i) A = {1, 2, 3, 4, ??. 13, 14:}
R = {(x, y) : 3x ? y = 0 i.e. y = 3x}
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image001.gif)
R = {(1, 3),
(2, 6), (3, 9), (4, 12)}
Reflexive : As 1
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image002.gif)
A but (1, 1)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image003.gif)
R.
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image001.gif)
R is not
reflexive.
Symmetric : As (1, 3)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image004.gif)
but
(3, 1)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image001.gif)
R is not
symmetric.
Transitive : As (1, 3)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image006.gif)
and
(3, 9)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image006.gif)
but (1, 9)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image006.gif)
,
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image001.gif)
R is not
transitive.
Hence relation R is neither reflexive, nor
symmetric, nor transitive.
(ii) N = {1, 2, 3, 4, 5 6 ??}
R = {(x, y) : y = x + 5 and x < 4}
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image007.gif)
= {(1, 6),
(2, 7), (3, 8)}
Reflexive : As
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image008.gif)
but (1, 1),
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image009.gif)
is
not reflexive.
Symmetric : As (1, 6)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image004.gif)
but
(6, 1)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image006.gif)
.
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image007.gif)
is not
symmetric.
Transitive : Clearly R is transitive
since it is not contradicted here.
Hence relation R is transitive but neither
reflexive nor symmetric.
(iii)
A = {1, 2, 3, 4, 5, 6}
R = {(x, y) : y is divisible by x}
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image001.gif)
R = {(1, 1),
(2, 2), (3, 3), (4, 4), (5, 5), (6, 6),
(1, 2), (1, 3), (1, 4), (1, 5), (1, 6), (2, 4), (2, 6), (3, 6)}
Reflexive : As (a, a)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image007.gif)
is reflexive
Symmetric : A (1, 2)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image011.gif)
but (2, 1)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image012.gif)
is not
symmetric.
Transitive : As (a, b)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image011.gif)
and (b, c)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image014.gif)
is divisible
by a and c is divisible by b
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image015.gif)
is divisible
by
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image016.gif)
(a, c)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image012.gif)
is
transitive.
Hence relation R is reflexive, transitive but not symmetric.
(iv) Z = {?.., ?3, ?2, ?1, 0, 1, 2, 3, ?}
R = {(x, y) : x ? y is an integer.
Reflexive : As a ? a = 0 is an integer
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image020.gif)
is symmetric.
Symmetric : As a ? b and b ? a are integers
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image020.gif)
is symmetric.
Transitive : As a ? b and b ? c are integers and
(a ? b) + (b ? c) = a ? c is also an integer.
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image023.gif)
and (b, c)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image025.gif)
is transitive.
Hence R is reflexive, symmetric and transitive.
(v) (a) Clearly R is reflexive, symmetry and transitive. (b)
Clearly R is reflexive, symmetric and transitive.
(c) A = {x : x is human being in a town}
R = {(x, y) : x is exactly 7 cm taller than y}
Reflexive : As a is not 7 cm taller than a.
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image020.gif)
is not
reflexive.
Symmetric : If a is exactly 7 cm taller than
b, then b cannot be 7 cm taller, than a
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image001.gif)
R is not
symmetric.
Transitive : If a exactly 7 cm taller
than b and b is exactly 7 cm taller than c then a is exactly 14 cm taller than
c.
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image012.gif)
is not
transitive.
Hence R is neither reflexive, nor symmetric
nor transitive.
(d) A = {x : x is human being}
R = {(x, y) : x is a wife of y}
Reflexive : As a is not wife of
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image020.gif)
is not
reflexive.
Symmetric : If a is a wife of b then b cannot
be wife of a.
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image001.gif)
R is not
symmetric.
Transitive : If a is a wife of b then b
is a male ad a male cannot be a wife.
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image001.gif)
(a, b)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image001.gif)
R is
transitive as it is not contradicted here.
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image001.gif)
R is
transitive but neither reflexive nor symmetric.
(e) Clearly R is neither reflexive nor
symmetric nor transitive.
E2. Show that the relation R in the set R of
real numbers, defined as R = {(a, b) : a
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image033.gif)
} is neither
reflexive nor symmetric nor transitive.
Sol. R = {(a, b) : a
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image034.gif)
a,
b,
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image035.gif)
}
Reflexive :
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image036.gif)
i.e.
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image001.gif)
(a, a)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image038.gif)
Hence R is not reflexive.
Symmetric : As 2, 5
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image004.gif)
and
2 < 25 i.e. 2 < 52.
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image001.gif)
(2, 5)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image004.gif)
But
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image039.gif)
4 i.e.
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image041.gif)
but (5, 2)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image006.gif)
Hence R is not symmetric.
Transitive : As 3, ?2 and ?1
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image004.gif)
and
3 < (2)2 and ?2 < (?1)2.
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image042.gif)
and (?2,
?1)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image035.gif)
But
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image020.gif)
is not
symmetric.
Transitive : (a, b)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image006.gif)
and
(b, c)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image046.gif)
and
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image007.gif)
is
transitive.
Hence R is reflexive and transitive but not
symmetric.
Example E 3.
Check whether the relation R defined in the set {1,2, 3,4,
5, 6} as
R = {(a, b) : b = a + 1} is reflexive,
symmetric or transitive.
Sol. t A = {1, 2, 3,
4, 5. 6}
R = {(a,
b) : b = a + 1, a, b
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image002.gif)
A}.
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image001.gif)
R =
{(1, 2), (2, 3), (3, 4), (4, 5), (5, 6)}.
Reflexive
: As 1 e A and (1, 1)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image003.gif)
R
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image001.gif)
R
is not reflexive.
Symmetric
: As 2, 3
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image002.gif)
A and (2, 3)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image002.gif)
R.
But
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image001.gif)
R
is not symmetric,
Transitive
: As 2. 3 and 4
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image002.gif)
A and (2, 3)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image002.gif)
R,
(3, t (2,4)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image002.gif)
R '
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image001.gif)
R
is not transitive.
Hence
R is neither reflexive, nor symmetric, nor transitive.
E 4.
Show that the relation R defined
as R = {(a, b) : a
b} is
reflexive and transitive
but not symmetric.
Sol. R
= {(a, b) : a
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image049.gif)
b, a, b
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image002.gif)
R
}
Reflexive
: As a
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image049.gif)
a
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image050.gif)
a
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image051.gif)
(a,
a)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image050.gif)
a
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image052.gif)
R
is reflexive.
Symmetric
: As 1, 2
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image051.gif)
and 1
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image049.gif)
2
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image001.gif)
(1,
2)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image051.gif)
But
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image001.gif)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image055.gif)
is
not symmetric.
Transitive
: (a, b)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image051.gif)
and (b, c)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image056.gif)
a,
b,c
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image057.gif)
and
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image001.gif)
R
is transitive.
Hence
R is reflexive and transitive but not
symmetric.
E5. Check whether the relation R in R defined
by R = {(a, b) : a
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image060.gif)
} is
reflexive, symmetric or transitive.
Sol. R = {(a, b) :
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image061.gif)
}
Reflexive : as
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image062.gif)
i.e.
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image007.gif)
is not
reflexive.
Symmetric : As 1 < 27 for 1, 3
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image004.gif)
i.e. (1, 3)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image004.gif)
for
1, 3
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image004.gif)
But
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image007.gif)
is not
symmetric.
Transitive : As 100 < 125 and 5 <
8
i.e. 100 < 53 and 5 < 23
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image052.gif)
(100, 5)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image004.gif)
and
(5, 2)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image004.gif)
But 100
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image067.gif)
8 i.e. 100
< 23
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image001.gif)
(100, 2)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image001.gif)
(100, 5)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image035.gif)
,
(5, 2)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image001.gif)
R is not
transitive.
Hence R is neither reflexive nor symmetric nor
transatie.
E6.
Show that the
relation R is the set {1, 2, 3} given by R = {(1, 2), (2, 1)} is symmetric but
neither reflexive nor transitive.
Sol. Let A = {1, 2, 3} : R = {(1, 2), (2, 1)}
Reflexive : As
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image070.gif)
and
(1, 1)
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image007.gif)
is not
reflexive.
Symmetric : As 1, 2
![](http://www.studyadda.com/unzip/relations_Exercise_14_Page_19_que/relations_Exercise_14_Page_19_que_files//image035.gif)
and
(1, 2)