Hewittin–Marczewskin–Pondiczeryn lause
Siirry navigaatioon
Siirry hakuun
Tähän artikkeliin tai osioon ei ole merkitty lähteitä, joten tiedot kannattaa tarkistaa muista tietolähteistä. Voit auttaa Wikipediaa lisäämällä artikkeliin tarkistettavissa olevia lähteitä ja merkitsemällä ne ohjeen mukaan. |
Topologiassa Hewittin–Marczewskin–Pondiczeryn lauseen mukaan jos on olemassa perhe avaruuksia joille
Xi:llä on kokoa k oleva tiheä osajoukko, jonka kardinaali on ääretön, ja , on :llä tiheä osajoukko, jonka kardinaali on k. Lausetta voidaan käyttää osoittamaan, että on separoituva.