##  [Tietze Extension Theorem](/tietze-extension-theorem-0) 

 Definition

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

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

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

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

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

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

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

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

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.