# Fixed point theorems for fuzzy contractive mappings in quasi-pseudo-metric spaces

- Akbar Azam
^{1}Email author, - Muhammad Waseem
^{1}and - Maliha Rashid
^{2}

**2013**:27

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

© Azam et al.; licensee Springer 2013

**Received: **10 September 2012

**Accepted: **27 January 2013

**Published: **11 February 2013

## Abstract

In this paper, we obtain some fixed point theorems for fuzzy mappings in a left K-sequentially complete quasi-pseudo-metric space and in a right K-sequentially complete quasi-pseudo-metric space, respectively. Our analysis is based on the fact that fuzzy fixed point results can be obtained from the fixed point theorem of multivalued mappings with closed values. It is observed that there are many situations in which the mappings are not contractive on the whole space but they may be contractive on its subsets. We feel that this feature of finding the fuzzy fixed points via closed balls was overlooked, and our paper will re-open the research activity into this area.

**MSC:**6S40, 47H10, 54H25.

## Keywords

## 1 Introduction

The fixed points of fuzzy mappings were initially studied by Weiss [1] and Butnariu [2]. Then Heilpern [3] initiated the idea of fuzzy contraction mappings and proved a fixed point theorem for fuzzy contraction mappings which is a fuzzy analogue of Nadler’s [4] fixed point theorem for multivalued mappings. Afterward many authors [5–8] explored the fixed points for generalized fuzzy contractive mappings.

Gregori and Pastor [9] proved a fixed point theorem for fuzzy contraction mappings in left K-sequentially complete quasi-pseudo-metric spaces. Their result is a generalization of the result of Heilpern [3]. In [10] the authors considered a generalized contractive-type condition involving fuzzy mappings in left K-sequentially complete quasi-metric spaces and established the fixed point theorem which is an extension of [[11], Theorem 2]. Moreover, the main result of [10] is a quasi-metric version of [[11], Theorem 1]. Subsequently, several other authors studied the fixed points of fuzzy contractive mappings in quasi-pseudo-metric space.

In this paper, we establish some local versions of fixed point theorems involving fuzzy contractive mappings in left K-sequentially complete quasi-pseudo-metric spaces and right K-sequentially complete quasi-pseudo-metric spaces, respectively.

## 2 Preliminaries

Throughout this paper, the letter ℕ denotes the set of positive integers. If *A* is a subset of a topological space $(X,\tau )$, we will denote by ${cl}_{\tau}A$ the closure of *A* in $(X,\tau )$.

*X*is a nonnegative real-valued function

*d*on $X\times X$ such that, for all $x,y,z\in X$,

- (i)
$d(x,x)=0$ and

- (ii)
$d(x,y)\le d(x,z)+d(z,y)$.

A set *X* along with a quasi-pseudo-metric *d* is called a quasi-pseudo-metric space.

Each quasi-pseudo-metric *d* on *X* induces a topology $\tau (d)$ which has as a base the family of all d-balls ${B}_{\epsilon}(x)$, where ${B}_{\epsilon}(x)=\{y\in X:d(x,y)<\epsilon \}$.

If *d* is a quasi-pseudo-metric on *X*, then the function ${d}^{-1}$, defined on $X\times X$ by ${d}^{-1}(x,y)=d(y,x)$, is also a quasi-pseudo-metric on *X*. By $d\wedge {d}^{-1}$ and $d\vee {d}^{-1}$ we denote $min\{d,{d}^{-1}\}$ and $max\{d,{d}^{-1}\}$, respectively.

*d*be a quasi-pseudo-metric on

*X*. A sequence ${({x}_{n})}_{n\in \mathbb{N}}$ in

*X*is said to be

- (i)
left K-Cauchy [12] if for each $\epsilon >0$, there is a $k\in \mathbb{N}$ such that $d({x}_{n},{x}_{m})<\epsilon $ for all $n,m\in \mathbb{N}$ with $m\ge n\ge k$.

- (ii)
right K-Cauchy [12] if for each $\epsilon >0$, there is a $k\in \mathbb{N}$ such that $d({x}_{n},{x}_{m})<\epsilon $ for all $n,m\in \mathbb{N}$ with $n\ge m\ge k$.

