an:05229612
Zbl 1136.54026
Borkowski, Marcin; Bugajewski, Dariusz
On fixed point theorems of Leray--Schauder type
EN
Proc. Am. Math. Soc. 136, No. 3, 973-980 (2008).
00215380
2008
j
54H25 54E35 47H10 47H09
hyperconvex space; fixed point; nonexpansive mapping
A metric space \((X,d)\) is called hyperconvex if every family \((\overline{B}(x_i;r_i))_{i\in I}\) of closed balls has nonempty intersection whenever \(d(x_i,x_j)\leq r_i+r_j\) for \(i,j\in I\). A pair \((E,e)\) is called a hyperconvex hull of \((X,d)\) if \(E\) is hyperconvex, \(e:X\to E\) is an isometric embedding, and there is no hyperconvex subset of \(E\) which properly includes \(e(X)\). It is known that hyperconvex hulls always exist. Denote the set of hyperconvex hulls of \(A\subset X\) by \(\mathcal{H}(A)\). The authors prove the following result. Let \(X\) be a hyperconvex metric space, let \(\Omega\subset X\) be open and nonempty, and let \(H:[0,1]\times X\to X\) be a homotopy. Assume that \(H(0,\cdot)\) has a subadditive modulus of continuity and that \(H(\{0\}\times\overline{\Omega)})\) is contained in a compact hyperconvex subset \(V\) of \(\overline{\Omega}\) and that there are no fixed points of \(H(\lambda,\cdot)\) on \(\partial\Omega\) for each \(\lambda\in[0,1]\). Assume further that, for each \(C\subset\Omega\) such that \(C=\Omega\cap P\) for some \(P\in\mathcal{H}(H([0,1]\times C)\cup V)\), we have that \(C\) is relatively compact. The conclusion is that \(H(1,\cdot)\) has a fixed point in \(\bar{\Omega}\). Finally, the authors point out a minor slip in an article by \textit{N.\,Aronszajn} and \textit{P.\,Panitchpakdi} [Pac.\ J.\ Math.\ 6, 405--439 (1956; Zbl 0074.17802)] which, however, was dealt with in a corrigendum [ibid. 7, 1729 (1957; Zbl 0074.17802)].
Christian Fenske (Gie??en)
Zbl 0074.17802