Subspace Topology on Initial Topology is Initial Topology on Restrictions
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 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$.
Let $\tau$ be the initial topology on $X$ with respect to $\family {f_i}_{i \mathop \in I}$.
Let $\struct {Y, \tau_Y}$ be a topological subspace of $X$.
Then $\tau_Y$ is the initial topology on $Y$ with respect to $\family {f_i \restriction_Y}_{i \mathop \in I}$.
Proof
From the definition of the initial topology, $\tau$ has sub-basis:
- $\set {f_i^{-1} \sqbrk U : i \in I, \, U \in \tau_i}$
From Sub-Basis for Topological Subspace, $\tau_Y$ has sub-basis:
- $\BB = \set {f_i^{-1} \sqbrk U \cap Y : i \in I, \, U \in \tau_i}$
That is:
- $\BB = \set {\paren {f_i \restriction_Y}^{-1} \sqbrk U : i \in I, \, U \in \tau_i}$
Then $\BB$ is a sub-basis for the initial topology on $Y$ with respect to $\family {f_i \restriction_Y}_{i \mathop \in I}$.
So $\tau_Y$ is the initial topology on $Y$ with respect to $\family {f_i \restriction_Y}_{i \mathop \in I}$.
$\blacksquare$