Discrete space

In topology, a discrete space is a particularly simple example of a topological space or similar structure, one in which the points are "isolated" from each other in a certain sense.



Given a set X:

  • the discrete topology on X is defined by letting every subset of X be open (and hence also closed), 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 is in 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
\rho(x,y) = 
1 &\mbox{if}\ x\neq y , \\
0 &\mbox{if}\ x = y

for any x,y \in X. In this case (X,ρ) is called a discrete metric space or a space of isolated points.

  • a set S is discrete in a metric space (X,d), for S \subseteq X, if for every x \in S, there exists some δ > 0 (depending on x) such that d(x,y) > δ for all y \in S\setminus\{x\}; such a set consists of isolated points. A set S is uniformly discrete in the metric space (X,d), for S \subseteq X, if there exists ε > 0 such that for any two distinct x, y \in S, d(x,y) > ε.

A metric space (E,d) is said to be uniformly discrete if there exists r > 0 such that, for any x,y \in E, one has either x = y or d(x,y) > r. The topology underlying a metric space can be discrete, without the metric being uniformly discrete: for example the usual metric on the set {1, 1/2, 1/4, 1/8, ...} of real numbers.


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.


  • The topological dimension of a discrete space is equal to 0.
  • A topological space is discrete if and only if its singletons 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 is in X} is an entourage.
  • Every discrete topological space satisfies each of the separation axioms; in particular, every discrete space is Hausdorff, that is, separated.
  • A discrete space is compact if and only if 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 if and only if it is finite.
  • Every discrete metric space is bounded.
  • Every discrete space is first-countable; it is moreover second-countable if and only if it is countable.
  • Every discrete space with at least two points is totally disconnected.
  • Every non-empty discrete space is second category.
  • Any two discrete spaces with the same cardinality are homeomorphic.
  • Every discrete space is metrizable (by the discrete metric).
  • A finite space is metrizable only if it is discrete.
  • If X is a topological space and Y is a set carrying the discrete topology, then X is evenly covered by X × Y (the projection map is the desired covering)
  • The subspace topology on the integers as a subspace of the real line is the discrete topology.

Any function from a discrete topological space to another topological space is continuous, and any function from a discrete uniform space to another uniform space is uniformly continuous. That is, the discrete space X is free on the set X in the category of topological spaces and continuous maps or in the category of uniform spaces and uniformly continuous maps. These facts are examples of a much broader phenomenon, in which discrete structures are usually free on sets.

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 short 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 1 and short 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 1 is short.

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; discrete structures can often be used as "extreme" examples to test particular suppositions. 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 may refer to the ordinary, non-topological groups studied by algebraists as "discrete groups" . In some cases, this can be usefully applied, for example in combination with Pontryagin duality. A 0-dimensional manifold (or differentiable or analytical manifold) is nothing but a discrete topological space. We can therefore view any discrete group as a 0-dimensional Lie group.

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. Such a homeomorphism is given by ternary notation of numbers. (See Cantor space.)

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, which is a weak form of choice.

Indiscrete spaces

In some ways, the opposite of the discrete topology is the trivial topology (also called the indiscrete topology), which has the fewest possible open sets (just the empty set and the space itself). Where the discrete topology is initial or free, the indiscrete topology is final or cofree: every function from a topological space to an indiscrete space is continuous, etc.


See also


  1. ^ Stanislaw Ulam's autobiography, Adventures of a Mathematician.

Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Discrete — in science is the opposite of continuous: something that is separate; distinct; individual. This article is about the possible uses of the word discrete . For a definition of the word discreet , see the Wiktionary entry discreet. Discrete may… …   Wikipedia

  • Discrete group — Concepts in group theory category of groups subgroups, normal subgroups group homomorphisms, kernel, image, quotient direct product, direct sum semidirect product, wreath product …   Wikipedia

  • Discrete two-point space — In topology, a branch of mathematics, a discrete two point space is the simplest example of a totally disconnected discrete space. The points can be denoted by the symbols 0 and 1. Any disconnected space has a continuous mapping onto the… …   Wikipedia

  • Space — is the extent within which matter is physically extended and objects and events have positions relative to one another [ [http://www.britannica.com/eb/article 9068962/space Britannica Online Encyclopedia: Space] ] . Physical space is often… …   Wikipedia

  • Space Panic — Entwickler …   Deutsch Wikipedia

  • Discrete Fourier transform — Fourier transforms Continuous Fourier transform Fourier series Discrete Fourier transform Discrete time Fourier transform Related transforms In mathematics, the discrete Fourier transform (DFT) is a specific kind of discrete transform, used in… …   Wikipedia

  • Space group — In mathematics and geometry, a space group is a symmetry group, usually for three dimensions, that divides space into discrete repeatable domains. In three dimensions, there are 219 unique types, or counted as 230 if chiral copies are considered… …   Wikipedia

  • Discrete mathematics — For the mathematics journal, see Discrete Mathematics (journal). Graphs like this are among the objects studied by discrete mathematics, for their interesting mathematical properties, their usefulness as models of real world problems, and their… …   Wikipedia

  • Discrete wavelet transform — An example of the 2D discrete wavelet transform that is used in JPEG2000. The original image is high pass filtered, yielding the three large images, each describing local changes in brightness (details) in the original image. It is then low pass… …   Wikipedia

  • Discrete spectrum — For a mathematically rigorous point of view of discrete spectrum , see decomposition of spectrum (functional analysis). In physics, an elementary (and accurate) explanation of a discrete spectrum is that it is an emission spectrum or absorption… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.