Das Lemma von McShane, englisch McShane’s lemma, ist ein Lehrsatz, welcher zwischen den mathematischen Teilgebieten der Allgemeinen Topologie und der Funktionalanalysis angesiedelt ist. Das Lemma geht auf den US-amerikanischen Mathematiker Edward James McShane zurück und behandelt die Frage der Fortsetzung lipschitzstetiger reellwertiger Funktionen auf Teilräumen metrischer Räume.
Formulierung des Lemmas
Das Lemma besagt Folgendes:
- Sei ein metrischer Raum, sei ein darin gelegener Teilraum und sei
- eine lipschitzstetige reellwertige Funktion auf mit der Lipschitzkonstanten .
- Dann gilt:
- hat eine lipschitzstetige Fortsetzung
- mit derselben Lipschitzkonstanten .
Verwandter Satz
Ein verwandter Satz ist der Satz von Kirszbraun, der die gleiche Fragestellung im Rahmen der euklidischen (bzw. Hilberträume) behandelt und dabei zu dem gleichen Ergebnis kommt, wenn auch unter anderen Voraussetzungen. Keines der beiden Resultate schließt das jeweils andere direkt in sich ein. Allerdings überschneiden sie sich für den Fall, dass ein (oder ein Hilbertraum) ist und hier eine Teilmenge und eine lipschitzstetige Abbildung mit zugrunde gelegt werden.
Literatur
- Philippe G. Ciarlet: Linear and Nonlinear Functional Analysis with Applications. Society for Industrial and Applied Mathematics, Philadelphia PA 2013, ISBN 978-1-61197-258-0 (MR3136903).
- Edward J. McShane: Extension of range of functions. In: Bulletin of the American Mathematical Society. Band 40, 1934, S. 837–842, doi:10.1090/S0002-9904-1934-05978-0 (MR1562984).