Namespaces
Variants
Actions

Difference between revisions of "Rectifiable curve"

From Encyclopedia of Mathematics
Jump to: navigation, search
m
Line 16: Line 16:
 
L (\gamma) = \sup_{\pi\in\Pi}\,  s (\pi, \gamma)\, .
 
L (\gamma) = \sup_{\pi\in\Pi}\,  s (\pi, \gamma)\, .
 
\]
 
\]
The number $L (\gamma)$ is the [[Length|length]] of the curve and it is independent of the parametrization.  
+
The number $L (\gamma)$ is the [[Length|length]] of the curve and it is independent of the parametrization (cp. with Section 3.2 of {{Cite|Fa}} for the Euclidean case).  
  
 
===Euclidean setting===
 
===Euclidean setting===
Line 26: Line 26:
  
 
====Relation to Hausdorff measure and rectifiable sets====
 
====Relation to Hausdorff measure and rectifiable sets====
The images of rectifiable curves are primary examples of [[Rectifiable set|rectifiable sets]]. The following classical theorem characterizes the images of rectifiable curves.
+
The images of rectifiable curves are primary examples of [[Rectifiable set|rectifiable sets]]. The following classical theorem characterizes the images of rectifiable curves (cp. with Exercise 3.5 of {{Cite|Fa}}).
  
 
'''Theorem 1'''
 
'''Theorem 1'''
 
A set $E\subset \mathbb R^n$ is the image of a rectifiable curve if and only if it is compact, connected and it has finite [[Hausdorff measure|Hausdorff $1$-dimensional measure]] $\mathcal{H}^1$.  
 
A set $E\subset \mathbb R^n$ is the image of a rectifiable curve if and only if it is compact, connected and it has finite [[Hausdorff measure|Hausdorff $1$-dimensional measure]] $\mathcal{H}^1$.  
  
When the curve is not self-intersecting (i.e. its parametrizations are injective), the length of the curve is then the $\mathcal{H}^1$ measure of its image. More generally, in the presence of self-intersections $\mathcal{H}^1 (\gamma ([0,1]))$ and $L (\gamma)$ can be related to each other through the [[Area formula]].
+
When the curve is not self-intersecting (i.e. its parametrizations are injective), the length of the curve is then the $\mathcal{H}^1$ measure of its image (cp. with Lemma 3.2 of {{Cite|Fa}}). More generally, in the presence of self-intersections $\mathcal{H}^1 (\gamma ([0,1]))$ and $L (\gamma)$ can be related to each other through the [[Area formula]].
  
 
===Comments===
 
===Comments===
Line 39: Line 39:
 
{|
 
{|
 
|-
 
|-
|valign="top"|{{Ref|AGS}}|| L. Ambrosio, N. Gigli, G. Savaré, Gradient Flows: In Metric Spaces and in the Space of Probability Measures. Lectures in Mathematics ETH Zurich. Birkhäuser, 2005.
+
|valign="top"|{{Ref|AGS}}|| L. Ambrosio, N. Gigli, G. Savaré, Gradient Flows: In Metric Spaces and in the Space of Probability Measures. Lectures in Mathematics ETH Zurich. Birkhäuser, 2005. {{MR|2401600}} {{ZBL|090.35002}}
 
|-
 
|-
|valign="top"|{{Ref|Fa}}|| K. J.  Falconer, "The geometry of fractal sets". Cambridge Tracts in  Mathematics, 85. Cambridge University Press, Cambridge, 1986.
+
|valign="top"|{{Ref|Fa}}|| K. J.  Falconer, "The geometry of fractal sets". Cambridge Tracts in  Mathematics, 85. Cambridge University Press, Cambridge, 1986. {{MR|0867284}} {{ZBL|0587.28004}}
 
|-
 
|-
|valign="top"|{{Ref|Jo}}|| C. Jordan,  "Cours d'analyse" , Gauthier-Villars  (1883)
+
|valign="top"|{{Ref|Jo}}|| C. Jordan,  "Cours d'analyse" , Gauthier-Villars  (1883) {{ZBL|19.0252.01}} {{ZBL|24.0247.03}} {{ZBL|25.0452.02}}
 
|-
 
|-
 
|valign="top"|{{Ref|Sc}}||  L. Scheeffer,  "Allgemeine Untersuchungen über Rectification der Curven"  ''Acta Math.'' , '''5'''  (1885)  pp. 49–82
 
|valign="top"|{{Ref|Sc}}||  L. Scheeffer,  "Allgemeine Untersuchungen über Rectification der Curven"  ''Acta Math.'' , '''5'''  (1885)  pp. 49–82
 
|}
 
|}

Revision as of 17:16, 17 August 2012

