Open Sets of Double Pointed Topology

Theorem
Let $\struct {S, \tau_S}$ be a topological space.

Let $D$ be a doubleton endowed with the indiscrete topology.

Let $\struct {S \times D, \tau}$ be the double pointed topology on $S$.

Then $X \subseteq S \times D$ is open in $\tau$ for some $U \in \tau$:


 * $X = U \times D$

Proof
By definition, $\tau$ is the product topology on $X \times D$.

That is, $\tau$ has as a basis sets of the form:


 * $U \times V$

with $U \in \tau$ and $V$ open in $D$.

Since $D$ is endowed with the indiscrete topology, either $V = \O$ or $V = D$.

In the former case, by Cartesian Product is Empty iff Factor is Empty, $U \times V = \O$ for all $U \in \tau$.

In particular, then, it follows that $\tau$ has the basis:


 * $\BB = \set {U \times D: U \in \tau}$

since $U = \O \in \tau$, and so the basis elements with $V = \O$ are also accounted for.

It is therefore clear that all $U \times D$ with $U \in \tau$ are open in $\tau$.

That open sets of this form constitute all of $\tau$ amounts to showing that:


 * $\tau = \BB$

that is, that $\BB$ is already a topology on $S \times D$.