Deformation Retract
   HOME

TheInfoList



OR:

In
topology In mathematics, topology (from the Greek words , and ) is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without closing ho ...
, a branch of
mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, a retraction is a continuous mapping from a topological space into a subspace that preserves the position of all points in that subspace. The subspace is then called a retract of the original space. A deformation retraction is a mapping that captures the idea of ''continuously shrinking'' a space into a subspace. An absolute neighborhood retract (ANR) is a particularly well-behaved type of topological space. For example, every topological manifold is an ANR. Every ANR has the homotopy type of a very simple topological space, a CW complex.


Definitions


Retract

Let ''X'' be a topological space and ''A'' a subspace of ''X''. Then a continuous map :r\colon X \to A is a retraction if the
restriction Restriction, restrict or restrictor may refer to: Science and technology * restrict, a keyword in the C programming language used in pointer declarations * Restriction enzyme, a type of enzyme that cleaves genetic material Mathematics and log ...
of ''r'' to ''A'' is the identity map on ''A''; that is, r(a) = a for all ''a'' in ''A''. Equivalently, denoting by :\iota\colon A \hookrightarrow X the inclusion, a retraction is a continuous map ''r'' such that :r \circ \iota = \operatorname_A, that is, the composition of ''r'' with the inclusion is the identity of ''A''. Note that, by definition, a retraction maps ''X'' onto ''A''. A subspace ''A'' is called a retract of ''X'' if such a retraction exists. For instance, any non-empty space retracts to a point in the obvious way (the constant map yields a retraction). If ''X'' is Hausdorff, then ''A'' must be a closed subset of ''X''. If r: X \to A is a retraction, then the composition ι∘''r'' is an idempotent continuous map from ''X'' to ''X''. Conversely, given any idempotent continuous map s: X \to X, we obtain a retraction onto the image of ''s'' by restricting the codomain.


Deformation retract and strong deformation retract

A continuous map :F\colon X \times , 1\to X is a ''deformation retraction'' of a space ''X'' onto a subspace ''A'' if, for every ''x'' in ''X'' and ''a'' in ''A'', : F(x,0) = x, \quad F(x,1) \in A ,\quad \mbox \quad F(a,1) = a. In other words, a deformation retraction is a homotopy between a retraction and the identity map on ''X''. The subspace ''A'' is called a deformation retract of ''X''. A deformation retraction is a special case of a homotopy equivalence. A retract need not be a deformation retract. For instance, having a single point as a deformation retract of a space ''X'' would imply that ''X'' is
path connected In topology and related branches of mathematics, a connected space is a topological space that cannot be represented as the union of two or more disjoint non-empty open subsets. Connectedness is one of the principal topological properties that ...
(and in fact that ''X'' is contractible). ''Note:'' An equivalent definition of deformation retraction is the following. A continuous map r: X \to A is a deformation retraction if it is a retraction and its composition with the inclusion is homotopic to the identity map on ''X''. In this formulation, a deformation retraction carries with it a homotopy between the identity map on ''X'' and itself. If, in the definition of a deformation retraction, we add the requirement that :F(a,t) = a for all ''t'' in , 1and ''a'' in ''A'', then ''F'' is called a strong deformation retraction. In other words, a strong deformation retraction leaves points in ''A'' fixed throughout the homotopy. (Some authors, such as
Hatcher Hatcher is a surname. Notable people with the surname include: * Allen Hatcher (born 1944), U.S. mathematician * Anna Granville Hatcher (1905–1978), U.S. linguist * Edwin Starr (born Charles Edwin Hatcher, 1942–2003), U.S. soul singer *Chris Ha ...
, take this as the definition of deformation retraction.) As an example, the ''n''-sphere ''S^'' is a strong deformation retract of \reals^ \backslash \; as strong deformation retraction one can choose the map :F(x,t)=\left((1-t)+\right) x.


Cofibration and neighborhood deformation retract

