- Research
- Open Access

# Common fixed point theorem for a hybrid pair of mappings in Hausdorff fuzzy metric spaces

- M Abbas
^{1}, - Basit Ali
^{1, 2}Email author and - A Amini-Harandi
^{3, 4}

**2012**:225

https://doi.org/10.1186/1687-1812-2012-225

© Abbas et al.; licensee Springer. 2012

**Received:**24 April 2012**Accepted:**25 November 2012**Published:**13 December 2012

## Abstract

In this paper, we prove a coupled fixed point theorem for a multivalued fuzzy contraction mapping in complete Hausdorff fuzzy metric spaces. As an application of the first theorem, a coupled coincidence and coupled common fixed point theorem has been proved for a hybrid pair of multivalued and single-valued mappings. It is worth mentioning that to find coupled coincidence points, we do not employ the condition of continuity of any mapping involved therein. Also, coupled coincidence points are obtained without exploiting any type of commutativity condition. Our results extend, improve, and unify some well-known results in the literature.

**MSC:**47H10, 47H04, 47H07.

## Keywords

- coupled fixed point
- coupled coincidence point
- coupled common fixed point
*t*-norm

## 1 Introduction and preliminaries

Bhaskar and Lakshmikantham [1] introduced the concept of a coupled fixed point of a mapping *F* from $X\times X$ to *X* and established some coupled fixed point theorems in partially ordered sets. Later on some authors gave improved and generalized results in this context. For details, we refer to [2, 3].

The concept of fuzzy sets was initiated by Zadeh [4] in 1965. Fuzzy metric spaces were introduced by Kramosil and Michalek [5]. George and Veeramani [6, 7] modified the notion of fuzzy metric spaces by using continuous *t*-norm and generalized the concept of a probabilistic metric space to a fuzzy situation. Then a number of authors started the study of fixed point theory in fuzzy metric spaces; for a detailed survey, we refer to [8–18] and the references therein. Recently López and Romaguera [19] introduced a Hausdorff fuzzy metric on a set of nonempty compact subsets of a given fuzzy metric space. In 2011, Kiany *et al.* [20] proved fixed point and endpoint theorems for set-valued fuzzy contraction maps in fuzzy metric spaces.

Recently Abbas [21] introduced the concept of coupled fixed points of a mapping $F:X\times X\to {2}^{X}$ (a collection of all nonempty subsets of *X*) and coupled coincidence points of a hybrid pair *F* and $g:X\to X$. The aim of this paper is to obtain a coupled fixed point theorem for *F* and a coupled coincidence and coupled common fixed point theorem for a hybrid pair $\{F,g\}$ which satisfies a contractive condition in complete Hausdorff fuzzy metric spaces. It is to be noted that to find coupled coincidence points, we do not employ the condition of commutativity and continuity of any mapping involved therein. Our results unify, extend, and generalize various known comparable results given in existing literature (see, for example, [20] and some references therein).

**Definition 1** [22]

*t*-norm if

- (1)
∗ is associative and commutative;

- (2)
∗ is continuous;

- (3)
$a\ast 1=a$ for all $a\in [0,1]$;

- (4)
$a\ast b\le c\ast d$ whenever $a\le c$ and $b\le d$.

**Definition 2** [6]

Let *X* be a nonempty set and ∗ be a continuous *t*-norm. If a mapping $M:{X}^{2}\times [0,\mathrm{\infty})\to [0,1]$ satisfies the following conditions:

(F1) $M(x,y,t)>0$;

(F2) $M(x,y,t)=1$ if and only if $x=y$;

(F3) $M(x,y,t)=M(y,x,t)$;

(F4) $M(x,y,t)\ast M(y,z,s)\le M(x,z,t+s)$;

(F5) $M(x,y,t):(0,\mathrm{\infty})\to [0,1]$ is continuous;

for each $x,y,z\in X$ and $s,t>0$, then 3-tuple $(X,M,\ast )$ is called a fuzzy metric space.

**Example 3** [6]

