Namespaces
Variants
Actions

Difference between revisions of "Dimension"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
''of a topological space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d0324501.png" />''
+
<!--
 +
d0324501.png
 +
$#A+1 = 499 n = 0
 +
$#C+1 = 499 : ~/encyclopedia/old_files/data/D032/D.0302450 Dimension
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
An integral invariant <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d0324502.png" /> defined as follows. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d0324503.png" /> if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d0324504.png" />. A non-empty topological space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d0324505.png" /> is said to be at most <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d0324506.png" />-dimensional, written as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d0324507.png" />, if in any finite open covering of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d0324508.png" /> one can inscribe a finite open covering of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d0324509.png" /> of multiplicity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245010.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245011.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245012.png" /> for some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245013.png" /> then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245014.png" /> is said to be finite-dimensional, written as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245015.png" />, and one defines
+
{{TEX|auto}}
 +
{{TEX|done}}
  
<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/d032450/d03245016.png" /></td> </tr></table>
+
''of a topological space  $  X $''
  
Here if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245017.png" />, then the space is called <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245019.png" />-dimensional. The concept of the dimension of a topological space generalizes the elementary geometrical concept of the number of coordinates of a Euclidean space (and a polyhedron), since the dimension of an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245020.png" />-dimensional Euclidean space (and any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245021.png" />-dimensional polyhedron) is equal to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245022.png" /> (the Lebesgue–Brouwer theorem).
+
An integral invariant  $  \mathop{\rm dim}  X $
 +
defined as follows.  $  \mathop{\rm dim}  X = - 1 $
 +
if and only if $  X = \emptyset $.  
 +
A non-empty topological space $  X $
 +
is said to be at most  $  n $-
 +
dimensional, written as  $  \mathop{\rm dim}  X \leq  n $,
 +
if in any finite open covering of $  X $
 +
one can inscribe a finite open covering of $  X $
 +
of multiplicity  $  \leq  n + 1 $,  
 +
$  n = 0, 1 , .  . . $.  
 +
If  $  \mathop{\rm dim}  X \leq  n $
 +
for some  $  n = - 1, 0, 1 \dots $
 +
then  $  X $
 +
is said to be finite-dimensional, written as  $  \mathop{\rm dim}  X < \infty $,
 +
and one defines
  
The importance of the concept of the dimension of a topological space is revealed by the Nöbeling–Pontryagin–Hurewicz–Kuratowski theorem: An <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245023.png" />-dimensional metrizable space with a countable base can be imbedded in the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245024.png" />-dimensional Euclidean space. Thus, the class of spaces that are topologically equivalent to subspaces of all possible <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245025.png" />-dimensional Euclidean spaces, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245026.png" /> coincides with the class of finite-dimensional metrizable spaces with a countable base.
+
$$
 +
\mathop{\rm dim}  X  = \min
 +
\{ {n } : { \mathop{\rm dim}  X \leq  n } \}
 +
.
 +
$$
  
The dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245027.png" /> is sometimes called the [[Lebesgue dimension|Lebesgue dimension]], since its definition arises from Lebesgue's theorem on tilings: An <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245028.png" />-dimensional cube has, for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245029.png" />, a finite closed covering of multiplicity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245030.png" /> such that all elements have diameter <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245031.png" />; there exists an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245032.png" /> for which the multiplicity of any finite closed covering of an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245033.png" />-dimensional cube is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245034.png" /> if the diameters of the elements of this covering are <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245035.png" />.
+
Here if  $  \mathop{\rm dim}  X = n $,
 +
then the space is called  $  n $-
 +
dimensional. The concept of the dimension of a topological space generalizes the elementary geometrical concept of the number of coordinates of a Euclidean space (and a polyhedron), since the dimension of an  $  n $-
 +
dimensional Euclidean space (and any  $  n $-
 +
dimensional polyhedron) is equal to  $  n $(
 +
the Lebesgue–Brouwer theorem).
 +
 
 +
The importance of the concept of the dimension of a topological space is revealed by the Nöbeling–Pontryagin–Hurewicz–Kuratowski theorem: An  $  n $-
 +
dimensional metrizable space with a countable base can be imbedded in the  $  ( 2n + 1) $-
 +
dimensional Euclidean space. Thus, the class of spaces that are topologically equivalent to subspaces of all possible  $  n $-
 +
dimensional Euclidean spaces,  $  n = 1, 2 \dots $
 +
coincides with the class of finite-dimensional metrizable spaces with a countable base.
 +
 
 +
The dimension  $  \mathop{\rm dim}  X $
 +
is sometimes called the [[Lebesgue dimension|Lebesgue dimension]], since its definition arises from Lebesgue's theorem on tilings: An $  n $-
 +
dimensional cube has, for any $  \epsilon > 0 $,  
 +
a finite closed covering of multiplicity $  \leq  n + 1 $
 +
such that all elements have diameter < \epsilon $;  
 +
there exists an $  \epsilon _ {0} > 0 $
 +
for which the multiplicity of any finite closed covering of an $  n $-
 +
dimensional cube is $  \geq  n + 1 $
 +
if the diameters of the elements of this covering are < \epsilon _ {0} $.
  
 
Another, inductive, approach (see [[Inductive dimension|Inductive dimension]]) to the definition of the dimension of a topological space is possible, based on the separation of the space by subspaces of smaller dimension. This approach to the concept of dimension originates from H. Poincaré, L.E.J. Brouwer, P.S. Urysohn, and K. Menger. In the case of metrizable spaces it is equivalent to Lebesgue's definition.
 
Another, inductive, approach (see [[Inductive dimension|Inductive dimension]]) to the definition of the dimension of a topological space is possible, based on the separation of the space by subspaces of smaller dimension. This approach to the concept of dimension originates from H. Poincaré, L.E.J. Brouwer, P.S. Urysohn, and K. Menger. In the case of metrizable spaces it is equivalent to Lebesgue's definition.
Line 17: Line 64:
 
Below, all topological spaces under consideration are supposed to be normal and Hausdorff (cf. [[Hausdorff space|Hausdorff space]]; [[Normal space|Normal space]]). In this case, in the definition of dimension one can without harm replace the open coverings to be inscribed by closed ones.
 
Below, all topological spaces under consideration are supposed to be normal and Hausdorff (cf. [[Hausdorff space|Hausdorff space]]; [[Normal space|Normal space]]). In this case, in the definition of dimension one can without harm replace the open coverings to be inscribed by closed ones.
  
Lebesgue's approach to the definition of dimension (in contrast to the inductive approach) makes it possible to geometrize the concept of dimension for any space by comparing the original topological space with most simple geometrical formations — polyhedra (cf. [[Polyhedron|Polyhedron]]). Roughly speaking, a space is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245036.png" />-dimensional if and only if it differs arbitrarily little from an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245037.png" />-dimensional polyhedron. More precisely, there is Aleksandrov's theorem on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245039.png" />-mappings: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245040.png" /> if and only if for any finite open covering <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245041.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245042.png" /> there is an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245043.png" />-mapping from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245044.png" /> onto an at most <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245045.png" />-dimensional, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245046.png" /> (compact) polyhedron. This theorem can be particularly visualized for compacta: A compactum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245047.png" /> has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245048.png" /> if and only if for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245049.png" /> there is an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245050.png" />-mapping from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245051.png" /> onto an at most <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245052.png" />-dimensional polyhedron. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245053.png" /> also lies in a Euclidean or Hilbert space, then the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245054.png" />-mapping can be replaced by an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245055.png" />-shift (Aleksandrov's theorem on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245058.png" />-mappings and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245059.png" />-shifts).
+
Lebesgue's approach to the definition of dimension (in contrast to the inductive approach) makes it possible to geometrize the concept of dimension for any space by comparing the original topological space with most simple geometrical formations — polyhedra (cf. [[Polyhedron|Polyhedron]]). Roughly speaking, a space is $  n $-
 +
dimensional if and only if it differs arbitrarily little from an $  n $-
 +
dimensional polyhedron. More precisely, there is Aleksandrov's theorem on $  \omega $-
 +
mappings: $  \mathop{\rm dim}  X \leq  n $
 +
if and only if for any finite open covering $  \omega $
 +
of $  X $
 +
there is an $  \omega $-
 +
mapping from $  X $
 +
onto an at most $  n $-
 +
dimensional, $  n = 0, 1 \dots $(
 +
compact) polyhedron. This theorem can be particularly visualized for compacta: A compactum $  X $
 +
has $  \mathop{\rm dim}  X \leq  n $
 +
if and only if for any $  \epsilon > 0 $
 +
there is an $  \epsilon $-
 +
mapping from $  X $
 +
onto an at most $  n $-
 +
dimensional polyhedron. If $  X $
 +
also lies in a Euclidean or Hilbert space, then the $  \epsilon $-
 +
mapping can be replaced by an $  \epsilon $-
 +
shift (Aleksandrov's theorem on $  \epsilon $-
 +
mappings and $  \epsilon $-
 +
shifts).
  
The following statement makes it possible to determine the dimension of a space by comparing it with all possible <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245060.png" />-dimensional cubes: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245061.png" /> if and only if the space has an [[Essential mapping|essential mapping]] onto an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245062.png" />-dimensional cube, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245063.png" /> (Aleksandrov's theorem on essential mappings).
+
The following statement makes it possible to determine the dimension of a space by comparing it with all possible $  n $-
 +
dimensional cubes: $  \mathop{\rm dim}  X \geq  n $
 +
if and only if the space has an [[Essential mapping|essential mapping]] onto an $  n $-
 +
dimensional cube, $  n = 0, 1 , . . . $(
 +
Aleksandrov's theorem on essential mappings).
  
This theorem can be given the following form: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245064.png" /> if and only if, for any set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245065.png" /> closed in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245066.png" /> and for any continuous mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245067.png" /> into the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245068.png" />-dimensional sphere, there is a continuous extension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245069.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245070.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245071.png" />.
+
This theorem can be given the following form: $  \mathop{\rm dim}  X \leq  n $
 +
if and only if, for any set $  A $
 +
closed in $  X $
 +
and for any continuous mapping $  f: A \rightarrow S  ^ {n} $
 +
into the $  n $-
 +
dimensional sphere, there is a continuous extension $  F: X \rightarrow S  ^ {n} $,  
 +
$  n = 0, 1 \dots $
 +
of $  f $.
  
The following characterization of dimension indicates the role of this concept in problems of the existence of solutions to systems of equations: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245072.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245073.png" /> if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245074.png" /> has a system of disjoint pairs of closed sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245075.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245076.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245077.png" />, such that for any functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245078.png" /> continuous on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245079.png" /> and satisfying the conditions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245080.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245081.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245082.png" />, there is a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245083.png" /> at which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245084.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245085.png" /> (this is the Otto–Eilenberg–Hemmingsen theorem on partitions).
+
The following characterization of dimension indicates the role of this concept in problems of the existence of solutions to systems of equations: $  \mathop{\rm dim}  X \geq  n $,
 +
$  n = 1, 2 \dots $
 +
if and only if $  X $
 +
has a system of disjoint pairs of closed sets $  A _ {i} $,  
 +
$  B _ {i} $,  
 +
$  i = 1 \dots n $,  
 +
such that for any functions $  f _ {i} $
 +
continuous on $  X $
 +
and satisfying the conditions $  f _ {i} \mid  _ {A _ {i}  } > 0 $,  
 +
$  f _ {i} \mid  _ {B _ {i}  } < 0 $,  
 +
$  i = 1 \dots n $,  
 +
there is a point $  x \in X $
 +
at which $  f _ {i} ( x) = 0 $,  
 +
$  i = 1 \dots n $(
 +
this is the Otto–Eilenberg–Hemmingsen theorem on partitions).
  
One of the most important properties of dimension is expressed by the Menger–Urysohn–Čech countable closed sum theorem: If the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245086.png" /> is a finite or countable sum of closed subsets of dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245087.png" />, then also <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245088.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245089.png" />. In this theorem, the condition that the sum be finite or countable may be replaced by the condition of local finiteness. The statement for the large and small inductive dimensions analogous to this sum theorem already fails in the class of Hausdorff compacta. The following statements are among the fundamental general facts of dimension theory, and make it possible to reduce the consideration of arbitrary spaces to that of Hausdorff compacta. For any normal space
+
One of the most important properties of dimension is expressed by the Menger–Urysohn–Čech countable closed sum theorem: If the space $  X $
 +
is a finite or countable sum of closed subsets of dimension $  \leq  n $,  
 +
then also $  \mathop{\rm dim}  X \leq  n $,
 +
$  n = 0, 1 , . . . $.  
 +
In this theorem, the condition that the sum be finite or countable may be replaced by the condition of local finiteness. The statement for the large and small inductive dimensions analogous to this sum theorem already fails in the class of Hausdorff compacta. The following statements are among the fundamental general facts of dimension theory, and make it possible to reduce the consideration of arbitrary spaces to that of Hausdorff compacta. For any normal space
  
a) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245090.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245091.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245092.png" /> is the [[Stone–Čech compactification|Stone–Čech compactification]] of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245093.png" />; at the same time, the inequality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245094.png" /> is possible;
+
a) $  \mathop{\rm dim}  \beta X = \mathop{\rm dim}  X $,  
 +
$  \mathop{\rm Ind}  \beta X = \mathop{\rm Ind}  X $,  
 +
where $  \beta X $
 +
is the [[Stone–Čech compactification|Stone–Čech compactification]] of $  X $;  
 +
at the same time, the inequality $  \mathop{\rm ind}  \beta X > \mathop{\rm ind}  X $
 +
is possible;
  
b) there exists a compactification <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245095.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245096.png" /> with weight (cf. [[Weight of a topological space|Weight of a topological space]]) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245097.png" /> equal to the weight <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245098.png" /> and with dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d03245099.png" /> equal to the dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450100.png" />; the analogous statement also holds for the large inductive dimension. The case of a countable weight of the space is especially interesting, since in this case the extension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450101.png" /> is metrizable.
+
b) there exists a compactification $  bX $
 +
of $  X $
 +
with weight (cf. [[Weight of a topological space|Weight of a topological space]]) $  w ( bX) $
 +
equal to the weight $  wX $
 +
and with dimension $  \mathop{\rm dim}  bX $
 +
equal to the dimension $  \mathop{\rm dim}  X $;  
 +
