Math and science::Analysis::Tao::10: Differentiation of functions
Differentiability at a point, definition
Differentiability at a point
Let be a subset of , and let be an element of
that is also a limit point of . Let
be a function. Then, if the following limit:
[...]
converges to some then we say that is differentiable at
on with derivative . We write: .
If is not an element of or is not a limit point of ,
or the limit does not converge, we leave undefined and we say that
is not differentiable at on .
We need to be a limit point (not isolated) in order for it to
be adherent to and in turn for the above limit to be
defined. Thus, functions do not have a derivative defined at isolated points.