Stetige Funktion/Fortsetzung/K/Einführung/Textabschnitt

Definition

Es sei ${}T\subseteq {\mathbb {K} }$ eine Teilmenge,

f\colon T\longrightarrow {\mathbb {K} }

eine stetige Funktion und es sei ${}T\subseteq {\tilde {T}}\subseteq {\mathbb {K} }$ . Dann heißt eine Abbildung

{\tilde {f}}\colon {\tilde {T}}\longrightarrow {\mathbb {K} }

eine stetige Fortsetzung von ${}f$ , wenn ${}{\tilde {f}}$ stetig ist und ${}{\tilde {f}}(x)=f(x)$ für alle ${}x\in T$ gilt.

Satz

Es sei ${}T\subseteq {\mathbb {K} }$ eine Teilmenge,

f\colon T\longrightarrow {\mathbb {K} }

eine stetige Funktion und es sei ${}T\subseteq {\tilde {T}}\subseteq {\mathbb {K} }$ , wobei ${}{\tilde {T}}$ aus Berührpunkten von ${}T$ bestehe. Für jedes ${}a\in {\tilde {T}}\setminus T$ existiere der Grenzwert ${}\operatorname {lim} _{x\rightarrow a}\,f(x)$ .

Dann ist die durch

${}{\tilde {f}}(a):={\begin{cases}f(a)\,,{\text{ falls }}a\in T\,,\\\operatorname {lim} _{x\rightarrow a}\,f(x),\,{\text{ falls }}a\in {\tilde {T}}\setminus T\,,\end{cases}}\,$

definierte Abbildung eine stetige Fortsetzung von ${}f$ auf ${}{\tilde {T}}$ .

Beweis

Es sei ${}a\in {\tilde {T}}$ und ${}\epsilon >0$ vorgegeben. Da ${}a$ ein Berührpunkt von ${}T$ ist und da der Grenzwert von ${}f$ in ${}a$ existiert (bei ${}a\in T$ existiert er aufgrund der Stetigkeit), gibt es ein ${}\delta >0$ mit ${}d{\left(f(x),{\tilde {f}}(a)\right)}\leq \epsilon /2$ für alle ${}x\in T,\,d{\left(x,a\right)}\leq \delta$ . Wir behaupten, dass die Stetigkeitsbedingung mit der Aufwandsgenauigkeit ${}\delta /2$ erfüllt ist. Es sei also ein ${}y\in {\tilde {T}}$ mit ${}d{\left(y,a\right)}\leq \delta /2$ gegeben. Es gibt ein ${}x\in T$ mit ${}d{\left(x,y\right)}\leq \delta /2$ und mit ${}d{\left(f(x),{\tilde {f}}(y)\right)}\leq \epsilon /2$ . Wegen der ersten Abschätzung und der Voraussetzung an ${}y$ ist ${}d{\left(x,a\right)}\leq \delta$ . Insgesamt ist daher

{}d{\left({\tilde {f}}(a),{\tilde {f}}(y)\right)}\leq d{\left({\tilde {f}}(a),f(x)\right)}+d{\left(f(x),{\tilde {f}}(y)\right)}\leq \epsilon \,.

\Box

Satz

Es sei ${}T\subseteq {\mathbb {K} }$ eine Teilmenge und ${}{\overline {T}}$ die Menge aller Berührpunkte von ${}T$ . Es sei

f\colon T\longrightarrow {\mathbb {K} }

eine gleichmäßig stetige Funktion.

Dann gibt es eine eindeutig bestimmte stetige Fortsetzung

${\tilde {f}}\colon {\overline {T}}\longrightarrow {\mathbb {K} }.$

Beweis

Aufgrund von Fakt genügt es zu zeigen, dass der Grenzwert ${}\operatorname {lim} _{x\rightarrow a}\,f(x)$ für jedes ${}a\in {\overline {T}}\setminus T$ existiert. Es sei ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ eine Folge in ${}T$ , die gegen ${}a$ konvergiert. Wir zeigen, dass dann auch die Bildfolge ${}{\left(f(x_{n})\right)}_{n\in \mathbb {N} }$ konvergiert. Da diese Bildfolge in ${}{\mathbb {K} }$ ist, und ${}{\mathbb {K} }$ vollständig ist, genügt es zu zeigen, dass eine Cauchy-Folge vorliegt. Sei ${}\epsilon >0$ vorgegeben. Wegen der gleichmäßigen Stetigkeit von ${}f$ gibt es ein ${}\delta >0$ derart, dass ${}d{\left(f(x),f(x')\right)}\leq \epsilon$ für alle ${}x,x'\in T$ mit ${}d{\left(x,x'\right)}\leq \delta$ ist. Wegen der Konvergenz der Folge ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ handelt es sich nach Fakt um eine Cauchy-Folge und daher gibt es ein ${}n_{0}$ mit ${}d{\left(x_{n},x_{m}\right)}\leq \delta$ für alle ${}n,m\geq n_{0}$ . Somit gilt

{}d{\left(f(x_{n}),f(x_{m})\right)}\leq \epsilon \,

für alle ${}n,m\geq n_{0}$ .
Wir müssen nun noch zeigen, dass für jede gegen ${}a$ konvergente Folge der Grenzwert der Bildfolge gleich ist. Dies ergibt sich aber sofort, wenn man für zwei Folgen ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ und ${}{\left(y_{n}\right)}_{n\in \mathbb {N} }$ die Folge ${}x_{0},y_{0},x_{1},y_{1},\ldots$ betrachtet, die ebenfalls gegen ${}a$ konvergiert, und für die der Limes der Bildfolge mit den Limiten der Teilbildfolgen übereinstimmt.