Definition:Double Pointed Topology

Definition
Let $T = \left({S, \tau_S}\right)$ be a topological space.

Let $A = \left\{{x, y}\right\}$ be a doubleton.

Let $D = \left({A, \left\{{\varnothing, A}\right\}}\right)$ be the indiscrete space on $A$.

Let $\left({T \times D, \tau}\right)$ be the product space of $T$ and $D$.

Then $T \times D$ is known as the double pointed topology on $T$.

It is seen that $T \times D$ is conceptually equivalent to taking the space $T$ and replacing each point with a pair of topologically indistinguishable points.

Also see

 * Multiple Pointed Topology, of which it can be seen the double pointed topology is a special case.


 * Double Pointed Topology is not $T_0$