# Common property (E.A) and existence of fixed points in Menger spaces

- Sunny Chauhan
^{1}Email author, - Sumitra Dalal
^{2}, - Wutiphol Sintunavarat
^{3}and - Jelena Vujaković
^{4}

**2014**:56

https://doi.org/10.1186/1029-242X-2014-56

© Chauhan et al.; licensee Springer. 2014

**Received: **30 October 2013

**Accepted: **6 January 2014

**Published: **4 February 2014

## Abstract

The aim of this paper is to prove some common fixed-point theorems for weakly compatible mappings in Menger spaces satisfying common property (E.A). Some examples are also given which demonstrate the validity of our results. As an application of our main result, we present a common fixed-point theorem for four finite families of self-mappings in Menger spaces. Our result is an improved probabilistic version of the result of Sedghi *et al.* [Gen. Math. 18:3-12, 2010].

**MSC:**54H25, 47H10, 54E70.

## Keywords

## 1 Introduction

In 1922, Banach proved the principal contraction result [1]. As we know, there have been published many works about fixed-point theory for different kinds of contractions on some spaces such as quasi-metric spaces [2], cone metric spaces [3], convex metric spaces [4], partially ordered metric spaces [5–9], *G*-metric spaces [10–14], partial metric spaces [15, 16], quasi-partial metric spaces [17], fuzzy metric spaces [18], and Menger spaces [19]. Also, studies either on approximate fixed point or on qualitative aspects of numerical procedures for approximating fixed points are available in the literature; see [4, 20, 21].

Jungck and Rhoades [22] weakened the notion of compatibility by introducing the notion of weakly compatible mappings (extended by Singh and Jain [23] to probabilistic metric space) and proved common fixed-point theorems without assuming continuity of the involved mappings in metric spaces. In 2002, Aamri and Moutawakil [24] introduced the notion of property (E.A) (extended by Kubiaczyk and Sharma [25] to probabilistic metric space) for self-mappings which contained the class of noncompatible mappings due to Pant [26]. Further, Liu *et al.* [27] defined the notion of common property (E.A) (extended by Ali *et al.* [28] to probabilistic metric space) which contains the property (E.A) and proved several fixed-point theorems under hybrid contractive conditions. Since then, there has been continuous and intense research activity in fixed-point theory and by now there exists an extensive literature (*e.g.* [29–33] and the references therein).

Many mathematicians proved several common fixed-point theorems for contraction mappings in Menger spaces by using different notions *viz.* compatible mappings, weakly compatible mappings, property (E.A), common property (E.A) (see [28, 34–51]).

In the present paper, we prove some common fixed-point theorems for weakly compatible mappings in Menger space using the common property (E.A). Some examples are also derived which demonstrate the validity of our results. As an application of our main result, we extend the related results to four finite families of self-mappings in Menger spaces.

## 2 Preliminaries

In the sequel, ℝ, ${\mathbb{R}}^{+}$, and ℕ denote the set of real numbers, the set of nonnegative real numbers, and the set of positive integers, respectively.

**Definition 2.1** [52]

- (1)
$a\ast 1=a$,

- (2)
$a\ast b=b\ast a$,

- (3)
$a\ast b\le c\ast d$ whenever $a\le c$ and $b\le d$,

- (4)
$a\ast (b\ast c)=(a\ast b)\ast c$.

Examples of t-norms are $a\ast b=min\{a,b\}$, $a\ast b=ab$, and $a\ast b=max\{a+b-1,0\}$.

**Definition 2.2** [52]

*H*will always denotes the specific distribution function defined by

If *X* is a nonempty set, $\mathcal{F}:X\times X\to \mathrm{\Im}$ is called a probabilistic distance on *X* and $F(x,y)$ is usually denoted by ${F}_{x,y}$.

**Definition 2.3** [52]

*X*is a nonempty set and ℱ is a probabilistic distance satisfying the following conditions:

- (1)
${F}_{x,y}(t)=1$ for all $t>0$ if and only if $x=y$,

- (2)
${F}_{x,y}(0)=0$ for all $x,y\in X$,

- (3)
${F}_{x,y}(t)={F}_{y,x}(t)$ for all $x,y\in X$ and for all $t>0$,

- (4)
${F}_{x,z}(t)=1$, ${F}_{z,y}(s)=1\Rightarrow {F}_{x,y}(t+s)=1$ for $x,y,z\in X$ and $t,s>0$.

Every metric space $(X,d)$ can always be realized as a probabilistic metric space defined by ${F}_{x,y}(t)=H(t-d(x,y))$ for all $x,y\in X$ and $t>0$. So probabilistic metric spaces offer a wider framework (than that of the metric spaces) and are general enough to cover even wider statistical situations.

**Definition 2.4** [19]

for all $x,y,z\in X$ and $t,s>0$.

Throughout this paper, $(X,\mathcal{F},\ast )$ is considered to be a Menger space with condition ${lim}_{t\to \mathrm{\infty}}{\mathcal{F}}_{x,y}(t)=1$ for all $x,y\in X$. Every fuzzy metric space $(X,M,\ast )$ may be a Menger space by considering $\mathcal{F}:X\times X\to \mathrm{\Im}$ defined by ${F}_{x,y}(t)=M(x,y,t)$ for all $x,y\in X$.

