Background
One of my friends told me the following story: A child must walk from his home at point A = (1,0) to his school at point B = (0,1). The laws in his country state that you can only walk parallel to the horizontal and vertical axis. No matter how he tries to get to school, he finds that he must walk at least 2 miles. He is very frustrated that he cannot walk diagonally. He doesn't want to get in trouble, so he puts up with this silly law until his senior year of high school. At this point he takes calculus, and learns about limits, and so he decides that each day he will walk a new "zig-zag" path around the line, in such a way that his sequence of paths approaches the line from A to B uniformly. On the 30th day he is pulled over by a policeman for walking diagonally.
The point of the story is to get you to think about the notion of the length of a curve. Here we have an instance of a sequence of polygonal paths which approach a curve uniformly, but the lengths of the polygonal approximations do not converge to the length of the curve.
Our usual definition of the arclength of a curve involves approximating it with polygonal secant segments. My question is why this is the "best" definition. Or to make this precise, how do we know that any other sequence of polygonal approximations to the curve will not have a shorter limit? EDIT: In the case of a straight line, this is clear, but my precise question below is about answering this for more general curves.
Precise Question:
Let $C:[0,1] \to \mathbb{R}^n$ be a rectifiable curve (or feel free to add as many smoothness requirements as you like), and let $P_n: [0,1] \to \mathbb{R}^n$ be a sequence of piecewise linear curves which converge uniformly to $C$. Is it true that limsup{Length($P_n$)} $\geq$ Arclength(C)? EDIT I goofed: I meant to ask whether or not liminf{Length($P_n$)} $\geq$ Arclength(C).
Hopefully this question is not too elementary; my analysis skills are almost pitifully weak. I strongly suspect that the answer to this precise question is "Yes", because otherwise I think that the usual definition of arc length is incorrect. I have enough faith in mathematics to believe that we have found the right definition, but I would still like to see a proof of this fact.
Best Answer
Yes it is true and quite elementary too. The definition of arclength you gave is also known as the (classical) total variation, and you can define it for any curve $\gamma:[a,b]\to M$ in any metric space $(M,d)$ as $\mathrm{V}(\gamma,[a,b]):=\sup_P \mathrm{V}(\gamma, P)$ where the supremum is taken over all subdivisions à la Riemann $P:=\{a=t_0 < t_1 < \dots < t_n=b\}$ of the interval $[a,b],$ and where we denote $\mathrm{V}(\gamma, P):=\sum_{i=0}^{n-1}d\left(\gamma(t_{i+1}),\gamma(t_i)\right),$ the variation w.r.to $P$. Clearly, for any $P$, the variation wrto $P$ is a continuous functional on curves, even wrto point-wise convergence. The total variation over $[a,b]$ is a supremum of continuous functionals, and as such, what one can say is: it is (sequentially) upper semicontinuous, that is, the inequality you wrote holds for any sequence $\gamma_n$ point-wise convergent to $\gamma$ : $$\limsup_{n\to\infty}V(\gamma_n,[a,b])\geq V(\gamma, [a,b]).$$
(just because for all $P$ we have $\limsup_{n\to\infty}V(\gamma_n,[a,b])\geq \limsup_{n\to\infty}V(\gamma_n,P)= V(\gamma, P)$: so we have it taking the $\sup_P$ over all $P$.).
Rmk. The relevance of the notion of upper semi-continuity is linked to existence results for minima. For instance, it is true that in any compact metric space, if two points are joined by a curve of finite length, then there is also a curve of minimal length connecting them. It's a consequence of the Ascoli-Arzelà compactness theorem.