the analogous statement also holds for the large inductive dimension. The case of a countable weight of the space is especially interesting, since in this case the extension $  bX $
 +
is metrizable.
  
Statement b) can be strengthened: For any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450102.png" /> and any infinite cardinal number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450103.png" /> there is a Hausdorff compactum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450104.png" /> of weight <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450105.png" /> and dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450106.png" /> containing a homeomorphic image of every normal space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450107.png" /> of weight <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450108.png" /> and dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450109.png" /> (the theorem on the universal Hausdorff compactum of given weight and dimension). The analogous statement also holds for the large inductive dimension. Here for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450110.png" /> one can take the perfect Cantor set, and as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450111.png" /> the Menger universal curve.
+
Statement b) can be strengthened: For any $  n = 0, 1 \dots $
 +
and any infinite cardinal number $  \tau $
 +
there is a Hausdorff compactum $  \Pi _  \tau  ^ {n} $
 +
of weight $  \tau $
 +
and dimension $  \mathop{\rm dim}  \Pi _  \tau  ^ {n} = n $
 +
containing a homeomorphic image of every normal space $  X $
 +
of weight $  \leq  \tau $
 +
and dimension $  \mathop{\rm dim}  X \leq  n $(
 +
the theorem on the universal Hausdorff compactum of given weight and dimension). The analogous statement also holds for the large inductive dimension. Here for $  \Pi _ {\aleph _ {0}  }  ^ {0} $
 +
one can take the perfect Cantor set, and as $  \Pi _ {\aleph _ {0}  }  ^ {1} $
 +
the Menger universal curve.
  
It would seem that dimension should possess the monotonicity property: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450112.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450113.png" />. This is so if a) the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450114.png" /> is closed in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450115.png" /> or is strongly paracompact; or b) the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450116.png" /> is metrizable (and even perfectly normal). However, already for a subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450117.png" /> of a hereditarily normal space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450118.png" /> one may have <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450119.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450120.png" />. But always <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450121.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450122.png" />.
+
It would seem that dimension should possess the monotonicity property: $  \mathop{\rm dim}  A \leq  \mathop{\rm dim}  X $
 +
if $  A \subset  X $.  
 +
This is so if a) the set $  A $
 +
is closed in $  X $
 +
or is strongly paracompact; or b) the space $  X $
 +
is metrizable (and even perfectly normal). However, already for a subset $  A $
 +
of a hereditarily normal space $  X $
 +
one may have $  \mathop{\rm dim}  A > \mathop{\rm dim}  X $
 +
and $  \mathop{\rm Ind}  A > \mathop{\rm Ind}  X $.  
 +
But always $  \mathop{\rm ind}  A \leq  \mathop{\rm ind}  X $
 +
for $  A \subset  X $.
  
 
One of the main problems in dimension theory is the behaviour of dimension under continuous mappings. In the case of closed mappings (these also include all continuous mappings of Hausdorff compacta) the answer is given by the formulas of W. Hurewicz, which he originally obtained for the class of spaces with a countable base.
 
One of the main problems in dimension theory is the behaviour of dimension under continuous mappings. In the case of closed mappings (these also include all continuous mappings of Hausdorff compacta) the answer is given by the formulas of W. Hurewicz, which he originally obtained for the class of spaces with a countable base.
  
Hurewicz' formula for mappings raising the dimension: If a mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450123.png" /> is continuous and closed, then
+
Hurewicz' formula for mappings raising the dimension: If a mapping $  f: X \rightarrow Y $
 +
is continuous and closed, then
  
<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/d032450/d032450124.png" /></td> </tr></table>
+
$$
 +
\mathop{\rm mult}  f +  \mathop{\rm dim}  X - 1  \geq    \mathop{\rm dim}  Y,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450125.png" /> is the multiplicity of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450126.png" />.
+
where $  \mathop{\rm mult}  f = \sup \{ {| f ^ { - 1 } y | } : {y \in Y } \} $
 +
is the multiplicity of $  f $.
  
Hurewicz' formula for mappings lowering the dimension: For a continuous closed mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450127.png" /> onto a paracompactum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450128.png" />, the inequality
+
Hurewicz' formula for mappings lowering the dimension: For a continuous closed mapping $  f: X \rightarrow Y $
 +
onto a paracompactum $  Y $,  
 +
the inequality
  
<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/d032450/d032450129.png" /></td> <td valign="top" style="width:5%;text-align:right;">(1)</td></tr></table>
+
$$ \tag{1 }
 +
\mathop{\rm dim}  X - \mathop{\rm dim}  f  \leq    \mathop{\rm dim}  Y
 +
$$
  
 
holds, where
 
holds, where
  
<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/d032450/d032450130.png" /></td> </tr></table>
+
$$
 +
\mathop{\rm dim}  f  = \
 +
\sup \{ { \mathop{\rm dim}  f ^ { - 1 } y } : {y \in Y } \}
 +
.
 +
$$
  
For an arbitrary normal space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450131.png" /> this formula is, in general, false.
+
For an arbitrary normal space $  Y $
 +
this formula is, in general, false.
  
In the case of continuous mappings of finite-dimensional compacta, it has been established that a continuous mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450132.png" /> of dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450133.png" /> is a superposition of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450134.png" /> continuous mappings of dimension 1 (this is a precization of formula (1), and an analogue of the fact that a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450135.png" />-dimensional cube is the product of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450136.png" /> intervals).
+
In the case of continuous mappings of finite-dimensional compacta, it has been established that a continuous mapping $  f $
 +
of dimension $  \mathop{\rm dim}  f = k $
 +
is a superposition of $  k $
 +
continuous mappings of dimension 1 (this is a precization of formula (1), and an analogue of the fact that a $  k $-
 +
dimensional cube is the product of $  k $
 +
intervals).
  
In the case of open mappings one can show that the image of a zero-dimensional Hausdorff compactum is zero-dimensional and, at the same time, that the Hilbert cube is the image of a one-dimensional compactum, even if the corresponding mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450137.png" /> has dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450138.png" /> equal to zero. However, in the case of an open mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450139.png" /> of Hausdorff compacta <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450140.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450141.png" /> with multiplicity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450142.png" />, the equality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450143.png" /> holds.
+
In the case of open mappings one can show that the image of a zero-dimensional Hausdorff compactum is zero-dimensional and, at the same time, that the Hilbert cube is the image of a one-dimensional compactum, even if the corresponding mapping $  f $
 +
has dimension $  \mathop{\rm dim}  f $
 +
equal to zero. However, in the case of an open mapping $  f: X \rightarrow Y $
 +
of Hausdorff compacta $  X $
 +
and $  Y $
 +
with multiplicity $  \leq  \aleph _ {0} $,  
 +
the equality $  \mathop{\rm dim}  X = \mathop{\rm dim}  Y $
 +
holds.
  
 
The behaviour of dimension under topological products is described by the following assertions:
 
The behaviour of dimension under topological products is described by the following assertions:
  
a) there exist finite-dimensional compacta <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450144.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450145.png" /> for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450146.png" />;
+
a) there exist finite-dimensional compacta $  X $
 +
and $  Y $
 +
for which $  \mathop{\rm dim}  X \times Y < \mathop{\rm dim}  X +  \mathop{\rm dim}  Y $;
  
b) if one of the factors of the product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450147.png" /> is a Hausdorff compactum or metrizable, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450148.png" />;
+
b) if one of the factors of the product $  X \times Y $
 +
is a Hausdorff compactum or metrizable, then $  \mathop{\rm dim}  X \times Y \leq  \mathop{\rm dim}  X +  \mathop{\rm dim}  Y $;
  
c) there exist normal spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450149.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450150.png" /> for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450151.png" />.
+
c) there exist normal spaces $  X $
 +
and $  Y $
 +
for which $  \mathop{\rm dim}  X \times Y > \mathop{\rm dim}  X +  \mathop{\rm dim}  Y $.
  
In the case of Hausdorff compacta <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450152.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450153.png" /> one always has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450154.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450155.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450156.png" />, but one may have <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450157.png" />. If, however, the Hausdorff compacta <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450158.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450159.png" /> are perfectly normal or one-dimensional, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450160.png" />.
+
In the case of Hausdorff compacta $  X $
 +
and $  Y $
 +
one always has $  \mathop{\rm Ind}  X \times Y < \infty $
 +
if $  \mathop{\rm Ind}  X < \infty $
 +
and $  \mathop{\rm Ind}  Y < \infty $,  
 +
but one may have $  \mathop{\rm Ind}  X \times Y > \mathop{\rm Ind}  X +  \mathop{\rm Ind}  Y $.  
 +
If, however, the Hausdorff compacta $  X $
 +
and $  Y $
 +
are perfectly normal or one-dimensional, then $  \mathop{\rm Ind}  X \times Y \leq  \mathop{\rm Ind}  X +  \mathop{\rm Ind}  Y $.
  
 
Dimension theory is most meaningful, first, for the class of metric spaces with a countable base, and, secondly, for the class of all metric spaces. In the class of metric spaces with a countable base one has the Urysohn equalities
 
Dimension theory is most meaningful, first, for the class of metric spaces with a countable base, and, secondly, for the class of all metric spaces. In the class of metric spaces with a countable base one has the Urysohn equalities
  
<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/d032450/d032450161.png" /></td> <td valign="top" style="width:5%;text-align:right;">(2)</td></tr></table>
+
$$ \tag{2 }
 +
\mathop{\rm dim}  X  = \
 +
\mathop{\rm ind}  X  = \
 +
\mathop{\rm Ind}  X.
 +
$$
  
 
In the class of arbitrary metric spaces one has the Katětov equality
 
In the class of arbitrary metric spaces one has the Katětov equality
  
<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/d032450/d032450162.png" /></td> <td valign="top" style="width:5%;text-align:right;">(3)</td></tr></table>
+
$$ \tag{3 }
 +
\mathop{\rm dim}  X  =   \mathop{\rm Ind}  X ,
 +
$$
  
and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450163.png" /> is possible.
+
and $  \mathop{\rm ind}  X = 0 <  \mathop{\rm Ind}  X = 1 $
 +
is possible.
  
In the case of metric spaces the concept of an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450164.png" />-dimensional space can be reduced to the concept of a zero-dimensional space by the following two methods. For a metric space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450165.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450166.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450167.png" /> if and only if
+
In the case of metric spaces the concept of an $  n $-
 +
dimensional space can be reduced to the concept of a zero-dimensional space by the following two methods. For a metric space $  X $,
 +
$  \mathop{\rm dim}  X \leq  n $,  
 +
$  n = 0, 1 \dots $
 +
if and only if
  
a) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450168.png" /> can be represented by at most <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450169.png" /> zero-dimensional summands; or
+
a) $  X $
 +
can be represented by at most $  n + 1 $
 +
zero-dimensional summands; or
  
b) there exists a continuous closed mapping of multiplicity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450170.png" /> from a zero-dimensional metric space onto <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450171.png" />.
+
b) there exists a continuous closed mapping of multiplicity $  \leq  n + 1 $
 +
from a zero-dimensional metric space onto $  X $.
  
For any subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450172.png" /> of a metric space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450173.png" /> there is a subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450174.png" /> of type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450175.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450176.png" /> for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450177.png" />.
+
For any subset $  A $
 +
of a metric space $  X $
 +
there is a subset $  B \supset A $
 +
of type $  G _  \delta  $
 +
in $  X $
 +
for which $  \mathop{\rm dim}  B = \mathop{\rm dim}  A $.
  
In the class of metric spaces of weight <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450178.png" /> and dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450179.png" /> there exists a universal space (in the sense of imbedding). Dowker's theorem has played an important role in the dimension theory of metric (and more general) spaces: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450180.png" /> if and only if in any locally finite open covering of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450181.png" /> one can inscribe an open covering of multiplicity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450182.png" />.
+
In the class of metric spaces of weight $  \leq  \tau $
 +
and dimension $  \leq  n $
 +
there exists a universal space (in the sense of imbedding). Dowker's theorem has played an important role in the dimension theory of metric (and more general) spaces: $  \mathop{\rm dim}  X \leq  n $
 +
if and only if in any locally finite open covering of $  X $
 +
one can inscribe an open covering of multiplicity $  \leq  n + 1 $.
  
One of the most important problems in dimension theory is the problem of the relations between the Lebesgue dimension and the inductive dimensions. Although for an arbitrary space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450183.png" /> the values of the dimensions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450184.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450185.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450186.png" /> are, in general, pairwise distinct, for some classes of spaces that are in some sense close to metric spaces one has, e.g., the following:
+
One of the most important problems in dimension theory is the problem of the relations between the Lebesgue dimension and the inductive dimensions. Although for an arbitrary space $  X $
 +
the values of the dimensions $  \mathop{\rm dim}  X $,  
 +
$  \mathop{\rm ind}  X $,  
 +
$  \mathop{\rm Ind}  X $
 +
are, in general, pairwise distinct, for some classes of spaces that are in some sense close to metric spaces one has, e.g., the following:
  
a) if the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450187.png" /> admits a continuous closed mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450188.png" /> of dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450189.png" /> onto a metric space, then (3) holds, whence follow the equalities (2) for locally compact Hausdorff groups and their quotient spaces;
+
a) if the space $  X $
 +
admits a continuous closed mapping $  f $
 +
of dimension $  \mathop{\rm dim}  f = 0 $
 +
onto a metric space, then (3) holds, whence follow the equalities (2) for locally compact Hausdorff groups and their quotient spaces;
  
b) if there exists a continuous closed mapping from a metric space onto <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450190.png" />, then (2) holds.
+
b) if there exists a continuous closed mapping from a metric space onto $  X $,  
 +
then (2) holds.
  
One more general condition for equality (3) to hold for a paracompactum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450191.png" /> is as follows: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450192.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450193.png" /> is the image of a zero-dimensional space under a closed mapping of multiplicity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450194.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450195.png" />.
+
One more general condition for equality (3) to hold for a paracompactum $  X $
 +
is as follows: $  \mathop{\rm dim}  X = n $
 +
and $  X $
 +
is the image of a zero-dimensional space under a closed mapping of multiplicity $  \leq  n + 1 $,
 +
$  n = 0, 1 , . . . $.
  
