Namespaces
Variants
Actions

Difference between revisions of "Dimension theory"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
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|dimension]], which coincides if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d0325001.png" /> 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d0325002.png" />. Assuming that the spaces of dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d0325003.png" />, and hence their subsets, have been defined, one says that a space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d0325004.png" /> has dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d0325005.png" /> if between any two disjoint closed sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d0325006.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d0325007.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d0325008.png" /> there is a partition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d0325009.png" /> of dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250010.png" /> (here a partition between two sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250011.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250012.png" /> in a space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250013.png" /> is a closed subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250014.png" /> of this space such that the complement <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250015.png" /> is the sum of two disjoint open sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250016.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250017.png" />, one of which contains <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250018.png" /> and the other one <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250019.png" />). 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250020.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250021.png" /> 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250022.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250023.png" />. Always <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250024.png" />.
+
<!--
 +
d0325001.png
 +
$#A+1 = 142 n = 0
 +
$#C+1 = 142 : ~/encyclopedia/old_files/data/D032/D.0302500 Dimension theory
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
A completely different approach to the concept of dimension originated from H. Lebesgue, who stated the following theorem: An <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250025.png" />-dimensional cube <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250026.png" /> in the sense of elementary geometry can be covered by a finite number of closed sets (even cubes) of diameter <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250027.png" />, for any positive number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250028.png" />, in such a way that the multiplicity (or order) of this covering is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250029.png" />, whereas, for a sufficiently small <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250030.png" />, there is no covering of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250031.png" /> with multiplicity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250032.png" /> and consisting of closed sets of diameter <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250033.png" /> (here the multiplicity of some (finite) collection of sets is the largest integer <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250034.png" /> for which in the given collection there are <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250035.png" /> sets with non-empty intersection). Nowadays one can reformulate Lebesgue's theorem as follows: The number of coordinates of the cube <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250036.png" /> is the smallest integer <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250037.png" /> for which there is an arbitrarily fine (that is, consisting of elements with arbitrarily small diameter) covering of multiplicity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250038.png" /> by closed sets. This theorem, proved for the first time by Brouwer, leads to the following definition. The (covering) dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250040.png" /> of a compactum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250041.png" /> is the smallest number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250042.png" /> such that for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250043.png" /> the compactum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250044.png" /> has a covering of multiplicity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250045.png" /> consisting of closed sets of diameter <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250046.png" />. Without changing the content of this definition, one may replace closed sets by open sets in its formulation.
+
{{TEX|auto}}
 +
{{TEX|done}}
  
When defining the dimension of a compactum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250047.png" />, one uses the notion of the diameter of a set, which is related to the metric, rather than the topology, of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250048.png" />. However, it can be proved that the number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250049.png" /> thus defined is nevertheless a topological invariant of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250050.png" />, 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250051.png" /> can also be given by a direct topological definition, relying only on the topology of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250052.png" />.
+
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|dimension]], which coincides if  $  X $
 +
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  $  - 1 $.  
 +
Assuming that the spaces of dimension  $  \leq  n $,
 +
and hence their subsets, have been defined, one says that a space  $  X $
 +
has dimension  $  \leq  n + 1 $
 +
if between any two disjoint closed sets  $  A $
 +
and  $  B $
 +
of  $  X $
 +
there is a partition  $  \Phi $
 +
of dimension  $  \leq  n $(
 +
here a partition between two sets  $  A $
 +
and  $  B $
 +
in a space  $  X $
 +
is a closed subset  $  \Phi $
 +
of this space such that the complement  $  X \setminus  \Phi $
 +
is the sum of two disjoint open sets  $  C $
 +
and  $  D $,  
 +
one of which contains  $  A $
 +
and the other one  $  B $).  
 +
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  $  A $,
 +
$  B $
 +
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  $  \mathop{\rm Ind}  X $
 +
and  $  \mathop{\rm ind}  X $.  
 +
Always  $  \mathop{\rm ind}  X \leq  \mathop{\rm Ind}  X $.
  
