Multivalued generalizations of probabilistic contractions (Q1772367): Difference between revisions

If \(X\) is a nonempty set, \(F\) is a probabilistic distance on \(X\) and \(T\) is a \(t\)-norm, the triple \((X,F,T)\) is called a generalized Menger space if: (1) \(F_{xy}= \varepsilon\), where \(\varepsilon_0= c\) if \(t= 0\) and \(\varepsilon_0=1\) if \(t> 0\); (2) \(F_{xy}= F_{yx}\), \(\forall x,y\in X\); (3) \(F_{xy}(t+ s)=T(F_{xz}(t) F_{zy}(s))\), \(\forall x,y,z\in X\), \(\forall t,s> 0\). In this paper, the authors generalize some well-known fixed point theorems for probabilistic contractions to multivalued contractions in generalized Menger spaces. If \(S\) is a nonempty subset and \(C(S)\) is the class of nonempty closed (in the \(F\)-topology) subsets of \(S\), then a mapping \(A: X\to 2^X\) is called continuous if for every \(\varepsilon> 0\) there exists \(\delta> 0\) such that \(F_{xy}(\delta)> 1-\delta\Rightarrow\forall p\in A(x)\exists q\in A(y): F_{pq}(\varepsilon)> 1-\varepsilon\). The main result of this paper is Theorem 2.2: Let \((X,F,T)\) be a complete Menger space with \(\sup_{a< 1}T(a,a)= 1\) and \(A: X\to C(X)\) be a continuous mapping. If there exist a sequence \((t_n)_{n\in\mathbb{N}}\subset (0,\infty)\) with \(\sum^\infty_1 t_n<\infty\) and a sequence \((x_n)_{n\in\mathbb{N}}\) with the properties: \(x_{n+1}\in A(x_n)\) for all \(n\) and \(\lim_{n\to\infty} T^\infty_{i=1} f_{n+i-1}= 1\), where \(f_n:= F_{x_n x_{n+1}}(t_n)\), then \(A\) has a fixed point.