NCERT Solutions For Class 12 Maths Chapter 1 Relations And Functions

Chapter 1 of NCERT Class 12 Maths covers many forms of relations including equivalence relations, as well as function composition, invertible functions, and binary operations. Students can use relation and function class 12 NCERT Solutions as a quick reference to better understand complex topics.

Exercise 1.1

1. Determine whether each of the following relations are reflexive, symmetric and transitive.

1. Relation $\text{R}$ in the set \[\text{A = }\left\{ \text{1, 2, 3}...\text{13, 14} \right\}\] defined as \[\text{R = }\left\{ \left( \text{x, y} \right)\text{: 3x - y = 0} \right\}\]

Ans: The given relation is: \[\text{R = }\left\{ \left( \text{1, 3} \right)\text{, }\left( \text{2, 6} \right)\text{, }\left( \text{3, 9} \right)\text{, }\left( \text{4, 12} \right) \right\}\]

Since \[\left( \text{1, 1} \right)\text{, }\left( \text{2, 2} \right)\text{ }...\] and \[\left( \text{14, 14} \right)\notin R\].

We conclude that \[\text{R}\] is not reflexive.

Since \[\left( \text{1, 3} \right)\in \text{R}\], but \[\left( \text{3, 1} \right)\notin \text{R}\]. (since \[\text{3}\left( \text{3} \right)\text{-1}\ne \text{0}\])

We conclude that \[\text{R}\] is not symmetric.

Since \[\left( \text{1, 3} \right)\] and \[\left( \text{3, 9} \right)\in \text{R}\], but\[\left( \text{1, 9} \right)\notin \text{R}\text{. }\left[ \text{3}\left( \text{1} \right)\text{-9}\ne \text{0} \right]\].

We conclude that \[\text{R}\] is not transitive.

Therefore, the relation \[\text{R}\] is not reflexive, symmetric or transitive.

2. Relation $\text{R}$ in the set \[\text{N}\] of natural numbers defined as \[\text{R =  }\!\!\{\!\!\text{ }\left( \text{x, y} \right)\text{: y = x + 5}\] and \[\text{x4 }\!\!\}\!\!\text{ }\]

Ans: The given relation is: \[\text{R = }\left\{ \left( \text{1, 6} \right)\text{, }\left( \text{2, 7} \right)\text{, }\left( \text{3, 8} \right) \right\}\].

Since \[\left( \text{1, 1} \right)\notin \text{R}\].

We conclude that \[\text{R}\] is not reflexive.

Since \[\left( \text{1, 6} \right)\in \text{R}\] but \[\left( \text{6, 1} \right)\notin \text{R}\].

We conclude that \[\text{R}\] is not symmetric.

In the given relation \[\text{R}\] there is not any ordered pair such that \[\left( \text{x, y} \right)\] and \[\left( \text{y, z} \right)\] both \[\in \text{R}\], therefore we can say that \[\left( \text{x, z} \right)\] cannot belong to \[\text{R}\].

Therefore \[\text{R}\] is not transitive.

Hence, the given relation \[\text{R}\] is not reflexive, symmetric or transitive.

3. Relation $\text{R}$in the set \[\text{A =  }\!\!\{\!\!\text{ 1, 2, 3, 4, 5, 6 }\!\!\}\!\!\text{ }\] as \[\text{R=  }\!\!\{\!\!\text{ }\left( \text{x, y} \right)\text{: y}\]is divisible by \[\text{x }\!\!\}\!\!\text{ }\]

Ans: The given relation is \[\text{R =  }\!\!\{\!\!\text{ }\left( \text{x, y} \right)\text{ : y}\] is divisible by \[\text{x }\!\!\}\!\!\text{ }\]

As we know that any number except \[\text{0}\] is divisible by itself, therefore \[\left( \text{x, x} \right)\in \text{R}\].

We conclude that \[\text{R}\] is reflexive.

Since \[\left( \text{2, 4} \right)\in \text{R}\] (because \[\text{4}\] is divisible by \[\text{2}\]), but \[\left( \text{4, 2} \right)\notin \text{R}\] (since \[\text{2}\] is not divisible by \[\text{4}\]).

We conclude that \[\text{R}\] is not symmetric.

Assuming that \[\left( \text{x, y} \right)\] and \[\left( \text{y, z} \right)\in \text{R}\], \[\text{y}\] is divisible by \[\text{x}\] and \[\text{z}\] is divisible by \[\text{y}\]. Hence \[\text{z}\] is divisible by \[\text{x}\Rightarrow \left( \text{x, z} \right)\in \text{R}\].

We conclude that \[\text{R}\] is transitive.

Hence, the given relation \[\text{R}\] is reflexive and transitive but it is not symmetric.

4. Relation \[\text{R}\] in the set \[\text{Z}\] of all integers defined as \[\text{R =  }\!\!\{\!\!\text{ }\left( \text{x, y} \right)\text{: x - y }\!\!\}\!\!\text{ }\] is as integer

Ans: The given relation is \[\text{R =  }\!\!\{\!\!\text{ }\left( \text{x, y} \right)\text{: x - y}\] is an integer\[\text{ }\!\!\}\!\!\text{ }\]

If \[\text{x}\in \text{Z, }\left( \text{x, x} \right)\in \text{R}\] because \[\text{x-x = 0}\] is an integer.

Hence, we conclude that \[\text{R}\] is reflexive.

For \[\text{x, y}\in \text{Z}\], if \[\left( \text{x, y} \right)\in \text{R}\], then \[\text{x - y}\] is an integer and therefore \[\left( \text{y-x} \right)\] is also an integer.

Therefore, we conclude that \[\left( \text{y, x} \right)\in \text{R}\]and hence \[\text{R}\] is symmetric.

Assuming that \[\left( \text{x, y} \right)\] and \[\left( \text{y, z} \right)\in \text{R}\], where \[\text{x, y, z}\in \text{Z}\].

We can say that \[\left( \text{x-y} \right)\] and \[\left( \text{y-z} \right)\] are integers.

so, \[\left( \text{x, z} \right)\in \text{R}\] 

Hence, we conclude that \[\text{R}\] is transitive.

Therefore the given relation \[\text{R}\] is reflexive, symmetric, and transitive.

5. Relation \[\text{R}\] in the set \[\text{A}\] of human beings in a town at a particular time given by

1. The relation is: \[\text{R =  }\!\!\{\!\!\text{ }\left( \text{x, y} \right)\text{: x and y}\] work at the same place\[\}\]

Ans: The given relation is: \[\text{R =  }\!\!\{\!\!\text{ }\left( \text{x, y} \right)\text{: x}\] and \[\text{y}\] work at the same place\[\text{ }\!\!\}\!\!\text{ }\]

This implies that \[\left( \text{x, x} \right)\in \text{R}\].

Hence, we conclude that \[\text{R}\] is reflexive.

Now, \[\left( \text{x, y} \right)\in \text{R}\], then \[\text{x}\] and \[\text{y}\] work at the same place, which means \[\text{y}\] and \[\text{x}\] also work at the same place. Therefore, \[\left( \text{y, x} \right)\in \text{R}\].

Hence, we conclude that \[\text{R}\] is symmetric.

Let us assume that \[\left( \text{x, y} \right)\text{, }\left( \text{y, z} \right)\in \text{R}\]. 

Then, we can say that \[\text{x}\] and \[\text{y}\] work at the same place and \[\text{y}\] and \[\text{z}\] work at the same place. Which means that \[\text{x}\] and \[\text{z}\] also work at the same place.

Therefore, \[\left( \text{x, z} \right)\in \text{R}\].

Hence, we conclude that \[\text{R}\] is transitive.

Therefore, the given relation \[\text{R}\] is reflexive, symmetric and transitive.

2. The relation is: \[\text{R =  }\!\!\{\!\!\text{ }\left( \text{x, y} \right)\text{: x and y}\] live in the same locality\[\text{ }\!\!\}\!\!\text{ }\]

Ans: The given relation is \[\text{R =  }\!\!\{\!\!\text{ }\left( \text{x, y} \right)\text{: x and y}\] live in the same locality\[\text{ }\!\!\}\!\!\text{ }\]

Since, \[\left( \text{x, x} \right)\in \text{R}\]. 

Therefore, we conclude that \[\text{R}\] is reflexive.

Since \[\left( \text{x, y} \right)\in \text{R}\], \[\text{x}\] and \[\text{y}\] live in the same locality. Therefore, \[\text{y}\] and \[\text{x}\] also live in the same locality, so, \[\left( \text{y, x} \right)\in \text{R}\].

Hence, \[\text{R}\] is symmetric.

Let \[\left( \text{x, y} \right)\in \text{R}\] and \[\left( \text{y, z} \right)\in \text{R}\]. Hence \[\text{x}\] and \[\text{y}\] live in the same locality and \[\text{y}\] and \[\text{z}\] also live in the same locality. Which means that \[\text{x}\] and \[\text{z}\] also live in the same locality.

Therefore, \[\left( \text{x, z} \right)\in \text{R}\].

Hence, we conclude that \[\text{R}\] is transitive.

Therefore, the given relation \[\text{R}\] is reflexive, symmetric and transitive.

3. \[\text{R =  }\!\!\{\!\!\text{ }\left( \text{x, y} \right)\text{: x}\] is exactly \[\text{7}\]cm taller than \[\text{y }\!\!\}\!\!\text{ }\]

Ans: The given relation is: \[\text{R =  }\!\!\{\!\!\text{ }\left( \text{x, y} \right)\text{: x}\] is exactly \[\text{7}\] cm taller than \[\text{y }\!\!\}\!\!\text{ }\]

Since, \[\left( \text{x, x} \right)\notin \text{R}\]. 

Therefore, we conclude that \[\text{R}\] is not reflexive.

Let \[\left( \text{x, y} \right)\in \text{R}\] , Since \[\text{x}\] is exactly \[\text{7}\] cm taller than \[\text{y}\], therefore \[\text{y}\] is obviously not taller than \[\text{x}\], so, \[\left( \text{y, x} \right)\notin \text{R}\].

Hence, \[\text{R}\] is not symmetric.

Assuming that \[\left( \text{x, y} \right)\text{, }\left( \text{y, z} \right)\in \text{R}\], we can say that \[\text{x}\] is exactly \[\text{7}\] cm taller than \[\text{y}\]and \[\text{y}\] is exactly \[\text{7}\] cm taller than \[\text{z}\]. Which means that \[\text{x}\] is exactly \[\text{14}\] cm taller than \[\text{z}\]. So, \[\left( \text{x, z} \right)\notin \text{R}\]. 

Hence, \[\text{R}\] is not transitive.

Therefore, the given relation \[\text{R}\] is not reflexive, symmetric or transitive.

4. \[\text{R =  }\!\!\{\!\!\text{ }\left( \text{x, y} \right)\text{: x}\] is wife of \[\text{y }\!\!\}\!\!\text{ }\]

Ans: The given relation is: \[\text{R =  }\!\!\{\!\!\text{ }\left( \text{x, y} \right)\text{: x}\] is the wife of \[\text{y }\!\!\}\!\!\text{ }\].

Since, \[\left( \text{x, x} \right)\notin \text{R}\] 

Therefore, we conclude that \[\text{R}\] is not reflexive.

Let \[\left( \text{x, y} \right)\in \text{R}\] , Since \[\text{x}\] is the wife of \[\text{y}\], therefore \[\text{y}\] is obviously not the wife of \[\text{x}\], so, \[\left( \text{y, x} \right)\notin \text{R}\].

Hence, \[\text{R}\] is not symmetric.

Assuming that \[\left( \text{x, y} \right)\text{, }\left( \text{y, z} \right)\in \text{R}\], we can say that \[\text{x}\] is the wife of \[\text{y}\]and \[\text{y}\] is the wife of \[\text{z}\], which is not possible. So, \[\left( \text{x, z} \right)\notin \text{R}\]. 

