Fortsetzung (Mathematik)

Eine gesichtete Version dieser Seite, die am 10. April 2016 freigegeben wurde, basiert auf dieser Version.

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 $X,\,Y$ und $A$ Mengen. Eine Abbildung $f\colon X\to Y$ heißt Fortsetzung der Abbildung $g\colon A\to Y$ genau dann, wenn $A$ eine Teilmenge von $X$ ist und $g(x)=f(x)$ für alle $x\in A$ gilt.^[1]

Stetige Fortsetzung

Definition

Seien $X$ und $Y$ topologische Räume, $A\subset X$ ein Teilraum von $X$ und $g\colon A\to Y$ eine stetige Abbildung. Eine Abbildung $f\colon X\to Y$ heißt, analog zu obiger Definition, stetige Fortsetzung von $g$ , falls $f$ stetig ist und $g(x)=f(x)$ für alle $x\in A$ gilt.^[2]

Beispiele

Die Funktion $g\colon \mathbb {R} \setminus \{0\}\to \mathbb {R}$ , definiert durch $x\mapsto {\tfrac {x}{x}}+5x$ , ist stetig auf ihrem Definitionsbereich $\mathbb {R} \setminus \{0\}$ und hat eine stetige Fortsetzung auf ganz $\mathbb {R}$ , welche lautet

f(x)={\begin{cases}{\frac {x}{x}}+5x&{\text{für}}\ x\in \mathbb {R} \setminus \{0\},\\1&{\text{für}}\ x=0\,.\end{cases}}

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 $g\colon \mathbb {R} \setminus \{0\}\to \mathbb {R}$ , definiert durch $x\mapsto {\tfrac {1}{x}}\sin(x)$ , ist stetig auf ihrem Definitionsbereich $\mathbb {R} \setminus \{0\}$ und hat eine stetige Fortsetzung auf ganz $\mathbb {R}$ . Denn gemäß der Regel von de l’Hospital gilt $\lim _{x\to 0}{\tfrac {1}{x}}\sin(x)=1$ , und damit ist

f(x)={\begin{cases}{\frac {1}{x}}\sin(x)&{\text{für}}\ x\in \mathbb {R} \setminus \{0\},\\1&{\text{für}}\ x=0\,\end{cases}}

eine stetige Fortsetzung von

g

.

Die Funktion $g\colon \mathbb {R} \setminus \{0\}\to \mathbb {R}$ , definiert durch $x\mapsto \sin({\tfrac {1}{x}})$ , ist stetig auf ihrem Definitionsbereich $\mathbb {R} \setminus \{0\}$ , besitzt jedoch anders als die vorgenannten Funktionen keine stetige Fortsetzung auf den gesamten Zahlenraum $\mathbb {R}$ , da der Grenzwert $\lim _{x\to 0}\sin({\tfrac {1}{x}})$ nicht existiert.
Im mathematischen Bereich der Funktionalanalysis wird die Fourier-Transformation betrachtet. Dies ist eine Abbildung ${\mathcal {F}}\colon {\mathcal {S}}\to {\mathcal {S}}$ auf dem Schwartz-Raum. Da der Schwartz-Raum dicht im Raum der quadratintegrierbaren Funktionen $L^{2}$ liegt, kann die Fourier-Transformation stetig auf $L^{2}$ fortgesetzt werden. Jedoch hat sie auf diesem Raum nicht mehr die übliche Integraldarstellung, die sie auf dem Schwartz-Raum hat.

Fortsetzungssatz von Tietze

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.

Einschränkung

Das zur Fortsetzung von Funktionen gegenteilige Konzept ist die Einschränkung des Definitionsbereichs einer Abbildung.

Siehe auch

Einzelnachweise

↑ 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.

[1] 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.

[2] 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.

[1]

[2]