- Research
- Open Access

# The multi-valued domination of metric spaces

- Mirosław Ślosarski
^{1}Email author

**2012**:23

https://doi.org/10.1186/1687-1812-2012-23

© Ślosarski; licensee Springer. 2012

**Received:**13 August 2011**Accepted:**22 February 2012**Published:**22 February 2012

## Abstract

In this article, we introduce the notion of multi-valued domination of metric spaces, which is a generalization of domination in the sense of Borsuk and which encompasses previous generalizations.

**AMS classification**: 32A12; 47H10; 55M20; 54C55; 54C15.

## Keywords

- multi-domination
- absolute neighborhood multi-retracts
- admissible multi-retract
- Lefschetz space
- movable space

## 1 Introduction

In 1967, Borsuk (see, [1]) introduced the notion of the domination of space in the class of metric spaces, i.e., a metric space *Y* dominates a metric space *X* (we write *Y* ≥ X) if there are continuous maps *f* :*Y* → *X, g* : *X* → *Y* such that for every *x* ∈ *X f*(*g*(*x*)) = *x*. He has proven that the domination of space retains the fixed point property, i.e., if *Y* dominates the space of *X* and if *Y* is a Lefschetz space, then *X* is also a Lefschetz space. In 1983, Suszycki (see, [2]) introduced the notion of multi-retract and as a consequence he defined absolute multi-retracts (*m* - *AR*) and absolute neighborhood multi-retracts (*m* - *ANR*). On the basis of these notions (multi-retracts) we can consider a certain domination of space, i.e., a space *Y* dominates an *X* space (in the sense of Suszycki) if there exist a multi-valued u.s.c. map *φ* : *Y* ⊸ *X* with compact images (for every *y* ∈ *Y φ*(*y*) has a trivial shape, (see, [2, 3])) and a continuous map *g* : *X* → *Y* such that for every *x* ∈ *X x* ∈ *φ*(*g*(*x*)) (see, [2]). An easy example (see, 3.7) shows that the domination of space in the sense of Suszycki does not retain the fixed point property. It is not difficult to notice that the domination in the sense of Suszycki is the generalization of the domination in the sense of Borsuk. In 2008 we introduced the notions (see, [4]) of absolute multi-retracts (*AMR*) and the absolute neighborhood multi-retracts (*ANMR*). On the basis of these notions we can also consider a certain kind of domination of space, i.e., a space *Y* dominates a space X in a multi-valued sense (see, [4]) if there exists a continuous mapping *f* :*Y* → *X* and a multi-valued admissible mapping *φ* : *X* ⊸ *Y* such that for every *x* ∈ *X f*(*φ*(*x*)) = {*x*}. We will show that it is the generalization of Borsuk domination that retains the fixed point property.

## 2 Preliminaries

*H*

_{*}be the

*Čech*homology functor with compact carriers and coefficients in the field of rational numbers $\mathbb{Q}$ from the category of Hausdorff topological spaces and continuous maps to the category of graded vector spaces and linear maps of degree zero. Thus

*H*

_{*}(

*X*) = {

*H*

_{ q }(

*X*)} is a graded vector space,

*H*

_{ q }(

*X*) being the

*q*-dimensional

*Čech*homology group with compact carriers of

*X*. For a continuous map

*f*:

*X*→

*Y, H*

_{*}(

*f*) is the induced linear map

*f*

_{*}= {

*f*

_{ q }}, where

*f*

_{ q }:

*H*

_{ q }(

*X*) →

*H*

_{ q }(

*Y*) [5]. A space

*X*is acyclic if:

- (i)
*X*is non-empty, - (ii)
*H*_{ q }(*X*) = 0 for every*q*≥ 1 and - (iii)
${H}_{0}\left(X\right)\approx \mathbb{Q}$.

*f*:

*X*→

*Y*is called proper if for every compact set

*K*⊂

*Y*the set

*f*

^{-1}(

*K*) is non-empty and compact. A proper map

*p*:

*X*→

*Y*is called Vietoris provided for every

*y*∈ Y the set

*p*

^{-1}(

*y*) is acyclic. Let

*X*and

