Skip to content

Mathematics · Ch 18 — Differentiation

Relationship Between Differentiability and Continuity

18.1.5

Relationship Between Differentiability and Continuity

Theorem. Every differentiable function is continuous.

Proof. Let f(x)f(x) be differentiable at x=ax=a, so

lim⁡h→0f(a+h)−f(a)h=f′(a)…(1)\lim_{h\to0}\dfrac{f(a+h)-f(a)}{h}=f'(a)\qquad\ldots(1)

The claim to prove is that ff is continuous at x=ax=a, i.e. lim⁡x→af(x)=f(a)\displaystyle\lim_{x\to a}f(x)=f(a); writing x=a+hx=a+h (so x→a  ⟺  h→0x\to a\iff h\to0), this is the same as showing lim⁡h→0f(a+h)=f(a)\displaystyle\lim_{h\to0}f(a+h)=f(a).

Multiply both sides of (1) by hh (legitimate since h→0h\to0 but h≠0h\ne0 throughout the limiting process):

lim⁡h→0[f(a+h)−f(a)]=lim⁡h→0[h⋅f(a+h)−f(a)h]=(lim⁡h→0h)⋅f′(a)=0⋅f′(a)=0\lim_{h\to0}\Big[f(a+h)-f(a)\Big]=\lim_{h\to0}\Big[h\cdot\dfrac{f(a+h)-f(a)}{h}\Big]=\Big(\lim_{h\to0}h\Big)\cdot f'(a)=0\cdot f'(a)=0

so lim⁡h→0f(a+h)=f(a)\displaystyle\lim_{h\to0}f(a+h)=f(a), which is precisely the statement that ff is continuous at x=ax=a. ■\blacksquare

The converse is false. A continuous function need not be differentiable — continuity is necessary but not sufficient for differentiability. This is shown by the standard example f(x)=∣x∣f(x)=|x| on RR, i.e. f(x)=−xf(x)=-x for x<0x<0 and f(x)=xf(x)=x for x≥0x\ge0.

Continuity at x=0x=0: lim⁡x→0−f(x)=lim⁡x→0−(−x)=0\displaystyle\lim_{x\to0^-}f(x)=\lim_{x\to0^-}(-x)=0 and lim⁡x→0+f(x)=lim⁡x→0+x=0\displaystyle\lim_{x\to0^+}f(x)=\lim_{x\to0^+}x=0; also f(0)=0f(0)=0. Since both one-sided limits equal f(0)f(0), ff is continuous at x=0x=0.

Differentiability at x=0x=0: the claim is that f′(0)f'(0) does not exist, i.e. Lf′(0)≠Rf′(0)Lf'(0)\ne Rf'(0).

Lf′(0)=lim⁡h→0−f(0+h)−f(0)h=lim⁡h→0−−h−0h=lim⁡h→0−(−1)=−1Lf'(0)=\lim_{h\to0^-}\dfrac{f(0+h)-f(0)}h=\lim_{h\to0^-}\dfrac{-h-0}h=\lim_{h\to0^-}(-1)=-1 …

Misc 1Counter-example: f(x) = |x| is continuous but not differentiable at x = 0

Worked out. The text proves the converse of the main theorem is false using f(x)=∣x∣f(x)=|x|, i.e. f(x)=−xf(x)=-x for x<0x<0 and f(x)=xf(x)=x for x≥0x\ge0. Both one-sided limits of f(x)f(x) as x→0x\to0 equal f(0)=0f(0)=0, so ff is continuous at x=0x=0. But the left-hand derivative Lf′(0)=lim⁡h→0−−h−0h=−1Lf'(0)=\lim_{h\to0^-}\frac{-h-0}{h}=-1 while the right-hand derivative Rf′(0)=lim⁡h→0+h−0h=1Rf'(0)=\lim_{h\to0^+}\frac{h-0}{h}=1; since −1≠1-1\ne1, f′(0)f'(0) does not exist. Geometrically the graph of ∣x∣|x| has a sharp corner (a 'kink') at the origin — it has no single well-defined tangent line there even though the curve itself …