# Ch. - 1 Relations and Functions

# Ch. - 1 Relations and Functions

## Chapter 1 Ex.1.1 Question 1

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

(i) Relation \(R\) in the set \(A = \left\{ {1,2,3, \ldots ,13,14} \right\}\) defined as

\[R = \left\{ {\left( {x,y} \right):3x - y = 0} \right\}\]

(ii) Relation \(R\) in the set of \(N\) natural numbers defined as

\[R = \left\{ {\left( {x,y} \right):y = x + 5{\text{ and }}x < 4} \right\}\]

(iii) Relation \(R\) in the set \(A = \left\{ {1,2,3,4,5,6} \right\}\) defined as

\[R = \left\{ {\left( {x,y} \right):y{\text{ is divisible by }}x} \right\}\]

(iv) Relation \(R\) in the set of \(Z\) integers defined as

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

(v) Relation \(R\) in the set of human beings in a town at a particular time given by

(a) \(R = \left\{ {\left( {x,y} \right):x{\text{ and }}y{\text{ work at the same place}}} \right\}\)

(b) \(R = \left\{ {\left( {x,y} \right):x{\text{ and }}y{\text{ live in the same locality}}} \right\}\)

(c) \(R = \left\{ {\left( {x,y} \right):x{\text{ is exactly 7 cm taller than }}y} \right\}\)

(d) \(R = \left\{ {\left( {x,y} \right):x{\text{ is wife of }}y} \right\}\)

(e) \(R = \left\{ {\left( {x,y} \right):x{\text{ is father of }}y} \right\}\)

**Solution**

(i) \(R = \left\{ {\left( {1,3} \right),\left( {2,6} \right),\left( {3,9} \right),\left( {4,12} \right)} \right\}\)

\(R\) is not reflexive because \(\left( {1,1} \right),\left( {2,2} \right) \ldots {\text{ and }}\left( {14,14} \right) \notin R\).

\(R\) is not symmetric because \(\left( {1,3} \right) \in R,{\text{ but }}\left( {3,1} \right) \notin R.\left[ {{\text{since 3}}\left( 3 \right) \ne 0} \right]\).

\(R\) is not transitive because \(\left( {1,3} \right),\left( {3,9} \right) \in R,{\text{ but }}\left( {1,9} \right) \notin R.\left[ {3\left( 1 \right) - 9 \ne 0} \right]\).

Hence, \(R\) is neither reflexive nor symmetric nor transitive.

(ii) \(R = \left\{ {\left( {1,6} \right),\left( {2,7} \right),\left( {3,8} \right)} \right\}\)

\(R\) is not reflexive because \((1,1){\text{ }} \notin R\) .

\(R\) is not symmetric because \(\left( {1,6} \right) \in R{\text{ but }}\left( {6,1} \right) \notin R\).

\(R\) is not transitive because there isn’t any ordered pair in \(R\) such that \(\left( {x,y} \right),\left( {y,z} \right) \in R{\text{, so }}\left( {x,z} \right) \notin R\).

Hence, \(R\) is neither reflexive nor symmetric nor transitive.

(iii) \(R = \left\{ {\left( {x,y} \right):y{\text{ is divisible by }}x} \right\}\)

We know that any number other than \(0\) is divisible by itself.

Thus, \((x,x){\text{ }} \in {\text{ }}R\)

So, \(R\) is reflexive.

\((2,4){\text{ }} \in {\text{ }}R\) [because \(4\) is divisible by \(2\)]

But \((4,2){\text{ }} \notin {\text{ }}R\) [since \(2\) is not divisible by \(4\)]

So, \(R\) is not symmetric.

Let \((x,y)\) and \((y,z){\text{ }} \in {\text{ }}R\). So, \(y\) is divisible by \(x\) and \(z\) is divisible by \(y.\)

So, \(z\) is divisible by \(x\) \( \Rightarrow (x,z){\text{ }} \in {\text{ }}R\)

So, \(R\) is transitive.

So, \(R\) is reflexive and transitive but not symmetric.

(iv) \(R = \left\{ {\left( {x,y} \right):x - y{\text{ is an integer}}} \right\}\)