*Y*be two spaces and assume that for every

*x*∈

*X*a non-empty subset

*φ*(

*x*) of

*Y*is given. In such a case we say that

*φ*:

*X*⊸

*Y*is a multi-valued mapping. For a multi-valued mapping

*φ*:

*X*⊸

*Y*and a subset

*U*⊂

*Y*, we let:

If for every open *U* ⊂ *Y* the set *φ*^{-1}(*U*) is open, then *φ* is called an upper semi-continuous mapping; we shall write that *φ* is u.s.c.

*φ*:

*X*⊸

*Y*be a multi-valued map. A pair (

*p, q*) of single-valued, continuous maps is called a selected pair of

*φ*(written (

*p, q*) ⊂

*φ*) if there exists a metric space

*Z*such that the following two conditions are satisfied:

- (i)
*p*:*Z*→*X*is a Vietoris map, - (ii)
*q*(*p*^{-1}(*x*)) ⊂*φ*(*x*) for any*x*∈ X, where*q*:*Z*→*Y*is a continuous map.

**Definition 2.1**. A *multi-valued mapping φ*: *X* ⊸ *Y is called admissible provided there exists a selected pair* (*p, q*) *of* *φ* *.*

**Proposition 2.2**. *(see*, [5]*) If φ* : *X* ⊸ *Y and ψ* : *Y* ⊸ *T are admissible, then the composition ψ* ○ *φ* : *X* ⊸ *T is admissible and for every* (*p*_{1}, *q*_{1}) ⊂ *φ and* (*p*_{2}, *q*_{2}) ⊂ *ψ there exists a pair* (*p, q*) ⊂ *ψ* ○ *φ such that*${q}_{{2}_{*}}{p}_{{2}_{*}}^{-1}\circ {q}_{{1}_{*}}{p}_{{1}_{*}}^{-1}={q}_{*}{p}_{*}^{-1}$.

Let *φ* : *X* ⊸ *X* be an admissible map. Let (*p,q*) ⊂ *φ*, where *p* : *Z* → *X* is a Vietoris mapping and *q* : *Z* → *X* a continuous map. Assume that ${q}_{*}\circ {p}_{*}^{-1}:{H}_{*}\left(X\right)\to {H}_{*}\left(X\right)$ is a Leray endomorphism for all pairs (*p, q*) ⊂ *φ*. For such a *φ*, we define the Lefschetz set Λ(*φ*) of *φ* by putting $\Lambda \left(\phi \right)=\left\{\Lambda \left({q}_{*}{p}_{*}^{-1}\right);\left(p,q\right)\subset \phi \right\}$.

**Definition 2.3**. *An admissible map φ* : *X* ⊸ *X is called a Lefschetz map provided the Lefschetz set* Λ(*φ*) *of* *φ* *is well defined and* Λ(*φ*) ≠ {0} *implies that the set Fix*(*φ*) = {*x* ∈ *X* : *x* ∈ *φ*(*x*)} *is non-empty.*

**Definition 2.4**. *A metric space X is called a Lefschetz space provided that for each admissible and compact map φ* : *X* ⊸ X *if* Λ(*φ*) *is well defined and* Λ(*φ*) ≠ {0} *then*$Fix\left(\phi \right)\ne \mathrm{0\u0338}$.

Let *Y* be a metric space and let *Id*_{
Y
}: *Y* → *Y* be a map given by formula *Id*_{
Y
}(*y*) = *y* for each *y* ∈ *Y*.

**Definition 2.5**. *(see*, [4]*) A map r*: *X* → *Y of a space X onto a space Y is said to be an mr-map if there is an admissible map φ*: *Y* ⊸ *X such that r* ○ *φ* = *Id*_{
Y
}.

**Definition 2.6**. *(see*, [4, 6]*) A metric space X is called an absolute multi-retract* (*notation: X* ∈ *AMR*) *provided there exists a locally convex space E and an mr-map r*: *E* → *X from E onto X*.

**Definition 2.7**. *(see*, [4, 6]*) A metric space X is called an absolute neighborhood multi-retract* (*notation: X* ∈ *ANMR*) *provided there exists an open subset U of some locally convex space E and an mr-map r*: *U* → *X from U onto X*.

