Lebesgue covering dimension

Last updated

In mathematics, the Lebesgue covering dimension or topological dimension of a topological space is one of several different ways of defining the dimension of the space in a topologically invariant way. [1] [2]

Contents

Informal discussion

For ordinary Euclidean spaces, the Lebesgue covering dimension is just the ordinary Euclidean dimension: zero for points, one for lines, two for planes, and so on. However, not all topological spaces have this kind of "obvious" dimension, and so a precise definition is needed in such cases. The definition proceeds by examining what happens when the space is covered by open sets.

In general, a topological space X can be covered by open sets, in that one can find a collection of open sets such that X lies inside of their union. The covering dimension is the smallest number n such that for every cover, there is a refinement in which every point in X lies in the intersection of no more than n+1 covering sets. This is the gist of the formal definition below. The goal of the definition is to provide a number (an integer) that describes the space, and does not change as the space is continuously deformed; that is, a number that is invariant under homeomorphisms.

The general idea is illustrated in the diagrams below, which show a cover and refinements of a circle and a square.

Refinement of the cover of a circle Refinement of the cover of a circle.svg
Refinement of the cover of a circle
The first image shows a refinement (on the bottom) of a colored cover (on the top) of a black circular line. Note how in the refinement, no point on the circle is contained in more than two sets, and also how the sets link to one another to form a "chain".
Refinement of the cover of a square Refinement on a planar shape.svg
Refinement of the cover of a square
The top half of the second image shows a cover (colored) of a planar shape (dark), where all of the shape's points are contained in anywhere from one to all four of the cover's sets. The bottom illustrates that any attempt to refine said cover such that no point would be contained in more than two sets—ultimately fails at the intersection of set borders. Thus, a planar shape is not "webby": it cannot be covered with "chains", per se. Instead, it proves to be thicker in some sense. More rigorously put, its topological dimension must be greater than 1.

Formal definition

Henri Lebesgue used closed "bricks" to study covering dimension in 1921. Radford-stretcher-bond.jpeg
Henri Lebesgue used closed "bricks" to study covering dimension in 1921.

The first formal definition of covering dimension was given by Eduard Čech, based on an earlier result of Henri Lebesgue. [4]

A modern definition is as follows. An open cover of a topological space X is a family of open sets Uα such that their union is the whole space, Uα = X. The order or ply of an open cover = {Uα} is the smallest number m (if it exists) for which each point of the space belongs to at most m open sets in the cover: in other words Uα1 ∩ ⋅⋅⋅ ∩ Uαm+1 = for α1, ..., αm+1 distinct. A refinement of an open cover = {Uα} is another open cover = {Vβ}, such that each Vβ is contained in some Uα. The covering dimension of a topological space X is defined to be the minimum value of n such that every finite open cover of X has an open refinement with order n+1. Thus, if n is finite, Vβ1 ∩ ⋅⋅⋅ ∩ Vβn+2 = for β1, ..., βn+2 distinct. If no such minimal n exists, the space is said to have infinite covering dimension.

As a special case, a non-empty topological space is zero-dimensional with respect to the covering dimension if every open cover of the space has a refinement consisting of disjoint open sets, meaning any point in the space is contained in exactly one open set of this refinement.

Examples

The empty set has covering dimension -1: for any open cover of the empty set, each point of the empty set is not contained in any element of the cover, so the order of any open cover is 0.

Any given open cover of the unit circle will have a refinement consisting of a collection of open arcs. The circle has dimension one, by this definition, because any such cover can be further refined to the stage where a given point x of the circle is contained in at most two open arcs. That is, whatever collection of arcs we begin with, some can be discarded or shrunk, such that the remainder still covers the circle but with simple overlaps.

Similarly, any open cover of the unit disk in the two-dimensional plane can be refined so that any point of the disk is contained in no more than three open sets, while two are in general not sufficient. The covering dimension of the disk is thus two.

More generally, the n-dimensional Euclidean space has covering dimension n.

Properties

Relationships to other notions of dimension

See also

Notes

  1. Lebesgue, Henri (1921). "Sur les correspondances entre les points de deux espaces" (PDF). Fundamenta Mathematicae (in French). 2: 256–285. doi:10.4064/fm-2-1-256-285.
  2. Duda, R. (1979). "The origins of the concept of dimension". Colloquium Mathematicum. 42: 95–110. doi: 10.4064/cm-42-1-95-110 . MR   0567548.
  3. Lebesgue 1921.
  4. Kuperberg, Krystyna, ed. (1995), Collected Works of Witold Hurewicz, American Mathematical Society, Collected works series, vol. 4, American Mathematical Society, p. xxiii, footnote 3, ISBN   9780821800119, Lebesgue's discovery led later to the introduction by E. Čech of the covering dimension.
  5. Ostrand 1971.
  6. Proposition 3.2.2 of Engelking, Ryszard (1978). Dimension theory (PDF). North-Holland Mathematical Library. Vol. 19. Amsterdam-Oxford-New York: North-Holland. ISBN   0-444-85176-3. MR   0482697.
  7. Godement 1973, II.5.12, p. 236

Related Research Articles

In mathematics, specifically in measure theory, a Borel measure on a topological space is a measure that is defined on all open sets. Some authors require additional restrictions on the measure, as described below.

<span class="mw-page-title-main">Compact space</span> Type of mathematical space

