Skip to main content

Relation (Mathematics) - Notes, Concept and All Important Formula

 RELATIONS

1. INTRODUCTION :

Let \(A\) and \(B\) be two sets. Then a relation \(R\) from \(A\) to \(B\) is a subset of \(A \times B\). thus, \(R\) is a relation from \(A\) to \(B \Leftrightarrow R \subseteq A \times B\).

Total Number of Relations : Let \(A\) and \(B\) be two non-empty finite sets consisting of \(m\) and \(n\) elements respectively. Then \(A \times B\) consists of mn ordered pairs. So total number of subsets of \(A \times B\) is \(2^{m n}\).

Domain and Range of a relation : Let \(R\) be a relation from a set \(A\) to a set \(B\). Then the set of all first components or coordinates of the ordered pairs belonging to \(R\) is called to domain of \(R\), while the set of all second components or coordinates of the ordered pairs in \(R\) is called the range of \(R\).

Thus, \(\quad\) Domain \(( R )=\{ a :( a , b ) \in R \}\)

and, Range \(( R )=\{ b :( a , b ) \in R \}\)

It is evident from the definition that the domain of a relation from \(A\) to \(B\) is a subset of \(A\) and its range is a subset of \(B\).

Inverse Relation : Let A, B be two sets and let \(R\) be a relation from a set \(A\) to a set \(B\). Then the inverse of \(R\), denoted by \(R ^{-1}\), is a relation from \(B\) to \(A\) and is defined by

\(R ^{-1}=\{( b , a ):( a , b ) \in R \}\)

Clearly, \(\quad( a , b ) \in R \Leftrightarrow( b , a ) \in R ^{-1}\)

Also, \(\quad\) Domain \(( R )=\) Range \(\left( R ^{-1}\right)\) and Range \(( R )=\operatorname{Domain}\left( R ^{-1}\right)\)

Note : Relation on a set : If \(R\) is a relation from set \(A\) to \(A\) itself then \(R\) is called Relation on set \(A\).




2. TYPES OF RELATIONS :

In this section we intend to define various types of relations on a given set \(A\).

Void Relation : Let \(A\) be a set. Then \(\phi \subseteq A \times A\) and so it is a relation on A. This relation is called the void or empty relation on A.

Universal Relation : Let \(A\) be a set. Then \(A \times A \subseteq A \times A\) and so it is a relation on A. This relation is called the universal relation on A.

Identity Relation : Let \(A\) be a set. Then the relation \(I _{ A }=\{( a , a ): a \in A \}\) on \(A\) is called the identity relation on \(A\). In other words, a relation \(I _{ A }\) on \(A\) is called the identity relation if every element of A is related to itself only.

Reflexive Relation : A relation \(R\) on a set \(A\) is said to be reflexive if every element of \(A\) is related to itself.

Thus, \(R\) on a set \(A\) is not reflexive if there exists an element \(A \in A\) such that \(( a , a ) \notin R\).

Every Identity relation is reflexive but every reflexive relation is not identity.

Symmetric Relation : A relation \(R\) on a set \(A\) is said to be a symmetric relation iff

\((a, b) \in R \Leftrightarrow(b, a) \in R\)

i.e. \(\quad a R b \Leftrightarrow bRa\)

Transitive Relation : Let \(A\) be any set. A relation \(R\) on \(A\) is said to be a transitive relation iff

\((a, b) \in R\) and \((b, c) \in R \Rightarrow(a, c) \in R\)

i.e. \(\quad\) a \(R\,\, b\) and \(b R c \Rightarrow a R c\)

Antisymmetric Relation : Let \(A\) be any set. A relation \(R\) on set \(A\) is said to be an antisymmetric relation iff

\((a, b) \in R\) and \((b, a) \in R \Rightarrow a=b\)

Equivalence Relation : A relation \(R\) on a set \(A\) is said to be an equivalence relation on \(A\) iff

(i) it is reflexive i.e. \((a, a) \in R\) for all \(a \in A\)

(ii) it is symmetric i.e. \(( a , b ) \in R \Rightarrow( b , a ) \in R\)

(iii) it is transitive i.e. \((a, b) \in R\) and \((b, c) \in R \Rightarrow(a, c) \in R\)

It is not necessary that every relation which is symmetric and transitive is also reflexive.





Comments

Popular posts from this blog

Indefinite Integration - Notes, Concept and All Important Formula

