Next Article in Journal
On the Generalized Distance Energy of Graphs
Next Article in Special Issue
A Novel Delay-Dependent Asymptotic Stability Conditions for Differential and Riemann-Liouville Fractional Differential Neutral Systems with Constant Delays and Nonlinear Perturbation
Previous Article in Journal
Projection Decoding of Some Binary Optimal Linear Codes of Lengths 36 and 40
Previous Article in Special Issue
Ample Spectrum Contractions and Related Fixed Point Theorems
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

A Characterization of Quasi-Metric Completeness in Terms of αψ-Contractive Mappings Having Fixed Points

Instituto Universitario de Matemática Pura y Aplicada-IUMPA, Universitat Politècnica de València, 46022 Valencia, Spain
*
Author to whom correspondence should be addressed.
Mathematics 2020, 8(1), 16; https://doi.org/10.3390/math8010016
Submission received: 2 December 2019 / Revised: 16 December 2019 / Accepted: 17 December 2019 / Published: 19 December 2019
(This article belongs to the Special Issue Recent Advances on Quasi-Metric Spaces)

Abstract

:
We obtain a characterization of Hausdorff left K-complete quasi-metric spaces by means of α ψ -contractive mappings, from which we deduce the somewhat surprising fact that one the main fixed point theorems of Samet, Vetro, and Vetro (see “Fixed point theorems for α ψ -contractive type mappings”, Nonlinear Anal. 2012, 75, 2154–2165), characterizes the metric completeness.

1. Introduction and Preliminaries

In their interesting and germinal paper [1], Samet, Vetro, and Vetro obtained various fixed point theorems in terms of α ψ contractions which allowed them to deduce, in an elegant and direct way, several important and well-known fixed point results from [2,3,4,5]. Many authors have continued the research of this type of contractions and their generalizations in different contexts (see e.g., [6,7,8,9,10,11,12]). Recently, Fulsa and Taş [13] have presented a careful and extensive study for several generalized α ψ contractions in the realm of quasi-metric spaces.
In this note we obtain a characterization of Hausdorff left K-complete quasi-metric spaces by means of α ψ -contractive mappings from which we deduce the somewhat surprising fact that one the main fixed point theorems of Samet, Vetro, and Vetro [1] (Theorem 2.2) characterizes the metric completeness (see Corollary 1 at the end of the paper).
Let us recall that the problem of characterizing the metric completeness in term of fixed point theorems has been studied and solved by several authors with different approaches (see e.g., [14,15,16,17]) and that this study has been extended in recent years to some types of generalized metric spaces as partial metric spaces [18,19] and quasi-metric spaces [20,21].
In order to help the reader, we recall some notions and properties of quasi-metric spaces which will be used in this paper. Our basic reference is [22].
A quasi-metric space is a pair ( X , ρ ) such that X is a set and ρ is a quasi-metric on X , i.e., ρ is a function from X × X to [ 0 , ) such that for all ζ , η , θ X :
(i)
ζ = η if and only if ρ ( ζ , η ) = ρ ( η , ζ ) = 0 , and
(ii)
ρ ( ζ , θ ) ρ ( ζ , η ) + ρ ( η , θ ) .
Given a quasi-metric ρ on X the family { B ρ ( ζ , ε ) : ζ X , ε > 0 } , where B ρ ( ζ , ε ) = { η X : ρ ( ζ , η ) < ε } for all ζ X and ε > 0 , is a base for a T 0 topology τ ρ on X .
( X , ρ ) is called a T 1 quasi-metric space if τ ρ is a T 1 topology, and it is called a Hausdorff quasi-metric space if τ ρ is a T 2 topology.
A quasi-metric space ( X , ρ ) is said to be left K-complete if every left K-Cauchy sequence converges with respect to τ ρ , where, by a left K-Cauchy sequence we mean a sequence ( ζ n ) n N in ( X , ρ ) such that for each ε > 0 there exists n ε N satisfying ρ ( ζ n , ζ m ) < ε whenever n ε n m .

2. Results

