Open Access

On the tripled fixed point and tripled coincidence point theorems in fuzzy normed spaces

Fixed Point Theory and Applications20142014:136

https://doi.org/10.1186/1687-1812-2014-136

Received: 1 January 2014

Accepted: 23 May 2014

Published: 3 June 2014

Abstract

Recently, Abbas et al. (Fixed Point Theory Appl. 2012:187, 2012) proved tripled fixed point and tripled coincidence point theorems in intuitionistic fuzzy normed spaces. Saadati and Park proved that the topology τ ( μ , ν ) generated by an intuitionistic fuzzy normed space ( X , μ , ν , , ) coincides with the topology τ μ generated by the generalized fuzzy normed space ( X , μ , ) , and thus the results obtained in intuitionistic fuzzy normed spaces are immediate consequences of the corresponding results for fuzzy normed spaces. In this paper, we improve and extend the results presented by Abbas et al. to -fuzzy normed spaces.

MSC: 47H09, 47H10, 54H25.

Keywords

-fuzzy set INFS t-norm and t-conorm tripled fixed point tripled coincidence point

1 Introduction

Intuitionistic fuzzy normed spaces were investigated by Saadati and Park [1]. They introduced and studied intuitionistic fuzzy normed spaces based both on the idea of intuitionistic fuzzy sets due to Atanassov [2] and the concept of fuzzy normed spaces given by Saadati and Vaezpour in [3]. In [4] Saadati and Park proved that the topology τ ( μ , ν ) generated by an intuitionistic fuzzy normed space ( X , μ , ν , , ) coincides with the topology τ μ generated by the generalized fuzzy normed space ( X , μ , ) , and thus the results obtained in intuitionistic fuzzy normed spaces are immediate consequences of the corresponding results for fuzzy normed spaces. For improving this problem, Deschrijver et al. [5] modified the concept of intuitionistic fuzzy normed spaces and introduced the notation of -fuzzy normed space.

Fixed point theorems have been studied in many contexts, one of which is the fuzzy setting. The concept of fuzzy sets was initially introduced by Zadeh [6] in 1965. To use this concept in topology and analysis, many authors have extensively developed the theory of fuzzy sets and its applications. One of the most interesting research topics in fuzzy topology is to find an appropriate definition of fuzzy metric space for its possible applications in several areas. It is well known that a fuzzy metric space is an important generalization of the metric space. Many authors have considered this problem and have introduced it in different ways. For instance, George and Veeramani [7] modified the concept of a fuzzy metric space introduced by Kramosil and Michalek [8] and defined the Hausdorff topology of a fuzzy metric space. There exists considerable literature about fixed point properties for mappings defined on fuzzy metric spaces, which have been studied by many authors (see [913]). Zhu and Xiao [14] and Hu [15] gave a coupled fixed point theorem for contractions in fuzzy metric spaces (see also [16]). Recently, Abbas et al. [17] proved tripled fixed point and tripled coincidence point theorems in intuitionistic fuzzy normed spaces. In this paper we present some shorter proofs for Abbas et al.’s results in -fuzzy normed space, which is not a trivial generalization of fuzzy normed space.

2 Fuzzy normed spaces

A binary operation : [ 0 , 1 ] × [ 0 , 1 ] [ 0 , 1 ] is a continuous t-norm if it satisfies the following conditions:
  1. (a)

    is associative and commutative;

     
  2. (b)

    is continuous;

     
  3. (c)

    a 1 = a for all a [ 0 , 1 ] ;

     
  4. (d)

    a b c d whenever a c and b d , for each a , b , c , d [ 0 , 1 ] .

     

Two typical examples of continuous t-norm are a b = a b and a b = min ( a , b ) .

A binary operation : [ 0 , 1 ] × [ 0 , 1 ] [ 0 , 1 ] is a continuous t-conorm if it satisfies the following conditions:
  1. (a)

    is associative and commutative;

     
  2. (b)

    is continuous;

     
  3. (c)

    a 0 = a for all a [ 0 , 1 ] ;

     
  4. (d)

    a b c d whenever a c and b d , for each a , b , c , d [ 0 , 1 ] .

     

Two typical examples of continuous t-conorm are a b = min ( a + b , 1 ) and a b = max ( a , b ) .

In 2005, Saadati and Vaezpour [3] introduced the concept of fuzzy normed spaces.

Definition 2.1 Let X be a real vector space. A function μ : X × R [ 0 , 1 ] is called a fuzzy norm on X if for all x , y X and all s , t R :

( μ 1 ) μ ( x , t ) = 0 for t 0 ;

( μ 2 ) x = 0 if and only if μ ( x , t ) = 1 for all t > 0 ;

( μ 3 ) μ ( c x , t ) = μ ( x , t | c | ) if c 0 ;

( μ 4 ) μ ( x + y , s + t ) μ ( x , s ) μ ( y , t ) ;

( μ 5 ) μ ( x , ) is a non-decreasing function of and lim t μ ( x , t ) = 1 ;

( μ 6 ) for x 0 , μ ( x , ) is continuous on .

For example, if a b = a b for a , b [ 0 , 1 ] , ( X , ) is a normed space and
μ ( x , t ) = t t + x

for all x , y , z X and t > 0 . Then μ is a (standard) fuzzy normed and ( X , μ , ) is a fuzzy normed space.

Saadati and Vaezpour showed in [3] that every fuzzy norm ( μ , ) on X generates a first countable topology τ μ on X which has as a base the family of open sets of the form { B μ ( x , r , t ) : x X , r ( 0 , 1 ) , t > 0 } where B μ ( x , r , t ) = { y X : μ ( x y , t ) > 1 r } for all x X , r ( 0 , 1 ) and t > 0 .

3 Intuitionistic fuzzy normed spaces

Saadati and Park [1] defined the notion of intuitionistic fuzzy normed spaces with the help of continuous t-norms and continuous t-conorms as a generalization of fuzzy normed space due to Saadati and Vaezpour [3].

