Open and Closed Sets in Multiple Pointed Topology

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

Let $A$ be a finite set whose cardinality is greater than $1$.

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

Let $T \times D$ be a multiple pointed topological space generated from $T$ and $D$.

Let $H \subseteq T$.

Then:
 * $H \times A$ is open in $T \times D$ iff $H$ is open in $T$
 * $H \times A$ is closed in $T \times D$ iff $H$ is closed in $T$


 * $H \times \varnothing$ is both open and closed in $T \times D$

Let $\varnothing \subset H_A \subset A$, that is, let $H_A$ be a proper subset of $A$.

Then $H \times H_A$ is neither open nor closed in $T \times D$.

Proof
By definition of multiple pointed topology, $T \times D$ is the product space of $T$ with $D$:
 * $T \times D = \left({S \times A, \tau}\right)$

where $\tau$ is the Tychonoff topology on $S \times A$.

Consider the set $H \times A$.

We have that:
 * $H \times A = \operatorname{pr}_1^{-1} \left({H}\right)$

where $\operatorname{pr}_1: T \times D \to T$ is the first projection from $T \times D$ to $T$.

By definition of the Tychonoff topology, $\operatorname{pr}_1: T \times D \to T$ is a continuous mapping.

Open Sets
By definition of Tychonoff topology, if $H$ is open in $T$ then $H \times A$ is open in $T \times D$.

As the Tychonoff Topology is Coarsest Topology such that Projections are Continuous, it follows that if $H$ is not open in $T$ then $H \times A$ is not open in $T \times D$.

Closed Sets
Let $H \subseteq S$ be closed in $T$.

We have that $\operatorname{pr}_1: T \times D \to T$ is a continuous mapping.

By Continuity Defined from Closed Sets, it follows that $H \times A$ is closed in $T \times D$.

As the Tychonoff Topology is Coarsest Topology such that Projections are Continuous, it follows that if $H$ is not closed in $T$ then $H \times A$ is not closed in $T \times D$.

Cartesian Product with Empty Set
From Cartesian Product Empty iff Factors are Empty, $H \times \varnothing = \varnothing$.

From Open and Closed Sets in Topological Space, $\varnothing$ is both open and closed in $T \times D$.

Neither Open Nor Closed
Let $\varnothing \subset H_A \subset A$.

That is, $H_A \ne \varnothing$ and $H_A \ne A$.

So $H_A$ is neither open nor closed in the indiscrete topology on $A$

We have that:
 * $S \times H_A = \operatorname{pr}_2^{-1} \left({H_A}\right)$

where $\operatorname{pr}_2: T \times D \to D$ is the second projection from $T \times D$ to $D$.

By definition of the Tychonoff topology, $\operatorname{pr}_2: T \times D \to D$ is a continuous mapping.

We have that the Tychonoff Topology is Coarsest Topology such that Projections are Continuous.

So if $H_A$ is neither open nor closed in $D$ then $S \times H_A$ is neither open nor closed in $T \times D$.

Hence, by definition of the Tychonoff topology, nor is $H \times H_A$.