For \(x{\text{ }} \in {\text{ Z, }}(x,x){\text{ }} \notin {\text{ }}R\) because \(x - x = 0\) is an integer.

So, \(R\) is reflexive.

For, \(x,y{\text{ }} \in {\text{ }}Z\), if \(x,y{\text{ }} \in {\text{ R}}\), then \(x - y\) is an integer \( \Rightarrow (y - x)\) is an integer.

So, \((y,x){\text{ }} \in {\text{ }}R\)

So, \(R\) is symmetric.

Let \((x,y)\) and \((y,z){\text{ }} \in {\text{ }}R\), where \(x,y,z{\text{ }} \in {\text{ Z}}\).

\( \Rightarrow (x - y)\) and \((y - z)\) are integers.

\( \Rightarrow x - z = (x - y) + (y - z)\) is an integer.

So, \(R\) is transitive.

So, \(R\) is reflexive, symmetric and transitive.

(v) \(R = \left\{ {\left( {x,y} \right):x{\text{ and }}y{\text{ work at the same place}}} \right\}\)

(a) \(R\) is reflexive because \(\left( {x,x} \right) \in R\)

\(R\) is symmetric because ,

If \(\left( {x,y} \right) \in R\), then \(x\) and \(~\text{y }\) work at the same place and \(~\text{y }\) and \(x\) also work at the same place. \(\left( {y,x} \right) \in R\).

\(R\) is transitive because,

Let \(\left( {x,y} \right),\left( {y,z} \right) \in R\)

\(x\) and \(y\) work at the same place and \(y\) and \(z\) work at the same place.

Then, \(x\) and \(z\) also works at the same place. \(\left( {x,z} \right) \in R\).

Hence, \(R\) is reflexive, symmetric and transitive.

(b) \(R = \left\{ {\left( {x,y} \right):x{\text{ and }}y{\text{ live in the same locality}}} \right\}\)

\(R\) is reflexive because \(\left( {x,x} \right) \in R\)

\(R\) is symmetric because,

If \(\left( {x,y} \right) \in R\), then \(x\)and\(~\text{y }\) live in the same locality and \(~\text{y }\)and \(x\) also live in the same locality \(\left( {y,x} \right) \in R\).

\(R\) is transitive because,

Let \(\left( {x,y} \right),\left( {y,z} \right) \in R\)

\(x\) and \(y\) live in the same locality and \(y\) and \(z\) live in the same locality.

Then \(x\) and \(z\) also live in the same locality. \(\left( {x,z} \right) \in R\).

Hence, \(R\) is reflexive, symmetric and transitive.

(c) \(R = \left\{ {\left( {x,y} \right):x{\text{ is exactly 7 cm taller than }}y} \right\}\)

\(R\) is not reflexive because \(\left( {x,x} \right) \notin R\).

\(R\) is not symmetric because,

If \(\left( {x,y} \right) \in R\), then \(x\)is exactly \(7\,\rm{cm}\) taller than\(~\text{y }\) and \(~\text{y }\) is clearly not taller than \(x\). \(\left( {y,x} \right) \notin R\).

\(R\) is not transitive because,

Let \(\left( {x,y} \right),\left( {y,z} \right) \in R\)

\(x\) is exactly \(7\,\rm{cm}\) taller than\(~\text{y }\) and \(y\) is exactly \(7\,\rm{cm}\) taller than \(z\).

Then\(x\) is exactly \(14\,\rm{cm}\) taller than\(z\). \(\left( {x,z} \right) \notin R\)

Hence, \(R\) is neither reflexive nor symmetric nor transitive.

(d) \(R = \left\{ {\left( {x,y} \right):x{\text{ is wife of }}y} \right\}\)

\(R\) is not reflexive because \(\left( {x,x} \right) \notin R\).

\(R\) is not symmetric because,

Let \(\left( {x,y} \right) \in R\), \(x\) is the wife of \(y\) and \(y\) is not the wife of \(x\). \(\left( {y,x} \right) \notin R\).

\(R\) is not transitive because,

Let \(\left( {x,y} \right),\left( {y,z} \right) \in R\)