Hence, \[\text{R}\] is not transitive.

Therefore the given relation \[\text{R}\]is not reflexive, symmetric or transitive.

5. \[\text{R =  }\!\!\{\!\!\text{ }\left( \text{x, y} \right)\text{: x}\] is father of \[\text{y }\!\!\}\!\!\text{ }\] 

Ans: The given relation is: \[\text{R =  }\!\!\{\!\!\text{ }\left( \text{x, y} \right)\text{: x}\] is the father of \[\text{y }\!\!\}\!\!\text{ }\]

Since, \[\left( \text{x, x} \right)\notin \text{R}\] 

Therefore, we conclude that \[\text{R}\] is not reflexive.

Let \[\left( \text{x, y} \right)\in \text{R}\] , Since \[\text{x}\] is the father of \[\text{y}\], therefore \[\text{y}\] is obviously not the father of \[\text{x}\], so, \[\left( \text{y, x} \right)\notin \text{R}\].

Hence, \[\text{R}\] is not symmetric.

Assuming that \[\left( \text{x, y} \right)\text{, }\left( \text{y, z} \right)\in \text{R}\], we can say that \[\text{x}\] is the father of \[\text{y}\]and \[\text{y}\] is the father of \[\text{z}\], then \[\text{x}\] is not the father of  \[\text{z}\]. So, \[\left( \text{x, z} \right)\notin \text{R}\]. 

Hence, \[\text{R}\] is not transitive.

Therefore the given relation \[\text{R}\]is not reflexive, symmetric or transitive.

2. Show that the relation $\text{R}$ in the set $\text{R}$ of real numbers, defined \[\text{R = }\left\{ \left( \text{a, b} \right)\text{: a}\le {{\text{b}}^{\text{2}}} \right\}\] is neither reflexive nor symmetric nor transitive.

Ans: The given relation is: \[\text{R = }\left\{ \left( \text{a, b} \right)\text{: a}\le {{\text{b}}^{\text{2}}} \right\}\]

Since \[\left( \dfrac{\text{1}}{\text{2}}\text{, }\dfrac{\text{1}}{\text{2}} \right)\notin \text{R}\]. (Since \[\dfrac{\text{1}}{\text{2}}\text{}{{\left( \dfrac{\text{1}}{\text{2}} \right)}^{\text{2}}}\])

Therefore, \[\text{R}\] is not reflexive.

Since \[\left( \text{1, 4} \right)\in \text{R}\] as \[\text{1}{{\text{4}}^{\text{2}}}\], but \[\left( \text{4, 1} \right)\notin \text{R}\] as \[{{\text{4}}^{2}}\] is not less than \[{{\text{1}}^{2}}\].

Therefore \[\text{R}\] is not symmetric.

Assuming that \[\left( \text{3, 2} \right)\text{, }\left( \text{2, 1}\text{.5} \right)\in \text{R}\], so, \[\text{3}{{\text{2}}^{\text{2}}}\text{=4}\] and \[\text{2}{{\left( \text{1}\text{.5} \right)}^{\text{2}}}\text{=2}\text{.25}\] but \[\text{3}{{\left( \text{1}\text{.5} \right)}^{\text{2}}}\text{=2}\text{.25}\].

Hence, \[\text{R}\] is not transitive.

Therefore, the given relation \[\text{R}\] is neither reflexive, nor symmetric, nor transitive.

3. Check whether the relation $\text{R}$ defined in the set \[\left\{ \text{1, 2, 3, 4, 5, 6} \right\}\] as \[\text{R = }\left\{ \left( \text{a, b} \right)\text{: b=a+1} \right\}\] is reflexive, symmetric or transitive.

Ans: The given relation is \[\text{R = }\left\{ \left( \text{a, b} \right)\text{: b=a+1} \right\}\] defined in the set \[\text{A=}\left\{ \text{1, 2, 3, 4, 5, 6} \right\}\].

So, \[\text{R=}\left\{ \left( \text{1, 2} \right)\text{, }\left( \text{2, 3} \right)\text{, }\left( \text{3, 4} \right)\text{, }\left( \text{4, 5} \right)\text{, }\left( \text{5, 6} \right) \right\}\]

Since, \[\left( \text{a, a} \right)\notin \text{R,a}\in \text{A}\].

\[\left( \text{1, 1} \right)\text{, }\left( \text{2, 2} \right)\text{, }\left( \text{3, 3} \right)\text{, }\left( \text{4, 4} \right)\text{, }\left( \text{5, 5} \right)\text{, }\left( \text{6, 6} \right)\notin \text{R}\]

Therefore, \[\text{R}\] is not reflexive

Since, \[\left( \text{1, 2} \right)\in \text{R}\], but \[\left( \text{2, 1} \right)\notin \text{R}\].

Therefore \[\text{R}\] is not symmetric.

Since \[\left( \text{1, 2} \right)\text{, }\left( \text{2, 3} \right)\in \text{R}\], but \[\left( \text{1, 3} \right)\notin \text{R}\].

Hence, \[\text{R}\] is not transitive.

Therefore, the given relation \[\text{R}\] is neither reflexive, nor symmetric, nor transitive

4. Show that the relation $\text{R}$ in $\text{R}$ defined as \[\text{R = }\left\{ \left( \text{a, b} \right)\text{: a}\le \text{b} \right\}\] is reflexive and transitive but not symmetric.

Ans: The given relation is \[\text{R = }\left\{ \left( \text{a, b} \right)\text{: a}\le \text{b} \right\}\].

Since, \[\left( \text{a, a} \right)\in R\].

Therefore, \[\text{R}\] is reflexive.

Since, \[\left( \text{2, 4} \right)\in R\] (as \[\text{2,4}\]), but \[\left( \text{4, 2} \right)\notin R\](as \[\text{4,2}\]).

Therefore \[\text{R}\] is not symmetric.

Assuming that \[\left( \text{a, b} \right)\text{, }\left( \text{b, c} \right)\in R\], \[\text{a}\le \text{b}\] and \[b\le c\], therefore, \[a\le c\].

Hence, \[\text{R}\] is transitive.

Therefore, the given relation \[\text{R}\] is reflexive and transitive but not symmetric.

5. Check whether the relation $\text{R}$ in $\text{R}$ defined as \[\text{R = }\left\{ \left( \text{a, b} \right)\text{: a}\le {{\text{b}}^{\text{3}}} \right\}\] is reflexive, symmetric or transitive.

Ans: The given relation is: \[\text{R = }\left\{ \left( \text{a, b} \right)\text{: a}\le {{\text{b}}^{\text{3}}} \right\}\]

Since \[\left( \dfrac{\text{1}}{\text{2}}\text{, }\dfrac{\text{1}}{8} \right)\notin \text{R}\].(Since \[\dfrac{\text{1}}{\text{2}}\] is not less than \[\dfrac{\text{1}}{8}\])

Therefore, \[\text{R}\] is not reflexive.

Since \[\left( \text{1, 4} \right)\in \text{R}\] as \[\text{1}{{\text{4}}^{\text{3}}}\], but \[\left( \text{4, 1} \right)\notin \text{R}\] as \[\text{4}\] is not less than \[{{\text{1}}^{\text{3}}}\].

Therefore \[\text{R}\] is not symmetric.

Assuming that \[\left( \text{3, }\dfrac{\text{3}}{\text{2}} \right)\text{, }\left( \dfrac{\text{3}}{\text{2}}\text{, }\dfrac{\text{6}}{\text{5}} \right)\in \text{R}\], so, \[\text{3}{{\left( \dfrac{\text{3}}{\text{2}} \right)}^{\text{3}}}\] and \[\dfrac{\text{3}}{\text{2}}\text{}{{\left( \dfrac{\text{6}}{\text{5}} \right)}^{\text{3}}}\] but \[\text{3}{{\left( \dfrac{\text{6}}{\text{5}} \right)}^{\text{3}}}\].

Hence, \[\text{R}\] is not transitive.

Therefore, the given relation \[\text{R}\] is neither reflexive, nor symmetric, nor transitive.

6.  Show that the relation $\text{R}$ in the set \[\left\{ \text{1, 2, 3} \right\}\] given by \[\text{R = }\left\{ \left( \text{1, 2} \right)\text{, }\left( \text{2, 1} \right) \right\}\] is symmetric but neither reflexive nor transitive.

Ans: The given relation is \[\text{R = }\left\{ \left( \text{1, 2} \right)\text{, }\left( \text{2, 1} \right) \right\}\] on the set \[\text{A=}\left\{ \text{1, 2, 3} \right\}\].

Since \[\left( \text{1, 1} \right)\text{, }\left( \text{2, 2} \right)\text{, }\left( \text{3, 3} \right)\notin \text{R}\]

Therefore, \[\text{R}\] is not reflexive.

Since, \[\left( \text{1, 2} \right)\in R\] and \[\left( \text{2, 1} \right)\in R\].

Therefore \[\text{R}\] is symmetric.

Since, \[\left( \text{1, 2} \right)\in R\] and \[\left( \text{2, 1} \right)\in R\], but \[\left( \text{1, 1} \right)\notin \text{R}\].

Hence, \[\text{R}\] is not transitive.

Therefore, the given relation \[\text{R}\] is symmetric but neither reflexive nor transitive.

7.  Show that the relation $\text{R}$ in the set \[\text{A}\] of all the books in a library of a college, given by \[\text{R =  }\!\!\{\!\!\text{ }\left( \text{x,}\,\,\text{y} \right)\text{: x}\] and \[\text{y}\] have same number of pages\[\text{ }\!\!\}\!\!\text{ }\] is an equivalence relation.

Ans: The given relation is: \[\text{R =  }\!\!\{\!\!\text{ }\left( \text{x,}\,\,\text{y} \right)\text{: x}\] and \[\text{y}\] have the same number of pages\[\text{ }\!\!\}\!\!\text{ }\]

Since \[\left( \text{x, x} \right)\notin \text{R}\] as \[\text{x}\] and \[\text{x}\] have the same number of pages.

Therefore, \[\text{R}\] is reflexive.

Let \[\left( \text{x, y} \right)\in R\], so \[\text{x}\] and \[\text{y}\] have the same number of pages, therefore \[\text{y}\] and \[\text{x}\] will also have the same number of pages.

Therefore \[\text{R}\] is symmetric.

Assuming \[\left( \text{x, y} \right)\in R\] and \[\left( \text{y, z} \right)\in R\]. \[\text{x}\] and \[\text{y}\] have the same number of pages and \[\text{y}\] and \[\text{z}\] also have the same number of pages. Therefore, \[\text{x}\] and \[\text{z}\] will also have the same number of pages. So, \[\left( \text{x, z} \right)\in R\].

Hence, \[\text{R}\] is transitive.

Therefore, the given relation \[\text{R}\] is an equivalence relation.

8.  Show that the relation $\text{R}$ in the set \[\text{A=}\left\{ \text{1, 2, }\!\!~\!\!\text{ 3, 4, 5} \right\}\] given by \[\text{R =  }\!\!\{\!\!\text{ }\left( \text{a, b} \right)\text{: }\left| \text{a-b} \right|\] is even\[\text{ }\!\!\}\!\!\text{ }\], is an equivalence relation. Show that all the elements of \[\left\{ \text{1, }\!\!~\!\!\text{ 3, 5} \right\}\] are related to each other and all the elements of \[\left\{ \text{2, 4} \right\}\] are related to each other. But no element of \[\left\{ \text{1, }\!\!~\!\!\text{ 3, 5} \right\}\] is related to any element of \[\left\{ \text{2, 4} \right\}\].

Ans: Let \[\text{a}\in \text{A}\],

So, \[\left| \text{a-a} \right|\text{ = 0}\]  (which is an even number).

Therefore, \[\text{R}\] is reflexive.

Let \[\left( \text{a, b} \right)\in \text{R}\],

