Hewittin–Marczewskin–Pondiczeryn lause

Malline:LähteetönTopologiassa 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|\le 2^k$, on $\prod _{i\in I}{X}_i$:llä tiheä osajoukko, jonka kardinaali on k. Lausetta voidaan käyttää osoittamaan, että ${ℝ}^{ℝ}$ on separoituva.

Aiheesta muualla

• Ask a Topologist