In einem normalen topologischen Raum lässt sich jede stetige, reellwertige Funktion, die auf einer abgeschlossenen Teilmenge definiert ist, zu einer stetigen Funktion auf dem ganzen Raum fortsetzen; beschränkte Funktionen lassen sich beschränkt mit denselben Schranken fortsetzen.

Prinzip

Normalität erlaubt die schrittweise Konstruktion von Fortsetzungen durch Approximation der gegebenen Funktion mittels trennender Funktionen und deren Kombination zu einer stetigen globalen Fortsetzung, die Beschränktheit erhält.

Demonstration

Für X = R und A = [0,1] kann eine stetige f : A → [−1,1] zu g : R → [−1,1] fortgesetzt werden, indem man zunächst Urysohn-Funktionen für geeignete Niveaumengen baut und diese skaliert und summiert, um eine stetige Fortsetzung zu erhalten, die auf A mit f übereinstimmt.

Fehlanwendung

Anzunehmen, der Satz gelte, wenn die Definitionsmenge nicht abgeschlossen ist, oder in nicht-normalen Räumen; der Versuch, beliebige unstetige Funktionen zu verlängern oder die Erhaltung der Schranken zu ignorieren, führt zu Fehlanwendungen.

Konsequenz

Gibt starke Kontrolle über C(X) und ermöglicht das Konstruieren stetiger Funktionen mit vorgegebenem lokalem Verhalten; der Satz ist grundlegend in der Funktionalanalysis und stützt Einbettungs- und Approximationsergebnisse für normale Räume.

Umkehrung

Umgekehrt: Wenn jede stetige Funktion auf jedem abgeschlossenen Teil von X auf X fortsetzbar ist, dann erfüllt X die Trennungseigenschaften, die Normalität ausmachen; die Fortsetzungseigenschaft charakterisiert somit unter üblichen T1-Voraussetzungen die Normalität.

Abgrenzung

Setzt voraus, dass die Teilmenge abgeschlossen und der umgebende Raum normal ist; der Satz betrifft reellwertige (oder komponentenweise komplexwertige) Funktionen und die Erhaltung von Schranken, aber er garantiert keine linearen oder isometrischen Fortsetzungen über diese Eigenschaften hinaus.

Semantische Spannung

Es besteht Spannung zwischen Tietze-artigen topologischen Fortsetzungen und strengeren Fortsetzungssätzen (z. B. linearen, normenbewahrenden Fortsetzungen in Banachräumen): Tietze ist topologisch, nicht notwendigerweise linear oder isometrisch.

Synthese

Der Tietze-Erweiterungssatz besagt, dass Normalität erlaubt, jede stetige reellwertige Funktion von einem abgeschlossenen Teil auf den ganzen Raum ohne Verlust von Stetigkeit oder Beschränktheit zu verlängern, womit Fortsetzung eine strukturelle Eigenschaft normaler Räume ist.