Now, \[\left| \text{a-b} \right|\] is even,

Hence \[\left| \text{a-b} \right|\] and \[\left| \text{b-a} \right|\] are both even

Therefore, \[\left( \text{b, a} \right)\in \text{R}\] 

Therefore \[\text{R}\] is symmetric

Let \[\left( \text{a, b} \right)\in \text{R}\]and \[\left( \text{b, c} \right)\in \text{R}\],

\[\Rightarrow \left| \text{a-b} \right|\] is even and \[\left| \text{b-c} \right|\] is even

\[\Rightarrow \left| \text{a-c} \right|\] is even.

\[\Rightarrow \left( \text{a, c} \right)\in \text{R}\] 

Therefore, \[\text{R}\] is transitive.

Therefore, the given relation \[\text{R}\] is an equivalence relation.

All the elements of the set \[\left\{ \text{1, }\!\!~\!\!\text{ 3, 5} \right\}\] are all odd. Hence, the modulus of the difference of any two elements will be an even number. So, all the elements of this set are related to each other.

All elements of \[\left\{ \text{2, 4} \right\}\] are even while all the elements of \[\left\{ \text{1, }\!\!~\!\!\text{ 3, 5} \right\}\] are odd so no element of \[\left\{ \text{1, }\!\!~\!\!\text{ 3, 5} \right\}\] can be related to any element of\[\left\{ 2,\text{ }4 \right\}\].

Therefore, the absolute value of the difference between the two elements (from each of these two subsets) will not be an even value.

9. Show that each of the relation $\text{R}$ in the set \[\text{A =  }\!\!\{\!\!\text{ x}\in \text{Z: 0}\le \text{x}\le \text{12 }\!\!\}\!\!\text{ }\] , is an equivalence relation. Find the set of all elements related to 1 in each case.

1. \[\text{R =  }\!\!\{\!\!\text{ }\left( \text{a, b} \right)\text{ : }\left| \text{a -- b} \right|\] is a multiple of \[\text{4 }\!\!\}\!\!\text{ }\]

Ans: The given set \[\text{A =  }\!\!\{\!\!\text{ x}\in \text{Z: 0}\le \text{x}\le \text{12 }\!\!\}\!\!\text{  = }\left\{ \text{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12} \right\}\] 

The given relation is: \[\text{R =  }\!\!\{\!\!\text{ }\left( \text{a, b} \right)\text{ : }\left| \text{a -- b} \right|\] is a multiple of \[\text{4 }\!\!\}\!\!\text{ }\].

Let \[a\in A\],

\[\left( \text{a, a} \right)\in R\] as \[\left| \text{a-a} \right|\text{=0}\] is a multiple of \[\text{4}\].

Therefore, \[\text{R}\] is reflexive.

Let, \[\left( \text{a, b} \right)\in \text{R}\Rightarrow \left| \text{a-b} \right|\] is a multiple of \[\text{4}\].

\[\Rightarrow \left| \text{-}\left( \text{a-b} \right) \right|\text{=}\left| \text{b-a} \right|\] is a multiple of \[\text{4}\].

\[\Rightarrow \left( \text{b, a} \right)\in \text{R}\]

Therefore \[\text{R}\] is symmetric.

\[\left( \text{a, b} \right)\text{, }\left( \text{b, c} \right)\in R\].

\[\Rightarrow \left| \text{a-b} \right|\] is a multiple of \[\text{4}\] and \[\left| \text{b-c} \right|\] is a multiple of \[\text{4}\].

\[\Rightarrow \left( \text{a-b} \right)\] is a multiple of \[\text{4}\] and \[\left( \text{b-c} \right)\] is a multiple of \[\text{4}\].

\[\Rightarrow \left( \text{a-c} \right)\text{=}\left( \text{a-b} \right)\text{+}\left( \text{b-c} \right)\] is a multiple of \[\text{4}\].

\[\Rightarrow \left| \text{a-c} \right|\] is a multiple of \[\text{4}\].

\[\Rightarrow \left( \text{a, c} \right)\in \text{R}\]

Therefore, \[\text{R}\] is transitive.

Therefore, the given relation \[\text{R}\] is an equivalence relation.

The set of elements related to 1 is \[\left\{ \text{1, }\!\!~\!\!\text{ 5, 9} \right\}\] 

2. \[\text{ }\!\!~\!\!\text{ R = }\left\{ \left( \text{a, b} \right)\text{ : a = b} \right\}\] 

Ans: The given relation is: \[\text{R = }\left\{ \left( \text{a, b} \right)\text{ : a = b} \right\}\].

\[a\in A,\left( \text{a, a} \right)\in R\], since \[\text{a = a}\].

Therefore, \[\text{R}\] is reflexive.

Let \[\left( \text{a, b} \right)\in \text{R}\Rightarrow \text{a=b}\].

\[\Rightarrow b\text{=a}\Rightarrow \left( \text{b, a} \right)\in R\]

Therefore \[\text{R}\] is symmetric.

\[\left( \text{a, b} \right)\text{, }\left( \text{b, c} \right)\in R\]

\[\Rightarrow a\text{=b}\] and \[b\text{=c}\]

\[\Rightarrow a\text{=c}\]

\[\Rightarrow \left( \text{a, c} \right)\in R\]

Therefore, \[\text{R}\] is transitive.

Therefore, the given relation \[\text{R}\] is an equivalence relation.

The set of elements related to \[\text{1}\] is \[\left\{ \text{1} \right\}\]. 

10. Give an example of a relation. Which is

1. Symmetric but neither reflexive nor transitive.

Ans: Let us assume the relation \[\text{R= }\left\{ \left( \text{5, 6} \right)\text{, }\left( \text{6, 5} \right) \right\}\] in set \[\text{A= }\left\{ \text{5, 6, 7} \right\}\].

So, the relation \[\text{R}\] is not reflexive as \[\left( \text{5, 5} \right)\text{, }\left( \text{6, 6} \right)\text{, }\left( \text{7, 7} \right)\notin \text{R}\].

The relation \[\text{R}\] is symmetric as \[\left( \text{5, 6} \right)\in R\] and \[\left( \text{6, 5} \right)\in R\].

The relation \[\text{R}\] is not transitive as \[\left( \text{5, 6} \right)\text{, }\left( \text{6, 5} \right)\in R\] , but \[\left( \text{5, 5} \right)\notin \text{R}\].

Therefore, the given relation \[\text{R}\] is symmetric but not reflexive or transitive.

2. Transitive but neither reflexive nor symmetric.

Ans: Let us assume the relation \[\text{R = }\left\{ \left( \text{a, b} \right)\text{ : a  b} \right\}\] 

So, the relation \[\text{R}\] is not reflexive because for \[a\in R\], \[\left( \text{a, a} \right)\notin \text{R}\] since a cannot be strictly less than itself.

Let \[\left( {1,2} \right) \in R\left( {as1 < 2} \right)\]

Since \[\text{2}\] is not less than \[\text{1}\], \[\left( \text{2, 1} \right)\notin \text{R}\]. 

Therefore \[\text{R}\] is not symmetric.

Let \[\left( \text{a, b} \right)\text{, }\left( \text{b, c} \right)\in R\].

\[\Rightarrow \left( \text{a, c} \right)\in R\]

Therefore, \[\text{R}\] is transitive.

So, the relation \[\text{R}\] is transitive but not reflexive and symmetric.

3. Reflexive and symmetric but not transitive.

Ans: Let us assume the relation \[R=\left\{ \left( \text{4, 4} \right)\text{, }\left( \text{6, 6} \right)\text{, }\left( \text{8, 8} \right),\text{ }\left( \text{4, 6} \right),\text{ }\left( \text{6, 4} \right),\text{ }\left( \text{6, 8} \right),\text{ }\left( \text{8, 6} \right) \right\}\] in set \[\text{A= }\left\{ \text{4, 6, 8} \right\}\]. 

The relation \[\text{R}\] is reflexive since for \[a\in R\], \[\left( \text{a, a} \right)\in R\]. 

The relation \[\text{R}\] is symmetric since \[\left( \text{a, b} \right)\in R\Rightarrow \left( \text{b, a} \right)\in R\] for \[a,b\in R\]. 

The relation \[\text{R}\] is not transitive since \[\left( \text{4, 6} \right)\text{, }\left( \text{6, 8} \right)\in R\], but \[\left( \text{4, 8} \right)\notin \text{R}\].

Therefore the relation \[\text{R}\] is reflexive and symmetric but not transitive.

4. Reflexive and transitive but not symmetric.

Ans: Let us take the relation \[\text{ }\!\!~\!\!\text{ R = }\left\{ \left( \text{a, b} \right)\text{ : }{{\text{a}}^{\text{3}}}\ge {{\text{b}}^{\text{3}}} \right\}\].

Since \[\left( \text{a, b} \right)\in \text{R}\].

Therefore \[\text{R}\] is reflexive.

Since \[\left( \text{2, 1} \right)\in \text{R}\], but \[\left( \text{1, 2} \right)\notin \text{R}\],

Therefore \[\text{R}\] is not symmetric.

Let \[\left( {a,b} \right),\left( {b,c} \right) \in R\]

\[\Rightarrow {{\text{a}}^{\text{3}}}\ge {{\text{b}}^{\text{3}}}\] and \[{{\text{b}}^{\text{3}}}\ge {{\text{c}}^{\text{3}}}\]

\[\Rightarrow {{\text{a}}^{\text{3}}}\ge {{\text{c}}^{\text{3}}}\]

\[\Rightarrow \left( \text{a, c} \right)\in \text{R}\]

Therefore \[\text{R}\] is transitive.

Therefore the relation \[\text{R}\] is reflexive and transitive but not symmetric.

5. Symmetric and transitive but not reflexive.

Ans: Let us take a relation \[\text{R=}\left\{ \left( \text{-5, -6} \right)\text{, }\left( \text{-6, -5} \right)\text{, }\left( \text{-5, -5} \right) \right\}\] in set \[\text{A=}\left\{ \text{-5, -6} \right\}\].

The relation \[\text{R}\] is not reflexive as \[\left( \text{-6, -6} \right)\notin \text{R}\].

Since \[\left( \text{-5, -6} \right)\in \text{R}\] and \[\left( \text{-6, -5} \right)\in \text{R}\].

Therefore \[\text{R}\] is symmetric.

Since \[\left( \text{-5, -6} \right)\text{, }\left( \text{-6, -5} \right)\in \text{R}\] and \[\left( \text{-5, -5} \right)\in \text{R}\].

Therefore \[\text{R}\] is transitive.

Therefore the relation \[\text{R}\] is symmetric and transitive but not reflexive.

11. Show that the relation $\text{R}$ in the set \[\text{A}\] of points in a plane given by \[\text{R =  }\!\!\{\!\!\text{ }\left( \text{P, Q} \right)\text{ :}\] Distance of the point \[\text{P}\] from the origin is same as the distance of the point \[\text{Q}\] from the origin}, is an equivalence relation. Further, show that the set of all points related to a point \[\text{P}\ne \left( \text{0, 0} \right)\] is the circle passing through \[\text{P}\] with origin as centre.

Ans: The given relation is \[\text{ }\!\!~\!\!\text{ R =  }\!\!\{\!\!\text{ }\left( \text{P, Q} \right)\text{ :}\] Distance of \[\text{P}\] from the origin is the same as the distance of \[\text{Q}\] from the origin}

Since, \[\left( \text{P, P} \right)\in \text{R}\]. 

The relation \[\text{R}\] is reflexive.

Let \[\left( \text{P, Q} \right)\in \text{R}\], distance of \[\text{P}\] from the origin is the same as the distance of \[\text{Q}\] from the origin similarly distance of \[\text{Q}\] from the origin will be the same as the distance of \[\text{P}\] from the origin. So, \[\left( \text{Q, P} \right)\in \text{R}\].

Therefore \[\text{R}\] is symmetric.

