Probabilistic G-contractions

Abstract

In this paper we introduce the notion of probabilistic G-contraction and establish some fixed point theorems in such settings. Our results generalize/extend some recent results of Jachymski and Sehgal and Bharucha-Reid. Consequently, we obtain fixed point results for $(ϵ,\delta )$-chainable PM-spaces and for cyclic operators.

MSC:47H10, 54H25.

1 Introduction

In recent years the Banach contraction principle has been widely used to study the existence of solutions for the nonlinear Volterra integral equations, nonlinear integrodifferential equations in Banach spaces and to prove the convergence of algorithms in computational mathematics. It has been extended in many different directions for single- and multi-valued mappings. Recently, Nieto and Rodríguez-López [1], Ran and Reurings [2], Petruşl and Rus [3] established some new results for contractions in partially ordered metric spaces. The following is the main result due to Nieto and Rodríguez-López [1, 4], Ran and Reurings [2].

Theorem 1.1 Let $(S,d)$ be a complete metric space endowed with the partial order ‘⪯’. Assume that the mapping $f:S\to S$ is nondecreasing (or nonincreasing) with respect to the partial order ‘⪯’ on S and there exists a real number α, $0<\alpha <1$, such that

$$d(fx,fy)\le \alpha d(x,y)\mathit{\text{for all }}x,y\in S,x⪯y.$$

(1.1)

Also suppose that either

• (i) f is continuous; or

• (ii) for every nondecreasing sequence $\{x_n\}$ in S such that $x_n\to x$ in S, we have $x_n⪯x$ for all $n\ge 1$.

If there exists $x_0\in S$ with $x_0⪯f{x}_0$ (or $x_0⪰f{x}_0$), then f has a fixed point. Furthermore, if $(S,⪯)$ is such that every pair of elements of S has an upper or lower bound, then f is a Picard operator (PO).

Many authors undertook further investigations in this direction to obtain some generalizations and extensions of the above main result (see, e.g., [5–7]). In this context, Jachymski [8] established a generalized and novel version of Theorem 1.1 by utilizing graph theoretic approach. From then on, investigations have been carried out to obtain better and generalized versions by weakening contraction condition and analyzing connectivity of a graph (see [9–11]).

Motivated by the work of Jachymski, we can pose a very natural question: Is it possible to establish a probabilistic version of the result of Jachymski [8] (see Corollary 3.12)? In this paper, we give an affirmative answer to this question. Our results are substantial generalizations and improvements of the corresponding results of Jachymski [8] and Sehgal [12] and others (see, e.g., [1, 2, 4]). Subsequently, we apply our main results to the setting of cyclical contractions and to that of $(ϵ,\delta )$-contractions as well.

2 Preliminaries

In 1942 Menger introduced the notion of probabilistic metric space (briefly, PM space), and since then enormous developments in the theory of probabilistic metric space have been made in many directions [13–15]. The fundamental idea of Menger was to replace real numbers with distribution functions as values of a metric.

A mapping $F:\mathbb{R}\to [0,1]$ is called a distribution function if it is nondecreasing, left continuous and ${inf}_{t\in \mathbb{R}}F(t)=0$, ${sup}_{t\in \mathbb{R}}F(t)=1$. In addition, if $F(0)=0$, then F is called a distance distribution function. Let ${\mathcal{D}}^{+}$ denote the set of all distance distribution functions satisfying ${lim}_{t\to \mathrm{\infty }}F(t)=1$. The space ${\mathcal{D}}^{+}$ is partially ordered with respect to the usual pointwise ordering of functions, i.e., $F\le G$ if and only if $F(t)\le G(t)$ for all $t\in \mathbb{R}$. The element ${ϵ}_0\in {\mathcal{D}}^{+}$ acts as the maximal element in the space and is defined by

