- Research
- Open Access

# Common fixed point theorems for nonlinear contractions in a Menger space

- Jeong Sheok Ume
^{1}Email author

**2013**:166

https://doi.org/10.1186/1687-1812-2013-166

© Ume; licensee Springer. 2013

**Received: **6 September 2012

**Accepted: **4 June 2013

**Published: **26 June 2013

## Abstract

The main purpose of this paper is to introduce a new class of Jungck-type contraction and to present some common fixed point theorems for this mapping. Several examples are given to show that our result is a proper extension of many known results.

**MSC:**47H10.

## Keywords

## 1 Introduction

Probabilistic metric space has been introduced and studied in 1942 by Menger in USA [1], and since then the theory of probabilistic metric spaces has developed in many directions [2–6]. The idea of Menger was to use distribution functions instead of nonnegative real numbers as values of the metric. The notion of a probabilistic metric space corresponds to the situation when we do not know exactly the distance between two points, we know only probabilities of possible values of this distance. Such a probabilistic generalization of metric spaces appears to be well adapted for the investigation of physiological thresholds and physical quantities, particularly in connection with both string and *E*-infinity which were introduced and studied by a well-known scientific hero El Naschie [7–9].

It is observed by many authors that the contraction condition in a metric space may be exactly translated into a probabilistic metric space endowed with min norms. Sehgal and Bharucha-Reid [10] obtained a generalization of the Banach contraction principle on a complete Menger space, which is a milestone in developing fixed point theorems in a Menger space.

Jungck’s fixed point theorem [11] has many applications in nonlinear analysis. This theorem is extended by several authors; see [12–16] and the references therein.

In this paper, we introduce a new class of Jungck-type contraction and present some common fixed point theorems for this mapping. Several examples are given to show that our result is a proper extension of many known results.

## 2 Preliminaries

Throughout this paper we denote by *N* the set of all positive integers, by *Q* the set of all rational numbers, by ${Z}^{+}$ the set of all nonnegative integers, by *R* the set of all real numbers and by ${R}^{+}$ the set of all nonnegative real numbers. We shall recall some definitions and lemmas related to a Menger space.

**Definition 2.1**A mapping $F:R\to {R}^{+}$ is called a distribution if it is nondecreasing left continuous with $inf\{F(t):t\in R\}=0$ and $sup\{F(t):t\in R\}=1$. We shall denote by

*L*the set of all distribution functions. The specific distribution function $H:R\to {R}^{+}$ is defined by

**Definition 2.2** ([13])

*X*is an abstract set of elements and $F:X\times X\to L$ is defined by $(p,q)\to {F}_{p,q}$, where $\{{F}_{p,q}:p,q\in X\}\subseteq L$, where the functions ${F}_{p,q}$ satisfy the following:

- (a)
${F}_{p,q}(x)=1$ for all $x>0$ if and only if $p=q$;

- (b)
${F}_{p,q}(0)=0$;

- (c)
${F}_{p,q}={F}_{q,p}$;

- (d)
${F}_{p,q}(x)=1$ and ${F}_{q,r}(y)=1$, then ${F}_{p,r}(x+y)=1$.

**Definition 2.3**A mapping $t:[0,1]\times [0,1]\to [0,1]$ is called a

*t*-norm if

- (e)
$t(0,0)=0$ and $t(a,1)=a$ for all $a\in [0,1]$;

- (f)
$t(a,b)=t(b,a)$ for all $a,b\in [0,1]$;

- (g)
$t(a,b)\le t(c,d)$ for all $a,b,c,d\in [0,1]$ with $a\le c$ and $b\le d$;

- (h)
$t(t(a,b),c)=t(a,t(b,c))$ for all $a,b,c\in [0,1]$.

**Definition 2.4**A Menger space is a triplet $(X,F,t)$, where $(X,F)$ is a PM-space and

*t*is a

*t*-norm such that for all $p,q,r\in X$ and all $x,y\ge 0$,

**Definition 2.5** ([13])

- (1)
A sequence $\{{p}_{n}\}$ in

*X*is said to converge to a point*p*in*X*(written as ${p}_{n}\to p$) if for every $\epsilon >0$ and $\lambda >0$, there exists a positive integer $M(\epsilon ,\lambda )$ such that ${F}_{{p}_{n},p}(\epsilon )>1-\lambda $ for all $n\ge M(\epsilon ,\lambda )$. - (2)
A sequence $\{{p}_{n}\}$ in

