Top Qs
Timeline
Chat
Perspective
Inductive dimension
Invariant of topological spaces From Wikipedia, the free encyclopedia
Remove ads
In the mathematical field of topology, the inductive dimension of a topological space X is either of two values, the small inductive dimension ind(X) or the large inductive dimension Ind(X). These are based on the observation that, in n-dimensional Euclidean space Rn, the boundaries of balls have dimension n − 1. Therefore it should be possible to define the dimension of a general space inductively in terms of the dimensions of the boundaries of suitable open sets in that space.
The small and large inductive dimensions are two of the three most usual ways of capturing the notion of "dimension" for a topological space, in a way that depends only on the topology (and not, say, on the properties of a metric space). The other is the Lebesgue covering dimension. The term "topological dimension" is ordinarily understood to refer to the Lebesgue covering dimension. For "sufficiently nice" spaces, the three measures of dimension are equal.
Remove ads
Formal definitions
Summarize
Perspective
We want the dimension of a point to be 0, and a point has empty boundary, so we start with
Then inductively, ind(X) is the smallest natural number n with the following property: for every and every open set U containing x, there is an open set V that contains x and whose closure is contained in U, such that the boundary of V has small inductive dimension less than n. Here, the boundary of V is considered as a topological space using the subspace topology inherited from X. (In the case of subspaces of Euclidean space, we may think of the sets V as tiny balls centered at x.) If no such n exists, we write ind(X) = ∞.
The large inductive dimension Ind(X) is defined to be the smallest n such that, for every closed subset F and every open subset U containing F, there is an open V that contains F and whose closure is contained in U, such that the boundary of V has large inductive dimension less than n. If no such n exists, we write Ind(X) = ∞.[1]
Remove ads
Examples
Summarize
Perspective
For nice and tame spaces, the inductive dimensions yield the expected answer. Consider for instance the set
with the topology inherited from Euclidean space R3. Intuitively, X consists of a 2-dimensional piece attached to a 1-dimensional piece, together with a disjoint 0-dimensional point. Both large and small inductive dimensions of X turn out to be 2.
Maybe less expected is This holds because for irrational numbers a and b, the set is both open and closed in and therefore has empty boundary.
Remove ads
Relationships between dimensions
Summarize
Perspective
Let be the Lebesgue covering dimension. For any topological space X, we have
- if and only if
Urysohn's theorem states that when X is a normal space with a countable base, then
Such spaces are exactly the separable and metrizable spaces (see Urysohn's metrization theorem).
The Nöbeling–Pontryagin theorem then states that such spaces with finite dimension are characterised up to homeomorphism as the subspaces of the Euclidean spaces, with their usual topology. The Menger–Nöbeling theorem (1932) states that if is compact metric separable and of dimension , then it embeds as a subspace of Euclidean space of dimension . (Georg Nöbeling was a student of Karl Menger. He introduced Nöbeling space, the subspace of consisting of points with at least co-ordinates being irrational numbers, which has universal properties for embedding spaces of dimension .)
Assuming only X metrizable we have (Miroslav Katětov)
- ind X ≤ Ind X = dim X;
or assuming X compact and Hausdorff (P. S. Aleksandrov)
- dim X ≤ ind X ≤ Ind X.
Either inequality here may be strict; an example of Vladimir V. Filippov shows that the two inductive dimensions may differ.
A separable metric space X satisfies the inequality if and only if for every closed sub-space of the space and each continuous mapping there exists a continuous extension .
Remove ads
References
Further reading
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads