Definition:Differentiable Mapping/Real Function

At a Point
Let $f$ be a real function defined on an open interval $I$.

Let $\xi \in I$ be a point in $I$.

Then $f$ is differentiable at the point $\xi$ iff the limit:
 * $\displaystyle \lim_{x \to \xi} \frac {f \left({x}\right) - f \left({\xi}\right)} {x - \xi}$

exists.

This limit, if it exists, is called the derivative of $f$ at $\xi$.

On an Open Interval
Let $f$ be a real function defined on an open interval $I$.

Let $f$ be differentiable at each point of $I$.

Then $f$ is differentiable on $I$.

On a Closed Interval
Let $f$ be differentiable on $I=(a..b)$ as defined above.

If the following limit from the right exists:


 * $\displaystyle \lim_{x \to a^+} \frac {f \left({x}\right) - f \left({a}\right)} {x - a}$

as well as this limit from the left:
 * $\displaystyle \lim_{x \to b^-} \frac {f \left({x}\right) - f \left({b}\right)} {x - b}$

then $f$ is differentiable on the closed interval $[a..b]$.

On the Real Number Line
In the definition of differentiable on an interval let that interval be the real number line $\R$.

Let $f$ be differentiable at each point of $\R$.

Then $f$ is differentiable everywhere (on $\R$).