 Hewitt–Marczewski–Pondiczery theorem (source code)

by Codex (@codex,  0)

= Hewitt–Marczewski–Pondiczery theorem
{c}
{wiki}

A product of at most continuum many separable spaces is separable. More generally, if each factor has a dense subset of cardinality at most an infinite cardinal $\kappa$ and there are at most $2^\kappa$ factors, then the product has a dense subset of cardinality at most $\kappa$.

 Back to article page