Relation and Function - PDF
Relation and Function - PDF
Compiled by :
1. Anshika Sharma
2. Aayushi Shukla
3. Vaibhav Srivastava
4. Lavish Tripathi
5. Anandan K. Babu
6. Shubhagyta Pandey
7. Devansh Pandey
8. Navneet Singh(II)
NOTE: All functions are relations, but not all relations are functions.
Relation
It is a subset of the Cartesian product. Or simply, a bunch of points
(ordered pairs). In other words, the relation between the two sets is
defined as the collection of the ordered pair, in which the ordered pair
is formed by the object from each set.
Example: {(-2, 1), (4, 3), (7, -3)}, usually written in set notation form with
curly brackets.
Relation Representation
There are other ways too to write the relation, apart from set notation such as
through tables, plotting it on XY- axis or through mapping diagram.
Types of Relations
Empty Relations
Universal Relations
Identity Relations
Inverse Relations
Reflexive Relations
Symmetric Relations
Transitive Relations
Empty Relation
Universal Relation
Identity Relation
Inverse Relation
Reflexive Relation
A relation is a reflexive relation iIf every element of set A maps to itself, i.e for
every a ∈ A, (a, a) ∈ R.
Symmetric Relation
Transitive Relation
If (a, b) ∈ R, (b, c) ∈ R, then (a, c) ∈ R, for all a,b,c ∈ A and this relation in set
A is transitive.
Equivalence Relation
Function
A function is a relation which describes that there should be only one output
for each input (or) we can say that a special kind of relation (a set of ordered
pairs), which follows a rule i.e., every X-value should be associated with only
one y-value is called a function.
Codomain – The set into which all the output of the function is constrained
to fall.
Range - It is a collection of the second values in the ordered pair.
Types of Functions
Condition: Every element of the domain has a single image with codomain after
mapping.
Onto or Surjective Fumction :
Into Function :
If the function is not one to one function then it should be many to one
function means every element of the domain has more than one image
at codomain after mapping.