A map ''f'': ''A'' → ''X'' of topological spaces is a ( Hurewicz) cofibration if it has the homotopy extension property for maps to any space. This is one of the central concepts of
homotopy theory In mathematics, homotopy theory is a systematic study of situations in which maps can come with homotopies between them. It originated as a topic in algebraic topology but nowadays is studied as an independent discipline. Besides algebraic topolog ...
. A cofibration ''f'' is always injective, in fact a homeomorphism to its image. If ''X'' is Hausdorff (or a compactly generated weak Hausdorff space), then the image of a cofibration ''f'' is closed in ''X''. Among all closed inclusions, cofibrations can be characterized as follows. The inclusion of a closed subspace ''A'' in a space ''X'' is a cofibration if and only if ''A'' is a neighborhood deformation retract of ''X'', meaning that there is a continuous map u: X \rightarrow , 1/math> with A = u^\!\left(0\right) and a homotopy H: X \times , 1\rightarrow X such that H(x,0) = x for all x \in X, H(a,t) = a for all a \in A and t \in , 1 and H\left(x,1\right) \in A if u(x) < 1. For example, the inclusion of a subcomplex in a CW complex is a cofibration.


Properties

* One basic property of a retract ''A'' of ''X'' (with retraction r: X \to A) is that every continuous map f: A \rightarrow Y has at least one extension g: X \rightarrow Y, namely g = f \circ r. * Deformation retraction is a particular case of homotopy equivalence. In fact, two spaces are homotopy equivalent if and only if they are both homeomorphic to deformation retracts of a single larger space. * Any topological space that deformation retracts to a point is contractible and vice versa. However, there exist contractible spaces that do not strongly deformation retract to a point.


No-retraction theorem

The boundary of the ''n''-dimensional ball, that is, the (''n''−1)-sphere, is not a retract of the ball. (See .)


Absolute neighborhood retract (ANR)

