If ${\displaystyle X}$  is a normal space and

The function ${\displaystyle F}$  is constructed iteratively. Firstly, we define

L. E. J. Brouwer and Henri Lebesgue proved a special case of the theorem, when ${\displaystyle X}$  is a finite-dimensional real vector space. Heinrich Tietze extended it to all metric spaces, and Pavel Urysohn proved the theorem as stated here, for normal topological spaces.^[2][3]

This theorem is equivalent to Urysohn's lemma (which is also equivalent to the normality of the space) and is widely applicable, since all metric spaces and all compact Hausdorff spaces are normal. It can be generalized by replacing ${\displaystyle \mathbb {R} }$  with ${\displaystyle \mathbb {R} ^{J}}$  for some indexing set ${\displaystyle J,}$  any retract of ${\displaystyle \mathbb {R} ^{J},}$  or any normal absolute retract whatsoever.

If ${\displaystyle X}$  is a metric space, ${\displaystyle A}$  a non-empty subset of ${\displaystyle X}$  and ${\displaystyle f:A\to \mathbb {R} }$  is a Lipschitz continuous function with Lipschitz constant ${\displaystyle K,}$  then ${\displaystyle f}$  can be extended to a Lipschitz continuous function ${\displaystyle F:X\to \mathbb {R} }$  with same constant ${\displaystyle K.}$  This theorem is also valid for Hölder continuous functions, that is, if ${\displaystyle f:A\to \mathbb {R} }$  is Hölder continuous function with constant less than or equal to ${\displaystyle 1,}$  then ${\displaystyle f}$  can be extended to a Hölder continuous function ${\displaystyle F:X\to \mathbb {R} }$  with the same constant.^[4]

Another variant (in fact, generalization) of Tietze's theorem is due to H.Tong and Z. Ercan:^[5] Let ${\displaystyle A}$  be a closed subset of a normal topological space ${\displaystyle X.}$  If ${\displaystyle f:X\to \mathbb {R} }$  is an upper semicontinuous function, ${\displaystyle g:X\to \mathbb {R} }$  a lower semicontinuous function, and ${\displaystyle h:A\to \mathbb {R} }$  a continuous function such that ${\displaystyle f(x)\leq g(x)}$  for each ${\displaystyle x\in X}$  and ${\displaystyle f(a)\leq h(a)\leq g(a)}$  for each ${\displaystyle a\in A}$ , then there is a continuous extension ${\displaystyle H:X\to \mathbb {R} }$  of ${\displaystyle h}$  such that ${\displaystyle f(x)\leq H(x)\leq g(x)}$  for each ${\displaystyle x\in X.}$  This theorem is also valid with some additional hypothesis if ${\displaystyle \mathbb {R} }$  is replaced by a general locally solid Riesz space.^[5]

Dugundji (1951) extends the theorem as follows: If ${\displaystyle X}$  is a metric space, ${\displaystyle Y}$  is a locally convex topological vector space, ${\displaystyle A}$  is a closed subset of ${\displaystyle X}$  and ${\displaystyle f:A\to Y}$  is continuous, then it could be extended to a continuous function ${\displaystyle {\tilde {f}}}$  defined on all of ${\displaystyle X}$ . Moreover, the extension could be chosen such that ${\displaystyle {\tilde {f}}(X)\subseteq {\text{conv}}f(A)}$ 

• Blumberg theorem – Any real function on R admits a continuous restriction on a dense subset of R
• Hahn–Banach theorem – Theorem on extension of bounded linear functionals
• Whitney extension theorem – Partial converse of Taylor's theorem

• Munkres, James R. (2000). Topology (Second ed.). Upper Saddle River, NJ: Prentice Hall, Inc. ISBN 978-0-13-181629-9. OCLC 42683260.

• Weisstein, Eric W. "Tietze's Extension Theorem." From MathWorld
• Mizar system proof: http://mizar.org/version/current/html/tietze.html#T23
• Bonan, Edmond (1971), "Relèvements-Prolongements à valeurs dans les espaces de Fréchet", Comptes Rendus de l'Académie des Sciences, Série I, 272: 714–717.