A quasi-pseudo-metric space $(X,d)$ is said to be left (right) K-sequentially complete [12] if each left (right) K-Cauchy sequence in $(X,d)$ converges to some point in *X* (with respect to the topology $\tau (d)$).

*A*and

*B*be nonempty subsets of

*X*. Then the Hausdorff distance between subsets

*A*and

*B*is defined by

where $d(a,B)=inf\{d(a,x):x\in B\}$.

Note that $H(A,B)\ge 0$ with $H(A,B)=0$ iff $clA=clB$, $H(A,B)=H(B,A)$ and $H(A,B)\le H(A,C)+H(C,B)$ for any nonempty subset *A*, *B* and *C* of *X*. Clearly, *H* is the usual Hausdorff distance if *d* is a metric on *X*.

A fuzzy set on *X* is an element of ${I}^{X}$ where $I=[0,1]$. The *α*-level set of a fuzzy set *A*, denoted by ${A}_{\alpha}$, is defined by ${A}_{\alpha}=\{x\in X:A(x)\ge \alpha \}$ for $\alpha \in (0,1]$, ${A}_{0}=cl(\{x\in X:A(x)>0\})$ and ${[Tx]}_{\alpha}$ when $A=Tx$ and *T* is a contraction.

**Definition 2.1**Let $(X,d)$ be a quasi-pseudo-metric space and $(V,{d}_{V})$ be a metric linear space. The families ${W}^{\ast}(X)$ and ${W}^{\mathrm{\prime}}(X)$ of fuzzy sets on $(X,d)$ and $W(V)$ on $(V,{d}_{v})$ are defined by

**Definition 2.2** [13]

*H*is deduced from the quasi-pseudo-metric

*d*on

*X*,

It is easy to see that ${p}_{\alpha}$ is a non-decreasing function of *α*, and ${p}_{1}(A,B)=d({[A]}_{1},{[B]}_{1})=p(A,B)$.

**Definition 2.3** Let *X* be an arbitrary set and *Y* be any quasi-pseudo-metric space. *F* is said to be a fuzzy mapping if *F* is a mapping from *X* into ${W}^{\ast}(Y)$ (or ${W}^{\mathrm{\prime}}(Y)$).

**Definition 2.4** We say that *x* is a fixed point of the mapping $F:X\to {I}^{X}$ if $\{x\}\subset F(x)$.

Before establishing our main results, we require the following lemmas recorded from ([9, 13]).

**Lemma 2.5**

*Let*$(X,d)$

*be a quasi*-

*pseudo*-

*metric space and let*$x\in X$

*and*$A\in {W}^{\ast}(X)$ (

*or*${W}^{\mathrm{\prime}}(X)$).

*Then*$\{x\}\subseteq A$

*if and only if*

**Lemma 2.6**

*Let*$(X,d)$

*be a quasi*-

*pseudo*-

*metric space and let*$A\in {W}^{\ast}(X)$ (

*or*${W}^{\mathrm{\prime}}(X)$).

*Then*

*for any* $x,y\in X$ *and* $\alpha \in (0,1]$.

**Lemma 2.7**

*Let*$(X,d)$

*be a quasi*-

*pseudo*-

*metric space and let*$\{{x}_{0}\}\subseteq A$.

*Then*

*for each* $A,B\in {W}^{\ast}(X)$ (*or* ${W}^{\mathrm{\prime}}(X)$) *and* $\alpha \in (0,1]$.

**Lemma 2.8**

*Suppose*$K\ne \mathrm{\Phi}$

*is compact in the quasi*-

*pseudo*-

*metric space*$(X,{d}^{-1})$ (

*or*$(X,d)$).

*If*$z\in X$,

*then there exists*${k}_{0}\in K$

*such that*

## 3 Fixed point theorems for fuzzy contractive maps

In the present section, we prove the local versions of fixed point results for fuzzy contraction mappings in a left (right) K-sequentially complete quasi-pseudo-metric space.

**Theorem 3.1**

*Let*$(X,d)$

*be a left K*-

*sequentially complete quasi*-

*pseudo*-

*metric space*, ${x}_{0}\in X$, $r>0$