\(x\) is wife of \(~\text{y }\)and\(y\) is wife of \(z\), which is not possible.

\(\left( {x,z} \right) \notin R\).

Hence, \(R\) is neither reflexive nor symmetric nor transitive.

(e) \(R = \left\{ {\left( {x,y} \right):x{\text{ is father of }}y} \right\}\)

\(R\) is not reflexive because \(\left( {x,x} \right) \notin R\).

\(R\) is not symmetric because,

Let \(\left( {x,y} \right) \in R\), \(x\)is the father of \(y\) and \(y\) is not the father of \(x\). \(\left( {y,x} \right) \notin R\).

\(R\) is not transitive because,

Let \(\left( {x,y} \right),\left( {y,z} \right) \in R\)

\(x\) is father of \(~\text{y }\)and\(y\) is father of \(z\),\(x\) is not father of \(z\).\(\left( {x,z} \right) \notin R\).

Hence, \(R\) is neither reflexive nor symmetric nor transitive.

## Chapter 1 Ex.1.1 Question 2

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

**Solution**

\(R = \left\{ {\left( {a,b} \right):a \le {b^2}} \right\}\)

\(\left( {\frac{1}{2},\frac{1}{2}} \right) \notin R\) because \(\frac{1}{2} > {\left( {\frac{1}{2}} \right)^2}\)

\(\therefore \) \(R\) is not reflexive.

\(\left( {1,4} \right) \in R \, {\rm{ as }}1 < 4\). But \({\rm{4}}\) is not less than \({1^2}\).

\(\left( {4,1} \right) \notin R\)

\(\therefore \) \(R\) is not symmetric.

\[\begin{align}&\left( {3,2} \right)\left( {2,1.5} \right) \in R \qquad &{\text{ [Because }}3 < {2^2}{\text{ = 4 and }}2 < {(1.5)^2}{\text{ = 2}}{\text{.25]}}\\&3 > {\left( {1.5} \right)^2} = 2.25\\&\therefore \left( {3,1.5} \right) \notin R\\\end{align}\]

\(\therefore \) \(R\) is not transitive.

\(R\) is neither reflective nor symmetric nor transitive.

## Chapter 1 Ex.1.1 Question 3

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

**Solution**

\(A = \left\{ {1,2,3,4,5,6} \right\}\)

\(R = \left\{ {\left( {a,b} \right):b = a + 1} \right\}\)

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

\(\left( {a,a} \right) \notin R,a \in A\)

\(\left( {1,1} \right),\left( {2,2} \right),\left( {3,3} \right),\left( {4,4} \right),\left( {5,5} \right) \notin R\)

\(\therefore \) \(R\) is not reflexive.

\(\left( {1,2} \right) \in R,{\rm{ but }}\left( {2,1} \right) \notin R\)

\(\therefore \) \(R\) is not symmetric.

\(\begin{align}\left( {1,2} \right),\left( {2,3} \right) \in R\\\left( {1,3} \right) \notin R\end{align}\)

\(\therefore \) \(R\) is not transitive.

\(R\) is neither reflective nor symmetric nor transitive.

## Chapter 1 Ex.1.1 Question 4

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

**Solution**

\(R = \left\{ {\left( {a,b} \right):a \le b} \right\}\)

\(\left( {a,a} \right) \in R\)

\(\therefore \) \(R\) is reflexive.

\[\begin{align}\left( {2,4} \right) \in R\,\,\left( {{\text{as }}2 < 4} \right)\\\left( {4,2} \right) \notin R\,\,\left( {{\text{as 4 > 2}}} \right)\end{align}\]

\(\therefore \) \(R\) is not symmetric.

\[\begin{align}&\left( {a,b} \right),\left( {b,c} \right) \in R\\&a \le b{\text{ and }}b \le c\\& \Rightarrow a \le c\\& \Rightarrow \left( {a,c} \right) \in R\end{align}\]

\(\therefore \) \(R\) is transitive.

\(R\) is reflexive and transitive but not symmetric.

## Chapter 1 Ex.1.1 Question 5

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

**Solution**

