Space S000002

Discrete Topology on a Countably Infinite Set

Also known as: Countable Discrete Topology, Sierpinski's metric space

Let X=ω={0,1,2,}X=\omega=\{0,1,2,\dots\} be the space containing countably-many points and let all subsets of XX be open.

Defined as counterexample #2 ("Countable Discrete Topology") in DOI 10.1007/978-1-4612-6290-9.

This space is metrizable, with the standard metric for a discrete space given by d(x,y)=1d(x,y)=1 for xyx\ne y. A different metric that generates the same topology for XX is the Sierpinski metric (d(x,y)=1+1/(x+y+2)d(x,y)=1+1/(x+y+2) for xyx\ne y in ω\omega) given in counterexample #135 in DOI 10.1007/978-1-4612-6290-9. Since pi-base is meant to model topological properties and not properties of metrics, it only keeps track of topological spaces up to homeomorphism, and thus does not keep a separate entry for the Sierpinski metric.

S2: Discrete Topology on a Countably Infinite Set | π-Base