#### Chapter 6 Elementary Functions

Section 6.1 Basics of Functions

# 6.1.4 Invertability

The visualisation of a function, as for example

$f:\mathrm{ }\left\{\begin{array}{ccc}\hfill ℝ& \hfill \to \hfill & ℝ\hfill \\ \hfill x& \hfill ⟼\hfill & {x}^{2} ,\hfill \end{array}$

in form of a so-called Venn diagram (see Section 6.1.2)

is in fact useful to understand what a function really is, but it says nothing about the special properties of the function. For this purpose, another kind of graphical representation exists, namely the representation as the graph of the function. For this representation, we draw a two-dimensional coordinate system (see Module 9) in which the numbers of the domain of the function are indicated on the horizontal axis and the numbers from the range are indicated on the vertical axis. In such a coordinate system we mark all points $\left(x|f\left(x\right)\right)$ arising by the assignment of the function $x⟼f\left(x\right)$. In this case, these are all points $\left(x|{x}^{2}\right)$, i.e. $\left(1|1\right)$, $\left(-1|1\right)$, $\left(-\frac{\pi }{2}|\frac{{\pi }^{2}}{4}\right)$, etc. This results in a curve that is called graph of $f$ and that is denoted by the symbol ${G}_{f}$:

If we consider the function

$f:\mathrm{ }\left\{\begin{array}{ccc}\hfill ℕ& \hfill \to \hfill & ℚ\hfill \\ \hfill n& \hfill ⟼\hfill & \frac{n}{2}\hfill \end{array}$

from Section 6.1.2 and its graph

then we see that graphs not always have to be continuous curves, but also can consist, as in this case, only of single points.
Now, from the graph we can see many basic properties of the function. Recall the function

$\phi :\mathrm{ }\left\{\begin{array}{ccc}\hfill \left(0;1\right)& \hfill \to \hfill & ℝ\hfill \\ \hfill y& \hfill ⟼\hfill & 3y+1\hfill \end{array}$

with domain ${D}_{\phi }=\left(0;1\right)$ and range ${W}_{\phi }=\left(1;4\right)$ from Section 6.1.2. If we draw its graph, then we see that the domain and the range appear on the horizontal and on the vertical axes, respectively:

##### Exercise 6.1.14
Consider again the graph of the function

$f:\mathrm{ }\left\{\begin{array}{ccc}\hfill ℝ& \hfill \to \hfill & ℝ\hfill \\ \hfill x& \hfill ⟼\hfill & {x}^{2} ,\hfill \end{array}$

indicate domain and range on the the horizontal axis and vertical axes and label them.

Furthermore, the property of uniqueness of functions can be seen from the graph. To convince ourselves of this, we realise that a curve as shown in the figure below

cannot be a graph of a function. For a single $x$-value in the domain, several values ${y}_{1},{y}_{2},{y}_{3}$ had to exist in the range. Graphs of functions indicate the uniqueness by the fact that they "cannot reverse in the horizontal direction".
Another important property of a graph is its growing behaviour. Let us consider the function

$f:\mathrm{ }\left\{\begin{array}{ccc}\hfill ℝ& \hfill \to \hfill & ℝ\hfill \\ \hfill x& \hfill ⟼\hfill & {x}^{2}\hfill \end{array}$

and its graph.

On the horizontal axis in this graph we see two regions in which the growing behaviour of the graph is different. In the region of $x$-values with $x\in \left(-\infty ;0\right)$ the graph falls, i.e. if the $x$ values increase, then the corresponding function values on the vertical axis decrease. In the region of $x$-values with $x\in \left(0;\infty \right)$ we observe the contrary behaviour. For increasing $x$-values the corresponding function values also increase: the graph rises. At the $x$-value $0\in ℝ$ the region of decreasing growing behaviour merges into the region of increasing growing behaviour. Such values will be of particular importance for the study of vertices in Section 6.2.7 and for the determination of extreme values in Module 7.
These two properties are referred to as strictly decreasing and strictly increasing, respectively, and they are defined mathematically as follows:
##### Info 6.1.15

• If for ${x}_{1}<{x}_{2}$ in a subset of the domain of a function $f$ we always have $f\left({x}_{1}\right)>f\left({x}_{2}\right)$, the function $f$ is said to be strictly decreasing for every $x$ in this subset.

• If for ${x}_{1}<{x}_{2}$ in a subset of the domain of a function $f$ we always have $f\left({x}_{1}\right), the function $f$ is said to be strictly increasing for every $x$ in this subset.

This is true for all functions that will be investigated throughout this module. Often, the described monotonicity properties are only true for certain regions in the functions's domain, as we have seen for the case of the standard parabola. However functions also exist which only have one of the monotonicity properties for the entire domain (see Example 6.1.16 below). In this case the entire function is called strictly increasing or strictly decreasing. A function that is either strictly decreasing or strictly increasing is simply called strictly monotonic.
A further example shows how strict monotonicity can be checked explicitly for a function by solving inequalities from Module 3.
##### Example 6.1.16

Consider the function

$h:\mathrm{ }\left\{\begin{array}{ccc}\hfill ℝ& \hfill \to \hfill & ℝ\hfill \\ \hfill x& \hfill ⟼\hfill & -\frac{1}{2}x+1\hfill \end{array}.$

Determine whether the function $h$ is either strictly increasing or strictly decreasing.
First, we choose two arbitrary numbers ${x}_{1},{x}_{2}\in {D}_{h}=ℝ$ for which

${x}_{1}<{x}_{2} .$

By equivalent transformations of inequalities, we can transform ${x}_{1}<{x}_{2}$ either to $h\left({x}_{1}\right) or to $h\left({x}_{1}\right)>h\left({x}_{2}\right)$, and from this we can conclude that $h$ is strictly increasing or strictly decreasing. We apply the following equivalent transformations to the inequality ${x}_{1}<{x}_{2}$:

Furthermore, we add $+1$ to the mapping rule. Thus, we obtain

Since $h\left({x}_{1}\right)>h\left({x}_{2}\right)$, the function $h$ is strictly decreasing. This can also be seen from the graph of $h$:

##### Exercise 6.1.17
Use equivalent transformations to check explicitly that the function

$\eta :\mathrm{ }\left\{\begin{array}{ccc}\hfill ℝ& \hfill \to \hfill & ℝ\hfill \\ \hfill x& \hfill ⟼\hfill & 2x+2\hfill \end{array}$

is strictly increasing.