Difference between revisions of "Kirszbraun theorem"
(Created page with "A theorem in real analysis, which states that, if $E\subset \mathbb R^n$, then any Lipschitz function $f: E \to \mathbb R^m$ can be extended to the whole $\mathbb R^n$ kee...") |
|||
| Line 1: | Line 1: | ||
| − | A theorem in real analysis, which states that, if $E\subset \mathbb R^n$, then any [[Lipschitz function]] $f: E \to \mathbb R^m$ can be extended to the whole $\mathbb R^n$ keeping the Lipschitz constant of the original function. In the case $m=1$ the theorem is rather straightforward, since one such extension is given by | + | {{MSC|54E40}} |
| + | [[Category:Analysis]] | ||
| + | {{TEX|done}} | ||
| + | |||
| + | A theorem in real analysis, proved first by Kirszbraun in {{Cite|Ki}}, which states that, if $E\subset \mathbb R^n$, then any [[Lipschitz function]] $f: E \to \mathbb R^m$ can be extended to the whole $\mathbb R^n$ keeping the Lipschitz constant of the original function. In the case $m=1$ the theorem is rather straightforward, since one such extension is given by | ||
\[ | \[ | ||
\tilde{f} (x) := \inf_{y\in E} f (x) + {\rm Lip (f)} |x-y|\, . | \tilde{f} (x) := \inf_{y\in E} f (x) + {\rm Lip (f)} |x-y|\, . | ||
\] | \] | ||
| − | The general case $m>1$ is instead rather complicated. Note that a Lipschitz extension with a non-optimal | + | The general case $m>1$ is instead rather complicated. For an elegant and concise proof see 2.10.43 of {{Cite|Fe}}. Note that a Lipschitz extension with a non-optimal constant can be easily achieved using the formula above for each component of the vector function. |
| − | |||
The theorem remains valid if both $\mathbb R^n$ and $\mathbb R^m$ are replaced by general [[Hilbert space|Hilbert spaces]] | The theorem remains valid if both $\mathbb R^n$ and $\mathbb R^m$ are replaced by general [[Hilbert space|Hilbert spaces]] | ||
| − | $H_1$ and $H_2$. When $H_1$ is not separable such extension requires some form of the [[Axiom of choice]]. | + | $H_1$ and $H_2$, see {{Cite|Va}}. When $H_1$ is not separable such extension requires some form of the [[Axiom of choice]]. |
| − | + | Generalizations of Kirszbraun's theorem are rather delicate: it is for instance known that it does not hold if any of the two spaces $H_1$ and $H_2$ are replaced by [[Banach space|Banach spaces]]. However it holds between Riemannian manifolds endowed with the geodesic distances under very special assumptions, | |
| − | + | for instance if both spaces are spheres of the same dimension, or if they have both constant curvature $-1$ (see {{Cite|LS}} and references therein). For a generalization to Alexandrov spaces under some suitable assumptions see the work {{Cite|LS}} | |
| + | |||
| + | ====References==== | ||
| + | {| | ||
| + | |- | ||
| + | |valign="top"|{{Ref|Fe}}|| H. Federer, "Geometric measure theory". Volume 153 of Die Grundlehren der mathematischen Wissenschaften. Springer-Verlag New York Inc., New York, 1969. {{MR|0257325}} {{ZBL|0874.49001}} | ||
| + | |- | ||
| + | |valign="top"|{{Ref|Ki}}|| M.D. Kirszbraun, "Ueber die zusammenziehenden und Lipschitzsche Transformationen", Fund. Math. 22 (1935), 77-108. | ||
| + | |- | ||
| + | |valign="top"|{{Ref|LS}}|| U. Lang, V. Schoreder, "Kirszbraun's theorem and metric spaces of bounded curvature", GAFA 7 (1997) 535-560. | ||
| + | |- | ||
| + | |valign="top"|{{Ref|Va}}|| A. Valentine, "Contractions in non-Euclidean spaces", Bull. Amer. Math. Soc. 50 (1944) 710-713. | ||
| + | |- | ||
| + | |} | ||
Revision as of 08:20, 8 September 2013
2020 Mathematics Subject Classification: Primary: 54E40 [MSN][ZBL]
A theorem in real analysis, proved first by Kirszbraun in [Ki], which states that, if $E\subset \mathbb R^n$, then any Lipschitz function $f: E \to \mathbb R^m$ can be extended to the whole $\mathbb R^n$ keeping the Lipschitz constant of the original function. In the case $m=1$ the theorem is rather straightforward, since one such extension is given by \[ \tilde{f} (x) := \inf_{y\in E} f (x) + {\rm Lip (f)} |x-y|\, . \] The general case $m>1$ is instead rather complicated. For an elegant and concise proof see 2.10.43 of [Fe]. Note that a Lipschitz extension with a non-optimal constant can be easily achieved using the formula above for each component of the vector function.
The theorem remains valid if both $\mathbb R^n$ and $\mathbb R^m$ are replaced by general Hilbert spaces $H_1$ and $H_2$, see [Va]. When $H_1$ is not separable such extension requires some form of the Axiom of choice. Generalizations of Kirszbraun's theorem are rather delicate: it is for instance known that it does not hold if any of the two spaces $H_1$ and $H_2$ are replaced by Banach spaces. However it holds between Riemannian manifolds endowed with the geodesic distances under very special assumptions, for instance if both spaces are spheres of the same dimension, or if they have both constant curvature $-1$ (see [LS] and references therein). For a generalization to Alexandrov spaces under some suitable assumptions see the work [LS]
References
| [Fe] | H. Federer, "Geometric measure theory". Volume 153 of Die Grundlehren der mathematischen Wissenschaften. Springer-Verlag New York Inc., New York, 1969. MR0257325 Zbl 0874.49001 |
| [Ki] | M.D. Kirszbraun, "Ueber die zusammenziehenden und Lipschitzsche Transformationen", Fund. Math. 22 (1935), 77-108. |
| [LS] | U. Lang, V. Schoreder, "Kirszbraun's theorem and metric spaces of bounded curvature", GAFA 7 (1997) 535-560. |
| [Va] | A. Valentine, "Contractions in non-Euclidean spaces", Bull. Amer. Math. Soc. 50 (1944) 710-713. |
Kirszbraun theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Kirszbraun_theorem&oldid=30427