Let \[\left( \text{P, Q} \right),\left( \text{Q, S} \right)\in \text{R}\].

Distance of \[\text{P}\] from the origin is the same as the distance of \[\text{Q}\] from the origin and distance of \[\text{Q}\] from the origin is the same as the distance of \[\text{S}\] from the origin. So, the distance of \[\text{S}\] from the origin will be the same as the distance of \[\text{P}\] from the origin. So, \[\left( \text{P, S} \right)\in \text{R}\].

Therefore \[\text{R}\] is transitive.

Therefore the relation \[\text{R}\] is an equivalence relation.

The set of points related to \[\text{P}\ne \left( \text{0, 0} \right)\] will be those points whose distance from origin is same as distance of \[\text{P}\] from the origin and will form a circle with the centre as origin and this circle passes through \[\text{P}\].

12. Show that the relation $\text{R}$ is defined in the set \[\text{A}\] of all triangles as \[\text{R =  }\!\!\{\!\!\text{ }\left( {{\text{T}}_{\text{1}}}\text{, }{{\text{T}}_{\text{2}}} \right)\text{ : }{{\text{T}}_{\text{1}}}\] is similar to \[{{\text{T}}_{\text{2}}}\text{ }\!\!\}\!\!\text{ }\], is equivalence relation. Consider three right angle triangles \[{{\text{T}}_{\text{1}}}\] with sides \[\text{3, 4, 5}\] and \[{{\text{T}}_{\text{2}}}\] with sides \[\text{5, 12, 13}\]  and \[{{\text{T}}_{\text{3}}}\] with sides \[\text{6, 8, 10}\]. Which triangles among \[{{\text{T}}_{\text{1}}}\text{, }{{\text{T}}_{\text{2}}}\] and \[{{\text{T}}_{\text{3}}}\] are related?

Ans: The given relation is \[\text{R =  }\!\!\{\!\!\text{ }\left( {{\text{T}}_{\text{1}}}\text{, }{{\text{T}}_{\text{2}}} \right)\text{ : }{{\text{T}}_{\text{1}}}\] is similar to \[{{\text{T}}_{\text{2}}}\text{ }\!\!\}\!\!\text{ }\].

The relation \[\text{R}\] is reflexive since every triangle is similar to itself.

If \[\left( {{\text{T}}_{\text{1}}}\text{, }{{\text{T}}_{\text{2}}} \right)\in \text{R}\], then \[{{\text{T}}_{\text{1}}}\] is similar to \[{{\text{T}}_{\text{2}}}\]. 

\[\Rightarrow {{\text{T}}_{\text{2}}}\] is similar to \[{{\text{T}}_{\text{1}}}\].

\[\Rightarrow \left( {{\text{T}}_{\text{2}}}\text{, }{{\text{T}}_{\text{1}}} \right)\in \text{R}\]

Therefore \[\text{R}\] is symmetric.

Let \[\left( {{\text{T}}_{\text{1}}}\text{, }{{\text{T}}_{\text{2}}} \right)\text{,}\left( {{\text{T}}_{\text{2}}}\text{, }{{\text{T}}_{\text{3}}} \right)\in \text{R}\].

\[\Rightarrow {{\text{T}}_{\text{1}}}\] is similar to \[{{\text{T}}_{\text{2}}}\] and \[{{\text{T}}_{\text{2}}}\] is similar to \[{{\text{T}}_{\text{3}}}\].

\[\Rightarrow {{\text{T}}_{\text{1}}}\] is similar to \[{{\text{T}}_{\text{3}}}\].

\[\Rightarrow \left( {{\text{T}}_{\text{1}}}\text{, }{{\text{T}}_{\text{3}}} \right)\in \text{R}\]

Therefore \[\text{R}\] is transitive.

Therefore the relation \[\text{R}\] is an equivalence relation.

\[\dfrac{\text{3}}{\text{6}}\text{=}\dfrac{\text{4}}{\text{8}}\text{=}\dfrac{\text{5}}{\text{10}}\left( \text{=}\dfrac{\text{1}}{\text{2}} \right)\] 

Since, the corresponding sides of triangles \[{{\text{T}}_{\text{1}}}\] and \[{{\text{T}}_{\text{3}}}\] are in the same ratio, therefore triangle \[{{\text{T}}_{\text{1}}}\] is similar to triangle \[{{\text{T}}_{\text{3}}}\].

Hence, \[{{\text{T}}_{\text{1}}}\] is related to \[{{\text{T}}_{\text{3}}}\].

13. Show that the relation \[\text{R}\] defined in the set \[\text{A}\] of all polygons as \[\text{R =  }\!\!\{\!\!\text{ }\left( {{\text{P}}_{\text{1}}}\text{, }{{\text{P}}_{\text{2}}} \right)\text{: }{{\text{P}}_{\text{1}}}\] and \[{{\text{P}}_{\text{2}}}\] have same number of sides\[\text{ }\!\!\}\!\!\text{ }\], is an equivalence relation. What is the set of all elements in \[\text{A}\] related to the right angle triangle \[\text{T}\] with sides \[\text{3, 4}\]  and \[\text{5}\]?

Ans: \[\text{R =  }\!\!\{\!\!\text{ }\left( {{\text{P}}_{\text{1}}}\text{, }{{\text{P}}_{\text{2}}} \right)\text{: }{{\text{P}}_{\text{1}}}\] and \[{{\text{P}}_{\text{2}}}\] have same number of sides\[\text{ }\!\!\}\!\!\text{ }\].

Since \[\left( {{\text{P}}_{\text{1}}}\text{, }{{\text{P}}_{\text{1}}} \right)\in \text{R}\] , as same polygon has same number of sides.

The relation \[\text{R}\] is reflexive.

Let \[\left( {{\text{P}}_{\text{1}}}\text{, }{{\text{P}}_{\text{2}}} \right)\in \text{R}\] .

\[\Rightarrow {{\text{P}}_{\text{1}}}\] and \[{{\text{P}}_{\text{2}}}\] have same number of sides.

\[\Rightarrow {{\text{P}}_{\text{2}}}\] and \[{{\text{P}}_{\text{1}}}\] have same number of sides.

\[\Rightarrow \left( {{\text{P}}_{\text{2}}}\text{, }{{\text{P}}_{\text{1}}} \right)\in \text{R}\]

Therefore \[\text{R}\] is symmetric.

Let \[\left( {{\text{P}}_{\text{1}}}\text{, }{{\text{P}}_{\text{2}}} \right)\text{,}\left( {{\text{P}}_{\text{2}}}\text{, }{{\text{P}}_{\text{3}}} \right)\in \text{R}\].

\[\Rightarrow {{\text{P}}_{\text{1}}}\] and \[{{\text{P}}_{\text{2}}}\] have same number of sides.

\[\Rightarrow {{\text{P}}_{\text{2}}}\] and \[{{\text{P}}_{\text{3}}}\] have same number of sides.

\[\Rightarrow {{\text{P}}_{\text{1}}}\] and \[{{\text{P}}_{\text{3}}}\] have same number of sides.

\[\Rightarrow \left( {{\text{P}}_{\text{1}}}\text{, }{{\text{P}}_{\text{3}}} \right)\in \text{R}\]

Therefore \[\text{R}\] is transitive.

Therefore the relation \[\text{R}\] is an equivalence relation.

The elements in $A$ related to right-angled triangle \[\left( \text{T} \right)\] with sides \[\text{3, 4}\] and \[\text{5}\] are the polygons having \[\text{3}\] sides.

14. Let \[\text{L}\] be the set of all lines in \[\text{XY}\] plane and \[\text{R}\] be the relation in \[\text{L}\] defined as \[\text{R =  }\!\!\{\!\!\text{ }\left( {{\text{L}}_{\text{1}}}\text{, }{{\text{L}}_{\text{2}}} \right)\text{: }{{\text{L}}_{\text{1}}}\] is parallel to \[{{\text{L}}_{\text{2}}}\]\[\text{ }\!\!\}\!\!\text{ }\]. Show that \[\text{R}\] is an equivalence relation. Find the set of all lines related to the line \[\text{y=2x+4}\].

Ans: \[\text{R =  }\!\!\{\!\!\text{ }\left( {{\text{L}}_{\text{1}}}\text{, }{{\text{L}}_{\text{2}}} \right)\text{: }{{\text{L}}_{\text{1}}}\] is parallel to \[{{\text{L}}_{\text{2}}}\text{ }\!\!\}\!\!\text{ }\]. 

The relation \[\text{R}\] is reflexive as any line \[{{\text{L}}_{\text{1}}}\] is parallel to itself, so, \[\left( {{\text{L}}_{\text{1}}}\text{, }{{\text{L}}_{\text{1}}} \right)\in \text{R}\].

Let \[\left( {{\text{L}}_{\text{1}}}\text{, }{{\text{L}}_{\text{2}}} \right)\in \text{R}\].

\[\Rightarrow {{\text{L}}_{\text{1}}}\] is parallel to \[{{\text{L}}_{\text{2}}}\], therefore \[{{\text{L}}_{\text{2}}}\] is parallel to \[{{\text{L}}_{\text{1}}}\].

\[\Rightarrow \left( {{\text{L}}_{\text{2}}}\text{, }{{\text{L}}_{\text{1}}} \right)\in \text{R}\]

Therefore \[\text{R}\] is symmetric.

Let \[\left( {{\text{L}}_{\text{1}}}\text{, }{{\text{L}}_{\text{2}}} \right)\text{,}\left( {{\text{L}}_{\text{2}}}\text{, }{{\text{L}}_{\text{3}}} \right)\in \text{R}\].

\[\Rightarrow {{\text{L}}_{\text{1}}}\] is parallel to \[{{\text{L}}_{\text{2}}}\]

\[\Rightarrow {{\text{L}}_{\text{2}}}\] is parallel to \[{{\text{L}}_{\text{3}}}\]

\[\Rightarrow {{\text{L}}_{\text{1}}}\] is parallel to \[{{\text{L}}_{\text{3}}}\]

\[\Rightarrow \left( {{\text{L}}_{\text{1}}}\text{, }{{\text{L}}_{\text{3}}} \right)\in \text{R}\]

Therefore \[\text{R}\] is transitive.

Therefore the relation \[\text{R}\] is an equivalence relation.

Set of all lines related to the line \[\text{y=2x+4}\] is the set of all lines that are parallel to the line \[\text{y=2x+4}\].

Slope of line \[\text{y=2x+4}\] is \[\text{m = 2}\]. Therefore, lines parallel to the given line are of the form \[\text{y=2x+c}\], where \[\text{c}\in \text{R}\].

15. Let \[\text{R}\] be the relation in the set \[\left\{ \text{1, 2, 3, 4} \right\}\] given by \[\text{R = }\left\{ \left( \text{1, 2} \right)\text{, }\left( \text{2, 2} \right)\text{, }\left( \text{1, 1} \right)\text{, }\left( \text{4, 4} \right)\text{, }\left( \text{1, 3} \right)\text{, }\left( \text{3, 3} \right)\text{, }\left( \text{3, 2} \right) \right\}\]. Choose the correct answer.

(A) \[\text{R}\] is reflexive and symmetric but not transitive.

(B) \[\text{R}\] is reflexive and transitive but not symmetric.

(C) \[\text{R}\] is symmetric and transitive but not reflexive.

(D) \[\text{R}\] is an equivalence relation

Ans: \[\text{R = }\left\{ \left( \text{1, 2} \right)\text{, }\left( \text{2, 2} \right)\text{, }\left( \text{1, 1} \right)\text{, }\left( \text{4, 4} \right)\text{, }\left( \text{1, 3} \right)\text{, }\left( \text{3, 3} \right)\text{, }\left( \text{3, 2} \right) \right\}\].

Since \[\left( \text{a, a} \right)\in \text{R}\], for every \[\text{a}\in \left\{ \text{1, 2, 3, 4} \right\}\] 