for all $x,y\in X$ and $t>0$. Then $(X,M,\ast )$ is a fuzzy metric space. We call this a fuzzy metric *M*, the standard fuzzy metric induced by *d*.

**Definition 4** [6]

- (i)
A sequence $\{{x}_{n}\}$ is said to be convergent to a point $x\in X$ if ${lim}_{n\to \mathrm{\infty}}M({x}_{n},x,t)=1$ for all $t>0$.

- (ii)
A sequence $\{{x}_{n}\}$ is said to be a Cauchy sequence if ${lim}_{n\to \mathrm{\infty}}M({x}_{m},{x}_{n},t)=1$ for all $t>0$.

- (iii)
A fuzzy metric space in which every Cauchy sequence is convergent is said to be complete.

- (iv)
A subset $A\subseteq X$ is said to be closed if for each convergent sequence $\{{x}_{n}\}$ with ${x}_{n}\in A$ and ${x}_{n}\to x$, we have $x\in A$.

- (v)
A subset $A\subseteq X$ is said to be compact if each sequence in

*A*has a convergent subsequence. The set of all compact subsets of*X*will be denoted by $K(X)$.

**Lemma 5** [10]

*For all* $x,y\in X$, $M(x,y,\cdot )$ *is nondecreasing*.

**Definition 6**Let $(M,X,\ast )$ be a fuzzy metric space,

*M*is said to be continuous on ${X}^{2}\times (0,\mathrm{\infty})$ if

**Lemma 7** [10]

*M* *is a continuous function on* ${X}^{2}\times (0,\mathrm{\infty})$.

Kiany *et al.* [20] introduced the following lemma in fuzzy metric spaces.

**Lemma 8** [20]

*Let*$(X,M,\ast )$

*be a fuzzy metric space satisfying*

*for every*$x,y\in X$, $t>0$,

*and*$h>1$.

*Suppose*$\{{x}_{n}\}$

*is a sequence in*

*X*

*satisfying*

*for all* $n\in \mathbb{N}$ *and* $0<\alpha <1$. *Then* $\{{x}_{n}\}$ *is a Cauchy sequence*.

**Lemma 9** [19]

*Let*$(X,M,\ast )$

*be a fuzzy metric space*.

*Then*,

*for each*$a\in X$, $B\in K(X)$,

*and*$t>0$,

*there is a*${b}_{0}\in B$

*such that*$M(a,B,t)=M(a,{b}_{0},t)$,

*where*

**Definition 10** [19]

The 3-tuple $(K(X),{H}_{M},\ast )$ is called a Hausdorff fuzzy metric space.

**Lemma 11** [23]

*Let* *X* *be a nonempty set and* $g:X\to X$ *be a mapping*. *Then there exists a subset* $E\subseteq X$ *such that* $g(E)=g(X)$ *and* $g:E\to X$ *is one*-*to*-*one*.

**Theorem 12** [20]

*Let*$(X,M,\ast )$

*be a complete fuzzy metric*.

*Suppose*$F:X\times X\to K(X)$

*is a multivalued mapping such that*

*for each* $x,y\in X$ *and* $t>0$, *where* $\varphi :[0,\mathrm{\infty})\to [0,1]$ *satisfying* ${lim\hspace{0.17em}sup}_{r\to {t}^{+}}\varphi (r)<1$, *for all* $t\in [0,\mathrm{\infty})$, *and* $d(x,y,t)=\frac{t}{M(x,y,t)}-t$. *Furthermore*, *assume that* $(X,M,\ast )$ *satisfies* (1) *for some* ${x}_{0}$ *and* ${x}_{1}\in F({x}_{0})$. *Then* *F* *has a fixed point*.

We also need the following definitions given in [21].

**Definition 13** [21]

Let *X* be a nonempty set, $F:X\times X\to {2}^{X}$ (a collection of all nonempty subsets of *X*) and $g:X\to X$. An element $(x,y)\in X\times X$ is called

(C1) a coupled fixed point of *F* if $x\in F(x,y)$ and $y\in F(y,x)$;

