Die Fortsetzung einer Abbildung ist ein Begriff aus der Mathematik, der insbesondere in der Analysis und der Topologie verwendet wird. Unter einer Fortsetzung einer Abbildung versteht man eine weitere Abbildung, die auf einer Teilmenge ihres Definitionsbereichs mit der gegebenen Abbildung übereinstimmt. Von besonderem Interesse ist es, ob es Fortsetzungen zu stetigen beziehungsweise analytischen Funktionen gibt, die ebenfalls stetig beziehungsweise analytisch sind.
Definition Bearbeiten
Seien und Mengen. Eine Abbildung heißt Fortsetzung der Abbildung genau dann, wenn eine Teilmenge von ist und für alle gilt.
Stetige Fortsetzung Bearbeiten
Definition Bearbeiten
Seien und topologische Räume, ein Teilraum von und eine stetige Abbildung. Eine Abbildung heißt, analog zu obiger Definition, stetige Fortsetzung von , falls stetig ist und für alle gilt.
Beispiele Bearbeiten
- Die Funktion , definiert durch , ist stetig auf ihrem Definitionsbereich und hat eine stetige Fortsetzung auf ganz , welche lautet
- Die Funktion , definiert durch , ist stetig auf ihrem Definitionsbereich und hat eine stetige Fortsetzung auf ganz . Denn gemäß der Regel von de L’Hospital gilt , und damit ist
- Die Funktion , definiert durch , ist stetig auf ihrem Definitionsbereich , besitzt jedoch anders als die vorgenannten Funktionen keine stetige Fortsetzung auf den gesamten Zahlenraum , da der Grenzwert nicht existiert.
- Im mathematischen Bereich der Funktionalanalysis wird die Fourier-Transformation betrachtet. Dies ist eine Abbildung auf dem Schwartz-Raum. Der Schwartz-Raum liegt dicht im Raum der quadratintegrierbaren Funktionen und die Fourier-Transformation kann eindeutig stetig auf fortgesetzt werden. Jedoch hat sie auf diesem Raum nicht mehr die übliche Integraldarstellung, die sie auf dem Schwartz-Raum hat.
Fortsetzungssatz von Tietze Bearbeiten
Der Fortsetzungssatz von Tietze charakterisiert topologische Räume, in denen stetige Funktionen auf abgeschlossenen Teilmengen immer stetig fortgesetzt werden können. Es sind genau die normalen topologischen Räume, in denen das immer möglich ist. Der Satz kann als Verallgemeinerung des Lemmas von Urysohn verstanden werden. Eine Folgerung des Fortsetzungssatzes von Tietze ist das Fortsetzungslemma.
Lipschitz-stetige Funktionen Bearbeiten
Stetige Abbildungen , wobei , können die stärkere Eigenschaft der Lipschitz-Stetigkeit haben. Daher stellt sich die Frage, ob man die stetigen Fortsetzungen auch so wählen kann, dass die Lipschitz-Stetigkeit erhalten bleibt. Der Satz von Kirszbraun sagt aus, dass dies sogar mit Erhaltung der Lipschitz-Konstanten möglich ist. Das Lemma von McShane dehnt diese Aussage auf allgemeinere Raumklassen aus.
Periodische Fortsetzung Bearbeiten
Eine andere Möglichkeit eine Funktion systematisch fortzusetzen ist die periodische Fortsetzung. Dabei wird eine auf einem beschränkten Intervall definierte Funktion so fortgesetzt, dass sich ihre Funktionswerte außerhalb des Ausgangsintervalls mit festem Abstand zyklisch wiederholen. Eine solche Funktion wird periodisch genannt.
Einschränkung Bearbeiten
Das zur Fortsetzung von Funktionen gegenteilige Konzept ist die Einschränkung des Definitionsbereichs einer Abbildung.
Siehe auch Bearbeiten
Einzelnachweise Bearbeiten
- Fortsetzung einer Abbildung. In: Guido Walz (Hrsg.): Lexikon der Mathematik. Band 1: A bis Eif. Spektrum – Akademischer Verlag, Heidelberg u. a. 2000, ISBN 3-8274-0303-0.
- Dušan Repovš, Pavel Vladimirovič Semenov: Continuous selections of multivalued mappings. In: Mathematics and its Applications. Band 455. Kluwer Academic, Dordrecht u. a. 1998, ISBN 0-7923-5277-7, S. 23–24.