Try our Free Online Math Solver!

FUNCTIONS
9.1 The definition of a Function
1. a function f from A to B, written as f . A > B, is a relation from A to B, such that
such that f(a) = b.
The above definition means that for every a there is a b such that a gets
mapped to
b by f, and it also means that a cannot be mapped to two different bvalues.
2. note that not all the relations are functions. Only the ones that satisfy
the above
definition. However, every function is a relation.
3. The set A is called the domain, set B is the codomain, every element of b
∈B for
which f(a) = b is called the image of a. Note that not all the elements of B are
images of elements of A, but these that are images will form the range of f.
That is
ran
4. two functions f and g are equal, written as f = g iff they have the same
domain and
codomain, and
9.2 The Set of All Function from A to B
1. we define the set of all possible functions from A to B to be
2. the number of such functions is
3. if B = {0, 1}, then we denote
9.3 OnetoOne and Onto Functions
1. we say that f is a onetoone or injective function if
2. in practice, most times it is easier to use the contrapositive of the statement above.
3. we say that f is a onto or surjective function if
such that f(a) = b.
That is, every element of the codomain is the image of some element of the
domain,
i.e. every element of the codomain has a pre image.
9.4 OnetoOne Correspondence, or Bijective Functions
1. we say that f is a onetoone correspondence or bijective function if f is
both oneto
one and onto.
2. the identity function by definition, is the function whose output equals
the input, i.e.
f(x) = x,
in the domain. The notation we will use for the identity function is
3. a function f . A > B is defined, if
whenever a ∈A, then f(a) ∈B (i.e. B must be sufficiently large to contain
all
the images of the elements of the domain)
whenever f(a) = b and also f(a) = b0, then it must be the case that b = b',
where
This is the same as saying that each element of the domain has
a single image (i.e, if there are two images b and b' of the same element a,
then
the two images must equal.) This condition alone is referred to as welldefined.
4. skip Result 9.6 as we have not talked about Z_{n}.
9.5 Composition of Functions
1. given two functions f and g,
f . A > B and g . A > B, we define the sum of f and g ,
denoted by f + g, to
be the function (f + g)(x) . A > B, by (f + g)(x) = f(x) + (g(x).
f . A > B and g . A > B, we define the di erence of f and g, denoted by f g,
to be the function (f  g)(x) . A > B, by (f  g)(x) = f(x)  (g(x).
g . A > B and f . B > C, we define the composition of g and f, denoted by
, to be the function
. A > C, by
2. note that composition of functions is not commutative,
i.e. , yet the sum
is. The difference is not commutative either.
3. composition of onetoone functions is not always
onetoone. Similarly, for onto. See
Thm 9.7.
4. composition of bijective functions is always bijective (Cor 9.8).
5. composition of functions is associative (Thm 9.9.),
i.e. in composing more than two
functions, the order the composition is computer doesn't matter.
9.6 Inverse Functions
skip this section. I will mention it brie y.
9.7 Permutations
skip this section. I will mention it brie y.
Prev  Next 