In the case of an arbitrary space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450196.png" /> one always has the inequalities <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450197.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450198.png" />, while the equalities <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450199.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450200.png" /> are equivalent. For a strongly paracompact (in particular, for a Hausdorff compact or Lindelöf compact) space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450201.png" /> one has the inequality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450202.png" />. For Hausdorff compacta the equalities <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450203.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450204.png" /> are equivalent. There exist Hausdorff compacta satisfying the first axiom of countability (and even perfectly-normal Hausdorff compacta, if one assumes the continuum hypothesis), for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450205.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450206.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450207.png" />. An example of a topologically homogeneous Hausdorff compactum with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450208.png" /> has been constructed. For perfectly-normal Hausdorff compacta one always has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450209.png" />. There exist Hausdorff compacta, satisfying even the first axiom of countability, for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450210.png" />. It is not known (1983) whether there exists an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450211.png" /> such that for every <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450212.png" /> there is a Hausdorff compactum (a metric space) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450213.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450214.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450215.png" />.
+
In the case of an arbitrary space $  X $
 +
one always has the inequalities $  \mathop{\rm dim}  X \leq  \mathop{\rm Ind}  X $
 +
and $  \mathop{\rm ind}  X \leq  \mathop{\rm Ind}  X $,  
 +
while the equalities $  \mathop{\rm dim}  X = 0 $
 +
and $  \mathop{\rm Ind}  X = 0 $
 +
are equivalent. For a strongly paracompact (in particular, for a Hausdorff compact or Lindelöf compact) space $  X $
 +
one has the inequality $  \mathop{\rm dim}  X \leq  \mathop{\rm ind}  X $.  
 +
For Hausdorff compacta the equalities $  \mathop{\rm ind}  X = 1 $
 +
and $  \mathop{\rm Ind}  X = 1 $
 +
are equivalent. There exist Hausdorff compacta satisfying the first axiom of countability (and even perfectly-normal Hausdorff compacta, if one assumes the continuum hypothesis), for which $  \mathop{\rm dim}  X = 1 $
 +
and $  \mathop{\rm ind}  X = n $,
 +
$  n = 2, 3 , . . . $.  
 +
An example of a topologically homogeneous Hausdorff compactum with $  \mathop{\rm dim}  X < \mathop{\rm ind}  X $
 +
has been constructed. For perfectly-normal Hausdorff compacta one always has $  \mathop{\rm ind}  X = \mathop{\rm Ind}  X $.  
 +
There exist Hausdorff compacta, satisfying even the first axiom of countability, for which $  \mathop{\rm ind}  X < \mathop{\rm Ind}  X $.  
 +
It is not known (1983) whether there exists an $  m $
 +
such that for every $  n > m $
 +
there is a Hausdorff compactum (a metric space) $  X $
 +
with $  \mathop{\rm ind}  X = m $,  
 +
$  \mathop{\rm Ind}  X = n $.
  
In the case of non-metrizable spaces, the dimension may not only fail to be monotone, but it also has other pathological properties. For any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450216.png" /> an example of a Hausdorff compactum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450217.png" /> in which any closed set has dimension either 0 or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450218.png" /> has been constructed. An analogous example for the inductive dimension is impossible. Also, for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450219.png" /> an example of a Hausdorff compactum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450220.png" /> for which any closed set separating <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450221.png" /> has dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450222.png" /> has been constructed. Thus, the approach to the definition of dimension in the case of a non-metrizable space differs in principle from the inductive approach of Poincaré based on the separation of the space by spaces of a smaller number of coordinates. The Hausdorff compacta <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450223.png" /> are directly related to the following statement: Any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450224.png" />-dimensional Hausdorff compactum contains an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450225.png" />-dimensional [[Cantor manifold|Cantor manifold]].
+
In the case of non-metrizable spaces, the dimension may not only fail to be monotone, but it also has other pathological properties. For any $  n = 2, 3 \dots $
 +
an example of a Hausdorff compactum $  \theta _ {n} $
 +
in which any closed set has dimension either 0 or $  n = \mathop{\rm dim}  \theta _ {n} $
 +
has been constructed. An analogous example for the inductive dimension is impossible. Also, for each $  n = 1, 2 \dots $
 +
an example of a Hausdorff compactum $  \Phi _ {n} $
 +
for which any closed set separating $  \Phi _ {n} $
 +
has dimension $  n = \mathop{\rm dim}  \Phi _ {n} $
 +
has been constructed. Thus, the approach to the definition of dimension in the case of a non-metrizable space differs in principle from the inductive approach of Poincaré based on the separation of the space by spaces of a smaller number of coordinates. The Hausdorff compacta $  \Phi _ {n} $
 +
are directly related to the following statement: Any $  n $-
 +
dimensional Hausdorff compactum contains an $  n $-
 +
dimensional [[Cantor manifold|Cantor manifold]].
  
