Skip to main content

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

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.

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 [58] 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,τ), we will denote by cl τ A the closure of A in (X,τ).

A quasi-pseudo-metric on a nonempty set X is a nonnegative real-valued function d on X×X such that, for all x,y,zX,

  1. (i)

    d(x,x)=0 and

  2. (ii)

    d(x,y)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 τ(d) which has as a base the family of all d-balls B ε (x), where B ε (x)={yX:d(x,y)<ε}.

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

Let d be a quasi-pseudo-metric on X. A sequence ( x n ) n N in X is said to be

  1. (i)

    left K-Cauchy [12] if for each ε>0, there is a kN such that d( x n , x m )<ε for all n,mN with mnk.

  2. (ii)

    right K-Cauchy [12] if for each ε>0, there is a kN such that d( x n , x m )<ε for all n,mN with nmk.

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 τ(d)).

Now let (X,d) be a quasi-pseudo-metric space and let A and B be nonempty subsets of X. Then the Hausdorff distance between subsets A and B is defined by

H(A,B)=max { sup a A d ( a , B ) , sup b B d ( b , A ) } ,

where d(a,B)=inf{d(a,x):xB}.

Note that H(A,B)0 with H(A,B)=0 iff clA=clB, H(A,B)=H(B,A) and H(A,B)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 α , is defined by A α ={xX:A(x)α} for α(0,1], A 0 =cl({xX:A(x)>0}) and [ T x ] α 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 (X) and W (X) of fuzzy sets on (X,d) and W(V) on (V, d v ) are defined by

Note that for a metric linear space (V, d V ),

W(V) W (V)= W (V)= { A I V : A 1 is nonempty and d - compact } I V .

Definition 2.2 [13]

Let (X,d) be a quasi-pseudo-metric space and let A,B W (X) (or W (X)) and α[0,1]. Then we define

where the Hausdorff metric H is deduced from the quasi-pseudo-metric d on X,

p(A,B)=sup { p α ( A , B ) : α ( 0 , 1 ] } ,D(A,B)=sup { D α ( A , B ) : α ( 0 , 1 ] } .

It is easy to see that p α 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 (Y) (or W (Y)).

Definition 2.4 We say that x is a fixed point of the mapping F:X I X if {x}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 xX and A W (X) (or W (X)). Then {x}A if and only if

d ( x , [ A ] 1 ) =0 ( or d ( [ A ] 1 , x ) = 0 ) .

Lemma 2.6 Let (X,d) be a quasi-pseudo-metric space and let A W (X) (or W (X)). Then

d ( x , [ A ] α ) d(x,y)+d ( y , [ A ] α ) ( or d ( [ A ] α , x ) d ( [ A ] α , y ) + d ( y , x ) )

for any x,yX and α(0,1].

Lemma 2.7 Let (X,d) be a quasi-pseudo-metric space and let { x 0 }A. Then

d ( x 0 , [ B ] α ) D α (A,B) ( or d ( [ B ] α , x 0 ) D α ( B , A ) )

for each A,B W (X) (or W (X)) and α(0,1].

Lemma 2.8 Suppose KΦ is compact in the quasi-pseudo-metric space (X, d 1 ) (or (X,d)). If zX, then there exists k 0 K such that

d(z,K)=d(z, k 0 ) ( or d ( K , z ) = d ( k 0 , z ) ) .

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 X, r>0 and T:X W (X) be a fuzzy mapping. If there exists k(0,1) such that

D(Tx,Ty)k ( d 1 d ) (x,y) for each x,y B ¯ d ( x 0 ,r)

and

d ( x 0 , [ T x 0 ] 1 ) <(1k)r,

then there exists x B ¯ d ( x 0 ,r) such that { x }T x .

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 [ T x 0 ] 1 such that

d ( x 0 , x 1 ) = d ( x 0 , [ T x 0 ] 1 ) < ( 1 k ) r .

It also implies that x 1 B ¯ d ( x 0 ,r).

We can write

kd( x 0 , x 1 )<k(1k)r.

By Lemma 2.8, choose x 2 [ T x 1 ] 1 such that

d ( x 1 , x 2 ) = d ( x 1 , [ T x 1 ] 1 ) D 1 ( T x 0 , T x 1 ) D ( T x 0 , T x 1 ) k ( d 1 d ) ( x 0 , x 1 ) k d ( x 0 , x 1 ) < k ( 1 k ) r .

We can show that x 2 B ¯ d ( x 0 ,r) since