*and*$T:X\to {W}^{\ast}(X)$

*be a fuzzy mapping*.

*If there exists*$k\in (0,1)$

*such that*

*and*

*then there exists* ${x}^{\ast}\in {\overline{B}}_{d}({x}_{0},r)$ *such that* $\{{x}^{\ast}\}\subset T{x}^{\ast}$.

*Proof*We apply Lemma 2.8 to the nonempty ${d}^{-1}$-compact set $K={[T{x}_{0}]}_{1}$ and ${x}_{0}$ to find ${x}_{1}\in {[T{x}_{0}]}_{1}$ such that

It also implies that ${x}_{1}\in {\overline{B}}_{d}({x}_{0},r)$.

As $k\in (0,1)$ and $(X,d)$ is a left K-sequentially complete quasi-pseudo-metric space, this implies that $\{{x}_{n}\}$ is a left K-Cauchy sequence in *X*. Therefore, there exists ${x}^{\ast}\in {\overline{B}}_{d}({x}_{0},r)$ such that ${lim}_{n\to \mathrm{\infty}}{x}_{n}={x}^{\ast}$.

Lemma 2.5 yields that $\{{x}^{\ast}\}\subset T{x}^{\ast}$. □

We will furnish the following example in the support of the above result.

**Example 3.2**Let $X=\mathbb{R}\cup \{\mathrm{\Upsilon}\}$, where $\mathrm{\Upsilon}\notin \mathbb{R}$. Define $d:X\times X\u27f6[0,\mathrm{\infty})$ by $d(x,y)=|x-y|$, for all $x,y\in \mathbb{R}$, $d(\mathrm{\Upsilon},\mathrm{\Upsilon})=0$,

Then $0\in {\overline{B}}_{d}(0,1)$ such that $\{0\}\subset T0$.

When $(X,d)$ is a right K-sequentially complete quasi-pseudo-metric space, using Lemmas 2.5, 2.6, 2.7 and 2.8, for ${W}^{\mathrm{\prime}}(X)$, we get the following result.

**Theorem 3.3**

*Let*$(X,d)$

*be a right K*-

*sequentially complete quasi*-

*pseudo*-

*metric space*, ${x}_{0}\in X$, $r>0$

*and*$T:X\to {W}^{\mathrm{\prime}}(X)$

*be a fuzzy mapping*.

*If there exists*$k\in (0,1)$

*such that*

*and*

*then* *T* *has a fuzzy fixed point* ${x}^{\ast}\in {\overline{B}}_{d}({x}_{0},r)$ *such that* $\{{x}^{\ast}\}\subset T{x}^{\ast}$.

The proof of Theorem 3.3 is similar to the proof of Theorem 3.1 and therefore omitted.

**Remark 3.4** If $(X,d)$ is a left K-sequentially complete quasi-pseudo-metric space, by imposing the contractive condition on the whole space *X* in Theorem 3.1, we get the following result of Gregori and Pastor [9].

**Corollary 3.5**

*Let*$(X,d)$

*be a left K*-

*sequentially complete quasi*-

*pseudo*-

*metric space and*$T:X\to {W}^{\ast}(X)$

*be a fuzzy mapping*.

*If there exists*$k\in (0,1)$

*such that*

*then there exists* ${x}^{\ast}\in X$ *such that* $\{{x}^{\ast}\}\subset T({x}^{\ast})$.

**Theorem 3.6**

*Let*$(X,d)$

*be a left K*-

*sequentially complete quasi*-

*pseudo*-

*metric space*, ${x}_{0}\in X$, $r>0$

*and*$T:X\to {W}^{\ast}(X)$

*be a fuzzy mapping*.

*If there exists*$k\in (0,\frac{1}{2})$

*such that*

*and*

*then there exists* ${x}^{\ast}\in {\overline{B}}_{d}({x}_{0},r)$ *such that* $\{{x}^{\ast}\}\subset T{x}^{\ast}$.

*Proof*We apply Lemma 2.8 to the nonempty ${d}^{-1}$-compact set $K={[T{x}_{0}]}_{1}$ and ${x}_{0}$ to find ${x}_{1}\in {[T{x}_{0}]}_{1}$ such that

