Next Article in Journal
Third-Order Neutral Differential Equation with a Middle Term and Several Delays: Asymptotic Behavior of Solutions
Previous Article in Journal
Improved Cascade Correlation Neural Network Model Based on Group Intelligence Optimization Algorithm
Previous Article in Special Issue
Some Extended Results for Multivalued F-Contraction Mappings
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Best Proximity Point for ΓτF-Fuzzy Proximal Contraction

1
Department of Mathematics, Guru Ghasidas Vishwavidyalaya, Koni, Bilaspur 495009, Chhattisgarh, India
2
Faculty of Organizational Sciences, University of Belgrade, 11120 Belgrade, Serbia
3
Faculty of Mechanical Engineering, University of Belgrade, 11120 Belgrade, Serbia
*
Author to whom correspondence should be addressed.
Axioms 2023, 12(2), 165; https://doi.org/10.3390/axioms12020165
Submission received: 18 December 2022 / Revised: 19 January 2023 / Accepted: 30 January 2023 / Published: 6 February 2023
(This article belongs to the Special Issue Fixed Point Theory and Its Related Topics III)

Abstract

:
In this writing, first, we disclose the first and second category of a Γ τ F -fuzzy proximal contraction for a mapping O : U V which is nonself and also declare a fuzzy q-property to confirm the existence of the best proximity point for nonself function O . Then, we discover a few results using the Γ τ F -fuzzy proximal contraction of the first category for a continuous and discontinuous nonself function O in a non-Archimedean fuzzy metric space. Later, we discuss another result for the Γ τ F -fuzzy proximal contraction of the second category as well. In between the fuzzy proximal theorems, many examples are presented in support of the definitions and theorems proved in this writing.

1. Introduction

In 1969, Fan [1] established a crisp approximation theorem. Fan [1] asserted: “suppose that O is a continuous map O : U X , where X is Hausdorff locally convex topological vector space and U is a nonempty compact convex subset with a semi-group norm p then there is a member μ U holding the assertion that ρ p ( μ , O μ ) = ρ p ( O μ , U ) ”. This theorem enhanced an approximate answer of the fixed-point equation O μ = μ , where the function O : U V has no fixed point, and U and V are nonempty sets. The distance ρ ( μ , O μ ) should be at least ρ ( μ , ν ) = inf { ρ ( μ , ν ) : μ U and ν V } , and the best proximity point theorem guarantees the existence of a member of μ * such that ρ ( μ * , O μ * ) = ρ ( U , V ) ; this member is called the best proximity point for map O .
The crisp set theory was enhanced by the mathematician Zadeh [2] in 1965 in his seminal paper by introducing a membership function. A membership function is defined from a nonempty set X to a closed interval [ 0 , 1 ] , which means that a membership value of any member from the set X belongs to the closed interval [ 0 , 1 ] ; basically, a fuzzy set is a generalization of a characteristic function.
With the inspiration of this fuzzy theory, Kramosil and Michalak [3] introduced the notion of a new distance space called fuzzy metric space, and the concept of this distance space was improved by George and Veeramani [4] by defining a Hausdorff topology. Further, the fixed point theory associated with the fuzzy concept was first experimented with by Grabic [5] by demonstrating fuzzy Banach [6] and Edelstein [7] contraction theorems.
In this work, we are investigating the uniqueness and existence of the best proximity point in a non-Archimedean fuzzy (distance) metric space, and also extending, generalizing and fuzzifying the proved results in various distance spaces. We define a few proximal fuzzy contractions to prove the propositions for a nonself function. Moreover, many supportive examples are given to present the fruitfulness of the given theorems.

2. Preliminaries

First, we recollect some elementary concepts to support the main outcome.
Definition 1
([8]). A continuous triangular norm is a binary operation defined as : [ 0 , 1 ] × [ 0 , 1 ] [ 0 , 1 ] (t-norm in short) ifholds the following assertions:
  • is commutative if ι κ = κ ι andis associative, if ι ( κ γ ) = ( ι κ ) γ for all ι , κ , γ [ 0 , 1 ] ;
  • The binary operationis continuous;
  • 1 ι = ι for all ι [ 0 , 1 ] ;
  • ι κ γ ζ when ι γ and κ ζ with ι , κ , γ , ζ [ 0 , 1 ] .
Definition 2
([4]). The ordered triple is called a fuzzy metric space, if X is a nonempty set,is a continuous t-norm and S is defined as a fuzzy set X × X × ( 0 , + ) holding the following assertions;
  • S ( μ , ν , r ) > 0 ;
  • μ = ν if and only if S ( μ , ν , r ) = 1 ;
  • S ( μ , ν , r ) = S ( ν , μ , r ) ;
  • S ( μ , η , r + s ) S ( μ , ν , r ) S ( ν , η , s ) ;
  • S ( μ , ν , · ) : ( 0 , + ) ( 0 , 1 ] is continuous.
    If we change 4. by
  • S ( μ , η , m a x { r , s } ) S ( μ , ν , r ) S ( ν , η , s ) ,
for all μ , ν , η X and s , r > 0 , then the ordered triplet ( X , S , ) is called a non-Archimedean fuzzy metric space. Every non-Archimedean fuzzy metric space is a fuzzy metric space, since assertion 6 implies assertion 4.
Definition 3
([4,8]). Suppose that ( X , S , ) is a fuzzy metric space. Then, for every m , n N and for all r > 0 :
  • A sequence { μ n } is called convergent to μ X if lim n + S ( μ n , μ , r ) 1 .
  • { μ n } is called a Cauchy sequence if lim n + S ( μ n , μ n + m , r ) = 1 .
  • If every Cauchy sequence converges to μ X then the space is called complete.
Recently, Patel and Radenović [9] introduced a new class of mappings, the Γ τ -family, and they also gave Γ τ F -fuzzy contractive mappings, which were weaker than the group of mappings by Huang [10].
Definition 4
([9]). Let Γ τ indicate the group of all continuous map Γ τ : ( R + ) 4 R satisfying:
  • For all t 1 , t 2 , t 3 , t 4 R + with max ( t 1 , t 2 , t 3 , t 4 ) = 1 , there exists τ ( 0 , 1 ) such that Γ τ ( t 1 , t 2 , t 3 , t 4 ) = τ .
Examples:
  • Γ τ ( t 1 , t 2 , t 3 , t 4 ) = τ + L · l o g e m a x ( t 1 , t 2 , t 3 , t 4 ) , where L R + .
  • Γ τ ( t 1 , t 2 , t 3 , t 4 ) = τ m a x ( t 1 , t 2 , t 3 , t 4 ) .
  • Γ τ ( t 1 , t 2 , t 3 , t 4 ) = e · τ e m a x ( t 1 , t 2 , t 3 , t 4 ) .
Here τ ( 0 , 1 ) and then Γ τ Γ τ .
The following lemma is essential to prove our key theorems.
Lemma 1
([10]). Suppose that { μ n } is a sequence in a fuzzy metric space ( X , S , ) such that for every n N ,
lim r 0 + S ( μ n , μ n + 1 , r ) > 0 ,
and for any r > 0 ,
lim n + S ( μ n , μ n + 1 , r ) = 1 .
If { μ n } is not a Cauchy sequence in X , then there exists ϵ ( 0 , 1 ) , r 0 > 0 and two subsequences of non-negative integers { n k } , { m k } , n k > m k > k where k N , such that
{ S ( μ m k , μ n k , r 0 ) } , { S ( μ m k , μ n k + 1 , r 0 ) } , { S ( μ m k 1 , μ n k , r 0 ) } , { S ( μ m k 1 , μ n k + 1 , r 0 ) } , { S ( μ m k + 1 , μ n k + 1 , r 0 ) }
tend to 1 ϵ as k + .