\(R = \left\{ {\left( {a,b} \right):a \le {b^3}} \right\}\)

\(\left( {\frac{1}{2},\frac{1}{2}} \right) \notin R,{\text{ since }}\frac{1}{2} > {\left( {\frac{1}{2}} \right)^3}\)

\(\therefore \) \(R\) is not reflexive.

\(\begin{align}&\left( {1,2} \right) \in R\left( {{\text{as }}1 < {2^3} = 8} \right)\\&\left( {2,1} \right) \notin R\left( {{\text{as }}{2^3} > 1 = 8} \right)\end{align}\)

\(\therefore \) \(R\) is not symmetric.

\[\begin{align}&\left( {3,\frac{3}{2}} \right),\left( {\frac{3}{2},\frac{6}{5}} \right) \in R,{\text{ since }}3 < {\left( {\frac{3}{2}} \right)^3}{\text{ and }}\frac{2}{3} < {\left( {\frac{6}{2}} \right)^3}\\&\left( {3,\frac{6}{5}} \right) \notin R\,3 > {\left( {\frac{6}{5}} \right)^3}\end{align}\]

\(\therefore \) \(R\) is not transitive.

\(R\) is neither reflexive nor symmetric nor transitive.

## Chapter 1 Ex.1.1 Question 6

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

**Solution**

\(\begin{align}&A = \left\{ {{\text{1}},{\text{2}},{\text{3}}} \right\}\\&R = \left\{ {\left( {1,2} \right),\left( {2,1} \right)} \right\}\\&\left( {1,1} \right),\left( {2,2} \right),\left( {3,3} \right) \notin R\end{align}\)

\(\therefore \) \(R\) is not reflexive.

\(\left( {1,2} \right) \in R\,{\text{and }}\left( {2,1} \right) \in R\)

\(\therefore \) \(R\) is symmetric.

\(\begin{align}&\left( {1,2} \right) \in R\,{\text{and }}\left( {2,1} \right) \in R\\&\left( {1,1} \right) \in R\end{align}\)

\(\therefore \) \(R\) is not transitive.

\(R\) is symmetric, but not reflexive or transitive.

## Chapter 1 Ex.1.1 Question 7

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

**Solution**

\(R = \left\{ {\left( {x,y} \right):x{\text{ and }}y{\text{ have same number of pages}}} \right\}\)

\(R\) is reflexive since \(\left( {x,x} \right) \in R\) as \(x\)and \(x\) have same number of pages.

\(\therefore \) \(R\) is reflexive.

\(\left( {x,y} \right) \in R\)

\(x\) and\(~\text{y }\)have same number of pages and\(~\text{y }\)and \(x\) have same number of pages \(\left( {y,x} \right) \in R\)

\(\therefore \) \(R\) is symmetric.

\(\left( {x,y} \right) \in R,\left( {y,z} \right) \in R\)

\(x\) and \(y\) have same number of pages,\(y\) and \(z\) have same number of pages.

Then\(x\) and \(z\) have same number of pages.

\(\left( {x,z} \right) \in R\)

\(\therefore \) \(R\) is transitive.

\(R\) is an equivalence relation.

## Chapter 1 Ex.1.1 Question 8

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

**Solution**

\(\begin{align}&a \in A\\&\left| {a - a} \right| = 0\left( {{\text{which is even}}} \right)\end{align}\)

\(\therefore \) \(R\) is reflective.

\(\begin{align}&\left( {a,b} \right) \in R\\& \Rightarrow \left| {a - b} \right|{\text{ }}\left[ {{\text{is even}}} \right]\\ &\Rightarrow \left| { - \left( {a - b} \right)} \right| = \left| {b - a} \right|{\text{ }}\left[ {{\text{is even}}} \right]\\&\left( {b,a} \right) \in R\end{align}\)

\(\therefore \) \(R\) is symmetric.

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

\( \Rightarrow \left| {a - b} \right|\)is even and \(\left| {b - c} \right|\)is even

\( \Rightarrow \left( {a - b} \right)\) is even and \(\left( {b - c} \right)\)is even

