Kirszbraun theorem

In mathematics, specifically real analysis and functional analysis, the Kirszbraun theorem states that if Template:Mvar is a subset of some Hilbert space Template:Mvar, and Template:Mvar is another Hilbert space, and

$f:U\to H_2$

is a Lipschitz-continuous map, then there is a Lipschitz-continuous map

$F:H_1\to H_2$

that extends Template:Mvar and has the same Lipschitz constant as Template:Mvar.

Note that this result in particular applies to Euclidean spaces Template:Math and Template:Math, and it was in this form that Kirszbraun originally formulated and proved the theorem. The version for Hilbert spaces can for example be found in (Schwartz 1969, p. 21). If Template:Mvar is a separable space (in particular, if it is a Euclidean space) the result is true in Zermelo–Fraenkel set theory; for the fully general case, it appears to need some form of the axiom of choice; the Boolean prime ideal theorem is known to be sufficient.

The proof of the theorem uses geometric features of Hilbert spaces; the corresponding statement for Banach spaces is not true in general, not even for finite-dimensional Banach spaces. It is for instance possible to construct counterexamples where the domain is a subset of ${ℝ}^n$ with the maximum norm and ${ℝ}^m$ carries the Euclidean norm. More generally, the theorem fails for ${ℝ}^m$ equipped with any ${\ell }_p$ norm ($p\ne 2$) (Schwartz 1969, p. 20).

Explicit formulas

For an $ℝ$-valued function the extension is provided by $\tilde{f}(x):=\underset{u\in U}{inf}(f(u)+\text{Lip}(f)\cdot d(x,u)),$ where $\text{Lip}(f)$ is the Lipschitz constant of $f$ on Template:Mvar.

In general, an extension can also be written for ${ℝ}^m$-valued functions as $\tilde{f}(x):={\mathrm{\nabla }}_y(\text{conv}(g(x,y))(x,0)$ where $g(x,y):=\underset{u\in U}{inf}\{⟨f(u),y⟩+\frac{\text{Lip}(f)}{2}\Vert x-u{\Vert }^2\}+\frac{\text{Lip}(f)}{2}\Vert x{\Vert }^2+\text{Lip}(f)\Vert y{\Vert }^2$ and conv(g) is the lower convex envelope of g.

History

The theorem was proved by Mojżesz David Kirszbraun, and later it was reproved by Frederick Valentine, who first proved it for the Euclidean plane. Sometimes this theorem is also called Kirszbraun–Valentine theorem.

External links

• Kirszbraun theorem at Encyclopedia of Mathematics.