Definition 3.1 The 5-tuple ( X , μ , ν , , ) is said to be an intuitionistic fuzzy normed space if X is a vector space, is a continuous t-norm, is a continuous t-conorm, and μ, ν are fuzzy sets on X × ( 0 , ) satisfying the following conditions for every x , y X and t , s > 0 :
  1. (a)

    μ ( x , t ) + ν ( x , t ) 1 ;

     
  2. (b)

    μ ( x , t ) > 0 ;

     
  3. (c)

    μ ( x , t ) = 1 if and only if x = 0 ;

     
  4. (d)

    μ ( α x , t ) = μ ( x , t | α | ) for each α 0 ;

     
  5. (e)

    μ ( x , t ) μ ( y , s ) μ ( x + y , t + s ) ;

     
  6. (f)

    μ ( x , ) : ( 0 , ) [ 0 , 1 ] is continuous;

     
  7. (g)

    lim t μ ( x , t ) = 1 and lim t 0 μ ( x , t ) = 0 ;

     
  8. (h)

    ν ( x , t ) < 1 ;

     
  9. (i)

    ν ( x , t ) = 0 if and only if x = 0 ;

     
  10. (j)

    ν ( α x , t ) = ν ( x , t | α | ) for each α 0 ;

     
  11. (k)

    ν ( x , t ) ν ( y , s ) ν ( x + y , t + s ) ;

     
  12. (l)

    ν ( x , ) : ( 0 , ) [ 0 , 1 ] is continuous;

     
  13. (m)

    lim t ν ( x , t ) = 0 and lim t 0 ν ( x , t ) = 1 .

     

In this case ( μ , ν ) is called an intuitionistic fuzzy norm.

Example 3.2 Let ( X , ) be a normed space. Denote a b = a b and a b = min ( a + b , 1 ) for all a , b [ 0 , 1 ] and let μ and ν be fuzzy sets on X × ( 0 , ) defined as follows:
μ ( x , t ) = t t + x , ν ( x , t ) = x t + x

for all t R + . Then ( X , μ , ν , , ) is an intuitionistic fuzzy normed space.

Saadati and Park proved in [1] that every intuitionistic fuzzy norm ( μ , ν ) on X generates a first countable topology τ ( μ , ν ) on X which has as a base the family of open sets of the form { B ( μ , ν ) ( x , r , t ) : x X , r ( 0 , 1 ) , t > 0 } where B ( μ , ν ) ( x , r , t ) = { y X : μ ( x y , t ) > 1 r , ν ( x y , t ) < r } for all x X , r ( 0 , 1 ) and t > 0 .

Lemma 3.3 ([4])

Let ( X , μ , ν , , ) be an intuitionistic fuzzy normed space. Then, for each x X , r ( 0 , 1 ) and t > 0 we have B ( μ , ν ) ( x , r , t ) = B μ ( x , r , t ) .

From Lemma 3.3, we deduce the following.

Theorem 3.4 Let ( X , μ , ν , , ) be an intuitionistic fuzzy normed space. Then the topologies τ ( μ , ν ) and τ μ coincide on X.

4 -Fuzzy normed spaces

Definition 4.1 ([18])

Let L = ( L , L ) be a complete lattice and U a non-empty set called universe. An -fuzzy set L on U is defined as a mapping A : U L . For each u in U, A ( u ) represents the degree (in L) to which u satisfies L .

Lemma 4.2 ([19])

Consider the set L and operation L defined by
L = { ( x 1 , x 2 ) : ( x 1 , x 2 ) [ 0 , 1 ] 2  and  x 1 + x 2 1 } ,

( x 1 , x 2 ) L ( y 1 , y 2 ) x 1 y 1 and x 2 y 2 , for every ( x 1 , x 2 ) , ( y 1 , y 2 ) L . Then ( L , L ) is a complete lattice.

Definition 4.3 ([2])

An intuitionistic fuzzy set A ζ , η on a universe U is an object A ζ , η = { ( ζ A ( u ) , η A ( u ) ) : u U } , where, for all u U , ζ A ( u ) [ 0 , 1 ] and η A ( u ) [ 0 , 1 ] are called the membership degree and the non-membership degree, respectively, of u in A ζ , η , and they furthermore satisfy ζ A ( u ) + η A ( u ) 1 .

Classically, a triangular norm T on ( [ 0 , 1 ] , ) is defined as an increasing, commutative, associative mapping T : [ 0 , 1 ] 2 [ 0 , 1 ] satisfying T ( 1 , x ) = x , for all x [ 0 , 1 ] . These definitions can be straightforwardly extended to any lattice L = ( L , L ) . Define first 0 L = inf L and 1 L = sup L .

Definition 4.4 A triangular norm (t-norm) on is a mapping T : L 2 L satisfying the following conditions:
  1. (i)

    ( x L ) ( T ( x , 1 L ) = x ) (boundary condition);

     
  2. (ii)

    ( ( x , y ) L 2 ) ( T ( x , y ) = T ( y , x ) ) (commutativity);

     
  3. (iii)

    ( ( x , y , z ) L 3 ) ( T ( x , T ( y , z ) ) = T ( T ( x , y ) , z ) ) (associativity);

     
  4. (iv)

    ( ( x , x , y , y ) L 4 ) ( x L x  and  y L y T ( x , y ) L T ( x , y ) ) (monotonicity).

     
A t-norm can also be defined recursively as an ( n + 1 ) -ary operation ( n N { 0 } ) by T 1 = T and
T n ( x ( 1 ) , , x ( n + 1 ) ) = T ( T n 1 ( x ( 1 ) , , x ( n ) ) , x ( n + 1 ) )

for n 2 and x ( i ) L .

