2
$\begingroup$

Following the usual definition of length of a curve, the curve have to be rectifiable to have finite length. However for example the curve

$ \gamma \colon [0,1] \to \mathbb{R}, t \to t \cos^2(\pi/t) $

is not rectifiable. However I would say it makes perfectly sense to say it has length $1$.

So my question is, if there is a more general definition of length of a curve such that my example above has length $1$ (however such that for example the graph of the function $\gamma$ above has infinite length).

$\endgroup$
  • 2
    $\begingroup$ Why would you say that? $\endgroup$ – Qiaochu Yuan Apr 29 '11 at 10:01
  • $\begingroup$ Since it is just a parametrization of the interval [0,1] $\endgroup$ – student Apr 29 '11 at 10:07
  • 4
    $\begingroup$ Check out the following rectifiable parametrizations: $\gamma \colon [0,1] \to \mathbb{R}, t \to a\cdot t$. Do they all have length $1$ ? $\endgroup$ – Raskolnikov Apr 29 '11 at 10:21
  • $\begingroup$ @Raskolnikov, They have length $|a|$, however (suppose $a > 0$) it is $\gamma([0,1]) = [0,a]$. So length $a$ makes sense. $\endgroup$ – student Apr 29 '11 at 10:38
  • 2
    $\begingroup$ @user3445: but in this example Raskolinikov is measuring the length of the range, whereas in yours you are measuring the length of the domain. The domain has length 1. That was the point of his question. $\endgroup$ – Ross Millikan Apr 29 '11 at 13:02
7
$\begingroup$

The length of a curve is one of the simplest examples of a geometric quantity, that is, something which is invariant under reparametrisations. You can (and should) check that the usual notion of length is invariant under reparametrisations.

Your idea of length is certainly not invariant under reparametrisations, and so intuitively it is rejected as unnatural.

$\endgroup$
  • 6
    $\begingroup$ "something which is invariant under reparametrisations." - can't be emphasized enough. +1. $\endgroup$ – J. M. is a poor mathematician Apr 29 '11 at 11:07
2
$\begingroup$

You have to distinguish between the ${\it curve}$, i.e., an equivalence class of maps $f:\ [0,1]\to {\mathbb R}^n$, and its "trace", i.e., the ${\it set}$ $f\bigl([0,1]\bigr)\subset{\mathbb R}^n$. If you declare your curve $\gamma$ to have length $1$ you would have to assign a twice surrounded circle the length $2\pi$. In this example the length of the "trace" is indeed still $2\pi$, but the length of the actual curve is $4\pi$.

$\endgroup$
  • $\begingroup$ Ok. How would one define the length of the trace $\Gamma$? May I say: if there is an injective, regular map $f\colon [0,1] \to \mathbb{R}^n$ such that $f([0,1]) = \Gamma$ the length of $\gamma$ is defined as the length of the curve $f$? $\endgroup$ – student Apr 29 '11 at 16:16

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.