For each input, exactly one output

$\newenvironment {prompt}{}{} \newcommand {\todo }[0]{} \newcommand {\oiint }[0]{{\large \bigcirc }\kern -1.56em\iint } \newcommand {\mooculus }[0]{\textsf {\textbf {MOOC}\textnormal {\textsf {ULUS}}}} \newcommand {\npnoround }[0]{\nprounddigits {-1}} \newcommand {\npnoroundexp }[0]{\nproundexpdigits {-1}} \newcommand {\npunitcommand }[1]{\ensuremath {\mathrm {#1}}} \newcommand {\RR }[0]{\mathbb R} \newcommand {\R }[0]{\mathbb R} \newcommand {\N }[0]{\mathbb N} \newcommand {\Z }[0]{\mathbb Z} \newcommand {\sagemath }[0]{\textsf {SageMath}} \newcommand {\d }[0]{\mathop {}\!d} \newcommand {\l }[0]{\ell } \newcommand {\ddx }[0]{\frac {d}{\d x}} \newcommand {\zeroOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {0}{0}}}} \newcommand {\inftyOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {\infty }{\infty }}}} \newcommand {\zeroOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {0}{\infty }}}} \newcommand {\zeroTimesInfty }[0]{\ensuremath {\small \boldsymbol {0\cdot \infty }}} \newcommand {\inftyMinusInfty }[0]{\ensuremath {\small \boldsymbol {\infty -\infty }}} \newcommand {\oneToInfty }[0]{\ensuremath {\boldsymbol {1^\infty }}} \newcommand {\zeroToZero }[0]{\ensuremath {\boldsymbol {0^0}}} \newcommand {\inftyToZero }[0]{\ensuremath {\boldsymbol {\infty ^0}}} \newcommand {\numOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {\#}{0}}}} \newcommand {\dfn }[0]{\textbf } \newcommand {\unit }[0]{\mathop {}\!\mathrm } \newcommand {\eval }[1]{\bigg [ #1 \bigg ]} \newcommand {\seq }[1]{\left ( #1 \right )} \newcommand {\epsilon }[0]{\varepsilon } \newcommand {\phi }[0]{\varphi } \newcommand {\iff }[0]{\Leftrightarrow } \DeclareMathOperator {\arccot }{arccot} \DeclareMathOperator {\arcsec }{arcsec} \DeclareMathOperator {\arccsc }{arccsc} \DeclareMathOperator {\si }{Si} \DeclareMathOperator {\scal }{scal} \DeclareMathOperator {\sign }{sign} \newcommand {\arrowvec }[1]{{\overset {\rightharpoonup }{#1}}} \newcommand {\vec }[1]{{\overset {\boldsymbol {\rightharpoonup }}{\mathbf {#1}}}} \DeclareMathOperator {\proj }{\vec {proj}} \newcommand {\veci }[0]{{\boldsymbol {\hat {\imath }}}} \newcommand {\vecj }[0]{{\boldsymbol {\hat {\jmath }}}} \newcommand {\veck }[0]{{\boldsymbol {\hat {k}}}} \newcommand {\vecl }[0]{\vec {\boldsymbol {\l }}} \newcommand {\uvec }[1]{\mathbf {\hat {#1}}} \newcommand {\utan }[0]{\mathbf {\hat {t}}} \newcommand {\unormal }[0]{\mathbf {\hat {n}}} \newcommand {\ubinormal }[0]{\mathbf {\hat {b}}} \newcommand {\dotp }[0]{\bullet } \newcommand {\cross }[0]{\boldsymbol \times } \newcommand {\grad }[0]{\boldsymbol \nabla } \newcommand {\divergence }[0]{\grad \dotp } \newcommand {\curl }[0]{\grad \cross } \newcommand {\lto }[0]{\mathop {\longrightarrow \,}\limits } \newcommand {\bar }[0]{\overline } \newcommand {\surfaceColor }[0]{violet} \newcommand {\surfaceColorTwo }[0]{redyellow} \newcommand {\sliceColor }[0]{greenyellow} \newcommand {\vector }[1]{\left \langle #1\right \rangle } \newcommand {\sectionOutcomes }[0]{} \newcommand {\HyperFirstAtBeginDocument }[0]{\AtBeginDocument } \newcommand {\epstopdfsetup }[0]{\setkeys {ETE}} changed the theorem header of amsthm failed\MessageBreak }}} \newcommand {\GetTitleStringSetup }[0]{\setkeys {gettitlestring}} \newcommand {\Sectionformat }[2]{#1}$

We define the concept of a function.

Life is complex. Part of this complexity stems from the fact that there are many relationships between seemingly unrelated events. Armed with mathematics, we seek to understand the world. Perhaps the most relevant “real-world” relation is

the position of an object with respect to time.

Our observations seem to indicate that every instant in time is associated to a unique positioning of the objects in the universe. You may have heard the saying,

you cannot be two places at the same time,

and it is this fact that motivates our definition for functions.

A function is a relation between sets where for each input, there is exactly one output.

If our function is the “position with respect to time” of some object, then the input is

position time none of the above

and the output is

position time none of the above

Something as simple as a dictionary could be thought of as a relation, as it connects words to definitions. However, a dictionary is not a function, as there are words with multiple definitions. On the other hand, if each word only had a single definition, then a dictionary would be a function.

Which of the following are functions?

Mapping words to their definition in a dictionary. Mapping the U.S. Government’s list of social security numbers of living people to actual living people. Mapping people to their birth date. Mapping mothers to their children.

Since words may have more than one definition, “relating words to their definition in a dictionary” is not a function.
Since every social security number corresponds exactly to one person, “relating social security numbers of living people to actual living people” is a function.
Since every person only has one birth date, “relating people to their birth date” is a function.
Since mothers can have more (or less) than one child, “relating mothers to their children” is not a function.

What we are hoping to convince you is that the following are true:

(a): The definition of a function is well-grounded in a real context.
(b): The definition of a function is flexible enough that it can be used to model a wide range of phenomena.

Whenever we talk about functions, we should explicitly state what type of things the inputs are and what type of things the outputs are. In calculus, functions often define a relation from (a subset of) the real numbers (denoted by $\RR$ ) to (a subset of) the real numbers.

We call the set of the inputs of a function the domain, and we call the set of the outputs of a function the range.

Consider the function $f$ that maps from the real numbers to the real numbers by taking a number and mapping it to its cube: $\begin{align*} 1 &\mapsto 1\\ -2 &\mapsto -8\\ 1.5 &\mapsto 3.375 \end{align*}$ and so on. This function can be described by the formula $f(x)=x^3$ or by the graph shown in the plot below:

A function is a relation (such that for each input, there is exactly one output) between sets. The formula and the graph are merely descriptions of this relation.

A formula describes the relation using symbols.
A graph describes the relation using pictures.

The function is the relation itself, and is independent of how it is described.

Our next example may be a function that is new to you. It is the greatest integer function.

Consider the greatest integer function. This function maps any real number $x$ to the greatest integer less than or equal to $x$ . People sometimes write this as $f(x) = \lfloor x\rfloor$ , where those funny symbols mean exactly the words above describing the function. For your viewing pleasure, here is a graph of the greatest integer function:

Observe that here we have multiple inputs that give the same output. This is not a problem! To be a function, we merely need to check that for each input, there is exactly one output, and this condition is satisfied.

Compute: $\lfloor 2.4 \rfloor \begin {prompt} =\answer {2} \end {prompt}$

Compute: $\lfloor -2.4 \rfloor \begin {prompt} =\answer {-3} \end {prompt}$

Notice that both the functions described above pass the so-called vertical line test.

The curve $y=f(x)$ represents $y$ as a function of $x$ at $x=a$ if and only if the vertical line $x=a$ intersects the curve $y=f(x)$ at exactly one point. This is called the vertical line test.

Sometimes the domain and range are the entire set of real numbers, denoted by $\RR$ . In our next examples we show that this is not always the case.

Consider the function that maps non-negative real numbers to their positive square root. This function can be described by the formula $f(x) = \sqrt {x}.$ The domain is $0\le x<\infty$ , which we prefer to write as $[0,\infty )$ in interval notation. The range is $[0,\infty )$ . Here is a graph of $y=f(x)$ :

To really tease out the difference between a function and its description, let’s consider an example of a function with two different descriptions.

Explain why $\sqrt {x^2} = |x|$ .

Although $\sqrt {x^2}$ may appear to simplify to just $x$ , let’s see what happens when we plug in some values. $\begin {aligned} \sqrt {3^2} &= \sqrt {9}\\ &=3, \end {aligned} \qquad \text {and}\qquad \begin {aligned} \sqrt {(-3)^2} &= \sqrt {9}\\ &=3. \end {aligned}$ Let $f(x)=\sqrt {x^2}$ . We see that for any negative $x$ , $x=-|x|$ , and, therefore, $f(x)=f(-|x|)=\sqrt {(-|x|)^2}=\sqrt {|x|^2}=\answer [given]{|x|}$ . Hence $\sqrt {x^2}\ne x$ . Rather we see that $\sqrt {x^2} = |x|$ . The domain of $f(x)=\sqrt {x^2}$ is $(-\infty ,\infty )$ and the range is $[0,\infty )$ . For your viewing pleasure we’ve included a graph of $y=f(x)$ :

Finally, we will consider a function whose domain is all real numbers except for a single point.

Are $f(x) = \frac {x^2 - 3x + 2}{x-2} = \frac {(x-2)(x-1)}{(x-2)}$ and $g(x) = x-1$ the same function?

Let’s use a series of steps to think about this question. First, what if we compare graphs? Here we see a graph of $f$ :

On the other hand, here is a graph of $g$ :

Second, what if we compare the domains? We cannot evaluate $f$ at $x=\answer [given]{2}$ . This is where $f$ is undefined. On the other hand, there is no value of $x$ where we cannot evaluate $g$ . In other words, the domain of $g$ is $(-\infty , \infty )$ .

Since these two functions do not have the same graph, and they do not have the same domain, they must not be the same function.

However, if we look at the two functions everywhere except at $x = 2$ , we can say that $f(x)=g(x)$ . In other words, $f(x)=x-1\qquad \text {when}\qquad \text {$x \ne 2$}.$ From this example we see that it is critical to consider the domain and range of a function.