Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Inductive dimension
Summary
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, (n − 1)-dimensional spheres (that is, the boundaries of n-dimensional balls) have dimension n − 1. Therefore it should be possible to define the dimension of a space inductively in terms of the dimensions of the boundaries of suitable open sets.
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.
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 n such that, for every and every open set U containing x, there is an open set V containing x, such that the closure of V is a subset of U, and the boundary of V has small inductive dimension less than or equal to n − 1. (If X is a Euclidean n-dimensional space, V can be chosen to be an n-dimensional ball centered at x.)
For the large inductive dimension, we restrict the choice of V still further; Ind(X) is the smallest n such that, for every closed subset F of every open subset U of X, there is an open V in between (that is, F is a subset of V and the closure of V is a subset of U), such that the boundary of V has large inductive dimension less than or equal to n − 1.
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 X (see Urysohn's metrization theorem).
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.