Approximation and fixed points for compositions of \(R_ \delta\)-maps (Q1315470): Difference between revisions

A compact-valued upper semicontinuous (u.s.c.) multimap \(\phi: X \multimap Y\) is said to be a \(J\)-map if every its value \(\phi(x)\) is such that for each neighborhood \(U(\phi(x))\) there is a neighborhood \(V(\phi(x)) \subset U\) such that the inclusion \(V \to U\) induces the trivial homomorphisms of all homotopy groups. In particular, every u.s.c. \(R_ \delta\)-valued multimap into an ANR-space is a \(J\)-map. The main result states that every finite composition of \(J\)-maps defined on a compact subset of an AANR-space has a single-valued approximation. As a corollary it follows that every compact multimap of such class of an AAR-space into itself has a fixed point. Reviewer's remark. The first approximation result for multimaps of \(J\)- type was obtained by \textit{A. D. Myshkis} [Mat. Sb., Nov. Ser. 34(76), 525-540 (1954; Zbl 0056.089)].