A
function f:D->
R is said to be
differentiable at a point t in D if the
quotient function q defined by:
q(h) = (f(t+h)-f(t))/h
converges at 0. That is, for some
real number L,
for all e > 0 and all s in (-t)+D, i.e. {t-x | for all x in D}, 0 < |s| < d(e) implies |q(s)-L| < e.
L is then called the
derivative of f at t.
If f is differentiable at every point of D, f is said to be differentiable on D.