(C2) a coupled coincidence point of a hybrid pair $\{F,g\}$ if $g(x)\in F(x,y)$ and $g(y)\in F(y,x)$;

(C3) a coupled common fixed point of a hybrid pair $\{F,g\}$ if $x=g(x)\in F(x,y)$ and $y=g(y)\in F(y,x)$.

We denote the set of coupled coincidence points of mappings *F* and *g* by $C(F,g)$. Note that if $(x,y)\in C(F,g)$, then $(y,x)$ is also in $C(F,g)$.

**Definition 14** [21]

Let $F:X\times X\to {2}^{X}$ be a multivalued mapping and *g* be a self-map on *X*. The hybrid pair $\{F,g\}$ is called *w*-compatible if $g(F(x,y))\subseteq F(gx,gy)$ whenever $(x,y)\in C(F,g)$.

**Definition 15** [21]

Let $F:X\times X\to {2}^{X}$ be a multivalued mapping and *g* be a self-mapping on *X*. The mapping *g* is called *F*-weakly commuting at some point $(x,y)\in X\times X$ if ${g}^{2}(x)\in F(gx,gy)$ and ${g}^{2}(y)\in F(gy,gx)$.

## 2 Coupled fixed and coincidence point theorems

In the following theorem, we obtain a coupled fixed point for a multivalued mapping satisfying a contractive condition.

**Theorem 16**

*Let*$(X,M,\ast )$

*be a complete fuzzy metric space and let*$F:X\times X\to K(X)$

*be a set*-

*valued mapping satisfying*

*for each*$x,y,u,v\in X$, $t>0$.

*Suppose that*$d(x,u,t)=\frac{t}{M(x,u,t)}-t$

*and*$\varphi :[0,\mathrm{\infty})\to [0,1)$

*is a mapping satisfying*

*for all* $t\in [0,\mathrm{\infty})$. *Furthermore*, *assume that* $(X,M,\ast )$ *satisfies* (1) *for some* ${x}_{0},{x}_{1}\in F({x}_{0},{y}_{0})$ *and* ${y}_{0},{y}_{1}\in F({y}_{0},{x}_{0})$. *Then* *F* *has a coupled fixed point*.

*Proof*Let ${x}_{0},{y}_{0}\in X$ be arbitrary. Choose ${x}_{1}\in F({x}_{0},{y}_{0})$ and ${y}_{1}\in F({y}_{0},{x}_{0})$. Since

*F*is compact valued, then by Lemma 9 there exists ${x}_{2}\in F({x}_{1},{y}_{1})$ such that

*F*is compact valued, there exists ${y}_{2}\in F({y}_{1},{x}_{1})$ such that

*X*such that ${x}_{n+1}\in F({x}_{n},{y}_{n})$ and ${y}_{n+1}\in F({y}_{n},{x}_{n})$ satisfying

*x*and

*y*in

*X*such that ${lim}_{n\to \mathrm{\infty}}{x}_{n}=x$ and ${lim}_{n\to \mathrm{\infty}}{y}_{n}=y$, we have

- (9)and (10) imply$\underset{n\to \mathrm{\infty}}{lim}{w}_{n}=x\phantom{\rule{1em}{0ex}}\text{and}\phantom{\rule{1em}{0ex}}\underset{n\to \mathrm{\infty}}{lim}{z}_{n}=y.$

Since $F(x,y)$ and $F(y,x)$ are compact, we get $x\in F(x,y)$ and $y\in F(y,x)$. □

**Corollary 17**

*Let*$(X,M,\ast )$

*be a complete fuzzy metric space and let*$F:X\times X\to K(X)$

*be a mapping satisfying*

*for each* $x,y,u,v\in X$, $t>0$, *and* $0<k<1$. *Suppose that* $(X,M,\ast )$ *satisfies* (1) *for some* ${x}_{0},{x}_{1}\in F({x}_{0},{y}_{0})$ *and* ${y}_{0},{y}_{1}\in F({y}_{0},{x}_{0})$. *Then* *F* *has a coupled fixed point*.