**Proposition 2.8**.

*(see*, [4, 6]

*) A space X is an ANMR if and only if there exists a metric space Z and a Vietoris map p*:

*Z*→

*X which factors through an open subset U of some locally convex E, i.e., there are two continuous maps α and β such that the following diagram is commutative.*

**Proposition 2.9**. *(see*, [4]*) Let X* ∈ *ANMR and let V* ⊂ *X be an open set. Then V* ∈ *ANMR.*

**Proposition 2.10**. *(see*, [4]*) Assume that X is ANMR. Let U be an open subset in X and φ*: *U* ⊸ *U be an admissible and compact map, then φ is a Lefschetz map.*

*φ*

_{ X }:

*X*⊸

*X*be a map.

**Definition 2.11**. Let *X* ⊂ *Q be a closed subset, where Q is a Hilbert cube. We say that X is movable in Q provided every neighborhood U of X admits a neighborhood U' of X, U'* ⊂ *U, such that for every neighborhood U" of X, U"* ⊂ *U, there exists a homotopy H*: *U'* x [0,1] → *U with H*(*x*, 0) = *x and H*(*x*, 1) ∈ *U*", *for any x* ∈ *U'*.

**Lemma 2.12**. *(see*, [7]*) Let X* ⊂ *Q be a compact absolute approximative neighborhood retract in the sense of Clapp (in particular X* ∈ *ANR or X* ∈ *AR*). *Then X is movable in Q*.

The notion of shape is understood in the sense of Borsuk (see, [3]). It can be proven that a compact set of trivial shape is acyclic.

**Definition 2.13**. *(see*, [2]*) Let X be a continuum space and let A* ⊂ *X. Then an u.s.c multi-valued map σ* : *X* ⊸ *A with compact images is said to be a multi-retraction of X to A if the following conditions are satisfied:*

2.13.1 *for each x* ∈ *X σ*(*x*) *is a set of a trivial shape*,

2.13.2 *for each x* ∈ *A x* ∈ *σ*(*x*).

*We say that a subset A of a space X is a neighborhood multi-retract in the space X if there is a neighborhood U of A in X and a multi-retraction σ* : *U* ⊸ *A*. *If U* = *X, then we call A a multi-retract of the space X*.

**Definition 2.14**. *(see*, [2]*) A continuum X will be called an absolute neighborhood multi-retract (X* ∈ *m* - *ANR) provided that, for every continuum Y* ⊃ *X, X is a neighborhood multi-retract of Y. If X is a multi-retract of every space Y* ⊃ *X, then we call X an absolute multi-retract (Y* ∈ *m* - *AR).*

## 3 Main result

First, the notion of the domination of space will be introduced, which is the generalization in the sense of Borsuk as well as in the sense of Suszycki and in the multi-valued sense.

**Definition 3.1**. *We shall say that a metric space Y multi-dominates a metric space X (we write Y* ○ ≥ ○ *X) if there exists multi-valued admissible maps φ* : *Y* ⊸ *X and ψ* : *X* ⊸ *Y such that the following conditions are satisfied:*

3.1.1 *for each x* ∈ *X x* ∈ *φ*(*ψ*(*x*)),

*there exist selected pairs*(

*p*

_{1},

*q*

_{1}) ⊂

*φ and*(

*p*

_{2},

*q*

_{2}) ⊂

*ψ such that*

Let us assume that if (*Y* ○ ≥ ○ *X*) and if it is not true that (X ○ ≥ ○ *Y*) then we write (*Y* ○ > ○ *X*). The defined domination can be treated as a relation in the class of metric spaces. We will prove it is a transitive relation.

**Theorem 3.2**.

*Let X, Y, Z be metric spaces.*

*Proof*. We have the following diagram:

*p*

_{1},

*q*

_{1}) ⊂

*φ*

_{1}, (

*p*

_{2},

*q*

_{2}) ⊂

*φ*

_{2}, (

*r*

_{1},

*s*

_{1}) ⊂

*ψ*

_{1}, (

*r*

_{2},

*s*

_{2}) ⊂

*ψ*

