Discrete topology
In the mathematical sub-area of topology , a topological space is discrete if all points are isolated , ie if there are no further points in a sufficiently small area around the point.
definition
It is a lot . Then the discrete topology is the topology under which all subsets of are open. A room that bears the discrete topology is called discrete .
That means, just carries the power set as topology .
Subsets of topological spaces are called discrete if they are discrete with the subspace topology . This is equivalent to the fact that for every point there is a neighborhood of which contains as the only point of , i.e. H. .
properties
- A topological space is discrete if and only if the set is open for every point .
- In a discrete topological space , the environment filter of each point is the set of all subsets with He is an ultrafilter .
- In a discrete topological space the filter is convergent if and only if it is the environment filter of a point . This point is then the limit point of the filter
- A sequence from a discrete topological space converges if and only if it becomes constant from a certain term in the sequence (in other words, it is stationary ).
- Discrete rooms are always Hausdorff-like . They are compact if and only if they contain a finite number of points.
- Discrete spaces are locally compact .
- The Cartesian product of a finite number of discrete topological spaces is again discrete.
- Discrete spaces are totally disconnected: Any subspace with at least two elements is disconnected, i.e. it breaks down into (at least) two disjoint open sets.
- Discrete spaces are 0-dimensional, both with regard to the small and large inductive dimension and with regard to the Lebesgue coverage dimension .
- Every mapping from a discrete topological space into any topological space is continuous.
- A continuous mapping from a topological space into a discrete topological space is locally constant .
Discrete metrics
A discrete topological space can be determined with a discrete metric
equip that induces the discrete topology.
The equipment with this metric does not offer any significant gain in information. After all, they make terms like Cauchy sequence and completeness applicable.
Proof of the metric axioms
The fulfillment of positive definiteness and symmetry is immediately evident from the definition.
For the verification of the triangle inequality
a distinction is made between two cases:
- If so the left side is equal to 0 and the inequality is definitely fulfilled.
- Is , must, or be, because two different elements cannot match. This means that at least one of the two numbers must be or equal to 1, which is why
- applies.
Moreover, it is an ultrametric , because it is only possible with and therefore only with equality . In all other cases so is the tightened triangle inequality
applies to all .
Metric properties
With a uniformly discrete metric, a sequence is a Cauchy sequence if and only if it is stationary . Every metric space equipped with a uniformly discrete metric is complete , that is: every Cauchy sequence converges.
Example of a non-uniformly discrete metric
Let the metric space equipped with the amount metric be . Every point has its surroundings
of all points that are closer to than the point It consists of only one point. Thus, all points are isolated, and the topology induced by is also the discrete.
On the other hand, for every one and a point such that, for all the discreetness of the metric which is why no uniform is.
It should also be noted that the sequence is a Cauchy sequence that has no limit in . Because it has the subspace topology as a subspace of real numbers , and in has the limit value 0, which does not exist in.
Category theoretical background
From the point of view of category theory, the discrete topology on a set is the free topology on this set. To do this, consider the functor from the category of all sets (with all set mappings as morphisms ) to the category of all topological spaces (with all continuous mappings as morphisms), which assigns the discrete topological space to every set and the same mapping between the associated discrete spaces for every set map . This functor is now adjoint left to the forget functor . Usually the images of sets under such functors are called free constructions , for example free groups , free Abelian groups , free modules . In a similar way, the indiscreet topology as a functor is right adjoint to the above mentioned forget functor. That is, the indiscrete topology is the dual term for the discrete topology.
Individual evidence
See also
literature
- Boto von Querenburg : Set theoretical topology (= Springer textbook ). 3rd, revised and expanded edition. Springer, Berlin et al. 2001, ISBN 3-540-67790-9 .
- Johann Cigler , Hans-Christian Reichel : Topology. A basic lecture (= BI university paperbacks. Vol. 121). Bibliographisches Institut, Mannheim et al. 1978, ISBN 3-411-00121-6 , § 3.1 Metric spaces .