$${ϵ}_0(t)=\{\begin{array}{cc}0\hfill & \text{if }t\le 0,\hfill \\ 1\hfill & \text{if }t>0.\hfill \end{array}$$

(2.1)

Definition 2.1 A mapping $\mathrm{\Delta }:[0,1]\times [0,1]\to [0,1]$ is called a triangular norm (briefly t-norm) if the following conditions hold:

• (i) Δ is associative and commutative,

• (ii) $\mathrm{\Delta }(a,1)=a$ for all $a\in [0,1]$,

• (iii) $\mathrm{\Delta }(a,b)\le \mathrm{\Delta }(c,d)$ for all $a,b,c,d\in [0,1]$ with $a\le c$ and $b\le d$.

Typical examples of t-norms are ${\mathrm{\Delta }}_M(a,b)=min\{a,b\}$ and ${\mathrm{\Delta }}_P(a,b)=ab$.

Definition 2.2 (Hadzić [16], Hadzić and Pap [14])

A t-norm Δ is said to be of ℋ-type if the family of functions ${\{{\mathrm{\Delta }}^n(t)\}}_{n\in \mathbb{N}}$ is equicontinuous at $t=1$, where ${\mathrm{\Delta }}^n:[0,1]\to [0,1]$ is recursively defined by

$${\mathrm{\Delta }}^1(t)=\mathrm{\Delta }(t,t),\text{and}{\mathrm{\Delta }}^n(t)=\mathrm{\Delta }({\mathrm{\Delta }}^{n-1}(t),t);t\in [0,1],n=2,3,\dots .$$

A trivial example of a t-norm of ℋ-type is ${\mathrm{\Delta }}_M:=min$, but there exist t-norms of ℋ-type with $\mathrm{\Delta }\ne {\mathrm{\Delta }}_M$ (see, e.g., [16]).

Definition 2.3 A probabilistic metric space (briefly, PM-space) is an ordered pair $(S,\mathcal{F})$, where S is a nonempty set and $\mathcal{F}:S\times S\to {\mathcal{D}}^{+}$ if the following conditions are satisfied ($\mathcal{F}(p,q)=F_{p,q}$, $\mathrm{\forall }(p,q)\in S\times S$):

• (PM1) $F_{x,y}(t)={ϵ}_0(t)\iff x=y$ and $x,y\in S$;

• (PM2) $F_{x,y}(t)=F_{y,x}(t)$ for all $x,y\in S$ and $t\in \mathbb{R}$;

• (PM3) if $F_{x,y}(t)=1$ and $F_{y,z}(s)=1$, then $F_{x,z}(t+s)=1$ for all $x,y,z\in S$ and for every $t,s\ge 0$.

Definition 2.4 A Menger probabilistic metric space (briefly, Menger PM-space) is a triple $(S,\mathcal{F},\mathrm{\Delta })$, where $(S,\mathcal{F})$ is a PM-space, Δ is a t-norm and instead of (PM3) in Definition 2.3 it satisfies the following triangle inequality:

(PM3)′ $F_{x,z}(t+s)\ge \mathrm{\Delta }(F_{x,y}(t),F_{y,z}(s))$ for all $x,y,z\in S$ and $t,s\ge 0$.

Remark 2.5 (Sehgal [12])

Let $(S,d)$ be a metric space. Define $F_{xy}(t)={ϵ}_0(t-d(x,y))$ for all $x,y\in S$ and $t>0$. Then the triple $(S,\mathcal{F},{\mathrm{\Delta }}_M)$ is a Menger PM-space induced by the metric d. Furthermore, $(S,\mathcal{F},{\mathrm{\Delta }}_M)$ is complete iff d is complete.

Schweizer et al. [17] introduced the concept of neighborhood in PM-spaces. For $\epsilon >0$ and $\delta \in (0,1]$, the $(\epsilon ,\delta )$-neighborhood of $x\in S$ is denoted by ${\mathcal{N}}_x(\epsilon ,\delta )$ and is defined by

$${\mathcal{N}}_x(\epsilon ,\delta )=\{y\in S:F_{x,y}(\epsilon )>1-\delta \}.$$

Furthermore, if $(S,\mathcal{F},\mathrm{\Delta })$ is a Menger PM-space with ${sup}_{0<a<1}\mathrm{\Delta }(a,a)=1$, then the family of neighborhoods $\{{\mathcal{N}}_x(\epsilon ,\delta ):x\in S,\epsilon >0,\delta \in (0,1]\}$ determines a Hausdorff topology for S.

Definition 2.6 Let $(S,\mathcal{F},\mathrm{\Delta })$ be a Menger PM-space.

• (1) A sequence $\{x_n\}$ in S converges to an element x in S (we write $x_n\to x$ or ${lim}_{n\to \mathrm{\infty }}{x}_n=x$) if for every $\epsilon >0$ and $\delta >0$ there exists a natural number $N(\epsilon ,\delta )$ such that $F_{x_n,x}(\epsilon )>1-\delta$, whenever $n\ge N$.

• (2) A sequence $\{x_n\}$ in S is a Cauchy sequence if for every $\epsilon >0$ and $\delta >0$ there exists a natural number $N(\epsilon ,\delta )$ such that $F_{x_n,x_m}(\epsilon )>1-\delta$, whenever $n,m\ge N$.

• (3) A Menger PM-space is complete if and only if every Cauchy sequence in S converges to a point in S.

Now we recall some basic notions from graph theory which we need subsequently. Let $(S,d)$ be a metric space, let Ω be the diagonal of the Cartesian product $S\times S$, and let G be a directed graph such that the set $V(G)$ of its vertices coincides with S and the set $E(G)$ of its edges contains all loops, i.e., $E(G)\supseteq \mathrm{\Omega }$. Assume that G has no parallel edges. Let $G=(V(G),E(G))$ be a directed graph. By letter $\tilde{G}$ we denote the undirected graph obtained from G by ignoring the direction of edges and by $G^{-1}$ we denote the graph obtained by reversing the direction of edges. Equivalently, the graph $\tilde{G}$ can be treated as a directed graph having $E(\tilde{G}):=E(G)\cup E(G^{-1})$. If x and y are vertices in a graph G, then a path in G from x to y of length l is a sequence ${(x_i)}_{i=0}^l$ of $l+1$ vertices such that $x_0=x$, $x_l=y$ and $(x_{i-1},x_i)\in E(G)$ for $i=1,\dots ,l$. A graph G is called connected if there is a path between any two vertices. G is weakly connected if $\tilde{G}$ is connected. For a graph G such that $E(G)$ is symmetric and x is a vertex in G, the subgraph $G_x$ consisting of all edges and vertices which are contained in some path beginning at x is called the component of G containing x. In this case $V(G_x)={[x]}_G$, where ${[x]}_G$ is the equivalence class of a relation R defined on $V(G)$ by the rule: $yRz$ if there is a path in G from y to z. Clearly, $G_x$ is connected. A mapping $f:S\to S$ is called a Banach G-contraction [8] if $\mathrm{\forall }x,y\in S$; $(x,y)\in E(G)\Rightarrow (fx,fy)\in E(G)$, i.e., f is edge-preserving and $\mathrm{\exists }\alpha \in (0,1)$ $\mathrm{\forall }x,y\in S$ ($(x,y)\in E(G)\Rightarrow d(fx,fy)\le \alpha d(x,y)$).

3 Main results

We start with the following definition.

Definition 3.1 A mapping $f:S\to S$ is said to be a probabilistic G-contraction if f preserves edges and there exists $\alpha \in (0,1)$ such that

$$\mathrm{\forall }x,y\in S,(x,y)\in E(G)\Rightarrow F_{fx,fy}(\alpha t)\ge F_{x,y}(t).$$

(3.1)

Example 3.2 Let $(S,d)$ be a metric space endowed with a graph G, and let the mapping $f:S\to S$ be a Banach G-contraction. Then the induced Menger PM space $(S,\mathcal{F},{\mathrm{\Delta }}_M)$ is a probabilistic G-contraction.

To see this, let $(x,y)\in E(G)$, then $(fx,fy)\in E(G)$ and there exists $\alpha \in (0,1)$ such that $d(fx,fy)\le \alpha d(x,y)$. Now, for $t>0$, we have

$$\begin{array}{rcl}{F}_{fx,fy}(\alpha t)& =& {ϵ}_0(\alpha t-d(fx,fy))\\ \ge & {ϵ}_0(\alpha t-\alpha d(x,y))=F_{x,y}(t).\end{array}$$

Thus f satisfies (3.1).

From Example 3.2 it is inferred that every Banach G-contraction is a probabilistic G-contraction with the same contraction constant.

Proposition 3.3 Let $f:S\to S$ be a probabilistic G-contraction with contraction constant $\alpha \in (0,1)$. Then

• (i) f is both a probabilistic $\tilde{G}$-contraction and a probabilistic $G^{-1}$-contraction with the same contraction constant α.

• (ii) ${[x_0]}_{\tilde{G}}$ is f-invariant and $f{|}_{{[x_0]}_{\tilde{G}}}$ is a probabilistic ${\tilde{G}}_{x_0}$-contraction provided that $x_0\in S$ is such that $f{x}_0\in {[x_0]}_{\tilde{G}}$.

Proof

• (i) It follows from the symmetry of $F_{x,y}$.

• (ii) Let $x\in {[x_0]}_{\tilde{G}}$. Then there is a path $x=z_0,z_1,\dots ,z_l=x_0$ between x and $x_0$. Since f is a probabilistic G-contraction, $(f{z}_{i-1},f{z}_i)\in E(G)$ $\mathrm{\forall }i=1,2,\dots ,l$. Thus $fx\in {[f{x}_0]}_{\tilde{G}}={[x_0]}_{\tilde{G}}$.

Suppose $(x,y)\in E({\tilde{G}}_{x_0})$. Then $(fx,fy)\in E(G)$ since f is a probabilistic G-contraction. But ${[x_0]}_{\tilde{G}}$ is f invariant, so we conclude that $(fx,fy)\in E({\tilde{G}}_{x_0})$. Condition (3.1) is satisfied automatically, since ${\tilde{G}}_{x_0}$ is a subgraph of G. □

Lemma 3.4 Let $(S,\mathcal{F},\mathrm{\Delta })$ be a Menger PM-space under a t-norm Δ satisfying ${sup}_{a<1}$ $\mathrm{\Delta }(a,a)=1$. Assume that the mapping $f:S\to S$ is a probabilistic G-contraction. Let $y\in {[x]}_{\tilde{G}}$, then $F_{f^{n}x,f^{n}y}(t)\to 1$ as $n\to \mathrm{\infty }$ ($t>0$). Moreover, for $z\in S$, $f^{n}x\to z$ ($n\to \mathrm{\infty }$) if and only if $f^{n}y\to z$ ($n\to \mathrm{\infty }$).

Proof Let $x\in S$ and $y\in {[x]}_{\tilde{G}}$, then there exists a path $(x_i)$, $i=0,1,2,\dots ,l$, in $\tilde{G}$ from x to y with $x_0=x$, $x_l=y$ and $(x_{i-1},x_i)\in E(\tilde{G})$. From Proposition 3.3, f is a probabilistic $\tilde{G}$-contraction. By induction, for $t>0$, we have $(f^n{x}_{i-1},f^n{x}_i)\in E(\tilde{G})$ and $F_{f^n{x}_{i-1},f^n{x}_i}(\alpha t)\ge F_{f^{n-1}{x}_{i-1},f^{n-1}{y}_i}(t)$ for all $n\in \mathbb{N}$ and $i=1,\dots ,l$. Thus we obtain

$$\begin{array}{rcl}{F}_{f^n{x}_{i-1},f^n{x}_i}(t)& \ge & F_{f^{n-1}{x}_{i-1},f^{n-1}{x}_i}\left(\frac{t}{\alpha }\right)\\ \ge & F_{f^{n-2}{x}_{i-1},f^{n-2}{x}_i}\left(\frac{t}{{\alpha }^2}\right)\\ \cdots \\ \ge & F_{x_{i-1},x_i}\left(\frac{t}{{\alpha }^n}\right)\to 1(\text{as }n\to \mathrm{\infty }).\end{array}$$

Let $t>0$ and $\delta >0$ be given. Since ${sup}_{a<1}\mathrm{\Delta }(a,a)=1$, then there exists $\lambda (\delta )\in (0,1)$ such that $\mathrm{\Delta }(1-\lambda ,1-\lambda )>1-\delta$. Choose a natural number $n^{\prime }$ such that for all $n\ge n^{\prime }$ we have $F_{f^n{x}_0,f^n{x}_1}(\frac{t}{2})>1-\lambda$ and $F_{f^n{x}_1,f^n{x}_2}(\frac{t}{2})>1-\lambda$. We get, for all $n\ge n^{\prime }$,

$$\begin{array}{rcl}{F}_{f^n{x}_0,f^n{x}_2}(t)& \ge & \mathrm{\Delta }(F_{f^n{x}_0,f^n{x}_1}\left(\frac{t}{2}\right),F_{f^n{x}_1,f^n{x}_2}\left(\frac{t}{2}\right))\\ \ge & \mathrm{\Delta }(1-\lambda ,1-\lambda )>1-\delta ,\end{array}$$

so that $F_{f^n{x}_0,f^n{x}_2}(t)\to 1$ as $n\to \mathrm{\infty }$ ($t>0$). Continuing recursively, one can easily show that

$$F_{f^n{x}_0,f^n{x}_l}(t)\to 1\text{as }n\to \mathrm{\infty }(t>0).$$

Let $f^{n}x\to z\in S$. Let $t>0$ and $\delta >0$ be given. Since ${sup}_{a<1}\mathrm{\Delta }(a,a)=1$, then there exists $\lambda (\delta )\in (0,1)$ such that $\mathrm{\Delta }(1-\lambda ,1-\lambda )>1-\delta$. Choose a natural number $n_0$ such that for all $n\ge n_0$ we have $F_{f^{n}x,f^{n}y}(\frac{t}{2})>1-\lambda$ and $F_{z,f^{n}x}(\frac{t}{2})>1-\lambda$. So that for all $n\ge n_0$, we have

$$\begin{array}{rcl}{F}_{z,f^{n}y}(t)& \ge & \mathrm{\Delta }(F_{z,f^{n}x}\left(\frac{t}{2}\right),F_{f^{n}x,f^{n}y}\left(\frac{t}{2}\right))\\ \ge & \mathrm{\Delta }(1-\lambda ,1-\lambda )>1-\delta .\end{array}$$

Hence, $f^{n}y\to z$ as $n\to \mathrm{\infty }$. □

Every t-norm can be extended in a unique way to an n-ary as follows: ${\mathrm{\Delta }}_{i=1}^0{x}_i=0$, ${\mathrm{\Delta }}_{i=1}^n{x}_i=\mathrm{\Delta }({\mathrm{\Delta }}_{i=1}^{n-1}{x}_i,x_n)$ for $n=1,2,\dots$ . Let ${(x_i)}_{i=1}^l$ be a path between two vertices x and y in a graph G. Let us denote with $L_{x,y}(t)={\mathrm{\Delta }}_{i=1}^l{F}_{x_{i-1},x_i}(t)$ for all t. Clearly the function $L_{x,y}$ is monotone nondecreasing.

Definition 3.5 Let $(S,\mathcal{F},\mathrm{\Delta })$ be a PM-space and $f:S\to S$. Suppose that there exists a sequence $\{f^{n}x\}$ in S such that $f^{n}x⟶x^{\ast }$ and $(f^{n}x,f^{n+1}x)\in E(G)$ for $n\in \mathbb{N}$. We say that:

• (i) G is a $(C_f)$-graph in S if there exist a subsequence $\{f^{n_k}x\}$ of $\{f^{n}x\}$ and a natural number N such that $(f^{n_k}x,x^{\ast })\in E(G)$ for $k\ge N$;

• (ii) G is an $(H_f)$-graph in S if $f^{n}x\in {[x^{\ast }]}_{\tilde{G}}$ for $n\ge 1$ and the sequence of functions $\{L_{f^{n}x,x^{\ast }}(t)\}$ converges to ${ϵ}_0(t)$ uniformly as $n\to \mathrm{\infty }$ ($t>0$).

Example 3.6 Let $(S,\mathcal{F},\mathrm{\Delta })$ be a Menger PM-space induced by the metric $d(x,y)=|x-y|$ on $S=\{\frac{1}{n}:n\in \mathbb{N}\}\cup \{0\}\cup \mathbb{N}$, and let I be an identity map on S.

Consider the graph $G_2$ consisting of $V(G_2)=S$ and

$$E(G_2)=\{(\frac{1}{n},\frac{1}{n+1}),(\frac{1}{n+1},n),(n,0),(\frac{1}{5n},0);n\in \mathbb{N}\}.$$

We note that $x_n=\frac{1}{n}\to 0$ as $n\to \mathrm{\infty }$. Also, it is easy to see that $G_2$ is a $(C_I)$-graph. But since $\mathrm{\Delta }(a,b)=min\{a,b\}$, then

$$\begin{array}{rcl}{L}_{x_n,0}(t)& =& \mathrm{\Delta }(\mathrm{\Delta }({ϵ}_0(t-|\frac{1}{n}-\frac{1}{n+1}|),{ϵ}_0(t-|\frac{1}{n+1}-n|)),{ϵ}_0(t-n))\\ =& {ϵ}_0(t-n)\nrightarrow {ϵ}_0(t)\text{as }n\to \mathrm{\infty }.\end{array}$$

Thus $G_2$ is not an $(H_I)$-graph.

Example 3.7 Let $(S,\mathcal{F},\mathrm{\Delta })$ be a Menger PM space induced by the metric $d(x,y)=|x-y|$ on $S=\{\frac{1}{n}:n\in \mathbb{N}\}\cup \{\frac{\sqrt{5}}{n+1}:n\in \mathbb{N}\}\cup \{0\}$, and let I be an identity map on S. Consider the graph $G_3$ consisting of $V(G_3)=S$ and

$$E(G_3)=\{(\frac{1}{n},\frac{1}{n+1}),(\frac{1}{n},\frac{\sqrt{5}}{n+1}),(\frac{\sqrt{5}}{n+1},0);n\in \mathbb{N}\}.$$

Since $x_n=\frac{1}{n}\to 0$ as $n\to \mathrm{\infty }$. Clearly, $G_4$ is not a $(C_I)$-graph. But $L_{x_n,0}(t)={ϵ}_0(t-\frac{\sqrt{5}}{n+1})\to {ϵ}_0(t)$ as $n\to \mathrm{\infty }$ ($t>0$). Thus $G_3$ is an $(H_I)$-graph.

From the above examples, we note that the notions of $(C_f)$-graph and $(H_f)$-graph are independent even if f is an identity map.

The following lemma is essential to prove our fixed point results.

Lemma 3.8 (Miheţ [18])

Let $(S,\mathcal{F},\mathrm{\Delta })$ be a Menger PM-space under a t-norm Δ of ℋ-type. Let $\{x_n\}$ be a sequence in S, and let there exist $\alpha \in (0,1)$ such that

$$F_{x_n,x_{n+1}}(\alpha t)\ge F_{x_{n-1},x_n}(t)\mathit{\text{for all }}n\in \mathbb{N},t>0.$$

Then $\{x_n\}$ is a Cauchy sequence.

Theorem 3.9 Let $(S,\mathcal{F},\mathrm{\Delta })$ be a complete Menger PM-space under a t-norm Δ of ℋ-type. Assume that the mapping $f:S\to S$ is a probabilistic G-contraction and there exists $x_0\in S$ such that $(x_0,f{x}_0)\in E(G)$, then the following assertions hold.

• (i) If G is a $(C_f)$-graph, then f has a unique fixed point $\varrho \in {[x_0]}_{\tilde{G}}$ and for any $y\in {[x_0]}_{\tilde{G}}$, $f^{n}y\to \varrho$. Moreover, if G is weakly connected, then f is a Picard operator.

• (ii) If G is a weakly connected $(H_f)$-graph, then f is a Picard operator.

Proof Since f is a probabilistic G-contraction and there exists $x_0\in S$ such that $(x_0,f{x}_0)\in E(G)$. By induction $(f^n{x}_0,f^{n+1}{x}_0)\in E(G)$ for all $n\ge 1$ and

$$F_{f^n{x}_0,f^{n+1}{x}_0}(\alpha t)\ge F_{f^{n-1}{x}_0,f^n{x}_0}(t)\text{for all }n\ge 1.$$

(3.2)

(i) Since the t-norm Δ is of ℋ-type, then from Lemma 3.8 it can be inferred that $\{f^n{x}_0\}$ is a Cauchy sequence in S. From completeness of the Menger PM-space S, there exists $\varrho \in S$ such that

$$\underset{n\to \mathrm{\infty }}{lim}{f}^n{x}_0=\varrho .$$

(3.3)

Now we prove that ϱ is a fixed point of f. Let G be a $(C_f)$-graph. Then there exists a subsequence $\{f^{n_k}{x}_0\}$ of $\{f^n{x}_0\}$ and $N\in \mathbb{N}$ such that $(f^{n_k}{x}_0,\varrho )\in E(G)$ for all $k\ge N$. Note that $(x_0,f{x}_0,f^2{x}_0,\dots ,f^{n_1}{x}_0,\dots ,f^{n_N}{x}_0,\varrho )$ is a path in G and so in $\tilde{G}$ from $x_0$ to ϱ, thus $\varrho \in {[x_0]}_{\tilde{G}}$. Since f is a probabilistic G-contraction and $(f^{n_k}{x}_0,\varrho )\in E(G)$ for all $k\ge N$. For $t>0$ and $k\ge N$, we get

$$\begin{array}{rcl}{F}_{f^{n_k+1}{x}_0,f\varrho }(t)& \ge & F_{f^{n_k+1}{x}_0,f\varrho }(\alpha t)\\ \ge & F_{f^{n_k}{x}_0,\varrho }(t)\to 1\text{as }k\to \mathrm{\infty }.\end{array}$$

We obtain

$$\underset{k\to \mathrm{\infty }}{lim}{f}^{n_k+1}{x}_0=f\varrho .$$

(3.4)

Hence, we conclude that $f\varrho =\varrho$. Now, let $y\in {[x_0]}_{\tilde{G}}$, then from Lemma 3.4 we get

$$\underset{n\to \mathrm{\infty }}{lim}{f}^{n}y=\varrho .$$

(3.5)

Next to prove the uniqueness of a fixed point, suppose ${\varrho }^{\ast }\in {[x_0]}_{\tilde{G}}={[\varrho ]}_{\tilde{G}}$ such that $f{\varrho }^{\ast }={\varrho }^{\ast }$. Then from Lemma 3.4, for $t>0$, we have

$$F_{\varrho ,{\varrho }^{\ast }}(t)=F_{f^n\varrho ,f^n{\varrho }^{\ast }}(t)\to 1,n\to \mathrm{\infty }.$$

(3.6)

Hence, ${\varrho }^{\ast }=\varrho$. Moreover, if G is weakly connected, then f is a Picard operator as ${[x_0]}_{\tilde{G}}=S$.

(ii) Let G be a weakly connected $(H_f)$-graph. By using the same arguments as in the first part of the proof, we obtain ${lim}_{n\to \mathrm{\infty }}{f}^n{x}_0=\varrho$. For each $n\in \mathbb{N}$ let $(z_i^n)$; $i=0,\dots ,M_n$ be a path in $\tilde{G}$ from $f^n{x}_0$ to ϱ with $z_0^n=f^n{x}_0$, $z_M^n=\varrho$ and $(z_{i-1}^n,z_i^n)\in E(\tilde{G})$.

$$\begin{array}{rcl}{F}_{\varrho ,f\varrho }(t)& \ge & F_{\varrho ,f\varrho }(\alpha t)\\ \ge & \mathrm{\Delta }(F_{\varrho ,f^{n+1}{x}_0}\left(\frac{\alpha t}{2}\right),F_{f^{n+1}{x}_0,f\varrho }\left(\frac{\alpha t}{2}\right))\\ \ge & \mathrm{\Delta }(F_{\varrho ,f^{n+1}{x}_0}\left(\frac{\alpha t}{2}\right),{\mathrm{\Delta }}_{i=1}^{M_n}{F}_{f{z}_{i-1}^n,f{z}_i^n}\left(\frac{\alpha t}{2M_n}\right))\\ \ge & \mathrm{\Delta }(F_{\varrho ,f^{n+1}{x}_0}\left(\frac{\alpha t}{2}\right),{\mathrm{\Delta }}_{i=1}^{M_n}{F}_{z_{i-1}^n,z_i^n}\left(\frac{t}{2M_n}\right))\\ \ge & \mathrm{\Delta }(F_{\varrho ,f^{n+1}{x}_0}\left(\frac{\alpha t}{2}\right),L_{f^n{x}_0,\varrho }\left(\frac{t}{2M}\right)),\end{array}$$

(3.7)

where $M=max\{M_n:n\in \mathbb{N}\}$.

Since G is an $(H_f)$-graph and $(f^n{x}_0,f^{n+1}{x}_0)\in E(G)$ for $n\in \mathbb{N}$ with ${lim}_{n\to \mathrm{\infty }}{f}^n{x}_0=\varrho \in S$, then the sequence of functions $\{L_{f^n{x}_0,\varrho }(t)\}$ converges to ${ϵ}_0(t)$ ($t>0$) uniformly. Let $t>0$ and $\delta >0$ be given. Since the family ${\{{\mathrm{\Delta }}^p(t)\}}_p\in \mathbb{N}$ is equicontinuous at point $t=1$, there exists $\lambda (\delta )\in (0,1)$ such that ${\mathrm{\Delta }}^p(1-\lambda )>1-\delta$ for every $p\in \mathbb{N}$. Choose $n_0\in \mathbb{N}$ such that for all $n\ge n_0$ we have $F_{\varrho ,f^{n+1}{x}_0}(\frac{\alpha t}{2})>1-\lambda$ and $L_{f^n{x}_0,\varrho }(\frac{t}{2M})>1-\lambda$. So that in view of (3.7), for all $n\ge n_0$, we have

$$\begin{array}{rcl}{F}_{\varrho ,f\varrho }(t)& \ge & \mathrm{\Delta }(1-\lambda ,1-\lambda )\\ =& {\mathrm{\Delta }}^1(1-\lambda )>1-\delta .\end{array}$$

(3.8)

Hence, we deduce $f\varrho =\varrho$. Finally, let $y\in S={[x_0]}_{\tilde{G}}$ be arbitrary, then from Lemma 3.4, ${lim}_{n\to \mathrm{\infty }}{f}^{n}y=\varrho$. □

Corollary 3.10 Let $(S,\mathcal{F},\mathrm{\Delta })$ be a complete Menger PM-space under a t-norm Δ of ℋ-type. Assume that S is endowed with a graph G which is either $(C_f)$-graph or $(H_f)$-graph. Then the following statements are equivalent:

• (i) G is weakly connected.

• (ii) For every probabilistic G-contraction f on S, if there exists $x_0\in S$ such that $(x_0,f{x}_0)\in E(G)$, then f is a Picard operator.

Proof (i) ⇒ (ii): It is immediate from Theorem 3.9.

(ii) ⇒ (i): Suppose that G is not weakly connected. Then $\tilde{G}$ is disconnected, i.e., there exists $x^{\ast }\in S$ such that ${[x^{\ast }]}_{\tilde{G}}\ne \mathrm{\varnothing }$ and $S\setminus {[x^{\ast }]}_{\tilde{G}}\ne \mathrm{\varnothing }$. Let $y^{\ast }\in S\setminus {[x^{\ast }]}_{\tilde{G}}$, we construct a self-mapping f by

$$fx=\{\begin{array}{cc}{x}^{\ast }\hfill & \text{if }x\in {[x^{\ast }]}_{\tilde{G}},\hfill \\ y^{\ast }\hfill & \text{if }x\in S\setminus {[x^{\ast }]}_{\tilde{G}}.\hfill \end{array}$$

Let $(x,y)\in E(G)$, then ${[x]}_{\tilde{G}}:={[y]}_{\tilde{G}}$, which implies $fx=fy$. Hence $(fx,fy)\in E(G)$, since G contains all loops. Thus the mapping f preserves edges. Also, for $t>0$ and $\alpha \in (0,1)$, we have $F_{fx,fy}(\alpha t)=1\ge F_{x,y}(t)$; thus (3.1) is trivially satisfied. But $x^{\ast }$ and $y^{\ast }$ are two fixed points of f contradicting the fact that f is a Picard operator. □

Remark 3.11 Taking $G=(S,S\times S)$, Theorem 3.9 improves and extends the result of Sehgal [[12], Theorem 3] to all Menger PM-spaces with t-norms of ℋ-type. Theorem 3.9 generalizes claim 4⁰ of [[8], Theorem 3.2], and thus we have the following consequence.

Corollary 3.12 (Jachymski [[8], Theorem 3.2])

Let $(S,d)$ be a complete metric space endowed with the graph G. Assume that the mapping $f:S\to S$ is a Banach G-contraction and the following property is satisfied:

() For any sequence $\{x_n\}$ in S, if $x_n\to x$ in S and $(x_n,x_{n+1})\in E(G)$ for all $n\ge 1$, then there exists a subsequence $\{x_{n_k}\}$ with $(x_{n_k},x)\in E(G)$ for all $k\ge 1$.

If there exists $x_0\in S$ with $(x_0,f{x}_0)\in E(G)$, then $f{|}_{{[x_0]}_{\tilde{G}}}$ is a Picard operator. Furthermore, if G is weakly connected, then f is a Picard operator.

Proof Let $(S,\mathcal{F},{\mathrm{\Delta }}_M)$ be the Menger PM-space induced by the metric d. Since the mapping f is a Banach G-contraction, then it is a probabilistic G-contraction (see Example 3.2) and property () invokes that G is a $(C_f)$-graph. Hence the conclusion follows from Theorem 3.9(i). □

Example 3.13 Let $(X,\mathcal{F},{\mathrm{\Delta }}_M)$ be a Menger PM-space where $X=[0,\mathrm{\infty })$ and $F_{x,y}(t)=\frac{t}{t+|x-y|}$ for $t>0$. Then $(X,\mathcal{F},{\mathrm{\Delta }}_M)$ is complete. Define a self-mapping f on X by

$$fx=\{\begin{array}{cc}\frac{x^2}{p}\hfill & \text{if }x=\frac{1}{n}\text{ and }p\ge 3\text{ is a fixed integer},\hfill \\ 0\hfill & \text{otherwise}.\hfill \end{array}$$

(3.9)

Further assume that X is endowed with a graph G consisting of $V(G):=X$ and $E(G):=\mathrm{\Omega }\cup \{(\frac{1}{n},\frac{1}{m}):n,m\in \mathbb{N}\text{ and }n|m\}\cup \{(x,0):x\ne \frac{1}{n}\}$. It can be seen that f is a probabilistic G-contraction with $\alpha =\frac{2}{p}$ and satisfies all the conditions of Theorem 3.9(i).

Note that for $x=1$ and $y=\frac{5}{6}$ and for each $\alpha \in (0,1)$, we can easily set $0<t<\frac{1}{6(1-\alpha )}$ such that

$$\frac{\alpha t}{\alpha t+|\frac{1}{3}-0|}<\frac{t}{t+|1-\frac{5}{6}|},$$

or

$$F_{f1,f\frac{5}{6}}(\alpha t)<F_{1,\frac{5}{6}}(t)\text{for }0<t<\frac{1}{6(1-\alpha )}.$$

Hence, one cannot invoke [[12], Theorem 3].

Definition 3.14 Let $(S,\mathcal{F},\mathrm{\Delta })$ be a Menger PM-space under a t-norm Δ of ℋ-type. A mapping $f:S\to S$ is said to be: (i) continuous at point $x\in S$ whenever $x_n\to x$ in S implies $f{x}_n\to fx$ as $n\to \mathrm{\infty }$; (ii) orbitally continuous if for all $x,y\in S$ and any sequence ${\{k_n\}}_{n\in \mathbb{N}}$ of positive integers, $f^{k_n}x\to y$ implies $f(f^{k_n}x)\to fy$ as $n\to \mathrm{\infty }$; (iii) orbitally G-continuous if for all $x,y\in S$ and any sequence ${\{k_n\}}_{n\in \mathbb{N}}$ of positive integers, $f^{k_n}x\to y$ and $(f^{k_n}x,f^{k_n+1}x)\in E(G)$ $\mathrm{\forall }n\in \mathbb{N}$ imply $f(f^{k_n}x)\to fy$ (see [8]).

Theorem 3.15 Let $(S,\mathcal{F},\mathrm{\Delta })$ be a complete Menger PM-space under a t-norm Δ of ℋ-type. Assume that the mapping $f:S\to S$ is a probabilistic G-contraction such that f is orbitally G-continuous, and let there exist $x_0\in S$ such that $(x_0,f{x}_0)\in E(G)$. Then f has a unique fixed point $\varrho \in S$ and for every $y\in {[x_0]}_{\tilde{G}}$, $f^{n}y\to \varrho$. Moreover, if G is weakly connected, then f is a Picard operator.

Proof Let $(x_0,f{x}_0)\in E(G)$, by induction $(f^n{x}_0,f^{n+1}{x}_0)\in E(G)$ for all $n\in \mathbb{N}$. By using Lemma 3.8, it follows that $f^n{x}_0\to \varrho \in S$. Since f is orbitally G-continuous, then $f(f^n{x}_0)\to f\varrho$. This gives $\varrho =f\varrho$. From Lemma 3.4 for any $y\in {[x_0]}_{\tilde{G}}$, $f^{n}y\to \varrho$. □

Remark 3.16 We note that in Theorem 3.15 the assumption that f is orbitally G-continuous can be replaced by orbital continuity or continuity of f.

Remark 3.17 Theorem 3.15 generalizes and extends claims 2⁰ and 3⁰ [[8], Theorem 3.3] and claim 3⁰ [[8], Theorem 3.4].

As a consequence of Theorems 3.9 and 3.15, we obtain the following corollary, which is actually a probabilistic version of Theorem 1.1 and thus generalizes and extends the results of Nieto and Rodríguez-López [[4], Theorems 2.1 and 2.3], Petruşel and Rus [[3], Theorem 4.3] and Ran and Reurings [[2], Theorem 2.1].

Corollary 3.18 Let $(S,⪯)$ be a partially ordered set, and let $(S,\mathcal{F},\mathrm{\Delta })$ be a complete Menger PM-space under a t-norm Δ of ℋ-type. Assume that the mapping $f:S\to S$ is nondecreasing (nonincreasing) with respect to the order ‘⪯’ on S and there exists $\alpha \in (0,1)$ such that

$$F_{fx,fy}(\alpha t)\ge F_{x,y}(t)\mathit{\text{for all }}x,y\in S,x⪯y(t>0).$$

(3.10)

Also suppose that either

• (i) f is continuous, or

• (ii) for every nondecreasing sequence $\{x_n\}$ in S such that $x_n\to x$ in S, we have $x_n⪯x$ for all $n\ge 1$.

If there exists $x_0\in S$ with $x_0⪯f{x}_0$, then f has a fixed point. Furthermore, if $(S,⪯)$ is such that every pair of elements of S has an upper or lower bound, then f is a Picard operator .

Proof Consider a graph $G_1$ consisting of $V(G_1)=S$ and $E(G_1)=\{(x,y)\in S\times S:x⪯y\}$. If f is nondecreasing, then it preserves edges w.r.t. graph $G_1$ and condition (3.10) becomes equivalent to (3.1). Thus f is a probabilistic $G_1$-contraction. In case f is nonincreasing, consider $G_2$ with $E(G_2)=\{(x,y)\in S\times S:x⪯y\text{ or }x⪰y\}$ and a vertex set coincides with S. Actually, $G_2:=\widetilde{G_1}$ and from Proposition 3.3 if f is a probabilistic $G_1$-contraction, then it is a probabilistic $G_2$ contraction. Now if f is continuous, then the conclusion follows from Theorem 3.15. On the other hand, if (ii) holds, then $G_1$ and $G_2$ are $(C_f)$-graphs and conclusions follow from the first part of Theorem 3.9. □

By relaxing ℋ-type condition on a t-norm, our next result deals with a compact Menger PM-space using the following class of graphs as the fixed point property is closely related to the connectivity of a graph.

Definition 3.19 Let $(S,\mathcal{F})$ be a PM-space endowed with a graph G and $f:S\to S$. Assume the sequence $\{f^{n}x\}$ in S with $(f^{n}x,f^{n+1}x)\in E(G)$ for $n\in \mathbb{N}$ and $F_{f^{n}x,f^{n+1}x}(t)\to 1$ ($t>0$), we say that the graph G is $(E_f)$-graph if for any subsequence $f^{n_k}x\to z\in S$, there exists a natural number N such that $(f^{n_k}x,z)\in E(G)$ for all $k\ge N$.

Theorem 3.20 Let $(S,\mathcal{F},\mathrm{\Delta })$ be a compact Menger PM-space under a t-norm Δ satisfying ${sup}_{a<1}\mathrm{\Delta }(a,a)=1$. Assume that the mapping $f:S\to S$ is a probabilistic G-contraction, and let there exist $x_0\in S$ such that $(x_0,f{x}_0)\in E(G)$. If G is an $(E_f)$-graph, then f has a unique fixed point $\varrho \in {[x_0]}_{\tilde{G}}$.

Proof Since $(x_0,f{x}_0)\in E(G)$, then $(f^n{x}_0,f^{n+1}{x}_0)\in E(G)$ for $n\in \mathbb{N}$ and

$$\begin{array}{rcl}{F}_{f^n{x}_0,f^{n+1}{x}_0}(t)& \ge & F_{f^{n-1}{x}_0,f^n{x}_0}\left(\frac{t}{\alpha }\right)\\ \cdots \\ \ge & F_{x_0,f{x}_0}\left(\frac{t}{{\alpha }^n}\right)\to 1\text{as }n\to \mathrm{\infty }(t>0).\end{array}$$

From compactness, let $\{f^{n_k}{x}_0\}$ be a subsequence such that $f^{n_k}{x}_0\to \varrho \in S$. Let $t>0$ and $\delta >0$ be given. Since ${sup}_{a<1}\mathrm{\Delta }(a,a)=1$, then there exists $\lambda (\delta )\in (0,1)$ such that $\mathrm{\Delta }(1-\lambda ,1-\lambda )>1-\delta$ choose $n^{\prime }\in \mathbb{N}$ such that for all $k\ge n^{\prime }$ we have $F_{f^{n_k}{x}_0,\varrho }(\frac{t}{2})>1-\lambda$ and $F_{f^{n_k}{x}_0,f^{n_k+1}{x}_0}(\frac{t}{2})>1-\lambda$. Then we obtain

$$\begin{array}{rcl}{F}_{f^{n_k+1}{x}_0,\varrho }(t)& \ge & \mathrm{\Delta }(F_{f^{n_k+1}{x}_0,f^{n_k}{x}_0}\left(\frac{t}{2}\right),F_{f^{n_k}{x}_0,\varrho }\left(\frac{t}{2}\right))\\ \ge & \mathrm{\Delta }(1-\lambda ,1-\lambda )>1-\delta .\end{array}$$

Thus, $f^{n_k+1}{x}_0\to \varrho$.

Choose $n_1\in \mathbb{N}$ such that for all $k\ge n_1$ we have $F_{f^{n_k+1}{x}_0,\varrho }(\frac{t}{2})>1-\lambda$ and $F_{f^{n_k}{x}_0,\varrho }(\frac{t}{2\alpha })>1-\lambda$. Since G is an $(E_f)$-graph, there exists $n_2\in \mathbb{N}$ such that $(f^{n_k}{x}_0,\varrho )\in E(G)$ for all $k\ge n_2$. Let $n_0=max\{n_1,n_2\}$, then for $k\ge n_0$ we get

$$\begin{array}{rcl}{F}_{f\varrho ,\varrho }(t)& \ge & \mathrm{\Delta }(F_{f^{n_k+1}{x}_0,f\varrho }\left(\frac{t}{2}\right),F_{f^{n_k+1}{x}_0,\varrho }\left(\frac{t}{2}\right))\\ \ge & \mathrm{\Delta }(F_{f^{n_k}{x}_0,\varrho }\left(\frac{t}{2\alpha }\right),F_{f^{n_k+1}{x}_0,\varrho }\left(\frac{t}{2}\right))\\ \ge & \mathrm{\Delta }(1-\lambda ,1-\lambda )>1-\delta .\end{array}$$

Hence, $f\varrho =\varrho$. Note that $\{x_0,f{x}_0,\dots ,f^{n_1}{x}_0,\dots ,f^{n_N}{x}_0,\varrho \}$ is a path in $\tilde{G}$, so that $\varrho \in {[x_0]}_{\tilde{G}}$. □

So far it remains to investigate whether Theorem 3.20 can be extended to a complete PM-space?

Definition 3.21 [12]

Let $(S,\mathcal{F})$ be a PM-space, and let $\epsilon >0$ and $0<\delta <1$ be fixed real numbers. A mapping $f:S\to S$ is said to be $(\epsilon ,\delta )$-contraction if there exists a constant $\alpha \in (0,1)$ such that for $x\in S$ and $y\in {\mathcal{N}}_x(\epsilon ,\delta )$ we have

$$F_{fx,fy}(\alpha t)\ge F_{x,y}(t)\text{for all }t>0.$$

(3.11)

The PM space $(S,\mathcal{F})$ is said to be $(\epsilon ,\delta )$-chainable if for each $x,y\in S$ there exists a finite sequence ${(x_n)}_{n=0}^N$ of elements in S with $x_0=x$ and $x_N=y$ such that $x_{i+1}\in {\mathcal{N}}_{x_i}(\epsilon ,\delta )$ for $i=0,1,\dots ,N-1$.

It is important to note that every $(\epsilon ,\delta )$-contraction mapping is continuous. Let $x_n\to x$ in S, then there exists a natural number $N(\epsilon ,\delta )$ such that $x_n\in {\mathcal{N}}_x(\epsilon ,\delta )$ for all $n\ge N$. Thus, for $t>0$ and for all $n\ge N$, we obtain

$$\begin{array}{rcl}{F}_{f{x}_n,fx}(t)& \ge & F_{f{x}_n,fx}(\alpha t)\\ \ge & F_{x_n,x}(t)\to 1\text{as }n\to \mathrm{\infty }.\end{array}$$

Hence, $f{x}_n\to fx$.

Theorem 3.22 Let $(S,\mathcal{F},\mathrm{\Delta })$ be a complete $(\epsilon ,\delta )$-chainable Menger PM-space under a t-norm Δ of ℋ-type. Let the mapping $f:S\to S$ be an $(\epsilon ,\delta )$-contraction. Then f is a Picard operator.

Proof Consider the graph G consisting of $E(G)=\{(x,y)\in S\times S:F_{x,y}(\epsilon )>1-\delta \}$ and $V(G)$ coinciding with S. Let $x,y\in S$. Since the PM-space $(S,\mathcal{F})$ is $(\epsilon ,\delta )$-chainable, there exists a finite sequence ${(x_i)}_{i=0}^N$ in S with $x_0=x$ and $x_N=y$ such that $F_{x_i,x_{i+1}}(\epsilon )>1-\delta$ for $i=0,1,\dots N-1$. Hence, $(x_i,x_{i+1})\in E(G)$ for $i=0,1,\dots ,N-1$, which yields that G is connected. Let $(x,y)\in E(G)$, then $y\in {\mathcal{N}}_x(\epsilon ,\delta )$. Since the mapping f is an $(\epsilon ,\delta )$-contraction, thus (3.1) is satisfied. Finally we have

$$\begin{array}{rcl}{F}_{fx,fy}(\epsilon )& \ge & F_{fx,fy}(\alpha \epsilon )\\ \ge & F_{x,y}(\epsilon )>1-\delta .\end{array}$$

Thus, $(fx,fy)\in E(G)$. Hence, f is a probabilistic G-contraction and the conclusion follows from Theorem 3.15. □

Remark 3.23 Theorem 3.22 has an advantage over Theorem 7 of Sehgal and Bharucha-Reid [12] which is only restricted to continuous t-norms satisfying $\mathrm{\Delta }(t,t)\ge t$. Moreover, the proof of our result is rather simple and easy, which invokes the novelty of Theorem 3.22.

Definition 3.24 (Edelstein [19, 20])

The metric space $(S,d)$ is ε-chainbale for some $\epsilon >0$ if for every $x,y\in S$, there exists a finite sequence ${(x_i)}_{n=0}^N$ of elements in S with $x_0=x$, $x_N=y$ and $d(x_i,x_{i+1})<\epsilon$ for $i=0,1,\dots ,N-1$.

Remark 3.25 [12]

If $(S,d)$ is an ε-chainable metric space, then the induced Menger PM-space $(S,\mathcal{F},{\mathrm{\Delta }}_M)$ is an $(\epsilon ,\delta )$-chainable space.

Corollary 3.26 (Edelstein [19, 20])

Let $(S,d)$ be a complete ε-chainable metric space. Let $f:S\to S$ and let there exist $\alpha \in (0,1)$ such that

$${\mathrm{\forall }}_{x,y\in S}\{d(x,y)<\epsilon \Rightarrow d(fx,fy)\le \alpha d(x,y)\}.$$

(3.12)

Then f is a Picard operator.

Proof Since the metric space $(S,d)$ is ε-chainable, then the induced Menger PM-space $(S,\mathcal{F},\mathrm{\Delta })$ is $(\epsilon ,\delta )$-chainable for each $0<\delta <1$. We only need to show that the self-mapping f on S is an $(\epsilon ,\delta )$-contraction. Let $x,y\in S$ be such that $y\in {\mathcal{N}}_x(\epsilon ,\delta )$, i.e., $F_{x,y}(\epsilon )>1-\delta$ or ${ϵ}_0(\epsilon -d(x,y))>1-\delta$. The definition of ${ϵ}_0$ implies $d(x,y)<\epsilon$ and thus $d(fx,fy)\le \alpha d(x,y)$. Now, for $t>0$, we get

$$\begin{array}{rcl}{F}_{fx,fy}(\alpha t)& =& {ϵ}_0(\alpha t-d(fx,fy))\\ \ge & {ϵ}_0(t-d(x,y))\\ =& F_{x,y}(t).\end{array}$$

Hence the conclusion follows from Theorem 3.22. □

Kirk et al. [21] introduced the idea of cyclic contractions and established fixed point results for such mappings.

Let S be a nonempty set, let m be a positive integer, let ${\{A_i\}}_{i=1}^m$ be nonempty closed subsets of S, and let $f:{\bigcup }_{i=1}^m{A}_i\to {\bigcup }_{i=1}^m{A}_i$ be an operator. Then $S:={\bigcup }_{i=1}^m{A}_i$ is known as a cyclic representation of S w.r.t. f if

$$f(A_1)\subset A_2,\dots ,f(A_{m-1})\subset A_m,f(A_m)\subset A_1$$

(3.13)

and the operator f is known as a cyclic operator [21].

In the following, we present the probabilistic version of the main result of [21], as a last consequence of Theorem 3.9.

Theorem 3.27 Let $(S,\mathcal{F},\mathrm{\Delta })$ be a complete Menger PM-space under a t-norm Δ of ℋ-type. Let m be a positive integer, let ${\{A_i\}}_{i=1}^m$ be nonempty closed subsets of S, $Y:={\bigcup }_{i=1}^m{A}_i$ and $f:Y\to Y$. Assume that

• (i) ${\bigcup }_{i=1}^m{A}_i$ is a cyclic representation of Y w.r.t. f;

• (ii) $\mathrm{\exists }\alpha \in (0,1)$ such that $d(fx,fy)\le \alpha d(x,y)$ whenever $x\in A_i$, $y\in A_{i+1}$, where $A_{m+1}=A_1$.

Then f has a unique fixed point $\varrho \in {\bigcap }_{i=1}^m{A}_i$ and $f^{n}y\to \varrho$ for any $y\in {\bigcup }_{i=1}^m{A}_i$.

Proof Since ${\bigcup }_{i=1}^m{A}_i$ is closed, then $(Y,\mathcal{F},\mathrm{\Delta })$ is complete. Let us consider a graph G consisting of $V(G):=Y$ and $E(G):=\mathrm{\Omega }\cup \{(x,y)\in Y\times Y:x\in A_i,y\in A_{i+1};i=1,\dots ,m\}$. By (i) it follows that f preserves edges. Now, let $f^{n}x\to x^{\ast }$ in Y such that $(f^{n}x,f^{n+1}x)\in E(G)$ for all $n\in \mathbb{N}$. Then by (3.13) it is inferred that the sequence $\{f^{n}x\}$ has infinitely many terms in each $A_i$; $i\in \{1,2,\dots ,m\}$. So that one can easily identify a subsequence of $\{f^{n}x\}$ converging to $x^{\ast }$ in each $A_i$; and since $A_i$’s are closed, then $x^{\ast }\in {\bigcap }_{i=1}^m{A}_i$. Thus, we can easily form a subsequence $\{f^{n_k}x\}$ in some $A_j$, $j\in \{1,\dots ,m\}$ such that $(f^{n_k}x,x^{\ast })\in E(G)$ for $k\ge 1$. It elicits that G is a weakly connected $(C_f)$-graph. Hence, by Theorem 3.9 conclusion follows. □