Allen - Sets and Relations
Allen - Sets and Relations
F Total Number of Realtions : Let A and B be two non-empty finite sets consisting of m and n elements respectively.
Then A × B consists of mn ordered pairs. So, total number of subsets of A B is 2mn.
Number of Non-empty subsets 2mn–1
Domain and Range of a relation : Let R be a relation from a set A to a set B. Then the set of all first components
or coordinates of the ordered pairs belonging to R is called to domain of R, while the set of all second components or
coordinates of the ordered pairs in R is called the range of R.
Thus, Dom (R) = {a : (a, b) R}
and, Range (R) = {b : (a, b) R}
It is evident from the definition that the domain of a relation from A to B is a subset of A and its range is a subset of B.
Ex.2 Let A = {1, 3, 5, 7} and B = {2, 4, 6, 8} be two sets and let R be a relation from A to B defined by the phrase "(x, y)
R x > y". Under this relation R, we have
3R2, 5R2, 5R4, 7R2, 7R4 and 7R6
i.e. R = {(3, 2), (5, 2), (5, 4), (7, 2), (7, 4), (7, 6)}
Dom (R) = {3, 5, 7} and Range (R) = {2, 4, 6}
F Inverse Relation : Let A, B be two sets and let R be a relation from a set A to a set B. Then the inverse of R, denoted
by R–1, is a relation from B to A and is defined by
R–1 = {(b, a) : (a, b) R}
Clearly, (a, b) R (b, a) R–1
Also, Dom(R) = Range(R–1) and Range (R) = Dom (R–1)
Ex.3 Let A be the set of first ten natural numbers and let R be a relation on A defined by (x, y) R x + 2y = 10, i.e. R = {(x,
y) : x A, y A and x + 2y = 10}. Expre ss R and R –1 as sets of ordered pairs. Determine also
(i) domain of R and R–1 (ii) range of R and R–1
10 x
Sol. We have (x, y) R x + 2y = 10 y = , x, y A
2
where A = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
10 1 9
Now, x = 1 y = = A.
2 2
This shows that 1 is not related to any element in A. Similarly we can observe. that 3, 5, 7, 9 and 10 are not related to
any element of A under the defined relation
Further we find that :
10 2
For x = 2, y = = 4 A (2, 4) R
2
10 4
For x = 4, y = = 3 A (4, 3) R
2
10 6
For x = 6, y = = 2 A (6, 2) R
2
10 8
For x = 8, y = = 1 A (8, 1) R
2
Thus R = {(2, 4), (4, 3), (6, 2), (8, 1)}
R–1 = {(4, 2), (3, 4), (2, 6), (1, 8)}
6 _____________________Sets & Relations_______________________
MATHS
Clearly, Dom(R) = {2, 4, 6, 8} = Range(R–1)
and Range (R) = {4, 3, 2, 1} = Dom(R–1)
TYPES OF RELATIONS :
(1) Void Relation : Let A be a set. Then A × A and so it is a relation on A. This relation is called the void or empty
relation on A.
(2) Universal Relation : Let A be a set. Then A × A A × A and so it is a relation on A. This relation is called the universal
relation on A.
(3) Identity Relation : Let A be a set. Then the relation IA = {(a, a) : a A} on A is called the identity relation on A.
In other words, a relation IA on A is called the identity relation if every element of A is related to itself only.
Ex.4 The relation IA = {(1, 1), (2, 2), (3, 3)} is the identity relation on set A = {1, 2, 3}. But relations
R1 = {(1, 1), (2, 2)} and R2 = {(1, 1), (2, 2), (3, 3), (1, 3)} are not identity relations on A, because (3, 3) R1 and in R2 element
1 is related to elements 1 and 3.
(4) Reflexive Relation : A relation R on a set A is said to be reflexive if every element of A is related to itself.
Thus, R on a set A is not reflexive if there exists an element A A such that (a , a) R.
Ex.5 Let A = {1, 2, 3} be a set. Then R = {(1, 1), (2, 2), (3, 3), (1, 3), (2, 1)} is a reflexive relation on A.
But R1 = {(1, 1), (3, 3), (2, 1), (3, 2)} is not a reflexive relation on A, because 2 A but (2, 2) R1.
Note : Every Identity relation is reflexive but every reflexive ralation is not identity.
(6) Transitive Relation : Let A be any set. A relation R on A is said to be a transitive relation iff
(a, b) R and (b, c) R (a, c) R for all a, b, c A
i.e. a R b and b R c a R c for all a, b, c A
Ex.8 On the set N of natural numbers, the relation R defined by x R y x is less than y is transitive, because for any x, y, z
N
x < y and y < z x < z x R y and y R z x R z
Ex.9 Let L be the set of all straight lines in a plane. Then the realtion 'is parallel to' on L is a transitive relation, because from
any 1, 2, 3 L.
1 | 2 and 2 | 3 1 | 3
(7) Antisymmetric Relation : Let A be any set. A relation R on set A is said to be an antisymmetric relation iff
(a, b) R and (b, a) R a = b for all a, b A
Ex.10 Let R be a relation on the set N of natural numbers defined by
x R y 'x divides y' for all x, y N
1 3 1
1+1. = > 0 1R
2 2 2
1 1 1
and 1+ (–1) = >0 R(– 1)
2 2 2
But 1 + 1(–1) = 0 not greater than 0 1 R (–1)
1 1
Hence 1 R and R(–1) does not 1 R (–1), thus
2 2
R is not transitive.
Hence R is reflexive, symmetric but not transitive.
Ex.9 A relation R on the set of non-zero complex numbers C0 is defined as
z1 z2
z1Rz2 is real show that R is an equivalence relation.
z1 z2
Sol. For proving the relation R an equivalence relation we shall prove that the relation R is reflexive, symmetric and transitive
in the set of non-zero complex number say C0.
(i) Reflexive : Let z C0, then
zz
z C0 = 0, which is real.
zz
z R z z C0
R is reflexive.
(ii) Symmetric : Let z1 R z2 where z1, z2 C0, then
z1 z2
z1 R z2 is real number,,
z1 z2
z2 z1
z z is also a real number..
2 1
z2 R z1
R is symmetric.
(iii) Transitive : Let z1 R z2 and z2 R z3 where z1, z2, z3 C0, then
z1 z2
z1 R z2 is a real number..
z1 z2
z1 – z2 and z1 + z2 are both real
z2 z3
z2 R z3 z2 z3 is a real number..
z2 – z3 and z2 + z3 are both real.
Now z1 R z2, z1 R z3 z1 – z2, z1 + z2, z2 – z3, z2 + z3 are all real number
(z1 z2 ) (z2 z3 )
is also a real number..
(z1 z2 ) (z2 z3 )
z1 z3
is real z1 R z3
z1 z3
R is transitive.
Hence R is an equivalence relation.
Ex.10 Let the relation R be defined in the set of real number as follows :
(i) a R b a b (ii) a R b |a| = |b|
Which of the above defined relation are equivalence relation.
Sol. Let A be the set of real numbers
(i) Reflexive : If a A, then
a A a a aRa
R is reflexive.
Symmetric : If a R b, then
aRb a b b = a but b a
does not imply b a does not imply b R a
R is not symmetric.
Transitive : If a R b & b R c, then
a R b and b R c a b and b c
ac aRc
R is transitive.
Hence R is reflexive and transitive but not symmetric.
Thus R is not an equivalence relation.
(ii) Reflexive : If a A, then
a=a |a| = |a| a R a a A
R is symmetric.
Symmetric : If a R b, then
aRb |a| = |b| |b| = |a| bRa
R is symmetric.
Transitive : If a R b and b R c, then
a R b and b R c |a| = |b| and |b| = |c|
R–1 is reflexive.
Transitive : If (x, y) R–1 (y, z) R–1, then
(x, y) R–1 (y, z) R–1
(y, x) R (z, y) R
(x, y) R (y, z) R [R is an equivalence relation]
(1) A A ' (2) AA' U (2) R 2 {(1,1), (2,1), (3,3), (4,3), (5,5)}
B = {6, 7} then A B ' is- (4) R 4 {(1,3), (2,5), (2, 4), (7,9)}
(3) Transitive (4) Equivalence 23. Let X = {1, 2, 3, 4, 5}. The number of different ordered
17. Let R = {(x, y) : x, y A, x + y = 5} where A = {1, 2, 3, pairs (Y, Z) that can be formed such that Y X,
4, 5} then
(1) R is not reflexive, symmetric and not transitive Z X, and Y Z is empty, is : [AIEEE - 2012]
(2) R is an equivalence relation (1) 53 (2) 52 (3) 35 (4) 25
(3) R is reflexive, symmetric but not transitive 24. Let R = {(1, 3), (4, 2), (2, 4), (2, 3), (3, 1)} be a releation
(4) R is not reflexive, not symmetric but transitive on the set A = {1, 2, 3, 4}. The relation R is-
18. Let x, y I and suppose that a relation R on I is defined [AIEEE - 2004]
by x R y if and only if x y then
(1) transitive (2) not symmetric
(1) R is partial order ralation
(3) reflexive (4) a function
(2) R is an equivalence relation
25. Let R = {(3, 3), (6, 6), (9, 9), (12, 12), (6, 12), (3, 9),
(3) R is reflexive and symmetric (3, 12), (3, 6)} be relation on the set A = {3, 6, 9, 12).
(4) R is symmetric and transitive The relation is- [AIEEE - 2005]
19. A and B are two sets having 3 and 4 elements (1) rflexive and transitive only
respectively and having 2 elements in common. The
number of relations which can be defined from A to B is- (2) reflexive only
(1) 25 (2) 210 – 1 (3) an equilvalence relation
12
(3) 2 – 1 (4) none of these (4) reflexive and symmetric only
(1) B = C (2) A B
(3) reflexive, not symmetric and transtive 24. Consider the following relation R on the set of real square
matirces of order 3.
(4) not reflexive, symmetric and transitive
R={(A, B)|A=P–1 BP for some invertible matrix P}.
22. Consider the following relations :-
Statement - 1:
R = {(x, y) | x, y are real numbers and x = wy for
some rational number w} ; R is an equivalence relation.
Statement - 2:
m p
S {( , ) | m, n, p and q are integers such that For any two invertible 3 × 3 martices M and N,
n q
(MN)–1 = N–1M–1 [AIE E E - 2011]
(2) Neither R nor S is an equivalence relation (3) Statement- 1 is true, statement - 2 is true ; Statement-
2 is not a correct explanation for statement-1.
(3) S is an equivalence relation but R is not an equivalence
relation (4) Statement-1 is true, statement-2 is false.
Statement - 2 :
H OM EWO RK A NSWER K EY
Que. 1 2 3 4 5 6 7 8 9 10
A ns. 3 3 3 4 1 1 3 3 4 1
Que. 11 12 13 14 15 16 17 18 19 20
A ns. 1 1 2 4 3 3 2 4 3 2
Que. 21 22 23 24 25
A ns. 1 3 1 1 2
_______________________Sets & Relations_____________________ 19