Calculus – Is ‘Locally Linear’ an Appropriate Description of a Differentiable Function?

calculuseducation

In this answer on meta, Pete L. Clark said:

I think the question concerns the idea that a differentiable curve becomes more and more like a straight line segment the closer one zooms in on its graph. (And I must say that I regard part of this confusion as an artifact of badly written recent calculus books who describe this phenomenon as "local linearity". Ugh!)

So, what's wrong with calling it "local linearity"? (Examples of the specific language from some relatively recent books follow.)


From Finney, Demana, Waits, and Kennedy's Calculus: Graphical, Numerical, Algebraic, 1st ed, p107:

A good way to think of differentiable functions is that they are locally linear; that is, a function that is differentiable at a closely resembles its own tangent line very close to a.


From Hughes-Hallett, Gleason, et al's Calculus: Single Variable, 2nd ed, pp138-9:

When we zoom in on the graph of a differentiable function, it looks like a straight line. In fact, the graph is not exactly a straight line when we zoom in; however, its deviation from straightness is so small that it can't be detected by the naked eye.

Following that, there is discussion of the tangent line approximation, then a theorem titled "Differentiability and Local Linearity" (the first time "local linearity"/"locally linear" appears) stating that if a function f is differentiable at a, then the limit as x goes to a of the quotient of the error in the tangent line approximation and the difference between x and a goes to 0.


Ostebee and Zorn's Calculus from Graphical, Numerical, and Symbolic Points of View, 1st ed, p110:

Remarkably, the just-illustrated strategy of zooming in to estimate slope almost always works. Zooming in on the graph of almost any calculus function $f$, at almost any point $(a,f(a))$, eventually produces what looks like a straight line with slope $f'(a)$. A function with this property is sometimes called locally linear (or locally straight) at $x=a$. [Margin note: These aren't formal definitions, just descriptive phrases.] Local linearity says, in effect, that $f$ "looks like a line" near $x=a$ and therefore has a well-defined slope at $x=a$.


(I did not find the term "local linearity" or "locally linear" at a quick glance in Stewart's Calculus: Concepts and Contexts, 2nd ed, or Leithold's The Calculus 7; the rest of the calculus books I have on hand predate the inclusion of graphing calculators/software in textbooks, so are not suitable for comparison.)

Best Answer

None of the books you quoted actually called differentiability "local linearity"; they just used as a good analogy. It is a good analogy, but it is not a good definition. A lot of mathematical terminology, especially from topology, uses the word "local," but it is almost always used with the same purpose. A locally compact set is one where points have arbitrarily small compact neighborhoods. A locally connected set is one where points have arbitrarily small connected neighborhoods. On the other hand, a non-linear differentiable function is not linear on any neighborhood of a point about which it is differentiable. It just looks linear.

Of course, such functions do have tangent lines, which is an equivalent definition of differentiability. I don't think that a tangent counts as local linearity, though.

If you're asking whether people learning calculus should be taught the words "local linearity" instead of "differentiability," I mean, that isn't really much more helpful than using the analogy but keeping the terminology. If you're asking whether we should use the analogy at all, I don't see why not, as long as it's clear that linearity is just an approximation.

EDIT: "Locally linear" only describes differentiable functions $\mathbb{R}\rightarrow\mathbb{R}$. "Differentiable" can be extended to functions between arbitrary differential manifolds. I think it's better to keep the extensible definition.

Related Question