_{2}such that

*φ*:

*Y*⊸

*X, ψ*:

*X*⊸

*Y*given by formula:

*x*∈

*X x*∈

*φ*(

*ψ*(

*x*)). Let

*x*∈

*X*and let

*z*∈

*ψ*

_{2}(

*x*). From (1) we get that

*z*∈

*φ*

_{1}(

*ψ*

_{1}(

*z*)). Hence we have

*p, q*) ⊂

*φ*, (

*r, s*) ⊂

*ψ*such that:

*φ*:

*X*⊸

*Y*has compact and acyclic images then:

Another fact that shall be proven is the following:

**Proposition 3.3**. *Let X be a continuum and acyclic space and let Y be a metric space*.

*Then Y* ○ ≥ ○ *X*.

*Proof*. Let

*y*

_{0}∈

*Y*be a stationary point. We define maps

*φ*:

*Y*⊸

*X*given by

*φ*(

*y*) =

*X*for each

*y*∈

*Y*and

*ψ*:

*X*→

*Y*given by

*ψ*(

*x*) =

*y*

_{0}for each

*x*∈

*X*. Obviously for any

*x*∈

*X*

The images of a map *φ* ○ *ψ* are compact and acyclic. Hence and from Proposition 2.2 and (4) we get the condition 3.1.2.

Hence and from 3.3 we have:

**Proposition 3.4**. *Let X be a continuum and acyclic space and let Y be a metric and non-acyclic space. Then Y* ○ > ○ *X*.

where ${S}^{n-1}$ is a (*n* - 1)-dimensional sphere and ${K}^{n}$ is an *n*-dimensional ball in a Euclidean space ℝ^{
n
}, for every *n* ∈ *N*.

**Example 3.5**. *Let Y* ⊂ *Q be an acyclic continuum and such that Y is not movable (see*, [8]*), where Q is a Hilbert cube. From Proposition* 3.3 *we get Q* ○ ≥ ○ *Y. We show that it is not true that Q* ≥ *Y. If the space Q dominated the space Y in the sense of Borsuk, then Y* ∈ *AR, however, every absolute retract is movable (see, Lemma 2.12) and it would contradict the fact that Y is not movable.*

*Y*○ ≥

*X*will mean that the mapping

*ψ*=

*g*:

*X*→

*Y*can be chosen single-valued (see, Definition 3.1), whereas

*Y*≥ ○

*X*will mean that the mapping

*φ*=

*r*:

*Y*→

*X*is single-valued. Then

*Y*≥ ○

_{ s }

*X*will denote that

*φ*=

*r*:

*Y*→

*X*is single-valued and the conditions 3.1.1 and 3.1.2 will be replaced by a stronger condition:

It can be easily proven that each of these relations, i.e., ○ ≥, ≥ ○, ≥ ○_{
s
}is transitive.

**Remark 3.6**.

*The relation Y*○

_{ s }≥

*X, i.e*.,

*ψ*=

*g*:

*X*→

*Y (see, Definition 3.1) is a single-valued and continuous map and the conditions*3.1.1

*and*3.1.2

*are replaced by a stronger condition:*

*is not considered separately since we treat the relation Y* ○ ≥ *X as an integral whole according to the earlier articles on the subject (see*, [2]*) and the Theorem* 3.14 *(see*, 3.14.5 *and* 3.14.6).

The next two examples show that neither *Y* ○ ≥ *X* nor *Y* ≥ ○ *X* retains Lefschetz property.

**Example 3.7**. *Let Q be a Hilbert cube and let X* ⊂ *Q be an acyclic continuum and such that it is not a Lefschetz space (see*, [9]*). We observe, that Q* ○ ≥ *X (see, Proposition 3.3). Q is a Lefschetz space and X is not a Lefschetz space.*

**Example 3.8**.

*Let S*= {

*x*∈ ℝ

^{2}| ||

*x*|| = 1}

*be the unit circle. Let α*: [0, ∞) → ℝ

^{2}

*be a function defined as follows:*

*for any t* ≥ 0. *Let X* := *α*([2, ∞)). *Let Y* := *S* ∪ *X and Z* = ((*S* ∪ ([2, ∞) × {0})) × *I*).

