Notes about math, research, and more.
Suppose \(C\) is a space and \(A \subseteq B \subseteq C\). If \(\mathcal{T}_{B}\) and \(\mathcal{T}_{C}\) are the subspace topologies on \(A\) from \(B\), then \(\mathcal{T}_{B} = \mathcal{T}_{C}\).
Let \(\iota_{B}\) and \(\iota_{C}\) be the inclusion maps of \(A\) into \(B\)
and \(C\), respectively. Let \(\mathcal{T}_{in}\) denote the initial
topology on \(A\) induced by the set of maps \(\{ \iota_{B}, \iota_{C} \}\).
By construction both vertical maps are continuous. In the left
diagram, the diagonal map is continuous, hence the \(id\) map is
continuous. Then in the right diagram since both vertical and
horizontal are continuous, \(\iota_{B}\) is continuous. This gives
\(\mathcal{T}_{B} \subseteq \mathcal{T}_{C}\).