\( \Rightarrow \left( {a - c} \right) = \left( {a + b} \right) + \left( {b - c} \right)\)is even

\( \Rightarrow \left| {a - b} \right|\) is even

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

\(\therefore \) \(R\) is transitive.

\(R\) is an equivalence relation.

All elements of \(\left\{ {1,3,5} \right\}\) are related to each other because they are all odd. So, the modulus of the difference between any two elements is even.

Similarly, all elements \(\left\{ {2,4} \right\}\) are related to each other because they are all even.

No element of \(\left\{ {1,3,5} \right\}\) is related to any elements of \(\left\{ {2,4} \right\}\) as all elements of \(\left\{ {1,3,5} \right\}\) are odd and all elements of \(\left\{ {2,4} \right\}\) are even. So, the modulus of the difference between the two elements will not be even.

## Chapter 1 Ex.1.1 Question 9

Show that each of the relation \(R\) in the set \(A = \left\{ {x \in Z:0 \le x \le 12} \right\}\), given by

(i) \(R = \left\{ {\left( {a,b} \right):\left| {a - b} \right|{\text{ is a mutiple of }}4} \right\}\)

(ii) \(R = \left\{ {\left( {a,b} \right):a = b} \right\}\)

Is an equivalence relation. Find the set of all elements related to \(1\) in each case.

**Solution**

\(A = \left\{ {x \in Z:0 \le x \le 12} \right\} = \left\{ {0,1,2,3,4,5,6,7,8,9,10,11,12} \right\}\)

(i) \(R = \left\{ {\left( {a,b} \right):\left| {a - b} \right|{\text{ is a mutiple of }}4} \right\}\)

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

\(\therefore \) \(R\) is reflexive.

\[\begin{align}\left( {a,b} \right) \in R \Rightarrow \left| {a - b} \right|{\text{ }}\left[ {{\text{is a multiple of 4}}} \right]\\ \Rightarrow \left| { - \left( {a - b} \right)} \right| = \left| {b - a} \right|{\text{ }}\left[ {{\text{is a multiple of 4}}} \right]\\\left( {b,a} \right) \in R\end{align}\]

\(\therefore \) \(R\) is symmetric.

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

\( \Rightarrow \left| {a - b} \right|\)is a multiple of \(4\) and \(\left| {b - c} \right|\) is a multiple of \(4\)

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

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

\( \Rightarrow \left| {a - c} \right|\) is a multiple of \(4\)

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

\(\therefore \) R is transitive.

\(R\) is an equivalence relation.

The set of elements related to \(1\) is \(\left\{ {1,5,9} \right\}\) as

\(\left| {1 - 1} \right| = 0\) is a multiple of \(4\).

\(\left| {5 - 1} \right| = 4\) is a multiple of \(4\).

\(\left| {9 - 1} \right| = 8\) is a multiple of \(4\).

(ii) \(R = \left\{ {\left( {a,b} \right):a = b} \right\}\)

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

\(\therefore \) \(R\) is reflective.

\(\begin{align}&\left( {a,b} \right) \in R\\& \Rightarrow a = b\\& \Rightarrow b = a\\& \Rightarrow \left( {b,a} \right) \in R\end{align}\)

\(\therefore \) \(R\) is symmetric.

\(\begin{align}&\left( {a,b} \right) \in R\,{\text{and }}\left( {b,c} \right) \in {\text{R}}\\& \Rightarrow a = b\,{\text{and }}b = c\\ &\Rightarrow a = c\\& \Rightarrow \left( {a,c} \right) \in R\end{align}\)

\(\therefore \) \(R\) is transitive.

\(R\) is an equivalence relation.

The set of elements related to \(1\) is\(\left\{ 1 \right\}\).

## Chapter 1 Ex.1.1 Question 10

Give an example of a relation, which is

(i) Symmetric but neither reflexive nor transitive.

(ii) Transitive but neither reflexive nor symmetric.

(iii) Reflexive and symmetric but not transitive.

(iv) Reflexive and transitive but not symmetric.

(v) Symmetric and transitive but not reflexive.

**Solution**

(i)