*We can regard Y as a subset of*ℝ

^{2}× {0} ⊂ ℝ

^{3}.

*Let CY*:=

*Y*×

*I*/

_{~}

*be the cone over Y and vertex v*= (0, 0,1).

*It is not hard to show that CY is contractible to the point v. Moreover, Knill showed (see*, [9]

*) that CY is not a fixed point space! Define a function*

*by p*(

*z, s*) = [

*β*(

*z*),

*s*],

*where β*:

*Z*→

*Y is given by the following formula*

*It is clear that p*(

*Z*) =

*CY. We define a map ψ*:

*CY*⊸

*Z given by formula ψ*(

*y*) =

*Z for all y*∈

*CY. The mapping ψ is admissible because the pair*(

*Id, f*) ⊂

*φ, where the mapping Id*:

*CY*→

*CY is given by the formula Id*(

*y*) =

*y for every y*∈

*CY and the mapping f*:

*CY*→

*Z is constant. We show that*

*We observe that for each y* ∈ *CY y* ∈ *p*(*ψ*(*y*)) = *CY. The images of a map p* ○ *ψ are compact and acyclic. Hence, and from Proposition 2.2 and (4), we get the condition 3.1.2. The space Z* ∈ *ANR, so Z is a Lefschetz space and CY is not a Lefschetz space.*

From the above two examples, it follows that the dominations of ○ ≥ and ≥ ○ type do not preserve a fixed point property. However, the following fact is true:

**Theorem 3.9**. *Let Y be a Lefschetz space and let Y* ≥ ○_{
s
}*X, where X is a metric space.*

*Then X is a Lefschetz space.*

*Proof*. Let

*ψ*:

*X*⊸

*Y*be an admissible map,

*r*:

*Y*→

*X*be a continuous map and such that

is commutative, where (*p, q*) ⊂ *ψ* and (*s, t*) ⊂ *φ*. From (10) we get that if *y* ∈ (*qp*^{-1} ○ *ts*^{-1} ○ *r*)(*y*), then *r*(*y*) ∈ ((*r* ○ *qp*^{-1}) ○ *ts*^{-1})(*r*(*y*)) = (*ts*^{-1})(*r*(*y*)) ⊂ *φ*(*r*(*y*)). Hence $\text{Fix}\left(\phi \right)\ne \varnothing $.

The next example shows that the domination of ≥ ○_{
s
}type is more general than ≥ type (in the sense of Borsuk).

**Example 3.10**. *Let Y* ⊂ *Q be an acyclic continuum and such that Y is not movable. Let p* : *Q* → *Y be a Vietoris map (see*, [8]*). Then Q* ≥ ○_{
s
}*Y, where r* = *p* : *Q* → *Y and ψ* : *Y* ⊸ *Q given by formula ψ*(*y*) = *p*^{-1}(*y*) *for each y* ∈ *Y. Obviously the space Q does not dominate the space Y in the sense of Borsuk because otherwise Y would have to be an absolute retract, and thus, in particular, a movable space, and that would contradict the fact that Y is not movable.*

Let us notice that from Proposition 3.3 and Example 3.8, the relation ○ ≥ ○ (and even ≥ ○) is more general than the relation ≥ ○_{s}. Now a theorem will be given that will be the summary of the above considerations. First a more general version of Suszycki retract (see, [2]) shall be given using admissible mappings for its definition.

**Definition 3.11**. *We shall say that a set A* ⊂ *X is an admissible multi-retract of X if there exists an admissible map φ* : *X* ⊸ *A such that the following conditions are satisfied:*

3.11.1 *for each x* ∈ *A x* ∈ *φ*(*x*),

3.11.2 *there exist* (*p, q*) ⊂ *φ such that*$I{d}_{{H}_{*}\left(A\right)}={q}_{*}{p}_{*}^{-1}\circ {i}_{*}$, *where i* : *A* → *X is an inclusion.*

*The mapping φ will be called an admissible multi-retraction.*

