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.



Labels:

Comments

Post a Comment

Popular posts from this blog

Difference and relation between Differentiation and Integration

Relation between Differentiation and Integration Table Of Contents Look at the information given below. \[\mathbf{ y=f(x)}\] \[ \mathbf{ f'(x)\rightarrow \text{Derivatives of f(x)}}\] \[ \mathbf{\displaystyle \int_a^b f’(x) = ?}\] Can you tell me the value of above integral? Yes, it will be equal to f(b)-f(a) . We have already known this result. It tells us that integration is just the reverse of differentiation, integral of the derivative of the function f(x) is just equal to the difference in the function f(x) evaluated at the limits of integration. Indefinite integration- Notes and Formula Part 1 Now with this topic, we will understand how to apply this result to find the integral of a function.  Consider this function \(\mathbf{g(x)=x^2}\) Let's find the integral of this function from a to b i.e \(\mathbf{\displaystyle \int_a^b g(x) \, dx}\) .  Can you think how we can apply this result to find ...
Post a Comment
Read more

Sets - Notes, Concept and All Important Formula

  SETS 1. SET : A set is a collection of well defined objects which are distinct from each other. Set are generally denoted by capital letters \(A, B, C, \ldots .\) etc. and the elements of the set by a, b, c .... etc. If a is an element of a set \(A\) , then we write \(a \in A\) and say a belongs to \(A\) . If a does not belong to \(A\) then we write \(a \notin A\) , All Chapter Notes, Concept and Important Formula 2. SOME IMPORTANT NUMBER SETS : \(N =\) Set of all natural numbers \(=\{1,2,3,4, \ldots\}\) \(W =\) Set of all whole numbers \(=\{0,1,2,3, \ldots .\}\) \(Z\) or I set of all integers \(\{\ldots-3,-2,-1,0,1,2,3, \ldots\} \) \(Z ^{+}\) = Set of all +ve integers   \(=\{1,2,3, \ldots\}= N . \) \(Z ^{-}\) = Set of all -ve integers \(=(-1,-2,-3, \ldots .\}\) \(Z _{0}=\) The set of all non-zero integers . \(=\{\pm 1, \pm 2, \pm 3, \ldots\} \) Q = The set of all rational numbers.  \(=\left\{\frac{p}{q}: p, q \in I, q \neq 0\right\} \) \(R \) = the set of all ...
Post a Comment
Read more

Definite Integration - Notes, Concept and All Important Formula

DEFINITE INTEGRATION Table Of Contents 1. (a) The Fundamental Theorem of Calculus, Part 1: If \(\mathrm{f}\) is continuous on \([\mathrm{a}, \mathrm{b}]\) , then the function \(\mathrm{g}\) defined by \(g(x)=\displaystyle \int_{a}^{x} f(t) d t,\)   \(  a \leq x \leq b\) is continuous on \([\mathrm{a}, \mathrm{b}]\) and differentiable on \((\mathrm{a}, \mathrm{b})\) , and \(g^{\prime}(\mathrm{x})=\mathrm{f}(\mathrm{x})\) . (b) The Fundamental Theorem of Calculus, Part 2: If f is continuous on \([a, b]\) , then \(\displaystyle \int_{a}^{b} f(x) d x=F(b)-F(a)\) where \(F\) is any antiderivative of \(\mathrm{f}\) , that is, a function such that \(\mathrm{F}^{\prime}=\mathrm{f}.\) Note : If \(\displaystyle \int_{a}^{b} f(x) d x=0 \Rightarrow\) then the equation \(f(x)=0\) has atleast one root lying in \((a, b)\) provided \(f\) is a continuous function in \((a, b)\) . All Chapter Notes, Concept and Important Formula 2. Representation of Definite Int...
Post a Comment
Read more