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.[1]
Lause yleistää Urysonin lemmaa, ja sitä voidaan käyttää moniin tarkoituksiin, sillä kaikki metriset avaruudet ja kaikki kompaktit Hausdorffin avaruudet ovat normaaleja.[2]
Lähteet
Tämä matematiikkaan liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.