\(\begin{align}A &= \left\{ {5,6,7} \right\}\\R &= \left\{ {\left( {5,6} \right),\left( {6,5} \right)} \right\}\end{align}\)

\(\left( {5,5} \right),\left( {6,6} \right),\left( {7,7} \right) \notin R\)

\(R\) is not reflexive as \(\left( {5,5} \right),(6,6),(7,7) \notin R\)

\(\left( {5,6} \right),\left( {6,5} \right) \in R\)and \(\left( {6,5} \right) \in R\), \(R\) is symmetric.

\( \Rightarrow \left( {5,6} \right),\left( {6,5} \right) \in R,{\text{ but }}\left( {5,5} \right) \notin R\)

\(\therefore \) \(R\) is not transitive.

Relation \(R\) is symmetric but not reflexive or transitive.

(ii)

\(R = \left\{ {\left( {a,b} \right):a < b} \right\}\)

\(a \in R,\left( {a,a} \right) \notin R\,\,\,\left[ {{\text{since }}a{\text{ cannot be less than itself}}} \right]\)

\(R\) is not reflexive.

\(\begin{align}&\left( {1,2} \right) \in R\left( {{\text{as }}1 < 2} \right)\\&{\text{But 2 is not less than 1}}\\&\therefore \left( {2,1} \right) \notin R\end{align}\)

\(R\) is not symmetric.

\(\begin{align}&\left( {a,b} \right),\left( {b,c} \right) \in R\\ &\Rightarrow a < b\,{\text{and }}b < c\\ &\Rightarrow a < c\\ &\Rightarrow \left( {a,c} \right) \in R\end{align}\)

\(\therefore \) \(R\) is transitive.

Relation \(R\) is transitive but not reflexive and symmetric.

(iii)

\(A = \left\{ {4,6,8} \right\}\)

\(A = \left\{ {\left( {4,4} \right),\left( {6,6} \right),\left( {8,8} \right),\left( {4,6} \right),\left( {6,8} \right),\left( {8,6} \right)} \right\}\)

\(R\) is reflexive since \(a \in A,\left( {a,a} \right) \in R\)

\(\begin{align}&R{\text{ is symmetric since}}\left( {a,b} \right) \in R\\ &\Rightarrow \left( {b,a} \right) \in R\,\,\,\,\,\,for\,a,b \in R\end{align}\)

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

\(R\) is reflexive and symmetric but not transitive.

(iv)

\(R = \left\{ {\left( {a,b} \right):{a^3} > {b^3}} \right\}\)

\(\left( {a,a} \right) \in R\)

\(\therefore \) \(R\) is reflexive.

\(\begin{align}\left( {2,1} \right) \in R\\But\,\left( {1,2} \right) \notin R\end{align}\)

\(\therefore \) \(R\) is not symmetric.

\(\begin{align}&\left( {a,b} \right),\left( {b,c} \right) \in R\\& \Rightarrow {a^3} \ge {b^3}\,{\text{and }}{b^3} < {c^3}\\& \Rightarrow {a^3} < {c^3}\\& \Rightarrow \left( {a,c} \right) \in R\end{align}\)

\(\therefore \) \(R\) is transitive.

\(R\) is reflexive and transitive but not symmetric

(v) Let \(A = \left\{ { - 5, - 6} \right\}\)

\(R = \left\{ {\left( { - 5, - 6} \right),\left( { - 6, - 5} \right),\left( { - 5, - 5} \right)} \right\}\)

\(R\) is not reflexive as \(\left( { - 6, - 6} \right) \notin R\)

\(\left( { - 5, - 6} \right),\left( { - 6, - 5} \right) \in R\)

\(R\) is symmetric.

\(\begin{align}&\left( { - 5, - 6} \right),\left( { - 6, - 5} \right) \in R\\&\left( { - 5, - 5} \right) \in R\end{align}\)

\(R\) is transitive.

\(\therefore \) \(R\) is symmetric and transitive but not reflexive.

## Chapter 1 Ex.1.1 Question 11

Show that the relation \(R\) in the set \(A\) of points in a plane given by