In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space. The idea is that a compact space has no "punctures" or "missing endpoints", i.e., it includes all limiting values of points. For example, the open interval (0,1) would not be compact because it excludes the limiting values of 0 and 1, whereas the closed interval [0,1] would be compact. Similarly, the space of rational numbers is not compact, because it has infinitely many "punctures" corresponding to the irrational numbers, and the space of real numbers is not compact either, because it excludes the two limiting values and . However, the extended real number linewould be compact, since it contains both infinities. There are many ways to make this heuristic notion precise. These ways usually agree in a metric space, but may not be equivalent in other topological spaces.

In category theory, a branch of mathematics, a Grothendieck topology is a structure on a category C that makes the objects of C act like the open sets of a topological space. A category together with a choice of Grothendieck topology is called a site.

<span class="mw-page-title-main">Lie group</span> Group that is also a differentiable manifold with group operations that are smooth

In mathematics, a Lie group is a group that is also a differentiable manifold.

<span class="mw-page-title-main">Normed vector space</span> Vector space on which a distance is defined

In mathematics, a normed vector space or normed space is a vector space over the real or complex numbers on which a norm is defined. A norm is a generalization of the intuitive notion of "length" in the physical world. If is a vector space over , where is a field equal to or to , then a norm on is a map , typically denoted by , satisfying the following four axioms:

  1. Non-negativity: for every ,.
  2. Positive definiteness: for every , if and only if is the zero vector.
  3. Absolute homogeneity: for every and ,
  4. Triangle inequality: for every and ,

In mathematics, a topological space is called separable if it contains a countable, dense subset; that is, there exists a sequence of elements of the space such that every nonempty open subset of the space contains at least one element of the sequence.

In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called points, along with an additional structure called a topology, which can be defined as a set of neighbourhoods for each point that satisfy some axioms formalizing the concept of closeness. There are several equivalent definitions of a topology, the most commonly used of which is the definition through open sets, which is easier than the others to manipulate.

This is a glossary of some terms used in the branch of mathematics known as topology. Although there is no absolute distinction between different areas of topology, the focus here is on general topology. The following definitions are also fundamental to algebraic topology, differential topology and geometric topology.

In mathematics, a paracompact space is a topological space in which every open cover has an open refinement that is locally finite. These spaces were introduced by Dieudonné (1944). Every compact space is paracompact. Every paracompact Hausdorff space is normal, and a Hausdorff space is paracompact if and only if it admits partitions of unity subordinate to any open cover. Sometimes paracompact spaces are defined so as to always be Hausdorff.

In real analysis the Heine–Borel theorem, named after Eduard Heine and Émile Borel, states:

<span class="mw-page-title-main">General topology</span> Branch of topology

In mathematics, general topology is the branch of topology that deals with the basic set-theoretic definitions and constructions used in topology. It is the foundation of most other branches of topology, including differential topology, geometric topology, and algebraic topology.

In mathematics, and more particularly in set theory, a cover of a set is a family of subsets of whose union is all of . More formally, if is an indexed family of subsets , then is a cover of if . Thus the collection is a cover of if each element of belongs to at least one of the subsets .

In mathematics, a zero-dimensional topological space is a topological space that has dimension zero with respect to one of several inequivalent notions of assigning a dimension to a given topological space. A graphical illustration of a nildimensional space is a point.

In mathematics, a Radon measure, named after Johann Radon, is a measure on the σ-algebra of Borel sets of a Hausdorff topological space X that is finite on all compact sets, outer regular on all Borel sets, and inner regular on open sets. These conditions guarantee that the measure is "compatible" with the topology of the space, and most measures used in mathematical analysis and in number theory are indeed Radon measures.

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.

In mathematics, a regular measure on a topological space is a measure for which every measurable set can be approximated from above by open measurable sets and from below by compact measurable sets.

In the mathematical field of general topology, a topological space is said to be metacompact if every open cover has a point-finite open refinement. That is, given any open cover of the topological space, there is a refinement that is again an open cover with the property that every point is contained only in finitely many sets of the refining cover.

<span class="mw-page-title-main">Space (mathematics)</span> Mathematical set with some added structure

In mathematics, a space is a set with some added structure. While modern mathematics uses many types of spaces, such as Euclidean spaces, linear spaces, topological spaces, Hilbert spaces, or probability spaces, it does not define the notion of "space" itself.

<span class="mw-page-title-main">Assouad dimension</span>

In mathematics — specifically, in fractal geometry — the Assouad dimension is a definition of fractal dimension for subsets of a metric space. It was introduced by Patrice Assouad in his 1977 PhD thesis and later published in 1979, although the same notion had been studied in 1928 by Georges Bouligand. As well as being used to study fractals, the Assouad dimension has also been used to study quasiconformal mappings and embeddability problems.

In mathematics, the mean (topological) dimension of a topological dynamical system is a non-negative extended real number that is a measure of the complexity of the system. Mean dimension was first introduced in 1999 by Gromov. Shortly after it was developed and studied systematically by Lindenstrauss and Weiss. In particular they proved the following key fact: a system with finite topological entropy has zero mean dimension. For various topological dynamical systems with infinite topological entropy, the mean dimension can be calculated or at least bounded from below and above. This allows mean dimension to be used to distinguish between systems with infinite topological entropy. Mean dimension is also related to the problem of embedding topological dynamical systems in shift spaces.

References

Further reading

Historical

Modern