Towards Lim

Abstract

The paper contains an elegant extension of the Nadler fixed point theorem for multivalued contractions (see Theorem 21). It is based on a new idea of the α-step mappings (see Definition 17) being more efficient than α-contractions. In the present paper this theorem is a tool in proving some fixed point theorems for “nonexpansive” mappings in the bead spaces (metric spaces that, roughly speaking, are modelled after convex sets in uniformly convex spaces). More precisely the mappings are nonexpansive on a set with respect to only one point – the centre of this set (see condition (4)). The results are pretty general. At first we assume that the value of the mapping under consideration at this central point looks “sharp” (see Definition 6). This idea leads to a group of theorems (based on Theorem 7). Their proofs are compact and the theorems, in particular, are natural extensions of the classical results for (usual) nonexpansive mappings. In the second part we apply the idea of Lim to investigate the regular sequences and here the proofs are based on our extension of Nadler's Theorem. In consequence we obtain some fixed point theorems that generalise the classical Lim Theorem for multivalued nonexpansive mappings (see e.g. Theorem 26).