\(R =\){\((P,Q):\) Distance of the point \(P\) from the origin is same as the distance of the point \(Q\) from the origin}, is an equivalence relation. Further, show that the set of all points related to a point \(P \ne \left( {0,0} \right)\) is the circle passing through P with origin as centre.

**Solution**

\(R =\){\((P,Q):\) Distance of the point \(P\) from the origin is same as the distance of the point \(Q\) from the origin}

Clearly,\(\left( {P,P} \right) \in R\)

\(\therefore \) \(R\) is reflexive.

\(\left( {P,Q} \right) \in R\)

Clearly \(R\) is symmetric.

\(\left( {P,Q} \right),\left( {Q,S} \right) \in R\)

\( \Rightarrow \) The distance of \(P\)and \(Q\) from the origin is the same and also, the distance of \(Q\) and \(S\) from the origin is the same.

\( \Rightarrow \)The distance of \(P\) and \(S\) from the origin is the same.

\(\left( {P,S} \right) \in R\)

\(\therefore \) \(R\) is transitive.

\(R\) is an equivalence relation.

The set of points related to \(P \ne \left( {0,0} \right)\) will be those points whose distance from origin is same as distance of \(P\) from the origin.

Set of points forms a circle with the centre as origin and this circle passes through \(P\).

## Chapter 1 Ex.1.1 Question 12

Show that the relation \(R\) in the set \(A\) of all triangles as \(R = \left\{ {\left( {{T_1},{T_2}} \right):{T_1}\,{\text{is similar to}}\,{T_2}} \right\}\), is an equivalence relation. Consider three right angle triangles \(T_1\) with sides \(3,4,5, {T_2}\) with sides \(5,12,13\) and \({T_3}\) with sides \(6,8,10\). Which triangle among \({T_1},{T_2},{T_3}\) are related?

**Solution**

\(R = \left\{ {\left( {{T_1},{T_2}} \right):{T_1}\,{\text{is similar to}}\,{T_2}} \right\}\)

\(R\) is reflexive since every triangle is similar to itself.

If \(\left( {{T_1},{T_2}} \right) \in R\), then \({T_1}\) is similar to \({T_2}\).

\({T_2}\) is similar to \({T_1}\).

\( \Rightarrow \left( {{T_2},{T_1}} \right) \in R\)

\(\therefore \) \(R\) is symmetric.

\(\left( {{T_1},{T_2}} \right),\left( {{T_2},{T_3}} \right) \in R\)

\({T_1}\) is similar to \({T_2}\) and \({T_2}\) is similar to \({T_3}\).

\(\therefore \; {T_1}\) is similar to \({T_3}\).

\( \Rightarrow \left( {{T_1},{T_3}} \right) \in R\)

\(\therefore \) \(R\) is transitive.

\(\frac{3}{6} = \frac{4}{8} = \frac{5}{{10}} = \left( {\frac{1}{2}} \right)\)

\(\therefore \) Corresponding sides of triangles \({T_1}\) and \({T_3}\) are in the same ratio.

Triangle \({T_1}\) is similar to triangle \({T_3}\).

Hence, \({T_1}\) is related to \({T_3}\).

## Chapter 1 Ex.1.1 Question 13

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

**Solution**

\(R = \left\{ {\left( {{P_1},{P_2}} \right):{P_1}{\text{ and }}{P_2}{\text{ have same number of sides}}} \right\}\)

\(\left( {{P_1},{P_2}} \right) \in R\) as same polygon has same number of sides.

\(\therefore \) \(R\) is reflexive.

\(\left( {{P_1},{P_2}} \right) \in R\)

\( \Rightarrow \) \({P_1}\) and \({P_2}\) have same number of sides.

\( \Rightarrow \) \({P_2}\) and \({P_1}\) have same number of sides.

\( \Rightarrow \)\(\left( {{P_2},{P_1}} \right) \in R\)

\(\therefore \) \(R\) is symmetric.

\(\left( {{P_1},{P_2}} \right),\left( {{P_2},{P_3}} \right) \in R\)

\( \Rightarrow \) \({P_1}\) and \({P_2}\) have same number of sides.

\({P_2}\) and \({P_3}\) have same number of sides.