3. Main Results

Consider two nonempty subsets U and V of a fuzzy metric space ( X , S , ) . We use the following notations:
U 0 ( r ) = { μ U : S ( μ , ν , r ) = S ( U , V , r ) for some ν V , r > 0 } , V 0 ( r ) = { ν V : S ( μ , ν , r ) = S ( U , V , r ) for some μ U , r > 0 }
where
S ( U , V , r ) = sup { S ( μ , ν , r ) : μ U , ν V , r > 0 } .
We recall that μ U is a best proximity point of the map O : U V if S ( μ , O μ , r ) = S ( U , V , r ) . We may observe a best proximity point turn to a fixed point if U = V .
Definition 5
([11]). Suppose a pair of nonempty subsets ( U , V ) of a non-Archimedean fuzzy metric space X with U 0 ( r ) ϕ . Then, the pair ( U , V ) possesses the fuzzy p-property if
S ( μ 1 , ν 1 , r ) = S ( U , V , r ) S ( μ 2 , ν 2 , r ) = S ( U , V , r ) implies S ( μ 1 , μ 2 , , r ) = S ( ν 1 , ν 2 , r ) .
where μ 1 , μ 2 U 0 ( r ) and ν 1 , ν 2 V 0 ( r ) .
The pair ( U , U ) has the fuzzy p-property.
Definition 6
([12]). A set U is said to be approximately compact with respect to V if every sequence { μ n } of U satisfying the assertion S ( ν , μ n , r ) S ( ν , U , r ) for some ν V has a convergent subsequence.
Every set is approximately compact with respect to itself. Now, we define Γ τ F -fuzzy proximal contractions of different categories.
Definition 7
( Γ τ F -fuzzy proximal contraction of the first category).A mapping O : U V is said to be a Γ τ F -fuzzy proximal contraction of the first category if
S ( μ 1 , O ν 1 , r ) = S ( U , V , r ) S ( μ 2 , O ν 2 , r ) = S ( U , V , r ) S ( μ 1 , μ 2 , r ) , S ( ν 1 , ν 2 , r ) > 0 implies Γ τ ( S ( μ 1 , ν 2 , r ) , S ( μ 2 , ν 1 , r ) , S ( μ 1 , ν 1 , r ) , S ( μ 2 , ν 2 , r ) ) · F ( S ( μ 1 , μ 2 , r ) ) F ( S ( ν 1 , ν 2 , r ) )
for all μ 1 , μ 2 , ν 1 , ν 2 U , Γ τ Γ τ and F F .
Definition 8
( Γ τ F -fuzzy proximal contraction of the second category). A mapping O : U V is said to be a Γ τ F -fuzzy proximal contraction of the second category if
S ( μ 1 , O ν 1 , r ) = S ( U , V , r ) S ( μ 2 , O ν 2 , r ) = S ( U , V , r ) S ( μ 1 , μ 2 , r ) , S ( ν 1 , ν 2 , r ) > 0 implies Γ τ ( S ( O μ 1 , O ν 2 , r ) , S ( O μ 2 , O ν 1 , r ) , S ( O μ 1 , O ν 1 , r ) , S ( O μ 2 , O ν 2 , r ) ) · F ( S ( O μ 1 , O μ 2 , r ) ) F ( S ( O ν 1 , O ν 2 , r ) )
for all μ 1 , μ 2 , ν 1 , ν 2 U , Γ τ Γ τ and F F .
Next we need to define the fuzzy q-property.
Definition 9.
Let μ 0 U be any arbitrary point. Then, the mapping O : U V has a fuzzy q-property if for a sequence { μ n } defined as
S ( μ n + 1 , O μ n , r ) = S ( U , V , r ) ,
there exist two subsequences { μ p ( n ) } n N and { μ q ( n ) } n N of { μ n } such that
lim n + S ( μ p ( n ) , μ q ( n ) , r ) = 1
where p ( n ) > q ( n ) > n , n N . Then,
S ( μ p ( n ) , μ p ( n ) 1 , r ) = S ( U , V , r ) a n d S ( μ q ( n ) , μ q ( n ) 1 , r ) = S ( U , V , r ) .
Theorem 1.
Suppose that two nonempty closed subsets U and V of a complete non-Archimedean fuzzy metric space ( X , S , ) with U 0 ( r ) ϕ and O : U V satisfy the assertions:
  • O is continuous Γ τ F -proximal contraction of the first category;
  • O ( U 0 ( r ) ) V 0 ( r ) ;
  • The pair ( U , V ) has a fuzzy p-property;
  • The mapping O has a fuzzy q-property.
