Countable Product of Separable Spaces is Separable
From ProofWiki
Theorem
Let $\left \{{\left({X_\alpha, \vartheta_\alpha}\right)}\right\}$ be a countable set of topological spaces.
Let $\displaystyle \left({X, \vartheta}\right) = \prod \left({X_\alpha, \vartheta_\alpha}\right)$ be the product space of $\left \{{\left({X_\alpha, \vartheta_\alpha}\right)}\right\}$.
Let each of $\left({X_\alpha, \vartheta_\alpha}\right)$ be separable.
Then $\left({X, \vartheta}\right)$ is also separable.
Proof
You can help Proof Wiki by expanding it.
To discuss it in more detail, feel free to use the talk page.
When this page/section has been completed, {{Stub}} should be removed from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page (see the proofread template for usage).
Sources
- Lynn Arthur Steen and J. Arthur Seebach, Jr.: Counterexamples in Topology (1970)... (previous)... (next): $\text{I}: \ \S 3$: Invariance Properties
