Retraction (topology)

• One basic property of a retract A of X (with retraction ${\textstyle r:X\to A}$) is that every continuous map ${\textstyle f:A\rightarrow Y}$ has at least one extension ${\textstyle g:X\rightarrow Y,}$ namely ${\textstyle 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.[4]

The boundary of the n-dimensional ball, that is, the (n−1)-sphere, is not a retract of the ball. (See Brouwer fixed-point theorem § A proof using homology or cohomology.)

A closed subset ${\textstyle X}$ of a topological space ${\textstyle Y}$ is called a neighborhood retract of ${\textstyle Y}$ if ${\textstyle X}$ is a retract of some open subset of ${\textstyle Y}$ that contains ${\textstyle X}$.

Let ${\displaystyle {\mathcal {C}}}$ be a class of topological spaces, closed under homeomorphisms and passage to closed subsets. Following Borsuk (starting in 1931), a space ${\textstyle X}$ is called an absolute retract for the class ${\displaystyle {\mathcal {C}}}$, written ${\textstyle \operatorname {AR} \left({\mathcal {C}}\right),}$ if ${\textstyle X}$ is in ${\displaystyle {\mathcal {C}}}$ and whenever ${\textstyle X}$ is a closed subset of a space ${\textstyle Y}$ in ${\displaystyle {\mathcal {C}}}$, ${\textstyle X}$ is a retract of ${\textstyle Y}$. A space ${\textstyle X}$ is an absolute neighborhood retract for the class ${\displaystyle {\mathcal {C}}}$, written ${\textstyle \operatorname {ANR} \left({\mathcal {C}}\right),}$ if ${\textstyle X}$ is in ${\displaystyle {\mathcal {C}}}$ and whenever ${\textstyle X}$ is a closed subset of a space ${\textstyle Y}$ in ${\displaystyle {\mathcal {C}}}$, ${\textstyle X}$ is a neighborhood retract of ${\textstyle Y}$.

Various classes ${\displaystyle {\mathcal {C}}}$ such as normal spaces have been considered in this definition, but the class ${\displaystyle {\mathcal {M}}}$ 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 ${\displaystyle \operatorname {AR} \left({\mathcal {M}}\right)}$ and ${\displaystyle \operatorname {ANR} \left({\mathcal {M}}\right)}$.[5]

A metrizable space is an AR if and only if it is contractible and an ANR.[6] By Dugundji, every locally convex metrizable topological vector space ${\textstyle V}$ is an AR; more generally, every nonempty convex subset of such a vector space ${\textstyle V}$ is an AR.[7] For example, any normed vector space (complete or not) is an AR. More concretely, Euclidean space ${\textstyle \mathbb {R} ^{n},}$ the unit cube ${\textstyle I^{n},}$and the Hilbert cube ${\textstyle I^{\omega }}$ 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.[8] (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 ${\textstyle S^{n}}$ 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) Hilbert manifolds and Banach manifolds are ANRs.
• Every locally finite CW complex is an ANR.[9] An arbitrary CW complex need not be metrizable, but every CW complex has the homotopy type of an ANR (which is metrizable, by definition).[10]
• Every ANR X is locally contractible in the sense that for every open neighborhood ${\textstyle U}$ of a point ${\textstyle x}$ in ${\textstyle X}$, there is an open neighborhood ${\textstyle V}$ of ${\textstyle x}$ contained in ${\textstyle U}$ such that the inclusion ${\textstyle 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.[11] 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 ${\textstyle \mathbb {R} ^{3}}$ that is an ANR but not strictly locally contractible.[12] (A space is strictly locally contractible if every open neighborhood ${\textstyle U}$ of each point ${\textstyle x}$ contains a contractible open neighborhood of ${\textstyle x}$.) Borsuk also found a compact subset of the Hilbert cube that is locally contractible (as defined above) but not an ANR.[13]
• Every ANR has the homotopy type of a CW complex, by Whitehead and Milnor.[14] 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.[15] In this sense, ANRs avoid all the homotopy-theoretic pathologies of arbitrary topological spaces. For example, the Whitehead theorem holds for ANRs: a map of ANRs that induces an isomorphism on homotopy groups (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 ${\textstyle \left(Y,A\right)^{\left(X,B\right)}}$ of maps of pairs ${\textstyle \left(X,B\right)\rightarrow \left(Y,A\right)}$ (with the compact-open topology on the mapping space) is an ANR.[16] 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 ${\textstyle X}$ is an ANR if and only if every open subset of ${\textstyle X}$ has the homotopy type of a CW complex.[17]
• By Cauty, there is a metric linear space ${\textstyle V}$ (meaning a topological vector space with a translation-invariant metric) that is not an AR. One can take ${\textstyle V}$ to be separable and an F-space (that is, a complete metric linear space).[18] (By Dugundji's theorem above, ${\textstyle V}$ cannot be locally convex.) Since ${\textstyle V}$ is contractible and not an AR, it is also not an ANR. By Cauty's theorem above, ${\textstyle V}$ has an open subset ${\textstyle U}$ that is not homotopy equivalent to a CW complex. Thus there is a metrizable space ${\textstyle 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.

• Borsuk, Karol (1931), "Sur les rétractes", Fundamenta Mathematicae, 17: 152–170, doi:10.4064/fm-17-1-152-170, Zbl 0003.02701
• Borsuk, Karol (1967), Theory of Retracts, Warsaw: Państwowe Wydawnictwo Naukowe, MR 0216473
• Cauty, Robert (1994), "Une caractérisation des rétractes absolus de voisinage", Fundamenta Mathematicae, 144: 11–22, doi:10.4064/fm-144-1-11-22, MR 1271475
• Cauty, Robert (1994), "Un espace métrique linéaire qui n'est pas un rétracte absolu", Fundamenta Mathematicae, 146: 85–99, doi:10.4064/fm-146-1-85-99, MR 1305261
• Fritsch, Rudolf; Piccinini, Renzo (1990), Cellular Structures in Topology, Cambridge University Press, ISBN 0-521-32784-9, MR 1074175
• Hatcher, Allen (2002), Algebraic Topology, Cambridge University Press, ISBN 0-521-79540-0, MR 1867354
• Hu, Sze-Tsen (1965), Theory of Retracts, Wayne State University Press, MR 0181977
• Mardešić, Sibe (1999), "Absolute neighborhood retracts and shape theory", in James, I. M. (ed.), History of Topology, Amsterdam: North-Holland, pp. 241–269, ISBN 0-444-82375-1, MR 1674915
• May, J. Peter (1999), A Concise Course in Algebraic Topology (PDF), University of Chicago Press, ISBN 0-226-51182-0, MR 1702278
• Milnor, John (1959), "On spaces having the homotopy type of a CW-complex", Transactions of the American Mathematical Society, 90 (2): 272–280, doi:10.2307/1993204, JSTOR 1993204, MR 0100267
• Puppe, Dieter (1967), "Bemerkungen über die Erweiterung von Homotopien", Archiv der Mathematik, 18: 81–88, doi:10.1007/BF01899475, MR 0206954, S2CID 120021003
• West, James (2004), "Absolute retracts", in Hart, K. P. (ed.), Encyclopedia of General Topology, Amsterdam: Elsevier, ISBN 0-444-50355-2, MR 2049453

• This article incorporates material from Neighborhood retract on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.