4
$\begingroup$

Any curve can be considered to be made of sufficiently small straight lines. What is the name of the theorem which states this fact?

Thank you.

I asked the same question at Hacker News.

[Edit: in the Hacker News question, the OP included the following link, which I think clarifies his/her intent:

http://musr.physics.ubc.ca/~jess/hr/skept/Math/node10.html

--PLC.]

  • 0
    It took so long with the closing and reopening, I don't even know if Zeynel is following this question now!2010-10-21

3 Answers 3

5

For many calculations that one might want to perform on a "reasonable" curve (e.g., one coordinatized by functions that are differentiable, or piecewise differentiable/smooth/analytic/nice), taking a finely spaced mesh of points on the curve and computing the result on the polygon joining those points, instead of the curve, will produce an answer close to the one for the curve. The smaller the spacing, the closer the result will be to the result for the curve.

Quantities approximable in this way include area enclosed by a curve, arc length, integrals of given functions along the curve, winding number around a point, splines, parametrizations, and others. Quantities not approximable in this way include curvature, which will be zero on the sides of any polygon used as a substitute for the curve, and integer-valued "global" quantities such as number of tangent lines.

3

"Calculus is the acknowledgment that anything but a linear function is far too complicated for us to handle. Differentiation provides the techniques to tame functions by making them locally linear, and integration comprises the rules for sticking the local pieces together again." -- Alf van der Poorten, Notes on Fermat's Last Theorem (Lecture IX).

From this point of view, one might nominate the Fundamental Theorem of Calculus (to which van der Poorten is alluding) as an answer to this question.

  • 0
    @Matt E: Interesting. I had a slightly different interpretation of this quotation: it does not seem to refer to approximations by piecewise linear functions (which, after all, works well only in one dimension anyway--it fails for surfaces), but rather to the idea that an integral is "adding up" infinitesimals. Alternatively, we can take a more sophisticated view of "locally linear" as not being linear, but only guaranteeing an arbitrarily good approximation to linearity within sufficiently small neighborhoods (looking at the germs of functions, really).2010-10-06
1

Maybe what you need is the Stone-Weierstrass Theorem, which you can use to show (roughly) that a continuous function on a compact set can be approximated arbitrarily well by continuous piecewise-linear functions. The boolean ring version of the theorem is directly applicable here.

  • 0
    Lang is famous for the intentional or unintentional humor of his books, particularly in the exercises. The dense choreography is known as "soft analysis" (eg., continuity and compactness arguments) while the specific estimates about specific functions is known as "hard analysis" (here called *ad hoc proofs* !). If you look carefully at Lang's choreography you will see that the soft analysis consists largely of chasing quantifiers in the definition of continuity and compactness, and the only manipulation of min/max is to note that they can be replaced by absolute value.2010-10-06