A covering of a given topological space is any finite collection of open subsets whose union is the whole space. A covering <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250053.png" /> is finer than a covering <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250054.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250055.png" /> is inscribed in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250056.png" />, that is, if each element of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250057.png" /> is a subset of at least one element of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250058.png" />. It turns out that the dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250059.png" /> can be defined as follows: The number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250060.png" /> is the smallest integer <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250061.png" /> such that for every covering of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250062.png" /> there is a covering of multiplicity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250063.png" /> 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250064.png" /> 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).
+
A completely different approach to the concept of dimension originated from H. Lebesgue, who stated the following theorem: An  $  n $-
 +
dimensional cube  $  Q  ^ {n} $
 +
in the sense of elementary geometry can be covered by a finite number of closed sets (even cubes) of diameter  $  < \epsilon $,
 +
for any positive number  $  \epsilon $,
 +
in such a way that the multiplicity (or order) of this covering is  $  n + 1 $,
 +
whereas, for a sufficiently small  $  \epsilon > 0 $,
 +
there is no covering of  $  Q  ^ {n} $
 +
with multiplicity  $  < n + 1 $
 +
and consisting of closed sets of diameter  $  < \epsilon $(
 +
here the multiplicity of some (finite) collection of sets is the largest integer  $  m $
 +
for which in the given collection there are  $  m $
 +
sets with non-empty intersection). Nowadays one can reformulate Lebesgue's theorem as follows: The number of coordinates of the cube  $  Q  ^ {n} $
 +
is the smallest integer  $  n $
 +
for which there is an arbitrarily fine (that is, consisting of elements with arbitrarily small diameter) covering of multiplicity  $  n + 1 $
 +
by closed sets. This theorem, proved for the first time by Brouwer, leads to the following definition. The (covering) dimension  $  \mathop{\rm dim}  X $
 +
of a compactum  $  X $
 +
is the smallest number  $  n $
 +
such that for any  $  \epsilon > 0 $
 +
the compactum  $  X $
 +
has a covering of multiplicity  $  n + 1 $
 +
consisting of closed sets of diameter  $  \leq  \epsilon $.
 +
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  $  X $,
 +
one uses the notion of the diameter of a set, which is related to the metric, rather than the topology, of  $  X $.
 +
However, it can be proved that the number  $  \mathop{\rm dim}  X $
 +
thus defined is nevertheless a topological invariant of  $  X $,
 +
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  $  \mathop{\rm dim}  X $
 +
can also be given by a direct topological definition, relying only on the topology of  $  X $.
 +
 
 +
A covering of a given topological space is any finite collection of open subsets whose union is the whole space. A covering $  \alpha  ^  \prime  $
 +
is finer than a covering $  \alpha $
 +
if $  \alpha  ^  \prime  $
 +
is inscribed in $  \alpha $,  
 +
that is, if each element of $  \alpha  ^  \prime  $
 +
is a subset of at least one element of $  \alpha $.  
 +
It turns out that the dimension $  \mathop{\rm dim}  X $
 +
can be defined as follows: The number $  \mathop{\rm dim}  X $
 +
is the smallest integer $  n $
 +
such that for every covering of $  X $
 +
there is a covering of multiplicity $  n + 1 $
 +
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 $  \mathop{\rm dim}  X $
 +
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
 
One of the main problems of dimension theory is the determination of the widest conditions under which the fundamental Urysohn identity holds, namely
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250065.png" /></td> </tr></table>
+
$$
 +
\mathop{\rm ind}  X  = \
 +
\mathop{\rm Ind}  X  = \
 +
\mathop{\rm dim}  X.
 +
$$
  
 
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
 
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
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250066.png" /></td> </tr></table>
+
$$
 +
\mathop{\rm ind}  X  \leq  \
 +
\mathop{\rm Ind}  X  = \
 +
\mathop{\rm dim}  X,
 +
$$
  
 
and for Hausdorff compacta the Aleksandrov formula
 
and for Hausdorff compacta the Aleksandrov formula
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250067.png" /></td> </tr></table>
+
$$
 +
\mathop{\rm dim}  X  \leq  \
 +
\mathop{\rm ind}  X  \leq  \
 +
\mathop{\rm Ind}  X.
 +
$$
  
There are, however, Hausdorff compacta <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250068.png" /> for which
+
There are, however, Hausdorff compacta $  X $
 +
for which
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250069.png" /></td> </tr></table>
+
$$
 +
\mathop{\rm dim}  X  \neq \
 +
\mathop{\rm ind}  X
 +
