Next Article in Journal
Best Proximity Point Results in Non-Archimedean Modular Metric Space
Next Article in Special Issue
Fixed Points of Set Valued Mappings in Terms of Start Point on a Metric Space Endowed with a Directed Graph
Previous Article in Journal
On Some Extended Block Krylov Based Methods for Large Scale Nonsymmetric Stein Matrix Equations
Previous Article in Special Issue
A Generalization of b-Metric Space and Some Fixed Point Theorems
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On Optimal Fuzzy Best Proximity Coincidence Points of Proximal Contractions Involving Cyclic Mappings in Non-Archimedean Fuzzy Metric Spaces

1
Institute of Research and Development of Processes IIDP, Faculty of Science and Technology, University of the Basque Country, P.O. Box 644 de Bilbao, Barrio Sarriena, 48940 Leioa (Bizkaia), Spain
2
Department of Mathematics, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia
3
Department of Mathematics, Government College University, 54000 Lahore, Pakistan
4
Department of Mathematics, National University of Computer and Emerging Sciences, Milaad Street, Lahore 54000, Pakistan
5
Department of Mathematics, University of Management and Technology, C-II Johar Town, Lahore 54000, Pakistan
*
Author to whom correspondence should be addressed.
Mathematics 2017, 5(2), 22; https://doi.org/10.3390/math5020022
Submission received: 30 March 2016 / Revised: 24 March 2017 / Accepted: 27 March 2017 / Published: 1 April 2017
(This article belongs to the Special Issue Fixed Point Theorems and Applications)

Abstract

:
The main objective of this paper is to deal with some properties of interest in two types of fuzzy ordered proximal contractions of cyclic self-mappings T integrated in a pair ( g , T ) of mappings. In particular, g is a non-contractive fuzzy self-mapping, in the framework of non-Archimedean ordered fuzzy complete metric spaces and T is a p -cyclic proximal contraction. Two types of such contractions (so called of type I and of type II) are dealt with. In particular, the existence, uniqueness and limit properties for sequences to optimal fuzzy best proximity coincidence points are investigated for such pairs of mappings.

1. Introduction

