Fortsetzungslemma
# Fortsetzungslemma

Das Fortsetzungslemma (englisch Extension Lemma) ist ein Lehrsatz, der dem Übergangsfeld der beiden mathematischen Teilgebiete Topologie und Funktionalanalysis zuzurechnen ist. Das Lemma behandelt die grundlegende Frage der Fortsetzung stetiger Funktionale auf gewissen topologischen Räumen und ist daher verwandt mit (und sogar eine Folgerung aus) dem Fortsetzungssatz von Tietze.

## Formulierung

Das Lemma lässt sich wie folgt formulieren:

    Gegeben seien ein vollständig regulärer topologischer Raum $X\neq \emptyset$ und darin eine kompakte Teilmenge $T\subseteq X$.
    Es seien dabei $C(X,\mathbb {K} )$ und $C(T,\mathbb {K} )$ die zugehörigen Funktionenräume der stetigen Funktionale von $X$ beziehungsweise $T$ in den Grundkörper $\mathbb {K}$, welcher entweder der Körper der reellen Zahlen oder der Körper der komplexen Zahlen sein soll, jeweils versehen mit der durch die Betragsfunktion $|\cdot |$ erzeugten topologischen Struktur.
    Dann gilt:
    Zu jedem Funktional $f\in C(T,\mathbb {K} )$ gibt es ein Funktional $F\in C(X,\mathbb {K} )$ mit
    (i) $F|_{T}=f$.
    (ii) $\sup _{t\in T}{|f(t)|}=\sup _{x\in X}{|F(x)|}$.

## Beweisskizze

In der in Rede stehenden Situation betrachtet man $X$ als Teilraum seiner Stone-Čech-Kompaktifizierung $\beta {X}$ und wendet den Tietze'schen Fortsetzungssatz an, dabei berücksichtigend, dass $X$ ein Hausdorff-Raum ist und $T$ als kompakter Teilraum sowohl von $X$ als auch von $\beta {X}$ dort zu den abgeschlossenen Mengen zählt.

## Anmerkung

Klaus Jänich benutzt in seiner Topologie im Zusammenhang mit dem Fortsetzungssatz von Tietze ebenfalls das Stichwort Lemma, indem er vom Tietzeschen Erweiterungslemma spricht. Das oben formulierte Fortsetzungslemma und das Tietzesche Erweiterungslemma fallen jedoch nicht zusammen.

