 Research
 Open Access
 Published:
The multivalued domination of metric spaces
Fixed Point Theory and Applications volume 2012, Article number: 23 (2012)
Abstract
In this article, we introduce the notion of multivalued 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.
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 multiretract and as a consequence he defined absolute multiretracts (m  AR) and absolute neighborhood multiretracts (m  ANR). On the basis of these notions (multiretracts) 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 multivalued 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 multiretracts (AMR) and the absolute neighborhood multiretracts (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 multivalued sense (see, [4]) if there exists a continuous mapping f :Y → X and a multivalued 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
Throughout this article all topological spaces are assumed to be metric. Let 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 qdimensional Č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 nonempty,

(ii)
H _{ q }(X) = 0 for every q ≥ 1 and

(iii)
${H}_{0}\left(X\right)\approx \mathbb{Q}$.
A continuous mapping f : X → Y is called proper if for every compact set K ⊂ Y the set f^{1}(K) is nonempty 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 nonempty subset φ(x) of Y is given. In such a case we say that φ : X ⊸ Y is a multivalued mapping. For a multivalued 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 semicontinuous mapping; we shall write that φ is u.s.c.
Let φ : X ⊸ Y be a multivalued map. A pair (p, q) of singlevalued, 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 multivalued 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 nonempty.
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 mrmap 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 multiretract (notation: X ∈ AMR) provided there exists a locally convex space E and an mrmap r: E → X from E onto X.
Definition 2.7. (see, [4, 6]) A metric space X is called an absolute neighborhood multiretract (notation: X ∈ ANMR) provided there exists an open subset U of some locally convex space E and an mrmap 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.
Let φ_{ 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 multivalued map σ : X ⊸ A with compact images is said to be a multiretraction 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 multiretract in the space X if there is a neighborhood U of A in X and a multiretraction σ : U ⊸ A. If U = X, then we call A a multiretract of the space X.
Definition 2.14. (see, [2]) A continuum X will be called an absolute neighborhood multiretract (X ∈ m  ANR) provided that, for every continuum Y ⊃ X, X is a neighborhood multiretract of Y. If X is a multiretract of every space Y ⊃ X, then we call X an absolute multiretract (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 multivalued sense.
Definition 3.1. We shall say that a metric space Y multidominates a metric space X (we write Y ○ ≥ ○ X) if there exists multivalued admissible maps φ : Y ⊸ X and ψ : X ⊸ Y such that the following conditions are satisfied:
3.1.1 for each x ∈ X x ∈ φ(ψ(x)),
3.1.2 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:
there exist (p_{1}, q_{1}) ⊂ φ_{1}, (p_{2}, q_{2}) ⊂ φ_{2}, (r_{1}, s_{1}) ⊂ ψ_{1}, (r_{2}, s_{2}) ⊂ ψ_{2} such that
We define multivalued admissible maps φ :Y ⊸ X, ψ : X ⊸ Y given by formula:
We show that for each x ∈ X x ∈ φ(ψ(x)). Let x ∈ X and let z ∈ ψ_{2}(x). From (1) we get that z ∈ φ_{1}(ψ_{1}(z)). Hence we have
It is clear that
From Proposition 2.2 we get that there exist (p, q) ⊂ φ, (r, s) ⊂ ψ such that:
We have
Let us remind that if a multivalued mapping u.s.c. φ : 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.
Let us notice that from 3.1.2 it follows that
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 nonacyclic space. Then Y ○ > ○ X.
Particularly from the last fact it follows that
where ${S}^{n1}$ is a (n  1)dimensional sphere and ${K}^{n}$ is an ndimensional 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.
Let us introduce some notation. Y ○ ≥ X will mean that the mapping ψ = g : X → Y can be chosen singlevalued (see, Definition 3.1), whereas Y ≥ ○ X will mean that the mapping φ = r : Y → X is singlevalued. Then Y ≥ ○_{ s }X will denote that φ = r : Y → X is singlevalued 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.
Obviously we have:
Remark 3.6. The relation Y ○_{ s }≥ X, i.e., ψ = g : X → Y (see, Definition 3.1) is a singlevalued 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
Let φ : X ⊸ X be an admissible and compact map. It is clear that the following diagram:
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 multiretract 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 multiretraction.
It is not difficult to notice that if A ⊂ X is an admissible multiretract of X then X ○ ≥ A. Moreover, if A ⊂ X is a multiretract X in the sense of Suszycki (see, Definition 2.14), then it is its admissible multiretract.
Definition 3.12. A space X is an admissible absolute multiretract (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 multiretract of Y.
Definition 3.13. A space X is an admissible absolute neighborhood multiretract (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 multiretract 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
Let 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
From (12) we have
where i : h(X) → V is an inclusion.
Assume now that X ∈ am  ANR. Let ψ : U ⊸ h(X) be an admissible multiretraction, 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
where 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]).
Multivalued domination in the sense of Suszycki was determined in the class of compact metric spaces. Multidomination 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 noncompact 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 multivalued 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 noncompact 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.
References
 1.
Borsuk K: Theory of Retracts, Monografie Matematyczne. Tom 44, PWN, Warsaw; 1967.
 2.
Suszycki A: Retracts and homotopies for multimaps. Fundam Math 1983, 115(1):9–26.
 3.
Borsuk K: Theory of Shape, Monografie Matematyczne. Tom 59, PWN, Warsaw; 1975.
 4.
Skiba R, Ślosarski M: On a generalization of absolute neighborhood retracts. Topol Appl 2009, 156: 697–709. 10.1016/j.topol.2008.09.007
 5.
Górniewicz L: Topological Fixed Point Theory of Multivalued Mappings. Springer; 2006.
 6.
Ślosarski M: On a generalization of approximative absolute neighborhood retracts. Fixed Point Theory 2009, 10(2):329–346.
 7.
Bogatyi SA: Approximative and fundamental retracts. Math USSR Sb 1974, 22: 91–103. 10.1070/SM1974v022n01ABEH001687
 8.
Keesling JE: A nonmovable trivial shape decomposition of the Hilbert Cube. Bull Acad Polon Sci Sér Sci Math Astronom Phys 1975, 23: 997–998.
 9.
Knill RJ: Cones, products and fixed points. Fund Math 1967, 60: 35–46.
Author information
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors' contributions
No authors contributions. I am the solely author of it, I performed all the necessary studies and wrote the entire article.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Received
Accepted
Published
DOI
Keywords
 multidomination
 absolute neighborhood multiretracts
 admissible multiretract
 Lefschetz space
 movable space