Concepts and related results on fuzzy sets in several research disciplines are abundant in the background literature. From a mathematical context, studies are available, for instance, in [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18] and the references therein, following its introduction and characterization by Zadeh [4]. Among the research performed on the subject, effort has been devoted to the investigation of the existence and uniqueness of fixed points, best proximity points, fuzzy fixed points, fuzzy best proximity points, common fuzzy fixed points and optimal fuzzy coincidence points [15,16,17,18,19,20,21,22,23,24,25,26,27,28]. Also, research has been devoted to related properties of convergence of sequences to the abovementioned relevant points. Fixed Point Theory is also relevant to the stability properties of some iterative schemes of that of dynamic systems [29,30,31,32,33], as an alternative tool to other classical techniques like Lyapunov stability. (See, for instance, [33,34,35,36,37].) There are also abundant studies on all such topics in classical metric spaces and Banach spaces, either in the fuzzy formalism or not necessarily under the fuzzy formalism, including a lot of research on contractive and non-expansive mappings, self-mappings and, in particular, cyclic proximal mappings. (See, for instance, [26,27,28,29,38,39,40,41,42,43] and the references therein concerning different iterative schemes and their relations to proximal split feasibility, variational inequalities and fixed point problems. There are also recent studies on the generalizations of several types of contractions in [31] with an introduction of the so-called simulation function.
Recent work in fuzzy metric spaces and probabilistic metric spaces can be found in [22,23,24,25]. Also, the so-called simulation function is introduced and discussed in [31] related to a new special generalized contraction that generalizes the Banach contraction and unifies several previously known types of contractions.
There are certain real-life problems for which fixed points, best proximity points, optimal coincidence points or optimal best proximity coincidence points do not exist, so their approximate counterparts are looked for in order to have an approximate solution of the problem at hand. We recall the following basic concepts:
If ( X , d ) is a metric space, A , B X are non-empty then:
(1)
x A is a fixed point of T : A A if d ( x , T x ) = 0 ;
(2)
x A is an approximate fixed point of T : A A if d ( x , T x ) = inf { d ( y , T x ) : y A } ;
(3)
x A is a best proximity point of T : A B in A if d ( x , T x ) = d ( A , B ) = inf { d ( z , y ) : z A , y B } ;
(4)
x A is an approximate best proximity point of T : A B in A if d ( x , T x ) = inf { d ( y , T x ) : y A } ;
Note that a fixed point of T : A A is an approximate fixed point of T : A A while the converse is not true, in general. Also, a best proximity point of T : A B , which is also a fixed point if A and B intersect, is an approximate best proximity point of T : A B while the converse is not true, in general. If we have two mappings g : A A and T : A B then:
(5)
x A is an optimal best proximity coincidence point of the pair ( g , T ) if d ( g x , T x ) = d ( A , B ) ;
(6)
x A is an approximate optimal best proximity coincidence point of the pair ( g , T ) if d ( g x , T x ) = inf { d ( g y , T x ) : y A } .
Note that optimal best proximity coincidence points are also approximate optimal best proximity coincidence points but the converse is not true, in general. Note also that, if A and B intersect, then an optimal best proximity coincidence point of the pair ( g , T ) is also a coincidence point of ( g , T ) . The above concepts can be extended to the “fuzzy” framework formalism when dealing with fuzzy metric spaces. The purpose of this paper is to investigate some relevant properties of two types of fuzzy ordered proximal contractions of cyclic self-mappings T integrated in a pair ( g , T ) of mappings, where g is a non-contractive fuzzy self-mapping and T is a cyclic proximal contraction, in the framework of non-Archimedean ordered fuzzy complete metric spaces. In particular, the existence, uniqueness and limit properties for sequences of optimal fuzzy best proximity coincidence points are investigated for such pairs of mappings.

Notation

  • R is the set of real numbers, R + = { z R : z > 0 } , R 0 + = R + { 0 } ;
  • Z is the set of integer numbers, Z + = { z Z : z > 0 } , Z 0 + = Z + { 0 } ;
  • p ¯ = { 1 , , , p } ;
  • c l ( . ) is the closure of the ( . ) -set.
The subsequent equality holds for the t-norm : [ 0 , 1 ] 2 [ 0 , 1 ] for a fuzzy set M on X × X × [ 0 , ) :
n = m n M ( x , y , t n ) = M ( x , y 1 , t m ) M ( z 0 , z 1 , t m + 1 ) .... M ( z 0 , z 1 , t n )
Some useful technical definitions to be used are given below:
Definition 1 [1].
A binary operation : [ 0 , 1 ] 2 [ 0 , 1 ] is said to be a continuous t-norm if:
(i) 
is continuous, commutative and associative;
(ii) 
a 1 = 1 for all a [ 0 , 1 ] ;
(iii) 
a b c d if a c and b d .
The formalism of fuzzy sets was proposed by Zadeh [4]. The following formal definition of fuzzy sets on non-Archimedean fuzzy metric spaces will be used throughout this manuscript.
Definition 2 [2,3].
Let X be a non-empty set and be a continuous t- norm. A fuzzy set M on X × X × [ 0 , ) is said to be a fuzzy metric on the non-Archimedean fuzzy metric space ( X , M ,  ​ ) if for any x , y , z X , the following conditions hold:
(i) 
( i ) M ( x , y , t ) > 0 ;
(ii) 
x = y i f a n d o n l y i f M ( x , y , t ) = 1 ; t R + ;
(iii) 
M ( x , y , t ) = M ( y , x , t ) ;
(iv) 
M ( x , y , max ( t , s ) ) = M ( x , z , t ) M ( z , y , s ) ; t , s R + ;
(v) 
M ( x , y ,    . ) : [ 0 , ) [ 0 , 1 ] is left-continuous.
If the condition (iv) of Definition 2 is replaced with M ( x , y , t + s ) = M ( x , z , t ) M ( z , y , s ) ; t , s R + then ( X , M , ) is a (Archimedean) fuzzy metric space and M ( x , y , . ) is non-decreasing on [ 0 , ) and continuous on X 2 × ( 0 , ) [5]. If t = s then M ( x , y , t ) = M ( x , z , t ) M ( z , y , t ) ; t R + and M is said to be the strong metric on X . Each fuzzy metric M on X generates a Hausdorff topology τ M whose base is the family of open balls of members B M ( x , ε , t ) = { y X : M ( x , y , t ) > 1 ε } for ε ( 0 , 1 ) , t R + , and a sequence { x n } converges to x X with respect to τ M if and only if lim n M ( x n , x , t ) = 1 ; t R + . Note that, since (iv) implies the above condition, any non-Archimedean fuzzy metric space is a fuzzy metric space.
Definition 3 [13].
Let A and B be two non-empty subsets of a non-Archimedean fuzzy metric space ( X , M , ) . Define the sets A 0 ( t ) and B 0 ( t ) as:
A 0 ( t ) = { x A : M ( x , y , t ) = M ( A , B , t ) for some y B } , B 0 ( t ) = { y B : M ( x , y , t ) = M ( A , B , t ) for some x A } .
Definition 4 [39].
Let Ψ be the set of all mappings ψ : [ 0 , 1 ] [ 0 , 1 ] satisfying the following properties:
(i) 
ψ ( 0 ) = 0 , ψ ( 1 ) = 1 and ψ ( t ) > t for t ( 0 , 1 ) and it is continuous in ( 0 , 1 ) ,
(ii) 
lim n ψ n ( t ) = 1 if and only if t = 1 .
A point x in an abstract non-empty set X will be said to be an optimal fuzzy best proximity coincidence point of the pair of mappings ( g , T ) , where g : A A and T : A B , where A and B are non-empty subsets of X , if M ( g x , T x , t ) = M ( A , B , t ) , where X is a non-empty set and M is a fuzzy metric. The main paper body consists of other two sections. In such sections, some proximal contractions associated with pair ( g , T ) where g is a non-contractive self-mapping and T is a p -cyclic fuzzy ordered proximal contractive self-mapping are formalized and some of their propertied, like convergence of sequences and existence and uniqueness of optimal fuzzy best proximity coincidence points are investigated. The obtained results and their discussion are split into two sections as follows. Section 2 introduces some necessary concepts in the fuzzy framework while some results are obtained and proved concerning the so-called optimal fuzzy best proximity coincidence points in partially ordered non-Archimedean fuzzy metric spaces for cyclic fuzzy order preserving proximal ψ -contractions of type I. Section 3 reformulates the above results for another type of proximal contractions, so-called type II. Both sections contain and discuss some illustrative examples.

2. Results and Discussion on Optimal Fuzzy Best Proximity Coincidence Points in Non-Archimedean Fuzzy Metric Spaces for Cyclic Fuzzy Order Preserving Proximal ψ -Contractions of Type I

This section is devoted to give a framework related to the existence of best proximity coincidence points in partially ordered non- Archimedean fuzzy metric spaces for cyclic fuzzy order preserving proximal ψ -contractions of type I. A set of necessary definitions are given to set and prove the results and a set of “ad hoc” discussed examples is also given.
Definition 5.
Let A be a non-empty subset of a non-Archimedean fuzzy metric space ( X , M , ) . A self-mapping f on A is said to be:
(1) 
a fuzzy isometry if M ( f x , f y , t ) = M ( x , y , t ) for all x , y A and t R + ;
(2) 
fuzzy non-contractive if for any x , y A and t R + , we have M ( f x , f y , t ) M ( x , y , t ) .
Definition 6.
Let ( X , _ ) be a preordered set and let X i X be non-empty sets; i p ¯ . A p ( 2 ) -cyclic mapping T : i p ¯ X i i p ¯ X i is said to be non-decreasing, or order preserving with respect to a preorder relation _ on i p ¯ X 0 i ( t ) , if:
(a) 
the binary preorder relation _ on i p ¯ X i is a partial order relation on each set X 0 i ( t ) ; i p ¯ ;
(b) 
for any x , y in X i and any i p ¯ if x _ y then T x _ T y .
Remark 1.
Note that Definition 6 could be restated under stronger conditions with the binary preorder relation _ holding on i p ¯ X i while being a partial order relation on each set X i ; i p ¯ . Note that X i A i ( t ) ; i p ¯ and i p ¯ X i ( X i j ( i ) p ¯ X 0 j ( t ) ) . In this context, Definition 6 can be applied to the partially order preserving non-Archimedean fuzzy metric space ( X , M , , _ ) (i.e., ( X , _ ) is a partially order preserving set and ( X , M , ) is a non-Archimedean fuzzy metric space, [38]) to a p -cyclic mapping T : i p ¯ X i i p ¯ X i where X i X are non-empty sets; i p ¯ .
The concepts of order preserving, order reversing and monotone mappings T : A B have been discussed in [11], where related results have been obtained. An “ad hoc” adaptation of the concept of order preserving for cyclic mappings is proposed in the subsequent definitions:
Definition 7.
A p ( 2 ) -cyclic mapping T : i p ¯ X i i p ¯ X i is said to be a (strong) p -cyclic fuzzy ordered proximal ψ -contraction of type I if for any u , v X 0 i ( t )    , x , y X i and any given i p ¯ , the following condition holds:
x _ y M ( u , T x , t ) = M ( X i , X i + 1 , t ) M ( v , T y , t ) = M ( X i , X i + 1 , t ) } M ( u , v , t ) ψ ( M ( x , y , t ) ) ,
w h e r e    ψ Ψ for all t R + .
If the above conditions hold for any u , v , x , y X 0 i ( t ) and any given i p ¯ then T : i p ¯ X i i p ¯ X i is said to be a weak p -cyclic fuzzy ordered proximal ψ -contraction of type I.
Definition 8.
A p ( 2 ) -cyclic mapping T : i p ¯ X i i p ¯ X i is said to be a (strong) p -cyclic fuzzy ordered proximal ψ -contraction of type II if for some α ( 0 , 1 ) , any u , v X 0 i ( t ) , x , y X i and any given i p ¯ , the following condition holds:
x _ y M ( u , T x , t ) = M ( X i , X i + 1 , t ) M ( v , T y , t ) = M ( X i , X i + 1 , t ) } M ( u , v , t ) ψ ( M ( x , y , α 1 t ) ) ,
where ψ Ψ for all t R + .
If the above conditions hold for any u , v , x , y X 0 i ( t ) and any given i p ¯ then T : i p ¯ X i i p ¯ X i is said to be a weak p -cyclic fuzzy ordered proximal ψ -contraction of type II.
Definition 9.
A p ( 2 ) -cyclic mapping T : i p ¯ X i i p ¯ X i is said to be (strong) p -cyclic proximal fuzzy order preserving if for any u , v X i ( t )     , x , y , z X i and any given i p ¯ then z _ T z and the following condition holds:
x _ y M ( u , T x , t ) = M ( X i , X i + 1 , t ) M ( v , T y , t ) = M ( X i , X i + 1 , t ) } u _ v ;   i p ¯
If the above conditions hold for any u , v , x , y , z X 0 i ( t ) and any given i p ¯ then T : i p ¯ X i i p ¯ X i is said to be a weak p -cyclic proximal fuzzy order preserving mapping.
Definition 10 [20].
A point z in an abstract non-empty set X is said to be an optimal fuzzy best proximity coincidence point of the pair of mappings ( g , T ) , where g : A A is a self-mapping and T : A B is, in general, a non-self mapping, A and B are non-empty subsets of X if M ( g z , T z , t ) = M ( A , B , t ) .
Remark 2.
(1) 
Note that Definition 10 is applicable to the case when the mapping T : i p ¯ X i i p ¯ X i is p -cyclic (so that T ( X i ) X i + 1 ; i p ¯ ) and g : j p ¯ X j | X i g : j p ¯ X j | X i ; i p ¯ ;
(2) 
Strong proximal contractions might be simply referred to as proximal contractions when no confusion is expected. Note from Definitions 8–10 that proximal contractions of types I and II are also weak proximal contractions of types I and II, respectively.
A quadruple ( X , M , , _ ) is called a partially ordered non-Archimedean fuzzy metric space if ( X , _ ) is a partially ordered set and ( X , M , ) is a non-Archimedean fuzzy metric space. The following main result of this section holds:
Theorem 1.
Let ( X , M , , _ ) be a complete partially ordered non-Archimedean fuzzy metric space and let X i X be non-empty sets; i p ¯ with _ being a partial order defined on i p ¯ X 0 i ( t ) . Let a p ( 2 ) -cyclic mapping T : i p ¯ X i i p ¯ X i be continuous and weak p -cyclic fuzzy order preserving (with respect to _ ) proximal ψ -contraction of type I and let g : i p ¯ X i i p ¯ X i be surjective, fuzzy non-contractive and inverse monotone mapping such that, for any x , y i p ¯ X 0 i ( t ) , g x and g y are comparable with respect to _ only if x , y are comparable. Suppose also that each pair of elements of i p ¯ X 0 i ( t ) has a lower bound and an upper bound and that for any t > 0 , X 0 i ( t ) is non-empty, T ( X 0 i ( t ) ) X 0 , i + 1 ( t ) and X 0 i ( t ) g ( X 0 i ( t ) ) ; i p ¯ . If for each given x 0 i X 0 i ( t ) for each i p ¯ , there exists some element x 1 i in X 0 i ( t ) such that:
M ( g x 1 i , T x 0 i , t ) = M ( X i , X i + 1 , t )   with   x 0 i _ x 1 i
then there exists a unique element x i * c l X 0 i ( t ) for each i p ¯ that is an optimal fuzzy best proximity coincidence point of the pair ( g , T ) in X i such that x i + 1 * = T x i * ; i p ¯ , and then:
M ( g x i * x i + 1 * , t ) = M ( X i , X i + 1 , t ) ;   i p ¯
Furthermore, each of the subsequences { z i n } { z n } X 0 i ( t ) for each i p ¯ for n Z + , with z i 0 = z 0 X 0 i ( t ) , being defined by any given first element z 0 i p ¯ X 0 i ( t ) so that the proximal constraint:
M ( g z n + 1 , T z n , t ) = M ( X j , X j + 1 , t )
holds for any given n Z 0 + , j p ¯ , is a Cauchy sequence that is convergent to the optimal fuzzy best proximity coincidence point x i * c l X 0 i ( t ) (the closure of X 0 i ( t ) ) of the pair ( g , T ) in X i provided that the two subsequent conditions hold:
(1)
n j 1 , k + 1 n n j k , with n j k + 1 n j 1 , k 2 , for j = i , i + 1 , ... , i + p 2 , and n i + p 2 , k + 1 n n i + p 1 , k + 1 , with n i + p 1 , k + 1 n i + p 2 , k 2 ; i , j p ¯ , k Z 0 + ;
(2)
the chosen arbitrary i p ¯ is such that the initial points ( z 0 , z 1 ) X 0 i ( t ) × X 0 i ( t ) and that the sets of positive integers { n j k n j , k + 1 } for j p ¯ and k Z 0 + have p positive upper-bounding integers n j ¯ n j k n j , k + 1 ; k Z 0 + , j p ¯ with n i 1 , 0 = 1 and n i 0 1 .
Proof.
Denote the restricted mappings T : j p ¯ X j | X i j p ¯ X j | X i + 1 and g : j p ¯ X j | X i j p ¯ X j | X i ; i p ¯ of the functions T : i p ¯ X i i p ¯ X i and g : i p ¯ X i i p ¯ X i , respectively, by T i : X i X i + 1 and g i : X i X i ; i p ¯ . Let z 0 = x 0 i arbitrary in X 0 i ( t ) for the given i p ¯ and some z 1 = x 1 i X 0 i ( t ) for any given arbitrary i p ¯ be such that z 0 _ z 1 and M ( g z 1 , T z 0 , t ) = M ( X i , X i + 1 , t ) . Since T z 1 T ( X 0 i ( t ) ) X 0 , i + 1 ( t ) and X 0 i ( t ) g ( X 0 , i + 1 ( t ) ) , z 2 X 0 i ( t ) exists such that M ( g z 2 , T z 1 , t ) = M ( X i , X i + 1 , t ) . Since T : i p ¯ X i i p ¯ X i is weak p -cyclic proximal fuzzy order preserving and z 0 _ z 1 then g z 1 _ g z 2 and, since g : i p ¯ X i i p ¯ X i is surjective and X 0 i ( t ) g ( X 0 , i + 1 ( t ) ) then it follows that z 1 _ z 2 . Assume that this is not the case and proceed by contradiction. Since g z 1 and g z 2 are comparable, which holds, by hypothesis, only if z 1 and z 2 are comparable, then z 1 z 2 since z 1 _ z 2 is assumed false. However, then g z 1 g z 2 , which contradicts g z 1 _ g z 2 . Then, z 1 _ z 2 and, as a result, z 0 _ z 1 _ z 2 . Proceeding in the same way, we can build a sequence { z n } with z n X 0 i ( t ) for 1 n ( Z 0 + ) n i 0 , where 1 n i 0 ( Z 0 + ) n ¯ i 1 , such that M ( g z n + 1 , T z n , t ) = M ( X i , X i + 1 , t ) ; z n _ z n 1 ; n ( Z + ) n ¯ i 0 . Then, take z n i 0 + 1 = T z n i 0 X 0 , i + 1 ( t ) such that z n i 0 + 1 _ z n i 0 + 2 since T : i p ¯ X i i p ¯ X i is a weak p -cyclic proximal fuzzy order preserving, z n i 0 X 0 i ( t ) and z n i 0 + 1 = T z n i 0 X 0 , i + 1 ( t ) . As a result, z n 1 _ z n ; n ( Z + ) n i 0 + 1 ¯ . Again, for such a z n i 0 + 1 X 0 , i + 1 ( t ) , there is some z n i 0 + 1 X 0 , i + 1 ( t ) such that z n i 0 + 1 _ z n i 0 + 2 and for 1 n i + 1 , 0 ( Z 0 + ) n ¯ i + 1 . Then, the elements of { z n } from n = 0 to n = n i 0 + 2 are ordered, with the order preserved with respect to the preorder relation _ and z n X 0 i ( t ) and z n i 0 + m X 0 , i + 1 ( t ) for m = 1 , 2 . By keeping k = 0 , we proceed in the same way by running j from i to i + p 2 and prove that the finite subsequence of { z n } from n = 0 to n = n i + p 2 , 0 + 2 is also totally ordered with respect to _ since n j 1 , 0 + 1 n n j 0 for j = i , i + 1 , ... , i + p 2 ; j p ¯ for the given i p ¯ . Now, the same reasoning is used for j = i + p 1 and for k = 1 and n i + p 2 , 0 + 1 n n i + p 1 , 1 to conclude that the elements of { z n } from n = 0 to n = n i + p 1 , 0 + 2 are ordered with respect to the relation _ . Proceeding recursively for each j = i , i + 1 , ... , i + p 2 and each integer k Z + , it is proved that, z n X 0 j ( t ) for n j 1 , k + 1 n n j k for j = i , i + 1 , ... , i + p 2 ; k Z 0 + and z n X 0 i ( t ) ( = X 0 , i + p 1 ( t ) ) for n i + p 2 , k + 1 n n i + p 1 , k + 1 ; k Z 0 + and that the sequence { z n } is totally ordered with respect to _ . Define the strictly ordered set of positive integers N * = { n j 1 , k } ; j = i , i + 1 , ... , i + p 1 , k Z 0 + with n j k < n j + 1 , k and n p , k < n 1 , k + 1 ; j p ¯ , k Z 0 + . Since T : i p ¯ X i i p ¯ X i is a weak p -cyclic proximal fuzzy order preserving (with respect to _ ) proximal ψ -contraction of type I and g : i p ¯ X i i p ¯ X i is fuzzy non-contractive, one has for z n { z n } since ψ : [ 0 , 1 ] [ 0 , 1 ] is in the set Ψ :
τ n ( t ) = M ( z n , z n + 1 , t ) M ( g z n , g z n + 1 , t ) ψ ( M ( z n 1 , z n , t ) ) > τ n 1 ( t ) = M ( z n 1 , z n , t )
i f n , ( n + 1 ) N * and :
τ n ( t ) = M ( z n , z n + 1 , t ) M ( g z n , g z n + 1 , t ) ψ ( M ( z n 1 , z n , t ) ) > τ n 1 ( t ) = M ( z n 1 , z n , t )
i f ( n + 1 ) , ( n + 2 ) N * . Note that if z n 1 and z n are in X 0 j ( t ) then z n and z n + 1 are in X 0 j ( t ) , for some j p ¯ , if n , ( n + 1 ) N * and in X 0 , j + 1 ( t ) ( n + 1 ) , ( n + 2 ) N * since, by hypothesis, n j 1 , k + 1 n n j k , with n j k + 1 n j 1 , k 2 , for j = i , i + 1 , ... , i + p 2 and n i + p 2 , k + 1 n n i + p 1 , k + 1 , with n i + p 1 , k + 1 n i + p 2 , k 2 ; i , j p ¯ . As a result, there is a subsequence { m j k } of non-negative integer numbers that depends on the initial z 0 X 0 i ( t ) , such that z m j k , z m j k + 1 and z m j k + 1 are in X 0 j ( t ) { z n } for all k Z 0 + and each j p ¯ .
Also, for the subsequence { z m j k + } { z n } for = 0 , 1 , 2 ; k Z 0 + and any given j p ¯ , { τ m j n + ( t ) } and = 0 , 1 , 2 are strictly increasing sequences with n Z 0 + for each given j p ¯ , so that m j n + as n for = 0 , 1 , 2 , and convergent to a limit τ j ( t ) in ( 0 , 1 ] for each t R + and j p ¯ since ψ : [ 0 , 1 ] [ 0 , 1 ] is continuous and non-decreasing and Equations (4) and (5) hold with:
1 τ m j n + ( t ) ψ ( τ m j , n 1 + ( t ) ) > τ m j , n 1 + ( t ) ;   n Z 0 +
1 τ j ( t ) = lim n τ m j n + ( t ) lim n τ m j n + ( t ) ;   n Z 0 +
For each j p ¯ . Assume that there is t 0 R + such that 1 > τ j ( t 0 ) for some j p ¯ . Then, the subsequent contradiction follows:
τ j ( t 0 ) = lim n τ m j n + ( t 0 ) ψ ( τ j ( t 0 ) ) > τ j ( t 0 )
for each j p ¯ . Thus, τ j ( t ) = 1 for all t R + and all j p ¯ . It is now proven that the subsequences { z m j n } X 0 j ( t ) are Cauchy sequences in X 0 j ( t ) for each given j p ¯ . Suppose that there is a sequence { z m j n } that is not Cauchy for some j p ¯ . Then, there exists ε ( 0 , 1 ) and t 0 R + such that for all k Z 0 + , there are n j n k m j n k ( > n k ) Z 0 + such that M ( z n j n k , z m j n k , t 0 ) 1 ε ; for some j p ¯ . Assume that m j n k is the least integer exceeding n j n k and satisfying the above inequality so that:
M ( z m j , n k 1 , z n j n k , t 0 ) > 1 ε
Then, one obtains for all k Z 0 + :
1 ε M ( z n j n k , z m j n k , t 0 ) M ( z m j n k , z m j , n k 1 , t 0 ) M ( z m j , n k 1 , z n j n k , t 0 ) > τ m j , n k 1 ( t 0 ) ( 1 ε )
and, since l i m k τ m j , n k 1 ( t 0 ) = τ j ( t 0 ) = 1 for all j p ¯ : [ 0 , 1 ] 2 [ 0 , 1 ] is a continuous t -norm and ε > 0 , one gets by taking the limits in Equation (10) as k the following contradiction:
1 ε > 1 ( 1 ε ) = 1 ε
As a result, { z m j n } is a Cauchy sequence for all j p ¯ . Since ( X , M , , _ ) is complete, there exists x j * c l X 0 j ( t ) such that { z m j n } x j * ; j p ¯ since m j n as n and lim n M ( z m j n , x j * , t ) = 1 ; j p ¯ , t R + . Since T : i p ¯ X i i p ¯ X i is continuous, this also implies that:
M ( g x j * , T ( T x j * ) , t ) = lim n M ( T z m j n , g z m j , n + 1 , t ) = lim n M ( T x j * , g z m j , n + 1 , t ) = lim n M ( g x j * , T z m j n , t ) = M ( X j , X j + 1 , t )
so that x j * c l X 0 j ( t ) is the common best proximity point of the pair ( g , T ) in X 0 j ( t ) for each j p ¯ . It is now proven that x j * c l X 0 j ( t ) is unique for each j p ¯ . This is equivalent to proving that, for any fixed element x ¯ 0 , x 0 X 0 j ( t ) , the subsequence { x ¯ m j n } X 0 j ( t ) of { x ¯ j n } j p ¯ X 0 j ( t ) converges to the same x j * ; j p ¯ . Since T : i p ¯ X i i p ¯ X i is a weak p -cyclic fuzzy order preserving proximal ψ -contraction of type I and g : i p ¯ X i i p ¯ X i is fuzzy non-contractive, one gets the subsequent contradiction under the assumption that x j * x ¯ j * for some j p ¯ such that, if x 0 x ¯ 0 and x j * and x ¯ j * are comparable, the convergent subsequences { x m j n } ( X 0 j ( t ) { x n } ) x j * , { x m ¯ j n } ( X 0 j ( t ) { x ¯ n } ) x ¯ j * ( x j * ) , such that the sequences of nonnegative integers { m j n } and { m ¯ j n } with m j n , m ¯ j n as n ; j p ¯ , defined by:
M ( g x ¯ m ¯ j n + 1 , T x ¯ m ¯ j n + 1 , t ) = M ( g x m j n + 1 , T x m j n , t ) = M ( X j , X j + 1 , t ) ;   n Z 0 +
satisfy the set of inequalities:
M ( x j * , x ¯ j * , t ) M ( g x j * , g x ¯ j * , t ) M ( g x j * , T x j * , t ) M ( T x ¯ j * , T x j * , t ) M ( g x ¯ j * , T x ¯ j * , t ) 1 ( 1 M ( T x ¯ j * , T x j * , t ) ) = 1 M ( T x ¯ j * , T x j * , t ) = M ( T x ¯ j * , T x j * , t ) ψ ( M ( x ¯ j * , x j * , t ) ) > M ( x ¯ j * , x j * , t )
so that x j * = x ¯ j * ; j p ¯ . Now, assume that the corresponding elements of the sequences { x n } and { x ¯ n } , with distinct initial values x 0 and x ¯ 0 , are not all pair-wise comparable. By the hypothesis of the mapping T being a fuzzy order preserving proximal ψ -contraction of type I and the hypothesis of the mapping g being inverse monotone, both sequences are lower-bounded and upper-bounded by sequences { u n } and { u ¯ n } , with the corresponding subsequences { u m j n } and { u ¯ m ¯ j n } , respectively, in any of the sets X 0 j ( t ) , which are constructed from:
M ( g u m j n + 1 , T u m j n , t ) = M ( g u ¯ m ¯ j n + 1 , T u ¯ m ¯ j n , t ) = M ( X j , X j + 1 , t ) ;   j p ¯
provided that m j n ,    m j n + 1 { m j n } Z 0 + ,    m ¯ j n ,    m ¯ j n + 1 { m ¯ j n } Z 0 + ; j p ¯ and have order comparison properties of the form u m j n _ x m j n _ u ¯ m ¯ j n and u m j n _ x ¯ m ¯ j n _ u ¯ m ¯ j n ; n Z 0 + , j p ¯ since the sequences { x m j n } and { x ¯ m ¯ j n } ; j p ¯ , are totally ordered, and also both lower-bounded and upper-bounded by the pair-wise comparable sequences { u m j n } and { u ¯ m ¯ j n } , respectively, since they are convergent. Then, lim n u m j n = lim n u ¯ m ¯ j n = lim n x ¯ m ¯ j n = lim n x m j n = x j * ; j p ¯ .
It is now proved that x j + 1 * = T x j * ; j p ¯ . Since x j + 1 * , T x j * X 0 , j + 1 ( t ) , then:
M ( g x j * , T ( T x j * ) , t ) = lim n M ( T z ^ m j + 1 , n , g x j + 1 * , t ) = M ( T x j + 1 * , g x j + 1 * , t ) = M ( X j + 1 , X j + 2 , t )
where { z ^ m j + 1 , n } X 0 , j + 1 ( t ) is a Cauchy sequence of initial value T x j * that is convergent to some z j + 1 * c l X 0 , j + 1 ( t ) , while another subsequence in X 0 j ( t ) of a sequence with initial consecutive values x 0 X i , x 1 X 0 i ( t ) converges to x j + 1 * = z j + 1 * X 0 , j + 1 ( t ) . However, since x j * X 0 j ( t ) is unique and T x j * X 0 , j + 1 ( t ) for all j p ¯ , then:
M ( X j + 1 , X j + 2 , t ) = M ( T x j + 1 * , g x j + 1 * , t ) = M ( T z j + 1 * , g x j + 1 * , t ) ;   j p ¯
since z j + 1 * is a unique limit of Cauchy sequences in X 0 , j + 1 ( t ) then z j + 1 * = T x j * ; j p ¯ . So the unique limit of all Cauchy subsequences in X 0 , j + 1 ( t ) is x j + 1 * = z j + 1 * = T x j * ; j p ¯ . ☐
Remark 3.
Theorem 1 guarantees the existence of Cauchy sequences that are constructed from the proximal constraints and their convergence to unique optimal fuzzy best proximity coincidence points of the pair ( g , T ) in X i , which are located at c l X 0 i ( t ) ; i p ¯ provided that the proximal constraints run at least for two consecutive iterations at each X 0 i ( t ) before each iteration to the next adjacent subset X 0 , i + 1 ( t ) (see conditions 1–2). In the subsequent result, the constraints for running at least two consecutive proximal iterations at each X 0 i ( t ) ; i p ¯ are removed. Only a proximal iteration at X 0 j ( t ) is needed for some given j p ¯ at particular cycles of the p -cyclic map T . This operation guarantees the convergence of the corresponding subsequences in c l X 0 i ( t ) ; i p ¯ to unique optimal fuzzy best proximity coincidence points of the pair ( g , T ) at each set X 0 i ( t ) ; i p ¯ .
Corollary 1.
Assume that the hypothesis of Theorem 1 holds except that, for any given initial point z 0 i p ¯ X i , the sequences { z n } are built so that:
(1)
z n + 1 = T z n for any n Z + if z n X 0 i ( t ) for any i ( j ) p ¯ and some fixed j p ¯ (i.e., the proximal subsequence from each subset X j of X to each next adjacent subset is only computed eventually at the subset X 0 j ( t ) , while at the remaining subsets only the cyclic self-mapping T is involved);
(2)
the proximal constraint Equation (3), subject to its subsequent constraints, is replaced at the subset X j of X by the subsequent one:
M ( g z n j , k + m j + 1 , T n j , k + m j + 1 n j k z n j k , t ) = M ( X j , X j + 1 , t ) ;   k ( k * ) Z 0 + ,   i p ¯
for some given j p ¯ and some subsequence { z n j k } { z n } X 0 j ( t ) , for n Z + with z 0 X i for some i p ^ satisfying z n j , k + m j = T n j , k + m j ( k ) n j k z n j k with z n j k * , z n j k * + 1 X 0 j ( t ) , for some set of bounded positive integers m j ( k ) ; k ( k * ) Z 0 + for the given j p ¯ and some sequence of positive integers { n j k } being strictly increasing with k ( k * ) Z 0 + (i.e., the proximal subsequence at the subset X 0 j ( t ) is not necessary computed at each k -th cycle on the whole cyclic disposal of the p subsets X 0 i ( t ) X i X for all i p ¯ since m j ( k ) can exceed the value p for some values k ( k * ) Z 0 + .
Then, there exists a unique element x i * c l X 0 i ( t ) for each i p ¯ , which is an optimal fuzzy best proximity coincidence point of the pair ( g , T ) in X i , such that x i + 1 * = T x i * ; i p ¯ , and then M ( g x i * x i + 1 * , t ) = M ( X i , X i + 1 , t ) ; i p ¯ . Furthermore, each of the subsequences { z i n } { z n } X 0 i ( t ) for i p ¯ being defined by any given first element z 0 i p ¯ X 0 i ( t ) , so that the proximal constraint M ( g z n + 1 , T z n , t ) = M ( X j , X j + 1 , t ) ; n Z 0 + , is a Cauchy sequence which is convergent to the optimal fuzzy best proximity coincidence point x i * c l X 0 i ( t ) of the pair ( g , T ) in X i .
Sketch of Proof.
Note that the proximal constraint (16) may be rewritten as:
M ( g z n j , k + m j ( k ) + 1 , T z n j , k + m j ( k ) , t ) = M ( X j , X j + 1 , t )
by defining z n j , k + m j ( k ) = T n j , k + m j ( k ) n j k z n j k . Thus, we can define a strictly increasing sequence of nonnegative integers { n } satisfying:
0 = n j k * 0 , ,   n = n j k n + m j ( k n ) 0
such that the nonnegative integers m j ( k n ) k n 1 k n + m j ( k n 1 ) for all n Z + and m j ( k 0 ) 0 , k 0 = k * Z 0 + , n j k 1 Z 0 + with n j k 1 0 such that z n j k 0 X 0 j ( t ) . Then, the subsequence { z n } X 0 j ( t ) and satisfies the proximal condition (16). Then, according to Theorem 1, such a subsequence is Cauchy and convergent to a unique x j * c l X 0 j ( t ) , which is a unique optimal fuzzy best proximity coincidence points of the pair ( g , T ) in X j . Since this sequence is convergent, all subsequences { T k z n } x j + k * ; j = i , i + 1 , ... , i + p 1 and x j + k * is the unique limit point and also the unique optimal fuzzy best proximity coincidence point of the pair ( g , T ) in X i + k . ☐
Theorem 1 and Corollary 1 also hold if T : i p ¯ X i i p ¯ X i is a p -cyclic fuzzy order preserving (strong) proximal ψ -contraction of type I such that the convergence of the constructed subsequences in each X i for i p ¯ converge asymptotically to be proximal subsequences converging to a unique optimal fuzzy best proximity coincidence point of ( g , T ) in each X i so that M ( z n 1 , z n , t ) M ( X i , X i + 1 , t ) as n . In particular, Equation (1) is replaced with Equation (17) below. A related result is as follows:
Corollary 2.
Theorem 1 and Corollary 1 also hold “mutatis–mutandis” if T : i p ¯ X i i p ¯ X i is a continuous p -cyclic fuzzy order preserving (with respect to _ defined on i p ¯ X i ) proximal ψ -contraction of type I provided that for each given for each i p ¯ and some existing element x 1 i in X i :
M ( g x 1 i , T x 0 i , t ) M ( X i , X i + 1 , t )   with   x 0 i _ x 1 i
Sketch of Proof.
Now take some arbitrary z 0 = x 0 i in X i and any arbitrary given i p ¯ and some z 1 = x 1 i X i for any given arbitrary i p ¯ such that (17) holds (note that equality in Equation (17) holds if and only if x 0 i , x 1 i X 0 i ( t ) ). Since T : i p ¯ X i i p ¯ X i is a p -cyclic fuzzy order preserving proximal ψ -contraction of type I and g : i p ¯ X i i p ¯ X i is fuzzy non-contractive, one has for any built subsequence z n { z n } X i of the whole iteration, since ψ : [ 0 , 1 ] [ 0 , 1 ] is in the set Ψ , and following Equations (4), (5) and (17):
M ( X i , X i + 1 , t ) M ( z n , z n + 1 , t ) M ( g z n , g z n + 1 , t ) ψ ( M ( z n 1 , z n , t ) ) > M ( z n 1 , z n , t )
if n , ( n + 1 ) N * , and:
M ( z n + 1 , z n + 2 , t ) = M ( T z n , T z n + 1 , t ) ψ ( M ( z n , z n + 1 , t ) ) > M ( z n 1 , z n , t )
if ( n + 1 ) , ( n + 2 ) N * . One can conclude from the steps of the proof of Theorem 1 and from the sketch of the proof of Corollary 1 that M ( z n 1 , z n , t ) M ( X i , X i + 1 , t ) as n so that the subsequence z n converges to a best proximity point in c l ( X 0 i ( t ) ) , which is a unique optimal fuzzy best proximity coincidence point of ( g , T ) in X i . ☐
Example 1.
Let X R 0 + 2 be defined by X = X 1 X 2 , where X 1 = { ( 0 , 1 + x ) : x R 0 + } and X 2 = { ( 1 + x , 0 ) : x R 0 + } . Note that X 1 X 2 = . Consider the complete ordered fuzzy metric space ( X , M , , _ ) under M ( x , y , t ) = t t + d ( x , y ) ; x , y X , t R + and M ( X 1 , X 2 , t ) = t t + 1 , where d ( x , y ) = | x 1 y 1 | + | x 2 y 2 | for any x = ( x 1 , x 2 ) , y = ( y 1 , y 2 ) X , and “ _ ” is a coordinate-wise ordering for all x , y , z , w X i for i = 1 , 2 defined by:
(a)
( x , y ) _ ( z , w ) if and only if x z ; and
(b)
( x , y ) _ T ( x , y ) for any ( x , y ) X , i.e., if ( x , y ) X i , T ( x , y ) X j for i , j ( i ) = 1 , 2 .
The proximal subsets are X 01 ( t ) = { ( 0 , 1 ) } , X 02 ( t ) = { ( 1 , 0 ) } .
Define the continuous 2 —cyclic mapping T λ ( X 1 ) = ( 1 + λ x , 0 ) and T λ ( X 2 ) = ( 0 , 1 + λ x ) for some given real constant λ [ 0 , 1 ) . Note that T λ ( X 01 ( t ) ) = X 02 ( t ) and T λ ( X 02 ( t ) ) = X 01 ( t ) ; λ R 0 + . If λ = 0 then T 0 ( X 01 ( t ) ) = X 02 ( t ) = { ( 1 , 0 ) } and T 0 ( X 02 ( t ) ) = X 01 ( t ) = { ( 0 , 1 ) } .
Define g : X X as g ρ ( 0 , x ) = ρ ( 0 , x ) and g ρ ( 1 + x , 0 ) = ( 1 + ρ x , 0 ) for any given x R 0 + and some given real ρ 1 . Note that g ρ ( X 01 ( t ) ) = X 01 ( t ) , g ρ ( X 02 ( t ) ) = X 02 ( t ) and that g ρ : X X is surjective and inverse monotone.
Now, we build a sequence { x n } X 1 X 2 by taking an initial point x 0 = ( 0 , y 0 ) X 1 for some real y 0 = 1 + x 1 for some given fixed real x R 0 + . Now, T λ x 0 = T λ ( 0 , y 0 ) = ( 1 + λ x , 0 ) = ( 1 + λ ( y 0 1 ) , 0 ) for some given real λ [ 0 , 1 ) . Take ψ ( t ) = t . Next, take some y 1 R + such that x 1 = ( 0 , y 1 ) X 01 ( t ) and x 1 _ x 0 (i.e., y 1 y 0 ), g ρ ( x 1 ) = ρ x 1 = ρ ( 0 , y 1 ) for some given real ρ [ 1 , ) . In general, x 0 X 1 , T x 0 X 2 , { x n } X 1 , { T λ x n } X 2 , with T λ x n = ( 1 + λ ( y n 1 ) , 0 ) , so that x n + 1 _ x n for n Z + and:
M ( g ρ x n + 1 , T λ x n , t ) = M ( ρ ( 0 , y n + 1 ) , T λ ( 0 , y n ) , t ) = M ( ( 0 , ρ y n + 1 ) , ( 1 + λ ( y n 1 ) , 0 ) , t ) = t t + | ρ y n + 1 + λ ( 1 y n ) 1 |
Note that if ρ = 2 and λ [ 0 , 1 ) then ( λ / ρ ) [ 0 , 1 / 2 ) and { y n } is strictly decreasing and { y n } 1 . Thus, for all n Z + , one has M ( g ρ x n + 1 , T λ x n , t ) M ( g ρ x n , T λ x n 1 , t ) , which converges to M ( X 1 , X 2 , t ) = t t + 1 as n , t R + , and:
M ( x n + 2 , x n + 1 , t ) M ( g ρ x n + 2 , g ρ x n + 1 , t ) = M ( ( 0 , ρ y n + 2 ) , ( 0 , ρ y n + 1 ) , t ) = ( t t + ρ | y n + 2 y n + 1 | ) ψ ( M ( ( 0 , y n + 1 ) , ( 0 , y n ) , t ) ) = ( t t + | y n + 1 y n | ) 1 / 2 ( t t + | y n + 1 y n | )
n Z 0 + , t R + , the last inequality being strict if y n + 1 y n , with ψ ( 0 ) = 0 while ψ ( 1 ) = 1 if and only if y n + 1 = y n . Note that the sequence { M ( x n + 1 , x n , t ) } is strictly increasing for all t R + and M ( x n + 2 , x n + 1 , t ) 1 as n , t R + so that { y n + 1 y n } 0 , x n + 1 _ x n , n Z 0 + , and:
{ x n } ( X 01 ( t ) ) ( 0 , 1 ) ,   { T λ x n } ( X 02 ( t ) ) ( 1 , 0 )
Note that this example extends the validity of Corollary 1—via Corollary 2—to the construction of sequences in the whole X 1 (instead of on just the proximal subset X 01 ( t ) X 1 ), which converge to the unique proximal point limit ( 0 , 1 ) X 01 ( t ) to X 2 .
Example 2.
If, in Example 1, we take the initial points either in the proximal set X 01 ( t ) = { 0 , 1 } or in the proximal set X 02 ( t ) = { 1 , 0 } , i.e., x 0 { { 0 , 1 }    { 1 , 0 } } , then, according to Corollary 1, T λ ( 0 , 1 ) = ( 1 , 0 ) and T λ ( 1 , 0 ) = ( 0 , 1 ) since T λ ( X 1 ) = ( 1 + λ x , 0 ) and T λ ( X 2 ) = ( 0 , 1 + λ x ) for x 0 .
Example 3.
Note that, in Example 1, we have taken the initial conditions in X 1 and the proximal sequences to X 2 are always constructed within X 1 and converge to the unique best proximity point of the proximal set X 01 ( t ) = { 0 , 1 } X 1 to X 2 so that the best proximity point in X 2 is focused as a limit point via the cyclic mapping since T λ ( X 01 ( t ) ) = X 02 ( t ) = { 1 , 0 } X 2 . In Example 2, the points of the proximal built sequences are taken directly on both proximal sets. Now, we can construct converging proximal sequences with elements in both X 1 and X 2 that converge to the unique optimal fuzzy best proximity coincidence points of the pair ( g , T ) in both corresponding proximal sets. Take a point x 0 = ( 1 + λ x , 0 ) X 2 . We now proceed by constructing a sequence with two consecutive elements in X 2 , then the next one is in X 1 and again two consecutive proximal elements to X 2 in X 1 and so on so that the cyclic mapping T is also relevant to alternate elements with two or more elements of the sequences of interest in both subsets in the cyclic disposal. Thus, for instance, the sequence:
{ ( 1 + λ x , 0 ) , ( 1 + λ 2 x ρ , 0 ) , ( 0 , 1 + λ 3 x ρ ) , ( 0 , 1 + λ 4 x ρ 2 ) , ( 0 , 1 + λ 5 x ρ 3 ) , ( 1 + λ 6 x ρ 3 , 0 ) , ( 1 + λ 7 x ρ 4 , 0 ) , ( 1 + λ 8 x ρ 5 , 0 ) ,    ... , }
consists of two subsequences that converge to the best proximity points ( 1 , 0 ) and ( 0 , 1 ) for any given x R 0 + , which are the unique optimal fuzzy best proximity coincidence points of ( g , T ) .

3. Results and Discussion of Optimal Fuzzy Best Proximity Coincidence Points in Partially Ordered Non-Archimedean Fuzzy Metric Spaces for Cyclic Fuzzy Order Proximal ψ -Contractions of Type II

This section is devoted to a framework related to the existence of best proximity coincidence points in partially ordered non-Archimedean fuzzy metric spaces for cyclic fuzzy order preserving proximal ψ -contractions of type II. Three definitions are given; we then state and prove the results and two examples are also given.
The following definitions are used in the main results of this section:
Definition 11 [8].
A sequence { t n } of positive real numbers is said to be s -increasing if there exists n 0 Z 0 + such that t n + 1 = t n + 1 for all n n 0 .
Definition 12 [7,8].
A fuzzy metric space ( X , M , ) is said to have the property T if for any s -increasing sequence { t n } and any given real constant ε ( 0 , 1 ) , there exists n 0 = n 0 ( ε ) Z 0 + such that n n 0 M ( x , y , t n ) 1 ε for all n n 0 and all x , y X .
An alternative definition under weaker conditions follows:
Definition 13.
A fuzzy metric space ( X , M , ) is said to have the property T 0 if for any s -increasing sequence { t n } and any given real constant ε ( 0 , 1 ) , there exist some n 0 = n 0 ( ε ) Z 0 + and some N Z + such that:
n n 0 n 0 + N 1 M ( x , y , t n ) 1 ε   for   all   n n 0 ;   x , y X
The following result relates the properties T 0 and T if lim t M ( x , y , t ) = 1 ; x , y X .
Lemma 1.
Let ( X , M , ) be a fuzzy metric space endowed with the product t -norm : [ 0 , 1 ] 2 [ 0 , 1 ] such that its associate fuzzy metric fulfils lim t M ( x , y , t ) = 1 ; x , y X . Then, the fuzzy metric space ( X , M , ) , endowed with a t -norm : [ 0 , 1 ] 2 [ 0 , 1 ] has the properties T 0 and T for any t -norm : [ 0 , 1 ] 2 [ 0 , 1 ] .
Proof. 
If lim t M ( x , y , t ) = 1 for any s -increasing sequence { t n } , one has:
lim n M ( x , y , t n ) = lim n M ( x , y , t n + ) = lim n , m M ( x , y , t n + m ) = 1 ;   x , y X , Z 0 +
and for any given real constant ε 1 ( 0 , 1 ) , there exists n 0 = n 0 ( ε 1 , ) Z 0 + such that M ( x , y , t n ) 1 ε 1 for any x , y X and n n 01 since M ( x , y , . ) is a non-decreasing function on ( 0 , ) . Also, for any given real constants ε ( 0 , 1 ) and ε 1 ( 0 , ε ¯ 1 ) , and some integer N Z + , where ε ¯ 1 = ε ¯ 1 ( ε , ​  N ) < 1 ( 1 ε ) 1 / N + 1 is in ( 0 , 1 ) , one gets for the fuzzy metric space ( X , M , ) :
n n 0 n 0 + N 1 [ M ( x , y , t n ) ] ( 1 ε 1 ) N 1 ε   for   some   N = N ( ε , ε 1 ) Z 0 +
and ε ¯ 1 = ε ¯ 1 ( ε , ​  ) ( 0 , 1 ) ; x , y X so that ( X , M , ) possesses the property T 0 . Since lim n M ( x , y , t n ) = 1 ; x , y X then lim n m = n n + N 1 M ( x , y , t m ) = lim n , S m = n n + S 1 M ( x , y , t m ) = 1 ; x , y X . Thus, since ( X , M , ) has the property T 0 then for any s -increasing sequence { t n } and any given real constant ε ( 0 , 1 ) , there exists n 0 = n 0 ( ε ) Z 0 + such that n n 0 n 0 + N 1 M ( x , y , t n ) 1 ε for all integer n n 0 ; x , y X . As a result, ( X , M , ) has the property T since:
m = n ( n 0 ) M ( x , y , t m ) = lim N ( m = n ( n 0 ) n + N 1 M ( x , y , t m ) ) lim N ( m = n + N n + 2 N 1 M ( x , y , t m ) ) ( 1 ε ) 1 = 1 ε
If the metric space is ( X , M , Δ ) , with Δ : [ 0 , 1 ] 2 [ 0 , 1 ] being the triangular t -norm, then one gets for any arbitrary ε = ε 1 ( 0 , 1 ) that Δ n n 0 n 0 + N 1 [ M ( x , y , t n ) ] 1 ε 1 = 1 ε .
Since the triangular t -norm exceeds any other t -norm, all of which are strictly larger than the drastic t -norm D : [ 0 , 1 ] 2 [ 0 , 1 ] , one gets from the above results for any given ε ( 0 , 1 ) and ε 1 ( 0 , ε ¯ 2 ) with ε ¯ 2 = min ( ε ¯ 1    , 1 D n n 0 n 0 + N 1 [ M ( x , y , t n ) ] ) , and some integer N Z + , where ε ¯ 1 = ε ¯ 1 ( ε , ​  N ) < 1 ( 1 ε ) 1 / N + 1 is in ( 0 , 1 ) , that:
Δ n n 0 n 0 + N 1 [ M ( x , y , t n ) ] n n 0 n 0 + N 1 [ M ( x , y , t n ) ] n n 0 n 0 + N 1 [ M ( x , y , t n ) ] ( 1 ε 1 ) N 1 ε D n n 0 n 0 + N 1 [ M ( x , y , t n ) ] 0
and ( X , M , ) has the property T 0 for any t -norm : [ 0 , 1 ] 2 [ 0 , 1 ] . Also, n n 0 n 0 + N 1 M ( x , y , t n ) 1 ε for all integer n n 0 ; x , y X , lim N n n 0 n 0 + N 1 M ( x , y , t n ) = lim n , N m = n n + N 1 M ( x , y , t m ) 1 ε ; x , y X for any t -norm : [ 0 , 1 ] 2 [ 0 , 1 ] so that ( X , M , ) has also the property T .
Lemma 1 concludes that property T is less restrictive than property T 0 and holds under a standard property in probabilistic spaces lim t M ( x , y , t ) = 1 ; x , y X . The subsequent result is close to Theorem 1 for the case when T : i p ¯ X i i p ¯ X i is a weak p -cyclic fuzzy order preserving proximal ψ -contraction of type II. The main result of this section follows below:
Theorem 2.
Let ( X , M , , _ ) be a complete partially ordered non-Archimedean fuzzy metric space satisfying the property T and let X i X be non-empty sets; i p ¯ with _ being a partial order defined on i p ¯ X 0 i ( t ) . Let a p ( 2 ) -cyclic mapping T : i p ¯ X i i p ¯ X i be continuous and weak p -cyclic fuzzy order preserving (with respect to _ ) proximal ψ -contraction of type II and let g : i p ¯ X i i p ¯ X i be surjective, fuzzy non-contractive and inverse monotone mapping such that, for any x , y i p ¯ X 0 i ( t ) , g x and g y are comparable with respect to _ only if x , y are comparable. Suppose also that each pair of elements of i p ¯ X 0 i ( t ) has a lower bound and an upper bound, and that for any t > 0 , X 0 i ( t ) is non-empty, T ( X 0 i ( t ) ) X 0 , i + 1 ( t ) and X 0 i ( t ) g ( X 0 i ( t ) ) ; i p ¯ . If for each given x 0 i X 0 i ( t ) for each i p ¯ , there exist some element x 1 i in c l X 0 i ( t ) such that:
M ( g x 1 i , T x 0 i , t ) = M ( X i , X i + 1 , t )   with   x 0 i _ x 1 i
Then, there exists a unique element x i * c l X 0 i ( t ) for each i p ¯ , which is an optimal fuzzy best proximity coincidence point of the pair ( g , T ) in X i such that x i + 1 * = T x i * ; i p ¯ , and then M ( g x x i * x i + 1 * , t ) = M ( X i , X i + 1 , t ) ; i p ¯ . Furthermore, each of the subsequences { z i n } X 0 i ( t ) for each i p ¯ being defined by any given first element z 0 i p ¯ X 0 i ( t ) so that the proximal constraint:
M ( g z n + 1 , T z n , t ) = M ( X j , X j + 1 , t )
holds for any given n Z 0 + , j p ¯ , is a Cauchy sequence which is convergent to the optimal fuzzy best proximity coincidence point x i * X 0 i ( t ) of the pair ( g , T ) in X i provided that the two subsequent conditions hold:
(1)
n j 1 , k + 1 n n j k , with n j k + 1 n j 1 , k 2 , for j = i , i + 1 , ... , i + p 2 , and n i + p 2 , k + 1 n n i + p 1 , k + 1 , with n i + p 1 , k + 1 n i + p 2 , k 2 ; i , j p ¯ , k Z 0 + ;
(2)
the chosen arbitrary i p ¯ is such that the initial point z 0 X 0 i ( t ) and that the sets of positive integers { n j k n j , k + 1 } for j p ¯ and k Z 0 + have p positive upper-bounding integers n j ¯ n j k n j , k + 1 ; k Z 0 + , j p ¯ with n i 1 , 0 = 1 and n i 0 1 .
Proof.
Denote the restricted mappings T : j p ¯ X j | X i j p ¯ X j | X i + 1 and g : j p ¯ X j | X i j p ¯ X j | X i ; i p ¯ of the functions T : i p ¯ X i i p ¯ X i and g : i p ¯ X i i p ¯ X i , respectively, by T i : X i X i + 1 and g i : X i X i ; i p ¯ . Let z 0 = x 0 i arbitrary in X 0 i ( t ) and some z 1 = x 1 i X 0 i for any given arbitrary i p ¯ be such that z 0 _ z 1 and M ( g z 1 , T z 0 , t ) = M ( X i , X i + 1 , t ) . Since T z 1 T ( X 0 i ( t ) ) X 0 , i + 1 ( t ) and X 0 i ( t ) g ( X 0 , i + 1 ( t ) ) , one gets that z 2 X 0 i ( t ) exists such that M ( g z 2 , T z 1 , t ) = M ( X i , X i + 1 , t ) . Since T : i p ¯ X i i p ¯ X i is a weak p -cyclic fuzzy order preserving proximal mapping and z 0 _ z 1 then g z 1 _ g z 2 and, since g : i p ¯ X i i p ¯ X i is surjective and X 0 i ( t ) g ( X 0 , i + 1 ( t ) ) then it follows that z 1 _ z 2 . Assume that this is not the case and proceed by contradiction. Since g z 1 and g z 2 are comparable which holds, by hypothesis, only if z 1 and z 2 are comparable then z 1 z 2 since z 1 _ z 2 is assumed false. However, g z 1 g z 2 contradicts g z 1 _ g z 2 . Then, z 1 _ z 2 and, as a result, z 0 _ z 1 _ z 2 . Proceeding in the same way, we can build a sequence { z n } with z n X 0 i ( t ) for 0 n ( Z 0 + ) n i 0 , where 1 n i 0 ( Z 0 + ) n ¯ i 1 , such that M ( g z n + 1 , T z n , t ) = M ( X i , X i + 1 , t ) ; z n 1 _ z n ; n ( Z + ) n ¯ i 0 . Then, take z n i 0 + 1 = T z n i 0 X 0 , i + 1 ( t ) such that z n i 0 + 1 _ z n i 0 + 2 since T : i p ¯ X i i p ¯ X i is a weak p -cyclic fuzzy order preserving proximal mapping, z n i 0 X 0 i ( t ) and z n i 0 + 1 = T z n i 0 X 0 , i + 1 ( t ) . As a result, z n 1 _ z n ; n ( Z + ) n i 0 + 1 ¯ . Again, for such a z n i 0 + 1 X 0 , i + 1 ( t ) , there is some z n i 0 + 1 X 0 , i + 1 ( t ) such that z n i 0 + 1 _ z n i 0 + 2 and for 1 n i + 1 , 0 ( Z 0 + ) n ¯ i + 1 . Then, the elements of { z n } from n = 0 to n = n i 0 + 2 are ordered, with order preserving, with respect to the preorder relation _ and z n X 0 i ( t ) and z n i 0 + m X 0 , i + 1 ( t ) for m = 1 , 2 . By keeping k = 0 , we proceed in the same way by running j from i to i + p 2 and prove that the finite subsequence of { z n } from n = 0 to n = n i + p 2 , 0 + 2 is also ordered with respect to _ since n j 1 , 0 + 1 n n j 0 for j = i , i + 1 , ... , i + p 2 ; j p ¯ for the given i p ¯ . Now, the same reasoning is used for j = i + p 1 and for k = 1 and n i + p 2 , 0 + 1 n n i + p 1 , 1 to conclude that the elements of { z n } from n = 0 to n = n i + p 1 , 0 + 2 are ordered with respect to the relation _ . Proceeding recursively for each j = i , i + 1 , ... , i + p 2 and each integer k Z + , it is proved that, z n X 0 j ( t ) for n j 1 , k + 1 n n j k for j = i , i + 1 , ... , i + p 2 ; k Z 0 + and z n X 0 i ( t ) ( = X 0 , i + p 1 ( t ) ) for n i + p 2 , k + 1 n n i + p 1 , k + 1 ; k Z 0 + and that the sequence { z n } is ordered with respect to _ . Define the strictly ordered set of positive integers N * = { n j 1 , k } ; j = i , i + 1 , ... , i + p 1 , k Z 0 + with n j k < n j + 1 , k and n p , k < n 1 , k + 1 ; j p ¯ , k Z 0 + . Since T : i p ¯ X i i p ¯ X i is a weak p -cyclic fuzzy order preserving (with respect to _ ) proximal ψ -contraction of type II and g : i p ¯ X i i p ¯ X i is fuzzy non-contractive, one has for z n { z n } and some real constant α ( 0 , 1 ) , since ψ : [ 0 , 1 ] [ 0 , 1 ] belongs to the set Ψ :
M ( z n , z n + 1 , t ) M ( g z n , g z n + 1 , t ) ψ ( M ( z n 1 , z n , α 1 t ) ) > M ( z n 1 , z n , α 1 t ) .... M ( z 0 , z 1 , α n t )
if n , ( n + 1 ) N * , t R + , and:
M ( z n + 1 , z n + 2 , t ) = M ( T z n , T z n + 1 , t ) ψ ( M ( z n 1 , z n , α 1 t ) ) > M ( z n 1 , z n , α 1 t ) .... M ( z 0 , z 1 , α n t )
if ( n + 1 ) , ( n + 2 ) N * ; t R + . Thus, one gets for any given ε R + , some n 0 = n 0 ( ε ) Z + , t R + and all m ( n ) , n ( n 0 ) Z + that:
M ( z n , z m , t ) ψ [ M ( z n , z n + 1 , t ) M ( z n , z n + 1 , t ) .... M ( z m 1 , z m , t ) ] > M ( z 0 , z 1 , α n t ) M ( z 0 , z 1 , α ( n + 1 ) t ) .... M ( z 0 , z 1 , α ( m + 1 ) t ) = n n 0 m + 1 M ( x , y , α n t ) 1 ε
from the property T with t n = α n t ; n Z 0 + being a { t n } s -increasing sequence for n n 0 such that t n 0 = α n 0 t ( α 1 1 ) 1 implies that t n + 1 = α ( n + 1 ) t t n + 1 = α n t + 1 for all n n 0 and all t t * = α n 0 α 1 1 (note that t * 0 as n 0 ). Any other s -increasing sequence { t ´ n } can be accommodated to satisfy t n k t ´ n 1 + 1 t ´ n t n k + 1 . Thus, k k 0 M ( x , y , t ´ n ) k k 0 ( n k 0 n 0 ) M ( x , y , t n k ) 1 ε by the non-Archimedean property. Then, ( X , M , , _ ) satisfies the property T since Equation (24) holds for the s -increasing sequence { α n t } n n 0 and it is extendable to any other s -increasing sequence. Thus, one has from Equation (22) that:
lim k M ( z n k , z n k + 1 , t ) = lim k M ( g z n k , g z n k + 1 , t ) = lim k M ( z 1 , z 0 , α n k t ) = 1 ;   t R +
for a subsequence { z n i k } { X 0 i ( t ) } being defined, provided that arbitrary points z 0 ( _ z 1 ) X 0 i , z 1 X 0 i ( t ) for some given arbitrary i p ¯ and such that n i k , ( n i k + 1 ) N i * ( N i * N * being the set where the iteration switches from X i to X i + 1 ), t R + . Thus, { z n i k } is Cauchy and convergent to some x i * c l X 0 i ( t ) since ( X , M , , _ ) is complete. For the given initial z 0 X 0 i ( t ) , z 1 X 0 i ( t ) , we can always find two points z ¯ j 0 X 0 j ( t ) , z ¯ j 1 ( _ z ¯ j 0 ) { z n } X 0 j ( t ) , which are initial adjacent points of a subsequence { z n j k } { z n } for any arbitrary j ( i ) p ¯ . It is found that { z n i k } is Cauchy and convergent to some x j * c l X 0 j ( t ) . The set of p limit best proximity points x j * c l X 0 j ( t ) ; j p ¯ is unique since all the above subsequences are also totally ordered with lower-bounding and an upper-bounding ordered sequences (see Theorem 1 for similar reasoning), which converge to a unique best proximity point of a set X j to its adjacent set X j + 1 for each j p ¯ . Then, for any constructed sequence { x n } i p ¯ X 0 i ( t ) , we have convergent subsequences to the same limit within each subset X i , which is a unique best proximity point so that:
lim k M ( x n k , x n k + 1 , t ) = lim k M ( g x n k , g x n k + 1 , t ) = lim k M ( x n j k , x j * , t ) = lim k M ( g x n k , g x j * , t ) = 1 ;   j p ¯
so that { x n j k } x j * ; j p ¯ . It is now proven that each x j * c l X 0 j ( t ) is an optimal fuzzy best proximity coincidence points of the pair ( g , T ) in X j for each j p ¯ . One gets from the properties of the t -norms, Equation (26), and the continuity of T : i p ¯ X i i p ¯ X i :
M ( g x j * , T x j * , t ) ( M ( g x j * , g x n j k , t ) M ( g x n j k T x n j k , t ) ) M ( T x n j k T x j * , t ) = ( M ( g x j * , g x n j k , t ) M ( T x n j k T x j * , t ) ) M ( g x n j k T x n j k , t ) ;   k Z 0 + , j p ¯
and:
M ( g x j * , T x j * , t ) lim inf k ( M ( g x j * , g x n j k , t ) M ( T x n j k T x j * , t ) ) lim inf k M ( g x n j k T x n j k , t ) = ( 1 1 ) lim inf k M ( g x n j k T x n j k , t ) = lim inf k M ( g x n j k T x n j k , t ) = lim k M ( g x n j k T x j * , t ) = M ( X j , X j + 1 , t ) ;   j p ¯
However, we can interchange the locations of M ( g x n j k T x j * , t ) and M ( g x j * , T x j * , t ) in Equations (27) and (28) for obtaining corresponding sets of inequalities to conclude that:
lim k M ( g x n j k T x n j k , t ) = M ( g x j * , T x j * , t ) = M ( X j , X j + 1 , t ) ;   j p ¯
Thus, x j * = T x j 1 * c l X 0 j ( t ) is a unique best proximity point to X j + 1 in X j of T : i p ¯ X i i p ¯ X i and it is also an optimal fuzzy best proximity coincidence point of the pair ( g , T ) in X j .
In the same way as Corollary 1 and under a close proof (see also Remark 3), we can get the subsequent Corollary to Theorem 2:
Corollary 3.
Assume that the hypothesis of Theorem 2 holds except that, for any given initial point z 0 i p ¯ X 0 i ( t ) , the sequences { z n } are built so that:
(1) 
z n + 1 = T z n for any n Z + if z n X 0 i ( t ) for any i ( j ) p ¯ and some fixed j p ¯ (i.e., the proximal subsequence from each subset X j of X to each next adjacent subset is only computed eventually at the subset X 0 j ( t ) , while at the remaining subsets only the cyclic self-mapping T is involved);
(2) 
the proximal constraint Equation (3), subject to its subsequent constraints, is replaced at the subset X j of X by the subsequent one:
M ( g z n j , k + m j + 1 , T n j , k + m j + 1 n j k z n j k , t ) = M ( X j , X j + 1 , t ) ;   k ( k * ) Z 0 + , i p ¯
for some given j p ¯ and some subsequence { z n j k } X 0 j ( t ) , for n Z + with z 0 X i for some satisfying z n j , k + m j = T n j , k + m j ( k ) n j k z n j k with z n j k * , z n j k * + 1 X 0 j ( t ) , for some set of bounded positive integers m j ( k ) ; k ( k * ) Z 0 + for the given j p ¯ and some sequence of positive integers { n j k } being strictly increasing with k ( k * ) Z 0 + (i.e., the proximal subsequence at the subset X 0 j is not necessary computed at each k -th cycle on the whole cyclic disposal of the p subsets X 0 i ( t ) X i X for all i p ¯ since m j ( k ) can exceed the value p for some values k ( k * ) Z 0 + ).
Then, there exists a unique element x i * X 0 i ( t ) for each i p ¯ , which is an optimal fuzzy best proximity coincidence point of the pair ( g , T ) in X i , such that x i + 1 * = T x i * ; i p ¯ , and then M ( g x x i * x i + 1 * , t ) = M ( X i , X i + 1 , t ) ; i p ¯ . Furthermore, each of the subsequences { z i n } { z n } X 0 i ( t ) for i p ¯ being defined by any given first element z 0 i p ¯ X 0 i ( t ) , so that the proximal constraint M ( g z n + 1 , T z n , t ) = M ( X j , X j + 1 , t ) ; n Z 0 + , is a Cauchy sequence that is convergent to the optimal fuzzy best proximity coincidence point x i * c l X 0 i ( t ) of the pair ( g , T ) in X i . ☐
Results similar to those of Theorem 2 and Corollary 3 can be obtained by replacing the continuity assumption on T : i p ¯ X i i p ¯ X i by the condition that X i + 1 is fuzzy approximatively compact with respect to X i ; i p ¯ , that is, each sequence { T x n } X i + 1 such that { M ( x , T x n , t ) } M ( x , X i + 1 , t ) for some x X i has a convergent subsequence.
Corollary 4.
Theorem 2 holds “mutatis-mutandis” if X i + 1 is fuzzy and approximatively compact with respect to X i ; i p ¯ even if T : i p ¯ X i i p ¯ X i is not everywhere continuous.
Proof.
The hypothesis of Theorem 2 still holds except that T : i p ¯ X i i p ¯ X i is not necessarily everywhere continuous while X i + 1 is fuzzy and approximately compact with respect to X i ; i p ¯ . Then, the first part of the proof of Theorem 2 is still applicable while one concludes from Equation (28) that { x n j } x j * , { g x n j } g x j * as n j j p ¯ so that there is a convergent subsequence { T x n j k } ( { T x n j } c l X 0 , j + 1 ( t ) ) z j + 1 * for some z j + 1 * c l X 0 , j + 1 ( t ) for each j p ¯ since:
M ( g x j * , T x j * , t ) lim inf k M ( g x n j k T x n j k , t ) = lim k M ( g x n j k , z j + 1 * , t ) = lim k M ( g x j * , T x n j k , t ) = lim k M ( g x j *    , z j + 1 * , t ) = M ( X j , X j + 1 , t ) ;   j p ¯
leads to:
( M ( g x n j T x n j , t ) M ( g x j * , T x n j , t ) ) 0 ,   M ( g x j * , T x n j , t ) M ( g x j * , X j + 1 , t ) = M ( X j , X j + 1 , t ) ;   j p ¯ , M ( g x j * , z j + 1 * , t ) = M ( X j , X j + 1 , t )
and T x j * = z j + 1 * = x j + 1 * ; j p ¯ . Assume that this is not true, i.e., z j + 1 * x j + 1 * for some j p ¯ , so that:
1 > M ( z j + 1 * , x j + 1 * , t ) ( lim k M ( z j + 1 * , T x n j k , t ) lim k , n M ( T x n j k , T x n j , t ) ) lim n M ( T x n j , T z j * , t )
Taking limits in both sides of the above inequality as k , n j , n j k , and since { x n j k } , { x n } x j * and { T x n j k } z j + 1 * , yields the contradiction 1 > ( 1 1 ) 1 = 1 , so that T x j * = z j + 1 * = x j + 1 * ; j p ¯ . Then, z j + 1 * = x j + 1 * ; j p ¯ . ☐
Corollary 5.
Corollary 3 holds “mutatis-mutandis” if X i + 1 is fuzzy and approximately compact with respect to X i ; i p ¯ even if T : i p ¯ X i i p ¯ X i is not everywhere continuous.
Theorem 2 and Corollaries 3–5 can be directly extended to a ( g , T ) pair where the p ( 2 ) -cyclic mapping T : i p ¯ X i i p ¯ X i is a continuous p -cyclic fuzzy order preserving proximal ψ -contraction of type II, the partial order being defined with respect to _ , which is now defined on the whole union of subsets of the cyclic disposal i p ¯ X i . This means that the constructed sequences possessing Cauchy subsequences within each subset converge to the best proximity points. Such points are simultaneously unique optimal fuzzy coincidence points of the pair ( g , T ) that can be constructed on the whole subset X i but converge to the corresponding proximal subsets.
Remark 4.
Note from Definition 7 and from Definition 8 that if T : i p ¯ X i i p ¯ X i is a strong (respectively, weak) p -cyclic fuzzy order preserving proximal ψ -contraction of type II for some α ( 0 , 1 ) and M ( X i , X i + 1 , . ) is non-decreasing on ( 0 , ) then T : i p ¯ X i i p ¯ X i is also a strong (respectively, weak) p -cyclic fuzzy order preserving proximal ψ -contraction of type I. This becomes obvious from M ( X i , X i + 1 , α 1 t ) M ( X i , X i + 1 , t ) ; t R 0 + , i p ¯ , and, respectively, from M ( X 0 i ( t ) , X 0 , i + 1 ( t ) , α 1 t ) M ( X 0 i ( t ) , X 0 , i + 1 ( t ) , t ) ; t R 0 + , i ​  p ¯ .
Example 4.
Assume that T : i p ¯ X i i p ¯ X i is a p -cyclic fuzzy order preserving proximal ψ -contraction with M ( x , y , t ) = λ t λ t + d ( x , y ) ; x , y i p ¯ X i (respectively, x , y i p ¯ X 0 i ( t ) ), t R + , for some real λ R + where d : X × X R 0 + is a metric, then, d M ( x , y , t ) d t = λ d ( x , y ) ( λ t + d ( x , y ) ) 2 0 , x , y i p ¯ X i (respectively, x , y i p ¯ X 0 i ( t ) ), t R + with the above inequality being strict if and only if x y . Thus, M ( x , y , α 1 t ) > M ( x , y , t ) for any α ( 0 , 1 ) if and only if x y for all t R + . Then, T : i p ¯ X i i p ¯ X i is also a strong (respectively, weak) p -cyclic fuzzy order preserving proximal ψ -contraction of type I (see also Remark 4).
Example 5.
Consider the mappings T and g defined as in Examples 1–3. From Definition 8, Equations (22) and (23) in the proof of Theorem 2 and Example 4 with λ = 1 , it follows that lim n M ( z n , z n + 1 , t ) lim n M ( z 0 , z 1 , α n t ) = 1 for any sequence { z n } X 1 X 2 for i = 1 , 2 constructed as in the proof of Theorem 2. Thus, it follows that the p subsequences { z i n } { z n } X i (or, respectively, in { z i n } { z n } X 0 i ( t ) for i = 1 , 2 for the weak proximal contraction case) for each i = 1 , 2 converge to unique best proximity points, which are also the unique optimal fuzzy best proximity coincidence points of the pair ( g , T ) of X i at each X 0 i ( t ) ; i = 1 , 2 .
Remark 5.
Consider the mappings T and g under the conditions of Theorem 3. From Equations (22) and (23) in the proof of Theorem 2 and Example 4 with λ = 1 , it follows that lim n M ( z n , z n + 1 , t ) lim n M ( z 0 , z 1 , α n t ) = M ( z 0 , z 1 , ) = 1 , even if the constraint M ( z n + 2 , z n + 1 , t ) ψ ( M ( z n , z n + 1 , α 1 t ) ) in Definition 8 holds for all n Z 0 + and only for some t R + , for any sequence { z n } i p ¯ X i constructed as in the proof of Theorem 2. Thus, it follows that the p subsequences { z i n } of { z n } fulfilling { z i n } { z n } X i i p ¯ X i (or, respectively, in { z i n } { z n } X 0 i ( t ) for the weak proximal contraction case); i p ¯ , converge to unique best proximity points at each X i , which are also the unique optimal fuzzy best proximity coincidence points of the pair ( g , T ) at each X i ; i p ¯ . Thus, Theorem 2 can be weakened by “ad hoc weakening” the implied part of the inequalities in Definition 8 so as to be fulfilled only for some (and not for all) t R + .

4. Conclusions

This paper has dealt with some properties of interest in two types of fuzzy ordered proximal contractions of cyclic self-mappings T , which is integrated in a pair ( g , T ) of mappings that construct the relevant proximal sequences of interest. In particular, g is supposed to be a non-contractive fuzzy self-mapping in a non-Archimedean ordered fuzzy complete metric space ( X , M , , _ ) , endowed with a partial order _ and a triangular norm , while T is a p -cyclic proximal contraction. The fuzzy set M on X × X × [ 0 , ) is a fuzzy metric on the non-Archimedean fuzzy metric space ( X , M , ) . Two types of such contractions (so-called type I and of type II) are considered. The main results obtained rely on the existence, uniqueness and limit properties for sequences to existing optimal fuzzy best proximity coincidence points for such pairs of mappings.

Acknowledgments

The first author is grateful to the Spanish Government and European Fund of Regional Development FEDER for Grant Nos. DPI2012-30651 and DPI2015-64766-R. The authors are also grateful to the referees for their useful suggestions.

Author Contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Conflicts of Interest

The authors declare that they have no competing interests.

References

  1. Schweizer, B.; Sklar, A. Statistical metric spaces. Pac. J. Math. 1960, 10, 314–334. [Google Scholar] [CrossRef]
  2. George, A.; Veeramani, P. On some results of analysis for fuzzy metric spaces. Fuzzy Sets Syst. 1997, 90, 365–368. [Google Scholar] [CrossRef]
  3. George, A.; Veeramani, P. On some results in fuzzy metric spaces. Fuzzy Sets Syst. 1994, 64, 395–399. [Google Scholar] [CrossRef]
  4. Zadeh, L.A. Fuzzy sets. Inf. Control 1965, 8, 103–112. [Google Scholar] [CrossRef]
  5. Grabiec, M. Fixed points in fuzzy metric spaces. Fuzzy Sets Syst. 1983, 27, 385–389. [Google Scholar] [CrossRef]
  6. Heilpern, S. Fuzzy mappings and fixed point theorem. J. Math. Anal. Appl. 1981, 83, 566–569. [Google Scholar] [CrossRef]
  7. Vetro, C.; Salimi, P. Best proximity point results in non-Archimedean fuzzy metric spaces. Fuzzy Inf. Eng. 2013, 5, 417–429. [Google Scholar] [CrossRef]
  8. Gregori, V.; Sapena, A. On fixed-point theorems in fuzzy metric spaces. Kybernetica 1975, 11, 326–334. [Google Scholar] [CrossRef]
  9. Sadiq Basha, S. Common best proximity points: Global minimization of multi-objective functions. J. Glob. Optim. 2012, 54, 367–373. [Google Scholar] [CrossRef]
  10. Sadiq Basha, S. Best proximity points: Optimal fuzzy solutions. J. Optim. Fuzzy Theory Appl. 2011, 151, 210–216. [Google Scholar] [CrossRef]
  11. Sadiq Basha, S. Best proximity point theorems on partially ordered sets. Optim. Lett. 2012, 7, 1035–1043. [Google Scholar] [CrossRef]
  12. Mongkolkeha, C.; Cho, Y.J.; Kumam, P. Best proximity points for generalized proximal contraction mappings in metric spaces with partial orders. J. Inequal. Appl. 2013, 2013, 94. [Google Scholar] [CrossRef]
  13. Vetro, C. Best proximity points: Convergence and existence theorems for p-cyclic mappings. Nonlinear Anal. Theory Methods Appl. 2010, 73, 2283–2291. [Google Scholar] [CrossRef]
  14. Chitra, A.; Subrahmanyam, P.V. Fuzzy sets and fixed points. J. Math. Anal. Appl. 1987, 124, 584–590. [Google Scholar] [CrossRef]
  15. Azam, A.; Beg, I. Common fuzzy fixed points for fuzzy mappings. Fixed Point Theory Appl. 2013, 2013, 14. [Google Scholar] [CrossRef]
  16. Cho, Y.J.; Pathak, H.K.; Kang, S.M.; Jung, J.S. Common fixed points of compatible mappings of type (β) on fuzzy metric spaces. Fuzzy Sets Syst. 1998, 93, 99–111. [Google Scholar] [CrossRef]
  17. Abbas, M.; Altun, I.; Gopal, D. Common fixed point theorems for non compatible mappings in fuzzy metric spaces. Bull. Math. Anal. Appl. 2009, 1, 47–56. [Google Scholar]
  18. Phiangsungnoen, S.; Sintunavarat, W.; Kumam, P. Common α-fuzzy fixed point theorems for fuzzy mappings via βF-admissible pair. J. Intell. Fuzzy Syst. 2014, 27, 2463–2472. [Google Scholar]
  19. De la Sen, M.; Agarwal, R.P.; Ibeas, A. Results on proximal and generalized weak proximal contractions including the case of iteration-dependent range sets. Fixed Point Theory Appl. 2014, 2014, 169. [Google Scholar] [CrossRef]
  20. Gabeleh, M. Best proximity point theorems via proximal non self-mapping. J. Optim. Theory Appl. 2015, 164, 565–576. [Google Scholar] [CrossRef]
  21. De la Sen, M.; Roldan, A.; Agarwal, R.P. On contractive cyclic fuzzy maps in metric spaces and some related results on fuzzy best proximity points and fuzzy fixed points. Fixed Point Theory Appl. 2015, 2015, 103. [Google Scholar] [CrossRef]
  22. Rashid, M.; Mehmood, N.; Azam, A.; Radenović, S. Fuzzy fixed point theorems in ordered cone metric spaces. Filomat 2015, 29, 887–896. [Google Scholar]
  23. Chauan, S.; Shatanawi, W.; Kumar, S.; Radenović, S. Existence and uniquenmess of fixed points in modified intuitionistic fuzzy metric spaces. J. Nonlinear Sci. Appl. 2017, 7, 28–41. [Google Scholar]
  24. Chauan, S.; Radenović, S.; Imdad, M.; Vetro, C. Some integral type fixed point theorems in non-Archimedean Menger PM-spaces with common property (EA) and applications of functional equations in dynamic programming. Rev. Real Acad. Cienc. Exact. Fís. Nat. Ser. A Mat. (RACSAM) 2014, 108, 795–810. [Google Scholar] [CrossRef]
  25. Chauan, S.; Radenović, S.; Bhatnagar, S. Common fixed point theorems for weakly compatible mappings in fuzzy metric spaces. Mathematiche 2013, 68, 87–98. [Google Scholar]
  26. Rezapour, S.; Derafshpour, M.; Shahzad, N. On the existence of best proximity points of cyclic contractions. Adv. Dyn. Syst. Appl. 2011, 6, 33–40. [Google Scholar]
  27. Al-Thagafi, M.A.; Shahzad, N. Convergence and existence results for best proximity points. Nonlinear Anal. Theory Methods Appl. 2009, 70, 3665–3671. [Google Scholar] [CrossRef]
  28. Derafshpour, M.; Rezapour, S.; Shahzad, N. Best proximity points of cyclicφ-contractions on reflexive Banach spaces. Fixed Point Theory Appl. 2010, 2010, 946178. [Google Scholar]
  29. De la Sen, M.; Karapinar, E. Some results on best proximity points of cyclic contractions in probabilistic metric spaces. J. Funct. Spaces 2015, 2015, 470574. [Google Scholar] [CrossRef]
  30. De la Sen, M.; Ibeas, A. On the global stability of an iterative scheme in a probabilistic Menger space. J. Inequal. Appl. 2015, 2015, 243. [Google Scholar] [CrossRef]
  31. Khojasteh, F.; Shukla, S.; Radenović, S. A new approach to the study of fixed point theory for simulation functions. Filomat 2015, 29, 1189–1194. [Google Scholar] [CrossRef]
  32. De la Sen, M.; Ibeas, A. Properties of convergence of a class of iterative processes generated by sequences of self-mappings with applications to switched Systems. J. Inequal. Appl. 2014, 2014, 498. [Google Scholar] [CrossRef]
  33. De la Sen, M.; Alonso-Quesada, S.; Ibeas, A. On the asymptotic hyperstability of switched systems under integral-type feedback regulation Popovian constraints. IMA J. Math. Control Inf. 2015, 32, 359–386. [Google Scholar] [CrossRef]
  34. De la Sen, M.; Agarwal, R.P.; Ibeas, A.; Alonso-Quesada, S. On a generalized time-varying SEIR epidemic model with mixed point and distributed time-varying delays and combined regular and impulsive vaccination controls. Adv. Differ. Equ. 2010, 2010, 281612. [Google Scholar] [CrossRef]
  35. De la Sen, M. On the robust adaptive stabilization of a class of nominally stable first-order systems. IEEE Trans. Autom. Control, 1986, 44, 597–602. [Google Scholar] [CrossRef]
  36. Marchenko, V.M. Hybrid discrete-continuous systems with control: II. State-space method. Differ. Equ. 2015, 51, 54–68. [Google Scholar] [CrossRef]
  37. Marchenko, V.M. Hybrid discrete-continuous control systems: I. Representation of solutions. Differ. Equ. 2015, 50, 1526–1540. [Google Scholar] [CrossRef]
  38. Abbas, M.; Saleem, N.; de la Sen, M. Optimal coincidence point results in partially ordered non-Archimedean fuzzy metric spaces. Fixed Point Theory Appl. 2016, 2016, 534. [Google Scholar] [CrossRef]
  39. Saleem, N.; Ali, B.; Abbas, M.; Raza, Z. Fixed points of Suzuki type generalized multivalued mappings in fuzzy metric space with applications. Fixed Point Theory Appl. 2015, 2015, 36. [Google Scholar] [CrossRef]
  40. Shehu, Y.; Cai, G.; Iyiola, O.S. Iterative approximation of solutions for proximal split feasibility problems. Fixed Point Theory Appl. 2015, 2015, 123. [Google Scholar] [CrossRef]
  41. Cai, G.; Shehu, Y.; Iyiola, O.S. Iterative algorithms for solving variational inequalities and fixed point problems for asymptotically nonexpansive mappings in Banach spaces. Numer. Algorithms 2016, 73, 869–906. [Google Scholar] [CrossRef]
  42. Gaba, Y.U.; Iyiola, O.S. Advances in the study of metric type spaces. Appl. Math. Sci. 2015, 9, 4179–4190. [Google Scholar] [CrossRef]
  43. Cai, G.; Shehu, Y.; Iyiola, O.S. Viscosity iterative algorithms for fixed point problems of asymptotically nonexpansive mappings in the intermediate sense and variational inequality problems in Banach spaces. Numer. Algorithms 2017. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

Sen, M.D.l.; Abbas, M.; Saleem, N. On Optimal Fuzzy Best Proximity Coincidence Points of Proximal Contractions Involving Cyclic Mappings in Non-Archimedean Fuzzy Metric Spaces. Mathematics 2017, 5, 22. https://doi.org/10.3390/math5020022

AMA Style

Sen MDl, Abbas M, Saleem N. On Optimal Fuzzy Best Proximity Coincidence Points of Proximal Contractions Involving Cyclic Mappings in Non-Archimedean Fuzzy Metric Spaces. Mathematics. 2017; 5(2):22. https://doi.org/10.3390/math5020022

Chicago/Turabian Style

Sen, Manuel De la, Mujahid Abbas, and Naeem Saleem. 2017. "On Optimal Fuzzy Best Proximity Coincidence Points of Proximal Contractions Involving Cyclic Mappings in Non-Archimedean Fuzzy Metric Spaces" Mathematics 5, no. 2: 22. https://doi.org/10.3390/math5020022

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