It is not difficult to notice that if *A* ⊂ *X* is an admissible multi-retract of *X* then *X* ○ ≥ *A*. Moreover, if *A* ⊂ *X* is a multi-retract *X* in the sense of Suszycki (see, Definition 2.14), then it is its admissible multi-retract.

**Definition 3.12**. *A space X is an admissible absolute multi-retract (am* - *AR) if for each metric space Y and homeomorphism h* : *X* → *Y, where h(X) is a closed subset in Y, h(X) is an admissible multi-retract of Y.*

**Definition 3.13**. *A space X is an admissible absolute neighborhood multi-retract (am* - *ANR) if for each metric space Y and homeomorphism h* : *X* → *Y, where h*(*X*) *is a closed subset in Y, h*(*X*) *is an admissible multi-retract of some U, where U* ⊂ *Y is an open set and h*(*X*) ⊂ *U*.

Obviously, *AR* ⊂ *m* - *AR* ⊂ *am* - *AR* and *ANR* ⊂ *m* - *ANR* ⊂ *am* - *ANR* (see, Definition 2.14).

**Theorem 3.14**. *Let X be a metric space. There exists a locally convex space E and an open set U* ⊂ *E such that:*

3.14.1 *(E* ≥ *X*) ⇔ (*X* ∈ *AR*),

3.14.2 *(U* ≥ *X*) ⇔ (*X* ∈ *ANR*),

3.14.3 (*E* ≥ ○_{
s
}*X*) ⇔ (*X* ∈ *AMR*),

3.14.4 (*U* ≥ ○_{
s
}*X*) ⇔ (*X* ∈ *ANMR*),

3.14.5 (*E* ○ ≥ *X*) ⇔ (*X* ∈ *am* - *AR*),

3.14.6 (*U* ○ ≥ *X*) ⇔ (*X* ∈ *am* - *ANR*).

*Proof*. The proofs 3.14.1 and 3.14.2 are known from the mathematic literature in the case of

*E*being a normalized space. The situations where

*E*is a locally convex space, but not necessarily normalized, is considered in (see, [6, Theorem 3.6]). Then the proofs 3.14.3 and 3.14.4 follow directly from the

*AMR*and

*ANMR*definitions (see, Definitions 2.6 and 2.7). We will prove the condition 3.14.6, since the condition 3.14.5 can be proven in a similar way. We assume that there exists a locally convex space and an open set

*U*⊂

*E*such that

*U*○ ≥

*X*. Then there exists a continuous map

*g*:

*X*→

*U*and an admissible map

*φ*:

*U*→ X such that

*h*:

*X*→

*Y*be a homeomorphism such that

*h*(

*X*) ⊂

*Y*is a closed set. Choose the continuous extension

*r*:

*Y*→

*E*of a map

*g*○

*h*

^{-1}:

*h*(

*X*) →

*U*⊂

*E*. Let

*V*= r

^{-1}(

*U*). Then

*h*(

*X*) ⊂

*V*. We define

*ψ*:

*V*⊸

*h*(

*X*) given by the formula

*ψ*=

*h*○

*φ*○

*r*

_{ V }, where

*r*

_{ V }:

*V*→

*U*given by

*r*

_{ V }(

*x*) =

*r*(

*x*) for each

*x*∈

*V*. We show that for each

*y*∈

*h*(

*X*)

*y*∈

*ψ*(

*y*). Let

*y*∈

*h*(

*X*). Then

*r*

_{ V }(

*y*) =

*g*(

*h*

^{-1}(

*y*)) and from (11)

*h*

^{-1}(

*y*) ∈

*φ*(

*g*(

*h*

^{-1}(

*y*))). Hence

where *i* : *h*(*X*) → *V* is an inclusion.

*X*∈

*am*-

*ANR*. Let

*ψ*:

*U*⊸

*h*(

*X*) be an admissible multi-retraction, where

*U*⊂

*Y*is an open set,

*h*:

*X*→

*Y*homeomorphism,

*h*(

*X*) is a closed set in

*Y*and

*h*(

*X*) ⊂

*U*. Then we have

*j*:

*h*(

*X*) →

*U*is an inclusion. We define a continuous map

*g*:

*X*→

*U*given by formula

*g*(

*x*) =

