Fixed Point Theory of

From MaRDI portal





A map \(A\) from a Hausdorff topological space \(X\) to a convex space \(Y\) is said to be of type \(F^*\) (denoted \(A\in F^*(X, Y)\)) if the values \(A(x)\) are non-empty, convex for all \(x\in X\) and the fibres \(A^{-1}(y)= \{z:y\in Az\}\) are open for all \(y\in Y\). In this paper, some fixed point theorems are presented for \(F^*\) maps. The following theorem is a generalization of the Browder-Fan fixed point theorem [\textit{F. E. Browder}, Math. Ann. 177, 283-301 (1968; Zbl 0176.45204)]. Theorem 2.1. Let \(Q\) be a convex subset of a Hausdorff topological vector space \(E\). Assume \(U\) is a relatively open subset of \(Q\) with \(0\in U\) and \(U\) convex. Suppose \(G:\overline U\to Q\) is a \(F^*\) map (i.e. \(G\in F^*(\overline U,Q)\)) and assume the following conditions are satisfied: \[ \begin{cases} \text{there exists a continuous retraction }r: Q\to\overline U\text{ with}\\ r(z)\in\partial U\text{ for }z\in Q/\overline U\text{ and there exists }\lambda\in(0,1)\text{ with}\\ r(z)= \lambda z\text{ if }z\in Q/\overline U\;(\lambda\text{ may depend on }z)\end{cases}\tag{2.1} \] and \[ \text{the map }G r\in F^*(Q,Q)\text{ has a fixed point}.\tag{2.2} \] Then either \((\text{A}_1)\): \(G\) has a fixed point in \(\overline U\); or \((\text{A}_2)\): there exists \(u\in \partial U\) and \(\lambda\in (0,1)\) with \(u\in\lambda G(u)\). Using Theorem 2.1 and Theorem 2.4 below, the authors establish a new fixed point result of Fury-Pero type [\textit{M. Furi} and \textit{P. Pera}, Ann. Pol. Math. 47, 331-346 (1987; Zbl 0656.47052)]. Theorem 2.4. Let \(Q\) be a subset of a Hausdorff topological vector space. Assume \(U\) is a relatively open subset of \(Q\) with \(0\in U\) and \(U\) convex. Suppose \(G:\overline U\to Q\) is any map (single-valued or multivalued) and assume (2.1) holds. In addition suppose \[ \begin{cases} G r\in B F^*(Q,Q)\text{ and }G r\text{ has a fixed point in }Q;\text{ here}\\ r\text{ is as described in (2.1)}.\end{cases}\tag{2.3} \] then either: \((\text{A}_1)\): \(G\) has a fixed point in \(\overline U\); or \((\text{A}_2)\): there exists \(u\in\partial U\) and \(\lambda\in (0,1)\) with \(u\in\lambda G(u)\) in the multivalued case (\(u= \lambda G(u)\) in the single-valued case).











This page was built for publication: Fixed Point Theory of

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3841677)