Fortsetzung (Mathematik)
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
Seien <math>X,\, Y</math> und <math>A</math> Mengen. Eine Abbildung <math>f \colon X \to Y</math> heißt Fortsetzung der Abbildung <math>g \colon A \to Y</math> genau dann, wenn <math>A</math> eine Teilmenge von <math>X</math> ist und <math>g(x) = f(x)</math> für alle <math>x \in A</math> gilt.<ref>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.</ref>
Stetige Fortsetzung
Definition
Seien <math>X</math> und <math>Y</math> topologische Räume, <math>A \subset X</math> ein Teilraum von <math>X</math> und <math>g \colon A \to Y</math> eine stetige Abbildung. Eine Abbildung <math>f \colon X \to Y</math> heißt, analog zu obiger Definition, stetige Fortsetzung von <math>g</math>, falls <math>f</math> stetig ist und <math>g(x) = f(x)</math> für alle <math>x \in A</math> gilt.<ref>{{#invoke:Vorlage:Literatur|f}}</ref>
Beispiele
- Die Funktion <math>g \colon \R \setminus \{0\} \to \R</math>, definiert durch <math>x \mapsto \tfrac{x}{x} + 5x</math>, ist stetig auf ihrem Definitionsbereich <math>\R \setminus \{0\}</math> und hat eine stetige Fortsetzung auf ganz <math>\R</math>, welche lautet
- <math>f(x) = \begin{cases}
\frac{x}{x} + 5x &\mathrm{f\ddot ur}\ x \in \R \setminus \{0\},\\ 1 &\mathrm{f\ddot ur}\ x = 0\,. \end{cases}</math>
- Hier wird die Funktion auf einen weiteren Punkt fortgesetzt und man spricht in diesem speziellen Fall auch von einer stetig behebbaren Definitionslücke.
- Die Funktion <math>g \colon \R \setminus \{0\} \to \R</math>, definiert durch <math>x \mapsto \tfrac{1}{x} \sin(x)</math>, ist stetig auf ihrem Definitionsbereich <math>\R \setminus \{0\}</math> und hat eine stetige Fortsetzung auf ganz <math>\R</math>. Denn gemäß der Regel von de L’Hospital gilt <math>\textstyle \lim_{x \to 0} \tfrac{1}{x} \sin(x) = 1</math>, und damit ist
- <math>f(x) = \begin{cases}
\frac{1}{x} \sin(x) &\mathrm{f\ddot ur}\ x \in \R \setminus \{0\},\\ 1 &\mathrm{f\ddot ur}\ x = 0\, \end{cases}</math>
- eine stetige Fortsetzung von <math>g</math>.
- Die Funktion <math>g \colon \R \setminus \{0\} \to \R</math>, definiert durch <math>x \mapsto \sin(\tfrac{1}{x})</math>, ist stetig auf ihrem Definitionsbereich <math>\R \setminus \{0\}</math>, besitzt jedoch anders als die vorgenannten Funktionen keine stetige Fortsetzung auf den gesamten Zahlenraum <math>\R</math>, da der Grenzwert <math>\textstyle \lim_{x \to 0} \sin(\tfrac{1}{x})</math> nicht existiert.
- Im mathematischen Bereich der Funktionalanalysis wird die Fourier-Transformation betrachtet. Dies ist eine Abbildung <math>\mathcal{F} \colon \mathcal{S} \to \mathcal{S}</math> auf dem Schwartz-Raum. Der Schwartz-Raum liegt dicht im Raum der quadratintegrierbaren Funktionen <math>L^2</math> und die Fourier-Transformation kann eindeutig stetig auf <math>L^2</math> fortgesetzt werden. Jedoch hat sie auf diesem Raum nicht mehr die übliche Integraldarstellung, die sie auf dem Schwartz-Raum hat.
Fortsetzungssatz von Tietze
{{#if: Fortsetzungssatz von Tietze|{{#ifexist:Fortsetzungssatz von Tietze|
|{{#if: |{{#ifexist:{{{2}}}|
|{{#if: |{{#ifexist:{{{3}}}|
|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}
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
Stetige Abbildungen <math>U\rightarrow \R^m</math>, wobei <math>U\subset \R^n</math>, 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
{{#if: Periodische Fortsetzung|{{#ifexist:Periodische Fortsetzung|
|{{#if: |{{#ifexist:{{{2}}}|
|{{#if: |{{#ifexist:{{{3}}}|
|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}
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
{{#if: Einschränkung|{{#ifexist:Einschränkung|
|{{#if: |{{#ifexist:{{{2}}}|
|{{#if: |{{#ifexist:{{{3}}}|
|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}
Das zur Fortsetzung von Funktionen gegenteilige Konzept ist die Einschränkung des Definitionsbereichs einer Abbildung.
Siehe auch
Einzelnachweise
<references />