**Definition 2.5** [52]

- (1)
a sequence $\{{x}_{n}\}$ in

*X*is said to converge to a point*x*in*X*if and only if for every $\u03f5>0$ and $\lambda \in (0,1)$, there exists an integer $N\in \mathbb{N}$ such that ${F}_{{x}_{n},x}(\u03f5)>1-\lambda $ for all $n\ge N$; - (2)
a sequence $\{{x}_{n}\}$ in

*X*is said to be Cauchy if for every $\u03f5>0$ and $\lambda \in (0,1)$, there exists an integer $N\in \mathbb{N}$ such that ${F}_{{x}_{n},{x}_{m}}(\u03f5)>1-\lambda $ for all $n,m\ge N$.

A Menger space in which every Cauchy sequence is convergent is said to be complete.

**Definition 2.6** [53]

A pair $(A,S)$ of self-mappings of a Menger space $(X,\mathcal{F},\ast )$ is said to be compatible if ${lim}_{n\to \mathrm{\infty}}{F}_{AS{x}_{n},SA{x}_{n}}(t)=1$ for all $t>0$, whenever $\{{x}_{n}\}$ is a sequence in *X* such that ${lim}_{n\to \mathrm{\infty}}A{x}_{n}={lim}_{n\to \mathrm{\infty}}S{x}_{n}=z$ for some $z\in X$.

**Definition 2.7** [28]

A pair $(A,S)$ of self-mappings of a Menger space $(X,\mathcal{F},\ast )$ is said to be noncompatible if there exists at least one sequence $\{{x}_{n}\}$ in *X* such that ${lim}_{n\to \mathrm{\infty}}A{x}_{n}=z={lim}_{n\to \mathrm{\infty}}S{x}_{n}$ for some $z\in X$, but, for some $t>0$, either ${lim}_{n\to \mathrm{\infty}}{F}_{AS{x}_{n},SA{x}_{n}}(t)\ne 1$ or the limit does not exist.

**Definition 2.8** [25]

*X*such that

for some $z\in X$.

**Remark 2.1** From Definition 2.8, it is easy to see that any two noncompatible self-mappings of $(X,\mathcal{F},\ast )$ satisfy property (E.A) but the reverse need not be true (see [[40], Example 1]).

**Definition 2.9** [34]

*X*such that

for some $z\in X$.

**Definition 2.10** [22]

A pair $(A,S)$ of self-mappings of a nonempty set *X* is said to be weakly compatible (or coincidentally commuting) if they commute at their coincidence points, *i.e.* if $Az=Sz$ for some $z\in X$, then $ASz=SAz$.

**Remark 2.2** If self-mappings *A* and *S* of a Menger space $(X,\mathcal{F},\ast )$ are compatible then they are weakly compatible but the reverse need not be true (see [[23], Example 1]).

**Remark 2.3** It is noticed that the notion of weak compatibility and the (E.A) property are independent to each other (see [[54], Example 2.2]).

**Definition 2.11** [41]

- (1)
${A}_{i}{A}_{j}={A}_{j}{A}_{i}$, $i,j\in \{1,2,\dots ,m\}$,

- (2)
${S}_{k}{S}_{l}={S}_{l}{S}_{k}$, $k,l\in \{1,2,\dots ,n\}$,

- (3)
${A}_{i}{S}_{k}={S}_{k}{A}_{i}$, $i\in \{1,2,\dots ,m\}$, $k\in \{1,2,\dots ,n\}$.

## 3 Main results

Let Φ is a set of all increasing and continuous functions $\varphi :(0,1]\to (0,1]$, such that $\varphi (t)>t$ for every $t\in (0,1)$.

**Example 3.1** Let $\varphi :(0,1]\to (0,1]$ defined by $\varphi (t)={t}^{\frac{1}{2}}$. It is easy to see that $\varphi \in \mathrm{\Phi}$.

Before proving our main theorems, we begin with the following lemma.

**Lemma 3.1**

*Let*

*A*,

*B*,

*S*

*and*

*T*

*be self*-

*mappings of a Menger space*$(X,\mathcal{F},\ast )$,

*where*∗

*is a continuous t*-

*norm*.

*Suppose that*

- (1)
$A(X)\subset T(X)$

*or*$B(X)\subset S(X)$, - (2)
*the pair*$(A,S)$*or*$(B,T)$*satisfies property*(*E*.*A*), - (3)
$B({y}_{n})$

*converges for every sequence*$\{{y}_{n}\}$*in**X**whenever*$T({y}_{n})$*converges or*$A({x}_{n})$*converges for every sequence*$\{{x}_{n}\}$*in**X**whenever*$S({x}_{n})$*converges*, - (4)
*there exist*$\varphi \in \mathrm{\Phi}$*and*$1\le k<2$*such that*${F}_{Ax,By}(t)\ge \varphi (min\left\{\begin{array}{c}{F}_{Sx,Ty}(t),\\ {sup}_{{t}_{1}+{t}_{2}=\frac{2}{k}t}min\{{F}_{Sx,Ax}({t}_{1}),{F}_{Ty,By}({t}_{2})\},\\ {sup}_{{t}_{3}+{t}_{4}=\frac{2}{k}t}max\{{F}_{Sx,By}({t}_{3}),{F}_{Ty,Ax}({t}_{4})\}\end{array}\right\})$(3.1)