A closed subset X of a topological space Y is called a neighborhood retract of Y if X is a retract of some open subset of Y that contains X. Let \mathcal be a class of topological spaces, closed under homeomorphisms and passage to closed subsets. Following Borsuk (starting in 1931), a space ''X'' is called an absolute retract for the class \mathcal, written \operatorname \left(\mathcal\right), if ''X'' is in \mathcal and whenever ''X'' is a closed subset of a space Y in \mathcal, X is a retract of Y. A space X is an absolute neighborhood retract for the class \mathcal, written \operatorname \left(\mathcal\right), if X is in \mathcal and whenever X is a closed subset of a space Y in \mathcal, X is a neighborhood retract of Y. Various classes \mathcal such as normal spaces have been considered in this definition, but the class \mathcal of metrizable spaces has been found to give the most satisfactory theory. For that reason, the notations AR and ANR by themselves are used in this article to mean \operatorname \left(\right) and \operatorname \left(\right). A metrizable space is an AR if and only if it is contractible and an ANR. By Dugundji, every locally convex metrizable topological vector space V is an AR; more generally, every nonempty
convex subset In geometry, a subset of a Euclidean space, or more generally an affine space over the reals, is convex if, given any two points in the subset, the subset contains the whole line segment that joins them. Equivalently, a convex set or a conve ...
of such a vector space V is an AR. For example, any normed vector space ( complete or not) is an AR. More concretely, Euclidean space \reals^, the unit cube I^,and the
Hilbert cube In mathematics, the Hilbert cube, named after David Hilbert, is a topological space that provides an instructive example of some ideas in topology. Furthermore, many interesting topological spaces can be embedded in the Hilbert cube; that is, ...
I^ are ARs. ANRs form a remarkable class of " well-behaved" topological spaces. Among their properties are: *Every open subset of an ANR is an ANR. *By Hanner, a metrizable space that has an open cover by ANRs is an ANR. (That is, being an ANR is a local property for metrizable spaces.) It follows that every topological manifold is an ANR. For example, the sphere ''S^'' is an ANR but not an AR (because it is not contractible). In infinite dimensions, Hanner's theorem implies that every Hilbert cube manifold as well as the (rather different, for example not
locally compact In topology and related branches of mathematics, a topological space is called locally compact if, roughly speaking, each small portion of the space looks like a small portion of a compact space. More precisely, it is a topological space in which ev ...
)
Hilbert manifold In mathematics, a Hilbert manifold is a manifold modeled on Hilbert spaces. Thus it is a separable Hausdorff space in which each point has a neighbourhood homeomorphic to an infinite dimensional Hilbert space. The concept of a Hilbert manifold prov ...
s and Banach manifolds are ANRs. *Every locally finite CW complex is an ANR. An arbitrary CW complex need not be metrizable, but every CW complex has the homotopy type of an ANR (which is metrizable, by definition). *Every ANR ''X'' is
locally contractible In mathematics, a topological space ''X'' is contractible if the identity map on ''X'' is null-homotopic, i.e. if it is homotopic to some constant map. Intuitively, a contractible space is one that can be continuously shrunk to a point within that ...
in the sense that for every open neighborhood U of a point x in X, there is an open neighborhood V of x contained in U such that the inclusion V \hookrightarrow U is homotopic to a constant map. A finite-dimensional metrizable space is an ANR if and only if it is locally contractible in this sense. For example, the Cantor set is a compact subset of the real line that is not an ANR, since it is not even locally connected. *Counterexamples: Borsuk found a compact subset of \reals^ that is an ANR but not strictly locally contractible. (A space is strictly locally contractible if every open neighborhood U of each point x contains a contractible open neighborhood of x.) Borsuk also found a compact subset of the Hilbert cube that is locally contractible (as defined above) but not an ANR. *Every ANR has the homotopy type of a CW complex, by Whitehead and Milnor. Moreover, a locally compact ANR has the homotopy type of a locally finite CW complex; and, by West, a compact ANR has the homotopy type of a finite CW complex. In this sense, ANRs avoid all the homotopy-theoretic pathologies of arbitrary topological spaces. For example, the
Whitehead theorem In homotopy theory (a branch of mathematics), the Whitehead theorem states that if a continuous mapping ''f'' between CW complexes ''X'' and ''Y'' induces isomorphisms on all homotopy groups, then ''f'' is a homotopy equivalence. This result ...
holds for ANRs: a map of ANRs that induces an isomorphism on
homotopy group In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The first and simplest homotopy group is the fundamental group, denoted \pi_1(X), which records information about loops in a space. Intuitively, homotop ...
s (for all choices of base point) is a homotopy equivalence. Since ANRs include topological manifolds, Hilbert cube manifolds, Banach manifolds, and so on, these results apply to a large class of spaces. *Many mapping spaces are ANRs. In particular, let ''Y'' be an ANR with a closed subspace ''A'' that is an ANR, and let ''X'' be any compact metrizable space with a closed subspace ''B''. Then the space \left(Y, A\right)^ of maps of pairs \left(X, B\right) \rightarrow \left(Y, A\right) (with the compact-open topology on the mapping space) is an ANR. It follows, for example, that the loop space of any CW complex has the homotopy type of a CW complex. *By Cauty, a metrizable space X is an ANR if and only if every open subset of X has the homotopy type of a CW complex. *By Cauty, there is a metric linear space ''V'' (meaning a topological vector space with a
translation-invariant In geometry, to translate a geometric figure is to move it from one place to another without rotating it. A translation "slides" a thing by . In physics and mathematics, continuous translational symmetry is the invariance of a system of equatio ...
metric) that is not an AR. One can take V to be separable and an F-space (that is, a complete metric linear space).Cauty (1994), Fund. Math. 146: 85–99. (By Dugundji's theorem above, V cannot be locally convex.) Since V is contractible and not an AR, it is also not an ANR. By Cauty's theorem above, V has an open subset U that is not homotopy equivalent to a CW complex. Thus there is a metrizable space U that is strictly locally contractible but is not homotopy equivalent to a CW complex. It is not known whether a compact (or locally compact) metrizable space that is strictly locally contractible must be an ANR.


Notes


References

* * * * * * * * * * * *


External links

* {{PlanetMath attribution, id=6255, title=Neighborhood retract Topology