$$
  
(the Lunts–Lokutsievskii example) and Hausdorff compacta <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250070.png" /> for which
+
(the Lunts–Lokutsievskii example) and Hausdorff compacta $  X $
 +
for which
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250071.png" /></td> </tr></table>
+
$$
 +
\mathop{\rm ind}  X  \neq \
 +
\mathop{\rm Ind}  X
 +
$$
  
 
(Filippov's example).
 
(Filippov's example).
  
The following Nöbeling–Pontryagin theorem is very informative: A necessary and sufficient condition for a topological space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250072.png" /> to be homeomorphic to a subspace of a Euclidean space of finite dimension is that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250073.png" /> 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.
+
The following Nöbeling–Pontryagin theorem is very informative: A necessary and sufficient condition for a topological space $  X $
 +
to be homeomorphic to a subspace of a Euclidean space of finite dimension is that $  X $
 +
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250075.png" />-shifts is of particular interest: A compactum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250076.png" /> in some Euclidean space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250077.png" /> has dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250078.png" /> if and only if for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250079.png" /> it can be transformed into a polyhedron of dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250080.png" /> by means of an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250081.png" />-shift in the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250082.png" /> (here an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250084.png" />-shift of a subspace <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250085.png" /> of a Euclidean space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250086.png" /> is a continuous mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250087.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250088.png" /> into the Euclidean space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250089.png" /> containing it, under which the distance <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250090.png" /> of any point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250091.png" /> from its image <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250092.png" /> is less than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250093.png" />). The intuitive meaning of this theorem resides in the fact that every compactum of a given finite dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250094.png" />, regarded as a set in some Euclidean space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250095.png" />, can by an arbitrarily small modification (which consists of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250096.png" />-shift) be transformed into a polyhedron of the same, but not of smaller, dimension. This theorem, as well as the definition of the dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250097.png" /> for compacta, can be restated in purely topological terms, where again  "arbitrarily small"  numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250098.png" /> are replaced by  "arbitrarily fine"  coverings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d03250099.png" />. 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500100.png" />-dimensional normal space is  "similar"  and even  "differs arbitrarily little from"  an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500101.png" />-dimensional polyhedron.
+
In this connection, the so-called theorem on $  \epsilon $-
 +
shifts is of particular interest: A compactum $  X $
 +
in some Euclidean space $  \mathbf R  ^ {m} $
 +
has dimension $  \mathop{\rm dim}  X \leq  n $
 +
if and only if for any $  \epsilon > 0 $
 +
it can be transformed into a polyhedron of dimension $  \leq  n $
 +
by means of an $  \epsilon $-
 +
shift in the space $  \mathbf R  ^ {m} $(
 +
here an $  \epsilon $-
 +
shift of a subspace $  X $
 +
of a Euclidean space $  \mathbf R  ^ {m} $
 +
is a continuous mapping $  f $
 +
of $  X $
 +
into the Euclidean space $  \mathbf R  ^ {m} $
 +
containing it, under which the distance $  \rho ( x, fx) $
 +
of any point $  x \in X $
 +
from its image $  fx $
 +
is less than $  \epsilon $).  
 +
The intuitive meaning of this theorem resides in the fact that every compactum of a given finite dimension $  n $,  
 +
regarded as a set in some Euclidean space $  \mathbf R  ^ {m} $,  
 +
can by an arbitrarily small modification (which consists of the $  \epsilon $-
 +
shift) be transformed into a polyhedron of the same, but not of smaller, dimension. This theorem, as well as the definition of the dimension $  \mathop{\rm dim}  X $
 +
for compacta, can be restated in purely topological terms, where again  "arbitrarily small"  numbers $  \epsilon > 0 $
 +
are replaced by  "arbitrarily fine"  coverings $  \omega $.  
 +
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 $  n $-
 +
dimensional normal space is  "similar"  and even  "differs arbitrarily little from"  an $  n $-
 +
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500102.png" /> be a continuous mapping from a (normal) space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500103.png" /> onto an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500104.png" />-dimensional ball <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500105.png" /> with boundary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500106.png" />. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500107.png" /> be the pre-image of the sphere <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500108.png" /> under this mapping, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500109.png" />. A mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500110.png" /> is called essential if every continuous mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500111.png" /> that coincides with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500112.png" /> at all points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500113.png" /> is a mapping onto the whole ball <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500114.png" />. The celebrated Aleksandrov theorem states that a normal space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500115.png" /> has dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500116.png" /> if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500117.png" /> can be essentially mapped onto an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500118.png" />-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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500119.png" /> of dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500120.png" /> is the union of a finite or countable number of closed subsets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500121.png" />, then for at least one of these <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500122.png" /> one has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500123.png" />.
+
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 $  f $
 +
be a continuous mapping from a (normal) space $  X $
 +
onto an $  n $-
 +
dimensional ball $  Q  ^ {n} $
 +
with boundary $  S ^ {n - 1 } $.  
 +
Let $  \Phi \subset  X $
 +
be the pre-image of the sphere $  S ^ {n - 1 } $
 +
under this mapping, $  \Phi = f  ^ {-} 1 S ^ {n - 1 } $.  
 +
A mapping $  f: X \rightarrow Q  ^ {n} $
 +
is called essential if every continuous mapping $  g: X \rightarrow Q  ^ {n} $
 +
that coincides with $  f $
 +
at all points $  x \in \Phi $
 +
is a mapping onto the whole ball $  Q  ^ {n} $.  
 +
The celebrated Aleksandrov theorem states that a normal space $  X $
 +
has dimension $  \mathop{\rm dim}  X \geq  n $
 +
if and only if $  X $
 +
can be essentially mapped onto an $  n $-
 +
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 $  X $
 +
of dimension $  \mathop{\rm dim}  X = n $
 +
is the union of a finite or countable number of closed subsets $  \Phi _ {k} $,  
 +
then for at least one of these $  \Phi _ {k} $
 +
one has $  \mathop{\rm dim}  \Phi _ {k} = n $.
  
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|homological dimension of a space]] is connected with the concepts of a cycle and homology, and hence assumes that alongside with the topological space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500124.png" /> one is also given a commutative group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500125.png" />, called the coefficient group. Then one can speak of cycles of the compactum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500126.png" /> with this coefficient group, of their supports <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500127.png" />, and, in particular, of cycles homologous to zero in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500128.png" /> for the coefficient domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500129.png" />, 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.
+
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|homological dimension of a space]] is connected with the concepts of a cycle and homology, and hence assumes that alongside with the topological space $  X $
 +