Then there exists a unique μ * U such that S ( μ * , O μ * , r ) = S ( U , V , r ) .
Proof. 
Take μ 0 U 0 ( r ) . Since O μ 0 O ( U 0 ( r ) ) V 0 ( r ) , there exists μ 1 U 0 ( r ) such that S ( μ 1 , O μ 0 , r ) = S ( U , V , r ) . Moreover, since O μ 1 O ( U 0 ( r ) ) V 0 ( r ) , there exists μ 2 U 0 ( r ) such that S ( μ 2 , O μ 1 , r ) = S ( U , V , r ) . Inductively, we can find a sequence { μ n } in U 0 ( r ) such that
S ( μ n + 1 , O μ n , r ) = S ( U , V , r ) for all n N .
By assertion 3 and (3), we get
S ( μ n , μ n + 1 , r ) = S ( O μ n 1 , O μ n , r ) for all n N .
Now we prove that { μ n } is convergent in U 0 ( r ) . If there exists n 0 N such that
S ( O μ n 0 1 , O μ n 0 , r ) = 1 ,
by (4), we obtain S ( μ n 0 , μ n 0 + 1 , r ) = 1 implies μ n 0 = μ n 0 + 1 . Therefore,
O μ n 0 = O μ n 0 + 1 implies S ( O μ n 0 , O μ n 0 + 1 , r ) = 1
from (4) and (5),
S ( μ n 0 + 2 , μ n 0 + 1 , r ) = S ( O μ n 0 + 1 , O μ n 0 , r ) = 1 implies μ n 0 + 2 = μ n 0 + 1 .
Therefore μ n = μ n 0 for all n n 0 and { μ n } is convergent in U 0 ( r ) . In addition,
S ( μ n 0 , O μ n 0 , r ) = S ( μ n 0 + 1 , O μ n 0 , r ) = S ( U , V , r ) .
This means that μ n 0 is a best proximity point of a map O , that is, the conclusion is immediate. Due to that, consider S ( μ n , O μ n + 1 , r ) 1 for all n N . By assumption 1 , O is a Γ τ F -fuzzy proximal contraction of the first category,
Γ τ ( S ( μ n , μ n , r ) , S ( μ n + 1 , μ n 1 , r ) , S ( μ n , μ n + 1 , r ) , S ( μ n + 1 , μ n , r ) ) · F ( S ( μ n , μ n + 1 , r ) ) F ( S ( μ n 1 , μ n , r ) ) .
Since max ( S ( μ n 1 , μ n , r ) , S ( μ n , μ n + 1 , r ) , S ( μ n 1 , μ n , r ) , S ( μ n , μ n , r ) ) = 1 , by definition of a Γ τ -function, there exists τ ( 0 , 1 ) such that
Γ τ ( S ( μ n , μ n , r ) , S ( μ n , μ n + 1 , r ) , S ( μ n 1 , μ n + 1 , r ) , S ( μ n 1 , μ n , r ) ) = τ .
Therefore
τ · F ( S ( μ n , μ n + 1 , r ) ) F ( S ( μ n 1 , μ n , r ) ) .
This implies that
F ( S ( μ n , μ n + 1 , r ) ) > τ · F ( S ( μ n , μ n + 1 , r ) ) F ( S ( μ n 1 , μ n , r ) ) .
Since mapping F is strictly nondecreasing
S ( μ n , μ n + 1 , r ) > S ( μ n 1 , μ n , r ) .
Hence { S ( μ n , μ n + 1 , r ) } ( r > 0 ) is strictly nondecreasing, bounded from the above sequence, so { S ( μ n , μ n + 1 , r ) } ( r > 0 ) is convergent. Otherwise, there exists a ( r ) [ 0 , 1 ] such that
lim n + S ( μ n , μ n + 1 , r ) = a ( r )
for any r > 0 and n N .
S ( μ n , μ n + 1 , r ) < a ( r ) ,
and by (9) and (10),
lim n + F ( S ( μ n , μ n + 1 , r ) ) = F ( a ( r ) 0 ) .
We must show that a ( r ) = 1 . Assume a ( r ) < 1 for any r > 0 and by letting limit n tend to + in (7) and using (11),
F ( a ( r ) 0 ) τ · F ( a ( r ) 0 ) F ( a ( r ) 0 )
is a contradiction. Therefore,
lim n + S ( μ n , μ n + 1 , r ) = 1 .
Next we must show that { μ n } is a Cauchy sequence. Suppose { μ n } is not a Cauchy sequence, by Lemma 1, there exists ϵ ( 0 , 1 ) and two subsequences { μ m k } and { μ n k } of { μ n } such that
lim k + S ( μ m k , μ n k , r ) = 1 ϵ .
Again by using the fuzzy q-property,
S ( μ m k , O μ m k 1 , r ) = S ( U , V , r ) S ( μ n k , O μ n k 1 , r ) = S ( U , V , r ) implies that
Γ τ ( S ( μ m k , μ n k 1 , r ) , S ( μ n k , μ m k 1 , r ) , S ( μ m k , μ m k 1 , r ) , S ( μ n k , μ n k 1 , r ) ) · F ( S ( μ m k , μ n k , r ) ) F ( S ( μ m k 1 , μ n k 1 , r ) ) .
Letting k tends to + and using (12),
Γ τ ( lim k + S ( μ m k , μ n k 1 , r ) , lim k + S ( μ n k , μ m k 1 , r ) , 1 , 1 ) · lim k + F ( S ( μ m k , μ n k , r ) ) lim k + F ( S ( μ m k , μ n k , r ) ) .
Since max ( lim k + S ( μ m k , μ n k 1 , r ) , lim k + S ( μ n k , μ m k 1 , r ) , 1 , 1 ) = 1 , there exists τ ( 0 , 1 ) such that
Γ τ ( lim k + S ( μ m k , μ n k 1 , r ) , lim k + S ( μ n k , μ m k 1 , r ) , 1 , 1 ) = τ .
Using (13) and (14) implies
F ( ( 1 ϵ ) 0 ) > τ · F ( ( 1 ϵ ) 0 ) F ( ( 1 ϵ ) 0 ) .
This is a contradiction. Thus, the sequence { μ n } is a Cauchy sequence in U . Since the space ( X , S , ) is complete, given U is a closed subset of X , there exists μ * U such that lim n + μ n = μ * .
Since O is continuous, O μ n O μ * and the continuity of S implies S ( μ n + 1 , O μ n , r ) S ( μ * , O μ * , r ) . From (3),
S ( μ * , O μ * , r ) = S ( U , V , r ) .
Thus μ * is a best proximity point of O .
Suppose that μ * , ν * U such that μ * ν * , that is, S ( μ * , ν * , r ) 1 and
S ( μ * , O μ * , r ) = S ( ν * , O ν * , r ) = S ( U , V , r ) .
Then by the p-property of the pair ( U , V ) , we write S ( μ * , ν * , r ) = S ( O μ * , O ν * , r ) .
Γ τ ( S ( μ * , ν * , r ) , S ( ν * , μ * , r ) , S ( μ * , μ * , r ) , S ( ν * , ν * , r ) ) · F ( S ( μ * , ν * , r ) ) F ( S ( μ * , ν * , r ) )
implies that F ( S ( μ * , ν * , r ) ) τ · F ( S ( μ * , ν * , r ) ) F ( S ( μ * , ν * , r ) ) is a contradiction. Hence, the best proximity point is unique for the map O . □
Example 1.
Let X = R 2 and define the usual metric
ρ ( c , d ) = ρ ( ( η 1 , η 2 ) , ( ζ 1 , ζ 2 ) ) = | η 1 ζ 1 | + | η 2 ζ 2 | for all ( η 1 , η 2 ) , ( ζ 1 , ζ 2 ) R 2 .
Define a membership function
S ( c , d , r ) = r r + ρ ( c , d )
where c , d X and r > 0 . Clearly, ( X , S , ) is a complete non-Archimedean fuzzy metric space whereis a product t-norm.
Let U = { ( μ , 2 ) : μ R + } and V = { ( ν , 2 ) : ν R + } . Here, we have U = U 0 ( r ) and V = V 0 ( r ) . Let O : U V be defined by
O ( μ , 2 ) = μ 2 , 2 for all ( μ , 2 ) U .
Consider c 1 = ( μ 1 , 2 ) , c 2 = ( μ 2 , 2 ) and d 1 = 2 μ 1 , 2 , d 2 = 2 μ 2 , 2 .
Now
S ( c 1 , O d 1 , r ) = S ( ( μ 1 , 2 ) , O ( 2 μ 1 , 2 ) , r ) = S ( ( μ 1 , 2 ) , ( μ 1 , 2 ) , r ) = r r + 4 = S ( U , V , r )
S ( c 2 , O d 2 , r ) = S ( ( μ 2 , 2 ) , O ( 2 μ 2 , 2 ) , r ) = S ( ( μ 2 , 2 ) , ( μ 2 , 2 ) , r ) = r r + 4 = S ( U , V , r )
implies
S ( c 1 , c 2 , r ) = S ( O d 1 , O d 2 , r ) .
Hence ( U , V ) holds fuzzy p-property.
Consider
c n = 1 2 n , 2 , n N such that
S ( c n + 1 , O c n , r ) = S 1 2 n + 1 , 2 , O 1 2 n , 2 , r = S 1 2 n + 1 , 2 , 1 2 n + 1 , 2 , r = r r + 4 = S ( U , V , r ) .
Then there exist two subsequences c p ( n ) = c 3 k = 1 2 3 k , 2 and c q ( n ) = c 2 k = 1 2 2 k , 2 of { c n } where 3 k > 2 k > k such that
lim n + S c p ( n ) , c q ( n ) , r = lim k + S c 3 k , c 2 k , r = lim k + S 1 2 3 k , 2 , 1 2 2 k , 2 , r = lim k + r r + | 1 2 3 k 1 2 2 k | = 1 .
Now
S c 3 k , O c 3 k 1 , r = S 1 2 3 k , 2 , O 1 2 3 k 1 , 2 , r = S 1 2 3 k , 2 , 1 2 3 k , 2 , r = lim k + r r + | 1 2 3 k 1 2 3 k | + | 2 2 | = r r + 4 = S ( U , V , r ) .
Similarly,
S c 2 k , O c 2 k 1 , r = S 1 2 2 k , 2 , O 1 2 2 k 1 , 2 , r = r r + 4 = S ( U , V , r ) .
Hence O satisfies the q-property, O is continuous and O ( U 0 ) V 0 . Define a strictly nondecreasing function F ( s ) = s 1 s for any s ( 0 , 1 ) such that F F and suppose Γ τ ( l 1 , l 2 , l 3 , l 4 ) = τ where τ ( 0 , 1 ) such that Γ τ Γ τ .
Consider c 1 = ( μ 1 , 2 ) , c 2 = ( μ 2 , 2 ) and d 1 = 2 μ 1 , 2 , d 2 = 2 μ 2 , 2 ,
τ · F ( S ( c 1 , c 2 , r ) ) = τ · F ( S ( ( μ 1 , 2 ) , ( μ 2 , 2 ) , r ) ) = τ · F r r + | μ 1 μ 2 | = τ · r r + | μ 1 μ 2 | 1 r r + | μ 1 μ 2 | = τ · r | μ 1 μ 2 | 1 2 · r | μ 1 μ 2 | where τ [ 1 2 , 1 ) = r | 2 μ 1 2 μ 2 | = r r + | 2 μ 1 2 μ 2 | 1 r r + | 2 μ 1 2 μ 2 | = F r r + | 2 μ 1 2 μ 2 | = F S ( ( 2 μ 1 , 2 ) , ( 2 μ 2 , 2 ) , r ) = F ( S ( d 1 , d 2 , r ) ) .
Thus O is a proximal Γ τ F -fuzzy contraction of the first category. Thus, assumed assertions of Theorem 1 hold. Hence O has a unique best proximity point ( 0 , 2 ) .
Now we insert the next theorem by avoiding the continuity of the O nonself function.
Theorem 2.
Suppose that two nonempty closed subsets U and V of a complete non-Archimedean fuzzy metric space ( X , S , ) with U 0 ( r ) ϕ and O : U V satisfy the assertions:
  • O ( U 0 ( r ) ) V 0 ( r ) and ( U , V ) holds the fuzzy p-property;
  • O is a Γ τ F - fuzzy proximal contraction of the first category and F is continuous;
  • The mapping O has a fuzzy q-property.
  • For any sequence { ν n } in V 0 ( r ) and μ U satisfying S ( μ , ν n , r ) S ( U , V , r ) as n tends to + , then μ U 0 ( r ) .
