The part of topology in which for every compactum, and subsequently also for more general classes of topological spaces, there is defined in some natural way a numerical topological invariant, the dimension, which coincides if is a polyhedron (in particular, a manifold) with the number of its coordinates in the sense of elementary or differential geometry. The first general definition of dimension was given by L.E.J. Brouwer (1913) for compacta and even for the wider class of complete metric spaces. The definition is constructed inductively as follows. The empty set is assigned dimension . Assuming that the spaces of dimension , and hence their subsets, have been defined, one says that a space has dimension if between any two disjoint closed sets and of there is a partition of dimension (here a partition between two sets and in a space is a closed subset of this space such that the complement is the sum of two disjoint open sets and , one of which contains and the other one ). In 1921, P.S. Urysohn and K. Menger, independently of Brouwer and each other, arrived at a definition, equivalent in the case of compacta and even of arbitrary separable metric spaces, which differs from Brouwer's definition in that one of the two closed sets , is supposed to consist of one point. The definitions of dimension in the senses of Brouwer and Urysohn–Menger can be formulated for arbitrary Hausdorff spaces. The topological invariants that they define are called the large and the small inductive dimension, respectively, and are denoted by and . Always .
A completely different approach to the concept of dimension originated from H. Lebesgue, who stated the following theorem: An -dimensional cube in the sense of elementary geometry can be covered by a finite number of closed sets (even cubes) of diameter , for any positive number , in such a way that the multiplicity (or order) of this covering is , whereas, for a sufficiently small , there is no covering of with multiplicity and consisting of closed sets of diameter (here the multiplicity of some (finite) collection of sets is the largest integer for which in the given collection there are sets with non-empty intersection). Nowadays one can reformulate Lebesgue's theorem as follows: The number of coordinates of the cube is the smallest integer for which there is an arbitrarily fine (that is, consisting of elements with arbitrarily small diameter) covering of multiplicity by closed sets. This theorem, proved for the first time by Brouwer, leads to the following definition. The (covering) dimension of a compactum is the smallest number such that for any the compactum has a covering of multiplicity consisting of closed sets of diameter . Without changing the content of this definition, one may replace closed sets by open sets in its formulation.
When defining the dimension of a compactum , one uses the notion of the diameter of a set, which is related to the metric, rather than the topology, of . However, it can be proved that the number thus defined is nevertheless a topological invariant of , that is, two homeomorphic compacta have the same dimension. This fact can be established directly, but it is also easily deducible from the fact that can also be given by a direct topological definition, relying only on the topology of .
A covering of a given topological space is any finite collection of open subsets whose union is the whole space. A covering is finer than a covering if is inscribed in , that is, if each element of is a subset of at least one element of . It turns out that the dimension can be defined as follows: The number is the smallest integer such that for every covering of there is a covering of multiplicity inscribed in it. However, this definition can obviously be formulated not only for compacta, but for arbitrary topological spaces, and makes it possible to define a dimension for them. The dimension defined in this way for topological spaces enables one to construct a significant theory that is rich in mathematical facts, at least if one stays in the class of normal spaces (and hence, in particular, also metrizable spaces).
One of the main problems of dimension theory is the determination of the widest conditions under which the fundamental Urysohn identity holds, namely
It turns out that it holds for all separable metrizable spaces, that is, for all normal spaces with a countable base, and also for the spaces of locally compact Hausdorff groups (Pasynkov's theorem). Without assuming separability, for metrizable spaces one can assert only the validity of the Katětov formula
and for Hausdorff compacta the Aleksandrov formula
There are, however, Hausdorff compacta for which
(the Lunts–Lokutsievskii example) and Hausdorff compacta for which
The following Nöbeling–Pontryagin theorem is very informative: A necessary and sufficient condition for a topological space to be homeomorphic to a subspace of a Euclidean space of finite dimension is that should be a normal space of finite dimension with a countable base. This makes it possible to regard finite-dimensional compacta and, in general, finite-dimensional normal spaces with a countable base as subspaces of Euclidean spaces.
In this connection, the so-called theorem on -shifts is of particular interest: A compactum in some Euclidean space has dimension if and only if for any it can be transformed into a polyhedron of dimension by means of an -shift in the space (here an -shift of a subspace of a Euclidean space is a continuous mapping of into the Euclidean space containing it, under which the distance of any point from its image is less than ). The intuitive meaning of this theorem resides in the fact that every compactum of a given finite dimension , regarded as a set in some Euclidean space , can by an arbitrarily small modification (which consists of the -shift) be transformed into a polyhedron of the same, but not of smaller, dimension. This theorem, as well as the definition of the dimension for compacta, can be restated in purely topological terms, where again "arbitrarily small" numbers are replaced by "arbitrarily fine" coverings . This makes it possible to formulate an analogous theorem for any normal space, and to arrive at the conclusion that in some (still visualizable) geometrical sense every -dimensional normal space is "similar" and even "differs arbitrarily little from" an -dimensional polyhedron.
One of the main theorems in dimension theory is the so-called theorem on essential mappings, which lies at the foundation of a considerable part of this theory. Let be a continuous mapping from a (normal) space onto an -dimensional ball with boundary . Let be the pre-image of the sphere under this mapping, . A mapping is called essential if every continuous mapping that coincides with at all points is a mapping onto the whole ball . The celebrated Aleksandrov theorem states that a normal space has dimension if and only if can be essentially mapped onto an -dimensional ball. From this theorem one can deduce the sum theorem (proved for compacta by Urysohn and Menger already at the very beginning of the development of dimension theory): If a (normal) space of dimension is the union of a finite or countable number of closed subsets , then for at least one of these one has .
The theorem on essential mappings lies at the base of so-called homological dimension theory, which makes it possible to apply methods of algebraic topology to the study of dimension under rather general assumptions. The concept of homological dimension of a space is connected with the concepts of a cycle and homology, and hence assumes that alongside with the topological space one is also given a commutative group , called the coefficient group. Then one can speak of cycles of the compactum with this coefficient group, of their supports , and, in particular, of cycles homologous to zero in for the coefficient domain , where these concepts can be equivalently understood both in the sense of the Aleksandrov–Čech homology theory, and in the sense of the Vietoris homology theory.
After this, one can define the homological dimension of a compactum with coefficient group as the largest integer for which has an -dimensional cycle homologous to zero in , but not homologous to zero on some support of it. It turns out that if , then is the homological dimension for the group which is the quotient group of the group of all real numbers by the subgroup of integers, and is the largest of all homological dimensions.
If from cycles and homology one moves to cocycles and cohomology, then one obtains the cohomological dimension. Moreover, the cohomological dimension of a compactum for a given discrete group is the homological dimension for the compact Hausdorff group dual to in the sense of Pontryagin's theory of characters. Hence it follows that if , then coincides with the cohomological dimension for the group of integers.
For references see Dimension.
The small and large inductive dimensions are usually defined for the classes of regular and normal spaces, respectively. Outside these classes they show pathological behaviour.
Katětov's formula was obtained independently by K. Morita.
Dimension theory. P.S. Aleksandrov (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Dimension_theory&oldid=14136