# 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
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

### 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.
$\Box$

## Korollar

Es sei
    $f\colon \mathbb {Q} \longrightarrow \mathbb {R}$
eine gleichmäßig stetige Funktion.
Dann gibt es eine eindeutig bestimmte stetige Fortsetzung

### Beweis

Dies folgt direkt aus Fakt und aus ${\overline {\mathbb {Q} }}=\mathbb {R}$.
$\Box$