Namespaces
Variants
Actions

Difference between revisions of "Retract of a topological space"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (link)
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
A subspace <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r0816901.png" /> of a [[Topological space|topological space]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r0816902.png" /> for which there is a [[Retraction|retraction]] of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r0816903.png" /> onto <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r0816904.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r0816905.png" /> is a Hausdorff space, then every retract of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r0816906.png" /> is closed in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r0816907.png" />. 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r0816908.png" /> has the fixed point property, i.e. if for each continuous transformation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r0816909.png" /> there is a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169010.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169011.png" />, then each retract of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169012.png" /> possesses the fixed point property too. In particular, the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169013.png" />-dimensional sphere is not a retract of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169014.png" />-dimensional ball of a Euclidean space, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169015.png" /> since the closed ball has the fixed point property (Brouwer's fixed-point theorem), and the sphere does not. A subspace <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169016.png" /> of a space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169017.png" /> is called a neighbourhood retract of this space if there is in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169018.png" /> an open subspace which contains <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169019.png" /> and of which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169020.png" /> is a retract. The concept of a retract is directly related to the problem of the extension of continuous mappings. Thus, a subspace <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169021.png" /> is a retract of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169022.png" /> if and only if every [[Continuous mapping|continuous mapping]] of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169023.png" /> into an arbitrary topological space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169024.png" /> can be extended to a continuous mapping of the entire space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169025.png" /> into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169026.png" />.
+
<!--
 +
r0816901.png
 +
$#A+1 = 49 n = 0
 +
