While studying mathematics you may have noticed that functions are widely used in nearly every subject. In a matter of fact, they are one of the most basic and fundamental objects in mathematics, so in this article, we will learn about functions, their definition, and their properties.
What is a function
We call a function a given relation between elements of two sets, in a way that each element of the first set is associated with one and only one element of the second set. For example, from the set of Natural Number to the set Natural Numbers
, or from the set of Integers
to the set of Real Numbers
.
The first set is called the Domain, it is usually denoted by and its elements by
, and the second set is called the codomain noted
and its elements
. A function is usually denoted by a letter like:
,
, or
…etc.
If we take an example of a function called , and
is a relation between the elements
of the set
and elements
of the set
.
is denoted by
and it reads:
of
equal
. The element
here is called the argument or the input of the function
, and we call the element
the value of the function or the image of
by
or the output of
.
For example, we note:
Evaluating a function for a value of
is simply the procedure of replacing
by its given value and calculate the output or the value of
.
Graphical representation
A useful way to see the behavior of the function on its domain of definition is by drawing it graphicly on a plan with two axes on for the values of noted
-axis and one for the
or
noted
-axis. A function
is represented by all the pairs
on a plane generating the Graph of the function
.
The domain of definition
As we said before, the domain of definition is the set of the possible argument (or inputs) of the function, and every element of this set has exactly one image on the codomain. For better understanding let’s see some examples of functions and their domain of definition!
Example: determine the domain of the following functions:
For , we can calculate the value of
for every real number
except for
, because we cannot divide by
i.e.,
, so the domain is all the real numbers except
meaning
we can also note
.
Let’s take a look at the graph of F:
For the case of the second function, to determine the domain of definition of we need to determine and exclude the values of
that make:
- the denominator equal to zero, because we cannot divide by
.
- the square root of
less than zero, because we can’t evaluate the square root of a negative number (In the space of Real Numbers
).
In other terms, we can evaluate the value of for every real number except for the ones that make the denominator less or equal to
.
So, for the denominator to be equal to , the expression
has to be equal to
, We have:
So, the value doesn’t belong in the domain of definition
.
For the square root to be less than zero, we evaluate the expression , we have then:
Therefore, the values don’t belong in the domain of definition
.
So, by combining (the union) the two previous results, we get the excluded values are: .
We conclude that the domain of definition of is
.
(We can also take the opposite direction and instead of looking for the values to exclude we look for the possible values of , meaning the value of
that make
).
Here is the graphical representation of :
For the third function , we notice that it is in the form of a fraction, so, we need to make sure that the denominator is not equal to zero and exclude the values of
for which it does. In this case, we have the denominator is a polynomial of the second degree, so we need to determine its roots, the denominator
is a remarkable identity (subtraction of two squares), meaning it may be written in the factorial form
. Now to determine the roots of the denominator all we need to do is to solve the equation:
and we have then: or
, these two values of
are excluded from the domain of definition
.
Therefore, the Domain of definition of is:
.
Let’s see the graph of :
The domain of values (or codomain)
Definition: The codomain or the set of destination of a function is the set containing all the output or image of
i.e. the set containing all
for all
in the domain. In other terms, the codomain of a function
is the set of all possible outputs of
.
Note that the codomain can be bigger, smaller, or entirely different from the domain.
For example, A function can have its domain as Natural numbers , and the codomain as the odd natural numbers; Or it can have its domain as the natural numbers
and the codomain as negative integers
; Or having the domain as the set of real numbers
and the same for the codomain.
Let’s take look at an interesting example:
Is the Square root a function? If we take as the square root of a positive real number
, so we have
or
, meaning the
is defined as follows
then is not a function, because as we mentioned at the beginning every element of the domain set must have one and only one image in the codomain, but in this case, each element of the domain has two images one positive and one negative, and therefore
is not a function. This can be fixed by limiting the codomain to only positive real numbers!
Also keep in mind, the Radical sign which we use when calculating the root square of a number always means the positive square root, that’s why
is a function and always givesa positive real numbers as an output.
Here is a graphical representation:
Note that the codomain may contain elements that are not images of any element of the domain, in other terms an element in the codomain doesn’t necessarily mean that there is an element
in the domain that if we take
as input, we will get
as an output. For better understanding let’s take an example: If we take
as follow:
We have here the domain of is the set of real numbers
, and the codomain is the set of real numbers
. but the image of
by
(or the inputs) is not all
, it is a sub-set of the codomain
. In a matter of fact, The image of
by
is
and this is what we call the Range of
, Therefore the image of every element in the domain is contained in the codomain, but not necessarily the opposite.
For more clarification let’s take a look at the graph of and see its range.
Notice that the graph doesn’t go beyond on the
-axis which means the range of
is
and the range is a sub-set of the codomain
since we have:
.
Even and odd functions
Even function
Definition: a function is called an even function, if and only if it verifies the following property:
Or equivalently
Note that first, the function must have and
as elements of its domain which means the domain must be symmetrical in the first place.
Graphicly speaking, the graph of an even function is symmetrical with respect to the -axis.
Let’s take a look at some examples of even functions with their respective graphs:
The absolute value:
The cosine:
The function:
Odd function
Definition: a function is an odd function if and only if it verifies the following:
Or equivalently
Note that first, the function must have and
as elements of its domain which means the domain must be symmetrical in the first place.
Graphically speaking, the graph of an odd function is symmetrical about the origin .
Let’s take a look at some examples of odd functions and their respective graphs:
The identity:
The sine:
The function:
Some properties of Even and odd functions
- The absolute value of an odd function is an even one (the most obvious example, the identity function
is odd and the absolute value of it
is even).
- The summation of two odd functions is an odd one.
- The summation of two even functions is an even one.
- The subtraction of two odd functions is an odd one.
- The subtraction of two even functions is an even one.
- The multiplication of two even functions is an even one.
- The multiplication of two odd functions is an even one.
- The multiplication of an odd function with an even function is an odd one.
- The division of two even functions is an even one.
- The division of two odd functions is an even one.
- The division of an even function and an odd function is an odd one.
You want to try out these properties! Check out the window below and see the results of the summation, subtraction, multiplication, or division of even and odd functions. Check the operation you want to display (one or multiple), and watch the respective graphs. Have fun!!!!!
Periodic functions
We call a periodic function a function that its values (outputs) repeat regularly.
Definition:
A function is called periodic with a period
different than
, if and only if for any
,
, and
of its domain, it verifies the following:
Where is called the period.
Graphicly speaking, a periodic function has a part of its graph repeats regularly.
Let’s take a look at some examples of periodic functions and their respective graphs.
The sine:
The cosine:
The tangent:
Some properties of periodicity
- If
is periodic with a period
, then
, where
, is also a period for
.
- To graph a periodic function with a period
, all we need to do is to graph an interval of length
, and then duplicate it at both ends left and right, or in other terms shift the graphed section along the
-axis at a distance
(
) left and right.
- If
is periodic with a period
, then for all
in the domain of definition of
, and for all natural number
we have:
.
- If
is periodic with a period
, then
,
, and
are periodic with period
, where
is a real number diffrent than
.
Conclusion
In this article we learned a little bit about functions and some of their properties and characteristics, this may be considered as an introduction to how to study a function and detect its properties which will help for better understanding of its behavior, but keep in mind this is just an introduction and there is a lot more to learn! isn’t that amazing! So who is eager for another post to learn more about functions!!!!!
Are you looking for another interesting article! Take a look at how to solve polynomial functions of first, second, and third degree. Enjoy!!!