Colon

A topological space $F$ consisting of two points. If both one-point subsets in $F$ are open (both are then closed), $F$ is said to be a simple colon. If only one one-point subset in $F$ is open, $F$ is said to be a connected colon. Finally, if only the empty subset and all of $F$ in $F$ are open, $F$ is called an identified colon; this space — unlike the first two, which are very important though simple — has found no applications.

References[edit]

Comments[edit]

The term two-point discrete space is often applied to the simple colon. Its topological powers are called Cantor cubes. These spaces are universal in two ways: Every zero-dimensional compactum can be imbedded into a Cantor cube of the same weight, and every compactum can be obtained as the continuous image of a closed set of a Cantor cube of the same weight. These facts generalize well-known results on the Cantor cube of countable weight, the Cantor set. The connected colon is also known as Sierpinski space. Its topological powers are called Alexandrov cubes; they are universal in that they contain all $T_0$-spaces topologically.

References[edit]