d ( x 0 , x 2 ) d ( x 0 , x 1 ) + d ( x 1 , x 2 ) < ( 1 k ) r + k ( 1 k ) r < ( 1 k ) ( 1 + k + k 2 + ) r = r .

By Lemma 2.8, choose x 3 [ T x 2 ] 1 such that

d ( x 2 , x 3 ) = d ( x 2 , [ T x 2 ] 1 ) D 1 ( T x 1 , T x 2 ) D ( T x 1 , T x 2 ) k ( d 1 d ) ( x 1 , x 2 ) k d ( x 1 , x 2 ) k 2 d ( x 0 , x 1 ) < k 2 ( 1 k ) r .

We can show that x 3 B ¯ d ( x 0 ,r) since

d ( x 0 , x 3 ) d ( x 0 , x 1 ) + d ( x 1 , x 2 ) + d ( x 2 , x 3 ) < ( 1 k ) r + k ( 1 k ) r + k 2 ( 1 k ) r < ( 1 k ) ( 1 + k + k 2 + ) r = r .

We follow the same procedure to obtain { x n }T x n 1 such that

d( x n 1 , x n )< k n 1 d( x 0 , x 1 )< k n 1 (1k)rfor n=3,4,5,.

Now, to verify that { x n } is a left K-Cauchy sequence, for n<m, we have

d( x n , x m ) i = 0 m n 1 d( x n + i , x n + i + 1 )< i = n m 1 k i d( x 0 , x 1 )< ( k n 1 k ) d( x 0 , x 1 ).

