Homotopy characterization of ANR function spaces

Function spaces in general topology (54C35) Absolute neighborhood extensor, absolute extensor, absolute neighborhood retract (ANR), absolute retract spaces (general properties) (54C55)

Abstract: Let Y be an absolute neighborhood retract (ANR) for the class of metric spaces and let X be a Hausdorff space. Let map(X,Y) denote the space of continuous maps from X to Y with the compact open topology. It is shown that if X is a CW complex then map(X,Y) is an ANR for the class of metric spaces if and only if map(X,Y) is metrizable and has the homotopy type of a CW complex. The same holds also when X is a compactly generated hemicompact space (metrizability assumption is void in this case).

Review text

The main result of the paper under review asserts that a function space \(Y^X\) that has the homotopy type of a CW complex is an ANR provided that \(Y\) be a hemicompact k-space and \(Y\) be an ANR. As a consequence, the author shows that for a completely regular k-space \(X\) and a non-discrete ANR \(Y\), the function space \(Y^X\) is an ANR if and only if \(X\) is hemicompact and \(Y^X\) has the homotopy type of a CW complex. The proofs relies on Morita's homotopy extension theorem for \(P_0\)-embeddings. The author gives a new proof of the fact that \(Y^X\) is an ANR for all compact spaces \(X\) and ANR's \(Y\). The paper is concluded with an appendix containing a characterization of hemicompact k-spaces by means of weakly proper maps.

Recommendations

Cites work

Cited in

(9)

This page was built for publication: Homotopy characterization of ANR function spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2443771)