It also implies that ${x}_{1}\in {\overline{B}}_{d}({x}_{0},r)$.

Now we consider the following cases.

As $k\in (0,\frac{1}{2})$ and $(X,d)$ is a left K-sequentially complete quasi-pseudo-metric space, this implies that $\{{x}_{n}\}$ is a left K-Cauchy sequence in *X*. Therefore, there exists ${x}^{\ast}\in {\overline{B}}_{d}({x}_{0},r)$ such that ${lim}_{n\to \mathrm{\infty}}{x}_{n}={x}^{\ast}$.

Lemma 2.5 yields that $\{{x}^{\ast}\}\subset T{x}^{\ast}$. □

**Example 3.7**Let $(X,d)$ be the left K-sequentially complete quasi-pseudo-metric space of Example 3.2. Now $T:X\u27f6{W}^{\ast}(X)$ defined as

Then $0\in {\overline{B}}_{d}(0,1)$ such that $\{0\}\subset T0$.

If $(X,d)$ is a right K-sequentially complete quasi-pseudo-metric space, using Lemmas 2.5, 2.6, 2.7 and 2.8 for ${W}^{\mathrm{\prime}}(X)$, we get the following result.

**Theorem 3.8**

*Let*$(X,d)$

*be a right K*-

*sequentially complete quasi*-

*pseudo*-

*metric space*, ${x}_{0}\in X$, $r>0$

*and*$T:X\to {W}^{\mathrm{\prime}}(X)$

*be a fuzzy mapping*.

*If there exists*$k\in (0,\frac{1}{2})$

*such that*

*and*

*then* *T* *has a fuzzy fixed point* ${x}^{\ast}\in {\overline{B}}_{d}({x}_{0},r)$ *such that* $\{{x}^{\ast}\}\subset T{x}^{\ast}$.

The proof of Theorem 3.8 is similar to the proof of Theorem 3.6 and therefore omitted.

**Theorem 3.9**

*Let*$(X,d)$

*be a left K*-

*sequentially complete quasi*-

*pseudo*-

*metric space*, ${x}_{0}\in X$, $r>0$

*and*$T:X\to {W}^{\ast}(X)$

*be a fuzzy mapping*.

*If there exists*$k\in (0,\frac{1}{2})$

*such that*

*and*

*then there exists* ${x}^{\ast}\in {\overline{B}}_{d}({x}_{0},r)$ *such that* $\{{x}^{\ast}\}\subset T{x}^{\ast}$.

*Proof*We apply Lemma 2.8 to the nonempty ${d}^{-1}$-compact set $K={[T{x}_{0}]}_{1}$ and ${x}_{0}$ to find ${x}_{1}\in {[T{x}_{0}]}_{1}$ such that

It also implies that ${x}_{1}\in {\overline{B}}_{d}({x}_{0},r)$.

Now we consider the following cases.

As $k\in (0,\frac{1}{2})$ and $(X,d)$ is a left K-sequentially complete quasi-pseudo-metric space, this implies that $\{{x}_{n}\}$ is a left K-Cauchy sequence in *X*. Therefore, there exists ${x}^{\ast}\in {\overline{B}}_{d}({x}_{0},r)$ such that ${lim}_{n\to \mathrm{\infty}}{x}_{n}={x}^{\ast}$.

Lemma 2.5 yields that $\{{x}^{\ast}\}\subset T{x}^{\ast}$. □

**Example 3.10**Let $(X,d)$ be the left K-sequentially complete quasi-pseudo-metric space of Example 3.2. Now $T:X\u27f6{W}^{\ast}(X)$ defined as

Then $0\in {\overline{B}}_{d}(0,1)$ such that $\{0\}\subset T0$.

If $(X,d)$ is a right K-sequentially complete quasi-pseudo-metric space, using Lemmas 2.5, 2.6, 2.7 and 2.8 for ${W}^{\mathrm{\prime}}(X)$, we get the following result.

**Theorem 3.11**

*Let*$(X,d)$

*be a right K*-

*sequentially complete quasi*-

*pseudo*-

*metric space*, ${x}_{0}\in X$, $r>0$

*and*$T:X\to {W}^{\mathrm{\prime}}(X)$