The relation \[\text{R}\] is reflexive.

Since \[\left( \text{1, 2} \right)\in \text{R}\] , but \[\left( \text{2, 1} \right)\notin \text{R}\] .

Therefore \[\text{R}\] is not symmetric.

\[\left( \text{a, b} \right)\text{,}\left( \text{b, c} \right)\in \text{R}\Rightarrow \left( \text{a, c} \right)\in \text{R}\] for all \[\text{a, b, c}\in \left\{ \text{1, 2, 3, 4} \right\}\].

Therefore \[\text{R}\] is transitive.

Therefore the relation \[\text{R}\] is reflexive and transitive but not symmetric.

The correct answer is (\[B\]) \[\text{R}\] is reflexive and transitive but not symmetric.

16. Let \[\text{R}\] be the relation in the set N given by \[\text{R = }\left\{ \left( \text{a, b} \right)\text{: a = b - 2, b > 6} \right\}\] Choose the correct answer. 

(A) \[\left( \text{2, 4} \right)\in \text{R}\]

(B) \[\left( \text{3, 8} \right)\in \text{R}\]

(C) \[\left( \text{6, 8} \right)\in \text{R}\]

(D) \[\left( \text{8, 7} \right)\in \text{R}\]

Ans: The given relation is \[\text{R = }\left\{ \left( \text{a, b} \right)\text{: a = b - 2, b  6} \right\}\]

Now,

Considering \[\left( \text{2, 4} \right)\in \text{R}\].

Since, \[\text{b  6}\], so, \[\left( \text{2, 4} \right)\notin \text{R}\].

Considering \[\left( \text{3, 8} \right)\in \text{R}\].

Since \[\text{3 }\ne \text{ 8 - 2}\], so \[\left( \text{3, 8} \right)\notin \text{R}\].

Considering \[\left( \text{6, 8} \right)\in \text{R}\]. 

Since \[\text{86}\] and \[\text{6=8-2}\], so \[\left( \text{6, 8} \right)\in \text{R}\].

Therefore, the correct answer is ($C$)\[\left( \text{6, 8} \right)\in \text{R}\].

Exercise 1.2

1. Show that the function \[\text{f: }{{\text{R}}_{\text{*}}}\to {{\text{R}}_{\text{*}}}\] defined by \[\text{f}\left( \text{x} \right)\text{ =}\dfrac{\text{1}}{\text{x}}\] is one-one and onto, where \[{{\text{R}}_{\text{*}}}\] is the set of all non-zero real numbers. Is the result true, if the domain \[{{\text{R}}_{\text{*}}}\] is replaced by \[\text{N}\] with co-domain being same as \[{{\text{R}}_{\text{*}}}\]?

Ans: The function \[\text{f: }{{\text{R}}_{\text{*}}}\to {{\text{R}}_{\text{*}}}\] is defined by \[\text{f}\left( \text{x} \right)\text{ =}\dfrac{\text{1}}{\text{x}}\].

For \[\text{f}\] to be one – one:

\[\text{x, y}\in {{\text{R}}_{\text{*}}}\] such that \[\text{f}\left( \text{x} \right)\text{ = f}\left( \text{y} \right)\] 

\[\Rightarrow \dfrac{\text{1}}{\text{x}}\text{=}\dfrac{\text{1}}{\text{y}}\] 

\[\Rightarrow \text{x = y}\] 

Therefore, the given function \[\text{f}\] is one – one.

For \[\text{f}\] to be onto:

For \[\text{y}\in {{\text{R}}_{\text{*}}}\] there exists \[\text{x =}\dfrac{\text{1}}{\text{y}}\in {{\text{R}}_{\text{*}}}\] as \[\text{y}\ne \text{0}\] such that

\[\text{f}\left( \text{x} \right)\text{=}\dfrac{\text{1}}{\left( \dfrac{\text{1}}{\text{y}} \right)}\text{= y}\] 

Therefore, the given function \[\text{f}\] is onto.

Hence the given function \[\text{f}\] is one – one and onto.

Consider a function \[\text{g: N }\to {{\text{R}}_{\text{*}}}\] defined by \[\text{g}\left( \text{x} \right)\text{=}\dfrac{\text{1}}{\text{x}}\] 

We have, \[\text{g}\left( {{\text{x}}_{\text{1}}} \right)\text{=g}\left( {{\text{x}}_{\text{2}}} \right)\Rightarrow \dfrac{\text{1}}{{{\text{x}}_{\text{1}}}}\text{=}\dfrac{\text{1}}{{{\text{x}}_{\text{2}}}}\Rightarrow {{\text{x}}_{\text{1}}}\text{=}{{\text{x}}_{\text{2}}}\] 

Therefore the function \[\text{g}\] is one – one.

The function \[\text{g}\] is not onto as for \[\text{1}\text{.2}\in \text{=}{{\text{R}}_{\text{*}}}\] there does not exist any \[\text{x}\] in \[\text{N}\]  such that \[\text{g}\left( \text{x} \right)\text{ =}\dfrac{\text{1}}{\text{1}\text{.2}}\].

Therefore, the function \[\text{g}\] is one-one but not onto.

2. Check the injectivity and surjectivity of the following functions:

1. \[\text{f: N }\to \text{ N}\] given by \[\text{f}\left( \text{x} \right)\text{=}{{\text{x}}^{\text{2}}}\] 

Ans: The given function \[\text{f: N }\to \text{ N}\] is defined by \[\text{f}\left( \text{x} \right)\text{=}{{\text{x}}^{\text{2}}}\].

For \[\text{x, y}\in \text{N}\],

\[\text{f}\left( \text{x} \right)\text{ = f}\left( \text{y} \right)\]

\[\Rightarrow {{\text{x}}^{\text{2}}}\text{ = }{{\text{y}}^{\text{2}}}\]

\[\Rightarrow \text{x = y}\]

Therefore the function \[\text{f}\] is injective.

Since \[\text{2}\in \text{N}\], but, there does not exist any \[\text{x}\] in \[\text{N}\] such that \[\text{f}\left( \text{x} \right)\text{=2}\].

Therefore the function \[\text{f}\] is not surjective.

Hence, the function \[\text{f}\] is injective but not surjective.

2. \[\text{f: Z }\to \text{ Z}\] given by \[\text{f}\left( \text{x} \right)\text{=}{{\text{x}}^{\text{2}}}\]

Ans: The given function \[\text{f: Z }\to \text{ Z}\] is defined by \[\text{f}\left( \text{x} \right)\text{=}{{\text{x}}^{\text{2}}}\].

Since, 

\[\text{f}\left( \text{-1} \right)\text{ = f}\left( \text{1} \right)\]

\[\text{= 1}\]

 But \[\text{-1 }\ne \text{ 1}\]

Therefore the function \[\text{f}\] is not injective.

Since \[\text{-2}\in \text{Z}\], but, there does not exist any element \[\text{x}\in \text{Z}\] such that

\[\text{f}\left( \text{x} \right)\text{ = -2}\] 

Therefore the function \[\text{f}\] is not surjective.

Hence, the function \[\text{f}\] is neither injective nor surjective.

3. \[\text{f: R }\to \text{ R}\]  given by \[\text{f}\left( \text{x} \right)\text{=}{{\text{x}}^{\text{2}}}\]

Ans: The given function \[\text{f: R }\to \text{ R}\]  is given by \[\text{f}\left( \text{x} \right)\text{ = }{{\text{x}}^{\text{2}}}\] 

Now, 

\[\text{f}\left( \text{-1} \right)\text{ = f}\left( \text{1} \right)\]

 \[\text{= 1}\]

 But \[\text{-1 }\ne \text{ 1}\].

Therefore the function \[\text{f}\] is not injective.

Since \[\text{-2}\in \text{R}\], but, there does not exist any element \[\text{x}\in \text{R}\] such that

\[\text{f}\left( \text{x} \right)\text{ = -2}\]. 

Therefore the function \[\text{f}\] is not surjective.

Hence, the function \[\text{f}\] is neither injective nor surjective.

4. \[\text{f: N }\to \text{ N}\] given by \[\text{f}\left( \text{x} \right)\text{=}{{\text{x}}^{\text{3}}}\]

Ans: The given function \[\text{f: N }\to \text{ N}\]  is given by \[\text{f}\left( \text{x} \right)\text{ = }{{\text{x}}^{\text{3}}}\]

For \[\text{x, y}\in \text{N}\],

\[\text{f}\left( \text{x} \right)\text{ = f}\left( \text{y} \right)\]

\[\Rightarrow {{\text{x}}^{\text{3}}}\text{ = }{{\text{y}}^{\text{3}}}\]

\[\Rightarrow \text{x = y}\]

Therefore the function \[\text{f}\] is injective.

Since \[\text{2}\in \text{N}\], but, there does not exist any \[\text{x}\] in \[\text{N}\] such that \[\text{f}\left( \text{x} \right)\text{=2}\].

Therefore the function \[\text{f}\] is not surjective.

Hence, the function \[\text{f}\] is injective but not surjective.

5. \[\text{f: Z }\to \text{ Z}\]given by \[\text{f}\left( \text{x} \right)\text{=}{{\text{x}}^{\text{3}}}\]

Ans: The given function \[\text{f: Z }\to \text{ Z}\]  is given by \[\text{f}\left( \text{x} \right)\text{ = }{{\text{x}}^{\text{3}}}\]

For \[\text{x, y}\in \text{Z}\],

\[\text{f}\left( \text{x} \right)\text{ = f}\left( \text{y} \right)\]

\[\Rightarrow {{\text{x}}^{\text{3}}}\text{ = }{{\text{y}}^{\text{3}}}\]

\[\Rightarrow \text{x = y}\]

Therefore the function \[\text{f}\] is injective.

Since \[\text{2}\in \text{Z}\], but, there does not exist any \[\text{x}\] in \[\text{Z}\] such that \[\text{f}\left( \text{x} \right)\text{=2}\].

Therefore the function \[\text{f}\] is not surjective.

Hence, the function \[\text{f}\] is injective but not surjective.

3. Prove that the Greatest Integer Function \[\text{f: R }\to \text{ R}\] given by \[\text{f}\left( \text{x} \right)\text{ = }\left[ \text{x} \right]\], is neither one – one nor onto, where \[\left[ \text{x} \right]\] denotes the greatest integer less than or equal to \[\text{x}\].

Ans: The function \[\text{f: R }\to \text{ R}\] is defined by \[\text{f}\left( \text{x} \right)\text{ = }\left[ \text{x} \right]\].

Now,

\[\text{f}\left( \text{1}\text{.2} \right)\text{ = }\left[ \text{1}\text{.2} \right]\]

\[\text{= 1}\]

\[\text{f}\left( \text{1}\text{.9} \right)\text{ = }\left[ \text{1}\text{.9} \right]\]

 \[\text{= 1}\]

Therefore, \[\text{f}\left( \text{1}\text{.2} \right)\text{ = f}\left( \text{1}\text{.9} \right)\], but \[\text{1}\text{.2}\ne \text{1}\text{.9}\].

Hence the function \[\text{f}\] is not one – one.

Taking \[0.7\in R\], \[\text{f}\left( \text{x} \right)\text{ = }\left[ \text{x} \right]\] is an integer. There does not exist any element \[\text{x}\in \text{R}\] such that \[\text{f}\left( \text{x} \right)\text{ = 0}\text{.7}\].

Therefore, the function \[\text{f}\] is not onto.

Hence, the greatest integer function is neither one – one nor onto.

4. Show that the Modulus Function \[\text{f: R }\to \text{ R}\] given by \[\left( \text{x} \right)\text{ = }\left| \text{x} \right|\] is neither one – one nor onto, where \[\left| \text{x} \right|\] is\[x\] , if \[\text{x}\] is positive or \[\text{0}\] and \[\left| \text{x} \right|\] is\[\text{-x}\], if \[\text{x}\] is negative.