*holds for all* $x,y\in X$, $t>0$. *Then the pairs* $(A,S)$ *and* $(B,T)$ *share the common property* (*E*.*A*).

*Proof*Suppose the pair $(A,S)$ satisfies property (E.A), then there exists a sequence $\{{x}_{n}\}$ in

*X*such that

which contradicts (3.4). Therefore, $z=l$. Hence the pairs $(A,S)$ and $(B,T)$ share the common property (E.A). □

**Remark 3.1** In general, the converse of Lemma 3.1 is not true (see [[28], Example 3.1]).

Now we prove a common fixed-point theorem for two pairs of mappings in Menger space which is an extension of the main result of Sedghi *et al.* [55] in a version of Menger space.

**Theorem 3.1**

*Let*

*A*,

*B*,

*S*

*and*

*T*

*be self*-

*mappings of a Menger space*$(X,\mathcal{F},\ast )$,

*where*∗

*is a continuous t*-

*norm satisfying inequality*(3.1)

*of Lemma*3.1.

*Suppose that*

- (1)
*the pairs*$(A,S)$*and*$(B,T)$*share the common property*(*E*.*A*), - (2)
$S(X)$

*and*$T(X)$*are closed subsets of**X*.

*Then the pairs* $(A,S)$ *and* $(B,T)$ *have a coincidence point each*. *Moreover*, *A*, *B*, *S*, *and* *T* *have a unique common fixed point provided both pairs* $(A,S)$ *and* $(B,T)$ *are weakly compatible*.

*Proof*Since the pairs $(A,S)$ and $(B,T)$ share the common property (E.A), there exist two sequences $\{{x}_{n}\}$ and $\{{y}_{n}\}$ in

*X*such that

*X*, hence ${lim}_{n\to \mathrm{\infty}}S{x}_{n}=z\in S(X)$. Therefore, there exists a point $u\in X$ such that $Su=z$. Now we assert that $Au=Su$. Suppose that $Au\ne Su$, then there exists ${t}_{0}>0$ such that

which contradicts (3.6). Therefore $Au=Su=z$ and hence *u* is a coincidence point of $(A,S)$.

*X*. Therefore there exists a point $v\in X$ such that $Tv=z$. Now we assert that $Bv=Tv=z$. Let, on the contrary, $Bv\ne Tv$. As earlier, there exists ${t}_{0}>0$ such that

which contradicts (3.7). Therefore $Bv=Tv=z$, which shows that *v* is a coincidence point of the pair $(B,T)$.

*z*is a common fixed point of $(A,S)$. If $z\ne Az$, then on using (3.1) with $x=z$, $y=v$, we get, for some ${t}_{0}>0$,

*i.e.*

*z*is a common fixed point of $(A,S)$. Also the pair $(B,T)$ is weakly compatible, therefore $Bz=BTv=TBv=Tz$. Now we show that

*z*is also a common fixed point of $(B,T)$. If $z\ne Bz$, then on using (3.1) with $x=u$, $y=z$, we get, for some ${t}_{0}>0$,

which is a contradiction. Therefore $Bz=z=Tz$, which shows that *z* is a common fixed point of the pair $(B,T)$. Therefore *z* is a common fixed point of both pairs $(A,S)$ and $(B,T)$. The uniqueness of common fixed point is an easy consequence of inequality (3.1). □

**Remark 3.2** Theorem 3.1 is an improved probabilistic version of the result of Sedghi *et al.* [[55], Theorem 1] for two pairs of self-mappings without any requirement on containment of ranges amongst the involved mappings.

The following example illustrates Theorem 3.1.

**Example 3.2**Let $(X,\mathcal{F},\ast )$ be a Menger space, where $X=[2,19]$, with continuous t-norm ∗ is defined by $a\ast b=ab$ for all $a,b\in [0,1]$ and

*ϕ*is defined as in Example 3.1. Define the self-mappings

*A*,

*B*,

*S*, and

*T*by

Therefore, both pairs $(A,S)$ and $(B,T)$ satisfy the common property (E.A).

It is noted that $A(X)=\{2,3\}\u2288[2,2.4]\cup \{13,14\}=T(X)$ and $B(X)=\{2,2.5\}\u2288[2,2.4]\cup \{10\}=S(X)$. On the other hand, $S(X)$ and $T(X)$ are closed subsets of *X*. Thus, all the conditions of Theorem 3.1 are satisfied and 2 is a unique common fixed point of the pairs $(A,S)$ and $(B,T)$, which also remains a point of coincidence as well. Also, all the involved mappings are even discontinuous at their unique common fixed point 2.

**Remark 3.3** In fact, the mapping ℱ in Example 3.2 is also a fuzzy metric. However, the result of Sedghi *et al.* [[55], Theorem 1] cannot be used for this case since $A(X)\u2288T(X)$ and $B(X)\u2288S(X)$.

