$\newenvironment {prompt}{}{} \newcommand {\ungraded }[0]{} \newcommand {\todo }[0]{} \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 {\tkzTabSlope }[1]{\foreach \x /\y /\z in {#1}{\node [left = 3pt] at (Z\x 1) {\scriptsize \y }; \node [right = 3pt] at (Z\x 1) {\scriptsize \z }; }} \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 {\ddt }[0]{\frac {d}{\d t}} \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 {\proj }{\vec {proj}} \DeclareMathOperator {\scal }{scal} \DeclareMathOperator {\sign }{sign} \newcommand {\arrowvec }[0]{\overrightarrow } \newcommand {\vec }[0]{\mathbf } \newcommand {\veci }[0]{{\boldsymbol {\hat {\imath }}}} \newcommand {\vecj }[0]{{\boldsymbol {\hat {\jmath }}}} \newcommand {\veck }[0]{{\boldsymbol {\hat {k}}}} \newcommand {\vecl }[0]{\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 }$

Here we study the derivative of a function, as a function, in its own right.

### The derivative of a function, as a function

First, we have to find an alternate definition for $f'(a)$, the derivative of a function $f$ at $a$.

Let’s start with the average rate of change of the function $f$ as the input changes from $a$ to $x$. We will introduce a new variable, $h$, to denote the difference between $x$ and $a$. That is $x-a=h$ or $x=a+h$. Take a look at the figure below.

Now we can write What happens if $h\to 0$? In other words, what is the meaning of the limit Obviously, this limit represents $f'(a)$, the instantaneous rate of change of $f$ at $a$! Therefore, we have an alternate way of writing the definition of the derivative at the point $a$, namely

This alternate definition of the derivative of $f$ at $a$, namely,

(provided that the limit exists), allows us to define $f'(x)$ for any value of $x$,

(provided that the limit exists).

And this is how we define a new function, $f'$, the derivative of $f$. The domain of $f'$ consists of all points in the domain of $f$ where the function $f$ is differentiable. $f'(x)$ gives us the instantaneous rate of change of $f$ at any point $x$ in the domain of $f'$.
Given a function $f$ from some set of real numbers to the real numbers, the derivative $f'$ is also a function from some set of real numbers to the real numbers. Understanding the relationship between the functions $f$ and $f'$ helps us understand any situation (real or imagined) involving changing values.

Is it true that for any function $f$ the domain of $f'$ is equal to the domain of $f$?
yes no
Can two different functions, say, $f$ and $g$, have the same derivative?
yes no

Let’s compare the graphs of $f$ and $f'$ for the derivatives we’ve computed so far:

For each of the three pairs of functions, describe $y=f(x)$ when $f'$ is positive, and when $f'$ is negative.

When $f'$ is positive, $y=f(x)$ is positiveincreasingnegativedecreasing . When $f'$ is negative, $y=f(x)$ is positiveincreasingnegativedecreasing

Here we see the graph of $f'$, the derivative of some function $f$.

Which of the following graphs could be $y = f(x)$?