Professional Documents
Culture Documents
Relations
Relations
. u,: kn
l 2 1, -- r" J1 1 ,t1ouJd m,
t tud y dif ferent types of rela tm ns. "e ow that .,
• .• ' . - 1,.
11"'e o s lwr
In this secuon we .wo bse t f A x A Th us the empty set (f, and A x A are
. .
relaboo ml a.
'
set ~ .l
a
extreme re aboos. rv1 1 Ml
lus.. ~tiC:
• ,
com ide ; a relation R in the set A= (· I,
set as no pru
.
r (a,
b)
sat1s
ti
2, 3, 4} given b;
1es
th d. •
ec on Itiei
.....: · the em pty ,
1
4
J)d°iuuiuu A relation R in a set A is said to
be an equivalence relation if R is
reflexive, symmetric and transitive.
Ra relation in T given by
~ npl,•.? Let T be the set of all triangles in a plane wjth
R 1s an equivalence relation .
R = {(T 1, T2): T 1 is congruent to T2 } . Show that
is congruent to itse lf. Further,
Solution R is reflexive, since every triangle
ruent to T 1 => {T2, T 1) E R. Hence,
{T 1, T2) E R => T1 is congment to T2 => T2 is cong
R is symmetric. Moreover, (T 1, T2), {T2, T3) E R
=> T 1 is congruent to T2 and T2 is
E R. Therefore, R is an equivalence
congruent to T3 => T 1..is congruent to T3 => {T 1, TJ)
relation.
R be the relation i~ L def in~ as
/ ampl~ ~\ Let L be the set of all lines in a plane and
that R is symmetnc but neither
R = {{L 1, L 2) : L, is perpendicular to L). Show
reflexive nor transitive.
perpendicular to itself, i.e., (Li,. L,)
Solution R is not reflexive ' as a line L I can not be
- - - - - - L3
E R. R is symmetric as (L 1, L2) E R
=> L 1 is perpendicular to L2
L is perpendicular to L,
2
In E,iample 5, note that all even mtegerc; are related to zero, as (0, ± 2), (0, ± 4)
etc., lie in Rand no odd integer is related to 0. as (0, ± I ). (0, :t 3) etc., do not lie in R.
Similarly, all odd intege~ are related to one and no even integer is related to one.
Thetefore. the set E of all even integerc; and the c;et O of all odd integers are su~ts of
Z satisfying following conditionc;
(i) All elementc; of E are related to each other and all elements of O are related to
each other
(Ii) No element of E i~ related to any element of O and vice-versa.
(iii) E and O are disjoi nt and Z = E u 0 .
The subset E i11 called the equivalenceclass containing zero and is denoted by
[OJ. Similarly. 0 i11 the equivalence class containing 1 and is denoted by [ 1]. Note that
[OJ • fl). [OJ = [2r] and I I] = [2r + I], r E z. lnfact, what we have seen above is true
for an arbitrary equivalence relation R in a set X. Given an arbitrary equivalence
rrlation R in an arbitrary set X, R divides X into mutually disjoint subsets A; called
partiuonsor subdjvisions of X satisfying :
(i) all elements of A, are related to each other, for all i.
(ii) no element of A, is related to any element of A.,
J
i # j.
(iii) u A =X and A n A =
I J t!\
'I'• i # 1·•
The ,ubscts A, are called equivalence classes. The interesting part of the situation
Ui that we can go reverse also. For example, consider a subdivision of the set z given
d or even, so
any eJeme nr a in A. ho th a and n mu~t he either od
~.,,,.,, "" Given and h mu ~t he either odd or
even
rth er, ( a, h) F=- R ~ hoth a
that (a, a) E R. Fu
ancf ( h. , ) ,= R ~ ~11 e-leme
ntq n. h, r, must be
Sim ila rly, (a. h) r- R
:=> (b. a) E R. r . R jq an rr,111 al,..nr,. refit.i
on .
;;Jy ~ ( a. , ) f R f-fenc
either even or odd simultaneo,ic reJAte rl to eac h other. a, all the
element,
I 1. l , ' · 7 J are
Further, al] the element~ of me nt~ of the quh,et (2, 4. 6) are ref
ated to
ila rly . all the ele
of thi s subset are odd. Sim ele me nt of the ~u h~ t ( J, l , 5. 1} CM
be
m are eve n AJc ;;o, no
each other. as aJI of the nts 0f ( I. 1, 5. 7 J are odd. while
element,
related to an y eleme nt of I 2. 4. 6 J. a~ ele me
of {2. 4, 6} are even.
1J.:~ •·Hr
1
fS'4. , ,i1
tric and
eth er eac h of the foJ Jow ing relations are reflexi ve, symme
-f/ Detennine wh
transitive:
3, J4 J defined as
~ 'ke lat ion R in the set A = ( l, 2, 3, .... J
R = ((x,. y) : 3x - y =0 J
\...
/ ;C ,
hOY'
the
•• , w111 .- ((1, V) .
. .r an .
( 1 2 3' 4' 5 J g
.
iv en by
tA - , ' · s
: f 1 ,·v 11 b)' R -
g don.
s
51,ow
mat the. _ bl is even ,
· the se. - 11nuivalence relat1on . how th a/Jth
re lBtion R JO } 1s an "" 'I
b o th e r an d all th
d
ee
at
1ements of {2 4 e
to any element ~ , 4i
ir,. j
7( 1
8fll related to ei;c
R ~ ((o. I,~- 5) r no element o
{ :e1ement.r; o Bu
e
, 1
se
,' 3'
t A
5 )
=
is
.
(~
re la
E
te
z
. <
.
. ,
0 - x ~ 12}' ven b,Y
gi
. R in th
itlated ro eacho(of her.
h the rela n tto
o f 4J
(Y ~?"i)th al eac . I - bl is a multiple
v .b1R .c: (( a, b) . a to 1 in each ~
{( b) · a = h } p· d the set o f all elements related
~ R ~ alen a, · . n. m
ce relatio . ,
.
)' Ill oqwv : .
tion. W ch is
a rela hi ..
.~~, Gi.ve an exampJe of
ric bu t ne ith er refle~ ive nor trans1t1~e.
~symmet metnc.
iv e bu t ne ith er reflexive nor sym
•~ Tr an sit
m m et ric bu t not transitive.
'i/1
Reflexi ve and sy
c.
ef lexi ve and tra ns itive but not symmetri
Ji"(R
tra ns itive but not reflexive.
) ~ Syin m et ric an d
o f p o in ts in a p la n e given by
the se t A
the relation R in as the distance of rhe
) /~ o w that e or ig in is sa m e
R = {(P, Q) : distance
of the point P from th ur ther, show that the se
t of
/ lenc e re la tio n. F
point Q from the orig
in}, is an equiva g thro ug h P with origin as
ci rc le pa ss in
ints related to a poin
t P ~ (0, 0) is the
all po
, v.:tte. the set A o f al l tria ng le s as R = ((T, , T-) : T,
' ·~~ ila _that thTe relation R. defmed in
} . C on side r th re e righ t angle trianglesT,
lU im r to
2 • equivalenc
15 e relation. hi ch
\ iJh . T , with sides 6, 8, JO. W
'". ;::,!:J. T, widi side
I Tl' T2and T3 are. re
s 5, 12 ,
lated?
13 an d
.
~
/ Sho
. w that die relation
R defint.d th
P aod P2 have same num r of side8 }• JS
be ~n e se t A o f aJ J po lygons as R = ((P · (he·,, P1
hat 15d5·1
)
·
an eq ui valence relation. W
. A ,..._~J to th . ·
T with sides 3, 4 and as
of
I aU e ~ Ill re&QIC.( gle tr ia ng le
Let . e na ht an . .
L be the ie t of aJJ li nesmXYpJ the rela tJ on m L de. finef1.nd
,L ) · L .
R• t<L 2 •• 1 Ii PlraJleJ to L J an that R , e an d R be
the le t ct hncs re1 ... _... 2 • Show ts an equivalenc
e reJaaon.
all '4IICQ to the
rlftC y : 2x + 4
_
RELATIONS AND FUNCTIONS 7
wing definitions:
underh· The above observations lead to the follo
•t· ~ A fun ctio n/: X ➔ Y is defined
to be one-one (or injective), if the
I)f filnJ JOD ;, for every x1, x2 e X, f(.,) =
imape-of d.iarinct elements of X under /are distinct, i.e.,
e.
/(x2) implies x, = x2• Otherwise, f is called many-on
the function .I; and / 3
The functionfi and f.in Fig 1.2 (i) and (iv) are one-one and
in Fig 1.2 (ii) and (iii) are many-one.
rlrti nition ft A function/ : X ➔ Y is said to be
onto (or surjective), if every ~lement
i.e., for every y E Y, there exists an
of Y is the image of some element of X under J;
\ \
element x in X such that/(.t) = y. ·
The function.'3 and/4 ~ Fig 1.2 (iii), (iv) are onto
and the function.t; in Fig 1.2 (i) is
not onto as elements e, f m X 2 are not the image
of any element in x under J, •
1 1
,.
Solution
..
Since for any two distinct elements x 1 and x2 in [o 7t]
,
2
. .
, sm x 1 '# sm x2 an
.d
cos x1 # cos Xz, both/ and g must be one-one. But (f + g) (0) = sin O + cos O = 1 and
x-Iif x>I
(Hint: Consider f (x) =x + I and g(x) = { 1 if x =1
/ Given a non empty set X, consider P(X) which is the set of all subsets of X.
JI •
30 MATHEMATICS
. R · P(X) as follows:
Define the relation m . B R an equivalence relinl..
. ) ARB if and only tf Ac · Is ~~
For subsets A. B m P(X ·
00 P(X)? Justify your answer. . . * . P(X) x P(X) 4 I>,,..
x ider the bmary operation · • 1~
Given a non-empty set . cons B in P(X). where P(X) is the power set of~
~ given by A * B = A n B V A. · d X · th nly inv ;i.
/ \.J Show that X is the identity element for thi ~ op:ration an ts e o eni!.I
\) element in P(X) with respect to the operation . .
('\, ✓-~the number of all onto functions from the set {1, 2, 3, ... ' n } _to itself.
~
\
vy Le~s_~.{a. b. c) and T ~ {I, 2, 3) . Find f · ' of the foUowing funct:ions F frll!li I
to T, if 1t extsts.
:""'- , ~ F ={(a , ~), (b, 2), (c'. l)} (ii) F = {(a, 2), (b_' 1), (c, l )}
, )~ Consider the bmary operations * : R x R ➔ R and o . R x R ➔ R defined a
a *b = la - bf--8.nq a o b = a, Va, b e R. Show that * is commutative but oo
associative, o is associative but not commutative. Further, show that \:/ a, b, c e II
a* c) = (a * b) o (a * c). [If it is so, we say that the operation * clistribura
er the operation o]. Does o distribute over *? Justify your answer.
Given a non-empty set X , let * : P(X) x P(X) ➔ P (X) be defined ai
A * B = (A - B) u (B - A), VA, B e P(X). Show that the empty set q> is the
iden · for the operation * and all the elements A of P(X) are invertible witl!
~r
·, ·
/ = A. (Hint : (A - cp) u (cp - A) = A and. (A - A) u (A - A) = A * A= a,).
'l{_ A ~ Define a binary operation* on the set {Q, 1, 2, 3, 4, 5} as
{a+b, . i;a+b<6
L a*b=
. a + bL 6 if a+ b ~ 6
Show that zero is the identity for this operation and each ele -;;;;a of the sef
. _,,,/ is invertible with 6- a being the inverse of a. ~ a*
V5 Let A= {- 1, 0, 1, 2}, B = {- 4, - 2, 0, 2} and/, g: A ➔ B be functions defined