**Theorem 3.2** *The conclusion of Theorem * 3.1 *remains true if the condition* (2) *of Theorem * 3.1 *is replaced by the following*:

(2)′ $\overline{A(X)}\subset T(X)$ *and* $\overline{B(X)}\subset S(X)$, *where* $\overline{A(X)}$ *is the closure range of* *A* *and* $\overline{B(X)}$ *is the closure range of* *B*.

*Proof*Since the pairs $(A,S)$ and $(B,T)$ satisfy the common property (E.A), there exist two sequences $\{{x}_{n}\}$ and $\{{y}_{n}\}$ in

*X*such that

for some $z\in X$. Then since $z\in \overline{A(X)}$ and $\overline{A(X)}\subset T(X)$ there exists a point $v\in X$ such that $z=Tv$. By the proof of Theorem 3.1, we can show that the pair $(B,T)$ has a coincidence point, call it *v*, *i.e.* $Bv=Tv$. Since $z\in \overline{B(X)}$ and $\overline{B(X)}\subset S(X)$ there exists a point $u\in X$ such that $z=Su$. Similarly we can also prove that the pair $(A,S)$ has a coincidence point, call it *u*, *i.e.* $Au=Su$. The rest of the proof is on the lines of the proof of Theorem 3.1, hence it is omitted. □

**Corollary 3.1** *The conclusions of Theorems* 3.1-3.2 *remain true if condition* (2) *of Theorem * 3.1 *and condition* (2)′ *of Theorem * 3.2 *are replaced by the following*:

(2)″ $A(X)$ *and* $B(X)$ *are closed subsets of* *X* *provided* $A(X)\subset T(X)$ *and* $B(X)\subset S(X)$.

**Theorem 3.3**

*Let*$(X,\mathcal{F},\ast )$

*be a Menger space*,

*where*∗

*is a continuous t*-

*norm*.

*Let*

*A*,

*B*,

*S*

*and*

*T*

*be mappings from*

*X*

*into itself and satisfying the conditions*(1)-(4)

*of Lemma*3.1.

*Suppose that*

- (5)
$S(X)$ (

*or*$T(X)$)*is a closed subset of**X*.

*Then the pairs* $(A,S)$ *and* $(B,T)$ *have a coincidence point each*. *Moreover*, *A*, *B*, *S* *and* *T* *have a unique common fixed point provided both pairs* $(A,S)$ *and* $(B,T)$ *are weakly compatible*.

*Proof*In view of Lemma 3.1, the pairs $(A,S)$ and $(B,T)$ share the common property (E.A),

*i.e.*there exist two sequences $\{{x}_{n}\}$ and $\{{y}_{n}\}$ in

*X*such that

for some $z\in X$.

If $S(X)$ is a closed subset of *X*, then on the lines of Theorem 3.1, we can show that the pair $(A,S)$ has coincidence point, say *u*, *i.e.* $Au=Su=z$. Since $A(X)\subset T(X)$ and $Au\in A(X)$, there exists $v\in X$ such that $Au=Tv$. The rest of the proof runs along the lines of the proof of Theorem 3.1, therefore details are omitted. □

**Remark 3.4** Theorem 3.3 is also a partial improvement of Theorem 3.1 besides relaxing the closedness of one of the subspaces.

**Example 3.3**In setting of Example 3.2, replace the self-mappings

*A*,

*B*,

*S*and

*T*by

It is noted that $A(X)=\{2,3\}\subset [2,10]\cup (13,14]=T(X)$ and $B(X)=\{2,4\}\subset [2,10]\cup \{14\}=S(X)$. Also the pairs $(A,S)$ and $(B,T)$ commute at 2 which is their common coincidence point. Thus all the conditions of Theorems 3.2-3.3 and Corollary 3.1 are satisfied and 2 is a unique common fixed point of *A*, *B*, *S* and *T*. Here, it may be pointed out that Theorem 3.1 is not applicable to this example as $S(X)$ is not a closed subset of *X*. Also, notice that some mappings in this example are even discontinuous at their unique common fixed point 2.

By choosing *A*, *B*, *S*, and *T* suitably, we can drive a multitude of common fixed-point theorems for a pair or triod of self-mappings. If we take $A=B$ and $S=T$ in Theorem 3.1 then we get the following natural result which is an improved probabilistic version of the result of Sedghi *et al.* [[55], Theorem 1].

**Corollary 3.2**

*Let*$(X,\mathcal{F},\ast )$

*be a Menger space*,

*where*∗

*is a continuous t*-

*norm*.

*Let*

*A*

*and*

*S*

*be mappings from*

*X*

*into itself and satisfying the following conditions*:

- (1)
*The pair*$(A,S)$*shares property*(*E*.*A*), - (2)
$S(X)$

*is a closed subset of**X*, - (3)
*there exist*$\varphi \in \mathrm{\Phi}$*and*$1\le k<2$*such that*${F}_{Ax,Ay}(t)\ge \varphi (min\left\{\begin{array}{c}{F}_{Sx,Sy}(t),\\ {sup}_{{t}_{1}+{t}_{2}=\frac{2}{k}t}min\{{F}_{Sx,Ax}({t}_{1}),{F}_{Sy,Ay}({t}_{2})\},\\ {sup}_{{t}_{3}+{t}_{4}=\frac{2}{k}t}max\{{F}_{Sx,Ay}({t}_{3}),{F}_{Sy,Ax}({t}_{4})\}\end{array}\right\})$(3.8)

