deepdream of
          a sidewalk
Show Answer
Math and science::Analysis::Tao::10: Differentiation of functions

Differentiability at a point, definition

Differentiability at a point

Let X be a subset of R, and let x0X be an element of X that is also a limit point of X. Let f:XR be a function. Then, if the following limit:

[...]

converges to some L then we say that f is differentiable at x0 on X with derivative L. We write: f(x0):=L.

If x0 is not an element of X or is not a limit point of X, or the limit does not converge, we leave f(x0) undefined and we say that f is not differentiable at x0 on X.

We need x0 to be a limit point (not isolated) in order for it to be adherent to X{x0} and in turn for the above limit to be defined. Thus, functions do not have a derivative defined at isolated points.