INDEFINITE INTEGRATION If  f & F are function of \(x\) such that \(F^{\prime}(x)\) \(=f(x)\) then the function \(F\) is called a PRIMITIVE OR ANTIDERIVATIVE OR INTEGRAL of \(\mathrm{f}(\mathrm{x})\) w.r.t. \(\mathrm{x}\) and is written symbolically as \(\displaystyle \int \mathrm{f}(\mathrm{x}) \mathrm{d} \mathrm{x}\) \(=\mathrm{F}(\mathrm{x})+\mathrm{c} \Leftrightarrow \dfrac{\mathrm{d}}{\mathrm{dx}}\{\mathrm{F}(\mathrm{x})+\mathrm{c}\}\) \(=\mathrm{f}(\mathrm{x})\) , where \(\mathrm{c}\) is called the constant of integration. Note : If \(\displaystyle \int f(x) d x\) \(=F(x)+c\) , then \(\displaystyle \int f(a x+b) d x\) \(=\dfrac{F(a x+b)}{a}+c, a \neq 0\) All Chapter Notes, Concept and Important Formula 1. STANDARD RESULTS : (i) \( \displaystyle \int(a x+b)^{n} d x\) \(=\dfrac{(a x+b)^{n+1}}{a(n+1)}+c ; n \neq-1\) (ii) \(\displaystyle \int \dfrac{d x}{a x+b}\) \(=\dfrac{1}{a} \ln|a x+b|+c\) (iii) \(\displaystyle \int e^{\mathrm{ax}+b} \mathrm{dx}\) \(=\dfrac{1}{...

Logarithm - Notes, Concept and All Important Formula

LOGARITHM LOGARITHM OF A NUMBER : The logarithm of the number \(\mathrm{N}\) to the base ' \(\mathrm{a}\) ' is the exponent indicating the power to which the base 'a' must be raised to obtain the number \(\mathrm{N}\) . This number is designated as \(\log _{\mathrm{a}} \mathrm{N}\) . (a) \(\log _{a} \mathrm{~N}=\mathrm{x}\) , read as \(\log\) of \(\mathrm{N}\) to the base \(\mathrm{a} \Leftrightarrow \mathrm{a}^{\mathrm{x}}=\mathrm{N}\) . If \(a=10\) then we write \(\log N\) or \(\log _{10} \mathrm{~N}\) and if \(\mathrm{a}=e\) we write \(\ln N\) or \(\log _{e} \mathrm{~N}\) (Natural log) (b) Necessary conditions : \(\mathrm{N}> \,\,0 ; \,\, \mathrm{a}> \,\,0 ; \,\, \mathrm{a} \neq 1\) (c) \(\log _{a} 1=0\) (d) \(\log _{a} a=1\) (e) \(\log _{1 / a} a=-1\) (f) \(\log _{a}(x . y)=\log _{a} x+\log _{a} y ; \,\, x, y> \,\,0\) (g) \(\log _{a}\left(\dfrac{\mathrm{x}}{y}\right)=\log _{\mathrm{a}} \mathrm{x}-\log _{\mathrm{a}} \mathrm{y} ; \,\, \mathrm{...

Hyperbola - Notes, Concept and All Important Formula

HYPERBOLA The Hyperbola is a conic whose eccentricity is greater than unity \((e>1) .\) 1. STANDARD EQUATION & DEFINITION(S): Standard equation of the hyperbola is \(\dfrac{\mathbf{x}^{2}}{\mathbf{a}^{2}}-\dfrac{\mathbf{y}^{2}}{\mathbf{b}^{2}}=\mathbf{1},\) where \(b^{2}=a^{2}\left(e^{2}-1\right)\) or \(a^{2} e^{2}=a^{2}+b^{2}\)    i.e.    \(e^{2}=1+\dfrac{b^{2}}{a^{2}}\) \(=1+\left(\dfrac{\text { Conjugate Axis }}{\text { Transverse Axis }}\right)^{2}\) (a) Foci : \(\mathrm{S} \equiv(\mathrm{a} e, 0) \quad \& \quad \mathrm{~S}^{\prime} \equiv(-\mathrm{a} e, 0) .\) (b) Equations of directrices: \(\mathrm{x}=\dfrac{\mathrm{a}}{e}\quad \) & \(\quad \mathrm{x}=-\dfrac{\mathrm{a}}{e}\) (c) Vertices: \(A \equiv(a, 0)\quad \) & \(\quad A^{\prime} \equiv(-a, 0)\) (d) Latus rectum: (i) Equation: \(\mathrm{x}=\pm \mathrm{ae}\) (ii) Length:  \(\begin{aligned} &=\dfrac{2 b^{2}}{a}=\dfrac{(\text { Conjugate Axis })^{2}}{(\text { Transverse Axis ...