Then there exists a unique μ * U such that S ( μ * , O μ * , r ) = S ( U , V , r ) for all r > 0 .
Proof. 
The construction of the sequence { μ n } is similar to that in Theorem 1. Then, we must show that { μ n } is a Cauchy sequence, whose proof is also similar to that of Theorem 1. The completeness property of ( X , S , ) and U being a closed subset of X ensure { μ n } converges to μ * U ,
lim n + S ( μ n , μ * , r ) = 1 .
Moreover,
S ( U , V , r ) = S ( μ n + 1 , O μ n , r ) S ( μ n + 1 , μ * , r ) S ( μ * , O μ n , r ) S ( μ n + 1 , μ * , r ) S ( μ * , O μ n , r ) S ( μ n + 1 , μ * , r ) S ( μ * , μ n + 1 , r ) S ( μ n + 1 , O μ n , r ) ,
implies
S ( U , V , r ) S ( μ n + 1 , μ * , r ) S ( μ * , O μ n , r ) S ( μ n + 1 , μ * , r ) S ( μ * , μ n + 1 , r ) S ( U , V , r ) .
Letting n tend to + ,
S ( U , V , r ) 1 lim n + S ( μ * , O μ n , r ) 1 1 S ( U , V , r )
implies
lim n + S ( μ * , O μ n , r ) = S ( U , V , r ) ,
and using 4, μ * U 0 ( r ) . Since O ( U 0 ( r ) ) V 0 ( r ) , there exist η U 0 ( r ) such that S ( η , O μ * , r ) = S ( U , V , r ) . Combining (15) with (3),
S ( η , O μ * , r ) = S ( U , V , r ) S ( μ n + 1 , O μ n , r ) = S ( U , V , r ) implies
Γ τ ( S ( η , μ n , r ) , S ( μ n + 1 , μ * , r ) , S ( η , μ * , r ) , S ( μ n , μ n + 1 , r ) ) · F ( S ( η , μ n + 1 , r ) ) F ( S ( μ * , μ n , r ) ) .
Letting n + ,
lim n + [ Γ τ ( S ( η , μ n , r ) , S ( μ n + 1 , μ * , r ) , S ( η , μ * , r ) , S ( μ n , μ n + 1 , r ) ) · F ( S ( η , μ n + 1 , r ) ) ] lim n + F ( S ( μ * , μ n , r ) )
implies
Γ τ ( lim n + S ( η , μ n , r ) , 1 , lim n + S ( η , μ * , r ) , 1 ) · lim n + F ( S ( η , μ n + 1 , r ) ) lim n + F ( S ( μ * , μ n , r ) ) .
Since max ( lim n + S ( η , μ n , r ) , 1 , lim k + S ( η , μ * , r ) , 1 ) = 1 , there exists τ ( 0 , 1 ) such that
Γ τ ( lim n + S ( η , μ n , r ) , 1 , lim n + S ( η , μ * , r ) , 1 ) = τ
implies
τ · lim n + F ( S ( η , μ n + 1 , r ) ) lim n + F ( S ( μ * , μ n , r ) )
lim n + F ( S ( η , μ n + 1 , r ) ) τ · lim n + F ( S ( η , μ n + 1 , r ) ) lim n + F ( S ( μ * , μ n , r ) ) .
Since F is continuous,
lim n + S ( η , μ n + 1 , r ) lim n + S ( μ * , μ n , r ) = 1
implies
lim n + S ( η , μ n + 1 , r ) = 1 ,
but the limit of the sequence is unique, so we conclude that η = μ * , that is, S ( μ , O μ * , r ) = S ( η , O μ * , r ) = S ( U , V , r ) . The best proximity point of O is unique similarly to the proof of the uniqueness part of Theorem 1. □
Example 2.
Let X = R × R . A membership function S : X × X × ( 0 , + ) ( 0 , 1 ] is a complete non-Archimedean fuzzy metric space with a product t-norm defined by
S ( c , d , r ) = r r + 1 ρ ( c , d )
for all c , d X and r > 0 where ρ is a standard metric. Define the two sets
U = 0 , 1 n : n N { ( 0 , 0 ) } a n d V = 1 , 2 n : n N { ( 1 , 0 ) } ,
so that ρ ( U , V ) = 1 and S ( U , V , r ) = r r + 1 for all r > 0 . We can see that both nonempty subsets are U and V are closed in X .
Let us define O : U V by
O ( α 1 , α 2 ) = 1 , 2 n , if ( α 1 , α 2 ) = ( 0 , 1 n ) for all n N , ( 1 , 0 ) , if ( α 1 , α 2 ) = ( 0 , 0 ) .
Clearly, U 0 ( r ) = U , V 0 ( r ) = V , O ( U 0 ( r ) ) V 0 ( r ) and the hypotheses of Theorem 2 hold. Let F ( s ) = l o g e ( s ) where s ( 0 , 1 ) such that F F and consider Γ τ ( t 1 , t 2 , t 3 , t 4 ) = τ where τ ( 0 , 1 ) such that Γ τ Γ τ .
Consider S ( u , O v , r ) = S ( U , V , r ) for some u , v U . Then,
( u , v ) = ( ( 0 , 0 ) , ( 0 , 0 ) ) , 0 , 2 n , 0 , 1 n : n N .
We investigate the following cases:
(1)
If ( u 1 , v 1 ) = 0 , 2 n , 0 , 1 n and ( u 2 , v 2 ) = 0 , 2 m , 0 , 1 m for all n , m N . We have
τ · F ( S ( u 1 , u 2 , r ) ) = τ · F S 0 , 2 n , 0 , 2 m , r = τ · F r r + 1 | 2 n 2 m | = τ · l o g e r r + 1 | 2 n 2 m | = τ · | 2 n 2 m | · l o g e r r + 1 | 1 n 1 m | · l o g e r t + 1 where τ [ 1 / 2 , 1 ) = l o g e r r + 1 | 1 n 1 m | = F r r + 1 | 1 n 1 m | = F S 0 , 1 n , 0 , 1 m , r = F ( S ( v 1 , v 2 , r ) ) .
(2)
If ( u 1 , v 1 ) = ( ( 0 , 0 ) , ( 0 , 0 ) ) and ( u 2 , v 2 ) = ( 0 , 2 m , 0 , 1 m for all m N ,
τ · F ( S ( u , v , r ) = τ · F S 0 , 0 ) , 0 , 2 m , r = τ · F r r + 1 | 2 m | = τ · | 2 m | · l o g e r r + 1 | 1 m | · l o g e r r + 1 where τ [ 1 / 2 , 1 ) = F r r + 1 | 1 m | = F S ( 0 , 0 ) , 0 , 1 m , r = F ( S ( v 1 , v 2 , r ) ) .
(3)
If ( u 1 , v 1 ) = ( ( 0 , 0 ) , ( 0 , 0 ) ) and ( u 2 , v 2 ) = ( ( 0 , 0 ) , ( 0 , 0 ) ) , the fuzzy proximal contraction condition holds.
The property symmetry of membership function S covers all the possible cases, so we leave the details of these parts. Now, we conclude that the hypotheses of Theorem 2 are satisfied, and there exist α * = ( 0 , 0 ) U such that S ( α * , O α * , r ) = S ( U , V , r ) for all r > 0 .
Theorem 3.
Consider two nonempty closed subsets U and V of a complete non-Archimedean fuzzy metric space ( X , S , ) with U 0 ( r ) ϕ . Assume that U is approximately compact with respect to V and O : U V satisfies the following assertions:
  • O ( U 0 ( r ) ) V 0 ( r ) and ( U , V ) satisfies the fuzzy p-property;
  • O is a continuous Γ τ F - fuzzy proximal contraction of the second category;
  • O has a fuzzy q-property.
Then there exists a unique μ * U such that S ( μ * , O μ * , r ) = S ( U , V , r ) . Moreover, for any fixed element μ 0 U 0 ( r ) , the sequence { μ n } defined by
S ( μ n + 1 , O μ n , r ) = S ( U , V , r ) ,
converges to the best proximity point u. Further, if μ * is another best proximity point of O , then O u = O μ * .
Proof. 
Similar to Theorem 1, we formulate a sequence { μ n } in U 0 ( r ) such that
S ( μ n + 1 , O μ n , r ) = S ( U , V , r )
for all positive integers n. From the fuzzy p-property of the pair of maps U and V ,
S ( μ n , μ n + 1 , r ) = S ( O μ n 1 , O μ n , r ) for all n N .
If for some n 0 , S ( μ n 0 , μ n 0 + 1 , r ) = 1 , then
S ( O μ n 0 1 , O μ n 0 , r ) = 1 implies O μ n 0 1 = O μ n 0 implies S ( μ n 0 , O μ n 0 , r ) = S ( U , V , r ) ,
thus the inclusion is immediate. Therefore, consider for any n in N , S ( O μ n , O μ n + 1 , r ) > 0 . By 2 , the mapping O is a Γ τ F - fuzzy proximal contraction of the second category,
Γ τ ( S ( O μ n , O μ n , r ) , S ( O μ n + 1 , O μ n 1 , r ) , S ( O μ n , O μ n 1 , r ) , S ( O μ n + 1 , O μ n , r ) ) · F ( S ( O μ n , O μ n + 1 , r ) ) F ( S ( O μ n 1 , O μ n , r ) )
implies
F ( S ( O μ n , O μ n + 1 , r ) ) > τ · F ( S ( O μ n , O μ n + 1 , r ) ) F ( S ( O μ n 1 , O μ n , r ) ) .
Since F is strictly nondecreasing,
S ( O μ n , O μ n + 1 , r ) > S ( O μ n 1 , O μ n , r ) .
Thus the sequence { S ( O μ n , O μ n + 1 , r ) } , ( r > 0 ) is strictly nondecreasing and bounded from above, so the sequence { S ( O μ n , O μ n + 1 , r ) } ( r > 0 ) is convergent. In other words, there exists a ( r ) [ 0 , 1 ] such that
lim n + S ( O μ n , O μ n + 1 , r ) = a ( r ) ,
for r > 0 and n N .
S ( O μ n , O μ n + 1 , r ) < a ( r ) ,
by (19) and (20), for any r > 0 , we have
lim n + F ( S ( O μ n , O μ n + 1 , r ) ) = F ( a ( r ) 0 ) .
Next we must show that a ( r ) = 1 . Assume a ( r ) < 1 for any r > 0 and take the limit as n tends to + in (18) and by (21), we obtain
F ( a ( r ) 0 ) τ · F ( a ( r ) 0 ) F ( a ( r ) 0 ) ,
a contradiction. Therefore,
lim n + S ( O μ n , O μ n + 1 , r ) = 1 .
Further we must prove that { O μ n } is a Cauchy sequence. Suppose { O μ n } is not a Cauchy sequence. By Lemma 1, there exists ϵ ( 0 , 1 ) , r > 0 and subsequences { O μ m k } and { O μ n k } such that
lim n + S ( O μ m k , O μ n k , r ) = 1 ϵ .
By using the fuzzy q-property,
S ( μ m k , O μ m k 1 , r ) = S ( U , B , r ) S ( μ n k , O μ n k 1 , r ) = S ( U , B , r ) implies
Γ τ ( S ( O μ m k , O μ n k 1 , r ) , S ( O μ n k , O μ m k 1 , r ) , S ( O μ m k , O μ m k 1 , r ) , S ( O μ n k , O μ n k 1 , r ) ) · F ( S ( O μ m k , O μ n k , r ) ) F ( S ( O μ m k 1 , O μ n k 1 , r ) ) .
Letting k tend to + , using (23) and with the definition of the Γ τ function,
F ( ( 1 ϵ ) 0 ) ) τ · F ( ( 1 ϵ ) 0 ) ) F ( ( 1 ϵ ) 0 ) ) ,
a contradiction. Thus, { O μ n } is a Cauchy sequence in V . Since the space ( X , S , ) is complete, and V is a closed subset of X , there exists v V such that lim n + O μ n = v .
Furthermore,
S ( v , U , r ) S ( v , μ n + 1 , r ) S ( v , O μ n , r ) S ( O μ n , μ n + 1 , r ) = S ( v , O μ n , r ) S ( U , V , r ) S ( v , O μ n , r ) S ( v , U , r ) ,
and taking the limit as n + ,
lim n + S ( v , O μ n , r ) = S ( U , V , r ) .
Since U is approximately compact with respect to V , there exists a subsequence { μ n k } of { μ n } converging to element u in U . Thus,
S ( u , v , r ) = lim n + S ( μ n k , O μ n k 1 , r ) = S ( v , U , r ) .
Hence it implies u U 0 ( r ) , since lim k + μ n k = u . Since O is continuous and { O μ n } is convergent to v,
lim k + O μ n k = O u = v .
Hence
S ( u , O u , r ) = lim n + S ( μ n k , O μ n k , r ) = S ( U , V , r ) .
Let μ * be another best proximity point of the mapping O such that S ( μ * , O μ * , r ) = S ( U , V , r ) . Since O is a Γ τ F -fuzzy proximal contraction of the second category,
S ( μ * , O μ * , r ) = S ( U , V , r ) S ( u , O u , r ) = S ( U , V , r ) implies that
Γ τ ( S ( O μ * , O u , r ) , S ( O u , O μ * , r ) , S ( O μ * , O μ * , r ) , S ( O u , O u , r ) ) · F ( S ( O μ * , O u , r ) ) F ( S ( O μ * , O u , r ) ) ,
by the definition of a Γ τ -function,
τ · F ( S ( O μ * , O u , r ) ) F ( S ( O μ * , O u , r ) ) .
Moreover,
F ( S ( O μ * , O u , r ) ) > τ · F ( S ( O μ * , O u , r ) ) F ( S ( O μ * , T u , r ) )
implies that
S ( O μ * , O u , r ) > S ( O μ * , O u , r ) ,
which is a contradiction, that is, u and μ * must be identical. Thus, O has a unique best proximity point. □
Our other result is for a nonself generalized Γ τ F -fuzzy proximal contraction of the first category and second category.
Theorem 4.
Suppose that two nonempty closed subsets U and V of a complete non-Archimedean fuzzy metric space ( X , S , ) with U 0 ( r ) ϕ and O : U V satisfy the assertions:
  • O ( U 0 ( r ) ) V 0 ( r ) ;
  • ( U , V ) satisfies fuzzy p-property;
  • O is a Γ τ F -fuzzy proximal contraction of the first and second category both;
  • O has a fuzzy q-property.
