In a normal topological space, every continuous real-valued function defined on a closed subset extends to a continuous real-valued function on the whole space; bounded functions extend to bounded functions with the same bounds.

Principle

Normality permits the stepwise construction of extensions by approximating the given function with separating functions and combining them to obtain a continuous global extension that preserves boundedness.

Demonstration

Let X = R and A = [0,1]. A continuous f : A → [−1,1] can be extended to g : R → [−1,1] by first constructing Urysohn functions to approximate ±1-level sets and summing appropriately scaled pieces to obtain a continuous extension equal to f on A.

Misapplication

Assuming the theorem applies when the domain subset is not closed, or in spaces that are not normal; attempting to extend arbitrary discontinuous functions or ignoring preservation of bounds in contexts where boundedness matters.

Consequence

Gives powerful control of C(X) and the ability to build continuous functions with prescribed local behavior; underlies techniques in functional analysis and supports embedding and approximation results for normal spaces.

Reversal

Conversely, if every continuous function on every closed subset of X extends to X, then X satisfies the separation properties encoded by normality; thus the extension property characterizes normality in standard T1 contexts.

Boundary

Requires the subset to be closed and the ambient space to be normal; the theorem addresses real-valued (or complex-valued by components) continuous functions and boundedness preservation, and does not guarantee linear or isometric extension beyond these features.

Semantic Tension

Tension exists between Tietze-style global extensions and more restrictive extension theorems (for example, linear norm-preserving extensions in Banach space contexts): Tietze is topological and not inherently linear or isometric.

Synthesis

Tietze Extension Theorem states that normality allows any continuous real-valued function on a closed subset to be prolonged to the whole space without losing continuity or boundedness, making extension a structural feature of normal spaces.