Particular Point Space less Particular Point is Discrete
Theorem
Let $T = \left({S, \tau_p}\right)$ be a particular point space, whose particular point is $p$.
Let $H = S \setminus \left\{ {p}\right\}$ where $\setminus$ denotes set difference.
Then the topological subspace $T_H = \left({H, \tau_H}\right)$ induced on $H$ by $\tau_p$ is a discrete space.
Proof
Let $H = S \setminus \left\{{p}\right\}$.
Let $V \subseteq H$ be any subset of $H$.
As $p \notin V$, $V$ is a closed set of $T$.
Thus, by definition of closed set $S \setminus V$ is open in $T$.
By definition of subspace topology, $\left({S \setminus V}\right) \cap H$ is open in $T_H$.
From Intersection with Set Difference is Set Difference with Intersection:
- $\left({S \setminus V}\right) \cap H = \left({S \cap H}\right) \setminus V$
and so from Intersection with Subset is Subset:
- $\left({S \setminus V}\right) \cap H = H \setminus V$
Thus $H \setminus V$ is open in $H$.
But $H \setminus V$ is itself a subset of $H$, and so a closed set of $T$.
Thus, by the same argument, $V$ is open in $H$.
As $V$ is arbitrary, it follows that all subsets of $H$ are open in $H$.
The result follows by definition of discrete space.
$\blacksquare$