*j*(

*h*(

*x*)) for each

*x*∈

*X*and an admissible map

*φ*:

*U*⊸

*X*given by

*φ*(

*x*) =

*h*

^{-1}(

*ψ*(

*x*)) for each

*x*∈

*U*. Obviously

*x*∈

*φ*(

*g*(

*x*)) for each

*x*∈

*X*. From (14) we get

**Remark 3.15**. *In Theorem* 3.14 *(* 3.14.5 *and* 3.14.6*), a locally convex space can be replaced by a normed space, without loss of generality (see, [6, Theorem* 3.6]).

Multi-valued domination in the sense of Suszycki was determined in the class of compact metric spaces. Multi-domination defined in this article (see, Definition 3.1) encompasses a broader class of metric spaces, not necessarily compact, which is illustrated by the following example:

**Example 3.16**.

*Let X be a non-compact metric space and such that X*∈

*ANMR and X*∉

*ANR (see*, [4]

*). Then there exists a normed space E, an open set U*⊂

*E, an admissible map ψ*:

*X*⊸

*U and a continuous map r*:

*U*→

*X such that r*(

*ψ*(

*x*)) = {

*x*}

*for each x*∈

*X (U*≥ ○

_{ s }

*X). Let Y be a compact metric space and such that Y*∈

*m*-

*ANR and Y*∉

*ANR (see*, [2]

*) (V*○ ≥

*Y) (see, Theorem*3.14).

*Then there exists an open set V*⊂

*Q, a continuous map g*:

*Y*→

*V, a multi-valued map φ*:

*V*⊸

*Y such that y*∈

*φ*(

*g*(

*y*))

*for each y*∈

*Y, where φ*(

*x*)

*is a compact and of trivial shape for any x*∈

*V. Obviously*(

*X*×

*Y*) ∉

*m*-

*ANR, since the space X*×

*Y is non-compact from assumption. We show that*

*We have*

*Hence*

*For each* (*x, y*) ∈ (*X* × *Y*) *the set x* × *φ*(*g*(*y*)) *is a compact and of trivial shape and* (*x, y*) ∈ (*x* × *φ*(*g*(*y*)))*. Hence, and from (4), the conditions of the Definition* 3.1 *are satisfied.*

The last example also shows that the Definition 3.1 is necessary because we certainly know that (*U* × *V*) ○ ≥ ○ (*X* × *Y*). However, the following open problem still remains:

**Open problem 3.17**. *Are there metric spaces X, Y such that Y* ○ ≥ ○ *X, but it is false that Y* ○ ≥ ○ *X*.

## Declarations

## Authors’ Affiliations

## References

- Borsuk K:
*Theory of Retracts, Monografie Matematyczne.*Tom 44, PWN, Warsaw; 1967.Google Scholar - Suszycki A: Retracts and homotopies for multi-maps.
*Fundam Math*1983, 115(1):9–26.MATHMathSciNetGoogle Scholar - Borsuk K:
*Theory of Shape, Monografie Matematyczne.*Tom 59, PWN, Warsaw; 1975.Google Scholar - Skiba R, Ślosarski M: On a generalization of absolute neighborhood retracts.
*Topol Appl*2009, 156: 697–709. 10.1016/j.topol.2008.09.007MATHView ArticleGoogle Scholar - Górniewicz L:
*Topological Fixed Point Theory of Multivalued Mappings.*Springer; 2006.Google Scholar - Ślosarski M: On a generalization of approximative absolute neighborhood retracts.
*Fixed Point Theory*2009, 10(2):329–346.MATHMathSciNetGoogle Scholar - Bogatyi SA: Approximative and fundamental retracts.
*Math USSR Sb*1974, 22: 91–103. 10.1070/SM1974v022n01ABEH001687MathSciNetView ArticleGoogle Scholar - Keesling JE: A non-movable trivial shape decomposition of the Hilbert Cube.
*Bull Acad Polon Sci Sér Sci Math Astronom Phys*1975, 23: 997–998.MATHMathSciNetGoogle Scholar - Knill RJ: Cones, products and fixed points.
*Fund Math*1967, 60: 35–46.MATHMathSciNetGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.