A subset of an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450226.png" />-dimensional Euclidean space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450227.png" /> is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450228.png" />-dimensional if and only if it contains interior points with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450229.png" />. A compactum has dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450230.png" /> if and only if it has a mapping of dimension zero into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450231.png" />, hence, up to zero-dimensional mappings, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450232.png" />-dimensional compacta are indistinguishable from the bounded closed subsets of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450233.png" /> containing interior points (with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450234.png" />).
+
A subset of an $  n $-
 +
dimensional Euclidean space $  E  ^ {n} $
 +
is $  n $-
 +
dimensional if and only if it contains interior points with respect to $  E  ^ {n} $.  
 +
A compactum has dimension $  \leq  n $
 +
if and only if it has a mapping of dimension zero into $  E  ^ {n} $,  
 +
hence, up to zero-dimensional mappings, $  n $-
 +
dimensional compacta are indistinguishable from the bounded closed subsets of $  E  ^ {n} $
 +
containing interior points (with respect to $  E  ^ {n} $).
  
 
See also [[Dimension theory|Dimension theory]].
 
See also [[Dimension theory|Dimension theory]].
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> P.S. Aleksandrov,   B.A. Pasynkov,   "Introduction to dimension theory" , Moscow (1973) (In Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> W. Hurevicz,   G. Wallman,   "Dimension theory" , Princeton Univ. Press (1948)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> P.S. Urysohn,   "Works on topology and other areas of mathematics" , '''1–2''' , Moscow-Leningrad (1951) (In Russian)</TD></TR></table>
+
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> P.S. Aleksandrov, B.A. Pasynkov, "Introduction to dimension theory" , Moscow (1973) (In Russian) {{MR|0365524}} {{ZBL|0441.55002}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> W. Hurevicz, G. Wallman, "Dimension theory" , Princeton Univ. Press (1948)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> P.S. Urysohn, "Works on topology and other areas of mathematics" , '''1–2''' , Moscow-Leningrad (1951) (In Russian)</TD></TR></table>
 
 
 
 
  
 
====Comments====
 
====Comments====
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450235.png" /> be topological spaces and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450236.png" /> be a covering of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450237.png" />. A continuous mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450238.png" /> is an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450240.png" />-mapping if each point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450241.png" /> has a neighbourhood <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450242.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450243.png" /> is included in some element of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450244.png" />. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450245.png" /> be metric; then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450246.png" /> is called an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450248.png" />-mapping for an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450249.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450250.png" />, if the diameter of each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450251.png" /> is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450252.png" />. Finally, a continuous mapping of a subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450253.png" /> of a Euclidean or Hilbert space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450254.png" /> into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450255.png" /> is called an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450257.png" />-shift if each point of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450258.png" /> gets displaced at most by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450259.png" />.
+
Let $  X , Y $
 +
be topological spaces and let $  \omega $
 +
be a covering of $  X $.  
 +
A continuous mapping $  f : X \rightarrow Y $
 +
is an $  \omega $-
 +
mapping if each point $  y \in Y $
 +
has a neighbourhood $  U _ {y} $
 +
such that $  f ^ { - 1 } ( U _ {y} ) $
 +
is included in some element of $  \omega $.  
 +
Let $  X $
 +
be metric; then $  f $
 +
is called an $  \epsilon $-
 +
mapping for an $  \epsilon \in \mathbf R $,
 +
$  \epsilon > 0 $,  
 +
if the diameter of each $  f ^ { - 1 } ( y) $
 +
is < \epsilon $.  
 +
Finally, a continuous mapping of a subset $  X $
 +
of a Euclidean or Hilbert space $  E $
 +
into $  E $
 +
is called an $  \epsilon $-
 +
shift if each point of $  X $
 +
gets displaced at most by $  \epsilon $.
  
 
Lebesgue's theorem on tilings is also called the Lebesgue–Brouwer theorem on tilings or the Pflastersatz.
 
Lebesgue's theorem on tilings is also called the Lebesgue–Brouwer theorem on tilings or the Pflastersatz.
Line 115: Line 373:
 
The Katětov equality (3) is also called the Katetov–Morito equality (of dimensions of metrizable spaces).
 
The Katětov equality (3) is also called the Katetov–Morito equality (of dimensions of metrizable spaces).
  
The [[Lebesgue dimension|Lebesgue dimension]] is also called the covering dimension. A metrizable space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450260.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450261.png" /> was constructed by P. Roy [[#References|[a2]]].
+
The [[Lebesgue dimension|Lebesgue dimension]] is also called the covering dimension. A metrizable space $  X $
 +
with $  \mathop{\rm ind}  X < \mathop{\rm Ind}  X $
 +
was constructed by P. Roy [[#References|[a2]]].
  
 
For still other notions of dimension cf. also [[Fractal dimension|Fractal dimension]] and [[Hausdorff dimension|Hausdorff dimension]].
 
For still other notions of dimension cf. also [[Fractal dimension|Fractal dimension]] and [[Hausdorff dimension|Hausdorff dimension]].
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> R. Engelking,   "Dimension theory" , North-Holland &amp; PWN (1978)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> P. Roy,   "Nonequality of dimensions for metric spaces" ''Trans. Amer. Math. Soc.'' , '''134''' (1968) pp. 117–132</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> J.-I. Nagata,   "Modern dimension theory" , Heldermann (1983)</TD></TR></table>
+
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> R. Engelking, "Dimension theory" , North-Holland &amp; PWN (1978) {{MR|0482696}} {{MR|0482697}} {{ZBL|0401.54029}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> P. Roy, "Nonequality of dimensions for metric spaces" ''Trans. Amer. Math. Soc.'' , '''134''' (1968) pp. 117–132 {{MR|0227960}} {{ZBL|0181.26002}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> J.-I. Nagata, "Modern dimension theory" , Heldermann (1983) {{MR|0715431}} {{ZBL|0518.54002}} </TD></TR></table>
  
 
==Dimension of an associative ring.==
 
==Dimension of an associative ring.==
 
  
 
====Comments====
 
====Comments====
A number associated to a ring or module in such a way that its behaviour under some classical operations, e.g. subobjects, quotient objects, direct sums or products, extensions<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450262.png" /> may be studied. It is possible to introduce many different notions of dimension; the success of the theory one can develop depends, however, on the properties with respect to the kind of operations mentioned above, so that good techniques for giving proofs by induction on the dimension become available. Several of the dimensions most used in algebra and ring theory may be defined on the lattice of submodules of some module, globalizing the definition by considering the supremum (or a similar invariant) of the dimension of all modules (perhaps restricting to a certain class of modules). In this way one may define the Goldie dimension, the dual Goldie dimension, the Krull dimension, and the Gabriel dimension, as well as relative versions of these defined by restricting to suitable subcategories of modules. Certain dimensions are defined starting from the principle of resolutions in the category of modules, these dimensions include the homological dimensions, e.g. the projective dimension of a module (or ring), the injective dimension of a module (or ring) and the weak or flat dimensions of a module (cf. also [[Homological dimension|Homological dimension]]). Many concrete problems concerning rings or modules may be solved by the introduction of the appropriate notion of dimension. As another example one can mention the so-called <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450263.png" />-dimension (Gel'fand–Kirillov) that is related to a notion of a non-commutative transcendence degree and that can be used to obtain information about the imbedding of free algebras in the ring considered, e.g. in certain rings of differential operators (the simplest cases of which are the Weyl algebras. The Weyl algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450264.png" /> over a field of characteristic zero <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450265.png" /> is the algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450266.png" />; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450267.png" />, i.e. the associative algebra generated by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450268.png" /> symbols <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450269.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450270.png" /> subject to the relations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450271.png" /> where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450272.png" /> is the Kronecker symbol).
+
A number associated to a ring or module in such a way that its behaviour under some classical operations, e.g. subobjects, quotient objects, direct sums or products, extensions $  \dots $
 +
may be studied. It is possible to introduce many different notions of dimension; the success of the theory one can develop depends, however, on the properties with respect to the kind of operations mentioned above, so that good techniques for giving proofs by induction on the dimension become available. Several of the dimensions most used in algebra and ring theory may be defined on the lattice of submodules of some module, globalizing the definition by considering the supremum (or a similar invariant) of the dimension of all modules (perhaps restricting to a certain class of modules). In this way one may define the Goldie dimension, the dual Goldie dimension, the Krull dimension, and the Gabriel dimension, as well as relative versions of these defined by restricting to suitable subcategories of modules. Certain dimensions are defined starting from the principle of resolutions in the category of modules, these dimensions include the homological dimensions, e.g. the projective dimension of a module (or ring), the injective dimension of a module (or ring) and the weak or flat dimensions of a module (cf. also [[Homological dimension|Homological dimension]]). Many concrete problems concerning rings or modules may be solved by the introduction of the appropriate notion of dimension. As another example one can mention the so-called $  G K $-
 +
dimension (Gel'fand–Kirillov) that is related to a notion of a non-commutative transcendence degree and that can be used to obtain information about the imbedding of free algebras in the ring considered, e.g. in certain rings of differential operators (the simplest cases of which are the Weyl algebras. The Weyl algebra $  A _ {n} ( k) $
 +
over a field of characteristic zero $  k $
 +
is the algebra $  k < x _ {1} \dots x _ {n} $;  
 +
$  \partial  / {\partial  x _ {1} } \dots \partial  / {\partial  x _ {n} } > $,  
 +
i.e. the associative algebra generated by $  2 n $
 +
symbols $  X _ {1} \dots X _ {n} $,  
 +
$  Y _ {1} \dots Y _ {n} $
 +
subject to the relations $  Y _ {i} X _ {j} - X _ {j} Y _ {i} = \delta _ {ij} $
 +
where $  \delta _ {ij} $
 +
is the Kronecker symbol).
  
 
Below the definitions of those dimensions most commonly used in algebra are give.
 
Below the definitions of those dimensions most commonly used in algebra are give.
  
Krull dimension. For a [[Partially ordered set|partially ordered set]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450273.png" />, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450274.png" /> be the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450275.png" />. By transfinite recursion one may define on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450276.png" /> a filtration:
+
Krull dimension. For a [[Partially ordered set|partially ordered set]] $  ( L , \leq  ) $,  
 +
let $  \Gamma ( L) $
 +
be the set $  \{ {( a , b ) } : {a \leq  b,  a , b \in L } \} $.  
 +
By transfinite recursion one may define on $  \Gamma ( L) $
 +
a filtration:
  
<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/d032450/d032450277.png" /></td> </tr></table>
+
$$
 +
\Gamma _ {-} 1 ( L)  = \{ ( a , b ) \in \Gamma ( L) , a = b \} .
 +
$$
  
<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/d032450/d032450278.png" /></td> </tr></table>
+
$$
 +
\Gamma _ {0} ( L)  = \{ ( a , b ) \in \Gamma ( L)
 +
: [ a , b ]  \textrm{ is  Artinian  } \}
 +
$$
  
<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/d032450/d032450279.png" /></td> </tr></table>
+
$$
 +
\Gamma _  \alpha  = \{ ( a , b ) \in ( L) : \forall
 +
b \geq  b _ {1} \geq  \dots \geq  b _ {n} \geq  \dots \geq  a,
 +
$$
  
<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/d032450/d032450280.png" /></td> </tr></table>
+
$$
 +
\left . \exists n \in \mathbf N , \forall i \geq  n : ( b _ {i+} 1 , b _ {i} ) \in \cup _ {\beta < \alpha } \Gamma _  \beta  ( L) \right \} .
 +
$$
  
 
In this way one obtains an ascending chain:
 
In this way one obtains an ascending chain:
  
<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/d032450/d032450281.png" /></td> </tr></table>
+
$$
 +
\Gamma _ {-} 1 ( L)  \subset  \Gamma _ {0} ( L)  \subset  \dots
 +
$$
  
<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/d032450/d032450282.png" /></td> </tr></table>
+
$$
 +
\dots \subset  \Gamma _  \alpha  ( L)  \subset  \dots .
 +
$$
  
Since <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450283.png" /> is a set it follows that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450284.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450285.png" />, one says that the Krull dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450286.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450287.png" /> is defined. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450288.png" /> is a ring and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450289.png" /> is a left <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450290.png" />-module, one says that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450291.png" /> has Krull dimension if the lattice <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450292.png" /> of left submodules of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450293.png" /> has Krull dimension. If the left <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450294.png" />-module <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450295.png" /> has Krull dimension, one says that the ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450296.png" /> has Krull dimension.
+
Since $  L $
 +
is a set it follows that $  \Gamma _  \xi  ( L) = \Gamma _ {\xi + 1 }  ( L) = \dots $.  
 +
If $  \Gamma ( L) = \Gamma _  \alpha  ( L) $,  
 +
one says that the Krull dimension $  \mathop{\rm Kdim} $
 +
of $  L $
 +
is defined. If $  R $
 +
is a ring and $  M $
 +
is a left $  R $-
 +
module, one says that $  M $
 +
has Krull dimension if the lattice $  L ( M) $
 +
of left submodules of $  M $
 +
has Krull dimension. If the left $  R $-
 +
module $  {} _ {R} R $
 +
has Krull dimension, one says that the ring $  R $
 +
has Krull dimension.
  
Gabriel dimension. For a modular upper-continuous lattice (cf. [[Continuous lattice|Continuous lattice]]; [[Modular lattice|Modular lattice]]) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450297.png" /> having 0 and 1 one defines <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450298.png" /> by transfinite recursion. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450299.png" /> if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450300.png" />. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450301.png" /> be a non-limit [[Ordinal number|ordinal number]] and assume that the Gabriel dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450302.png" /> has already been defined for lattices with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450303.png" />. One says that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450304.png" /> is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450306.png" />-simple if for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450307.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450308.png" /> one has: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450309.png" /> is not smaller that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450310.png" /> but <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450311.png" />. One says that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450312.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450313.png" /> is not smaller than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450314.png" /> but for every <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450315.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450316.png" /> there is some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450317.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450318.png" /> is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450319.png" />-simple for some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450320.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450321.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450322.png" />, one says that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450323.png" /> has Gabriel dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450324.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450325.png" /> has Krull dimension, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450326.png" /> also has Gabriel dimension, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450327.png" />.
+
Gabriel dimension. For a modular upper-continuous lattice (cf. [[Continuous lattice|Continuous lattice]]; [[Modular lattice|Modular lattice]]) $  L $
 +
having 0 and 1 one defines $  \mathop{\rm Gdim}  L $
 +
by transfinite recursion. $  \mathop{\rm Gdim}  L = 0 $
 +
if and only if $  L = \{ 0 \} $.  
 +
Let $  \alpha $
 +
be a non-limit [[Ordinal number|ordinal number]] and assume that the Gabriel dimension $  \mathop{\rm Gdim}  L  ^  \prime  = \beta $
 +
has already been defined for lattices with $  \beta < \alpha $.  
 +
One says that $  L $
 +
is $  \alpha $-
 +
simple if for each $  a \neq 0 $
 +
in $  L $
 +
one has: $  \mathop{\rm Gdim}  [ 0 , a ] $
 +
is not smaller that $  \alpha $
 +
but $  \mathop{\rm Gdim} [ a , 1 ] < \alpha $.  
 +
One says that $  \mathop{\rm Gdim}  L = \alpha $
 +
if $  \mathop{\rm Gdim}  L $
 +
is not smaller than $  \alpha $
 +
but for every $  a \neq 1 $
 +
in $  L $
 +
there is some $  b > 0 $
 +
such that $  [ a , b ] $
 +
is $  \beta $-
 +
simple for some $  \beta \leq  \alpha $.  
 +
If $  a \in L $
 +
and $  \mathop{\rm Gdim} [ 0 , a ] = \alpha $,  
 +
one says that $  a $
 +
has Gabriel dimension $  \alpha $.  
 +
If $  L $
 +
has Krull dimension, then $  L $
 +
also has Gabriel dimension, and $  \mathop{\rm Kdim}  L \leq  \mathop{\rm Gdim}  L \leq  1 +  \mathop{\rm Kdim}  L $.
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450328.png" /> is a Noetherian lattice, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450329.png" />.
+
If $  L $
 +
is a Noetherian lattice, then $  \mathop{\rm Gdim}  L = 1 +  \mathop{\rm Kdim}  L $.
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450330.png" /> is a ring and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450331.png" /> is a left <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450332.png" />-module, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450333.png" /> is defined to be <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450334.png" />.
+
If $  R $
 +
is a ring and $  M $
 +
is a left $  R $-
 +
module, then $  \mathop{\rm Gdim}  M $
 +
is defined to be $  \mathop{\rm Gdim}  L ( M) $.
  
 
It is somewhat remarkable that affine PI-rings (cf. [[PI-algebra|PI-algebra]]) need not have Krull dimension, while on the other hand these rings have finite Gabriel dimensions.
 
It is somewhat remarkable that affine PI-rings (cf. [[PI-algebra|PI-algebra]]) need not have Krull dimension, while on the other hand these rings have finite Gabriel dimensions.
  
Projective dimension. A projective resolution of a left <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450335.png" />-module <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450336.png" /> is an exact sequence
+
Projective dimension. A projective resolution of a left $  R $-
 +
module $  M $
 +
is an exact sequence
  
<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/d032450/d032450337.png" /></td> </tr></table>
+
$$
 +
\dots \rightarrow  P _ {n}  \rightarrow \dots \rightarrow  P _ {0}  \rightarrow  M  \rightarrow  0 ,
 +
$$
  
where each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450338.png" /> is a projective left <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450339.png" />-module (cf. also [[Resolution|Resolution]]). If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450340.png" /> but <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450341.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450342.png" />, then one says that the resolution has infinite length. It is easy to prove that each module <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450343.png" /> has a projective resolution and so one may define <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450344.png" />, the projective dimension of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450345.png" />, to be the least <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450346.png" /> for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450347.png" /> has a projective resolution of length <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450348.png" />. If such an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450349.png" /> does not exist, one puts <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450350.png" />; clearly, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450351.png" /> if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450352.png" /> is projective (cf. [[Projective module|Projective module]]). The (left) global dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450353.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450354.png" /> is defined to be <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450355.png" />; in fact, this global dimension is the same if one uses right modules for its determination.
+
where each $  P _ {i} $
 +
is a projective left $  R $-
 +
module (cf. also [[Resolution|Resolution]]). If $  P _ {k} \neq 0 $
 +
but $  P _ {n} = 0 $
 +
for all $  n > k $,  
 +
then one says that the resolution has infinite length. It is easy to prove that each module $  M $
 +
has a projective resolution and so one may define $  \mathop{\rm pd} _ {R} ( M) $,  
 +
the projective dimension of $  M $,  
 +
to be the least $  n $
 +
for which $  M $
 +
has a projective resolution of length $  n $.  
 +
If such an $  n $
 +
does not exist, one puts $  \mathop{\rm pd}  _ {R} ( M) = \infty $;  
 +
clearly, $  \mathop{\rm pd}  _ {R} ( M) = 0 $
 +
if and only if $  M $
 +
is projective (cf. [[Projective module|Projective module]]). The (left) global dimension $  \mathop{\rm gl}\AAh dim  R $
 +
of $  R $
 +
is defined to be $  \sup \{ { \mathop{\rm pd}  _ {R} ( M) } : {M \textrm{ an }  R \textrm{ \AAh module  } } \} $;  
 +
in fact, this global dimension is the same if one uses right modules for its determination.
  
One may define the injective dimension of a module <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450356.png" /> in a completely dual way, using injective resolutions, such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450357.png" /> is the length of a minimal injective resolution for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450358.png" />. The global (left) injective dimension of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450359.png" /> is defined to be the supremum of the injective dimensions of arbitrary (left) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450360.png" />-modules, but one can establish that this dimension of the ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450361.png" /> is the same as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450362.png" /> defined as above using projective resolutions.
+
One may define the injective dimension of a module $  M $
 +
in a completely dual way, using injective resolutions, such that $  fnnme {inj\AAh dim }  M $
 +
is the length of a minimal injective resolution for $  M $.  
 +
The global (left) injective dimension of $  R $
 +
is defined to be the supremum of the injective dimensions of arbitrary (left) $  R $-
 +
modules, but one can establish that this dimension of the ring $  R $
 +
is the same as $  \mathop{\rm gl}\AAh dim  R $
 +
defined as above using projective resolutions.
  
Moreover, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450363.png" /> is a left and right [[Noetherian ring|Noetherian ring]], then the left and right global dimensions of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450364.png" /> are the same. Note that the semi-simple Artinian rings are characterized by the fact that they have global dimension zero (cf. also [[Artinian ring|Artinian ring]]).
+
Moreover, if $  R $
 +
is a left and right [[Noetherian ring|Noetherian ring]], then the left and right global dimensions of $  R $
 +
are the same. Note that the semi-simple Artinian rings are characterized by the fact that they have global dimension zero (cf. also [[Artinian ring|Artinian ring]]).
  
Instead of considering projective resolutions one may look at resolutions of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450365.png" /> in terms of flat <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450366.png" />-modules (cf. [[Flat module|Flat module]]). The dimension defined in this way is the flat dimension, or weak dimension, of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450367.png" />, denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450368.png" />. The left weak dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450369.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450370.png" /> is defined to be <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450371.png" />; the right weak dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450372.png" /> is defined similarly. Cf. also [[Homological dimension|Homological dimension]].
+
Instead of considering projective resolutions one may look at resolutions of $  M $
 +
in terms of flat $  R $-
 +
modules (cf. [[Flat module|Flat module]]). The dimension defined in this way is the flat dimension, or weak dimension, of $  M $,  
 +
denoted by $  \mathop{\rm fd} ( M) $.  
 +
The left weak dimension $  \mathop{\rm l}.wdim ( R) $
 +
of $  R $
 +
is defined to be $  \sup \{ { \mathop{\rm fd} ( M) } : {M  \textrm{ a }  \textrm \left    R \textrm{ \AAh module  } } \} \right .$;  
 +
the right weak dimension $  \mathop{\rm r}.wdim ( R) $
 +
is defined similarly. Cf. also [[Homological dimension|Homological dimension]].
  
For a left Noetherian ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450373.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450374.png" />; for a right Noetherian ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450375.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450376.png" />. So for left and right Noetherian rings the projective global dimension, the injective global dimension and the weak dimension coincide; this is not true for arbitrary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450377.png" />-modules though.
+
For a left Noetherian ring $  R $,  
 +
$  \mathop{\rm gl}\AAh dim  R = \mathop{\rm l}.wdim  R $;  
 +
for a right Noetherian ring $  R $,  
 +
$  \mathop{\rm gl}\AAh dim  R = \mathop{\rm r}.wdim  R $.  
 +
So for left and right Noetherian rings the projective global dimension, the injective global dimension and the weak dimension coincide; this is not true for arbitrary $  R $-
 +
modules though.
  
 
The global dimension is important in the study of commutative regular local rings that play an important part in basic algebraic geometry. Note that a local commutative ring is regular exactly then when it has finite global dimension, and in this case the global dimension equals the Krull dimension.
 
The global dimension is important in the study of commutative regular local rings that play an important part in basic algebraic geometry. Note that a local commutative ring is regular exactly then when it has finite global dimension, and in this case the global dimension equals the Krull dimension.
  
Gel'fand–Kirillov dimension. For an [[Algebra|algebra]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450378.png" /> over a field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450379.png" /> one considers subalgebras <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450380.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450381.png" /> generated over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450382.png" /> by a vector space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450383.png" /> over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450384.png" /> contained in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450385.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450386.png" /> is finite dimensional over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450387.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450388.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450389.png" /> is called a [[Frame|frame]] for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450390.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450391.png" /> and a subframe otherwise. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450392.png" /> be a subframe of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450393.png" /> and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450394.png" /> be the set of monomials of length <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450395.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450396.png" />. Write <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450397.png" />. Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450398.png" /> defines a filtration on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450399.png" />, where by definition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450400.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450401.png" />. The associated graded ring of this filtration is isomorphic to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450402.png" />.
+
Gel'fand–Kirillov dimension. For an [[Algebra|algebra]] $  A $
 +
over a field $  k $
 +
one considers subalgebras $  k [ V] $
 +
in $  A $
 +
generated over $  k $
 +
by a vector space $  V $
 +
over $  k $
 +
contained in $  A $.  
 +
If $  V $
 +
is finite dimensional over $  k $
 +
and $  1 \in V $,  
 +
then $  V $
 +
is called a [[Frame|frame]] for $  A $
 +
if $  A = k [ V] $
 +
and a subframe otherwise. Let $  V = k v _ {1} + \dots + k v _ {d} $
 +
be a subframe of $  A $
 +
and let $  V  ^ {i} $
 +
be the set of monomials of length $  i $
 +
in $  v _ {1} \dots v _ {d} $.  
 +
Write $  F _ {n} ^ { V } ( A) = k + V + \dots + V  ^ {n} $.  
 +
Then $  \{ {F _ {n} ^ { V } ( A) } : {n \in \mathbf Z } \} $
 +
defines a filtration on $  k [ V] $,  
 +
where by definition $  F _ {m} ^ { V } ( A) = 0 $
 +
for $  m \leq  - 1 $.  
 +
The associated graded ring of this filtration is isomorphic to $  \oplus _ {i = - 1 }  ^  \infty  V  ^ {i+} 1 / V  ^ {i} $.
  
Define <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450403.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450404.png" />. This number is well-defined and it depends only on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450405.png" /> but not on the choice of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450406.png" />.
+
Define $  d _ {V} ( n) = \mathop{\rm dim} _ {k}  F _ {n} ^ { V } ( A) $
 +
and $  \mathop{\rm GKdim}  k [ V] = \lim\limits  \sup (  \mathop{\rm log}  d _ {V} ( n)  \mathop{\rm log} ( n)  ^ {-} 1 ) $.  
 +
This number is well-defined and it depends only on $  k ( V) $
 +
but not on the choice of $  V $.
  
Put <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450407.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450408.png" /> is a frame for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450409.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450410.png" /> is algebraic over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450411.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450412.png" /> (cf. also [[Algebraic algebra|Algebraic algebra]]). Note that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450413.png" /> is a real number but not necessarily an integer; W. Borho and H. Kraft have shown that any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450414.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450415.png" /> can appear as the GKdim of some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450416.png" />-algebra. In the interval <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450417.png" /> only 0 and 1 can appear as GKdim of a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450418.png" />-algebra; G. Bergman proved that numbers in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450419.png" /> cannot appear as the GKdim of some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450420.png" />-algebra. That this dimension is sometimes related to the Krull dimension is not a big surprise, at least in the commutative case.
+
Put $  \mathop{\rm GKdim}  A = \mathop{\rm GKdim}  k [ V] $
 +
if $  V $
 +
is a frame for $  A $.  
 +
If $  A $
 +
is algebraic over $  k $,  
 +
then $  \mathop{\rm GKdim}  A = 0 $(
 +
cf. also [[Algebraic algebra|Algebraic algebra]]). Note that $  \mathop{\rm GKdim}  A $
 +
is a real number but not necessarily an integer; W. Borho and H. Kraft have shown that any $  r \in \mathbf R $
 +
with $  r \geq  2 $
 +
can appear as the GKdim of some $  k $-
 +
algebra. In the interval $  [ 0 , 1 ] $
 +
only 0 and 1 can appear as GKdim of a $  k $-
 +
algebra; G. Bergman proved that numbers in $  ( 1 , 2 ) $
 +
cannot appear as the GKdim of some $  k $-
 +
algebra. That this dimension is sometimes related to the Krull dimension is not a big surprise, at least in the commutative case.
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450421.png" /> is a finitely-generated module over an affine commutative <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450422.png" />-algebra, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450423.png" />.
+
If $  M $
 +
is a finitely-generated module over an affine commutative $  k $-
 +
algebra, then $  \mathop{\rm GKdim}  M = \mathop{\rm Kdim}  M $.
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450424.png" /> is a solvable [[Lie algebra|Lie algebra]] over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450425.png" />, say <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450426.png" />, then the GKdim of the [[Universal enveloping algebra|universal enveloping algebra]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450427.png" /> satisfies <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450428.png" />.
+
If $  \mathfrak g $
 +
is a solvable [[Lie algebra|Lie algebra]] over $  k $,  
 +
say $  \mathop{\rm dim}  _ {k} \mathfrak g = n $,  
 +
then the GKdim of the [[Universal enveloping algebra|universal enveloping algebra]] $  U ( \mathfrak g ) $
 +
satisfies $  \mathop{\rm GKdim}  U ( \mathfrak g ) = \mathop{\rm Kdim}  U ( \mathfrak g ) = n $.
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450429.png" /> is a prime PI-algebra, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450430.png" /> and in the affine case this number also equals the classical Krull dimension, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450431.png" />, defined in terms of the length of maximal chains of prime ideals of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450432.png" />.
+
If $  A $
 +
is a prime PI-algebra, then $  \mathop{\rm GKdim}  A = \mathop{\rm tdeg} _ {k}  A $
 +
and in the affine case this number also equals the classical Krull dimension, $  \mathop{\rm cl}.Kdim  A $,  
 +
defined in terms of the length of maximal chains of prime ideals of $  A $.
  
The Gel'fand–Kirillov transcendence degree <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450433.png" /> is defined to be <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450434.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450435.png" /> ranges over the subframes of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450436.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450437.png" /> ranges over the regular elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450438.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450439.png" /> is the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450440.png" />-th Weyl field, the quotient division algebra of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450441.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450442.png" />, whereas <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450443.png" />, so the transcendence degree is somewhat better behaved when dealing with rings of differential operators.
+
The Gel'fand–Kirillov transcendence degree $  fnnem GKtdeg ( A ) $
 +
is defined to be $  \sup _ {V}  \inf _ {V}  \mathop{\rm GKdim}  k [ b V ] $,  
 +
where $  V $
 +
ranges over the subframes of $  A $
 +
and $  b $
 +
ranges over the regular elements of $  A $.  
 +
If $  D _ {n} ( k) $
 +
is the $  n $-
 +
th Weyl field, the quotient division algebra of $  A _ {n} ( k) $,  
 +
then $  fnnem GKtdeg ( D _ {n} ( k) ) = 2 n $,  
 +
whereas $  \mathop{\rm GKdim}  D _ {n} ( k) = \infty $,  
 +
so the transcendence degree is somewhat better behaved when dealing with rings of differential operators.
  
There are a large number of concepts called "dimension" in many parts of mathematics. The three principal groups appear to be the topological concepts (including the dimension of differentiable and analytic manifolds) and the algebraic ones described above, and the ideas of dimension in algebraic and analytic geometry; cf. also [[Analytic space|Analytic space]]; [[Rational function|Rational function]]; [[Analytic set|Analytic set]]; [[Cohomological dimension|Cohomological dimension]]; [[Spectrum of a ring|Spectrum of a ring]]. The last group of dimension ideas, i.e. those of algebraic and analytic geometry, are intermediate between the other two and form something of a bridge.
+
There are a large number of concepts called "dimension" in many parts of mathematics. The three principal groups appear to be the topological concepts (including the dimension of differentiable and analytic manifolds) and the algebraic ones described above, and the ideas of dimension in algebraic and analytic geometry; cf. also [[Analytic space|Analytic space]]; [[Rational function|Rational function]]; [[Analytic set|Analytic set]]; [[Cohomological dimension|Cohomological dimension]]; [[Spectrum of a ring|Spectrum of a ring]]. The last group of dimension ideas, i.e. those of algebraic and analytic geometry, are intermediate between the other two and form something of a bridge.
  
A topological space is irreducible if it can not be written as a union of two proper closed subspaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450444.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450445.png" />. A topological space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450446.png" /> is called Noetherian if it satisfies the descending chain condition for closed subsets: For any sequence of closed subsets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450447.png" /> there is an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450448.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450449.png" />. Now define the (algebraic-geometrically inspired) dimension of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450450.png" /> as the supremum of all integers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450451.png" /> such that there exists a chain of irreducible closed subsets
+
A topological space is irreducible if it can not be written as a union of two proper closed subspaces $  X _ {1} \cup X _ {2} = X $,  
 +
$  X _ {i} \neq X $.  
 +
A topological space $  X $
 +
is called Noetherian if it satisfies the descending chain condition for closed subsets: For any sequence of closed subsets $  Y _ {1} \supset Y _ {2} \supset \dots $
 +
there is an $  r $
 +
such that $  Y _ {r} = Y _ {r+} 1 = \dots $.  
 +
Now define the (algebraic-geometrically inspired) dimension of $  X $
 +
as the supremum of all integers $  n $
 +
such that there exists a chain of irreducible closed subsets
  
<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/d032450/d032450452.png" /></td> </tr></table>
+
$$
 +
\emptyset  \neq  Z _ {0}  \subset  \dots \subset  Z _ {n}  $$
  
(proper inclusions everywhere) in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450453.png" />. To avoid confusion, this notion of dimension is written <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450454.png" /> here. This is not a notion which makes a great deal of sense for Hausdorff spaces (the only irreducible Hausdorff spaces are one-point spaces), but it is just right for algebraic varieties and schemes (with the Zariski topology).
+
(proper inclusions everywhere) in $  X $.  
 +
To avoid confusion, this notion of dimension is written $  \mathop{\rm adim} ( X) $
 +
here. This is not a notion which makes a great deal of sense for Hausdorff spaces (the only irreducible Hausdorff spaces are one-point spaces), but it is just right for algebraic varieties and schemes (with the Zariski topology).
  
Indeed, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450455.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450456.png" /> is a commutative Noetherian ring with unit element, then this is the Krull dimension of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450457.png" />: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450458.png" />.
+
Indeed, if $  X = \mathop{\rm Spec} ( A) $,  
 +
where $  A $
 +
is a commutative Noetherian ring with unit element, then this is the Krull dimension of $  A $:  
 +
$  \mathop{\rm Kdim} ( A) = \mathop{\rm adim} ( X) $.
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450459.png" /> be an irreducible algebraic variety; then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450460.png" /> is also the transcendence degree of the field of rational functions on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450461.png" />, another frequently used concept to define the dimension of an algebraic variety. The local dimension of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450462.png" /> at a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450463.png" /> is defined as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450464.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450465.png" /> is the maximal ideal of the local ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450466.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450467.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450468.png" />. One has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450469.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450470.png" /> if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450471.png" /> is a regular point if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450472.png" /> is a regular local ring.
+
Let $  X $
 +
be an irreducible algebraic variety; then $  \mathop{\rm adim} ( X) $
 +
is also the transcendence degree of the field of rational functions on $  X $,  
 +
another frequently used concept to define the dimension of an algebraic variety. The local dimension of $  X $
 +
at a point $  x $
 +
is defined as $  \mathop{\rm dim} _ {x}  X = \mathop{\rm dim} _ {k(} x) ( \mathfrak m _ {x} / \mathfrak m _ {x}  ^ {2} ) $,  
 +
where $  \mathfrak m _ {x} $
 +
is the maximal ideal of the local ring $  {\mathcal O} _ {X,x} $
 +
at $  x $
 +
and $  k ( x) = {\mathcal O} _ {X,x} / \mathfrak m _ {x} $.  
 +
One has $  \mathop{\rm adim} ( X) = \min _ {x}  \mathop{\rm dim} _ {x}  X $
 +
and $  \mathop{\rm adim} ( X) = \mathop{\rm dim} _ {x}  X $
 +
if and only if $  x $
 +
is a regular point if and only if $  {\mathcal O} _ {X,x} $
 +
is a regular local ring.
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450473.png" /> is an algebraic variety over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450474.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450475.png" /> is its open subvariety of smooth points, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450476.png" /> is also a complex manifold over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450477.png" />, of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450478.png" />-dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450479.png" /> (meaning that locally one needs <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450480.png" /> complex coordinates to describe it) and hence of dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450481.png" /> as a topological manifold.
+
If $  X $
 +
is an algebraic variety over $  \mathbf C $
 +
and $  X  ^ {*} $
 +
is its open subvariety of smooth points, then $  X  ^ {*} $
 +
is also a complex manifold over $  \mathbf C $,  
 +
of $  \mathbf C $-
 +
dimension $  \mathop{\rm adim} ( X) $(
 +
meaning that locally one needs $  n $
 +
complex coordinates to describe it) and hence of dimension $  2 n $
 +
as a topological manifold.
  
Finally it is possible to describe the topological dimension of a [[Completely-regular space|completely-regular space]] in terms of the algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450482.png" /> of bounded real-valued functions on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450483.png" />. The metric topology on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450484.png" /> is defined by the norm
+
Finally it is possible to describe the topological dimension of a [[Completely-regular space|completely-regular space]] in terms of the algebra $  C _ {b} ( X) $
 +
of bounded real-valued functions on $  X $.  
 +
The metric topology on $  C _ {b} ( X) $
 +
is defined by the norm
  
<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/d032450/d032450485.png" /></td> </tr></table>
+
$$
 +
\| f \|  = \sup _ { x }  | f ( x) | ,
 +
$$
  
 
which is also determined algebraically by
 
which is also determined algebraically by
  
<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/d032450/d032450486.png" /></td> </tr></table>
+
$$
 +
\| f \|  = \sup _ {\mathfrak m }  | f ( x) |
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450487.png" /> runs through the maximal ideals of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450488.png" />. A subring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450489.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450490.png" /> will be called an analytic subring if
+
where $  \mathfrak m $
 +
runs through the maximal ideals of $  C _ {b} ( X) $.  
 +
A subring $  A $
 +
of $  C _ {b} ( X) $
 +
will be called an analytic subring if
  
i) all constant functions belong to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450491.png" />;
+
i) all constant functions belong to $  A $;
  
ii) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450492.png" />;
+
ii) $  f ^ { 2 } \in A \Rightarrow f \in A $;
  
iii) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450493.png" /> is closed in the metric topology on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450494.png" />.
+
iii) $  A $
 +
is closed in the metric topology on $  C _ {b} ( X) $.
  
A set of functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450495.png" /> is said to be an analytic base for an analytic subring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450496.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450497.png" /> is the smallest analytic subring containing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450498.png" />.
+
A set of functions $  B $
 +
is said to be an analytic base for an analytic subring $  A \subset  C _ {b} ( X) $
 +
if $  A $
 +
is the smallest analytic subring containing $  B $.
  
The following are equivalent for a completely-regular space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450499.png" />: 1) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450500.png" />; 2) every countable set in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450501.png" /> is contained in an analytic subring with analytic base of cardinality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450502.png" />; and 3) every finite subfamily of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450503.png" /> is contained in an analytic subring with an analytic base of cardinality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450504.png" /> (Katětov's theorem). If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450506.png" /> is a compact metric space, these three properties are also equivalent to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450507.png" /> itself having an analytic base of cardinality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032450/d032450508.png" />.
+
The following are equivalent for a completely-regular space $  X $:  
 +
1) $  \mathop{\rm dim} X \leq  n $;  
 +
2) every countable set in $  C _ {b} ( X) $
 +
is contained in an analytic subring with analytic base of cardinality $  \leq  n $;  
 +
and 3) every finite subfamily of $  C _ {b} ( X) $
 +
