Countability Properties Preserved under Projection Mapping

Theorem

Let $\sequence{\struct{S_\alpha, \tau_\alpha}}$ be a sequence of topological spaces.

Let $\displaystyle \struct{S, \tau} = \prod \struct{S_\alpha, \tau_\alpha}$ be the product space of $\sequence {\struct{S_\alpha, \tau_\alpha}}$.

Let $\pr_\alpha: \struct{S, \tau} \to \struct{S_\alpha, \tau_\alpha}$ be the projection on the $\alpha$ coordinate.

Then $\pr_\alpha$ preserves the following countability properties.

That is, if $\struct{S, \tau}$ has one of the following properties, then each of $\struct{S_\alpha, \tau_\alpha}$ has the same property.

Separability
First-Countability
Second-Countability

Proof

First note that Projection from Product Topology is Continuous.

It follows from Continuous Image of Separable Space is Separable that separability is preserved under projections.

Next note that Projection from Product Topology is Open.

It follows from Countability Axioms Preserved under Open Continuous Surjection that:

First-Countability
Second-Countability

are preserved under projections.

$\blacksquare$