*holds for all* $x,y\in X$ *and* $t>0$. *Then the pair* $(A,S)$ *has a coincidence point*. *Moreover*, *A* *and* *S* *have a unique common fixed point provided the pair* $(A,S)$ *is weakly compatible*.

Our next theorem is proved for six self-mappings in Menger space, which extends earlier proved Theorem 3.1.

**Theorem 3.4**

*Let*$(X,\mathcal{F},\ast )$

*be a Menger space*,

*where*∗

*is a continuous t*-

*norm*.

*Let*

*A*,

*B*,

*R*,

*S*,

*H*

*and*

*T*

*be mappings from*

*X*

*into itself and satisfying the following conditions*:

- (1)
*The pairs*$(A,SR)$*and*$(B,TH)$*share the common property*(*E*.*A*), - (2)
$SR(X)$

*and*$TH(X)$*are closed subsets of**X*, - (3)
*there exist*$\varphi \in \mathrm{\Phi}$*and*$1\le k<2$*such that*${F}_{Ax,By}(t)\ge \varphi (min\left\{\begin{array}{c}{F}_{SRx,THy}(t),\\ {sup}_{{t}_{1}+{t}_{2}=\frac{2}{k}t}min\{{F}_{SRx,Ax}({t}_{1}),{F}_{THy,By}({t}_{2})\},\\ {sup}_{{t}_{3}+{t}_{4}=\frac{2}{k}t}max\{{F}_{SRx,By}({t}_{3}),{F}_{THy,Ax}({t}_{4})\}\end{array}\right\})$(3.9)

*holds for all* $x,y\in X$ *and* $t>0$. *Then the pairs* $(A,SR)$ *and* $(B,TH)$ *have a coincidence point each*. *Moreover*, *A*, *B*, *R*, *S*, *H*, *and* *T* *have a unique common fixed point provided the pairs* $(A,SR)$ *and* $(B,TH)$ *commute pairwise* (*i*.*e*. $AS=SA$, $AR=RA$, $SR=RS$, $BT=TB$, $BH=HB$, *and* $TH=HT$).

*Proof*By Theorem 3.1,

*A*,

*B*,

*TH*and

*SR*have a unique common fixed point

*z*in

*X*. We show that

*z*is a unique common fixed point of the self-mappings

*A*,

*R*and

*S*. If $z\ne Rz$, then on using (3.9) with $x=Rz$, $y=z$, we get, for some ${t}_{0}>0$,

which is a contradiction. Therefore, $Rz=z$ and so $S(Rz)=S(z)=z$. Similarly, we get $Tz=Hz=z$. Hence *z* is a unique common fixed point of self-mappings *A*, *B*, *R*, *S*, *H* and *T* in *X*. □

**Corollary 3.3** *Let* $(X,\mathcal{F},\ast )$ *be a Menger space*, *where* ∗ *is a continuous t*-*norm*. *Let* ${\{{A}_{i}\}}_{i=1}^{m}$, ${\{{B}_{r}\}}_{r=1}^{n}$, ${\{{S}_{k}\}}_{k=1}^{p}$ *and* ${\{{T}_{g}\}}_{g=1}^{q}$ *be four finite families from* *X* *into itself such that* $A={A}_{1}{A}_{2}\cdots {A}_{m}$, $B={B}_{1}{B}_{2}\cdots {B}_{n}$, $S={S}_{1}{S}_{2}\cdots {S}_{p}$ *and* $T={T}_{1}{T}_{2}\cdots {T}_{q}$, *which satisfy the inequality* (3.1). *If the pairs* $(A,S)$ *and* $(B,T)$ *share the common property* (*E*.*A*) *along with closedness of* $S(X)$ *and* $T(X)$, *then* $(A,S)$ *and* $(B,T)$ *have a point of coincidence each*.

*Moreover*, ${\{{A}_{i}\}}_{i=1}^{m}$, ${\{{B}_{r}\}}_{r=1}^{n}$, ${\{{S}_{k}\}}_{k=1}^{p}$ *and* ${\{{T}_{g}\}}_{g=1}^{q}$ *have a unique common fixed point provided the pairs of families* $(\{{A}_{i}\},\{{S}_{k}\})$ *and* $(\{{B}_{r}\},\{{T}_{g}\})$ *are commute pairwise*, *where* $i\in \{1,2,\dots ,m\}$, $k\in \{1,2,\dots ,p\}$, $r\in \{1,2,\dots ,n\}$ *and* $g\in \{1,2,\dots ,q\}$.

*Proof* The proof of this theorem is similar to that of Theorem 3.1 contained in Imdad *et al.* [41], hence details are omitted. □

**Remark 3.5** Corollary 3.3 extends the result of Sedghi *et al.* [[55], Theorem 2] to four finite families of self-mappings.

