Ein Konstruktionssatz, der besagt, dass jede stetige reellwertige Funktion, die auf einer abgeschlossenen Teilmenge eines normalen topologischen Raums definiert ist, zu einer stetigen Funktion auf dem ganzen Raum fortgesetzt werden kann.

Prinzip

Normalität erlaubt die Trennung abgeschlossener Mengen durch stetige Funktionen; durch Kombination von Urysohn-artigen Trennungen und schrittweiser Approximation erhält man eine globale stetige Fortsetzung, die auf der abgeschlossenen Teilmenge übereinstimmt.

Demonstration

Im euklidischen Raum R^n (welcher normal ist) kann eine stetige Funktion f auf einer abgeschlossenen Menge A zu einer stetigen Funktion F auf ganz R^n fortgesetzt werden, indem man sukzessive Urysohn-Funktionen und approximationen im Stil von Zerlegungen der Eins verwendet, um die Werte außerhalb von A zu kontrollieren.

Fehlanwendung

Versuch, eine stetige Funktion von einem abgeschlossenen Teil in einem nicht-normalen Raum zu erweitern (z. B. gewisse T1-Topologien, die nicht normal sind) oder die Annahme, die Fortsetzung erhalte zusätzliche Strukturen wie Differenzierbarkeit oder Holomorphie.

Konsequenz

Garantiere Flexibilität beim Aufbau stetiger globaler Funktionen aus lokalen Vorgaben; unterstützt Beweise, die die Fortsetzung von Testfunktionen erfordern, die Existenz stetiger Partitionen und die Konstruktion stetiger 'bump'-Funktionen in normalen Räumen.

Umkehrung

Die Umkehr — dass jede Einschränkung einer globalen stetigen Funktion auf eine abgeschlossene Menge keine Hindernisse aufweist — ist trivial; relevanter ist die Umkehr insofern, als ohne Normalität solche Fortsetzungen im Allgemeinen nicht existieren, womit die Bedingung notwendig wird.

Abgrenzung

Gilt für reellwertige stetige Funktionen auf abgeschlossenen Teilmengen normaler Räume (insbesondere metrische oder parakompakte Hausdorff-Räume). Garantiert nicht die Erhaltung von Glattheit, Holomorphie oder die Fortsetzung von nichtabgeschlossenen Teilmengen ohne zusätzliche Voraussetzungen.

Semantische Spannung

Wird teils mit dem Urysohn-Lemma oder mit der Stone–Čech-Erweiterung verwechselt; Urysohn trennt zwei disjunkte abgeschlossene Mengen durch beschränkte stetige Funktionen, während Tietze die Fortsetzung einer einzelnen stetigen Funktion sicherstellt; Stone–Čech behandelt maximale Kompaktifizierungen und Erweiterung beschränkter stetiger Funktionen in Tychonoff-Räumen.

Synthese

Die Tietze-Erweiterung formalisiert, wie die Normalität eines topologischen Raums es erlaubt, lokale stetige Daten auf einem abgeschlossenen Teil zu einer globalen stetigen Funktion zu erheben — ein grundlegendes Werkzeug der punktmengentheoretischen Topologie.