Factor Spaces of Hausdorff Product Space are Hausdorff

From ProofWiki
Jump to navigation Jump to search


Let $\SS = \family {\struct {S_\alpha, \tau_\alpha} }$ be an indexed family of topological spaces for $\alpha$ in some indexing set $I$.

Let $\ds T = \struct {S, \tau} = \prod_{\alpha \mathop \in I} \struct {S_\alpha, \tau_\alpha}$ be the product space of $\SS$.

Let $T$ be a $T_2$ (Hausdorff) space.


for each $\alpha \in I$, $\struct {S_\alpha, \tau_\alpha}$ is a $T_2$ (Hausdorff) space.


Let $\alpha \in I$.

Let $x, y \in S_\alpha$.

By the Axiom of Choice, there exists $z \in S$.

Define $x', y' \in S$ by:

$x'_\beta = \begin{cases} z_\beta & \beta \ne \alpha \\ x & \beta = \alpha \end{cases}$


$y'_\beta = \begin{cases} z_\beta & \beta \ne \alpha \\ y & \beta = \alpha \end{cases}$

By definition of a $T_2$ (Hausdorff) space:

$\exists U, V \in \tau : x' \in U, y' \in V$ and $U \cap V = \O$

Recall that the topology on the product space $T$ is the product topology.

By definition of the product topology the natural basis is a basis for the product topology.


$\exists U', V' \in \BB : x' \in U' \subseteq U, y' \in V' \subseteq V$

where $\BB$ is the natural basis for $\tau$.

From Subsets of Disjoint Sets are Disjoint:

$U' \cap V' = \O$

From Natural Basis of Product Topology:

$\ds U' = \prod_{\beta \mathop \in I} U_\beta$ where:
for all $\beta \in I : U_\beta \in \tau_\beta$
for all but finitely many indices $\beta : U_\beta = X_\beta$


$\ds V' = \prod_{\beta \mathop \in I} V_\beta$ where:
for all $\beta \in I : V_\beta \in \tau_\beta$
for all but finitely many indices $\beta : V_\beta = X_\beta$

From General Case of Cartesian Product of Intersections:

$\ds \paren {\prod_{\beta \mathop \in I} U_\beta} \bigcap \paren{\prod_{\beta \mathop \in I} V_\beta} = \prod_{\beta \mathop \in I} \paren{U_\beta \cap V_\beta}$


$\ds \prod_{\beta \mathop \in I} \paren{U_\beta \cap V_\beta} = \O$

Now for all $\beta \in I$ such that $\beta \ne \alpha$:

$z_\beta = x'_\beta \in U_\beta$


$z_\beta = y'_\beta \in V_\beta$


$\forall \beta \in I, \beta \ne \alpha : U_\beta \cap V_\beta \ne \O$

From Cartesian Product of Family is Empty iff Factor is Empty it follows that:

$U_\alpha \cap V_\alpha = \O$

Also we have:

$x = x'_\alpha \in U_\alpha$


$y = y'_\alpha \in V_\alpha$

Since $U_\alpha$ and $V_\alpha$ are open in $\struct {S_\alpha, \tau_\alpha}$ then $x$ and $y$ are separated by open sets.

Since $x$ and $y$ were arbitrary, then $\struct {S_\alpha, \tau_\alpha}$ is a $T_2$ (Hausdorff) space by definition.

Since $\alpha \in I$ was arbitrary, then for each $\alpha \in I$, $\struct {S_\alpha, \tau_\alpha}$ is a $T_2$ (Hausdorff) space.