Table of contents |

2 Properties 3 Uses 4 Other Notes |

- the
**discrete topology**on`X`is defined by letting every subset of`X`be open, and`X`is a**discrete topological space**if it is equipped with its discrete topology; - the
**discrete uniformity**on`X`is defined by letting every superset of the diagonal {(`x`,`x`) :`x`∈`X`} in`X`×`X`be an entourage, and`X`is a**discrete uniform space**if it is equipped with its discrete uniformity. - the
**discrete metric**on`X`is defined by letting the distance between any distinct points`x`and`y`be 1, and`X`is a**discrete metric space**if it is equipped with its discrete metric.

The underlying uniformity on a discrete metric space is the discrete uniformity, and the underlying topology on a discrete uniform space is the discrete topology.
Thus, the different notions of discrete space are compatible with one another.
On the other hand, the underlying topology of a non-discrete uniform or metric space can be discrete; an example is the metric space `X` := {1/`n` : `n` = 1,2,3,...} (with metric inherited from the real line and given by d(`x`,`y`) = |`x` − `y`|).
Obviously, this is not the discrete metric; also, this space is not complete and hence not discrete as a uniform space.
Nevertheless, it is discrete as a topological space.
We say that `X` is *topologically discrete* but not *uniformly discrete* or *metrically discrete*.

Additionally:

- A topological space is discrete if and only if its singletonss are open, which is the case if and only if it doesn't contain any accumulation points.
- The singletons form a basis for the discrete topology.
- A uniform space
`X`is discrete if and only if the diagonal {(`x`,`x`) :`x`∈`X`} is an entourage. - Every discrete topological space satisfies each of the separation axioms; in particular, every discrete space is Hausdorff, aka separated.
- A discrete space is compact iff it is finite.
- Every discrete uniform or metric space is complete.
- Combining the above two facts, every discrete uniform or metric space is totally bounded iff it is finite.
- Every discrete metric space is bounded.
- Every discrete space is first countable, and a discrete space is second countable iff it is countable.
- Every discrete space is totally disconnected.
- Every non-empty discrete space is second category.

With metric spaces, things are more complicated, because there are several categories of metric spaces, depending on what is chosen for the morphisms.
Certainly the discrete metric space is free when the morphisms are all uniformly continuous maps or all continuous maps, but this says nothing interesting about the metric structure, only the uniform or topological structure.
Categories more relevant to the metric structure can be found by limiting the morphisms to Lipschitz continuous maps or to nonexpansive maps; however, these categories don't have free objects (on more than one element).
However, the discrete metric space is free in the category of *bounded* metric spaces and Lipschitz continuous maps, and it is free in the category of metric spaces bounded by one and nonexpansive maps.
That is, any function from a discrete metric space to another bounded metric space is Lipschitz continuous, and any function from a discrete metric space to another metric space bounded by one is nonexpansive.

Going the other direction, a function `f` from a topological space `Y` to a discrete space `X` is continuous if and only it if is *locally constant* in the sense that every
point in `Y` has a neighborhood on which `f` is constant.

A discrete structure is often used as the "default structure" on a set that doesn't carry any other natural topology, uniformity, or metric. For example, any group can be considered as a topological group by giving it the discrete topology, implying that theorems about topological groups apply to all groups. Indeed, analysts that normally study topological groups might refer to the ordinary, nontopological groups studied by algebraists as "discrete groups" to emphasise that no other topological structure is assumed to exist.

A 0-dimensional manifold (or differentiable or analytical manifold) is nothing but a discrete topological space. In the spirit of the previous paragraph, we can therefore view any discrete group as a 0-dimensional Lie group.

While discrete spaces are not very exciting from a topological viewpoint, one can easily construct interesting spaces from them. For instance, a product of countably infinitely many copies of the discrete space of natural numbers is homeomorphic to the space of irrational numbers, with the homeomorphism given by the continued fraction expansion. A product of countably infinitely many copies of the discrete space {0,1} is homeomorphic to the Cantor set, and in fact uniformly homeomorphic to the Cantor set if we use the product uniformity on the product. This homeomorphism is given by ternary notation of numbers.

In the foundations of mathematics, the study of compactness properties of products of {0,1} is central to the topological approach to the ultrafilter principle, a weak form of choice.

In some sense the opposite of the discrete topology is the trivial topology, which has the least possible number of open sets.