We start this section by recalling some known concepts.
As usual, we denote by Ψ the family of nondecreasing functions ψ : [ 0 , ) [ 0 , ) such that n = 1 ψ n ( t ) < for all t 0 .
Let X be a set, T : X X and α : X × X [ 0 , ) . Following [1] (Definition 2.2), we say that T is α -admissible if α ( ζ , η ) 1 implies α ( T ζ , T η ) 1 ; ζ , η X .
As in the metric case [1] (Definition 2.1), given a quasi-metric space ( X , ρ ) we say that a mapping T : X X is an α ψ -contractive mapping if there exist two functions α : X × X [ 0 , ) and ψ Ψ such that α ( ζ , η ) ρ ( T ζ , T η ) ψ ( ρ ( ζ , η ) ) for all ζ , η X .
The following slight modification of condition (iii) in Theorem 2.2 of [1] constitutes a crucial ingredient in obtaining our main result:
Let ( X , ρ ) be a quasi-metric space and α : X × X [ 0 , ) . We say that ( X , ρ ) has property (A) (with respect to α ) if for any sequence ( ζ n ) n N in X satisfying α ( ζ n , ζ n + 1 ) 1 for all n N and such that ρ ( ζ , ζ n ) 0 as n for some ζ X , it follows that α ( ζ , ζ n ) 1 for all n N .
Definition 1.
Given a quasi-metric space ( X , ρ ) , an α ψ -contractive mapping T : X X will be called an α ψ -SVV contractive mapping if: (i) T is α-admissible; (ii) there exists ζ 0 X such that α ( ζ 0 , T ζ 0 ) 1 ; (iii) ( X , ρ ) has property (A) (with respect to α).
By using the preceding definition, Theorem 2.2 of [1] can be reformulated as follows: Every α ψ -SVV contractive mapping on a complete metric space has a fixed point.
Our first result provides a quasi-metric extension of Theorem 2.2 of [1] (its proof is only an adaptation of the original proof of Samet, Vetro, and Vetro).
Theorem 1.
Every α ψ -SVV contractive mapping on a left K-complete quasi-metric space has a fixed point.
Proof of Theorem 1.
Let T be an α ψ -SVV contractive mapping on a Hausdorff left K-complete quasi-metric space ( X , ρ ) . Then, there exists an α -admissible function such that T is α ψ -contractive, ( X , ρ ) has property (A), and α ( ζ 0 , T ζ 0 ) 1 for some ζ 0 X .
For each n N let ζ n : = T n ζ 0 . If there exists m N such that ζ m 1 = ζ m , then ζ m is a fixed point of T . Assume then that ζ n ζ m for all n , m N { 0 } . Since α ( ζ 0 , ζ 1 ) 1 and T is α -admissible we deduce that α ( ζ n , ζ n + 1 ) 1 for all n N { 0 } . As in the proof of Theorem 2.1 of [1] we obtain ρ ( ζ n , ζ n + 1 ) ψ n ( ρ ( ζ 0 , ζ 1 ) ) and deduce that ( ζ n ) n N is a left K-Cauchy sequence in ( X , ρ ) (see [1] (p. 2156)). Since ( X , ρ ) is left K-complete there exists θ X such that ρ ( θ , ζ n ) 0 as n . From property (A) it follows that α ( θ , ζ n ) 1 for all n N { 0 } . We shall show that θ is a fixed point of T . Indeed, for each n N { 0 } we have: ρ ( T θ , ζ n + 1 ) = ρ ( T θ , T ζ n ) α ( θ , ζ n ) ρ ( T θ , T ζ n ) ψ ( ρ ( θ , ζ n ) ) .
Since ρ ( θ , ζ n ) > 0 , we deduce that ψ ( ρ ( θ , ζ n ) ) < ρ ( θ , ζ n ) (see e.g., [1] (Lemma 2.1)), and, hence, ρ ( T θ , ζ n ) 0 as n . Since ( X , ρ ) is Hausdorff we conclude that θ = T θ .  □
As for metric spaces [1] (Theorem 2.1), a slight modification of the proof of Theorem 1 shows the following result where the property (A) is replaced by continuity of T . More precisely we have
Theorem 2.
Let ( X , ρ ) be a Hausdorff left K-complete quasi-metric space and T : X X be an α ψ -contractive mapping such that
(i) 
T is α-admissible;
(ii) 
there exists ζ 0 X such that α ( ζ 0 , T ζ 0 ) 1 ;
(iii) 
T is continuous.
Then T has a fixed point.
Theorems 1 and 2 can not be generalized to T 1 left K-complete quasi-metric spaces (see e.g., [23] (Example 5)).
Let us recall that if ρ is a quasi-metric on a set X , then the function ρ s defined on X × X by ρ s ( ζ , η ) = max { ρ ( ζ , η ) , ρ ( η , ζ ) } is a metric on X . We give an example for a quasi-metric space ( X , ρ ) where we can apply both Theorem 1 and Theorem 2 but not [1] (Theorem 2.2) because the metric space ( X , ρ s ) is not complete.
Example 1.
Let X : = { 0 } { 1 / n : n N } { n : n N \ { 1 } } . It is routine to check that ( X , ρ ) is a Hausdorff quasi-metric space where (the quasi-metric) ρ is defined as follows:
  • ρ ( ζ , ζ ) = 0 for all ζ X .
  • ρ ( 0 , 1 / n ) = 1 / n for all n N .
  • ρ ( 1 / n , 1 / m ) = 1 / n whenever n < m .
  • ρ ( 0 , n ) = 2 n for all n N \ { 1 } .
  • ρ ( n , m ) = 2 n 2 m for all n , m N \ { 1 } , and
  • ρ ( ζ , η ) = 1 otherwise.