By setting ${A}_{1}={A}_{2}=\cdots ={A}_{m}=A$, ${B}_{1}={B}_{2}=\cdots ={B}_{n}=B$, ${S}_{1}={S}_{2}=\cdots ={S}_{p}=S$, and ${T}_{1}={T}_{2}=\cdots ={T}_{q}=T$ in Corollary 3.3, we deduce the following.

**Corollary 3.4**

*Let*$(X,\mathcal{F},\ast )$

*be a Menger space*,

*where*∗

*is a continuous t*-

*norm*.

*Let*

*A*,

*B*,

*S*

*and*

*T*

*be mappings from*

*X*

*into itself such that the pairs*$({A}^{m},{S}^{p})$

*and*$({B}^{n},{T}^{q})$

*share the common property*(

*E*.

*A*).

*Then there exist*$\varphi \in \mathrm{\Phi}$, $1\le k<2$

*and*$m,n,p,q\in \mathbb{N}$

*such that*

*holds for all* $x,y\in X$ *and* $t>0$. *If* ${S}^{p}(X)$ *and* ${T}^{q}(X)$ *are closed subsets of* *X*, *then the pairs* $(A,S)$ *and* $(B,T)$ *have a point of coincidence each*. *Further*, *A*, *B*, *S*, *and* *T* *have a unique common fixed point provided both pairs* $({A}^{m},{S}^{p})$ *and* $({B}^{n},{T}^{q})$ *commute pairwise*.

## Conclusion

Theorem 3.1 is proved for two pairs of weakly compatible mappings in Menger spaces using common property (E.A). Theorem 3.1 is an improved probabilistic version of the result of Sedghi *et al.* [[55], Theorem 1] for two pairs of mappings without any requirement on containment of ranges amongst the involved mappings. Several results (Theorem 3.2, Theorem 3.3 and Corollary 3.1) are also defined for the existence of fixed points in Menger spaces. Example 3.2 and Example 3.3 are furnished in support of our results. As an extension of our main result, Theorem 3.4 is proved for six self-mappings using the notion of pairwise commuting whereas Corollary 3.3 extends Theorem 3.1 to four finite families of self-mappings.

## Declarations

### Acknowledgements

The authors would like to thank the referees for their useful comments on the manuscript.

## Authors’ Affiliations

## References

