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.