Observe that ( X , ρ ) is left K-complete: The sequence ( 1 / n ) n N is left K-Cauchy and converges to 0 , whereas the sequence ( n ) n N is Cauchy in the metric space ( X , ρ s ) , and hence left K-Cauchy in ( X , ρ ) , and also converges to 0. However, we have ρ ( n , 0 ) = 1 for all n N , and thus the metric space ( X , ρ s ) is not complete.
Now define T : X X as T 0 = 0 , T n = n + 1 for all n N , and T ( 1 / n ) = n for all n N \ { 1 } .
We show that T is an α ψ -SVV contractive mapping for α given by α ( 0 , n ) = α ( n , n + 1 ) = 1 for all n N , and α ( ζ , η ) = 0 otherwise; and ψ Ψ given by ψ ( t ) = t / 2 for all t 0 .
Indeed, since α ( 1 , T 1 ) = α ( 1 , 2 ) = 1 , we deduce by the definition of T and the construction of α that T is α-contractive. Also, the property (A) is clearly satisfied since ρ ( 0 , n ) 0 as n , and α ( 0 , n ) = 1 for all n N . It remains to check that T is an α ψ -contractive mapping. To this end, it suffices to consider the following two cases:
Case 1. ζ = 0 , η = n , n N . Thus, we obtain
α ( ζ , η ) ρ ( T ζ , T η ) = α ( 0 , n ) ρ ( 0 , n + 1 ) = 2 ( n + 1 ) 1 2 ρ ( 0 , n ) = ψ ( ρ ( ζ , η ) ) .
Case 2. ζ = n , η = n + 1 , n N . Thus, we obtain
α ( ζ , η ) ρ ( T ζ , T η ) = α ( n , n + 1 ) ρ ( T n , T ( n + 1 ) ) = ρ ( n + 1 , n + 2 ) = 2 ( n + 2 ) = 1 2 ρ ( n , n + 1 ) = ψ ( ρ ( ζ , η ) ) .
Therefore, all conditions of Theorem 1 are satisfied.
Clearly, we can also apply Theorem 2 because T is continuous (with respect to τ ρ ) .
Now, we present an easy example where we can apply Theorem 1 but not Theorem 2.
Example 2.
Let X : = { 0 , } N . Clearly ( X , ρ ) is a Hausdorff left K-complete quasi-metric space where (the quasi-metric) ρ is defined as follows:
  • ρ ( ζ , ζ ) = 0 for all ζ X .
  • ρ ( 0 , 1 / n ) = 1 / n for all n N , and
  • ρ ( ζ , η ) = 1 otherwise.