is contained in an analytic subring with an analytic base of cardinality $  \leq  n $(
 +
Katětov's theorem). If $  X $
 +
is a compact metric space, these three properties are also equivalent to $  C _ {b} ( X) $
 +
itself having an analytic base of cardinality $  \leq  n $.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> J.M. Gel'fand,   A.A. Kirillov,   "Sur les corps liés aux algèbres enveloppantes des algèbres de Lie" ''Publ. Math. IHES'' , '''31''' (1966) pp. 5–19</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> R. Gordon,   J.C. Robson,   "Krull dimension" , Amer. Math. Soc. (1973)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> G. Krause,   T.H. Lenagom,   "Growth of algebras and Gelfand–Kirillov dimension" , Pitman (1985)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> C. Năstăsecu,   F. van Oystaeyen,   "Dimensions of ring theory" , Reidel (1987)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> R. Rentschler,   P. Gabriel,   "Sur la dimension des anneaux et ensembles ordonnées" ''C.R. Acad. Sci. Paris'' , '''265''' (1967) pp. 712–715</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> R. Hartshorne,   "Algebraic geometry" , Springer (1977) pp. 272</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> I.R. Shafarevich,   "Basic algebraic geometry" , Springer (1974) (Translated from Russian)</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top"> L. Gillman,   M. Jerison,   "Rings of continuous functions" , v. Nostrand (1960)</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top"> N. Bourbaki,   "Algèbre commutative" , Masson (1983) pp. Chapt. VIII. Dimension; Chapt. IX. Anneaux locaux noethériens complets</TD></TR></table>
+
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> J.M. Gel'fand, A.A. Kirillov, "Sur les corps liés aux algèbres enveloppantes des algèbres de Lie" ''Publ. Math. IHES'' , '''31''' (1966) pp. 5–19 {{MR|207918}} {{ZBL|}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> R. Gordon, J.C. Robson, "Krull dimension" , Amer. Math. Soc. (1973) {{MR|0352177}} {{MR|0321980}} {{MR|0316489}} {{ZBL|0269.16017}} {{ZBL|0266.16022}} {{ZBL|0257.16004}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> G. Krause, T.H. Lenagom, "Growth of algebras and Gelfand–Kirillov dimension" , Pitman (1985) {{MR|0781129}} {{ZBL|0564.16001}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> C. Năstăsecu, F. van Oystaeyen, "Dimensions of ring theory" , Reidel (1987)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> R. Rentschler, P. Gabriel, "Sur la dimension des anneaux et ensembles ordonnées" ''C.R. Acad. Sci. Paris'' , '''265''' (1967) pp. 712–715 {{MR|224644}} {{ZBL|}} </TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> R. Hartshorne, "Algebraic geometry" , Springer (1977) pp. 272 {{MR|0463157}} {{ZBL|0367.14001}} </TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> I.R. Shafarevich, "Basic algebraic geometry" , Springer (1974) (Translated from Russian) {{MR|0366917}} {{ZBL|0284.14001}} </TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top"> L. Gillman, M. Jerison, "Rings of continuous functions" , v. Nostrand (1960) {{MR|0156189}} {{MR|0116199}} {{MR|0114115}} {{ZBL|0100.32202}} {{ZBL|0093.30001}} {{ZBL|0093.12604}} </TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top"> N. Bourbaki, "Algèbre commutative" , Masson (1983) pp. Chapt. VIII. Dimension; Chapt. IX. Anneaux locaux noethériens complets {{MR|2333539}} {{MR|2284892}} {{MR|0260715}} {{MR|0194450}} {{MR|0217051}} {{MR|0171800}} {{ZBL|0579.13001}} </TD></TR></table>

Latest revision as of 19:35, 5 June 2020


of a topological space $ X $

An integral invariant $ \mathop{\rm dim} X $ defined as follows. $ \mathop{\rm dim} X = - 1 $ if and only if $ X = \emptyset $. A non-empty topological space $ X $ is said to be at most $ n $- dimensional, written as $ \mathop{\rm dim} X \leq n $, if in any finite open covering of $ X $ one can inscribe a finite open covering of $ X $ of multiplicity $ \leq n + 1 $, $ n = 0, 1 , . . . $. If $ \mathop{\rm dim} X \leq n $ for some $ n = - 1, 0, 1 \dots $ then $ X $ is said to be finite-dimensional, written as $ \mathop{\rm dim} X < \infty $, and one defines

$$ \mathop{\rm dim} X = \min \{ {n } : { \mathop{\rm dim} X \leq n } \} . $$

Here if $ \mathop{\rm dim} X = n $, then the space is called $ n $- dimensional. The concept of the dimension of a topological space generalizes the elementary geometrical concept of the number of coordinates of a Euclidean space (and a polyhedron), since the dimension of an $ n $- dimensional Euclidean space (and any $ n $- dimensional polyhedron) is equal to $ n $( the Lebesgue–Brouwer theorem).

The importance of the concept of the dimension of a topological space is revealed by the Nöbeling–Pontryagin–Hurewicz–Kuratowski theorem: An $ n $- dimensional metrizable space with a countable base can be imbedded in the $ ( 2n + 1) $- dimensional Euclidean space. Thus, the class of spaces that are topologically equivalent to subspaces of all possible $ n $- dimensional Euclidean spaces, $ n = 1, 2 \dots $ coincides with the class of finite-dimensional metrizable spaces with a countable base.

The dimension $ \mathop{\rm dim} X $ is sometimes called the Lebesgue dimension, since its definition arises from Lebesgue's theorem on tilings: An $ n $- dimensional cube has, for any $ \epsilon > 0 $, a finite closed covering of multiplicity $ \leq n + 1 $ such that all elements have diameter $ < \epsilon $; there exists an $ \epsilon _ {0} > 0 $ for which the multiplicity of any finite closed covering of an $ n $- dimensional cube is $ \geq n + 1 $ if the diameters of the elements of this covering are $ < \epsilon _ {0} $.

Another, inductive, approach (see Inductive dimension) to the definition of the dimension of a topological space is possible, based on the separation of the space by subspaces of smaller dimension. This approach to the concept of dimension originates from H. Poincaré, L.E.J. Brouwer, P.S. Urysohn, and K. Menger. In the case of metrizable spaces it is equivalent to Lebesgue's definition.

The foundations of dimension theory were laid in the first half of the twenties of the 20th century in papers of Urysohn and Menger. In the later thirties, the dimension theory of metrizable spaces with a countable base was constructed, and by the start of the sixties the dimension theory of arbitrary metrizable spaces was finished.

Below, all topological spaces under consideration are supposed to be normal and Hausdorff (cf. Hausdorff space; Normal space). In this case, in the definition of dimension one can without harm replace the open coverings to be inscribed by closed ones.

Lebesgue's approach to the definition of dimension (in contrast to the inductive approach) makes it possible to geometrize the concept of dimension for any space by comparing the original topological space with most simple geometrical formations — polyhedra (cf. Polyhedron). Roughly speaking, a space is $ n $- dimensional if and only if it differs arbitrarily little from an $ n $- dimensional polyhedron. More precisely, there is Aleksandrov's theorem on $ \omega $- mappings: $ \mathop{\rm dim} X \leq n $ if and only if for any finite open covering $ \omega $ of $ X $ there is an $ \omega $- mapping from $ X $ onto an at most $ n $- dimensional, $ n = 0, 1 \dots $( compact) polyhedron. This theorem can be particularly visualized for compacta: A compactum $ X $ has $ \mathop{\rm dim} X \leq n $ if and only if for any $ \epsilon > 0 $ there is an $ \epsilon $- mapping from $ X $ onto an at most $ n $- dimensional polyhedron. If $ X $ also lies in a Euclidean or Hilbert space, then the $ \epsilon $- mapping can be replaced by an $ \epsilon $- shift (Aleksandrov's theorem on $ \epsilon $- mappings and $ \epsilon $- shifts).

The following statement makes it possible to determine the dimension of a space by comparing it with all possible $ n $- dimensional cubes: $ \mathop{\rm dim} X \geq n $ if and only if the space has an essential mapping onto an $ n $- dimensional cube, $ n = 0, 1 , . . . $( Aleksandrov's theorem on essential mappings).

This theorem can be given the following form: $ \mathop{\rm dim} X \leq n $ if and only if, for any set $ A $ closed in $ X $ and for any continuous mapping $ f: A \rightarrow S ^ {n} $ into the $ n $- dimensional sphere, there is a continuous extension $ F: X \rightarrow S ^ {n} $, $ n = 0, 1 \dots $ of $ f $.

The following characterization of dimension indicates the role of this concept in problems of the existence of solutions to systems of equations: $ \mathop{\rm dim} X \geq n $, $ n = 1, 2 \dots $ if and only if $ X $ has a system of disjoint pairs of closed sets $ A _ {i} $, $ B _ {i} $, $ i = 1 \dots n $, such that for any functions $ f _ {i} $ continuous on $ X $ and satisfying the conditions $ f _ {i} \mid _ {A _ {i} } > 0 $, $ f _ {i} \mid _ {B _ {i} } < 0 $, $ i = 1 \dots n $, there is a point $ x \in X $ at which $ f _ {i} ( x) = 0 $, $ i = 1 \dots n $( this is the Otto–Eilenberg–Hemmingsen theorem on partitions).

One of the most important properties of dimension is expressed by the Menger–Urysohn–Čech countable closed sum theorem: If the space $ X $ is a finite or countable sum of closed subsets of dimension $ \leq n $, then also $ \mathop{\rm dim} X \leq n $, $ n = 0, 1 , . . . $. In this theorem, the condition that the sum be finite or countable may be replaced by the condition of local finiteness. The statement for the large and small inductive dimensions analogous to this sum theorem already fails in the class of Hausdorff compacta. The following statements are among the fundamental general facts of dimension theory, and make it possible to reduce the consideration of arbitrary spaces to that of Hausdorff compacta. For any normal space

a) $ \mathop{\rm dim} \beta X = \mathop{\rm dim} X $, $ \mathop{\rm Ind} \beta X = \mathop{\rm Ind} X $, where $ \beta X $ is the Stone–Čech compactification of $ X $; at the same time, the inequality $ \mathop{\rm ind} \beta X > \mathop{\rm ind} X $ is possible;

b) there exists a compactification $ bX $ of $ X $ with weight (cf. Weight of a topological space) $ w ( bX) $ equal to the weight $ wX $ and with dimension $ \mathop{\rm dim} bX $ equal to the dimension $ \mathop{\rm dim} X $; the analogous statement also holds for the large inductive dimension. The case of a countable weight of the space is especially interesting, since in this case the extension $ bX $ is metrizable.

Statement b) can be strengthened: For any $ n = 0, 1 \dots $ and any infinite cardinal number $ \tau $ there is a Hausdorff compactum $ \Pi _ \tau ^ {n} $ of weight $ \tau $ and dimension $ \mathop{\rm dim} \Pi _ \tau ^ {n} = n $ containing a homeomorphic image of every normal space $ X $ of weight $ \leq \tau $ and dimension $ \mathop{\rm dim} X \leq n $( the theorem on the universal Hausdorff compactum of given weight and dimension). The analogous statement also holds for the large inductive dimension. Here for $ \Pi _ {\aleph _ {0} } ^ {0} $ one can take the perfect Cantor set, and as $ \Pi _ {\aleph _ {0} } ^ {1} $ the Menger universal curve.

It would seem that dimension should possess the monotonicity property: $ \mathop{\rm dim} A \leq \mathop{\rm dim} X $ if $ A \subset X $. This is so if a) the set $ A $ is closed in $ X $ or is strongly paracompact; or b) the space $ X $ is metrizable (and even perfectly normal). However, already for a subset $ A $ of a hereditarily normal space $ X $ one may have $ \mathop{\rm dim} A > \mathop{\rm dim} X $ and $ \mathop{\rm Ind} A > \mathop{\rm Ind} X $. But always $ \mathop{\rm ind} A \leq \mathop{\rm ind} X $ for $ A \subset X $.

One of the main problems in dimension theory is the behaviour of dimension under continuous mappings. In the case of closed mappings (these also include all continuous mappings of Hausdorff compacta) the answer is given by the formulas of W. Hurewicz, which he originally obtained for the class of spaces with a countable base.

Hurewicz' formula for mappings raising the dimension: If a mapping $ f: X \rightarrow Y $ is continuous and closed, then

$$ \mathop{\rm mult} f + \mathop{\rm dim} X - 1 \geq \mathop{\rm dim} Y, $$

where $ \mathop{\rm mult} f = \sup \{ {| f ^ { - 1 } y | } : {y \in Y } \} $ is the multiplicity of $ f $.

Hurewicz' formula for mappings lowering the dimension: For a continuous closed mapping $ f: X \rightarrow Y $ onto a paracompactum $ Y $, the inequality

$$ \tag{1 } \mathop{\rm dim} X - \mathop{\rm dim} f \leq \mathop{\rm dim} Y $$

holds, where

$$ \mathop{\rm dim} f = \ \sup \{ { \mathop{\rm dim} f ^ { - 1 } y } : {y \in Y } \} . $$

For an arbitrary normal space $ Y $ this formula is, in general, false.

In the case of continuous mappings of finite-dimensional compacta, it has been established that a continuous mapping $ f $ of dimension $ \mathop{\rm dim} f = k $ is a superposition of $ k $ continuous mappings of dimension 1 (this is a precization of formula (1), and an analogue of the fact that a $ k $- dimensional cube is the product of $ k $ intervals).

In the case of open mappings one can show that the image of a zero-dimensional Hausdorff compactum is zero-dimensional and, at the same time, that the Hilbert cube is the image of a one-dimensional compactum, even if the corresponding mapping $ f $ has dimension $ \mathop{\rm dim} f $ equal to zero. However, in the case of an open mapping $ f: X \rightarrow Y $ of Hausdorff compacta $ X $ and $ Y $ with multiplicity $ \leq \aleph _ {0} $, the equality $ \mathop{\rm dim} X = \mathop{\rm dim} Y $ holds.

The behaviour of dimension under topological products is described by the following assertions:

a) there exist finite-dimensional compacta $ X $ and $ Y $ for which $ \mathop{\rm dim} X \times Y < \mathop{\rm dim} X + \mathop{\rm dim} Y $;

b) if one of the factors of the product $ X \times Y $ is a Hausdorff compactum or metrizable, then $ \mathop{\rm dim} X \times Y \leq \mathop{\rm dim} X + \mathop{\rm dim} Y $;

c) there exist normal spaces $ X $ and $ Y $ for which $ \mathop{\rm dim} X \times Y > \mathop{\rm dim} X + \mathop{\rm dim} Y $.

In the case of Hausdorff compacta $ X $ and $ Y $ one always has $ \mathop{\rm Ind} X \times Y < \infty $ if $ \mathop{\rm Ind} X < \infty $ and $ \mathop{\rm Ind} Y < \infty $, but one may have $ \mathop{\rm Ind} X \times Y > \mathop{\rm Ind} X + \mathop{\rm Ind} Y $. If, however, the Hausdorff compacta $ X $ and $ Y $ are perfectly normal or one-dimensional, then $ \mathop{\rm Ind} X \times Y \leq \mathop{\rm Ind} X + \mathop{\rm Ind} Y $.

Dimension theory is most meaningful, first, for the class of metric spaces with a countable base, and, secondly, for the class of all metric spaces. In the class of metric spaces with a countable base one has the Urysohn equalities

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

In the class of arbitrary metric spaces one has the Katětov equality

$$ \tag{3 } \mathop{\rm dim} X = \mathop{\rm Ind} X , $$

and $ \mathop{\rm ind} X = 0 < \mathop{\rm Ind} X = 1 $ is possible.

In the case of metric spaces the concept of an $ n $- dimensional space can be reduced to the concept of a zero-dimensional space by the following two methods. For a metric space $ X $, $ \mathop{\rm dim} X \leq n $, $ n = 0, 1 \dots $ if and only if

a) $ X $ can be represented by at most $ n + 1 $ zero-dimensional summands; or

b) there exists a continuous closed mapping of multiplicity $ \leq n + 1 $ from a zero-dimensional metric space onto $ X $.

For any subset $ A $ of a metric space $ X $ there is a subset $ B \supset A $ of type $ G _ \delta $ in $ X $ for which $ \mathop{\rm dim} B = \mathop{\rm dim} A $.

In the class of metric spaces of weight $ \leq \tau $ and dimension $ \leq n $ there exists a universal space (in the sense of imbedding). Dowker's theorem has played an important role in the dimension theory of metric (and more general) spaces: $ \mathop{\rm dim} X \leq n $ if and only if in any locally finite open covering of $ X $ one can inscribe an open covering of multiplicity $ \leq n + 1 $.

One of the most important problems in dimension theory is the problem of the relations between the Lebesgue dimension and the inductive dimensions. Although for an arbitrary space $ X $ the values of the dimensions $ \mathop{\rm dim} X $, $ \mathop{\rm ind} X $, $ \mathop{\rm Ind} X $ are, in general, pairwise distinct, for some classes of spaces that are in some sense close to metric spaces one has, e.g., the following:

a) if the space $ X $ admits a continuous closed mapping $ f $ of dimension $ \mathop{\rm dim} f = 0 $ onto a metric space, then (3) holds, whence follow the equalities (2) for locally compact Hausdorff groups and their quotient spaces;

b) if there exists a continuous closed mapping from a metric space onto $ X $, then (2) holds.

One more general condition for equality (3) to hold for a paracompactum $ X $ is as follows: $ \mathop{\rm dim} X = n $ and $ X $ is the image of a zero-dimensional space under a closed mapping of multiplicity $ \leq n + 1 $, $ n = 0, 1 , . . . $.

In the case of an arbitrary space $ X $ one always has the inequalities $ \mathop{\rm dim} X \leq \mathop{\rm Ind} X $ and $ \mathop{\rm ind} X \leq \mathop{\rm Ind} X $, while the equalities $ \mathop{\rm dim} X = 0 $ and $ \mathop{\rm Ind} X = 0 $ are equivalent. For a strongly paracompact (in particular, for a Hausdorff compact or Lindelöf compact) space $ X $ one has the inequality $ \mathop{\rm dim} X \leq \mathop{\rm ind} X $. For Hausdorff compacta the equalities $ \mathop{\rm ind} X = 1 $ and $ \mathop{\rm Ind} X = 1 $ are equivalent. There exist Hausdorff compacta satisfying the first axiom of countability (and even perfectly-normal Hausdorff compacta, if one assumes the continuum hypothesis), for which $ \mathop{\rm dim} X = 1 $ and $ \mathop{\rm ind} X = n $, $ n = 2, 3 , . . . $. An example of a topologically homogeneous Hausdorff compactum with $ \mathop{\rm dim} X < \mathop{\rm ind} X $ has been constructed. For perfectly-normal Hausdorff compacta one always has $ \mathop{\rm ind} X = \mathop{\rm Ind} X $. There exist Hausdorff compacta, satisfying even the first axiom of countability, for which $ \mathop{\rm ind} X < \mathop{\rm Ind} X $. It is not known (1983) whether there exists an $ m $ such that for every $ n > m $ there is a Hausdorff compactum (a metric space) $ X $ with $ \mathop{\rm ind} X = m $, $ \mathop{\rm Ind} X = n $.

In the case of non-metrizable spaces, the dimension may not only fail to be monotone, but it also has other pathological properties. For any $ n = 2, 3 \dots $ an example of a Hausdorff compactum $ \theta _ {n} $ in which any closed set has dimension either 0 or $ n = \mathop{\rm dim} \theta _ {n} $ has been constructed. An analogous example for the inductive dimension is impossible. Also, for each $ n = 1, 2 \dots $ an example of a Hausdorff compactum $ \Phi _ {n} $ for which any closed set separating $ \Phi _ {n} $ has dimension $ n = \mathop{\rm dim} \Phi _ {n} $ has been constructed. Thus, the approach to the definition of dimension in the case of a non-metrizable space differs in principle from the inductive approach of Poincaré based on the separation of the space by spaces of a smaller number of coordinates. The Hausdorff compacta $ \Phi _ {n} $ are directly related to the following statement: Any $ n $- dimensional Hausdorff compactum contains an $ n $- dimensional Cantor manifold.

A subset of an $ n $- dimensional Euclidean space $ E ^ {n} $ is $ n $- dimensional if and only if it contains interior points with respect to $ E ^ {n} $. A compactum has dimension $ \leq n $ if and only if it has a mapping of dimension zero into $ E ^ {n} $, hence, up to zero-dimensional mappings, $ n $- dimensional compacta are indistinguishable from the bounded closed subsets of $ E ^ {n} $ containing interior points (with respect to $ E ^ {n} $).

See also Dimension theory.

References

[1] P.S. Aleksandrov, B.A. Pasynkov, "Introduction to dimension theory" , Moscow (1973) (In Russian) MR0365524 Zbl 0441.55002
[2] W. Hurevicz, G. Wallman, "Dimension theory" , Princeton Univ. Press (1948)
[3] P.S. Urysohn, "Works on topology and other areas of mathematics" , 1–2 , Moscow-Leningrad (1951) (In Russian)

Comments

Let $ X , Y $ be topological spaces and let $ \omega $ be a covering of $ X $. A continuous mapping $ f : X \rightarrow Y $ is an $ \omega $- mapping if each point $ y \in Y $ has a neighbourhood $ U _ {y} $ such that $ f ^ { - 1 } ( U _ {y} ) $ is included in some element of $ \omega $. Let $ X $ be metric; then $ f $ is called an $ \epsilon $- mapping for an $ \epsilon \in \mathbf R $, $ \epsilon > 0 $, if the diameter of each $ f ^ { - 1 } ( y) $ is $ < \epsilon $. Finally, a continuous mapping of a subset $ X $ of a Euclidean or Hilbert space $ E $ into $ E $ is called an $ \epsilon $- shift if each point of $ X $ gets displaced at most by $ \epsilon $.

Lebesgue's theorem on tilings is also called the Lebesgue–Brouwer theorem on tilings or the Pflastersatz.

The Katětov equality (3) is also called the Katetov–Morito equality (of dimensions of metrizable spaces).

The Lebesgue dimension is also called the covering dimension. A metrizable space $ X $ with $ \mathop{\rm ind} X < \mathop{\rm Ind} X $ was constructed by P. Roy [a2].

For still other notions of dimension cf. also Fractal dimension and Hausdorff dimension.

References

[a1] R. Engelking, "Dimension theory" , North-Holland & PWN (1978) MR0482696 MR0482697 Zbl 0401.54029
[a2] P. Roy, "Nonequality of dimensions for metric spaces" Trans. Amer. Math. Soc. , 134 (1968) pp. 117–132 MR0227960 Zbl 0181.26002
[a3] J.-I. Nagata, "Modern dimension theory" , Heldermann (1983) MR0715431 Zbl 0518.54002

Dimension of an associative ring.

Comments

A number associated to a ring or module in such a way that its behaviour under some classical operations, e.g. subobjects, quotient objects, direct sums or products, extensions $ \dots $ may be studied. It is possible to introduce many different notions of dimension; the success of the theory one can develop depends, however, on the properties with respect to the kind of operations mentioned above, so that good techniques for giving proofs by induction on the dimension become available. Several of the dimensions most used in algebra and ring theory may be defined on the lattice of submodules of some module, globalizing the definition by considering the supremum (or a similar invariant) of the dimension of all modules (perhaps restricting to a certain class of modules). In this way one may define the Goldie dimension, the dual Goldie dimension, the Krull dimension, and the Gabriel dimension, as well as relative versions of these defined by restricting to suitable subcategories of modules. Certain dimensions are defined starting from the principle of resolutions in the category of modules, these dimensions include the homological dimensions, e.g. the projective dimension of a module (or ring), the injective dimension of a module (or ring) and the weak or flat dimensions of a module (cf. also Homological dimension). Many concrete problems concerning rings or modules may be solved by the introduction of the appropriate notion of dimension. As another example one can mention the so-called $ G K $- dimension (Gel'fand–Kirillov) that is related to a notion of a non-commutative transcendence degree and that can be used to obtain information about the imbedding of free algebras in the ring considered, e.g. in certain rings of differential operators (the simplest cases of which are the Weyl algebras. The Weyl algebra $ A _ {n} ( k) $ over a field of characteristic zero $ k $ is the algebra $ k < x _ {1} \dots x _ {n} $; $ \partial / {\partial x _ {1} } \dots \partial / {\partial x _ {n} } > $, i.e. the associative algebra generated by $ 2 n $ symbols $ X _ {1} \dots X _ {n} $, $ Y _ {1} \dots Y _ {n} $ subject to the relations $ Y _ {i} X _ {j} - X _ {j} Y _ {i} = \delta _ {ij} $ where $ \delta _ {ij} $ is the Kronecker symbol).

Below the definitions of those dimensions most commonly used in algebra are give.

Krull dimension. For a partially ordered set $ ( L , \leq ) $, let $ \Gamma ( L) $ be the set $ \{ {( a , b ) } : {a \leq b, a , b \in L } \} $. By transfinite recursion one may define on $ \Gamma ( L) $ a filtration:

$$ \Gamma _ {-} 1 ( L) = \{ ( a , b ) \in \Gamma ( L) , a = b \} . $$

$$ \Gamma _ {0} ( L) = \{ ( a , b ) \in \Gamma ( L) : [ a , b ] \textrm{ is Artinian } \} $$

$$ \Gamma _ \alpha = \{ ( a , b ) \in ( L) : \forall b \geq b _ {1} \geq \dots \geq b _ {n} \geq \dots \geq a, $$

$$ \left . \exists n \in \mathbf N , \forall i \geq n : ( b _ {i+} 1 , b _ {i} ) \in \cup _ {\beta < \alpha } \Gamma _ \beta ( L) \right \} . $$

In this way one obtains an ascending chain:

$$ \Gamma _ {-} 1 ( L) \subset \Gamma _ {0} ( L) \subset \dots $$

$$ \dots \subset \Gamma _ \alpha ( L) \subset \dots . $$

Since $ L $ is a set it follows that $ \Gamma _ \xi ( L) = \Gamma _ {\xi + 1 } ( L) = \dots $. If $ \Gamma ( L) = \Gamma _ \alpha ( L) $, one says that the Krull dimension $ \mathop{\rm Kdim} $ of $ L $ is defined. If $ R $ is a ring and $ M $ is a left $ R $- module, one says that $ M $ has Krull dimension if the lattice $ L ( M) $ of left submodules of $ M $ has Krull dimension. If the left $ R $- module $ {} _ {R} R $ has Krull dimension, one says that the ring $ R $ has Krull dimension.

Gabriel dimension. For a modular upper-continuous lattice (cf. Continuous lattice; Modular lattice) $ L $ having 0 and 1 one defines $ \mathop{\rm Gdim} L $ by transfinite recursion. $ \mathop{\rm Gdim} L = 0 $ if and only if $ L = \{ 0 \} $. Let $ \alpha $ be a non-limit ordinal number and assume that the Gabriel dimension $ \mathop{\rm Gdim} L ^ \prime = \beta $ has already been defined for lattices with $ \beta < \alpha $. One says that $ L $ is $ \alpha $- simple if for each $ a \neq 0 $ in $ L $ one has: $ \mathop{\rm Gdim} [ 0 , a ] $ is not smaller that $ \alpha $ but $ \mathop{\rm Gdim} [ a , 1 ] < \alpha $. One says that $ \mathop{\rm Gdim} L = \alpha $ if $ \mathop{\rm Gdim} L $ is not smaller than $ \alpha $ but for every $ a \neq 1 $ in $ L $ there is some $ b > 0 $ such that $ [ a , b ] $ is $ \beta $- simple for some $ \beta \leq \alpha $. If $ a \in L $ and $ \mathop{\rm Gdim} [ 0 , a ] = \alpha $, one says that $ a $ has Gabriel dimension $ \alpha $. If $ L $ has Krull dimension, then $ L $ also has Gabriel dimension, and $ \mathop{\rm Kdim} L \leq \mathop{\rm Gdim} L \leq 1 + \mathop{\rm Kdim} L $.

If $ L $ is a Noetherian lattice, then $ \mathop{\rm Gdim} L = 1 + \mathop{\rm Kdim} L $.

If $ R $ is a ring and $ M $ is a left $ R $- module, then $ \mathop{\rm Gdim} M $ is defined to be $ \mathop{\rm Gdim} L ( M) $.

It is somewhat remarkable that affine PI-rings (cf. PI-algebra) need not have Krull dimension, while on the other hand these rings have finite Gabriel dimensions.

Projective dimension. A projective resolution of a left $ R $- module $ M $ is an exact sequence

$$ \dots \rightarrow P _ {n} \rightarrow \dots \rightarrow P _ {0} \rightarrow M \rightarrow 0 , $$

where each $ P _ {i} $ is a projective left $ R $- module (cf. also Resolution). If $ P _ {k} \neq 0 $ but $ P _ {n} = 0 $ for all $ n > k $, then one says that the resolution has infinite length. It is easy to prove that each module $ M $ has a projective resolution and so one may define $ \mathop{\rm pd} _ {R} ( M) $, the projective dimension of $ M $, to be the least $ n $ for which $ M $ has a projective resolution of length $ n $. If such an $ n $ does not exist, one puts $ \mathop{\rm pd} _ {R} ( M) = \infty $; clearly, $ \mathop{\rm pd} _ {R} ( M) = 0 $ if and only if $ M $ is projective (cf. Projective module). The (left) global dimension $ \mathop{\rm gl}\AAh dim R $ of $ R $ is defined to be $ \sup \{ { \mathop{\rm pd} _ {R} ( M) } : {M \textrm{ an } R \textrm{ \AAh module } } \} $; in fact, this global dimension is the same if one uses right modules for its determination.

One may define the injective dimension of a module $ M $ in a completely dual way, using injective resolutions, such that $ fnnme {inj\AAh dim } M $ is the length of a minimal injective resolution for $ M $. The global (left) injective dimension of $ R $ is defined to be the supremum of the injective dimensions of arbitrary (left) $ R $- modules, but one can establish that this dimension of the ring $ R $ is the same as $ \mathop{\rm gl}\AAh dim R $ defined as above using projective resolutions.

Moreover, if $ R $ is a left and right Noetherian ring, then the left and right global dimensions of $ R $ are the same. Note that the semi-simple Artinian rings are characterized by the fact that they have global dimension zero (cf. also Artinian ring).

Instead of considering projective resolutions one may look at resolutions of $ M $ in terms of flat $ R $- modules (cf. Flat module). The dimension defined in this way is the flat dimension, or weak dimension, of $ M $, denoted by $ \mathop{\rm fd} ( M) $. The left weak dimension $ \mathop{\rm l}.wdim ( R) $ of $ R $ is defined to be $ \sup \{ { \mathop{\rm fd} ( M) } : {M \textrm{ a } \textrm \left R \textrm{ \AAh module } } \} \right .$; the right weak dimension $ \mathop{\rm r}.wdim ( R) $ is defined similarly. Cf. also Homological dimension.

For a left Noetherian ring $ R $, $ \mathop{\rm gl}\AAh dim R = \mathop{\rm l}.wdim R $; for a right Noetherian ring $ R $, $ \mathop{\rm gl}\AAh dim R = \mathop{\rm r}.wdim R $. So for left and right Noetherian rings the projective global dimension, the injective global dimension and the weak dimension coincide; this is not true for arbitrary $ R $- modules though.

The global dimension is important in the study of commutative regular local rings that play an important part in basic algebraic geometry. Note that a local commutative ring is regular exactly then when it has finite global dimension, and in this case the global dimension equals the Krull dimension.

Gel'fand–Kirillov dimension. For an algebra $ A $ over a field $ k $ one considers subalgebras $ k [ V] $ in $ A $ generated over $ k $ by a vector space $ V $ over $ k $ contained in $ A $. If $ V $ is finite dimensional over $ k $ and $ 1 \in V $, then $ V $ is called a frame for $ A $ if $ A = k [ V] $ and a subframe otherwise. Let $ V = k v _ {1} + \dots + k v _ {d} $ be a subframe of $ A $ and let $ V ^ {i} $ be the set of monomials of length $ i $ in $ v _ {1} \dots v _ {d} $. Write $ F _ {n} ^ { V } ( A) = k + V + \dots + V ^ {n} $. Then $ \{ {F _ {n} ^ { V } ( A) } : {n \in \mathbf Z } \} $ defines a filtration on $ k [ V] $, where by definition $ F _ {m} ^ { V } ( A) = 0 $ for $ m \leq - 1 $. The associated graded ring of this filtration is isomorphic to $ \oplus _ {i = - 1 } ^ \infty V ^ {i+} 1 / V ^ {i} $.

Define $ d _ {V} ( n) = \mathop{\rm dim} _ {k} F _ {n} ^ { V } ( A) $ and $ \mathop{\rm GKdim} k [ V] = \lim\limits \sup ( \mathop{\rm log} d _ {V} ( n) \mathop{\rm log} ( n) ^ {-} 1 ) $. This number is well-defined and it depends only on $ k ( V) $ but not on the choice of $ V $.

Put $ \mathop{\rm GKdim} A = \mathop{\rm GKdim} k [ V] $ if $ V $ is a frame for $ A $. If $ A $ is algebraic over $ k $, then $ \mathop{\rm GKdim} A = 0 $( cf. also Algebraic algebra). Note that $ \mathop{\rm GKdim} A $ is a real number but not necessarily an integer; W. Borho and H. Kraft have shown that any $ r \in \mathbf R $ with $ r \geq 2 $ can appear as the GKdim of some $ k $- algebra. In the interval $ [ 0 , 1 ] $ only 0 and 1 can appear as GKdim of a $ k $- algebra; G. Bergman proved that numbers in $ ( 1 , 2 ) $ cannot appear as the GKdim of some $ k $- algebra. That this dimension is sometimes related to the Krull dimension is not a big surprise, at least in the commutative case.

If $ M $ is a finitely-generated module over an affine commutative $ k $- algebra, then $ \mathop{\rm GKdim} M = \mathop{\rm Kdim} M $.

If $ \mathfrak g $ is a solvable Lie algebra over $ k $, say $ \mathop{\rm dim} _ {k} \mathfrak g = n $, then the GKdim of the universal enveloping algebra $ U ( \mathfrak g ) $ satisfies $ \mathop{\rm GKdim} U ( \mathfrak g ) = \mathop{\rm Kdim} U ( \mathfrak g ) = n $.

If $ A $ is a prime PI-algebra, then $ \mathop{\rm GKdim} A = \mathop{\rm tdeg} _ {k} A $ and in the affine case this number also equals the classical Krull dimension, $ \mathop{\rm cl}.Kdim A $, defined in terms of the length of maximal chains of prime ideals of $ A $.

The Gel'fand–Kirillov transcendence degree $ fnnem GKtdeg ( A ) $ is defined to be $ \sup _ {V} \inf _ {V} \mathop{\rm GKdim} k [ b V ] $, where $ V $ ranges over the subframes of $ A $ and $ b $ ranges over the regular elements of $ A $. If $ D _ {n} ( k) $ is the $ n $- th Weyl field, the quotient division algebra of $ A _ {n} ( k) $, then $ fnnem GKtdeg ( D _ {n} ( k) ) = 2 n $, whereas $ \mathop{\rm GKdim} D _ {n} ( k) = \infty $, so the transcendence degree is somewhat better behaved when dealing with rings of differential operators.

There are a large number of concepts called "dimension" in many parts of mathematics. The three principal groups appear to be the topological concepts (including the dimension of differentiable and analytic manifolds) and the algebraic ones described above, and the ideas of dimension in algebraic and analytic geometry; cf. also Analytic space; Rational function; Analytic set; Cohomological dimension; Spectrum of a ring. The last group of dimension ideas, i.e. those of algebraic and analytic geometry, are intermediate between the other two and form something of a bridge.

A topological space is irreducible if it can not be written as a union of two proper closed subspaces $ X _ {1} \cup X _ {2} = X $, $ X _ {i} \neq X $. A topological space $ X $ is called Noetherian if it satisfies the descending chain condition for closed subsets: For any sequence of closed subsets $ Y _ {1} \supset Y _ {2} \supset \dots $ there is an $ r $ such that $ Y _ {r} = Y _ {r+} 1 = \dots $. Now define the (algebraic-geometrically inspired) dimension of $ X $ as the supremum of all integers $ n $ such that there exists a chain of irreducible closed subsets

$$ \emptyset \neq Z _ {0} \subset \dots \subset Z _ {n} $$

(proper inclusions everywhere) in $ X $. To avoid confusion, this notion of dimension is written $ \mathop{\rm adim} ( X) $ here. This is not a notion which makes a great deal of sense for Hausdorff spaces (the only irreducible Hausdorff spaces are one-point spaces), but it is just right for algebraic varieties and schemes (with the Zariski topology).

Indeed, if $ X = \mathop{\rm Spec} ( A) $, where $ A $ is a commutative Noetherian ring with unit element, then this is the Krull dimension of $ A $: $ \mathop{\rm Kdim} ( A) = \mathop{\rm adim} ( X) $.

Let $ X $ be an irreducible algebraic variety; then $ \mathop{\rm adim} ( X) $ is also the transcendence degree of the field of rational functions on $ X $, another frequently used concept to define the dimension of an algebraic variety. The local dimension of $ X $ at a point $ x $ is defined as $ \mathop{\rm dim} _ {x} X = \mathop{\rm dim} _ {k(} x) ( \mathfrak m _ {x} / \mathfrak m _ {x} ^ {2} ) $, where $ \mathfrak m _ {x} $ is the maximal ideal of the local ring $ {\mathcal O} _ {X,x} $ at $ x $ and $ k ( x) = {\mathcal O} _ {X,x} / \mathfrak m _ {x} $. One has $ \mathop{\rm adim} ( X) = \min _ {x} \mathop{\rm dim} _ {x} X $ and $ \mathop{\rm adim} ( X) = \mathop{\rm dim} _ {x} X $ if and only if $ x $ is a regular point if and only if $ {\mathcal O} _ {X,x} $ is a regular local ring.

If $ X $ is an algebraic variety over $ \mathbf C $ and $ X ^ {*} $ is its open subvariety of smooth points, then $ X ^ {*} $ is also a complex manifold over $ \mathbf C $, of $ \mathbf C $- dimension $ \mathop{\rm adim} ( X) $( meaning that locally one needs $ n $ complex coordinates to describe it) and hence of dimension $ 2 n $ as a topological manifold.

Finally it is possible to describe the topological dimension of a completely-regular space in terms of the algebra $ C _ {b} ( X) $ of bounded real-valued functions on $ X $. The metric topology on $ C _ {b} ( X) $ is defined by the norm

$$ \| f \| = \sup _ { x } | f ( x) | , $$

which is also determined algebraically by

$$ \| f \| = \sup _ {\mathfrak m } | f ( x) | $$

where $ \mathfrak m $ runs through the maximal ideals of $ C _ {b} ( X) $. A subring $ A $ of $ C _ {b} ( X) $ will be called an analytic subring if

i) all constant functions belong to $ A $;

ii) $ f ^ { 2 } \in A \Rightarrow f \in A $;

iii) $ A $ is closed in the metric topology on $ C _ {b} ( X) $.

A set of functions $ B $ is said to be an analytic base for an analytic subring $ A \subset C _ {b} ( X) $ if $ A $ is the smallest analytic subring containing $ B $.

The following are equivalent for a completely-regular space $ X $: 1) $ \mathop{\rm dim} X \leq n $; 2) every countable set in $ C _ {b} ( X) $ is contained in an analytic subring with analytic base of cardinality $ \leq n $; and 3) every finite subfamily of $ C _ {b} ( X) $ is contained in an analytic subring with an analytic base of cardinality $ \leq n $( Katětov's theorem). If $ X $ is a compact metric space, these three properties are also equivalent to $ C _ {b} ( X) $ itself having an analytic base of cardinality $ \leq n $.

References

[a1] J.M. Gel'fand, A.A. Kirillov, "Sur les corps liés aux algèbres enveloppantes des algèbres de Lie" Publ. Math. IHES , 31 (1966) pp. 5–19 MR207918
[a2] R. Gordon, J.C. Robson, "Krull dimension" , Amer. Math. Soc. (1973) MR0352177 MR0321980 MR0316489 Zbl 0269.16017 Zbl 0266.16022 Zbl 0257.16004
[a3] G. Krause, T.H. Lenagom, "Growth of algebras and Gelfand–Kirillov dimension" , Pitman (1985) MR0781129 Zbl 0564.16001
[a4] C. Năstăsecu, F. van Oystaeyen, "Dimensions of ring theory" , Reidel (1987)
[a5] R. Rentschler, P. Gabriel, "Sur la dimension des anneaux et ensembles ordonnées" C.R. Acad. Sci. Paris , 265 (1967) pp. 712–715 MR224644
[a6] R. Hartshorne, "Algebraic geometry" , Springer (1977) pp. 272 MR0463157 Zbl 0367.14001
[a7] I.R. Shafarevich, "Basic algebraic geometry" , Springer (1974) (Translated from Russian) MR0366917 Zbl 0284.14001
[a8] L. Gillman, M. Jerison, "Rings of continuous functions" , v. Nostrand (1960) MR0156189 MR0116199 MR0114115 Zbl 0100.32202 Zbl 0093.30001 Zbl 0093.12604
[a9] N. Bourbaki, "Algèbre commutative" , Masson (1983) pp. Chapt. VIII. Dimension; Chapt. IX. Anneaux locaux noethériens complets MR2333539 MR2284892 MR0260715 MR0194450 MR0217051 MR0171800 Zbl 0579.13001
How to Cite This Entry:
Dimension. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Dimension&oldid=15750
This article was adapted from an original article by B.A. Pasynkov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article