Retract of a topological space
A subspace of a topological space
for which there is a retraction of
onto
. If
is a Hausdorff space, then every retract of
is closed in
. Every non-empty closed subset of the Cantor perfect set is a retract of it. In the transition from a space to a retract of it many important properties are preserved. In particular, every property which is preserved under transition to a continuous image is, like any property of Hausdorff spaces inherited by closed subspaces, stable under passage to a retract. As a result, compactness, connectedness, path-connectedness, separability, an upper bound on the dimension, paracompactness, normality, local compactness, and local connectedness are preserved under passage to a retract. At the same time, a retract of a space may have a simpler structure than the space itself, and be more amenable and convenient for specific research. Thus, a one-point set is a retract of an interval, of a straight line, of a plane, etc. If the space
has the fixed point property, i.e. if for each continuous transformation
there is a point
such that
, then each retract of
possesses the fixed point property too. In particular, the
-dimensional sphere is not a retract of the
-dimensional ball of a Euclidean space, where
since the closed ball has the fixed point property (Brouwer's fixed-point theorem), and the sphere does not. A subspace
of a space
is called a neighbourhood retract of this space if there is in
an open subspace which contains
and of which
is a retract. The concept of a retract is directly related to the problem of the extension of continuous mappings. Thus, a subspace
is a retract of
if and only if every continuous mapping of
into an arbitrary topological space
can be extended to a continuous mapping of the entire space
into
.
A metric space is called an absolute retract (absolute neighbourhood retract) if it is a retract (neighbourhood retract) of every metric space containing
as a closed subspace. For a metric space
to be an absolute retract it is necessary that it be a retract of some convex subspace of a normed linear space, and it is sufficient that
be a retract of a convex subspace of a locally convex linear space.
Thus, all convex subspaces of locally convex linear spaces are absolute retracts; such is the case, in particular, with a point, an interval, a ball, a straight line, etc. This characterization means that absolute retracts have the following properties. Every retract of an absolute retract is again an absolute retract. Each absolute retract is contractible in itself and is locally contractible. All homology, cohomology, homotopy, and cohomotopy groups of an absolute retract are trivial. A metric space is an absolute retract if and only if, given any metric space
, a closed subspace
of
and a continuous mapping of
into
, the mapping can be extended to a continuous mapping of the entire space
into
. Absolute neighbourhood retracts are characterized as retracts of open subsets of convex subspaces of normed linear spaces. They include all compact polyhedra. An important property of them is their local contractibility.
If a retraction of a space into a subspace
of
is homotopic to the identity mapping of
into itself, then
is called a deformation retract of
. A deformation retract of a space
is homotopy equivalent to
, i.e. they have the same homotopy type. Conversely, two homotopy-equivalent spaces can always be imbedded in a third space in such a way that they are both deformation retracts of this space.
References
[1] | K. Borsuk, "Theory of retracts" , PWN (1967) |
Comments
"Absolute retract" and "absolute neighbourhood retract" are often abbreviated to AR and ANR.
Retracts and absolute retracts have been studied in other classes of spaces than the metrizable ones, most successfully in compact Hausdorff spaces and in -spaces. A compact Hausdorff absolute retract is the same thing as a retract of a Tikhonov cube. If such a space is finite-dimensional (in the sense of covering dimension), it is metrizable, [a1]. The
-absolute retracts or injective
-spaces have a natural partial ordering which makes them continuous lattices (cf. Continuous lattice).
References
[a1] | E.S. Shchepin, "A finite-dimensional compact absolute neighborhood retract is metrizable" Soviet Math. Doklady , 18 (1977) pp. 402–406 Dokl. Akad. Nauk SSSR , 233 : 3 (1977) pp. 304–307 |
[a2] | J. van Mill, "Infinite-dimensional topology, prerequisites and introduction" , North-Holland (1988) |
Retract of a topological space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Retract_of_a_topological_space&oldid=48533