## You are here

HomeHewitt-Marczewski-Pondiczery theorem

## Primary tabs

# Hewitt-Marczewski-Pondiczery theorem

The *Hewitt–Marczewski–Pondiczery Theorem*
is a result on the density of products of topological spaces.
This theorem was arrived at independently by
Hewitt[1], Marczewski[2] and Pondiczery[3]
in the 1940s.

###### Theorem.

Let $\kappa$ be an infinite cardinal number and $S$ an index set of cardinality at most $2^{\kappa}$. If $X_{s}$ $(s\in S)$ are topological spaces with $d(X_{s})\leq\kappa$ then

$d\left(\prod_{{s\in S}}X_{s}\right)\leq\kappa.$ |

The special case $\kappa=\aleph_{0}$ says that the product of at most continuum many separable spaces is separable.

# References

- 1 Edwin Hewitt, A remark on density characters, Bull. Amer. Math. Soc. 52 (1946), 641–643. (This paper is available as a PDF file from the AMS website: Bull. Amer. Math. Soc., Volume 52, Number 8.)
- 2 Edward Marczewski, Séparabilité et multiplication cartésienne des espaces topologiques, Fund. Math. 34 (1947), 127–143. (This paper is available as a PDF file from the Polish Virtual Library of Science: Fundamenta Mathematicae, Volume 34.)
- 3 E. S. Pondiczery, Power problems in abstract spaces, Duke Math. J. 11 (1944), 835–837.

Related:

Dense, Separable

Type of Math Object:

Theorem

Major Section:

Reference

Parent:

Groups audience:

## Mathematics Subject Classification

54D65*no label found*54A25

*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

Apr 22

new question: Prove that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis

Apr 20

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia

new question: Prove that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis

Apr 20

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia