In

*
*
Topology
General topology
Topological spaces

topology
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities ...

, a discrete space is a particularly simple example of a topological space
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no gener ...

or similar structure, one in which the points form a , meaning they are '' isolated'' from each other in a certain sense. The discrete topology is the finest topology that can be given on a set. Every subset is open
Open or OPEN may refer to:
Music
* Open (band)
Open is a band.
Background
Drummer Pete Neville has been involved in the Sydney/Australian music scene for a number of years. He has recently completed a Masters in screen music at the Australia ...

in the discrete topology so that in particular, every singleton subset is an open set
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

in the discrete topology.
Definitions

Given a set $X$: A metric space $(E,d)$ is said to be '' uniformly discrete'' if there exists a ''packing radius'' $r\; >\; 0$ such that, for any $x,y\; \backslash in\; E$, one has either $x\; =\; y$ or The topology underlying a metric space can be discrete, without the metric being uniformly discrete: for example the usual metric on the set $\backslash $. Let $X\; =\; \backslash left\backslash \; =\; \backslash left\backslash $, consider this set using the usual metric on the real numbers. Then, $X$ is a discrete space, since for each point $x\_n\; =\; 2^\; \backslash in\; X$, we can surround it with the interval $(x\_n\; -\; \backslash varepsilon,\; x\_n\; +\; \backslash varepsilon)$, where $\backslash varepsilon\; =\; \backslash tfrac(x\_n\; -\; x\_)\; =\; 2^$. The intersection $(x\_n\; -\; \backslash varepsilon,\; x\_n\; +\; \backslash varepsilon)\; \backslash cap\; \backslash $ is therefore trivially the singleton $\backslash $. Since the intersection of two open sets is open, and singletons are open, it follows that $X$ is a discrete space. However, $X$ cannot be uniformly discrete. To see why, suppose there exists an $r\; >\; 0$ such that $d(x,y)\; >\; r$ whenever $x\; \backslash neq\; y$. It suffices to show that there are at least two points $x$ and $y$ in $X$ that are closer to each other than $r$. Since the distance between adjacent points $x\_n$ and $x\_$ is $2^$, we need to find an $n$ that satisfies this inequality: : $\backslash begin\; 2^\; \&<\; r\; \backslash \backslash \; 1\; \&<\; 2^r\; \backslash \backslash \; r^\; \&<\; 2^\; \backslash \backslash \; \backslash log\_2\backslash left(r^\backslash right)\; \&<\; n+1\; \backslash \backslash \; -\backslash log\_2(r)\; \&<\; n+1\; \backslash \backslash \; -1\; -\; \backslash log\_2(r)\; \&<\; n\; \backslash end$ Since there is always an $n$ bigger than any given real number, it follows that there will always be at least two points in $X$ that are closer to each other than any positive $r$, therefore $X$ is not uniformly discrete.Properties

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\; =\; \backslash $ (with metric inherited from thereal line
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities an ...

and given by $d(x,y)\; =\; \backslash left,\; x\; -\; y\backslash $).
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:
* The topological dimension
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and t ...

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 point
In mathematics, a limit point (or cluster point or accumulation point) of a Set (mathematics), set S in a topological space X is a point x that can be "approximated" by points of S in the sense that every neighbourhood (mathematics), neighbourhood ...

s.
* The singletons form a basis
Basis may refer to:
Finance and accounting
*Adjusted basisIn tax accounting, adjusted basis is the net cost of an asset after adjusting for various tax-related items.
Adjusted Basis or Adjusted Tax Basis refers to the original cost or other b ...

for the discrete topology.
* A uniform space $X$ is discrete if and only if the diagonal $\backslash $ is an entourage.
* Every discrete topological space satisfies each of the separation axioms
In topology and related fields of mathematics, there are several restrictions that one often makes on the kinds of topological spaces that one wishes to consider. Some of these restrictions are given by the separation axioms. These are sometimes ...

; in particular, every discrete space is , that is, separated.
* A discrete space is compact
Compact as used in politics may refer broadly to a pact
A pact, from Latin ''pactum'' ("something agreed upon"), is a formal agreement. In international relations
International relations (IR), international affairs (IA) or internationa ...

if and only if
In logic
Logic is an interdisciplinary field which studies truth and reasoning. Informal logic seeks to characterize Validity (logic), valid arguments informally, for instance by listing varieties of fallacies. Formal logic represents st ...

it is finite
Finite is the opposite of Infinity, infinite. It may refer to:
* Finite number (disambiguation)
* Finite set, a set whose cardinality (number of elements) is some natural number
* Finite verb, a verb form that has a subject, usually being inflected ...

.
* Every discrete uniform or metric space is complete.
* Combining the above two facts, every discrete uniform or metric space is totally boundedIn topology
s, which have only one surface and one edge, are a kind of object studied in topology.
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structu ...

if and only if it is finite.
* Every discrete metric space is bounded.
* Every discrete space is first-countable
In topology
s, which have only one surface and one edge, are a kind of object studied in topology.
In mathematics, topology (from the Greek language, Greek words , and ) is concerned with the properties of a mathematical object, geometric objec ...

; it is moreover second-countable
In topology
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), a ...

if and only if it is countable
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

.
* Every discrete space 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\; \backslash times\; Y$ (the projection map is the desired covering)
* The subspace topology on the integers as a subspace of the real line
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities an ...

is the discrete topology.
* A discrete space is separable if and only if it is countable.
* Any topological subspace of $\backslash mathbb$ (with its usual Euclidean topology) that is discrete is necessarily Countable set, countable.
Any function from a discrete topological space to another topological space is continuous function (topology), continuous, and any function from a discrete uniform space to another uniform space is uniformly continuous. That is, the discrete space $X$ is free object, free on the set $X$ in the category theory, 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 Mathematical structure, 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 if it is ''locally constant function, locally constant'' in the sense that every point in $Y$ has a topological neighborhood, neighborhood on which $f$ is constant.
Every Ultrafilter (set theory), ultrafilter $\backslash mathcal$ on a non-empty set $X$ can be associated with a topology $\backslash tau\; =\; \backslash mathcal\; \backslash cup\; \backslash left\backslash $ on $X$ with the property that non-empty proper subset $S$ of $X$ is an Open set, open subset or else a Closed set, closed subset, but never both. Said differently, subset is open Logical disjunction, or closed but (in contrast to the discrete topology) the subsets that are open and closed (i.e. clopen) are $\backslash varnothing$ and $X$. In comparison, subset of $X$ is open Logical conjunction, and closed in the discrete topology.
Uses

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 (mathematics), 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 analytic manifold) is nothing but a discrete topological space. We can therefore view any discrete group as a 0-dimensional Lie group. A product topology, product of countably infinite 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 infinite copies of the discrete space 2 (number), 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 using Ternary numeral system, ternary notation of numbers. (See Cantor space.) In the foundations of mathematics, the study of compact space, compactness properties of products of is central to the topological approach to the Boolean prime ideal theorem, ultrafilter principle, which is a weak form of axiom of choice, 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

* Cylinder set * List of topologies * Taxicab geometryReferences