Tietzen jatkolause

Topologiassa Tietzen jatkolauseen mukaan jos X on normaali topologinen avaruus ja 
f : A → R
jatkuva kuvaus X:n suljetulta osajoukolta A reaaliluvuille varustettuna perinteisellä topologialla, on olemassa jatkuva kuvaus 

F : X → R
siten, että F(a) = f(a) kaikilla A:n alkioilla a. Tällöin F:ää sanotaan f:n  jatkuvaksi jatkeeksi. 

Lause yleistää Urysonin lemmaa, ja sitä voidaan käyttää moniin tarkoituksiin, sillä kaikki metriset avaruudet ja kaikki kompaktit Hausdorffin avaruudet ovat normaaleja.

Lähteet 

Topologia
Matemaattiset teoreemat