Ans: \[\text{f: R }\to \text{ R}\]is \[\text{f}\left( \text{x} \right)\text{ = }\left| \text{x} \right|\]

\[=\left\{ \begin{align}& \,\,\text{x;}\,\,\text{x0} \\ & \text{-x;}\,\,\text{x0} \\ \end{align} \right\}\] 

Now,

\[\text{f}\left( \text{-1} \right)\text{ = }\left| \text{-1} \right|\]

 \[\text{= 1}\]

  \[\text{f}\left( \text{1} \right)\text{ = }\left| \text{1} \right|\]

 \[\text{= 1}\]

Therefore, \[\text{f}\left( \text{1} \right)\text{ = f}\left( \text{-1} \right)\], but \[\text{-1 }\ne \text{ 1}\].

Hence the function \[\text{f}\] is not one – one.

Taking \[\text{-1}\in \text{R}\], \[\text{f}\left( \text{x} \right)\text{ = }\left| \text{x} \right|\] is non-negative. Hence, there does not exist any element \[\text{x}\in \text{R}\] such that \[\text{f}\left( \text{x} \right)\text{ = -1}\].

Therefore, the function \[\text{f}\] is not onto.

Therefore, the modulus function is neither one-one nor onto.

5. Show that the Signum Function \[\text{f: R }\to \text{ R}\], given by \[\text{f}\left( \text{x} \right)\text{=}\left\{ \begin{matrix}\text{1 if x0}  \\\text{0, if x=0}  \\ \text{-1 if x0}  \\\end{matrix} \right\}\] is neither one-one nor onto.

Ans: The function \[\text{f: R }\to \text{ R}\]is given by 

\[\text{f}\left( \text{x} \right)\text{=}\left\{ \begin{matrix} \text{1 if x0}  \\ \text{0, if x=0}  \\ \text{-1 if x0}  \\\end{matrix} \right\}\]

Now,

\[\text{f}\left( \text{1} \right)\text{ = f}\left( \text{2} \right)\]

\[\text{= 1}\]

But \[\text{1 }\ne \text{ 2}\]

Hence the function \[\text{f}\] is not one – one.

Since \[\text{f}\left( \text{x} \right)\] takes only \[\text{3}\]  values \[\left( \text{1, 0, or -1} \right)\], for the element \[\text{-2}\] in co-domain

\[\text{R}\] , there does not exist any \[\text{x}\] in domain \[\text{R}\] such that \[\text{f}\left( \text{x} \right)\text{ = -2}\].

Therefore, the function \[\text{f}\] is not onto.

Therefore, the Signum function is neither one-one nor onto.

6. Let \[\text{A = }\left\{ \text{1, 2, 3} \right\}\text{, B = }\left\{ \text{4, 5, 6, 7} \right\}\] and let  \[\text{f = }\left\{ \left( \text{1, 4} \right)\text{, }\left( \text{2, 5} \right)\text{, }\left( \text{3, 6} \right) \right\}\] be a function from \[\text{A}\] to \[\text{B}\]. Show that \[\text{f}\] is one – one.

Ans: The function \[\text{f: A }\to \text{ B}\] is defined as \[\text{f = }\left\{ \left( \text{1, 4} \right)\text{, }\left( \text{2, 5} \right)\text{, }\left( \text{3, 6} \right) \right\}\]. Where \[\text{A = }\left\{ \text{1, 2, 3} \right\}\text{, B = }\left\{ \text{4, 5, 6, 7} \right\}\]

Since,

\[\text{f }\left( \text{1} \right)\text{ = 4}\]

\[\text{f }\left( \text{2} \right)\text{ = 5}\]

\[\text{f }\left( \text{3} \right)\text{ = 6}\] 

Hence the images of distinct elements of \[\text{A}\] under \[\text{f}\] are distinct.

Therefore, the function \[\text{f}\] is one – one.

7. In each of the following cases, state whether the function is one – one, onto or bijective.

Justify your answer.

1. \[\text{f: R }\to \text{ R}\] defined by \[\text{f}\left( \text{x} \right)\text{ = 3 - 4x}\].

Ans: The function \[\text{f: R }\to \text{ R}\] is defined by \[\text{f}\left( \text{x} \right)\text{ = 3 - 4x}\].

Taking \[{{\text{x}}_{\text{1}}}\text{, }{{\text{x}}_{\text{2}}}\in \text{R}\] such that \[\text{f}\left( {{\text{x}}_{\text{1}}} \right)\text{ = f}\left( {{\text{x}}_{\text{2}}} \right)\], 

\[\Rightarrow \text{3- 4}{{\text{x}}_{\text{1}}}\text{ = 3- 4}{{\text{x}}_{\text{2}}}\]

\[\Rightarrow \text{-4}{{\text{x}}_{\text{1}}}\text{ = -4}{{\text{x}}_{\text{2}}}\]

\[\Rightarrow {{\text{x}}_{\text{1}}}\text{ = }{{\text{x}}_{\text{2}}}\] 

Hence the function \[\text{f}\] is one – one.

For any real number \[\left( \text{y} \right)\] in \[\text{R}\], there exists \[\dfrac{\text{3-y}}{\text{4}}\] in \[\text{R}\] such that \[\text{f}\left( \dfrac{\text{3-y}}{\text{4}} \right)\text{=3-4}\left( \dfrac{\text{3-y}}{\text{4}} \right)\]

 \[\text{=y}\] 

So, function \[\text{f}\] is onto.

Therefore, function \[\text{f}\] is bijective.

2. \[\text{f: R }\to \text{ R}\]defined by \[\text{f}\left( \text{x} \right)\text{ = 1 + }{{\text{x}}^{\text{2}}}\] 

Ans: The function \[\text{f: R }\to \text{ R}\]defined as \[\text{f}\left( \text{x} \right)\text{ = 1 + }{{\text{x}}^{\text{2}}}\]

Taking \[{{\text{x}}_{\text{1}}}\text{, }{{\text{x}}_{\text{2}}}\in \text{R}\] such that \[\text{f}\left( {{\text{x}}_{\text{1}}} \right)\text{ = f}\left( {{\text{x}}_{\text{2}}} \right)\]

\[\Rightarrow\text{1+x}_{\text{1}}^{\text{2}}\text{=1+x}_{\text{2}}^{\text{2}}\]

\[\Rightarrow\text{x}_{\text{1}}^{\text{2}}\text{=x}_{\text{2}}^{\text{2}}\]

\[\Rightarrow {{\text{x}}_{\text{1}}}\text{= }\!\!\pm\!\!\text{ }{{\text{x}}_{\text{2}}}\] 

Hence the function \[\text{f}\] is not one – one because \[\text{f}\left( {{\text{x}}_{\text{1}}} \right)\text{ = f}\left( {{\text{x}}_{\text{2}}} \right)\] does not mean that \[{{\text{x}}_{\text{1}}}\text{=}{{\text{x}}_{\text{2}}}\].

Taking \[\text{-2}\in \text{R}\]. Since \[\text{f}\left( \text{x} \right)\text{ = 1 + }{{\text{x}}^{\text{2}}}\] is positive for all \[\text{x}\in \text{R}\], so there does not exist any \[\text{x}\] in domain \[\text{R}\] such that\[\text{f}\left( \text{x} \right)\text{ = -2}\].

Therefore, the function \[\text{f}\] is not onto.

Hence, the function \[\text{f}\] is neither one – one nor onto.

8. Let \[\text{A}\] and \[\text{B}\] be sets. Show that \[\text{f: A  }\!\!\times\!\!\text{  B }\to \text{ B  }\!\!\times\!\!\text{  A}\] such that \[\left( \text{a, b} \right)\text{=}\left( \text{b, a} \right)\] is bijective function.

Ans: The function \[\text{f: A  }\!\!\times\!\!\text{  B }\to \text{ B  }\!\!\times\!\!\text{  A}\] is defined as \[\text{f}\left( \text{a, b} \right)\text{ = }\left( \text{b, a} \right)\].

\[\left( {{\text{a}}_{\text{1}}}\text{, }{{\text{b}}_{\text{1}}} \right)\text{, }\left( {{\text{a}}_{\text{2}}}\text{, }{{\text{b}}_{\text{2}}} \right)\in \text{A }\!\!\times\!\!\text{ B}\] such that \[\text{f}\left( {{\text{a}}_{\text{1}}}\text{, }{{\text{b}}_{\text{1}}} \right)\text{ = f}\left( {{\text{a}}_{\text{2}}}\text{, }{{\text{b}}_{\text{2}}} \right)\] 

\[\Rightarrow \left( {{\text{b}}_{\text{1}}}\text{, }{{\text{a}}_{\text{1}}} \right)\text{ = }\left( {{\text{b}}_{\text{2}}}\text{, }{{\text{a}}_{\text{2}}} \right)\]

\[\Rightarrow {{\text{b}}_{\text{1}}}\text{=}{{\text{b}}_{\text{2}}}\] and \[{{\text{a}}_{\text{1}}}\text{= }{{\text{a}}_{\text{2}}}\]

\[\Rightarrow \left( {{\text{b}}_{\text{1}}}\text{, }{{\text{a}}_{\text{1}}} \right)\text{ = }\left( {{\text{b}}_{\text{2}}}\text{, }{{\text{a}}_{\text{2}}} \right)\] 

Hence the function \[\text{f}\] is one – one.

For \[\left( \text{b, a} \right)\in \text{B }\!\!\times\!\!\text{ A}\],

There exists \[\left( \text{a, b} \right)\in \text{A }\!\!\times\!\!\text{ B}\] such that \[\text{f}\left( \text{a, b} \right)\text{ = }\left( \text{b, a} \right)\]

So, function \[\text{f}\] is onto.

Therefore, the function \[\text{f}\] is bijective.

9. Let \[\text{f: N }\to \text{ N}\] be defined by \[\text{f}\left( \text{n} \right)\text{ =}\left\{ \begin{matrix}\dfrac{\text{n+1}}{\text{2}}\text{, if n is odd}  \\ \dfrac{\text{n}}{\text{2}}\text{, if n is even}  \\\end{matrix} \right\}\] for all \[\text{n}\in \text{N}\]. State whether the function \[\text{f}\] is bijective. Justify your answer.

Ans: The function \[\text{f: N }\to \text{ N}\] is defined by \[\text{f}\left( \text{n} \right)\text{ =}\left\{ \begin{matrix}\dfrac{\text{n+1}}{\text{2}}\text{, if n is odd}  \\ \dfrac{\text{n}}{\text{2}}\text{, if n is even}  \\\end{matrix} \right\}\] for all \[\text{n}\in \text{N}\].

Now,

\[\text{f(1)=}\dfrac{\text{1+1}}{\text{2}}\]

 \[\text{=1}\]

\[\text{f(2)=}\dfrac{\text{2}}{\text{2}}\]

 \[\text{=1}\] 

Here, \[\text{f}\left( \text{1} \right)\text{ = f}\left( \text{2} \right)\], but \[\text{1 }\ne \text{ 2}\]. 

Hence the function \[\text{f}\] is not one – one.

Taking \[\text{n}\in \text{N}\];

Case I: \[\text{n}\] is odd

Hence \[\text{n = 2r + 1}\], for some \[\text{r}\in \text{N}\] there exists \[\text{4r + 1}\in \text{N}\] such that

\[\text{f}\left( \text{4r + 1} \right)\text{ =}\dfrac{\text{4r+1+1}}{\text{2}}\]

\[\text{=2r+1}\]

Case II: \[\text{n}\] is even

Hence, \[\text{n = 2r}\] for some \[\text{r}\in \text{N}\] there exists \[\text{4r}\in \text{N}\] such that

\[\text{f}\left( \text{4r} \right)\text{=}\dfrac{\text{4r}}{\text{2}}\]

 \[\text{= 2r}\]