one is also given a commutative group $  \mathfrak G $,  
 +
called the coefficient group. Then one can speak of cycles of the compactum $  X $
 +
with this coefficient group, of their supports $  \Phi \subset  X $,  
 +
and, in particular, of cycles homologous to zero in $  X $
 +
for the coefficient domain $  \mathfrak G $,  
 +
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500130.png" /> with coefficient group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500131.png" /> as the largest integer <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500132.png" /> for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500133.png" /> has an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500134.png" />-dimensional cycle <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500135.png" /> homologous to zero in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500136.png" />, but not homologous to zero on some support <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500137.png" /> of it. It turns out that if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500138.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500139.png" /> is the homological dimension for the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500140.png" /> 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.
+
After this, one can define the homological dimension of a compactum $  X $
 +
with coefficient group $  \mathfrak G $
 +
as the largest integer $  n $
 +
for which $  X $
 +
has an $  ( n - 1) $-
 +
dimensional cycle $  Z ^ {n - 1 } $
 +
homologous to zero in $  X $,  
 +
but not homologous to zero on some support $  \Phi $
 +
of it. It turns out that if $  \mathop{\rm dim}  X < \infty $,  
 +
then $  \mathop{\rm dim}  X $
 +
is the homological dimension for the group $  \kappa $
 +
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|cohomological dimension]]. Moreover, the cohomological dimension of a compactum for a given discrete group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500141.png" /> is the homological dimension for the compact Hausdorff group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500142.png" /> dual to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500143.png" /> in the sense of Pontryagin's theory of characters. Hence it follows that if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500144.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032500/d032500145.png" /> coincides with the cohomological dimension for the group of integers.
+
If from cycles and homology one moves to cocycles and cohomology, then one obtains the [[Cohomological dimension|cohomological dimension]]. Moreover, the cohomological dimension of a compactum for a given discrete group $  \mathfrak A $
 +