**Corollary 18**

*Let*$(X,M,\ast )$

*be a complete fuzzy metric space and let*$F:X\times X\to K(X)$

*be a set*-

*valued mapping satisfying*

*for each*$x,y,u,v\in X$, $t>0$.

*Suppose that*$d(x,u,t)=\frac{t}{M(x,u,t)}-t$

*and*$\varphi :[0,\mathrm{\infty})\to [0,1)$

*is a mapping satisfying*

*for all* $t\in [0,\mathrm{\infty})$. *Furthermore*, *assume that* $(X,M,\ast )$ *satisfies* (1) *for some* ${x}_{0},{x}_{1}\in F({x}_{0},{y}_{0})$ *and* ${y}_{0},{y}_{1}\in F({y}_{0},{x}_{0})$. *Then* *F* *has a coupled fixed point*.

**Corollary 19**

*Let*$(X,M,\ast )$

*be a complete fuzzy metric space and let*$F:X\times X\to K(X)$

*be a mapping satisfying*

*for each* $x,y,u,v\in X$, $t>0$, *and* $0<k<1$. *Suppose that* $(X,M,\ast )$ *satisfies* (1) *for some* ${x}_{0},{x}_{1}\in F({x}_{0},{y}_{0})$ *and* ${y}_{0},{y}_{1}\in F({y}_{0},{x}_{0})$. *Then* *F* *has a coupled fixed point*.

Hence, for all $x,y,u,v\in X$, $t>0$, and $k=\frac{2}{3}$, (11) holds. All the conditions of Corollary 17 and Theorem 16 with $\varphi (t)=k$ are satisfied. Moreover, $(0,0)$ and $(2,2)$ are coupled fixed points of *F*.

**Example 21**Let $X=[0,1]$ be endowed with the usual metric $d(x,y)=|x-y|$ and $F(x,y)=[ln(1+x),1]$ for each $x,y\in X$. Let $M(x,y,t)=\frac{t}{t+d(x,y)}$ and let $\varphi (t)=\frac{ln(1+t)}{t}$ for each $t>0$. Then we have

for each $x,y\in X$ and $t>0$. Then by Corollary 18, *F* has a coupled fixed point ($(0,0)$ is a coupled fixed point of *F*).

**Example 22**Let $X=R$ be endowed with the usual metric $d(x,y)=|x-y|$ and let $f(x,y)=\frac{1}{2}x$ for each $x,y\in X$. Let $M(x,y,t)=\frac{t}{t+d(x,y)}$ and let $\varphi (t)=\frac{1}{2}$ for each $t>0$. Then we have

for each $x,y\in X$ and $t>0$. Then by Corollary 19, *f* has a coupled fixed point ($(0,0)$ is a coupled fixed point of *f*).

Now, as an application of the above theorem, we obtain a coupled coincidence and common fixed point theorem for a hybrid pair of multivalued and single-valued mappings.

**Theorem 23**

*Let*$(X,M,\ast )$

*be a complete fuzzy metric space and let*$F:X\times X\to K(X)$

*and*$g:X\to X$

*be mappings satisfying*

*for each*$x,y,u,v\in X$, $t>0$.

*Suppose that*$d(x,u,t)=\frac{t}{M(x,u,t)}-t$

*and*$\varphi :[0,\mathrm{\infty})\to [0,1)$

*is a mapping satisfying*

*for all*$t\in [0,\mathrm{\infty})$.

*Furthermore*,

*assume that*$F(X\times X)\subseteq g(X)$

*and*$(X,M,\ast )$

*satisfies*(1)

*for some*$g{x}_{0},g{x}_{1}\in F({x}_{0},{y}_{0})$

*and*$g{y}_{0},g{y}_{1}\in F({y}_{0},{x}_{0})$.

*Then*

*F*

*and*

*g*

*have a coupled coincidence point*.

*Moreover*,

*F*

*and*

*g*

*have a coupled common fixed point if one of the following conditions holds*:

- (a)
*F**and**g**are**w*-*compatible*, ${lim}_{n\to \mathrm{\infty}}{g}^{n}x=u$*and*${lim}_{n\to \mathrm{\infty}}{g}^{n}y=v$*for some*$(x,y)\in C(F,g)$, $u,v\in X$,*and**g**is continuous at**u**and**v*. - (b)
*g**is**F*-*weakly commuting for some*$(x,y)\in C(g,F)$,*and**gx**and**gy**are fixed points of**g*,*that is*, ${g}^{2}x=gx$*and*${g}^{2}y=gy$. - (c)
*g**is continuous at**x*,*y**for some*$(x,y)\in C(g,F)$*and for some*$u,v\in X$, ${lim}_{n\to \mathrm{\infty}}{g}^{n}u=x$*and*${lim}_{n\to \mathrm{\infty}}{g}^{n}v=y$.

*Proof*By Lemma 11 there exists $E\subseteq X$ such that $g:E\to X$ is one-to-one and $g(E)=g(X)$. Now, define a mapping $\mathcal{A}:g(E)\times g(E)\to K(X)$ by

*g*is one-one on

*E*, so $\mathcal{A}$ is well defined. Further,

*F*and

*g*have a coupled coincidence point. Since $\mathcal{A}$ has a coupled fixed point $(u,v)\in g(E)\times g(E)$, we get

*F*and

*g*. Hence, $C(F,g)$ is nonempty. Suppose now that (a) holds. Then, for some $(x,y)\in C(F,g)$,

*g*is continuous at

*u*and

*v*, we have that

*u*and

*v*are fixed points of

*g*. As

*F*and

*g*are

*w*-compatible, so

*F*and

*g*. Suppose now that (b) holds. If for some $(x,y)\in C(F,g)$,

*g*is

*F*-commuting and ${g}^{2}x=gx$ and ${g}^{2}y=gy$, then

*F*and

*g*. Suppose now that (c) holds and assume that for some $(x,y)\in C(g,F)$ and for some $u,v\in X$, ${lim}_{n\to \mathrm{\infty}}{g}^{n}u=x$ and ${lim}_{n\to \mathrm{\infty}}{g}^{n}v=y$. By the continuity of

*g*at

*x*and

*y*, we get

Hence, $(x,y)$ is a coupled common fixed point of *F* and *g*. □

## Declarations

### Acknowledgements

The authors would like to thank the editor and anonymous reviewers for their helpful comments that helped to improve the presentation of this paper. The third author was partially supported by the Center of Excellence for Mathematics, University of Shahrekord, Iran and by a grant from IPM (No. 91470412).

## Authors’ Affiliations

## References