Then there exists a unique element μ U such that S ( μ , O μ , r ) = S ( U , V , r ) . Moreover, for any fixed element μ 0 U 0 ( r ) , a sequence { μ n } defined by
S ( μ n + 1 , O μ n , r ) = S ( U , V , r )
converges to the best proximity point μ. Further, if μ * is another best proximity point of O then O μ = O μ * .
Proof. 
Similar to Theorem 1, formulate a sequence { μ n } in U 0 ( r ) such that
S ( μ n + 1 , O μ n , r ) = S ( U , V , r )
for all non-negative integer n with O ( U 0 ( r ) ) V 0 ( r ) . As in Theorem 1, we may show that the sequence { μ n } is a Cauchy sequence. Thus, the sequence converges to any element μ in U . As in Theorem 2, the sequence { O μ n } can be shown to be a Cauchy sequence and to converge to some element v in V . Thus,
S ( μ , v , r ) = lim n + S ( μ n + 1 , O μ n , r ) = S ( U , V , r ) .
Thus μ becomes an element of U 0 ( r ) . Since O ( U 0 ( t ) ) V 0 ( t ) ,
S ( t 1 , O μ , r ) = S ( U , V , r )
for some element t 1 in U . By (24) and (25),
S ( μ n + 1 , t 1 , r ) = S ( O μ n , O μ , r ) .
If for some n 0 , S ( t 1 , μ n 0 + 1 , r ) = 1 , consequently S ( O μ n 0 , O μ , r ) = 1 implies O μ n 0 = O μ , hence S ( U , V , r ) = S ( μ , O μ , r ) . Thus, the inclusion is immediate. Therefore, let, for any n 0 , S ( t 1 , μ n + 1 , r ) 1 . Since O is a Γ τ F -fuzzy proximal contraction of the first category,
S ( t 1 , O μ , r ) = S ( U , V , r ) S ( μ n + 1 , O μ n , r ) = S ( U , V , r ) implies that
Γ τ ( S ( t 1 , μ n , r ) , S ( μ n + 1 , μ , r ) , S ( t 1 , μ , r ) , S ( μ n , μ n + 1 , r ) ) · F ( S ( t 1 , μ n + 1 , r ) ) F ( S ( μ , μ n , r ) ) ,
implies
F ( S ( t 1 , μ n + 1 , r ) ) τ · F ( S ( t 1 , μ n + 1 , r ) ) F ( S ( μ , μ n , r ) ) .
Letting n tend to + , we have S ( t 1 , μ , r ) = 1 , which implies that μ and t 1 must be identical. It follows that
S ( μ , O μ , r ) = S ( t 1 , O t 1 , r ) = S ( U , V , r ) .
Moreover, the uniqueness part will be similar to the steps followed for Theorem 1. □
Example 3.
Let X = R 2 . Define a fuzzy set as follows:
S ( c , d , r ) = r r + ρ ( c , d ) ,
where c , d X and r > 0 , where ρ is a usual metric and ( X , S , ) is a complete non-Archimedean fuzzy metric with a product t-norm.
Let U = { ( w , 0 ) : w 0 } and V = { ( g , 2 ) : g 0 } . Here, U = U 0 and V = V 0 . Assume O : U V is
O ( w , 0 ) = w w + 1 , 2 for all ( w , 0 ) U ,
Consider
u n = 1 n , 0 n N such that
S ( u n + 1 , O u n , r ) = S 1 n + 1 , 0 , O 1 n , 0 , r = S 1 n + 1 , 0 , 1 n + 1 , 2 , r = r r + 2 = S ( U , V , r ) .
There exist two subsequences u n k = 1 2 k , 0 and u m k = 1 3 k , 0 of { u n } where 3 k > 2 k > k such that
lim k + S u n k , u m k , r = lim k + S 1 2 k , 0 , 1 3 k , 0 , r = lim k + r r + | 1 2 k 1 3 k | = 1 .
Now
S u 3 k , O u 3 k 1 , r = S 1 3 k , 0 , O 1 3 k 1 , 0 , r = S 1 3 k , 0 , 1 3 k , 2 , r = lim k + r r + | 1 3 k 1 3 k | + | 0 2 | = r r + 2 = S ( U , V , r ) .
Similarly
S u 2 k , O u 2 k 1 , r = S 1 2 k , 0 , O 1 2 k 1 , 0 , r = S ( U , V , r ) .
Hence O satisfies the q-property. Now, for each c , d 0 ,
| O c O d | = | O ( w 1 , 0 ) O ( w 2 , 0 ) | = | w 1 1 + w 1 w 2 1 + w 2 | = | w 1 w 2 ( 1 + w 1 ) ( 1 + w 2 ) | | w 1 w 2 | + | 0 0 | = | ( w 1 , 0 ) ( w 2 , 0 ) | = | c d | .
Hence U is approximately compact with regards to V , ( U , V ) satisfies the p-property, O is continuous and O ( U 0 ) V 0 . Define a function F ( s ) = s 1 s for any s ( 0 , 1 ) such that F F and Γ τ ( t 1 , t 2 , t 3 , t 4 ) = τ where τ ( 0 , 1 ) such that Γ τ Γ τ .
Consider u 1 = ( w 1 , 0 ) , u 2 = ( w 2 , 0 ) and x 1 = w 1 2 , 0 , x 2 = w 2 2 , 0
τ · F ( S ( O u 1 , O u 2 , r ) ) = τ · F ( S ( O ( w 1 , 0 ) , O ( w 2 . 0 ) , r ) ) = τ · F S w 1 1 + w 1 , 2 , w 2 1 + w 2 , 2 , r = τ · F r r + | w 1 1 + w 1 w 2 1 + w 2 | = τ · r r + | w 1 1 + w 1 w 2 1 + w 2 | 1 r r + | w 1 1 + w 1 w 2 1 + w 2 | = τ · r | w 1 1 + w 1 w 2 1 + w 2 |
Let us choose τ 1 2 ( 2 + w 1 ) ( 2 + w 2 ) ( 1 + w 1 ) ( 1 + w 2 ) , 1
1 2 ( 2 + w 1 ) ( 2 + w 2 ) ( 1 + w 1 ) ( 1 + w 2 ) · r | w 1 1 + w 1 w 2 1 + w 2 | = r | w 1 2 + w 1 w 2 2 + w 2 | = r | w 1 2 1 + w 1 2 w 2 2 1 + w 2 2 | = r r + | w 1 / 2 1 + w 1 / 2 w 2 / 2 1 + w 2 / 2 | 1 r r + | w 1 / 2 1 + w 1 / 2 w 2 / 2 1 + w 2 / 2 | = F r r + | w 1 / 2 1 + w 1 / 2 w 2 / 2 1 + w 2 / 2 | = τ · F S w 1 / 2 1 + w 1 / 2 , 2 , w 2 / 2 1 + w 2 / 2 , 2 , r = F ( S ( O ( w 1 / 2 , 0 ) , O ( w 2 / 2 , 0 ) , r ) ) = F ( S ( O x 1 , O x 2 , r ) )
Hence O is a proximal Γ τ F -fuzzy contraction of the second category. Thus, all the assertions of Theorem 3 hold. Hence, O has a unique best proximity point ( 0 , 0 ) .
Now, we can procure a few corollaries.
Corollary 1.
Suppose that two nonempty closed subsets U and V of a complete non-Archimedean fuzzy metric space ( X , S , ) with U 0 ( r ) ϕ , O ( U 0 ( r ) ) V 0 ( r ) and O : U V satisfy the assertions:
Γ τ ( S ( μ , O μ , r ) , S ( ν , O ν , r ) , S ( μ , O ν , r ) , S ( ν , O μ , r ) ) · F ( S ( O μ , O ν , r ) ) F ( S ( μ , ν , r ) ) ,
where F F , Γ τ Γ τ and ( U , V ) has the fuzzy p-property. Then, there exists a unique μ * U such that S ( μ * , O μ * , r ) = S ( U , V , r ) .
Corollary 2.
Let U and V be nonempty closed subsets of a complete non-Archimedean fuzzy metric space ( X , S , ) such that U 0 ( r ) is nonempty. Let O : U V be a fuzzy F - contraction for a nonself mapping such that O ( U 0 ( r ) ) V 0 ( r ) . Assume that the pair ( U , V ) has the p-property. Then, there exists a unique μ * U such that S ( μ * , O μ * , r ) = S ( U , V , r ) .
Example 4.
Suppose X = R + × R + and
U = 0 , 1 n : n N ( 0 , 0 ) and V = 1 , 1 n : n N ( 1 , 0 )
such that V 0 ( r ) = V .
Consider a fuzzy set S : X 2 × ( 0 , + ) [ 0 , 1 ] defined by S ( c , d , r ) = e ρ ( c , d ) r for all c , d X and r > 0 , where ρ is the usual metric such that ( X , S , ) is a complete non-Archimedean fuzzy metric space with a product t-norm.
Let O : U V be defined as O ( 0 , x ) = 1 , x 2 for all ( 0 , x ) U such that O ( U 0 ( r ) ) V 0 ( r ) .
Consider u 1 = 0 , 1 2 n 1 , x 1 = 0 , 1 n 1 and u 2 = 0 , 1 2 n 2 , x 2 = 0 , 1 n 2 , where n 1 , n 2 N .
S ( u 1 , O x 1 , r ) = S 0 , 1 2 n 1 , O 0 , 1 n 1 , r = S 0 , 1 2 n 1 , 1 , 1 2 n 1 , r = e | 0 1 | + | 1 2 n 1 1 2 n 1 | r = e 1 r = S ( U , V , r ) .
Similarly
S ( u 2 , O x 2 , r ) = S ( U , V , r )
implies that
S ( u 1 , u 2 , r ) = S ( ( 0 , 1 2 n 1 ) , ( 0 , 1 2 n 2 ) , r ) = e | 1 2 n 1 1 2 n 2 | r = S ( O x 1 , O x 2 , r ) .
Thus the p-property S ( u 1 , u 2 , r ) = S ( O x 1 , O x 2 , r ) holds.
Consider Γ τ ( l 1 , l 2 , l 3 , l 4 ) = τ where τ ( 0 , 1 ) such that Γ τ Γ τ , and define a strictly increasing function such that F ( s ) = l o g e ( s ) where 0 < s < 1 . Now, we have to satisfy the Γ τ F - fuzzy proximal contraction condition.
τ · F ( S ( u 1 , u 2 , r ) ) = τ · F S 0 , 1 2 n 1 , 0 , 1 2 n 2 , r = τ · F e 1 r | 1 2 n 1 1 2 n 2 | = τ · l o g e e 1 r | 1 2 n 1 1 2 n 2 ) | = τ · ( 1 r | 1 2 n 1 1 2 n 2 ) | ) 1 r | 1 n 1 1 n 2 | = F ( S ( ( 0 , 1 n 1 ) , ( 0 , 1 n 2 ) , r ) ) = F ( S ( x 1 , x 2 , r ) ) .
Hence O is a proximal Γ τ F -fuzzy contraction. Thus, all the assertions of Corollary 1 hold. Hence, O has a unique best proximity point ( 0 , 0 ) .