is the homological dimension for the compact Hausdorff group $  \mathfrak B $
 +
dual to $  \mathfrak A $
 +
in the sense of Pontryagin's theory of characters. Hence it follows that if $  \mathop{\rm dim}  X < \infty $,  
 +
then $  \mathop{\rm dim}  X $
 +
coincides with the cohomological dimension for the group of integers.
  
 
For references see [[Dimension|Dimension]].
 
For references see [[Dimension|Dimension]].
 
 
  
 
====Comments====
 
====Comments====

Latest revision as of 19:35, 5 June 2020


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 $ X $ 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 $ - 1 $. Assuming that the spaces of dimension $ \leq n $, and hence their subsets, have been defined, one says that a space $ X $ has dimension $ \leq n + 1 $ if between any two disjoint closed sets $ A $ and $ B $ of $ X $ there is a partition $ \Phi $ of dimension $ \leq n $( here a partition between two sets $ A $ and $ B $ in a space $ X $ is a closed subset $ \Phi $ of this space such that the complement $ X \setminus \Phi $ is the sum of two disjoint open sets $ C $ and $ D $, one of which contains $ A $ and the other one $ B $). 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 $ A $, $ B $ 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 $ \mathop{\rm Ind} X $ and $ \mathop{\rm ind} X $. Always $ \mathop{\rm ind} X \leq \mathop{\rm Ind} X $.

A completely different approach to the concept of dimension originated from H. Lebesgue, who stated the following theorem: An $ n $- dimensional cube $ Q ^ {n} $ in the sense of elementary geometry can be covered by a finite number of closed sets (even cubes) of diameter $ < \epsilon $, for any positive number $ \epsilon $, in such a way that the multiplicity (or order) of this covering is $ n + 1 $, whereas, for a sufficiently small $ \epsilon > 0 $, there is no covering of $ Q ^ {n} $ with multiplicity $ < n + 1 $ and consisting of closed sets of diameter $ < \epsilon $( here the multiplicity of some (finite) collection of sets is the largest integer $ m $ for which in the given collection there are $ m $ sets with non-empty intersection). Nowadays one can reformulate Lebesgue's theorem as follows: The number of coordinates of the cube $ Q ^ {n} $ is the smallest integer $ n $ for which there is an arbitrarily fine (that is, consisting of elements with arbitrarily small diameter) covering of multiplicity $ n + 1 $ by closed sets. This theorem, proved for the first time by Brouwer, leads to the following definition. The (covering) dimension $ \mathop{\rm dim} X $ of a compactum $ X $ is the smallest number $ n $ such that for any $ \epsilon > 0 $ the compactum $ X $ has a covering of multiplicity $ n + 1 $ consisting of closed sets of diameter $ \leq \epsilon $. 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 $ X $, one uses the notion of the diameter of a set, which is related to the metric, rather than the topology, of $ X $. However, it can be proved that the number $ \mathop{\rm dim} X $ thus defined is nevertheless a topological invariant of $ X $, 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 $ \mathop{\rm dim} X $ can also be given by a direct topological definition, relying only on the topology of $ X $.

A covering of a given topological space is any finite collection of open subsets whose union is the whole space. A covering $ \alpha ^ \prime $ is finer than a covering $ \alpha $ if $ \alpha ^ \prime $ is inscribed in $ \alpha $, that is, if each element of $ \alpha ^ \prime $ is a subset of at least one element of $ \alpha $. It turns out that the dimension $ \mathop{\rm dim} X $ can be defined as follows: The number $ \mathop{\rm dim} X $ is the smallest integer $ n $ such that for every covering of $ X $ there is a covering of multiplicity $ n + 1 $ 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 $ \mathop{\rm dim} X $ 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

$$ \mathop{\rm ind} X = \ \mathop{\rm Ind} X = \ \mathop{\rm dim} X. $$

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

$$ \mathop{\rm ind} X \leq \ \mathop{\rm Ind} X = \ \mathop{\rm dim} X, $$

and for Hausdorff compacta the Aleksandrov formula

$$ \mathop{\rm dim} X \leq \ \mathop{\rm ind} X \leq \ \mathop{\rm Ind} X. $$

There are, however, Hausdorff compacta $ X $ for which

$$ \mathop{\rm dim} X \neq \ \mathop{\rm ind} X $$

