Hewittin–Marczewskin–Pondiczeryn lause

Topologiassa Hewittin–Marczewskin–Pondiczeryn lauseen mukaan jos on olemassa perhe avaruuksia $(X_{i})_{i\in I}$ joille

X_i:llä on kokoa k oleva tiheä osajoukko, jonka kardinaali on ääretön, ja $|I|\leq 2^{k}$, on $\prod _{i\in I}X_{i}$:llä tiheä osajoukko, jonka kardinaali on k. Lausetta voidaan käyttää osoittamaan, että $\mathbb {R} ^{\mathbb {R} }$ on separoituva.

Aiheesta muualla

• Ask a Topologist