Local Linearity - Differentiability and Continuity

Differentiability and Continuity

If ƒ is differentiable at a point x₀, then ƒ must also be continuous at x₀. In particular, any differentiable function must be continuous at every point in its domain. The converse does not hold: a continuous function need not be differentiable. For example, a function with a bend, cusp, or vertical tangent may be continuous, but fails to be differentiable at the location of the anomaly.

Most functions which occur in practice have derivatives at all points or at almost every point. However, a result of Stefan Banach states that the set of functions which have a derivative at some point is a meager set in the space of all continuous functions. Informally, this means that differentiable functions are very atypical among continuous functions. The first known example of a function that is continuous everywhere but differentiable nowhere is the Weierstrass function.