As k(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 B ¯ d ( x 0 ,r) such that lim n x n = x .

Now, from Lemma 2.6 and Lemma 2.7, we get

d ( x , [ T x ] 1 ) d ( x , x n ) + d ( x n , [ T x ] 1 ) d ( x , x n ) + D 1 ( T x n 1 , T x ) d ( x , x n ) + D ( T x n 1 , T x ) d ( x , x n ) + k ( d 1 d ) ( x n 1 , x ) d ( x , x n ) + k d 1 ( x n 1 , x ) d ( x , x n ) + k d ( x , x n 1 )

since d( x , x n ) and d( x , x n 1 )0 as n. Thus we have

d ( x , [ T x ] 1 ) =0.

Lemma 2.5 yields that { x }T x . □

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

Example 3.2 Let X=R{ϒ}, where ϒR. Define d:X×X[0,) by d(x,y)=|xy|, for all x,yR, d(ϒ,ϒ)=0,

d(x,ϒ)= { x + 1 , x < 1 2 , 1 x 1 x + 1 , x > 1 }

and

d(ϒ,x)= { 1 x , x < 1 0 , 1 x 1 x 1 , x > 1 } ,

then (X,d) is a left K-sequentially complete quasi-pseudo-metric space. Now T:X W (X) defined as

Tx= { χ { 1 x } , x < 1 χ { x 2 } , 1 x 1 χ { x 1 } , x > 1 χ { 0 } , x = ϒ }

is a fuzzy mapping. For α(0,1],

[ T x ] α = { t X : [ T x ] ( t ) α } = { t X : χ { 1 x } ( t ) α , x < 1 t X : χ { x 2 } ( t ) α , 1 x 1 t X : χ { x 1 } ( t ) α , x > 1 t X : χ { 0 } ( t ) α , x = ϒ } = { 1 x , x < 1 x 2 , 1 x 1 x 1 , x > 1 0 , x = ϒ } .

Define D: W (X)× W (X)[0,) by

D(Tx,Ty)= sup α ( 0 , 1 ] H ( [ T x ] α , [ T y ] α ) ,for each x,y B ¯ d (0,1),

where

H ( [ T x ] α , [ T y ] α ) =max { sup a [ T x ] α d ( a , [ T y ] α ) , sup b [ T y ] α d ( b , [ T x ] α ) } .

Now, for k= 1 2 ,

D(Tx,Ty)k ( d 1 d ) (x,y)for each x,y B ¯ d (0,1),

and

d ( 0 , [ T 0 ] 1 ) <(1k).

Then 0 B ¯ d (0,1) such that {0}T0.

Note that the fuzzy mapping defined in the above example is not contractive on the whole space; for example, whenever x=2 and y=ϒ, then

D(T2,Tϒ)>k ( d 1 d ) (2,ϒ).

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 (X), we get the following result.

Theorem 3.3 Let (X,d) be a right K-sequentially complete quasi-pseudo-metric space, x 0 X, r>0 and T:X W (X) be a fuzzy mapping. If there exists k(0,1) such that

D(Tx,Ty)k ( d 1 d ) (x,y) for each x,y B ¯ d ( x 0 ,r),

and

d ( [ T x 0 ] 1 , x 0 ) <(1k)r,

then T has a fuzzy fixed point x B ¯ d ( x 0 ,r) such that { x }T x .

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 W (X) be a fuzzy mapping. If there exists k(0,1) such that

D ( T ( x ) , T ( y ) ) k ( d d 1 ) (x,y) for each x,yX,

then there exists x X such that { x }T( x ).

Theorem 3.6 Let (X,d) be a left K-sequentially complete quasi-pseudo-metric space, x 0 X, r>0 and T:X W (X) be a fuzzy mapping. If there exists k(0, 1 2 ) such that

D 1 (Tx,Ty)kmax { ( d 1 d ) ( x , y ) , d ( x , [ T x ] 1 ) + d ( y , [ T y ] 1 ) } for each x,y B ¯ d ( x 0 ,r),

and

d ( x 0 , [ T x 0 ] 1 ) <(1k)r,

then there exists x B ¯ d ( x 0 ,r) such that { x }T x .

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 [ T x 0 ] 1 such that

d ( x 0 , x 1 ) = d ( x 0 , [ T x 0 ] 1 ) < ( 1 k ) r .

It also implies that x 1 B ¯ d ( x 0 ,r).

We can write

kd( x 0 , x 1 )<k(1k)r.
(1)

Now choose x 2 X such that x 2 [ T x 1 ] 1 . By Lemma 2.8, we get

d ( x 1 , x 2 ) = d ( x 1 , [ T x 1 ] 1 ) D 1 ( T x 0 , T x 1 ) k max { ( d 1 d ) ( x 0 , x 1 ) , d ( x 0 , [ T x 0 ] 1 ) + d ( x 1 , [ T x 1 ] 1 ) } k max { d ( x 0 , x 1 ) , d ( x 0 , x 1 ) + d ( x 1 , x 2 ) } .
(2)

Now we consider the following cases.

Case 1: If we consider d( x 0 , x 1 ) as a maximum in above inequality (2) and use inequality (1), we get

d( x 1 , x 2 )kd( x 0 , x 1 )<k(1k)r.

Case 2: If we consider d( x 0 , x 1 )+d( x 1 , x 2 ) as a maximum in inequality (2), we have

d ( x 1 , x 2 ) k { d ( x 0 , x 1 ) + d ( x 1 , x 2 ) } ( k 1 k ) d ( x 0 , x 1 ) .

Note that ( k 1 k )<k, using inequality (1), we get

d( x 1 , x 2 )kd( x 0 , x 1 )<k(1k)r.

It follows from the above two cases that

d( x 1 , x 2 )<k(1k)r.

We can show that x 2 B ¯ d ( x 0 ,r) since

d ( x 0 , x 2 ) d ( x 0 , x 1 ) + d ( x 1 , x 2 ) < ( 1 k ) r + k ( 1 k ) r < ( 1 k ) ( 1 + k + k 2 + ) r = r .

We follow the same procedure to obtain { x n }T x n 1 such that

d( x n 1 , x n )< k n 1 d( x 0 , x 1 )< k n 1 (1k)rfor n=3,4,5,.

Now, to verify that { x n } is a left K-Cauchy sequence, for n<m, we have

d( x n , x m ) i = 0 m n 1 d( x n + i , x n + i + 1 )< i = n m 1 k i d( x 0 , x 1 )< ( k n 1 k ) d( x 0 , x 1 ).

As k(0, 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 B ¯ d ( x 0 ,r) such that lim n x n = x .

Now, from Lemma 2.6 and Lemma 2.7, we get

since d( x , x n ) and d( x , x n 1 ) and d( x n 1 , x n 2 )0 as n. Thus we have

Lemma 2.5 yields that { x }T x . □

Example 3.7 Let (X,d) be the left K-sequentially complete quasi-pseudo-metric space of Example 3.2. Now T:X W (X) defined as

Tx= { χ { 1 x } , x < 1 χ { x 3 } , 1 x 1 χ { x 1 } , x > 1 χ { 0 } , x = ϒ }

is a fuzzy mapping. For α(0,1],

[ T x ] α = { t X : [ T x ] ( t ) α } = { t X : χ { 1 x } ( t ) α , x < 1 t X : χ { x 3 } ( t ) α , 1 x 1 t X : χ { x 1 } ( t ) α , x > 1 t X : χ { 0 } ( t ) α , x = ϒ } = { 1 x , x < 1 x 3 , 1 x 1 x 1 , x > 1 0 , x = ϒ } .

Define D 1 : W (X)× W (X)[0,) by

D 1 (Tx,Ty)=H ( [ T x ] 1 , [ T y ] 1 ) for each x,y B ¯ d (0,1),

where

H ( [ T x ] α , [ T y ] α ) =max { sup a [ T x ] α d ( a , [ T y ] α ) , sup b [ T y ] α d ( b , [ T x ] α ) } .

Now, for k= 1 3 ,

D 1 (Tx,Ty)kmax { ( d 1 d ) ( x , y ) , d ( x , [ T x ] 1 ) + d ( y , [ T y ] 1 ) } for each x,y B ¯ d (0,1),

and

d ( 0 , [ T 0 ] 1 ) <(1k).

Then 0 B ¯ d (0,1) such that {0}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 (X), we get the following result.

Theorem 3.8 Let (X,d) be a right K-sequentially complete quasi-pseudo-metric space, x 0 X, r>0 and T:X W (X) be a fuzzy mapping. If there exists k(0, 1 2 ) such that

D 1 (Tx,Ty)kmax { ( d 1 d ) ( x , y ) , d ( [ T x ] 1 , x ) + d ( [ T y ] 1 , y ) } for each x,y B ¯ d ( x 0 ,r),

and

d ( [ T x 0 ] 1 , x 0 ) <(1k)r,

then T has a fuzzy fixed point x B ¯ d ( x 0 ,r) such that { x }T x .

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 X, r>0 and T:X W (X) be a fuzzy mapping. If there exists k(0, 1 2 ) such that

D 1 (Tx,Ty)kmax { ( d 1 d ) ( x , y ) , d ( x , [ T y ] 1 ) + d ( y , [ T x ] 1 ) } for each x,y B ¯ d ( x 0 ,r),

and

d ( x 0 , [ T x 0 ] 1 ) <(1k)r,

then there exists x B ¯ d ( x 0 ,r) such that { x }T x .

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 [ T x 0 ] 1 such that

d ( x 0 , x 1 ) = d ( x 0 , [ T x 0 ] 1 ) < ( 1 k ) r .

It also implies that x 1 B ¯ d ( x 0 ,r).

We can write

kd( x 0 , x 1 )<k(1k)r.
(3)

Now choose x 2 X such that x 2 [ T x 1 ] 1 . By Lemma 2.8, we get

d ( x 1 , x 2 ) = d ( x 1 , [ T x 1 ] 1 ) D 1 ( T x 0 , T x 1 ) k max { ( d 1 d ) ( x 0 , x 1 ) , d ( x 0 , [ T x 1 ] 1 ) + d ( x 1 , [ T x 0 ] 1 ) } k max { d ( x 0 , x 1 ) , d ( x 0 , x 2 ) + d ( x 1 , x 1 ) } k max { d ( x 0 , x 1 ) , d ( x 0 , x 1 ) + d ( x 1 , x 2 ) } .
(4)

Now we consider the following cases.

Case 1: If we consider d( x 0 , x 1 ) as a maximum in above inequality (4) and use inequality (3), we get

d( x 1 , x 2 )kd( x 0 , x 1 )<k(1k)r.

Case 2: If we consider d( x 0 , x 1 )+d( x 1 , x 2 ) as a maximum in inequality (4), we have

d ( x 1 , x 2 ) k { d ( x 0 , x 1 ) + d ( x 1 , x 2 ) } ( k 1 k ) d ( x 0 , x 1 ) .

Note that ( k 1 k )<k, using inequality (3), we get

d( x 1 , x 2 )kd( x 0 , x 1 )<k(1k)r.

It follows from the above two cases that

d( x 1 , x 2 )<k(1k)r.

We can show that x 2 B ¯ d ( x 0 ,r) since

d ( x 0 , x 2 ) d ( x 0 , x 1 ) + d ( x 1 , x 2 ) < ( 1 k ) r + k ( 1 k ) r < ( 1 k ) ( 1 + k + k 2 + ) r = r .

We follow the same procedure to obtain { x n }T x n 1 such that

d( x n 1 , x n )< k n 1 d( x 0 , x 1 )< k n 1 (1k)rfor n=3,4,5,.

Now, to verify that { x n } is a left K-Cauchy sequence, for n<m, we have

d( x n , x m ) i = 0 m n 1 d( x n + i , x n + i + 1 )< i = n m 1 k i d( x 0 , x 1 )< ( k n 1 k ) d( x 0 , x 1 ).

As k(0, 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 B ¯ d ( x 0 ,r) such that lim n x n = x .

Now, from Lemma 2.6 and Lemma 2.7, we get

since d( x , x n ) and d( x , x n 1 ) and d( x , x n 2 )0 as n. Thus we have

Lemma 2.5 yields that { x }T x . □

Example 3.10 Let (X,d) be the left K-sequentially complete quasi-pseudo-metric space of Example 3.2. Now T:X W (X) defined as

Tx= { χ { 1 x } , x < 1 χ { x 4 } , 1 x 1 χ { x 1 } , x > 1 χ { 0 } , x = ϒ }

is a fuzzy mapping. For α(0,1],

[ T x ] α = { t X : [ T x ] ( t ) α } = { t X : χ { 1 x } ( t ) α , x < 1 t X : χ { x 4 } ( t ) α , 1 x 1 t X : χ { x 1 } ( t ) α , x > 1 t X : χ { 0 } ( t ) α , x = ϒ } = { 1 x , x < 1 x 4 , 1 x 1 x 1 , x > 1 0 , x = ϒ } .

Now, for k= 1 4 ,

D 1 (Tx,Ty)kmax { ( d 1 d ) ( x , y ) , d ( x , [ T y ] 1 ) + d ( y , [ T x ] 1 ) } for each x,y B ¯ d (0,1),

and

d ( 0 , [ T 0 ] 1 ) <(1k).

Then 0 B ¯ d (0,1) such that {0}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 (X), we get the following result.

Theorem 3.11 Let (X,d) be a right K-sequentially complete quasi-pseudo-metric space, x 0 X, r>0 and T:X W (X) be a fuzzy mapping. If there exists k(0, 1 2 ) such that

D 1 (Tx,Ty)kmax { ( d 1 d ) ( x , y ) , d ( [ T y ] 1 , x ) + d ( [ T x ] 1 , y ) } for each x,y B ¯ d ( x 0 ,r),

and

d ( [ T x 0 ] 1 , x 0 ) <(1k)r,

then T has a fuzzy fixed point x B ¯ d ( x 0 ,r) such that { x }T x .

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.

References

  1. 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-X

    Article  MathSciNet  Google Scholar 

  2. Butnariu D: Fixed point for fuzzy mapping. Fuzzy Sets Syst. 1982, 7: 191–207. 10.1016/0165-0114(82)90049-5

    Article  MathSciNet  Google Scholar 

  3. Heilpern S: Fuzzy mappings and fixed point theorems. J. Math. Anal. Appl. 1981, 83: 566–569. 10.1016/0022-247X(81)90141-4

    Article  MathSciNet  Google Scholar 

  4. Nadler SB: Multivalued contraction mappings. Pac. J. Math. 1969, 30: 475–488. 10.2140/pjm.1969.30.475

    Article  MathSciNet  Google Scholar 

  5. 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.023

    Article  MathSciNet  Google Scholar 

  6. 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.055

    Article  MathSciNet  Google Scholar 

  7. 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.026

    Article  MathSciNet  Google Scholar 

  8. Azam A, Beg I: Common fixed points of fuzzy maps. Math. Comput. Model. 2009, 49: 1331–1336. 10.1016/j.mcm.2008.11.011

    Article  MathSciNet  Google Scholar 

  9. Gregori V, Pastor J: A fixed point theorem for fuzzy contraction mappings. Rend. Ist. Mat. Univ. Trieste 1999, 30: 103–109.

    MathSciNet  Google Scholar 

  10. Telci M, Fisher B: On a fixed point theorem for fuzzy mappings in quasi-metric spaces. Thai J. Math. 2003, 2: 1–8.

    MathSciNet  Google Scholar 

  11. 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-6

    Article  MathSciNet  Google Scholar 

  12. Reilly IL, Subrahmanyam PV, Vamanamurthy MK: Cauchy sequences in quasi-pseudo-metric spaces. Monatshefte Math. 1982, 93: 127–140. 10.1007/BF01301400

    Article  MathSciNet  Google Scholar 

  13. Telci M, Sahin I: Common fixed point theorems for fuzzy mappings in quasi-pseudo-metric spaces. Turk. J. Math. 2005, 29: 129–140.

    MathSciNet  Google Scholar 

Download references

Acknowledgements

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

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Akbar Azam.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.

Rights and permissions

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

Reprints and permissions

About this article

Cite this article

Azam, A., Waseem, M. & Rashid, M. Fixed point theorems for fuzzy contractive mappings in quasi-pseudo-metric spaces. Fixed Point Theory Appl 2013, 27 (2013). https://doi.org/10.1186/1687-1812-2013-27

Download citation

  • Received:

  • Accepted:

  • Published:

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

Keywords