2020 Mathematics Subject Classification: Primary: 53A04 Secondary: 53A35 [MSN][ZBL]

General definition

A rectifiable curve is a curve having finite length (cf. Line (curve)). More precisely, consider a metric space $(X, d)$ and a continuous function $\gamma: [0,1]\to X$. $\gamma$ is a parametrization of a rectifiable curve if there is an homeomorphism $\varphi: [0,1]\to [0,1]$ such that the map $\gamma\circ \varphi$ is Lipschtz. We can think of a curve as an equivalence class of continuous maps $\gamma:[0,1]\to X$, where two maps $\gamma$ and $\gamma'$ are equivalent if and only if there is an homeomorphism $\varphi$ of $[0,1]$ onto itself such that $\gamma'=\gamma\circ \varphi$. Each element of the equivalence class is a parametrization of the curve and thus a rectifiable curve is a curve which has a Lipschitz continuous parametrization.

Consider now the family $\Pi$ of finite ordered subsets of $[0,1]$, i.e. of points $0 \leq t_0< t_1<t_2<\ldots < t_N \leq 1$. Given a continuous $\gamma:[0,1]\to X$ and an element $\pi = \{t_0, \ldots, t_N\} \in \Pi$ consider the number \[ s (\pi, \gamma) = \sum_{i=1}^N d (\gamma (t_{i-1}), \gamma (t_i))\, . \] A continuous function $\gamma:[0,1]\to X$ parametrize a rectifiable curve if and only if the following number is finite \[ L (\gamma) = \sup_{\pi\in\Pi}\, s (\pi, \gamma)\, . \] The number $L (\gamma)$ is the length of the curve and it is independent of the parametrization (cp. with Section 3.2 of [Fa] for the Euclidean case).

Euclidean setting

A primary example are rectifiable curves in the euclidean space, where $X$ is given by $\mathbb R^n$ and the distance $d$ is the usual euclidean one: $d(x,y)=|x-y|$. In this case, if $\gamma$ is a Lipschitz parametrization, the length of $\gamma$ can be expressed through the usual integral formula \begin{equation}\label{e:lunghezza} L (\gamma) = \int_0^1 |\dot{\gamma} (t)|\, dt\, , \end{equation} where $\dot{\gamma} (t)$ is the derivative of $\gamma$ at $t$ (recall that, by Rademacher theorem the Lipschitz function $\gamma$ is differentiable at almost every $t$). The formula \eqref{e:lunghezza} can be suitably generalized to metric spaces introducing an appropriate notion of metric derivative (see [AGS]).

Relation to Hausdorff measure and rectifiable sets

The images of rectifiable curves are primary examples of rectifiable sets. The following classical theorem characterizes the images of rectifiable curves (cp. with Exercise 3.5 of [Fa]).

Theorem 1 A set $E\subset \mathbb R^n$ is the image of a rectifiable curve if and only if it is compact, connected and it has finite Hausdorff $1$-dimensional measure $\mathcal{H}^1$.

When the curve is not self-intersecting (i.e. its parametrizations are injective), the length of the curve is then the $\mathcal{H}^1$ measure of its image (cp. with Lemma 3.2 of [Fa]). More generally, in the presence of self-intersections $\mathcal{H}^1 (\gamma ([0,1]))$ and $L (\gamma)$ can be related to each other through the Area formula.

Comments

Since any compact interval is homeomorphic to $[0,1]$ in the definition above we could have taken a generic compact interval $[a,b]$. Other obvious variants of these definitions can be obtained using open intervals or $\mathbb S^1$ as domains for the parametrizations $\gamma$. In the latter case the resulting objects are called closed curves and closed rectifiable curves. Some authors use the names arc and rectifiable arc (resp. closed and open) when the domain of definition of the parametrization is an interval (resp. closed and open).

References

[AGS] L. Ambrosio, N. Gigli, G. Savaré, Gradient Flows: In Metric Spaces and in the Space of Probability Measures. Lectures in Mathematics ETH Zurich. Birkhäuser, 2005. MR2401600 Zbl 090.35002
[Fa] K. J. Falconer, "The geometry of fractal sets". Cambridge Tracts in Mathematics, 85. Cambridge University Press, Cambridge, 1986. MR0867284 Zbl 0587.28004
[Jo] C. Jordan, "Cours d'analyse" , Gauthier-Villars (1883) Zbl 19.0252.01 Zbl 24.0247.03 Zbl 25.0452.02
[Sc] L. Scheeffer, "Allgemeine Untersuchungen über Rectification der Curven" Acta Math. , 5 (1885) pp. 49–82
How to Cite This Entry:
Rectifiable curve. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Rectifiable_curve&oldid=27451
This article was adapted from an original article by B.I. Golubov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article