Namespaces
Variants
Actions

Dimension invariant

From Encyclopedia of Mathematics
Revision as of 19:35, 5 June 2020 by Ulf Rehmann (talk | contribs) (tex encoded by computer)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search


An integer $ d ( X) $, defined for every topological space $ X $ of a given class $ {\mathcal K} $, which has sufficiently many properties to make it resemble the usual notion of dimension: the number of coordinates of higher-dimensional Euclidean spaces. Here one requires of the class $ {\mathcal K} $ that it contains all cubes with any number of coordinates, and together with any space $ X $ which is an element of it, it should also contain as an element every space homeomorphic to $ X $. For a dimension invariant $ d ( X) $ it is assumed, in any case, that for homeomorphic spaces $ X $ and $ X ^ { \prime } $ one always has $ d ( X) = d ( X ^ { \prime } ) $, and that for the $ n $- dimensional cube $ I ^ { n } $ one has $ d ( I ^ { n } ) = n $. Among the dimension invariants, the most important ones are the so-called classical dimensions — the Lebesgue dimension $ \mathop{\rm dim} X $ and the (large and small) inductive dimensions (cf. Inductive dimension) $ \mathop{\rm Ind} X $, $ \mathop{\rm ind} X $.

The following propositions distinguish $ \mathop{\rm dim} X $ from all other dimension invariants defined, respectively, in the class of all (metric) compacta, all metrizable and all separable metrizable spaces, and hence settle for these spaces the problem of the axiomatic definition of dimension. The only dimension invariant $ d ( X) $ satisfying the conditions 1), 2), 3) listed below and defined in the class $ {\mathcal K} $ of all (metric) compacta $ X $ is the dimension $ \mathop{\rm dim} X = \mathop{\rm Ind} X = \mathop{\rm ind} X $( Aleksandrov's theorem).

Condition 1) (Poincaré's axiom). If a space $ X $ is of class $ {\mathcal K} $ and if $ d ( X) $ is equal to the non-negative integer $ n $, then $ X $ contains a closed subspace $ X _ {0} $ for which $ d ( X _ {0} ) < n $ and such that the set $ X \setminus X _ {0} $ is disconnected.

Condition 2) (the finite sum axiom). If a space $ X $ of class $ {\mathcal K} $ is the union of two closed subspaces $ X _ {1} $ and $ X _ {2} $ for which $ d ( X _ {1} ) \leq n $, $ d ( X _ {2} ) \leq n $, then also $ d ( X) \leq n $.

Condition 3) (Brouwer's axiom in metric form). If $ X $ is a space belonging to $ {\mathcal K} $ and if $ d ( X) $ is the non-negative integer $ n $, then there is a positive number $ \epsilon $ such that for every space $ Y $ which is the image of $ X $ under some $ \epsilon $- mapping one has the inequality $ d ( Y) \geq n $. Here a mapping $ f $ from a compactum $ X $ onto a compactum $ Y $ is called an $ \epsilon $- mapping if it is continuous and if the complete pre-image $ f ^ {-} 1 ( y) $ of every point $ y \in Y $ has diameter $ < \epsilon $ in $ X $.

Shchepin's theorem [2]. The dimension $ \mathop{\rm dim} X $ is the only dimension invariant $ d ( X) $ defined, respectively, in the class $ {\mathcal K} $ of all metric, or all separable metric spaces $ X $, which satisfies the following conditions (Shchepin's theorem):

Condition 1) (Poincaré's axiom). See above.

Condition 2) (the countable sum axiom). If a space $ X $ belonging to the class $ {\mathcal K} $ is the union of a countable number of closed subspaces $ X _ {k} $, $ k = 1, 2 \dots $ each having $ d ( X _ {k} ) \leq n $, then also $ d ( X) \leq n $.

Condition 3) (Brouwer's axiom in general form). If for a space $ X $ belonging to the class $ {\mathcal K} $ one has $ d ( X) \leq n $, then there is a finite open covering $ \omega $ of $ X $ such that for every space $ Y $ belonging to $ {\mathcal K} $ and which is the image of $ X $ under some $ \omega $- mapping one has $ d ( Y) \geq n $. Here a mapping $ f $ from a space $ X $ on which a certain open covering $ \omega $ has been fixed onto a space $ Y $ is called an $ \omega $- mapping if every point $ y $ of $ Y $ has a neighbourhood $ O _ {y} $ whose complete pre-image $ f ^ {-} 1 ( O _ {y} ) $ is contained in some element of $ \omega $.

References

[1] P.S. Aleksandrov, "Some old problems in homological dimension theory" , Proc. Internat. Symp. Topology and its Applications. Herzog-Novi, 1968 , Beograd (1969) pp. 38–42 (In Russian)
[2] E. [E. Shchepin] Ščepin, "Axiomatics of the dimension of metric spaces" Soviet Math. Dokl. , 13 (1972) pp. 1177–1179 Dokl. Akad. Nauk SSSR , 206 : 1 (1972) pp. 31–32
[3] P.S. Aleksandrov, B.A. Pasynkov, "Introduction to dimension theory" , Moscow (1973) (In Russian)

Comments

A brief discussion of axioms for dimension invariants can also be found in [a1].

References

[a1] R. Engelking, "Dimension theory" , North-Holland & PWN (1978)
How to Cite This Entry:
Dimension invariant. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Dimension_invariant&oldid=46705
This article was adapted from an original article by A.A. Mal'tsev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article