*X*is said to be Cauchy if for each $\epsilon >0$ and $\lambda >0$, there is a positive integer $M(\epsilon ,\lambda )$ such that ${F}_{{p}_{n},{p}_{m}}(\epsilon )\ge 1-\lambda $ for all $n,m\in N$ with $n,m\ge M(\epsilon ,\lambda )$. - (3)
A Menger space $(X,F,t)$ is said to be complete if every Cauchy sequence in

*X*converges to a point of it. - (4)
*f*is said to be continuous at a point*p*in*X*if for every sequence $\{{p}_{n}\}$ in*X*, which converges to*p*, the sequence $\{f({p}_{n})\}$ in*X*converges to $f(p)$. - (5)
*f*is said to be continuous on*X*if*f*is continuous at every point in*X*.

**Definition 2.6** ([4])

A *t*-norm *t* is said to be of *H*-type if a family of functions ${\{{t}^{n}(a)\}}_{n=1}^{\mathrm{\infty}}$ is equicontinuous at $a=1$, that is, for any $\epsilon \in (0,1)$, there exists $\delta \in (0,1)$ such that $a>1-\delta $ and $n\ge 1$ imply ${t}^{n}(a)>1-\epsilon $. The *t*-norm $t=min$ is a trivial example of a *t*-norm of *H*-type, but there are *t*-norms of *H*-type with $t\text{-norm}\ne min$ (see, *e.g.*, Hadzic [5]).

From Definition 2.1-Definition 2.5, we can prove easily the following lemmas.

**Lemma 2.7** ([10])

*If* $(X,d)$ *is a metric*, *then the metric induces a mapping* $X\times X\to L$, *defined by* ${F}_{p,q}(x)=H(x-d(p,q))$, $p,q\in X$ *and* $x\in R$. *Further*, *if the* *t*-*norm* $t:[0,1]\times [0,1]\to [0,1]$ *is defined by* $t(a,b)=min\{a,b\}$ *for all* $a,b\in [0,1]$, *then* $(X,F,t)$ *is a Menger space*. *It is complete if* $(X,d)$ *is complete*.

**Lemma 2.8** *In a Menger space* $(X,F,t)$, *if* $t(x,x)\ge x$ *for all* $x\in [0,1]$, *then* $t(a,b)=min\{a,b\}$ *for all* $a,b\in [0,1]$.

## 3 Jungck-type fixed point theorems

In 1976, Jungck proved the following theorem.

**Theorem A** (Jungck [11], 1976)

*Let*

*f*

*be a continuous mapping of a complete metric space*$(X,d)$

*into itself and let*$g:X\to X$

*be a map that satisfies the following conditions*:

*for all* $x,y\in X$ *and for some* $0<k<1$. *Then* *f* *and* *g* *have a unique common fixed point*.

**Definition 3.1**Let $(X,F,t)$ be a Menger space with $t(x,x)\ge x$ for all $x\in [0,1]$ and let $f,g:X\to X$ be two self-mappings of

*X*. We will say that

*f*and

*g*are Jungck-type generalized contraction if

for all $p,q\in X$ and $x>0$, where $\phi :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$ is a mapping such that $\phi (x)<x$ for all $x>0$, and for all $p,q\in X$ and $x\in R$, ${F}_{p,q}(x)$ is the same as in Definition 2.2.

**Remark 3.2**

- (1)
It is clear that (∗1) implies (∗2) if ${F}_{p,q}(x)=H(x-d(p,q))$ for all $p,q\in X$, $x\in R$, and $\phi (x)=kx$ for all $x\in {R}^{+}$, where $0<k<1$.

- (2)
In Example 3.10, we shall show that the condition (∗2) is satisfied, but the condition (∗1) is not satisfied.

**Definition 3.3**Let $\phi :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$ be a mapping such that $\phi (x)<x$ for all $x>0$. We say that

*φ*is the

*U*-generalized contraction if

for all $x>0$ and $r\in {Z}^{+}$.

**Lemma 3.4**

*Let*$k\in (0,1)$

*be as in*(

*c*)

*of Theorem*A

*and let*$\phi :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$

*be defined by*

*Then* *φ* *is an* *U*-*generalized contraction*.

there are three cases which need to be considered.

(∗3) is satisfied.

(∗3) is satisfied.

(∗3) is satisfied. From (∗4), Case 1, Case 2 and Case 3, *φ* is *U*-generalized contraction. □

The following example shows that *f* and *g* do not have a common fixed point even though *f*, *g* and *φ* satisfy (∗2) and (∗3).