(the Lunts–Lokutsievskii example) and Hausdorff compacta $ X $ for which

$$ \mathop{\rm ind} X \neq \ \mathop{\rm Ind} X $$

(Filippov's example).

The following Nöbeling–Pontryagin theorem is very informative: A necessary and sufficient condition for a topological space $ X $ to be homeomorphic to a subspace of a Euclidean space of finite dimension is that $ X $ 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 $ \epsilon $- shifts is of particular interest: A compactum $ X $ in some Euclidean space $ \mathbf R ^ {m} $ has dimension $ \mathop{\rm dim} X \leq n $ if and only if for any $ \epsilon > 0 $ it can be transformed into a polyhedron of dimension $ \leq n $ by means of an $ \epsilon $- shift in the space $ \mathbf R ^ {m} $( here an $ \epsilon $- shift of a subspace $ X $ of a Euclidean space $ \mathbf R ^ {m} $ is a continuous mapping $ f $ of $ X $ into the Euclidean space $ \mathbf R ^ {m} $ containing it, under which the distance $ \rho ( x, fx) $ of any point $ x \in X $ from its image $ fx $ is less than $ \epsilon $). The intuitive meaning of this theorem resides in the fact that every compactum of a given finite dimension $ n $, regarded as a set in some Euclidean space $ \mathbf R ^ {m} $, can by an arbitrarily small modification (which consists of the $ \epsilon $- shift) be transformed into a polyhedron of the same, but not of smaller, dimension. This theorem, as well as the definition of the dimension $ \mathop{\rm dim} X $ for compacta, can be restated in purely topological terms, where again "arbitrarily small" numbers $ \epsilon > 0 $ are replaced by "arbitrarily fine" coverings $ \omega $. 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 $ n $- dimensional normal space is "similar" and even "differs arbitrarily little from" an $ n $- 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 $ f $ be a continuous mapping from a (normal) space $ X $ onto an $ n $- dimensional ball $ Q ^ {n} $ with boundary $ S ^ {n - 1 } $. Let $ \Phi \subset X $ be the pre-image of the sphere $ S ^ {n - 1 } $ under this mapping, $ \Phi = f ^ {-} 1 S ^ {n - 1 } $. A mapping $ f: X \rightarrow Q ^ {n} $ is called essential if every continuous mapping $ g: X \rightarrow Q ^ {n} $ that coincides with $ f $ at all points $ x \in \Phi $ is a mapping onto the whole ball $ Q ^ {n} $. The celebrated Aleksandrov theorem states that a normal space $ X $ has dimension $ \mathop{\rm dim} X \geq n $ if and only if $ X $ can be essentially mapped onto an $ n $- 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 $ X $ of dimension $ \mathop{\rm dim} X = n $ is the union of a finite or countable number of closed subsets $ \Phi _ {k} $, then for at least one of these $ \Phi _ {k} $ one has $ \mathop{\rm dim} \Phi _ {k} = n $.

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 $ X $ one is also given a commutative group $ \mathfrak G $, called the coefficient group. Then one can speak of cycles of the compactum $ X $ with this coefficient group, of their supports $ \Phi \subset X $, and, in particular, of cycles homologous to zero in $ X $ for the coefficient domain $ \mathfrak G $, 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 $ X $ with coefficient group $ \mathfrak G $ as the largest integer $ n $ for which $ X $ has an $ ( n - 1) $- dimensional cycle $ Z ^ {n - 1 } $ homologous to zero in $ X $, but not homologous to zero on some support $ \Phi $ of it. It turns out that if $ \mathop{\rm dim} X < \infty $, then $ \mathop{\rm dim} X $ is the homological dimension for the group $ \kappa $ 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 $ \mathfrak A $ is the homological dimension for the compact Hausdorff group $ \mathfrak B $ dual to $ \mathfrak A $ in the sense of Pontryagin's theory of characters. Hence it follows that if $ \mathop{\rm dim} X < \infty $, then $ \mathop{\rm dim} X $ coincides with the cohomological dimension for the group of integers.

For references see Dimension.

Comments

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.

How to Cite This Entry:
Dimension theory. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Dimension_theory&oldid=14136
This article was adapted from an original article by P.S. Aleksandrov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article