Topological Subspace is Topological Space/Proof 1

Theorem
Let $\left({X, \tau}\right)$ be a topological space.

Let $H \subseteq X$ be a non-empty subset of $X$.

Let $\tau_H = \left\{{U \cap H: U \in \tau}\right\}$.

Then $\left({H, \tau_H}\right)$ is a topological space.

Proof
We verify the three axioms for $\tau_H$ to be a topology on $H$.

Proof of $\left({1}\right)$
Let $\mathcal A \subseteq \tau_H$.

It is to be shown that:
 * $\displaystyle \bigcup \mathcal A \in \tau_H$

Define:
 * $\displaystyle \mathcal A' = \left\{{V \in \tau: V \cap H \subseteq \bigcup \mathcal A}\right\} \subseteq \tau$

Let:
 * $\displaystyle U = \bigcup \mathcal A'$

By the definition of a topology, we have $U \in \tau$.

Then, by the distributivity of intersection over union and by Union Smallest: Family of Sets:
 * $\displaystyle U \cap H = \bigcup_{V \mathop \in \mathcal A'} \left({V \cap H}\right) \subseteq \bigcup \mathcal A$

By the definition of $\tau_H$ and by Subset of Union: General Result, we have:
 * $\displaystyle \forall S \in \mathcal A: \exists V \in \tau: S = V \cap H \subseteq \bigcup \mathcal A$

That is:
 * $\forall S \in \mathcal A: \exists V \in \mathcal A': S = V \cap H$

By Subset of Union: General Result, we have:
 * $\displaystyle \forall V \in \mathcal A': V \subseteq U$

Since intersection preserves subsets, it follows that:
 * $\forall S \in \mathcal A: S \subseteq U \cap H$

By Union Smallest: General Result, we conclude that:
 * $\displaystyle \bigcup \mathcal A \subseteq U \cap H$

Hence, by Equality of Sets:
 * $\displaystyle \bigcup \mathcal A = U \cap H \in \tau_H$

Proof of $\left({2}\right)$
Let $A, B \in \tau_H$.

Let $U, V \in \tau$ be such that $A = U \cap H$ and $B = V \cap H$.

By the definition of a topology, we have $U \cap V \in \tau$.

Then $A \cap B = \left({U \cap V}\right) \cap H \in \tau_H$.

Proof of $\left({3}\right)$
By the definition of a topology, we have $X \in \tau$.

By Intersection with Subset is Subset, it follows that $H = X \cap H \in \tau_H$.

Also see

 * Topological Subspace