$#C+1 = 49 : ~/encyclopedia/old_files/data/R081/R.0801690 Retract of a topological space
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
A [[Metric space|metric space]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169027.png" /> is called an absolute retract (absolute neighbourhood retract) if it is a retract (neighbourhood retract) of every metric space containing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169028.png" /> as a closed subspace. For a metric space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169029.png" /> 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169030.png" /> be a retract of a convex subspace of a locally convex linear space.
+
{{TEX|auto}}
 +
{{TEX|done}}
  
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169031.png" /> is an absolute retract if and only if, given any metric space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169032.png" />, a closed subspace <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169033.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169034.png" /> and a continuous mapping of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169035.png" /> into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169036.png" />, the mapping can be extended to a continuous mapping of the entire space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169037.png" /> into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169038.png" />. 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.
+
A subspace  $  A $
 +
of a [[Topological space|topological space]]  $  X $
 +
for which there is a [[Retraction|retraction]] of  $  X $
 +
onto  $  A $.
 +
If  $  X $
 +
is a Hausdorff space, then every retract of  $  X $
 +
is closed in  $  X $.
 +
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  $  X $
 +
has the fixed point property, i.e. if for each continuous transformation  $  f:  X \rightarrow X $
 +
there is a point  $  x \in X $
 +
such that  $  f( x) = x $,
 +
then each retract of $  X $
 +
possesses the fixed point property too. In particular, the  $  n $-
 +
dimensional sphere is not a retract of the  $  ( n+ 1) $-
 +
dimensional ball of a Euclidean space, where  $  n= 0, 1 \dots $
 +
since the closed ball has the fixed point property (Brouwer's fixed-point theorem), and the sphere does not. A subspace  $  A $
 +
of a space $  X $
 +
is called a neighbourhood retract of this space if there is in  $  X $
 +
an open subspace which contains  $  A $
 +
and of which  $  A $
 +
is a retract. The concept of a retract is directly related to the problem of the extension of continuous mappings. Thus, a subspace $  A $
 +
is a retract of $  X $
 +
if and only if every [[Continuous mapping|continuous mapping]] of $  A $
 +
into an arbitrary topological space  $  Y $
 +
can be extended to a continuous mapping of the entire space $  X $
 +
into $  Y $.
  
If a retraction of a space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169039.png" /> into a subspace <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169040.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169041.png" /> is homotopic to the identity mapping of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169042.png" /> into itself, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169043.png" /> is called a deformation retract of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169044.png" />. A deformation retract of a space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169045.png" /> is homotopy equivalent to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169046.png" />, i.e. they have the same [[Homotopy type|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.
+
A [[Metric space|metric space]]  $  X $
 +
is called an absolute retract (absolute neighbourhood retract) if it is a retract (neighbourhood retract) of every metric space containing  $  X $
 +
as a closed subspace. For a metric space  $  X $
 +
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  $  X $
 +
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  $  Y $
 +
is an absolute retract if and only if, given any metric space  $  X $,
 +
a closed subspace  $  A $
 +
of  $  X $
 +
and a continuous mapping of  $  A $
 +
into $  Y $,
 +
the mapping can be extended to a continuous mapping of the entire space  $  X $
 +
into  $  Y $.  
 +
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  $  X $
 +
into a subspace  $  A $
 +
of  $  X $
 +
is homotopic to the identity mapping of $  X $
 +
into itself, then $  A $
 +
is called a deformation retract of $  X $.  
 +
A deformation retract of a space $  X $
 +
is homotopy equivalent to $  X $,  
 +
i.e. they have the same [[Homotopy type|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====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  K. Borsuk,  "Theory of retracts" , PWN  (1967)</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  K. Borsuk,  "Theory of retracts" , PWN  (1967)</TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====
 
"Absolute retract"  and  "absolute neighbourhood retract"  are often abbreviated to AR and ANR.
 
"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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169047.png" />-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, [[#References|[a1]]]. The <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169048.png" />-absolute retracts or injective <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r081/r081690/r08169050.png" />-spaces have a natural partial ordering which makes them continuous lattices (cf. [[Continuous lattice|Continuous lattice]]).
+
Retracts and absolute retracts have been studied in other classes of spaces than the metrizable ones, most successfully in compact Hausdorff spaces and in $  T _ {0} $-
 +
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, [[#References|[a1]]]. The $  T _ {0} $-
 +
absolute retracts or injective $  T _ {0} $-
 +
spaces have a natural partial ordering which makes them continuous lattices (cf. [[Continuous lattice|Continuous lattice]]).
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  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</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  J. van Mill,  "Infinite-dimensional topology, prerequisites and introduction" , North-Holland  (1988)</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  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</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  J. van Mill,  "Infinite-dimensional topology, prerequisites and introduction" , North-Holland  (1988)</TD></TR></table>

Latest revision as of 19:55, 3 February 2021


A subspace $ A $ of a topological space $ X $ for which there is a retraction of $ X $ onto $ A $. If $ X $ is a Hausdorff space, then every retract of $ X $ is closed in $ X $. 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 $ X $ has the fixed point property, i.e. if for each continuous transformation $ f: X \rightarrow X $ there is a point $ x \in X $ such that $ f( x) = x $, then each retract of $ X $ possesses the fixed point property too. In particular, the $ n $- dimensional sphere is not a retract of the $ ( n+ 1) $- dimensional ball of a Euclidean space, where $ n= 0, 1 \dots $ since the closed ball has the fixed point property (Brouwer's fixed-point theorem), and the sphere does not. A subspace $ A $ of a space $ X $ is called a neighbourhood retract of this space if there is in $ X $ an open subspace which contains $ A $ and of which $ A $ is a retract. The concept of a retract is directly related to the problem of the extension of continuous mappings. Thus, a subspace $ A $ is a retract of $ X $ if and only if every continuous mapping of $ A $ into an arbitrary topological space $ Y $ can be extended to a continuous mapping of the entire space $ X $ into $ Y $.

A metric space $ X $ is called an absolute retract (absolute neighbourhood retract) if it is a retract (neighbourhood retract) of every metric space containing $ X $ as a closed subspace. For a metric space $ X $ 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 $ X $ 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 $ Y $ is an absolute retract if and only if, given any metric space $ X $, a closed subspace $ A $ of $ X $ and a continuous mapping of $ A $ into $ Y $, the mapping can be extended to a continuous mapping of the entire space $ X $ into $ Y $. 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 $ X $ into a subspace $ A $ of $ X $ is homotopic to the identity mapping of $ X $ into itself, then $ A $ is called a deformation retract of $ X $. A deformation retract of a space $ X $ is homotopy equivalent to $ X $, 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 $ T _ {0} $- 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 $ T _ {0} $- absolute retracts or injective $ T _ {0} $- 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)
How to Cite This Entry:
Retract of a topological space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Retract_of_a_topological_space&oldid=17827
This article was adapted from an original article by A.V. Arkhangel'skii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article