Now define T : X X as T 0 = 0 , T = , and T n = for all n N .
Since ρ ( 0 , n ) 0 as n , but ρ ( T 0 , T n ) = ρ ( 0 , ) = 1 , we conclude that T is not continuous. However, it is obvious that T is an α ψ -SVV contractive mapping for α given by α ( , ) = 1 , and α ( ζ , y ) = 0 otherwise, and any ψ Ψ .
In our main result (Theorem 3 below), we prove that Theorem 1 characterizes left K-completeness of Hausdorff quasi-metric spaces. However, Theorem 2 does not provide such characterization even in the case of metric spaces, as Suzuki and Takahashi constructed in [24] an example of a non-complete metric space for which every continuous self map has fixed points.
Theorem 3.
A Hausdorff quasi-metric space is left K-complete if and only if every α ψ -SVV contractive mapping has a fixed point.
Proof of Theorem 3.
Let ( X , ρ ) be a Hausdorff left K-complete quasi-metric space. By Theorem 1, every α ψ -SVV contractive mapping on ( X , ρ ) has a fixed point.
Conversely, suppose that ( X , ρ ) is a Hausdorff quasi-metric space which is not left K-complete. Then there exists a left K-Cauchy sequence ( ζ n ) n N (of distinct points) in ( ζ , ρ ) which is not convergent for τ ρ . Put A = { ζ n : n N } . Since ρ ( ζ 1 , A \ { ζ 1 } ) > 0 , there exists h 1 N , with h 1 > 1 , such that ρ ( ζ j , ζ k ) < ρ ( ζ 1 , A \ { ζ 1 } ) / 2 whenever h 1 j k . Similarly, there exists h 2 N , with h 2 > max { 2 , h 1 } , such that ρ ( ζ j , ζ k ) < ρ ( ζ 2 , A \ { ζ 2 } ) / 2 whenever h 2 j k . In this way we obtain a subsequence ( h n ) n N of ( n ) n N such that h n > max { n , h n 1 } and ρ ( ζ j , ζ k ) < ρ ( ζ n , A \ { ζ n } ) / 2 whenever h n j k .
Define T : X X and α : X × X [ 0 , ) as follows:
T ζ n = ζ h n for n N , and T ζ = ζ 1 for ζ X \ A , and
α ( ζ , η ) = 1 if ζ = ζ n and η = ζ m for n , m N with n < m , and α ( ζ , η ) = 0 otherwise.
We first note that α ( ζ 1 , T ζ 1 ) = 1 because 1 < h 1 .
Moreover T is α -admissible. Indeed, if α ( ζ , η ) 1 , then ζ = ζ n and η = ζ m with n < m . So α ( T ζ , T η ) = α ( ζ h n , ζ h m ) = 1 because h n < h m .
Next, we show that T is α ψ -contractive for ψ Ψ given by ψ ( t ) = t / 2 . Indeed, by the construction of α it suffices to check the case that ζ = ζ n and η = ζ m with n < m . Thus, we obtain
α ( ζ , η ) ρ ( T ζ , T η ) = α ( ζ n , ζ m ) ρ ( ζ h n , ζ h m ) < 1 2 ρ ( ζ n , A \ { ζ n } ) 1 2 ρ ( ζ n , ζ m ) = 1 2 ρ ( ζ , η ) = ψ ( ρ ( ζ , η ) ) .
Finally, note that ( X , ρ ) trivially satisfies the property (A) because the only convergent sequences in A are those that are eventually constant.
We have shown that T is an α ψ -SVV contractive mapping without fixed point. This contradiction concludes the proof. □
Corollary 1.
A metric space is complete if and only every α ψ -SVV contractive mapping has a fixed point.

Author Contributions

Investigation, S.R. and P.T.; Writing–original draft, S.R. and P.T. All authors contributed equally in writing this article. All authors have read and agreed to the published version of the manuscript.

Funding

This research was partially funded by Ministerio de Ciencia, Innovación y Universidades, under grant PGC2018-095709-B-C21 and AEI/FEDER, UE funds.

