Category:Double Pointed Topologies

From ProofWiki
Jump to navigation Jump to search

This category contains results about Double Pointed Topologies.
Definitions specific to this category can be found in Definitions/Double Pointed Topologies.

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

Let $A = \set {a, b}$ be a doubleton.

Let $D = \struct {A, \set {\O, A} }$ be the indiscrete space on $A$.

Let $\struct {T \times D, \tau}$ be the product space of $T$ and $D$.

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