Inward contractions on metric spaces (Q879057)

Let \(F:K\multimap X\) be a set-valued contraction with closed values defined on a closed subset \(K\) of a complete metric space \((X,d)\). Let \(\widetilde I_K(x)= \{x\}=\{x\}\cup\{y\in X\), \(y\in x\): \(\inf_{z\in (x,y]}\frac{1}{d(z,x)}d(z,K)=0\}\) be a generalized inward set, where \((x,y]=\{z\in X:d(x,z)+d(z,y)=d(x,y)\} \setminus\{x\}\). In the present paper the author generalizes Lim's theorem and Downing-Kirk's theorem: Banach spaces are repleaced by complete metric spaces and are inward sets by generalized inward sets. Theorem 2.1. (a generalization of Lim's theorem) Let \(K\) be a closed subset of a complete metric space \(X\). Let us consider a set-valued contraction \(F:K\multimap X\) with closed values. If \(F\) satisfies \(F(x)\subset \widetilde I_K(x)\) for all \(x\in K\), then \(F\) has a fixed point. Some aspects of topological transversality in the spirit of Frigon and Granas of contractions under constraints are also considered.