Acknowledgments

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

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Samet, B.; Vetro, C.; Vetro, P. Fixed point theorems for αψ-contractive type mappings. Nonlinear Anal. 2012, 75, 2154–2165. [Google Scholar] [CrossRef] [Green Version]
  2. Bhaskar, T.G.; Lakshmikantham, V. Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal. 2006, 65, 1379–1393. [Google Scholar] [CrossRef]
  3. Nieto, J.J.; Rodríguez-López, R. Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order 2005, 22, 223–239. [Google Scholar] [CrossRef]
  4. Nieto, J.J.; Rodríguez-López, R. Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations. Act. Math. Sin. (Engl. Ser.) 2007, 23, 2205–2212. [Google Scholar] [CrossRef]
  5. Ran, A.C.M.; Reurings, M.C.B. A fixed point theorem in partially ordered sets and some applications to matrix equations. Proc. Am. Math. Soc. 2003, 132, 1435–1443. [Google Scholar] [CrossRef]
  6. Amiri, P.; Rezapur, S.; Shahzad, N. Fixed points of generalized αψ-contractions. Rev. R. Acad. Cienc. Exactas Fis. Nat. Ser. A. Mat. RACSAM 2014, 108, 519–526. [Google Scholar] [CrossRef]
  7. Bilgili, N.; Karapinar, E.; Samet, B. Generalized αψ contractive mappings in quasi-metric spaces and related fixed-point theorems. J. Inequal. Appl. 2014, 2014, 36. [Google Scholar] [CrossRef] [Green Version]
  8. Bota, M.; Chifu, C.; Karapinar, E. Fixed point theorems for generalized (αψ)-Ciric-type contractive multivalued operators in b-metric spaces. J. Nonlinear Sci. Appl. 2016, 9, 1165–1177. [Google Scholar] [CrossRef] [Green Version]
  9. Karapinar, E. αψ-Geraghty contraction type mappings and some related fixed point results. Filomat 2014, 28, 37–48. [Google Scholar] [CrossRef] [Green Version]
  10. Karapinar, E.; Dehici, A.; Redje, N. On some fixed points of αψ contractive mappings with rational expressions. J. Nonlinear Sci. Appl. 2017, 10, 1569–1581. [Google Scholar] [CrossRef] [Green Version]
  11. Shahi, P.; Kaur, J.; Bhatia, S.S. Coincidence and common fixed point results for generalized αψ contractive type mappings with applications. Bull. Belg. Math. Soc. 2015, 22, 299–318. [Google Scholar] [CrossRef] [Green Version]
  12. Mlaiki, N.; Kukić, K.; Gardašević-Filipović, M.; Aydi, H. On almost b-metric spaces and related fixed points results. Axioms 2019, 8, 70. [Google Scholar] [CrossRef] [Green Version]
  13. Fulga, A.; Taş, A. Fixed point results via simulation functions in the context of quasi-metric space. Filomat 2018, 32, 4711–4729. [Google Scholar] [CrossRef]
  14. Hu, T.K. On a fixed point theorem for metric spaces. Amer. Math. Mon. 1967, 74, 436–437. [Google Scholar] [CrossRef]
  15. Kirk, A.W. Caristi’s fixed point theorem and metric convexity. Colloq. Math. 1976, 36, 81–86. [Google Scholar] [CrossRef] [Green Version]
  16. Subrahmanyan, P.V. Completeness and fixed-points. Mon. Math. 1975, 80, 325–330. [Google Scholar] [CrossRef]
  17. Suzuki, T. A generalized Banach contraction principle that characterizes metric completeness. Proc. Am. Math. Soc. 2008, 136, 1861–1869. [Google Scholar] [CrossRef]
  18. Romaguera, S. A Kirk type characterization of completeness for partial metric spaces. Fixed Point Theory Appl. 2010, 2010, 493298. [Google Scholar] [CrossRef] [Green Version]
  19. Altun, I.; Romaguera, S. Characterizations of partial metric completeness in terms of weakly contractive mappings having fixed point. Appl. Anal. Discr. Math. 2012, 6, 247–256. [Google Scholar] [CrossRef]
  20. Romaguera, S.; Tirado, P. A characterization of Smyth complete quasi-metric spaces via Caristi’s fixed point theorem. Fixed Point Theory Appl. 2015, 2015, 183. [Google Scholar] [CrossRef] [Green Version]
  21. Alegre, C.; Dağ, H.; Romaguera, S.; Tirado, P. Characterizations of quasi-metric completeness in terms of Kannan-type fixed point theorems. Hacet. J. Math. Stat. 2017, 46, 67–76. [Google Scholar] [CrossRef]
  22. Cobzaş, S. Functional Analysis in Asymmetric Normed Spaces; Frontiers in Mathematics; Birkhäuser/Springer Basel AG: Basel, Switzerland, 2013. [Google Scholar]
  23. Romaguera, S.; Tirado, P. The Meir-Keeler fixed point theorem for quasi-metric spaces and some consequences. Symmetry 2019, 11, 741. [Google Scholar] [CrossRef] [Green Version]
  24. Suzuki, T.; Takahashi, W. Fixed point theorems and characterizations of metric completeness. Topolog. Meth. Nonlinear Anal. 1996, 8, 371–382. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

Romaguera, S.; Tirado, P. A Characterization of Quasi-Metric Completeness in Terms of αψ-Contractive Mappings Having Fixed Points. Mathematics 2020, 8, 16. https://doi.org/10.3390/math8010016

AMA Style

Romaguera S, Tirado P. A Characterization of Quasi-Metric Completeness in Terms of αψ-Contractive Mappings Having Fixed Points. Mathematics. 2020; 8(1):16. https://doi.org/10.3390/math8010016

Chicago/Turabian Style

Romaguera, Salvador, and Pedro Tirado. 2020. "A Characterization of Quasi-Metric Completeness in Terms of αψ-Contractive Mappings Having Fixed Points" Mathematics 8, no. 1: 16. https://doi.org/10.3390/math8010016

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