Hewittin–Marczewskin–Pondiczeryn lause

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.

Aiheesta muualla
 Ask a Topologist

Topologia
Matemaattiset teoreemat