Satz von Kirszbraun
# Satz von Kirszbraun

In der Mathematik ist der Satz von Kirszbraun (auch: Fortsetzungssatz von Kirszbraun oder Satz von Kirszbraun-Valentine) ein Lehrsatz über die Fortsetzbarkeit Lipschitz-stetiger Abbildungen, er ist nach dem polnischen Mathematiker Mojżesz Dawid Kirszbraun benannt.

## Satz

Sei
    $f\colon U\to \mathbb {R} ^{m}$
eine auf einer Teilmenge $U\subset \mathbb {R} ^{n}$ definierte Lipschitz-stetige Abbildung mit Lipschitz-Konstante $\operatorname {Lip} (f)$, dann gibt es eine Lipschitz-stetige Abbildung
    $F\colon \mathbb {R} ^{n}\to \mathbb {R} ^{m}$
mit derselben Lipschitz-Konstante
    $\operatorname {Lip} (F)=\operatorname {Lip} (f)$
und mit
    $F\vert _{U}=f.$

## Beispiel

Für $m=1$ kann man $F\colon \mathbb {R} ^{n}\to \mathbb {R}$ explizit definieren durch
    $F(x):=\inf _{u\in U}{\bigf(u)+{\text{Lip}}(f)\cdot d(x,u){\big )}$
für alle $x\in \mathbb {R} ^{n}$.
Dieselbe Formel funktioniert auch für Teilmengen $U\subset X$ beliebiger metrischer Räume $X$ und ist in diesem Kontext als Lemma von McShane bekannt.
Für $m>1$ kennt man keine solche geschlossene Formel.

## Verallgemeinerungen

Der Satz von Kirszbraun gilt auch für Hilberträume, aber nicht für beliebige Banachräume.
Seien $H_{1},H_{2}$ Hilberträume und $f\colon U\to H_{2}$ eine auf einer Teilmenge $U\subset H_{1}$ definierte Lipschitz-stetige Abbildung, dann gibt es eine Lipschitz-stetige Abbildung $F\colon H_{1}\to H_{2}$ mit derselben Lipschitz-Konstanten und mit $F\vert _{U}=f.$