Absolute retract for normal spaces

From Encyclopedia of Mathematics
Revision as of 17:22, 7 February 2011 by (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

A topological space such that every mapping of any closed subset of an arbitrary normal space can be extended to the entire space . A direct product of absolute retracts for normal spaces is an absolute retract for normal spaces, as is any retract (cf. Retract of a topological space) of an absolute retract for normal spaces. In particular, the following spaces are absolute retracts for normal spaces: the unit interval ; the -dimensional cube ; and the Hilbert cube . Any two mappings of a binormal space into an absolute retract for normal spaces are homotopic; while a binormal absolute retract for normal spaces is contractible into a point.


Usually an absolute retract (AR) for normal spaces is defined to be a normal space which is a retract of every normal space in which it is imbedded as a closed subset. A space satisfying the property in the article above is then called an absolute extensor (AE) for normal spaces. One then proves that a space is an (AR) if and only if it is an (AE). Absolute retracts and extensors can be defined for any class of spaces (i.e. not just for normal spaces).

A binormal space is a space for which the product is normal. It can be proved that a space is binormal if and only if is normal and countably paracompact (cf. Paracompactness criteria).


[a1] S.T. Hu, "Theory of retracts" , Wayne State Univ. Press , Detroit (1965)
How to Cite This Entry:
Absolute retract for normal spaces. Encyclopedia of Mathematics. URL:
This article was adapted from an original article by M.I. Voitsekhovskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article