\( \Rightarrow \) \({P_1}\) and \({P_3}\) have same number of sides.

\( \Rightarrow \left( {{P_1},{P_3}} \right) \in R\)

\(\therefore \) \(R\) is transitive.

\(R\) is an equivalence relation.

The elements in \(A\) related to right-angled triangle \((T)\) with sides \(3,4,5\) are those polygons which have three sides.

Set of all elements in a related to triangle \(T\) is the set of all triangles.

## Chapter 1 Ex.1.1 Question 14

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

**Solution**

\(R = \left\{ {\left( {{L_1},{L_2}} \right):{L_1}{\text{is parallel to }}{{\text{L}}_2}} \right\}\)

\(R\) is reflexive as any line \({L_1}\)is parallel to itself i.e.,\(\left( {{L_1},{L_2}} \right) \in R\)

If \(\left( {{L_1},{L_2}} \right) \in R\), then

\( \Rightarrow \) \({L_1}\)is parallel to\({L_2}\).

\( \Rightarrow \) \({L_2}\)is parallel to \({L_1}\).

\( \Rightarrow \left( {{L_2},{L_1}} \right) \in R\)

\(\therefore \) \(R\) is symmetric.

\(\left( {{L_1},{L_2}} \right),\left( {{L_2},{L_3}} \right) \in R\)

\( \Rightarrow \) \({L_1}\) is parallel to \({L_2}\)

\( \Rightarrow \) \({L_2}\) is parallel to \({L_3}\)

\(\therefore \) \({L_1}\) is parallel to \({L_3}\).

\( \Rightarrow \left( {{L_1},{L_3}} \right) \in R\)

\(\therefore \) \(R\) is transitive.

\(R\) is an equivalence relation.

Set of all lines related to the line \(y = 2x + 4\) is the set of all lines that are parallel to the line \(y = 2x + 4\).

Slope of the line \(y = 2x + 4\) is \(m = 2\).

Line parallel to the given line is in the form \(y = 2x + c\), where \(c \in R\).

Set of all lines related to the given line is given by \(y = 2x + c\), where \(c \in R\).

## Chapter 1 Ex.1.1 Question 15

Let \(R\) be the relation in the set \(\left\{ {1,2,3.4} \right\}\) given by

\(R = \left\{ {\left( {1,2} \right)\left( {2,2} \right),\left( {1,1} \right),\left( {4,4} \right),\left( {1,3} \right),\left( {3,3} \right),\left( {3,2} \right)} \right\}\).

Choose the correct answer.

(A) \(R\) is reflexive and symmetric but not transitive.

(B) \(R\) is reflexive and transitive but not symmetric.

(C) \(R\) is symmetric and transitive but not reflexive.

(D) \(R\) is an equivalence relation.

**Solution**

\(R = \left\{ {\left( {1,2} \right)\left( {2,2} \right),\left( {1,1} \right),\left( {4,4} \right),\left( {1,3} \right),\left( {3,3} \right),\left( {3,2} \right)} \right\}\)

\(\left( {a,a} \right) \in R\) for every \(a \in \left\{ {1,2,3.4} \right\}\)

\(\therefore \) \(R\) is reflexive.

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

\(\therefore \) \(R\) is not symmetric.

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

\(\therefore \) \(R\) is not transitive.

\(R\) is reflexive and transitive but not symmetric.

The correct answer is B.

## Chapter 1 Ex.1.1 Question 16

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

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

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

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

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

**Solution**

\(R = \left\{ {\left( {a,b} \right):a = b - 2,b > 6} \right\}\)

Now,

\(\begin{align}&b > 6,\left( {2,4} \right) \notin R\\&3 \ne 8 - 2\\&\therefore \left( {3,8} \right) \notin R{\text{ and as 8}} \ne {\text{7 - 2}}\\&\therefore \left( {8,7} \right) \notin R\end{align}\)

Consider \(\left( {6,8} \right)\)

\(\begin{align}&8 > 6{\text{ and 6}} = 8 - 2\\&\therefore \left( {6,8} \right) \in R\end{align}\)

The correct answer is C.