71 Ge2 Set Relation Mapping - Dr. Samir Kumar Bhandari
71 Ge2 Set Relation Mapping - Dr. Samir Kumar Bhandari
71 Ge2 Set Relation Mapping - Dr. Samir Kumar Bhandari
&
MAPPING
SET
• Definition:
A set is a well-defined collection of distinct objects.
• Example:
Let us consider the following collections of objects:
I. The natural numbers.
II. The trees in a garden.
III. The men in a town.
A B
A B {x : x A x B}
PRODUCT OR INTERSECTION
A B {x : x A x B}
DISJOINT OF SETS
A B
DIFFERENCE OF SETS
A B {x : x A x B} B A {x : x B x A}
COMPLEMENT OF A SET
U A A A {x : x A x U }
c
SYMMETRIC DIFFERENCE
A B
B A
PARTITION OF A SET
X A B C D E F
Cartesian Product
The cartesian product of two non-empty
Sets X and Y, denoted by X Y , is the set
{( x, y ) : x X , y Y } .
Example:
Let X={1,2} and Y={3,4} then X Y {(1,3),(1,4),(2,3),(2,4)}
Similarly Y X {(3,1),(3,2),(4,1),(4,2)}
The idea of the cartesian product of sets may
Be extended to any finite number of non-
Empty sets. For any sets X 1 , X 2 ,....., X n ;
n
X 1 X 2 ..... X n X i {( x1 , x2 ,....., xn ) : xi X i , i 1, 2,...., n}
i 1
RELATION
EXAMPLE
Let L be a set of lines in a plane. R be a relation on the
set L. R={(a, b): a || b i.e. ‘a’ line is parallel to ‘b’ line on
the set L} . Here R is an equivalence relation on L i.e.,
It is reflexive, symmetric and transitive relation on L.
F U N DA M E N T A L T H E O R E M O N A
R ELAT I O N
Statement:
An equivalence relation on a set S
determines a partition of S .
Conversely, each partition of S yields
an equivalence relation on S .
Mapping/Function
Definition:
Let A and B be two non-empty sets. A mapping
(function) f from A to B is a rule that assigns to each
Element x of A there is exactly one element y in B.
Symbolically we can write .
Let A={1,2,3} and B={1,4,9,5} be two sets. Here we
Define the product
A B {(1,1),(1, 4),(1,9),(1,5),(2,1),(2, 4),(2,9),(2,5),(3,1),(3, 4),(3,9),(3,5)}
We know that any kind subset of the Cartesian product
of two sets is a relation from A to B. Here we take two
Subsets R1 {(1,1), (2, 4), (3, 9)} and R2 {(1, 2), (2,5), (3,9)} ,
Both are the relations from A to B but the first relation
Is also a mapping and second relation is only a relation.
Injective Mapping
A mapping f:AB is said to be injective mapping
if for each pair of distinct elements of A,
their f-images are distinct.
Surjective Mapping
A mapping f:AB is said to be surjective
mapping if f(A)=B.
Bijective Mapping
A mapping f:AB is said to be bijective mapping
If f is both injective and surjective mapping.
Example of Mapping
We consider f: Z Z by defining f(x)=4x-5 for all x
belongs to Z. By the property of injective mapping we
can prove that it is injective.
Consider a map f: Z Z defining f(x)=|x| for all x
Belongs to Z. By the property of surjective mapping we
Can prove that it is surjective.
We consider f: R R by defining f(x)=4x-5 for all x
belongs to Z. By the property of bijective mapping we
can prove that it is bijective.
Some Well –known Functions with Graph
Signum function.
Dirichlet’s function.
Modulus function.
Greatest Integer function.
Monotonic function.
Periodic function.
Exponential function.
Logarithmic function.
Trigonometric function.
Signum & Dirichlet’s Function
The signum function f is defined by 1, x 0
f ( x ) 0, x 0
1, x 0
Monotonic
decreasing
Periodic Function
For any function f , a real number is called a period if whenever
x dom. f , then x also belongs to dom. f and f ( x) f ( x ) .
The well-known periodic functions are y sin x, y cos x having
Periods 0, 2 , 4 ,............. .
Exponential Function
An exponential function has the form y a x
. When a 0 , a 1
, y is defined for all x in ( , ) . If a 0 , we are to restrict the
domain (x should be of the form p/q with q odd).
Logarithmic Function
strictly increases in (, ) , hence inverse of y a
x
Since a x
( a 1)
exists. We call it Logarithmic function x log a y (0 y , x )
or, y log a x (0 x , y ) . When a e , the inverse
Function is called the natural logarithm of x, written as y log e x
log x ln x(0 x , x y ) . We have shown the graph of
y log x and its inverse e .
e
Trigonometric Function
The trigonometric (or circular )functions are
y sin x , y cos x , y tan x
and their reciprocals y cos ecx , y sec x , y cot x .
We shall always take the radian measure of the angle as the argument x .
This is a graph of cosx and secx.
This is a graph of tanx and cotx