Topological space

Discrete topology

On any set 𝑋 the discrete topology of 𝑋 is one where all subsets of 𝑋 are considered open (and therefore also closed, since the compliment of any subset is necessarily also a subset and therefore open), i.e. T =P(𝑋). Such a topology is the finest topology that can be formed on any set.

Metric

A discrete topology is metrizable with the so-called discrete metric

𝜌(π‘₯1,π‘₯2)={1ifΒ π‘₯≠𝑦0ifΒ π‘₯=𝑦

although there may exist other metricisations.

Properties


develop | SemBr | en