- Banach S:
**Sur les operations dans les ensembles abstraits et leur application aux equations integrales.***Fundam. Math.*1922,**3:**133–181.MATHGoogle Scholar - Hicks TL:
**Fixed point theorems for quasi-metric spaces.***Math. Jpn.*1988,**33**(2):231–236.MATHMathSciNetGoogle Scholar - Choudhury BS, Metiya N:
**Coincidence point and fixed point theorems in ordered cone metric spaces.***J. Adv. Math. Stud.*2012,**5**(2):20–31.MATHMathSciNetGoogle Scholar - Olatinwo MO, Postolache M:
**Stability results for Jungck-type iterative processes in convex metric spaces.***Appl. Math. Comput.*2012,**218**(12):6727–6732. 10.1016/j.amc.2011.12.038MATHMathSciNetView ArticleGoogle Scholar - Aydi H, Karapınar E, Postolache M:
**Tripled coincidence point theorems for weak**φ**-contractions in partially ordered metric spaces.***Fixed Point Theory Appl.*2012.,**2012:**Article ID 44Google Scholar - Aydi H, Shatanawi W, Postolache M, Mustafa Z, Tahat N:
**Theorems for Boyd-Wong type contractions in ordered metric spaces.***Abstr. Appl. Anal.*2012.,**2012:**Article ID 359054Google Scholar - Chandok S, Postolache M:
**Fixed point theorem for weakly Chatterjea-type cyclic contractions.***Fixed Point Theory Appl.*2013.,**2013:**Article ID 28Google Scholar - Choudhury BS, Metiya N, Postolache M:
**A generalized weak contraction principle with applications to coupled coincidence point problems.***Fixed Point Theory Appl.*2013.,**2013:**Article ID 152Google Scholar - Shatanawi W, Postolache M:
**Common fixed point results of mappings for nonlinear contractions of cyclic form in ordered metric spaces.***Fixed Point Theory Appl.*2013.,**2013:**Article ID 60Google Scholar - Aydi H, Postolache M, Shatanawi W:
**Coupled fixed point results for**$(\psi ,\varphi )$**-weakly contractive mappings in ordered**G**-metric spaces.***Comput. Math. Appl.*2012,**63**(1):298–309. 10.1016/j.camwa.2011.11.022MATHMathSciNetView ArticleGoogle Scholar - Chandok S, Mustafa Z, Postolache M:
**Coupled common fixed point theorems for mixed**g**-monotone mappings in partially ordered**G**-metric spaces.***U. Politeh. Buch. Ser. A*2013,**75**(4):11–24.MathSciNetGoogle Scholar - Shatanawi W, Pitea A:
**Fixed and coupled fixed point theorems of omega-distance for nonlinear contraction.***Fixed Point Theory Appl.*2013.,**2013:**Article ID 275Google Scholar - Shatanawi W, Postolache M:
**Some fixed point results for a**G**-weak contraction in**G**-metric spaces.***Abstr. Appl. Anal.*2012.,**2012:**Article ID 815870Google Scholar - Shatanawi W, Pitea A:
**Omega-distance and coupled fixed point in**G**-metric spaces.***Fixed Point Theory Appl.*2013.,**2013:**Article ID 208Google Scholar - Aydi H:
**Fixed point results for weakly contractive mappings in ordered partial metric spaces.***J. Adv. Math. Stud.*2011,**4**(2):1–12.MATHMathSciNetGoogle Scholar - Shatanawi W, Postolache M:
**Coincidence and fixed point results for generalized weak contractions in the sense of Berinde on partial metric spaces.***Fixed Point Theory Appl.*2013.,**2013:**Article ID 54Google Scholar - Shatanawi W, Pitea A:
**Some coupled fixed point theorems in quasi-partial metric spaces.***Fixed Point Theory Appl.*2013.,**2013:**Article ID 153Google Scholar - Grabiec M:
**Fixed points in fuzzy metric spaces.***Fuzzy Sets Syst.*1988,**27:**385–389. 10.1016/0165-0114(88)90064-4MATHMathSciNetView ArticleGoogle Scholar - Menger K:
**Statistical metrics.***Proc. Natl. Acad. Sci. USA*1942,**28:**535–537. 10.1073/pnas.28.12.535MATHMathSciNetView ArticleGoogle Scholar - Haghi RH, Postolache M, Rezapour S:
**On**T**-stability of the Picard iteration for generalized**φ**-contraction mappings.***Abstr. Appl. Anal.*2012.,**2012:**Article ID 658971Google Scholar - Miandaragh MA, Postolache M, Rezapour S:
**Some approximate fixed point results for generalized**α**-contractive mappings.***U. Politeh. Buch. Ser. A*2013,**75**(2):3–10.MATHMathSciNetGoogle Scholar - Jungck G, Rhoades BE:
**Fixed points for set valued functions without continuity.***Indian J. Pure Appl. Math.*1998,**29**(3):227–238. MR1617919MATHMathSciNetGoogle Scholar - Singh B, Jain S:
**A fixed point theorem in Menger space through weak compatibility.***J. Math. Anal. Appl.*2005,**301**(2):439–448. 10.1016/j.jmaa.2004.07.036MATHMathSciNetView ArticleGoogle Scholar - Aamri M, Moutawakil DEl:
**Some new common fixed point theorems under strict contractive conditions.***J. Math. Anal. Appl.*2002,**270**(1):181–188. 10.1016/S0022-247X(02)00059-8MATHMathSciNetView ArticleGoogle Scholar - Kubiaczyk I, Sharma S:
**Some common fixed point theorems in Menger space under strict contractive conditions.***Southeast Asian Bull. Math.*2008,**32**(1):117–124. MR2385106 Zbl 1199.54223MATHMathSciNetGoogle Scholar - Pant RP:
**Common fixed point theorems for contractive maps.***J. Math. Anal. Appl.*1998,**226:**251–258. MR1646430 10.1006/jmaa.1998.6029MATHMathSciNetView ArticleGoogle Scholar - Liu Y, Wu J, Li Z:
**Common fixed points of single-valued and multi-valued maps.***Int. J. Math. Math. Sci.*2005,**19:**3045–3055.MathSciNetView ArticleGoogle Scholar - Ali J, Imdad M, Bahuguna D:
**Common fixed point theorems in Menger spaces with common property (E.A).***Comput. Math. Appl.*2010,**60**(12):3152–3159. MR2739482 (2011g:47124) Zbl 1207.54050 10.1016/j.camwa.2010.10.020MATHMathSciNetView ArticleGoogle Scholar - Abbas M, Nazir T, Radenović S:
**Common fixed point of power contraction mappings satisfying (E.A) property in generalized metric spaces.***Appl. Math. Comput.*2013,**219:**7663–7670. 10.1016/j.amc.2012.12.090MATHMathSciNetView ArticleGoogle Scholar - Cakić N, Kadelburg Z, Radenović S, Razani A:
**Common fixed point results in cone metric spaces for a family of weakly compatible maps.***Adv. Appl. Math. Sci.*2009,**1**(1):183–201.MATHMathSciNetGoogle Scholar - Janković S, Golubović Z, Radenović S:
**Compatible and weakly compatible mappings in cone metric spaces.***Math. Comput. Model.*2010,**52:**1728–1738. 10.1016/j.mcm.2010.06.043MATHView ArticleGoogle Scholar - Kadelburg Z, Radenović S, Rosić B:
**Strict contractive conditions and common fixed point theorems in cone metric spaces.***Fixed Point Theory Appl.*2009.,**2009:**Article ID 173838Google Scholar - Long W, Abbas M, Nazir T, Radenović S:
**Common fixed point for two pairs of mappings satisfying (E.A) property in generalized metric spaces.***Abstr. Appl. Anal.*2012.,**2012:**Article ID 394830Google Scholar - Ali J, Imdad M, Miheţ D, Tanveer M:
**Common fixed points of strict contractions in Menger spaces.***Acta Math. Hung.*2011,**132**(4):367–386. 10.1007/s10474-011-0105-3MATHView ArticleGoogle Scholar - Altun I, Tanveer M, Miheţ D, Imdad M:
**Common fixed point theorems of integral type in Menger PM spaces.***J. Nonlinear Anal. Optim., Theory Appl.*2012,**3**(1):55–66.Google Scholar - Beg I, Abbas M:
**Common fixed points of weakly compatible and noncommuting mappings in Menger spaces.***Int. J. Mod. Math.*2008,**3**(3):261–269.MATHMathSciNetGoogle Scholar - Chauhan S, Pant BD:
**Common fixed point theorem for weakly compatible mappings in Menger space.***J. Adv. Res. Pure Math.*2011,**3**(2):107–119. 10.5373/jarpm.585.100210MathSciNetView ArticleGoogle Scholar - Cho YJ, Park KS, Park WT, Kim JK:
**Coincidence point theorems in probabilistic metric spaces.***Kobe J. Math.*1991,**8**(2):119–131.MATHMathSciNetGoogle Scholar - Fang JX:
**Common fixed point theorems of compatible and weakly compatible maps in Menger spaces.***Nonlinear Anal.*2009,**71**(5–6):1833–1843. 10.1016/j.na.2009.01.018MATHMathSciNetView ArticleGoogle Scholar - Fang JX, Gao Y:
**Common fixed point theorems under strict contractive conditions in Menger spaces.***Nonlinear Anal.*2009,**70**(1):184–193. 10.1016/j.na.2007.11.045MATHMathSciNetView ArticleGoogle Scholar - Imdad M, Ali J, Tanveer M:
**Coincidence and common fixed point theorems for nonlinear contractions in Menger PM spaces.***Chaos Solitons Fractals*2009,**42**(5):3121–3129. MR2562820 (2010j:54064) Zbl 1198.54076 10.1016/j.chaos.2009.04.017MATHMathSciNetView ArticleGoogle Scholar - Imdad M, Tanveer M, Hassan M:
**Some common fixed point theorems in Menger PM spaces.***Fixed Point Theory Appl.*2010.,**2010:**Article ID 819269Google Scholar - Kumar, S, Chauhan, S, Pant, BD: Common fixed point theorem for noncompatible maps in probabilistic metric space. Surv. Math. Appl. (in press)Google Scholar
- Kumar S, Pant BD:
**Common fixed point theorems in probabilistic metric spaces using implicit relation and property (E.A).***Bull. Allahabad Math. Soc.*2010,**25**(2):223–235.MATHMathSciNetGoogle Scholar - Kutukcu S:
**A fixed point theorem in Menger spaces.***Int. Math. Forum*2006,**1**(32):1543–1554.MATHMathSciNetGoogle Scholar - Miheţ D:
**A note on a common fixed point theorem in probabilistic metric spaces.***Acta Math. Hung.*2009,**125**(1–2):127–130. 10.1007/s10474-009-8238-3MATHView ArticleGoogle Scholar - O’Regan D, Saadati R:
**Nonlinear contraction theorems in probabilistic spaces.***Appl. Math. Comput.*2008,**195**(1):86–93. MR2379198 Zbl 1135.54315 10.1016/j.amc.2007.04.070MATHMathSciNetView ArticleGoogle Scholar - Pant BD, Abbas M, Chauhan S:
**Coincidences and common fixed points of weakly compatible mappings in Menger spaces.***J. Indian Math. Soc.*2013,**80**(1–2):127–139.MATHMathSciNetGoogle Scholar - Pant BD, Chauhan S:
**A contraction theorem in Menger space.***Tamkang J. Math.*2011,**42**(1):59–68. MR2815806 Zbl 1217.54053MATHMathSciNetView ArticleGoogle Scholar - Pant BD, Chauhan S:
**Common fixed point theorems for two pairs of weakly compatible mappings in Menger spaces and fuzzy metric spaces.***Sci. Stud. Res. Ser. Math. Inform.*2011,**21**(2):81–96.MATHMathSciNetGoogle Scholar - Saadati R, O’Regan D, Vaezpour SM, Kim JK:
**Generalized distance and common fixed point theorems in Menger probabilistic metric spaces.***Bull. Iran. Math. Soc.*2009,**35**(2):97–117.MATHMathSciNetGoogle Scholar - Schweizer B, Sklar A:
**Statistical metric spaces.***Pac. J. Math.*1960,**10:**313–334. 10.2140/pjm.1960.10.313MATHMathSciNetView ArticleGoogle Scholar - Mishra SN:
**Common fixed points of compatible mappings in PM-spaces.***Math. Jpn.*1991,**36**(2):283–289.MATHGoogle Scholar - Pathak HK, López RR, Verma RK:
**A common fixed point theorem using implicit relation and property (E.A) in metric spaces.***Filomat*2007,**21**(2):211–234. 10.2298/FIL0702211PMATHMathSciNetView ArticleGoogle Scholar - Sedghi S, Shobe N, Aliouche A:
**A common fixed point theorem for weakly compatible mappings in fuzzy metric spaces.***Gen. Math.*2010,**18**(3):3–12.MATHMathSciNetGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.