**Example 3.5**Let $k\in (0,1)$ and $\phi :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$ be as in Lemma 3.4. Let $f,g:R\to R$ be defined by $f(x)=x+1$ and $g(x)=\frac{k}{2}x$. Define ${F}_{p,q}:R\to {R}^{+}$ by

where ${F}_{p,g}$ and *H* are the same as in Definition 2.1 and Definition 2.2. Let $t:[0,1]\times [0,1]\to [0,1]$ be defined by $t(a,b)=min\{a,b\}$ for all $a,b\in [0,1]$. Then, by Lemma 3.4 and simple calculations, (∗2) and (∗3) are satisfied. But *f* and *g* do not have a common fixed point.

**Remark 3.6** It follows from Example 3.5 that *f* and *g* must satisfy (∗2) and (∗3), and other conditions additionally in order to have a common fixed point of *f* and *g*.

The following is Jungck-type common fixed point theorem which is a generalization of Jungck’s common fixed point theorem [11].

**Theorem 3.7**

*Let*$(X,F,t)$

*be a complete Menger space with continuous*

*t*-

*norm and*$t(x,x)\ge x$

*for all*$x\in [0,1]$,

*let*

*f*

*be a continuous self*-

*mapping on*

*X*

*and let*$\phi :{R}^{+}\to {R}^{+}$

*be a mapping that satisfies the following conditions*:

- (i)
$g(X)\subseteq f(X)$;

- (ii)
*g**commutes with**f*; - (iii)
*f*,*g**and**φ**satisfy*(∗2)*and*(∗3); - (iv)
*φ**is a strictly increasing and bijective*; - (v)
${lim}_{n\to \mathrm{\infty}}{\phi}^{-n}(x)=\mathrm{\infty}$

*for each*$x>0$,*where*${\phi}^{-n}$*is**n*-*times repeated composition of*${\phi}^{-1}$*with itself*.

*Then* *f* *and* *g* *have a unique common fixed point*.

*Proof*

*X*such that

*X*. Since

*X*is complete and $\{f({x}_{n})\}$ is a Cauchy sequence in

*X*, there exists $z\in X$ such that

for all $x>0$.

*f*and

*g*. To prove the uniqueness of a common fixed point of

*f*and

*g*, let

*u*and

*w*be common fixed points of

*f*and

*g*. Then $f(u)=g(u)=u$ and $f(w)=g(w)=w$. Putting $p=u$ and $q=w$ in (∗2), we get

for all $x>0$, which gives $u=w$. Thus $g(z)$ is a unique common fixed point of *f* and *g*. □

Now we give an example to support Theorem 3.7.

**Example 3.8**Let $X=R$ be the set of reals with the usual metric and let $f,g:X\to X$ and $\phi :{R}^{+}\to {R}^{+}$ be mappings defined as follows:

Let the mappings ${F}_{p,q}$, *H* and *t* be as in Example 3.5. Then from Lemma 2.7, $(X,F,t)$ is a complete Menger space. By the same method as in Lemma 3.4 and simple calculations, the conditions of Theorem 3.7 are satisfied. Thus *f* and *g* have a unique common fixed point 0.

From Theorem 3.7, we have the following corollary.

**Corollary 3.9**

*Let*$(X,F,t)$

*be a complete Menger space with continuous*

*t*-

*norm and*$t(x,x)\ge x$

*for all*$x\in [0,1]$.

