Let Q be a class of topological spaces. For X in Q, let dim X denote the dimension of X defined in terms of finite open coverings. If Q is the class of all normal spaces, then the dimension of spaces X in Q is characterized by the following theorem [2, p. 212]: dimX^n if, and only if, given any closed subset C of X, any continuous mapping of C into the «-sphere Sn has a continuous extension over X with respect to S. The possibility of replacing Sn in the above theorem by a more general space Y was explored in two earlier papers [8; 9]. Such a space Y we call a test space for Q-spaces of dimension n. To be precise, F is a test space for Q-spaces of dimension n if it satisfies the statement: A Q-space X has dimension ^ra if, and only if, given any closed subset C of X, any continuous mapping of C into Y has a continuous extension over X with respect to Y. A space Y is called an absolute neighborhood retract relative to the class Q (abbreviated ANR(C)) if (a) Y is in Q, and (b) whenever Y is imbedded topologically as a closed subset of a Q-space z, then F is a retract of some neighborhood of Y in Z (see [3]). Kodama has shown in [5] that an «-dimensional metric space F is an ANR (metric) if and only if Y is LC. The results of [8 ; 9 ] may be formulated as follows : if Q is the class of all metric spaces, then an «-dimensional, w-LC, metric space Y is a test space for Q-spaces of dimension n if, and only if, Y is an ANR(metric) and is the homotopy type of a wedge of «-spheres (i.e., a union of «-spheres with a single common point). In this paper we shall prove a similar theorem for Q the class of all normal spaces. In [9] we showed that if Y and Z are both ANR(metric) and of the same homotopy type, then F is a test space for metric spaces of dimension « if and only if Z is. Needed in the proof was Borsuk's homotopy extension theorem. Dowker showed in [2, p. 205] that the homotopy extension theorem holds for mappings of a normal space into an ANR (compact metric) provided homotopy is replaced by uniform homotopy. Using this result, we can prove the following lemma:
Read full abstract