So, function \[\text{f}\] is onto.

Therefore, the function \[\text{f}\] is not bijective.

10. Let \[\text{A=R-}\left\{ \text{3} \right\}\] and \[\text{B = R - }\left\{ \text{1} \right\}\text{.}\] Consider the function \[\text{f:A}\to \text{B}\] defined by \[\text{f}\left( \text{x} \right)\text{=}\left( \dfrac{\text{x-2}}{\text{x-3}} \right)\]. Is \[\text{f}\]one-one and onto? Justify your answer.

Ans: The function \[\text{f:A}\to \text{B}\] is defined by \[\text{f}\left( \text{x} \right)\text{=}\left( \dfrac{\text{x-2}}{\text{x-3}} \right)\], where \[\text{A=R-}\left\{ \text{3} \right\}\] and \[\text{B = R - }\left\{ \text{1} \right\}\text{.}\]

For \[\text{x, y}\in \text{A}\] such that \[\text{f}\left( \text{x} \right)\text{=f}\left( \text{y} \right)\] 

\[\Rightarrow\dfrac{\text{x-2}}{\text{x-3}}\text{=}\dfrac{\text{y-2}}{\text{y-3}}\] 

\[\Rightarrow \text{(x--2)(y--3) = (y--2)(x--3)}\]

\[\Rightarrow \text{xy--3x--2y + 6 = xy--2x--3y + 6}\]

\[\Rightarrow \text{--3x--2y =}\,\text{--2x--3y}\]

\[\Rightarrow \text{x = y}\] 

Hence the function \[\text{f}\] is one – one.

If \[\text{y}\in \text{B = R-}\left\{ \text{1} \right\}\], then \[\text{y}\ne \text{1}\].

The function \[\text{f}\] is onto if there exists \[\text{x}\in \text{A}\] such that \[\text{f}\left( \text{x} \right)\text{ = y}\].

\[\Rightarrow \dfrac{\text{x-2}}{\text{x-3}}\text{=y}\]

\[\Rightarrow \text{x--2 = xy--3y}\]

\[\Rightarrow \text{x(1--y) =}\,\text{--3y + 2}\] 

\[\Rightarrow \text{x=}\dfrac{\text{2-3y}}{\text{1-y}}\in \text{A  }\!\![\!\!\text{ y}\ne \text{1 }\!\!]\!\!\text{ }\] 

for any \[\text{y}\in \text{B}\], there exists \[\dfrac{\text{2-3y}}{\text{1-y}}\in \text{A}\] such that,

\[\text{f}\left( \dfrac{\text{2-3y}}{\text{1-y}} \right)\text{=}\dfrac{\left( \dfrac{\text{2-3y}}{\text{1-y}} \right)\text{-2}}{\left( \dfrac{\text{2-3y}}{\text{1-y}} \right)\text{-3}}\]

\[\text{=}\dfrac{\text{2-3y-2+2y}}{\text{2-3y-3+3y}}\]

\[\text{=}\dfrac{\text{-y}}{\text{-1}}\]

 \[\text{=y}\] 

So, function \[\text{f}\] is onto.

Hence, function f is one – one and onto.

11. Let \[\text{f: R }\to \text{ R}\] be defined as \[\text{f}\left( \text{x} \right)\text{ = }{{\text{x}}^{\text{4}}}\]. Choose the correct answer.

1. \[\text{f}\] is one-one onto

2. \[\text{f}\] is many-one onto

3. \[\text{f}\] is one-one but not onto

4. \[\text{f}\] is neither one-one nor onto

Ans: The function \[\text{f: R }\to \text{ R}\] is defined as \[\text{f}\left( \text{x} \right)\text{ = }{{\text{x}}^{\text{4}}}\].

Taking \[\text{x, y}\in \text{A}\] such that \[\text{f}\left( \text{x} \right)\text{=f}\left( \text{y} \right)\] 

\[\Rightarrow {{\text{x}}^{\text{4}}}\text{=}{{\text{y}}^{\text{4}}}\]

\[\Rightarrow \text{x= }\!\!\pm\!\!\text{ y}\]

Therefore, \[\text{f}\left( \text{x} \right)\text{ = f}\left( \text{y} \right)\] does not necessarily mean that \[\text{x=y}\].

Hence the function \[\text{f}\] is not one – one.

For \[\text{2}\in \text{R}\], there does not exist any \[\text{x}\]  in domain \[\text{R}\] such that \[\text{f}\left( \text{x} \right)\text{ = 2}\].

So, function \[\text{f}\] is not onto.

Hence, The correct answer is (\[D\]) function \[f\] is neither one – one nor onto.

12. Let \[\text{f: R }\to \text{ R}\] be defined as\[\text{ f}\left( \text{x} \right)\text{ = 3x}\]. Choose the correct answer.

1. \[\text{f}\] is one – one onto

2. \[\text{f}\] is many – one onto

3. \[\text{f}\] is one – one but not onto

4. \[\text{f}\] is neither one – one nor onto

Ans: The function \[\text{f: R }\to \text{ R}\] is defined as \[\text{f}\left( \text{x} \right)\text{ = 3x}\].

Taking \[\text{x, y}\in \text{A}\] such that \[\text{f}\left( \text{x} \right)\text{=f}\left( \text{y} \right)\]

\[\Rightarrow \text{3x = 3y}\]

\[\Rightarrow \text{x = y}\] 

Hence the function \[\text{f}\] is one – one.

For \[\text{y}\in \text{R}\], there exists \[\dfrac{\text{y}}{\text{3}}\] in \[\text{R}\] such that;

\[\text{f}\left( \dfrac{\text{y}}{\text{3}} \right)\text{=3}\left( \dfrac{\text{y}}{\text{3}} \right)\]

\[\text{=y}\]

So, function \[\text{f}\] is onto.

Therefore, the correct answer is ($A$) function \[\text{f}\] is one – one and onto.

Miscellaneous Exercise

1. Show that function \[\text{f: R }\to \text{  }\!\!\{\!\!\text{ x}\in \text{R:-1  x  1 }\!\!\}\!\!\text{ }\] defined by \[\text{f}\left( \text{x} \right)\text{=}\dfrac{\text{x}}{\text{1+ }\!\!|\!\!\text{ x }\!\!|\!\!\text{ }}\text{,x}\in \text{R}\] is one – one and onto function.

Ans: The function \[\text{f: R }\to \text{  }\!\!\{\!\!\text{ x}\in \text{R:-1  x  1 }\!\!\}\!\!\text{ }\] is defined as \[\text{f}\left( \text{x} \right)\text{=}\dfrac{\text{x}}{\text{1+ }\!\!|\!\!\text{ x }\!\!|\!\!\text{ }}\text{,x}\in \text{R}\].

For the function \[\text{f}\] to be one – one:

\[\text{f}\left( \text{x} \right)\text{ = f}\left( \text{y} \right)\], where \[\text{x, y}\in \text{R}\].

\[\Rightarrow \dfrac{\text{x}}{\text{1+ }\!\!|\!\!\text{ x }\!\!|\!\!\text{ }}\text{=}\dfrac{\text{y}}{\text{1+ }\!\!|\!\!\text{ y }\!\!|\!\!\text{ }}\] 

Assuming that \[\text{x}\] is positive and \[\text{y}\] is negative:

\[\dfrac{\text{x}}{\text{1+x}}\text{=}\dfrac{\text{y}}{\text{1+y}}\]

\[\Rightarrow \text{2xy=x-y}\]

Since, \[\text{x  y}\Rightarrow \text{x-y  0}\].

But \[\text{2xy}\] is negative.

Therefore, \[\text{2xy }\ne \text{ x - y}\].

Hence, \[\text{x}\] being positive and \[\text{y}\] being negative is not possible. Similarly \[\text{x}\] being negative and \[\text{y}\] being positive can also be ruled out.

So, \[\text{x}\] and \[\text{y}\] have to be either positive or negative.

Assuming that both \[\text{x}\] and \[\text{y}\] are positive:

\[\text{f(x)=f(y)}\]

\[\Rightarrow \dfrac{\text{x}}{\text{1+x}}\text{=}\dfrac{\text{y}}{\text{1+y}}\]

\[\Rightarrow \text{x+xy=y+xy}\]

\[\Rightarrow \text{x=y}\]

Assuming that both \[\text{x}\] and \[\text{y}\] are negative:

\[\text{f(x)=f(y)}\]

\[\Rightarrow \dfrac{\text{x}}{\text{1+x}}\text{=}\dfrac{\text{y}}{\text{1+y}}\]

\[\Rightarrow \text{x+xy=y+xy}\]

\[\Rightarrow \text{x=y}\]

Therefore, the function \[\text{f}\] is one – one.

For onto:

\[\text{y}\in \text{R}\] such that \[\text{-1  y  1}\].

If \[\text{y}\] is negative, then, there exists \[\text{x = }\dfrac{\text{y}}{\text{1+y}}\in \text{R}\] such that

\[\text{f}\left( \dfrac{\text{y}}{\text{1+y}} \right)\text{=}\dfrac{\left( \dfrac{\text{y}}{\text{1+y}} \right)}{\text{1+}\left| \dfrac{\text{y}}{\text{1+y}} \right|}\]

\[\text{=}\dfrac{\dfrac{\text{y}}{\text{1+y}}}{\text{1+}\left( \dfrac{\text{-y}}{\text{1+y}} \right)}\]

\[\text{=}\dfrac{\text{y}}{\text{1+y-y}}\]

\[\text{=y}\] 

If \[\text{y}\] is positive, then, there exists \[\text{x = }\dfrac{\text{y}}{\text{1-y}}\in \text{R}\] such that

\[\text{f}\left( \dfrac{\text{y}}{\text{1-y}} \right)\text{=}\dfrac{\left( \dfrac{\text{y}}{\text{1-y}} \right)}{\text{1+}\left| \dfrac{\text{y}}{\text{1-y}} \right|}\]

\[\text{=}\dfrac{\dfrac{\text{y}}{\text{1-y}}}{\text{1+}\left( \dfrac{\text{-y}}{\text{1-y}} \right)}\]

\[\text{=}\dfrac{\text{y}}{\text{1-y+y}}\]

\[\text{=y}\]

Therefore, the function \[\text{f}\] is onto.

Hence the given function \[\text{f}\] is both one – one and onto.

2. Show that the function \[\text{f: R }\to \text{ R}\] given by \[\text{f}\left( \text{x} \right)\text{ = }{{\text{x}}^{\text{3}}}\] is injective.

Ans: The given function \[\text{f: R }\to \text{ R}\] is given as \[\text{f}\left( \text{x} \right)\text{ = }{{\text{x}}^{\text{3}}}\].

For the function \[\text{f}\] to be one – one:

\[\text{f}\left( \text{x} \right)\text{ = f}\left( \text{y} \right)\] where \[\text{x, y}\in \text{R}\].

\[\Rightarrow {{\text{x}}^{\text{3}}}\text{=}{{\text{y}}^{\text{3}}}\]           …… (1) 

We need to show that \[\text{x=y}\].

Assuming that \[\text{x}\ne \text{y}\], then,

\[\Rightarrow {{\text{x}}^{\text{3}}}\ne {{\text{y}}^{\text{3}}}\] 

Since this is a contradiction to (1), therefore, \[\text{x=y}\].

Hence, the function \[\text{f}\] is injective.

3. Given a non-empty set ${X}$, consider ${P}\left( {X} \right)$ which is the set of all subsets of ${X}$. Define the relation ${R}$ in ${P}\left( {X} \right)$ as follows:

For subsets ${A,B}$ in ${P}\left( {X} \right)$, ${ARB}$ if and only if ${A}\subset {B}$. Is ${R}$ an equivalence relation on ${P}\left( {X} \right)$? Justify you answer.

Ans: We know that every set is a subset of itself, ${ARA}$ for all ${A}\in {P}\left( {X} \right)$