*Let*$f,g:`X\to X$

*be maps that satisfy the following conditions*:

- (a)
$g(X)\subseteq f(X)$;

- (b)
*f**is continuous*; - (c)
*g**commutes with**f*; - (d)
${F}_{g(p),g(q)}(kx)\ge {F}_{f(p),f(q)}(x)$

*for all*$p,q\in X$, $x>0$*and for some*$0<k<1$.*Then**f**and**g**have a unique common fixed point*.

*Proof*Let $\phi :{R}^{+}\to {R}^{+}$ be defined by

From (b) and (d), we deduce that *g* is continuous. Thus, by (3.23), the same method as in Lemma 3.4 and simple calculations, the conditions of Theorem 3.7 are satisfied. Therefore *f* and *g* have a unique common fixed point.

In the next example, we shall show that all the conditions of Theorem 3.7 are satisfied, but condition (d) in Corollary 3.9 and condition (∗1) in Theorem A are not satisfied. □

**Example 3.10**Let $k\in (0,1)$ be as in (c) of Theorem A and let $X=R$ be the set of reals with usual metric. Suppose that $f,g:X\to X$ and $\phi :{R}^{+}\to {R}^{+}$ are mappings defined as follows:

*H*and

*t*be the same as in Example 3.5. Then, from Lemma 2.7 and Lemma 3.4, $(X,F,t)$ is a complete Menger space and

*φ*satisfies (∗3). Since

*f*and

*g*have a unique common fixed point 0. By hypotheses, there exist ${p}_{1}=-k\in R$, ${q}_{1}=0\in R$ and ${x}_{1}=\frac{3}{4}{k}^{2}+\frac{1}{4}k>0$ such that

which implies that condition (∗1) in Theorem A is not satisfied. Therefore Theorem 3.7 is a proper extension of Theorem A and Corollary 3.9.

A natural question arises from Example 3.5.

**Question** Would Theorem 3.7 remain true if (i)-(v) in Theorem 3.7 were substituted by some suitable conditions?

## Declarations

### Acknowledgements

The author would like to thank referees for careful reading and useful comments. This research was supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (2012R1A1A2002165).

## Authors’ Affiliations

## References

- Menger K: Statistical metrics.
*Proc. Natl. Acad. Sci. USA*1942, 28: 535–537. 10.1073/pnas.28.12.535MATHMathSciNetView ArticleGoogle Scholar - Chang SS, Cho YJ, Kang SM:
*Nonlinear Operator Theory in Probabilistic Metric Space*. Nova Science Publishers, New York; 2001.MATHGoogle Scholar - Cho YJ, Ha KS, Chang SS: Common fixed point theorems for compatible mappings of type (A) in non-Archimedean Menger PM-spaces.
*Math. Jpn.*1997, 46: 169–179.MATHMathSciNetGoogle Scholar - Hadzić O: A fixed point theorem in Menger spaces.
*Publ. Inst. Math. (Belgr.)*1979, 26: 107–112.MathSciNetMATHGoogle Scholar - Hadzić O: Fixed point theorems for multivalued mappings in probabilistic metric spaces.
*Fuzzy Sets Syst.*1997, 88: 219–226. 10.1016/S0165-0114(96)00072-3MATHView ArticleMathSciNetGoogle Scholar - Schweizer B, Sklar A North-Holand Series in Probability and Applied Mathematics. In
*Probabilistic Metric Spaces*. North-Holand, New York; 1983.Google Scholar - El Naschie MS: On the uncertainty of Cantorian geometry and two-slit experiment.
*Chaos Solitons Fractals*1998, 9: 517–529. 10.1016/S0960-0779(97)00150-1MATHMathSciNetView ArticleGoogle Scholar - El Naschie MS: A review of
*E*-infinity theory and the mass spectrum of high energy particle physics.*Chaos Solitons Fractals*2004, 19: 209–236. 10.1016/S0960-0779(03)00278-9MATHView ArticleGoogle Scholar - El Naschie MS: The idealized quantum two-slit Gedanken experiment revisited-criticism and reinterpretation.
*Chaos Solitons Fractals*2006, 27: 9–13. 10.1016/j.chaos.2005.05.010MATHView ArticleGoogle Scholar - Sehgal VM, Bharucha-Reid AT: Fixed points of contraction mappings on probabilistic metric spaces.
*Math. Syst. Theory*1972, 6: 97–102. 10.1007/BF01706080MATHMathSciNetView ArticleGoogle Scholar - Jungck G: Commuting maps and fixed points.
*Am. Math. Mon.*1976, 83: 261–263. 10.2307/2318216MATHMathSciNetView ArticleGoogle Scholar - Jungck G: Common fixed points for commuting and compatible maps on compacta.
*Proc. Am. Math. Soc.*1988, 103: 977–983. 10.1090/S0002-9939-1988-0947693-2MATHMathSciNetView ArticleGoogle Scholar - Mishra SN: Common fixed points of compatible mappings in PM-spaces.
*Math. Jpn.*1991, 36: 283–289.MATHMathSciNetGoogle Scholar - Razani A, Fouladgar K: Extension of contractive maps in the Menger probabilistic quasi-metric space.
*Chaos Solitons Fractals*2007, 34: 1724–1731. 10.1016/j.chaos.2006.05.022MATHMathSciNetView ArticleGoogle Scholar - Rezaiyan R, Cho YJ, Saadati R: A common fixed point theorems in Menger probabilistic quasi-metric spaces.
*Chaos Solitons Fractals*2008, 37: 1153–1157. 10.1016/j.chaos.2006.10.007MATHMathSciNetView ArticleGoogle Scholar - Saadati R, Vaezpour SM, Ćirić LB: Generalized distance and some common fixed point theorems.
*J. Comput. Anal. Appl.*2010, 12: 157–162.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.