- Bhashkar TG, Lakshmikantham V: Fixed point theorems in partially ordered metric spaces and applications.
*Nonlinear Anal. TMA*2006, 65: 1379–1393. 10.1016/j.na.2005.10.017View ArticleMathSciNetMATHGoogle Scholar - Lakshmikantham V, Ćirić L: Coupled fixed point theorems for nonlinear contractions in partially ordered metric space.
*Nonlinear Anal. TMA*2009, 70: 4341–4349. 10.1016/j.na.2008.09.020View ArticleMATHGoogle Scholar - Sabetghadam F, Masiha HP, Sanatpour AH: Some coupled fixed point theorems in cone metric space.
*Fixed Point Theory Appl.*2009., 2009: Article ID 125426Google Scholar - Zadeh LA: Fuzzy sets.
*Inf. Control*1965, 8: 103–112.MathSciNetView ArticleMATHGoogle Scholar - Kramosil I, Michalek J: Fuzzy metric and statistical metric spaces.
*Kybernetika*1975, 11: 326–334.MathSciNetMATHGoogle Scholar - George A, Veeramani P: On some results in fuzzy metric spaces.
*Fuzzy Sets Syst.*1994, 64: 395–399. 10.1016/0165-0114(94)90162-7MathSciNetView ArticleMATHGoogle Scholar - George A, Veeramani P: On some results of analysis for fuzzy metric spaces.
*Fuzzy Sets Syst.*1997, 90: 365–368. 10.1016/S0165-0114(96)00207-2MathSciNetView ArticleMATHGoogle Scholar - Ray AD, Saha PK: Fixed point theorems on generalized fuzzy metric spaces.
*Hacet. J. Math. Stat.*2010, 39: 1–9.MathSciNetMATHGoogle Scholar - Fang JX: On fixed point theorems in fuzzy metric spaces.
*Fuzzy Sets Syst.*1992, 46: 107–113. 10.1016/0165-0114(92)90271-5View ArticleMathSciNetMATHGoogle Scholar - Grabiec M: Fixed points in fuzzy metric spaces.
*Fuzzy Sets Syst.*1983, 27: 385–389.MathSciNetView ArticleMATHGoogle Scholar - Gregori V, Sapena A: On fixed-point theorems in fuzzy metric spaces.
*Fuzzy Sets Syst.*2002, 125: 245–252. 10.1016/S0165-0114(00)00088-9MathSciNetView ArticleMATHGoogle Scholar - Liu Y, Li Z: Coincidence point theorems in probabilistic and fuzzy metric spaces.
*Fuzzy Sets Syst.*2007, 158: 58–70. 10.1016/j.fss.2006.07.010View ArticleMathSciNetMATHGoogle Scholar - Miheţ D: On the existence and the uniqueness of fixed points of Sehgal contractions.
*Fuzzy Sets Syst.*2005, 156: 135–141. 10.1016/j.fss.2005.05.024View ArticleMathSciNetMATHGoogle Scholar - Miheţ D: On fuzzy contractive mappings in fuzzy metric spaces.
*Fuzzy Sets Syst.*2007, 158: 915–921. 10.1016/j.fss.2006.11.012View ArticleMathSciNetMATHGoogle Scholar - Razani A: A contraction theorem in fuzzy metric space.
*Fixed Point Theory Appl.*2005, 3: 257–265.MathSciNetMATHGoogle Scholar - Sedghi S, Altun I, Shobe N: Coupled fixed point theorems for contractions in fuzzy metric spaces.
*Nonlinear Anal.*2010, 72: 1298–1304. 10.1016/j.na.2009.08.018MathSciNetView ArticleMATHGoogle Scholar - Som T, Mukherjee RN: Some fixed point theorems for fuzzy mappings.
*Fuzzy Sets Syst.*1989, 33: 213–219. 10.1016/0165-0114(89)90242-XMathSciNetView ArticleMATHGoogle Scholar - Žikić T: On fixed point theorems of Gregori and Sapena.
*Fuzzy Sets Syst.*2004, 144: 421–429. 10.1016/S0165-0114(03)00179-9View ArticleMathSciNetMATHGoogle Scholar - Rodríguez-López J, Romaguera S: The Hausdorff fuzzy metric on compact sets.
*Fuzzy Sets Syst.*2004, 147: 273–283. 10.1016/j.fss.2003.09.007View ArticleMathSciNetMATHGoogle Scholar - Kiany F, Amini-Harandi A: Fixed point and endpoint theorems for set-valued fuzzy contraction maps in fuzzy metric spaces.
*Fixed Point Theory Appl.*2011., 2011: Article ID 94. doi:10.1186/1687–1812–2011–94Google Scholar - Abbas M, Ćirić L, Damjanović B, Khan MA: Coupled coincidence and common fixed point theorems for hybrid pair of mappings.
*Fixed Point Theory Appl.*2012. doi:10.1186/1687–1812–2012–4Google Scholar - Schweizer B, Sklar A: Statistical metric spaces.
*Pac. J. Math.*1960, 10: 314–334.MATHGoogle Scholar - Haghi RH, Rezapour SH, Shahzad N: Some fixed point generalizations are not real generalizations.
*Nonlinear Anal.*2011, 74: 1799–1803. 10.1016/j.na.2010.10.052MathSciNetView ArticleMATHGoogle 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.