Therefore ${R}$ is reflexive.

Let ${ARB}\Rightarrow {A}\subset {B}$.

This does not mean that ${B}\subset {A}$.

If ${A = }\left\{ {1, 2} \right\}$ and ${B = }\left\{ {1, 2, 3} \right\}$, then it cannot be implied that ${B}$ is related to ${A}$.

Therefore ${R}$ is not symmetric.

If ${ARB}$ and ${BRC}$ , then;

${A}\subset {B}$ and ${B}\subset {C}$

$\Rightarrow {A}\subset {C}$ 

$\Rightarrow {ARC}$ 

Therefore ${R}$ is transitive.

Hence, ${R}$ is not an equivalence relation as it is not symmetric.

4. Find the number of all onto functions from the set ${ }\!\!\{\!\!{ 1, 2, 3, }...{ , n }\!\!\}\!\!{ }$ to itself.

Ans: The total number of onto maps from ${ }\!\!\{\!\!{ 1, 2, 3, }...{ , n }\!\!\}\!\!{ }$ to itself will be same as the total number of permutations on ${n}$ symbols ${1, 2, 3, }...{ , n}$.

Since the total number of permutations on ${n}$ symbols ${1, 2, 3, }...{ , n}$ is ${n}$, thus total number of onto maps from ${ }\!\!\{\!\!{ 1, 2, 3, }...{ , n }\!\!\}\!\!{ }$ to itself are ${n}$.

5. Let ${{A=}\left\{ {-1, 0, 1, 2} \right\}{,B=}\left\{ {-4, -2, 0, 2} \right\}}$ and ${{f,g:A }\to { B}}$ be functions defined by ${{f}\left( {x} \right){=}{{{x}}^{{2}}}{-x,}\,{x}\in {A}}$ and ${{g}\left( {x} \right){=2}\left| {x-}\dfrac{{1}}{{2}} \right|{-1,x}\in {A}}$. Are ${{f}}$ and ${{g}}$ equal? Justify your answer. (Hint: One may note that two function ${{f:A }\to { B}}$ and ${{g:A }\to { B}}$ such that ${{f}\left( {a} \right){=g}\left( {a} \right)\forall {a}\in {A}}$, are called equal functions)

Ans: Let ${A=}\left\{ {-1, 0, 1, 2} \right\}{,B=}\left\{ {-4, -2, 0, 2} \right\}$ and ${f,g:A }\to { B}$ are defined by ${f}\left( {x} \right){=}{{{x}}^{{2}}}{-x,}\,{x}\in {A}$ and ${g}\left( {x} \right){=2}\left| {x-}\dfrac{{1}}{{2}} \right|{-1,x}\in {A}$.

${f}\left( {-1} \right){=}{{\left( {-1} \right)}^{{2}}}{-}\left( {-1} \right)$

${=1+1}$

${=2}$

And,

${g}\left( {-1} \right){=2}\left| \left( {-1} \right){-}\dfrac{{1}}{{2}} \right|{-1}$

${=2}\left( \dfrac{{3}}{{2}} \right){-1}$

${=3-1}$

${=2}$

$\Rightarrow {f}\left( {-1} \right){=g}\left( {-1} \right)$

${f}\left( {0} \right){=}{{\left( {0} \right)}^{{2}}}{-}\left( {0} \right)$

${=0}$

And,

${g}\left( {0} \right){=2}\left| \left( {0} \right){-}\dfrac{{1}}{{2}} \right|{-1}$

${=1-1}$

${=0}$

$\Rightarrow {f}\left( {0} \right){=g}\left( {0} \right)$

${f}\left( {1} \right){=}{{\left( {1} \right)}^{{2}}}{-}\left( {1} \right)$

${=1-1}$

${=0}$

And,

${g}\left( {1} \right){=2}\left| \left( {1} \right){-}\dfrac{{1}}{{2}} \right|{-1}$

${=2}\left( \dfrac{1}{{2}} \right){-1}$

${=1-1}$

${=0}$

$\Rightarrow {f}\left( {1} \right){=g}\left( {1} \right)$

${f}\left( {2} \right){=}{{\left( {2} \right)}^{{2}}}{-}\left( {2} \right)$

${=4-2}$

${=2}$

And,

${g}\left( {2} \right){=2}\left| \left( {2} \right){-}\dfrac{{1}}{{2}} \right|{-1}$

${=2}\left( \dfrac{{3}}{{2}} \right){-1}$

${=3-1}$

${=2}$

$\Rightarrow {f}\left( {2} \right){=g}\left( {2} \right)$

Therefore, ${f}\left( {a} \right){=g}\left( {a} \right)\forall {a}\in {A}$. Hence the functions ${f}$ and ${g}$ are equal.

6. Let \[\mathbf{\text{A=}\left\{ \text{1, 2, 3} \right\}}\] Then number of relations containing \[\mathbf{\left( \text{1, 2} \right)}\] and \[\mathbf{\left( \text{1, 3} \right)}\]  which are reflexive and symmetric but not transitive is

\[\mathbf{\text{1}}\]

\[\mathbf{\text{2}}\]

\[\mathbf{\text{3}}\]

\[\mathbf{\text{4}}\]

Ans: We are given a set \[\text{A=}\left\{ \text{1, 2, 3} \right\}\].

Let us take the relation \[\text{R}\], containing \[\left( \text{1, 2} \right)\] and \[\left( \text{1, 3} \right)\], as \[\text{R=}\left\{ \left( \text{1, 1} \right)\text{, }\left( \text{2, 2} \right)\text{, }\left( \text{3, 3} \right)\text{, }\left( \text{1, 2} \right)\text{, }\left( \text{1, 3} \right)\text{, }\left( \text{2, 1} \right)\text{, }\left( \text{3, 1} \right) \right\}\].

As we can see that \[\left( \text{1, 1} \right)\text{, }\left( \text{2, 2} \right)\text{, }\left( \text{3, 3} \right)\in \text{R}\], therefore relation \[\text{R}\] is reflexive.

Since \[\left( \text{1, 2} \right)\text{, }\left( \text{1, 3} \right)\text{, }\left( \text{2, 1} \right)\in \text{R}\], the relation \[\text{R}\] is symmetric.

The relation Relation \[\text{R}\] is not transitive because \[\left( \text{1, 2} \right)\text{,}\,\left( \text{3, 1} \right)\in \text{R}\], but \[\left( \text{3, 2} \right)\notin \text{R}\].

The relation Relation \[\text{R}\] will become transitive on adding and two pairs \[\left( \text{3, 2} \right)\text{, }\left( \text{2, 3} \right)\].

Therefore the total number of desired relations is one.

The correct answer is option \[(A)\] \[\text{1}\].

7. Let \[\mathbf{\text{A=}\left\{ \text{1, 2, 3} \right\}}\] Then number of equivalence relations containing \[\mathbf{\left( \text{1, 2} \right)}\] is

\[\mathbf{\text{1}}\]

\[\mathbf{\text{2}}\]

\[\mathbf{\text{3}}\]

\[\mathbf{\text{4}}\] 

Ans: We are given a set \[\text{A=}\left\{ \text{1, 2, 3} \right\}\].

Let us take the relation \[\text{R}\], containing \[\left( \text{1, 2} \right)\] as \[\text{R=}\left\{ \left( \text{1, 1} \right)\text{, }\left( \text{2, 2} \right)\text{, }\left( \text{3, 3} \right)\text{, }\left( \text{1, 2} \right)\text{, }\left( \text{2, 1} \right) \right\}\].

Now the pairs left are \[\left( \text{2, 3} \right)\text{, }\left( \text{3, 2} \right)\text{, }\left( \text{1, 3} \right)\text{, }\left( \text{3, 1} \right)\] 

In order to add one pair, say \[\left( \text{2, 3} \right)\], we must add \[\left( \text{3, 2} \right)\] for symmetry. And we are required to add \[\left( \text{1, 3} \right)\text{, }\left( \text{3, 1} \right)\] for transitivity.

So, only the equivalence relation (bigger than \[\text{R}\]) is the universal relation.

Therefore, the total number of equivalence relations containing \[\left( \text{1, 2} \right)\] are two.

Hence, the correct answer is (B) \[\text{2}\].

NCERT Solutions for Class 12 Maths – Free PDF Download

Students often feel troubled because they cannot find the appropriate solutions for NCERT solutions for class 12 maths chapter 1 relations and functions. Here, the learners will find the proper solutions to the sums of relation and function class 12 chapter. These solutions can be downloaded for free from the official website of Vedantu, so it’s just a click away.

NCERT Solutions for Class 12 Maths Chapter 1  Relations and Functions

1.1 Introduction

The NCERT Maths Class 12 Chapter 1 delves deep into the concepts of Relations and Functions. Students will have a recap of their learning from the previous class. The assessment will pave the way to a more in-depth understanding of the fundamental concepts of Chapter 1 Maths Class 12. A student will also learn the quantifiable relationship between two objects belonging to the sets. All the key points pertaining to relations and functions can be clearly understood with the given set of instructions. For a good understanding of the NCERT solutions for class 12 Maths Chapter 1, there is a need to revise the topics covered in the previous class.

Students will gain a refined understanding of the topics covered in Chapter 1 by studying the given activities. By going through the activities carefully, and by solving the sums of Chapter 1 they will be able to establish a clear idea of the properties of Relations and Functions. The level of difficulty will be propelled from an easier stage to a difficult one as one goes on solving the sums, one after the other. After gaining an overall idea of Chapter 1, it will be easier for students to answer every question with the utmost clarity.

1.2 Recall

In NCERT Class 12 Maths Chapter 1 Solutions, students will get to revise some topics from the previous class pertaining to Relations and Functions. A reiteration of these topics will help them to gain a deeper understanding of vertible and invertible functions. Comprehensive knowledge of real numbers and the usage of addition, multiplication, division, and subtraction will help them develop a better understanding of this chapter. Along with this, an insight into how the usage of relations accentuates the complimentary integer is also included in this chapter. Furthermore, it will pave the way for understanding the domain and the co-domain that adheres to the principles of functions.

1.3 Types of Functions

The above section explains the various types of Functions like identity function, constant function, polynomial function, rational function, modulus function, signum function, etc. This will help in understanding the relationship between the injective and the surjective function. One will also learn how the elements of three distinctly different numbers are in association with a host element. It furthermore provides a deeper sense of understanding about the finite as well as the infinite sets.

1.5 Binary Operations

You must be aware of the fundamental concepts of the BODMAS rule right from your junior school days. It will show how operational functions assist in inducing two numbers and therefore, their association as binary operations is used in the merging of two integers into one. You will be able to cover all of the aspects of the operations. You will also learn how a set of numbers will be eventually substituted by an arbitrary set of numbers which concerns the binary operation. Moreover, the formulation of the pair pertaining to the elements will help in developing a deeper sense of understanding of the concepts covered in this chapter.

Overview of Deleted Syllabus for CBSE Class 12 Maths Chapter 1 Relations and Functions

Class 12 Maths Chapter 2: Exercise Breakdown

Conclusion

NCERT Solutions for Class 12 Maths Chapter 1 - Relations and Functions are crucial for building a strong foundation in mathematics. It's important to focus on understanding the concepts of relations and functions thoroughly. Pay attention to the types of relations and functions, their properties, and how they are represented graphically. Practice solving various types of problems to grasp the application of these concepts effectively. In the previous year's question paper, typically 4-5 questions were asked from this chapter. Additionally, mastering this chapter will lay a solid groundwork for more advanced mathematical topics in higher classes. So, devote ample time and effort to ensure a clear understanding of relations and functions.

CBSE Class 12 Maths Chapter 1 Other Study Materials

NCERT Solutions for Class 12 Maths Other Chapters PDF Download

Given below are the chapter-wise NCERT Solutions for Class 12 Maths. Go through these chapter-wise solutions to be thoroughly familiar with the concepts.