Initial Topology with respect to Point-Separating Family of Mappings onto Hausdorff Spaces is Hausdorff

Theorem
Let $X$ be a set.

Let $I$ be an indexing set.

Let $\family {\struct {Y_i, \tau_i} }_{i \mathop \in I}$ be an indexed family of Hausdorff topological spaces indexed by $I$.

Let $\family {f_i: X \to Y_i}_{i \mathop \in I}$ be an indexed family of mappings indexed by $I$ that separate the points of $X$ in the sense that:


 * for each $x, y \in X$ with $x \ne y$, there exists $i \in I$ such that $\map {f_i} x \ne \map {f_i} y$.

Let $\tau$ be the initial topology on $X$ with respect to $\family {f_i}_{i \mathop \in I}$.

Then $\struct {X, \tau}$ is Hausdorff.

Proof
Let $x, y \in X$.

Then there exists $i \in I$ such that $\map {f_i} x \ne \map {f_i} y$.

Since $Y_i$ is Hausdorff, there exists $U, V \in \tau_i$ such that $U \cap V = \O$ and $\map {f_i} x \in U$, $\map {f_i} y \in V$.

Then we have $x \in f_i^{-1} \sqbrk U$ and $y \in f_i^{-1} \sqbrk V$.

From the definition of the initial topology, $f_i : X \to Y_i$ is $\tuple {\tau, \tau_i}$-continuous.

So $f_i^{-1} \sqbrk U \in \tau$ and $f_i^{-1} \sqbrk V \in \tau$.

We just need to show that $f_i^{-1} \sqbrk U \cap f_i^{-1} \sqbrk V = \O$.

This is immediate since by Preimage of Intersection under Mapping, since we have:


 * $f_i^{-1} \sqbrk U \cap f_i^{-1} \sqbrk V = f_i^{-1} \sqbrk {U \cap V} = f_i^{-1} \sqbrk \O = \O$

So $f_i^{-1} \sqbrk U$ and $f_i^{-1} \sqbrk V$ are disjoint open sets containing $x$ and $y$ respectively.

So $\struct {X, \tau}$ is Hausdorff.