Hewittin–Marczewskin–Pondiczeryn lause

Wikipedia

Topologiassa Hewittin–Marczewskin–Pondiczeryn lauseen mukaan jos on olemassa perhe avaruuksia (X_i)_{i \in I} joille Xi: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.

[muokkaa] Aiheesta muualla

Ask a Topologist