*be a fuzzy mapping*.

*If there exists*$k\in (0,\frac{1}{2})$

*such that*

*and*

*then* *T* *has a fuzzy fixed point* ${x}^{\ast}\in {\overline{B}}_{d}({x}_{0},r)$ *such that* $\{{x}^{\ast}\}\subset T{x}^{\ast}$.

The proof of Theorem 3.11 is similar to the proof of Theorem 3.9 and therefore omitted.

## 4 Conclusion

From the application point of view, it often happens that a mapping *T* is a fuzzy contraction on a subset *Y* of *X* but not on the entire space *X*. However, if *Y* is closed, then it is complete, so that *T* has a fuzzy fixed *x* in *Y*, provided we impose a restriction on the choice of ${x}_{o}$, so that the sequence ${x}_{m}$ remains in the closed subset *Y*. In this paper, we used this method to find fixed points of fuzzy mappings on a left (right) K-sequentially complete quasi-pseudo-metric space *X*.

## Declarations

### Acknowledgements

The authors thank the referees for their useful comments and suggestions.

## Authors’ Affiliations

## References

- Weiss MD: Fixed points and induced fuzzy topologies for fuzzy sets.
*J. Math. Anal. Appl.*1975, 50: 142–150. 10.1016/0022-247X(75)90044-XMathSciNetView ArticleGoogle Scholar - Butnariu D: Fixed point for fuzzy mapping.
*Fuzzy Sets Syst.*1982, 7: 191–207. 10.1016/0165-0114(82)90049-5MathSciNetView ArticleGoogle Scholar - Heilpern S: Fuzzy mappings and fixed point theorems.
*J. Math. Anal. Appl.*1981, 83: 566–569. 10.1016/0022-247X(81)90141-4MathSciNetView ArticleGoogle Scholar - Nadler SB: Multivalued contraction mappings.
*Pac. J. Math.*1969, 30: 475–488. 10.2140/pjm.1969.30.475MathSciNetView ArticleGoogle Scholar - Abbas M, Damjanovic B, Lazovic R: Fuzzy common fixed point theorems for generalized contractive mappings.
*Appl. Math. Lett.*2010, 23: 1326–1330. 10.1016/j.aml.2010.06.023MathSciNetView ArticleGoogle Scholar - Abu-Donia HM: Common fixed points theorems for fuzzy mappings in metric spaces under
*φ*-contraction condition.*Chaos Solitons Fractals*2007, 34: 538–543. 10.1016/j.chaos.2005.03.055MathSciNetView ArticleGoogle Scholar - Azam A, Arshad M, Beg I: Fixed points of fuzzy contractive and fuzzy locally contractive maps.
*Chaos Solitons Fractals*2009, 42: 2836–2841. 10.1016/j.chaos.2009.04.026MathSciNetView ArticleGoogle Scholar - Azam A, Beg I: Common fixed points of fuzzy maps.
*Math. Comput. Model.*2009, 49: 1331–1336. 10.1016/j.mcm.2008.11.011MathSciNetView ArticleGoogle Scholar - Gregori V, Pastor J: A fixed point theorem for fuzzy contraction mappings.
*Rend. Ist. Mat. Univ. Trieste*1999, 30: 103–109.MathSciNetGoogle Scholar - Telci M, Fisher B: On a fixed point theorem for fuzzy mappings in quasi-metric spaces.
*Thai J. Math.*2003, 2: 1–8.MathSciNetGoogle Scholar - Gregori V, Romaguera S: Fixed point theorems for fuzzy mappings in quasi-metric spaces.
*Fuzzy Sets Syst.*2000, 115: 477–483. 10.1016/S0165-0114(98)00368-6MathSciNetView ArticleGoogle Scholar - Reilly IL, Subrahmanyam PV, Vamanamurthy MK: Cauchy sequences in quasi-pseudo-metric spaces.
*Monatshefte Math.*1982, 93: 127–140. 10.1007/BF01301400MathSciNetView ArticleGoogle Scholar - Telci M, Sahin I: Common fixed point theorems for fuzzy mappings in quasi-pseudo-metric spaces.
*Turk. J. Math.*2005, 29: 129–140.MathSciNetGoogle 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.