4. Conclusions

The major contribution of this paper was to discuss the Γ τ F -proximal contraction for the nonself map in fuzzy distance spaces. A few proximity theorems were proved for different proximal contraction in the fuzzy setting. In between the theorems, some sample examples were given to highlight the validity of the established results. As future work, we will consider and prove the unique best proximity point in various distance spaces with applications. The terms used here, such as U 0 ( r ) and V 0 ( r ) , depended on the real parameters r, and a proximal contraction with some hypothesis could guarantee the existence of a unique best proximity point. Readers can investigate this hypothesis to obtain new fuzzy proximal theorems. Readers can extend these results in terms of cyclic proximal contractions in the fuzzy setting with applications, refer [13,14,15,16,17,18,19,20,21,22,23,24].

Author Contributions

Manuscript preparation and research design, U.D.P.; methodology, U.D.P. and S.R. (Stojan Radenović); supervision, S.R. (Stojan Radenović); revisions, U.D.P., V.T., S.R. (Slobodan Radojevic) and S.R. (Stojan Radenović); funding acquisition, V.T., S.R. (Slobodan Radojevic) and S.R. (Stojan Radenović). All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

Data is contained within the article.

Acknowledgments

The first author is thankful to the Department of Science and Technology, New Delhi, India for approving the proposal under the scheme FIST Program (Ref. No. SR/FST/MS/2022/ 122 dated 19 December 2022). All the authors are grateful to the editor and referees of the journal for their constructive suggestions for the improvement and preparation of the manuscript.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Fan, K. Extensions of the two fixed point theorems of F. E. Browder. Math. Z. 1969, 112, 234–240. [Google Scholar] [CrossRef]
  2. Zadeh, L.A. Fuzzy sets. Inf. Control 1965, 8, 338–353. [Google Scholar] [CrossRef]
  3. Kramosil, I.; Michalek, J. Fuzzy metric and statistical metric spaces. Kybernetica 1975, 15, 326–334. [Google Scholar]
  4. George, A.; Veeramani, P. On some results in fuzzy metric spaces. Fuzzy Sets Syst. 1994, 64, 395–399. [Google Scholar] [CrossRef]
  5. Grabic, M. Fixed-points in fuzzy metric spaces. Fuzzy Sets Syst. 1988, 27, 385–389. [Google Scholar] [CrossRef]
  6. Banach, S. Sur les Operations dans les Ensembles Abstraits et leur Applications aux Equations Integrales. Fund. Math. 1922, 3, 133–181. [Google Scholar] [CrossRef]
  7. Edelstein, M. On fixed and periodic points under contractive mappings. J. Lond. Math. Soc. 1962, 37, 74–79. [Google Scholar] [CrossRef]
  8. Schweizer, B.; Sklar, A. Statistical metric spaces. Pac. J. Math. 1960, 10, 314–334. [Google Scholar] [CrossRef]
  9. Patel, U.D.; Radenović, S. An application to nonlinear fractional differential equation via α-ΓF -fuzzy contractive mappings in a fuzzy metric space. Mathematics 2022, 10, 2831. [Google Scholar] [CrossRef]
  10. Huang, H.; Carić, B.; Došenović, T.M.; Rakić, D.; Brdar, M. Fixed-Point Theorems in Fuzzy Metric Spaces via Fuzzy F-Contraction. Mathematics 2021, 9, 641. [Google Scholar] [CrossRef]
  11. Abbas, M.; Saleem, N.; Sen, M.D.L. Optimal coincidence point results in partially ordered non-Archimedean fuzzy metric spaces. Fixed Point Theory Appl. 2016, 2016, 44. [Google Scholar] [CrossRef] [Green Version]
  12. Basha, S.S. Full length article: Best proximity point theorems. J. Approx. Theory 2019, 163, 11. [Google Scholar] [CrossRef]
  13. Vetro, C.; Salimi, P. Best proximity pointresults in non-Archimedeasn fuzzy metric spaces. Fuzzy Inf. Eng. 2013, 4, 417–429. [Google Scholar] [CrossRef]
  14. Sezen, M.S.; Isiki, H. Some new fuzzy best proximity point theorems in non-Archimedean fuzzy metric spaces. J. Comput. Anal. Appl. 2021, 29, 712. [Google Scholar]
  15. Fabiano, N.; Kadelburg, Z.; Mirkov, N.; Čavić, V.S.; Radenović, S. On F-contractions: A Survey. Contemp. Math. 2022, 3, 327. [Google Scholar] [CrossRef]
  16. Razaa, Z.; Saleem, N.; Abbas, M. Optimal coincidence points of proximal quasi-contraction mappings in non-Archimedean fuzzy metric spaces. J. Nonlinear Sci. Appl. 2016, 3787–3801. [Google Scholar] [CrossRef]
  17. Tirado, P. Contraction mappings in fuzzy quasi-metric spaces and [0, 1]-fuzzy posets. Fixed Point Theory 2012, 13, 273–283. [Google Scholar]
  18. Gregori, V.; Sapena, A. On fixed-point theorems in fuzzy metric spaces. Fuzzy Sets Syst. 2002, 125, 245–252. [Google Scholar] [CrossRef]
  19. Mihet, D. Fuzzy ψ-contractive mappings in non-Archimedean fuzzy metric spaces. Fuzzy Sets Syst. 2008, 159, 739–744. [Google Scholar] [CrossRef]
  20. Wardowski, D. Fixed points of a new type of contractive mappings in complete spaces. Fixed Point Theory Appl. 2012, 2012, 94. [Google Scholar] [CrossRef]
  21. Samet, B.; Vetro, C.; Vetro, P. Fixed point theorems for α-ψ-contractive mappings. Nonlinear Anal. 2012, 75, 2154–2165. [Google Scholar] [CrossRef]
  22. Salimi, P.; Latif, A.; Hussain, N. Modified α-ψ-contractive mappings with applications. Fixed Point Theory Appl. 2013, 2013, 151. [Google Scholar] [CrossRef]
  23. Huang, H.; Todorčević, V.; Radenović, S. Remarks on recent results for generalized F-contractions. Mathematics 2022, 10, 768. [Google Scholar] [CrossRef]
  24. Hussain, N.; Kutbi, M.A.; Salimi, P. Fixed point theory in α-complete metric spaces with applications. Abstr. Appl. Anal. 2014, 2014, 280817. [Google Scholar] [CrossRef] [Green Version]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Patel, U.D.; Todorcevic, V.; Radojevic, S.; Radenović, S. Best Proximity Point for ΓτF-Fuzzy Proximal Contraction. Axioms 2023, 12, 165. https://doi.org/10.3390/axioms12020165

AMA Style

Patel UD, Todorcevic V, Radojevic S, Radenović S. Best Proximity Point for ΓτF-Fuzzy Proximal Contraction. Axioms. 2023; 12(2):165. https://doi.org/10.3390/axioms12020165

Chicago/Turabian Style

Patel, Uma Devi, Vesna Todorcevic, Slobodan Radojevic, and Stojan Radenović. 2023. "Best Proximity Point for ΓτF-Fuzzy Proximal Contraction" Axioms 12, no. 2: 165. https://doi.org/10.3390/axioms12020165

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop