International Obfuscated C Code Contest

In topology, the Tietze extension theorem (also known as the Tietze–Urysohn–Brouwer extension theorem) states that, if X is a normal topological space and

$f:A\to \mathbb {R}$

is a continuous map from a closed subset A of X into the real numbers carrying the standard topology, then there exists a continuous map

$F:X\to \mathbb {R}$

with F(a) = f(a) for all a in A. Moreover, F may be chosen such that $\sup\{|f(a)|:a\in A\}=\sup\{|F(x)|:x\in X\}$, i.e., if f is bounded, F may be chosen to be bounded (with the same bound as f). F is called a continuous extension of f.

This theorem is equivalent to the 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 R with R^J for some indexing set J, any retract of R^J, or any normal absolute retract whatsoever.

The theorem is due to Heinrich Franz Friedrich Tietze.

External links

• Other Sports Official Kull from Drumheller, has hobbies such as telescopes, property developers in singapore and crocheting. Identified some interesting places having spent 4 months at Saloum Delta.
  
  my web-site http://himerka.com/
• Weisstein, Eric W. "Tietze's Extension Theorem." From MathWorld
• Template:Planetmath reference
• Template:Planetmath reference