The t-norm M defined by
M ( x , y ) = { x if  x L y , y if  y L x

is a continuous t-norm.

Definition 4.5 ([20])

A t-norm T on L is called t-representable if and only if there exist a t-norm T and a t-conorm S on [ 0 , 1 ] such that, for all x = ( x 1 , x 2 ) , y = ( y 1 , y 2 ) L ,
T ( x , y ) = ( T ( x 1 , y 1 ) , S ( x 2 , y 2 ) ) .

Definition 4.6 A negation on is any strictly decreasing mapping N : L L satisfying N ( 0 L ) = 1 L and N ( 1 L ) = 0 L . If N ( N ( x ) ) = x , for all x L , then N is called an involutive negation.

In this paper, N : L L is fixed. The negation N s on ( [ 0 , 1 ] , ) defined, for all x [ 0 , 1 ] , by N s ( x ) = 1 x , is called the standard negation on ( [ 0 , 1 ] , ) .

Definition 4.7 The 3-tuple ( X , P , T ) is said to be an -fuzzy normed space if X is a vector space, T is a continuous t-norm on and L is an -fuzzy set on X × ] 0 , + [ satisfying the following conditions for every x, y in X and t, s in ] 0 , + [ :
  1. (a)

    0 L < L P ( x , t ) ;

     
  2. (b)

    P ( x , t ) = 1 L if and only if x = 0 ;

     
  3. (c)

    P ( α x , t ) = P ( x , t | α | ) for each α 0 ;

     
  4. (d)

    T ( P ( x , t ) , P ( y , s ) ) L P ( x + y , t + s ) ;

     
  5. (e)

    P ( x , ) : ] 0 , [ L is continuous;

     
  6. (f)

    lim t 0 P ( x , t ) = 0 L and lim t P ( x , t ) = 1 L .

     

In this case P is called an -fuzzy norm. If P = P μ , ν is an intuitionistic fuzzy set and the t-norm T is t-representable, then the 3-tuple ( X , P μ , ν , T ) is said to be an intuitionistic fuzzy normed space.

Definition 4.8 A sequence { x n } n N in an -fuzzy normed space ( X , P , T ) is called a Cauchy sequence if for each ε L { 0 L } and t > 0 , there exists n 0 N such that
N ( ε ) < L P ( x n x m , t )

for each n , m n 0 ; here N is an involutive negation. The sequence { x n } n N is said to be convergent to x X in the -fuzzy normed space ( X , P , T ) and denoted by x n P x if P ( x n x , t ) 1 L whenever n + for every t > 0 . An -fuzzy normed space is said to be complete if and only if every Cauchy sequence is convergent.

Lemma 4.9 ([21])

Let P be an -fuzzy norm on X. Then:
  1. (i)

    P ( x , t ) is non-decreasing with respect to t, for all x in X;

     
  2. (ii)

    P ( x y , t ) = P ( y x , t ) , for all x , y in X and t ] 0 , + [ .

     
Definition 4.10 Let ( X , P , T ) be an -fuzzy normed space. For t ] 0 , + [ , we define the open ball B ( x , r , t ) with center x X and radius r L { 0 L , 1 L } , as
B ( x , r , t ) = { y X : N ( r ) < L P ( x y , t ) } .

A subset A X is called open if for each x A , there exist t > 0 and r L { 0 L , 1 L } such that B ( x , r , t ) A . Let τ P denote the family of all open subsets of X. Then τ P is called the topology induced by the -fuzzy norm P .

A subset A X is called compact if every open covering has a finite sub-covering. Also a subset A X is called closed if from x n A , for all n N , and x n P x it follows that x A .

Theorem 4.11 Let ( X , P , T ) be an -fuzzy normed space. A subset A X is closed if and only if X A is open.

Remark 4.12 ([7])

In an -fuzzy normed space ( X , P , T ) whenever N ( r ) < L P ( x , t ) for x X , t > 0 and r L { 0 L , 1 L } , we can find a 0 < t 0 < t such that N ( r ) < L P ( x , t 0 ) .

Corollary 4.13 Let B ( x , r , t ) be an open ball in an -fuzzy normed space and let z be a member of it. Then there exists 0 < t 0 < t such that z B ( x , r , t 0 ) .

Definition 4.14 Let ( X , P , T ) be an -fuzzy normed space. A subset A of X is said to be L F -bounded if there exist t > 0 and r L { 0 L , 1 L } such that N ( r ) < L P ( x , t ) for each x A .

Theorem 4.15 In an -fuzzy normed space every compact set is closed and L F -bounded.

Definition 4.16 Let X and Y be two -fuzzy normed spaces. A function g : X Y is said to be continuous at a point x 0 X if for any sequence { x n } in X converging to a point x 0 X , the sequence { g ( x n ) } in Y converges to g ( x 0 ) Y . If g is continuous at each x X , then g : X Y is said to be continuous on X.

Example 4.17 ([17])

Let ( X , ) be an ordinary normed space and ϕ be an increasing and continuous function from R + into ( 0 , 1 ) such that lim t ϕ ( t ) = 1 . Four typical examples of these functions are as follows:
ϕ ( t ) = t t + 1 , ϕ ( t ) = sin ( π t 2 t + 1 ) , ϕ ( t ) = 1 e t , ϕ ( t ) = e 1 t .
Let L = [ 0 , 1 ] and T = M = min . For any t ( 0 , ) , we define
P ( x , t ) = [ ϕ ( t ) ] x , x X ,

then ( X , P , min ) is a fuzzy normed space.

Lemma 4.18 ([22, 23])

Let ( X , P , M ) be an -fuzzy normed space. Let { x n } be a sequence in X. If
P ( x n + 1 x n , k t ) L P ( x n x n 1 , t )

for some k > 1 , n N and t > 0 , then the sequence { x n } is Cauchy.

Lemma 4.19 Let ( X , P , M ) be an -fuzzy normed space. Define
Q ( x , y , z , t ) = M ( P ( x , t ) , P ( y , t ) , P ( z , t ) )

for all x , y , z X and t > 0 . Then Q define an -fuzzy norm on X 3 × ( 0 , ) .

Proof Let Q ( x , y , z , t ) = 1 L then M ( P ( x , t ) , P ( y , t ) , P ( z , t ) ) = 1 L , which implies that x = y = z = 0 , the converse is trivial,
Q ( α x , α y , α z , t ) = M ( P ( α x , t ) , P ( α y , t ) , P ( α z , t ) ) = M ( P ( x , t α ) , P ( y , t α ) , P ( z , t α ) ) = Q ( x , y , z , t α )
for x , y , z X , α 0 and t > 0 ,
Q ( x + x , y + y , z + z , t + s ) = M ( P ( x + x , t + s ) , P ( y + y , t + s ) , P ( z + z , t + s ) ) M ( P ( x , t ) , P ( x , s ) , P ( y , t ) , P ( y , s ) , P ( z , t ) , P ( z , s ) ) = M ( [ P ( x , t ) , P ( y , t ) , P ( z , t ) ] , [ P ( x , s ) , P ( y , s ) , P ( z , s ) ] ) = M ( Q ( x , y , z , t ) , Q ( x , y , z , s ) )

for x , y , z , x , y , z X and t , s > 0 . □

Lemma 4.20 Let Q be an -fuzzy norm on X 3 × ( 0 , ) . If
Q ( x n + 1 x n , y n + 1 y n , z n + 1 z n , k t ) L Q ( x n x n 1 , y n y n 1 , z n z n 1 , t )

for some k > 1 , n N and t > 0 , then the sequences { x n } , { y n } , and { z n } are Cauchy.

Proof By Lemmas 4.18 and 4.19 the proof is easy. □

Definition 4.21 ([24])

Let X be a non-empty set. An element ( x , y , z ) X × X × X is called a tripled fixed point of F : X × X × X X if
x = F ( x , y , z ) , y = F ( y , x , y ) and z = F ( z , y , x ) .
Definition 4.22 Let X be a non-empty set. An element ( x , y , z ) X × X × X is called a tripled coincidence point of mappings F : X × X × X X and g : X X if
g ( x ) = F ( x , y , z ) , g ( y ) = F ( y , x , y ) and g ( z ) = F ( z , y , x ) .

Definition 4.23 ([24])

Let ( X , ) be a partially ordered set. A mapping F : X × X × X X is said to have the mixed monotone property if F is monotone non-decreasing in its first and third argument and is monotone non-increasing in its second argument, that is, for any x , y , z X
x 1 , x 2 X , x 1 x 2 F ( x 1 , y , z ) F ( x 2 , y , z ) , y 1 , y 2 X , y 1 y 2 F ( x , y 2 , z ) F ( x , y 1 , z )
and
z 1 , z 2 X , z 1 z 2 F ( x , y , z 1 ) F ( x , y , z 2 ) .
Definition 4.24 Let ( X , ) be a partially ordered set, and g : X X . A mapping F : X × X × X X is said to have the mixed g-monotone property if F is monotone g-non-decreasing in its first and third argument and is monotone g-non-increasing in its second argument, that is, for any x , y , z X
x 1 , x 2 X , g ( x 1 ) g ( x 2 ) F ( x 1 , y , z ) F ( x 2 , y , z ) , y 1 , y 2 X , g ( y 1 ) g ( y 2 ) F ( x , y 2 , z ) F ( x , y 1 , z )
and
z 1 , z 2 X , g ( z 1 ) g ( z 2 ) F ( x , y , z 1 ) F ( x , y , z 2 ) .

Lemma 4.25 ([25])

Let X be a non-empty set and g : X X be a mapping. Then there exists a subset E X such that g ( E ) = g ( X ) and g : E X is one-to-one.

5 Main results

Theorem 5.1 Let ( X , P , M ) be a complete -fuzzy normed space, be a partial order on X. Suppose that F : X × X × X X has mixed monotone property and
P ( F ( x , y , z ) F ( u , v , w ) , k t ) L M ( P ( x u , t ) , P ( y v , t ) , P ( z w , t ) )
(5.1)
for all those x, y, z, u, v, w in X for which x u , y v , z w , where 0 < k < 1 . If either
  1. (a)

    F is continuous or

     
  2. (b)
    X has the following properties:
    1. (bi)

      if { x n } is a non-decreasing sequence and lim n x n = x then x n x for all n N ,

       
    2. (bii)

      if { y n } is a non-decreasing sequence and lim n y n = y then y n y for all n N ,

       
    3. (biii)

      if { z n } is a non-decreasing sequence and lim n z n = y then z n z for all n N ,

       
     
then F has a tripled fixed point provided that there exist x 0 , y 0 , z 0 X such that
x 0 F ( x 0 , y 0 , z 0 ) , y 0 F ( y 0 , x 0 , y 0 ) , z 0 F ( z 0 , y 0 , x 0 ) .
Proof Let x 0 , y 0 , z 0 X be such that
x 0 F ( x 0 , y 0 , z 0 ) , y 0 F ( y 0 , x 0 , y 0 ) , z 0 F ( z 0 , y 0 , x 0 ) .
As F ( X × X × X ) X , so we can construct sequences { x n } , { y n } and { z n } in X such that
x n + 1 = F ( x n , y n , z n ) , y n + 1 = F ( y n , x n , y n ) , z n + 1 = F ( z n , y n , x n ) , n 0 .
(5.2)
Now we show that
x n x n + 1 , y n y n + 1 , z n z n + 1 , n 0 .
(5.3)
Since
x 0 F ( x 0 , y 0 , z 0 ) , y 0 F ( y 0 , x 0 , y 0 ) , z 0 F ( z 0 , y 0 , x 0 ) ,
(5.3) holds for n = 0 . Suppose that (5.3) holds for any n 0 . That is,
x n x n + 1 , y n y n + 1 , z n z n + 1 .
(5.4)
As F has the mixed monotone property, by (5.4) we obtain
{ F ( x n , y , z ) F ( x n + 1 , y , z ) , (i) F ( x , y n , z ) F ( x , y n + 1 , z ) , (ii) F ( x , y , z n ) F ( x , y , z n + 1 ) , (iii) |
which on replacing y by y n and z by z n in (i) implies that F ( x n , y n , z n ) F ( x n + 1 , y n , z n ) , replacing x by x n + 1 and z by z n in (ii), we obtain F ( x n + 1 , y n , z n ) F ( x n + 1 , y n + 1 , z n ) , replacing y by y n + 1 and x by x n + 1 in (iii), we get F ( x n + 1 , y n + 1 , z n ) F ( x n + 1 , y n + 1 , z n + 1 ) . Thus we have F ( x n , y n , z n ) F ( x n + 1 , y n + 1 , z n + 1 ) , that is, x n + 1 x n + 2 . Similarly, we have
{ F ( y , x , y n + 1 ) F ( y , x , y n ) , (iv) F ( y n + 1 , x , y ) F ( y n , x , y ) , (v) F ( y , x n + 1 , y ) F ( y , x n , y ) , (vi) |
which on replacing y by y n + 1 and x by x n + 1 in (iv) implies that F ( y n + 1 , x n + 1 , y n + 1 ) F ( y n + 1 , x n + 1 , y n ) , replacing x by x n + 1 and y by y n + 1 in (v), we obtain F ( y n + 1 , x n + 1 , y n ) F ( y n , x n + 1 , y n ) , replacing y by y n in (vi), we get F ( y n , x n + 1 , y n ) F ( y n , x n , y n ) . Thus we have F ( y n + 1 , x n + 1 , y n + 1 ) F ( y n , x n , y n ) , that is, y n + 2 y n + 1 . Similarly, we have
{ F ( z n , y , x ) F ( z n + 1 , y , x ) , (vii) F ( z , y n , x ) F ( z , y n + 1 , x ) , (viii) F ( z , y , x n ) F ( z , y , x n + 1 ) , (xi) |
which on replacing y by y n and x by x n in (vii) implies that F ( z n , y n , x n ) F ( z n + 1 , y n , x n ) , replacing x by x n and z by z n + 1 in (viii), we obtain F ( z n + 1 , y n , x n ) F ( z n + 1 , y n + 1 , x n ) , replacing y by y n + 1 and z by z n + 1 in (xi), we get F ( z n + 1 , y n + 1 , x n ) F ( z n + 1 , y n + 1 , x n + 1 ) . Thus we have F ( z n , y n , x n ) F ( z n + 1 , y n + 1 , x n + 1 ) , that is, z n + 1 z n + 2 . So by induction, we conclude that (5.4) holds for all n 0 , that is
x 0 x 1 x 2 x n x n + 1 ,
(5.5)
y 0 y 1 y 2 y n y n + 1 ,
(5.6)
z 0 z 1 z 2 z n z n + 1 .
(5.7)
Consider
P ( x n x n + 1 , k t ) = P ( F ( x n 1 , y n 1 , z n 1 ) F ( x n , y n , z n ) , k t ) L M ( P ( x n 1 x n , t ) , P ( y n 1 y n , t ) , P ( z n 1 z n , t ) ) = Q ( x n 1 x n , y n 1 y n , z n 1 z n , t ) .
(5.8)
Also,
P ( z n z n + 1 , k t ) = P ( F ( z n 1 , y n 1 , x n 1 ) F ( z n , y n , x n ) , k t ) L M ( P ( z n 1 z n , t ) , P ( y n 1 y n , t ) , P ( x n 1 x n , t ) ) = M ( P ( x n 1 x n , t ) , P ( y n 1 y n , t ) , P ( z n 1 z n , t ) ) = Q ( x n 1 x n , y n 1 y n , z n 1 z n , t ) .
(5.9)
Now,
P ( y n y n + 1 , k t ) = P ( F ( y n 1 , x n 1 , y n 1 ) F ( y n , x n , y n ) , k t ) L μ ( y n 1 y n , t ) μ ( x n 1 x n , t ) μ ( y n 1 y n , t ) = M ( P ( y n 1 y n , t ) , P ( x n 1 x n , t ) , P ( y n 1 y n , t ) ) L M ( P ( y n 1 y n , t ) , P ( x n 1 x n , t ) , P ( y n 1 y n , t ) , P ( z n 1 z n , t ) , P ( z n 1 z n , t ) , P ( x n 1 x n , t ) ) L Q ( x n 1 x n , y n 1 y n , z n 1 z n , t ) .
(5.10)
By (5.8)-(5.10), we obtain
Q ( x n x n + 1 , y n y n + 1 , z n z n + 1 , k t ) L Q ( x n 1 x n , y n 1 y n , z n 1 z n , t )
for t > 0 . By Lemma 4.20 we conclude that { x n } , { y n } , and { z n } are Cauchy sequences in X. Since X is complete, there exist x, y, and z such that lim n x n = x , lim n y n = y , and lim n z n = z . If the assumption (a) does hold, then we have
x = lim n x n + 1 = lim n F ( x n , y n , z n ) x = F ( lim n x n , lim n y n , lim n z n ) = F ( x , y , z ) , y = lim n y n + 1 = lim n F ( y n , x n , y n ) y = F ( lim n y n , lim n x n , lim n y n ) = F ( y , x , y )
and
z = lim n z n + 1 = lim n F ( z n , y n , x n ) = F ( lim n z n , lim n y n , lim n x n ) = F ( z , y , x ) .
Suppose that assumption (b) holds then
P ( x n + 1 F ( x , y , z ) , k t ) = P ( F ( x n , y n , z n ) F ( x , y , z ) , k t ) L P ( x n x , y n y , z n z , t ) ,
which, on taking the limit as n , gives P ( x F ( x , y , z ) , k t ) = 1 L , x = F ( x , y , z ) . Also,
P ( y n + 1 F ( y , x , y ) , k t ) = P ( F ( y n , x n , y n ) F ( y , x , y ) , k t ) L P ( y n y , x n x , y n y , t ) ,
which on taking the limit as n , implies P ( y F ( y , x , y ) , k t ) = 1 L , y = F ( y , x , y ) . Finally, we have
P ( z n + 1 F ( z , y , x ) , k t ) = P ( F ( z n , y n , x n ) F ( z , y , x ) , k t ) L P ( z n z , y n y , x n x , t ) ,

which on taking the limit as n , gives P ( z F ( z , y , x ) , k t ) = 1 L , z = F ( z , y , x ) . □

Theorem 5.2 Let ( X , P , M ) be a complete -fuzzy normed space, be a partial order on X. Let F : X × X × X X , and g : X X be mappings such that F has a mixed g-monotone property and
P ( F ( x , y , z ) F ( u , v , w ) , k t ) L M ( P ( g x g u , t ) , P ( g y g v , t ) , P ( g z g w , t ) )
(5.11)
for all those x, y, z, and u, v, w for which g x g u , g y g v , g z g w , where 0 < k < 1 . Assume that g ( X ) is complete, F ( X × X × X ) g ( X ) and g is continuous. If either
  1. (a)

    F is continuous or

     
  2. (b)
    X has the following properties:
    1. (bi)

      if { x n } is a non-decreasing sequence and lim n x n = x then x n x for all n N ,

       
    2. (bii)

      if { y n } is a non-decreasing sequence and lim n y n = y then y n y for all n N , and

       
    3. (biii)

      if { z n } is a non-decreasing sequence and lim n z n = y then z n z for all n N ,

       
     
then F has a tripled coincidence point provided that there exist x 0 , y 0 , z 0 X such that
g ( x 0 ) F ( x 0 , y 0 , z 0 ) , g ( y 0 ) F ( y 0 , x 0 , y 0 ) , g ( z 0 ) F ( z 0 , y 0 , x 0 ) .
Proof By Lemma 4.25, there exists E X such that g : E X is one-to-one and g ( E ) = g ( X ) . Now define a mapping A : g ( E ) × g ( E ) × g ( E ) X , by
A ( g x , g y , g z ) = F ( x , y , z ) , x , y , z X .
(5.12)
Since g is one-to-one, so L is well defined. Now, (5.11) and (5.12) implies that
P ( A ( g x , g y , g z ) A ( g u , g v , g w ) , k t ) L M ( P ( g x g u , t ) , P ( g y g v , t ) , P ( g z g w , t ) )
(5.13)
for all x , y , z , u , v , w E for which g x g u , g y g v , g z g w . Since F has a mixed g-monotone property for all x , y , z X , so we have
x 1 , x 2 X , g ( x 1 ) g ( x 2 ) F ( x 1 , y , z ) F ( x 2 , y , z ) , y 1 , y 2 X , g ( y 1 ) g ( y 2 ) F ( x , y 2 , z ) F ( x , y 1 , z ) and z 1 , z 2 X , g ( z 1 ) g ( z 2 ) F ( x , y , z 1 ) F ( x , y , z 2 ) .
(5.14)
Now, from (5.12) and (5.14) we have
x 1 , x 2 X , g ( x 1 ) g ( x 2 ) A ( g x 1 , g y , g z ) A ( g x 2 , g y , g z ) , y 1 , y 2 X , g ( y 1 ) g ( y 2 ) A ( g x , g y 2 , g z ) A ( g x , g y 1 , g z ) , z 1 , z 2 X , g ( z 1 ) g ( z 2 ) A ( g x , g y , g z 1 ) A ( g x , g y , g z 2 ) .
(5.15)
Hence L has a mixed monotone property. Suppose that assumption (a) holds. Since F is continuous, L is also continuous. By using Theorem 5.1, L has a tripled fixed point ( u , v , w ) g ( E ) × g ( E ) × g ( E ) . If assumption (b) holds, then using the definition of L , following similar arguments to those given in Theorem 5.1, L has a tripled fixed point ( u , v , w ) g ( E ) × g ( E ) × g ( E ) . Finally, we show that F and g have tripled coincidence point. Since L has a tripled fixed point ( u , v , w ) g ( E ) × g ( E ) × g ( E ) we get
u = A ( u , v , w ) , v = A ( v , u , v ) , w = A ( w , u , v ) .
(5.16)
Hence, there exist u 1 , v 1 , w 1 X × X × X such that g u 1 = u , g v 1 = v , and g w 1 = w . Now, it follows from (5.16) that
g u 1 = A ( g u 1 , g v 1 , w ) = F ( u 1 , v 1 , w 1 ) , g v 1 = A ( g v 1 , g u 1 , g v 1 ) = F ( v 1 , u 1 , v 1 ) and g w 1 = A ( g w 1 , g u 1 , g v 1 ) = F ( w 1 , v 1 , u 1 ) .

Thus ( u 1 , v 1 , w 1 ) X × X × X is a tripled coincidence point of F and g. □

Example 5.3 ([17])

Let X = R . Consider Example 4.17 and let ϕ : R + ( 0 , 1 ) be defined by ϕ ( t ) = e 1 t for all t R + . Then
P ( x , t ) = [ ϕ ( t ) ] | x |

for all x X and t > 0 .

If X is endowed with the usual order as x y x y 0 , then ( X , ) is a partially ordered set. Define mappings F : X × X × X X , and g : X X by
F ( x , y , z ) = 2 x 2 y + 2 z + 1 and g ( x ) = 7 x 1 .
Obviously, F and g both are onto maps, so F ( X × X × X ) g ( X ) , also F and g are continuous and F has the mixed g-monotone property. Indeed,
x 1 , x 2 X , g x 1 g x 2 2 x 1 2 y + 2 z + 1 2 x 2 2 y + 2 z + 1 F ( x 1 , y , z ) F ( x 2 , y , z ) .
Similarly, we can prove that
y 1 , y 2 X , g ( y 1 ) g ( y 2 ) F ( x , y 2 , z ) F ( x , y 1 , z )
and
z 1 , z 2 X , g ( z 1 ) g ( z 2 ) F ( x , y , z 1 ) F ( x , y , z 2 ) .
If, x 0 = 0 , y 0 = 2 3 , z 0 = 0 , then
1 = g ( x 0 ) F ( x 0 , y 0 , z 0 ) = 1 3 , 11 3 = g ( y 0 ) F ( y 0 , x 0 , y 0 ) = 11 3 , 1 = g ( z 0 ) F ( z 0 , y 0 , x 0 ) = 1 3 .
So there exist x 0 , y 0 , z 0 X such that
g ( x 0 ) F ( x 0 , y 0 , z 0 ) , g ( y 0 ) F ( y 0 , x 0 , y 0 ) , g ( z 0 ) F ( z 0 , y 0 , x 0 ) .
Now for all x , y , z , u , v , w X , for which g x g u , g y g v , g z g w , we have
min ( P ( g x g u , t ) , P ( g y g v , t ) , P ( g z g w , t ) ) = min ( P ( 7 ( x u ) , t ) , P ( 7 ( y v ) , t ) , P ( 7 ( z w ) , t ) ) = min ( P ( ( x u ) , t 7 ) , P ( ( y v ) , t 7 ) , P ( ( z w ) , t 7 ) ) = min ( P ( ( x u ) , t 7 ) , P ( ( v y ) , t 7 ) , P ( ( z w ) , t 7 ) ) P ( x u + v y + z w , 3 t 7 ) = ( e 7 3 t ) | ( x u + v y + z w ) | = ( e 3.5 3 t ) | 2 ( x u + v y + z w ) | = ( e 3.5 3 t ) | 2 ( x u ) + 2 ( v y ) + 2 ( z w ) | = ( e 3.5 3 t ) | F ( x , y , z ) F ( u , v , w ) | = P ( F ( x , y , z ) F ( u , v , w ) , k t )
for k = 3 3.5 < 1 . Hence there exists k = 3 3.5 < 1 such that
P ( F ( x , y , z ) F ( u , v , w ) , k t ) min ( P ( g x g u , t ) , ( g y g v , t ) , ( g z g w , t ) )

for all x , y , z , u , v , w X , for which g x g u , g y g v , g z g w .

Therefore all the conditions of Theorem 5.2 are satisfied. So F and g have a tripled coincidence point and here ( 2 5 , 2 5 , 2 5 ) is a tripled coincidence point of F and g.

6 Application

In this section, we study the existence of a unique solution to an initial value problem, as an application to the our tripled fixed point theorem.

Consider the initial value problem
x ( ) = f ( , x ( ) , x ( ) , x ( ) ) , I = [ 0 , 1 ] , x ( 0 ) = x 0 ,
(6.1)

where f : I × R × R × R R and x 0 R .

An element ( α , β , γ ) C ( I , R ) 3 is called a tripled initial value problem (6.1) if
α ( ) f ( , α ( ) , β ( ) , γ ( ) ) , β ( ) f ( , β ( ) , α ( ) , β ( ) ) , δ ( ) f ( , γ ( ) , β ( ) , α ( ) )
for each I together with the initial condition
α ( 0 ) = β ( 0 ) = γ ( 0 ) = x 0 .
Theorem 6.1 Let ( C ( I , R ) , P , M ) be a complete -fuzzy normed space with the following order relation on C ( I , R ) :
x , y C ( I , R ) , x y x ( ) y ( ) , [ 0 , 1 ] ,
and fuzzy norm
P ( x y , t ) = inf I t t + | x ( ) y ( ) | , x , y C ( I , R ) , t > 0 .
Consider the initial value problem (6.1) with f C ( I × R 3 , R ) which is non-decreasing in the second and fourth variables and non-increasing in the third variable. Suppose that for x u , y v , and z w , we have
0 f ( , x , y , z ) f ( , u , v , w ) k [ ( x u ) + ( v y ) + ( z w ) ] ,

where k ( 0 , 1 3 ) . Then the existence of a tripled solution for (6.1) provides the existence of a unique solution of (6.1) in C ( I , R ) .

Proof The initial value problem (6.1) is equivalent to the integral equation
x ( ) = x 0 + 0 f ( s , x ( s ) , x ( s ) , x ( s ) ) d s , I .
(6.2)
Suppose { x n } is a non-decreasing sequence in C ( I , R ) that converges to x C ( I , R ) . Then, for every I , the sequence of the real numbers
x 1 ( ) x 2 ( ) x n ( )
converges to x ( ) . Therefore, for all I and n N , we have x n ( ) x ( ) . Hence x n x for all n N . Also, C ( I , R ) × C ( I , R ) × C ( I , R ) is a partially ordered set if we define the following order relation in X × X × X :
( x , y , z ) ( u , v , w ) x ( ) u ( ) , v ( ) y ( ) and z ( ) w ( ) , I .
Define F : C ( I , R ) × C ( I , R ) × C ( I , R ) C ( I , R ) by
F ( x , y , z ) ( ) = x 0 + 0 f ( s , x ( s ) , y ( s ) , z ( s ) ) d s , I .
Now, for u x , y v and w z , we have
P ( F ( x , y , z ) F ( u , v , w ) , t ) = inf I t t + 0 [ f ( s , x ( s ) , y ( s ) , z ( s ) ) f ( s , u ( s ) , v ( s ) , w ( s ) ) ] d s inf I t t + 0 k [ ( x u ) + ( v y ) + ( z w ) ] d s inf I M ( t 3 t 3 + 0 k ( x u ) d s , t 3 t 3 + 0 k ( v y ) d s , t 3 t 3 + 0 k ( z w ) d s ) = M ( P ( x u , t 3 k ) , P ( y v , t 3 k ) , P ( z w , t 3 k ) ) ;
hence
P ( F ( x , y , z ) F ( u , v , w ) , 3 k t ) M ( P ( x u , t ) , P ( y v , t ) , P ( z w , t ) ) .

Then F satisfies the condition (5.1) of Theorem 5.1. Now, let ( α , β , γ ) be a tripled solution of the initial value problem (6.1); then we have α F ( α , β , γ ) , F ( β , α , β ) β and γ F ( γ , β , α ) . Then Theorem 5.1 shows that F has a unique tripled fixed point. □

Declarations

Authors’ Affiliations

(1)
Department of Mathematics, Iran University of Science and Technology
(2)
Department of Mathematics, Faculty of Science, King Mongkut’s University of Technology Thonburi (KMUTT)
(3)
Department of Mathematics, University of Ulsan

References

  1. Saadati R, Park JH: On the intuitionistic fuzzy topological spaces. Chaos Solitons Fractals 2006, 27(2):331–344. 10.1016/j.chaos.2005.03.019View ArticleMathSciNetGoogle Scholar
  2. Atanassov KT: Intuitionistic fuzzy sets. Fuzzy Sets Syst. 1986, 20(1):87–96. 10.1016/S0165-0114(86)80034-3View ArticleMathSciNetGoogle Scholar
  3. Saadati R, Vaezpour SM: Some results on fuzzy Banach spaces. J. Appl. Math. Comput. 2005, 17(1–2):475–484. 10.1007/BF02936069View ArticleMathSciNetGoogle Scholar
  4. Saadati R, Park C: A note on IFN-spaces. Adv. Differ. Equ. 2014., 2014: Article ID 63Google Scholar
  5. Deschrijver G, O’Regan D, Saadati R, Vaezpour SM: -Fuzzy Euclidean normed spaces and compactness. Chaos Solitons Fractals 2009, 42(1):40–45. 10.1016/j.chaos.2008.10.026View ArticleMathSciNetGoogle Scholar
  6. Zadeh LA: Fuzzy sets. Inf. Control 1965, 8: 338–353. 10.1016/S0019-9958(65)90241-XView ArticleMathSciNetGoogle Scholar
  7. George A, Veeramani P: On some results in fuzzy metric spaces. Fuzzy Sets Syst. 1994, 64(3):395–399. 10.1016/0165-0114(94)90162-7View ArticleMathSciNetGoogle Scholar
  8. Kramosil I, Michalek J: Fuzzy metric and statistical metric spaces. Kybernetika 1975, 11: 326–333.MathSciNetGoogle Scholar
  9. Grabiec M: Fixed points in fuzzy metric spaces. Fuzzy Sets Syst. 1988, 27(3):385–389. 10.1016/0165-0114(88)90064-4View ArticleMathSciNetGoogle Scholar
  10. Fang J: On fixed point theorems in fuzzy metric spaces. Fuzzy Sets Syst. 1992, 46: 107–113. 10.1016/0165-0114(92)90271-5View ArticleGoogle Scholar
  11. Cho Y: Fixed points in fuzzy metric spaces. J. Fuzzy Math. 1997, 5(4):949–962.MathSciNetGoogle Scholar
  12. Gregori V, Sapena A: On fixed-point theorems in fuzzy metric spaces. Fuzzy Sets Syst. 2002, 125(2):245–252. 10.1016/S0165-0114(00)00088-9View ArticleMathSciNetGoogle Scholar
  13. Beg I, Abbas M: Common fixed points of Banach operator pair on fuzzy normed spaces. Fixed Point Theory 2011, 12(2):285–292.MathSciNetGoogle Scholar
  14. Zhu X, Xiao J: Note on ‘Coupled fixed point theorems for contractions in fuzzy metric spaces’. Nonlinear Anal. TMA 2011, 74(16):5475–5479. 10.1016/j.na.2011.05.034View ArticleMathSciNetGoogle Scholar
  15. Hu X: Common coupled fixed point theorems for contractive mappings in fuzzy metric spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 363716Google Scholar
  16. Roldán A, Martínez-Moreno J, Roldán C: Tripled fixed point theorem in fuzzy metric spaces and applications. Fixed Point Theory Appl. 2013., 2013: Article ID 29Google Scholar
  17. Abbas M, Ali B, Sintunavarat W, Kumam P: Tripled fixed point and tripled coincidence point theorems in intuitionistic fuzzy normed spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 187Google Scholar
  18. Goguen JA: L -Fuzzy sets. J. Math. Anal. Appl. 1967, 18: 145–174. 10.1016/0022-247X(67)90189-8View ArticleMathSciNetGoogle Scholar
  19. Deschrijver G, Kerre EE: On the relationship between some extensions of fuzzy set theory. Fuzzy Sets Syst. 2003, 133(2):227–235. 10.1016/S0165-0114(02)00127-6View ArticleMathSciNetGoogle Scholar
  20. Deschrijver G, Cornelis C, Kerre EE: On the representation of intuitionistic fuzzy t -norms and t -conorms. Notes IFS 2002, 8: 1–10. Proceedings of the Sixth International Conference on Intuitionistic Fuzzy Set (Varna, 2002)MathSciNetGoogle Scholar
  21. Saadati R: A note on ‘Some results on the IF-normed spaces’. Chaos Solitons Fractals 2009, 41(1):206–213. 10.1016/j.chaos.2007.11.027View ArticleMathSciNetGoogle Scholar
  22. Hadžić O, Pap E Mathematics and Its Applications 536. In Fixed Point Theory in Probabilistic Metric Spaces. Kluwer Academic, Dordrecht; 2001.Google Scholar
  23. Shakeri S, Ćirić LJB, Saadati R: Common fixed point theorem in partially ordered -fuzzy metric spaces. Fixed Point Theory Appl. 2010., 2010: Article ID 125082Google Scholar
  24. Berinde V, Borcut M: Tripled fixed point theorems for contractive type mappings in partially ordered metric spaces. Nonlinear Anal. 2011, 74(15):4889–4897. 10.1016/j.na.2011.03.032View ArticleMathSciNetGoogle Scholar
  25. Haghi RH, Rezapour S, Shahzad N: Some fixed point generalizations are not real generalizations. Nonlinear Anal. 2011, 74(5):1799–1803. 10.1016/j.na.2010.10.052View ArticleMathSciNetGoogle Scholar

Copyright

© Saadati et al.; licensee Springer. 2014

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