Formal balls in fuzzy quasi-metric spaces

Volume 10, Issue 2, pp 684--698 http://dx.doi.org/10.22436/jnsa.010.02.30

Publication Date: February 20, 2017 Submission Date: October 10, 2016

Download PDF

Download XML

• Export citations
  • CITATIONS & REFERENCES
  • EndNote (.ENW)
  • Mendeley, JabRef (.BIB)
  • Papers, Zotero, Reference Manager, RefWorks (.RIS)
  • ARTICLE CITATION
  • EndNote (.ENW)
  • Mendeley, JabRef (.BIB)
  • Papers, Zotero, Reference Manager, RefWorks (.RIS)
  • REFERENCES
  • EndNote (.ENW)
  • Mendeley, JabRef (.BIB)
  • Papers, Zotero, Reference Manager, RefWorks (.RIS)

• 1971 Downloads
• 2959 Views

Authors

You Gao - College of Mathematics and Econometrics, Hunan University, Changsha, 410082, China. Qingguo Li - College of Mathematics and Econometrics, Hunan University, Changsha, 410082, China. Lankun Guo - College of Mathematics and Computer Science, Hunan Normal University, Changsha, 410012, China. Jialiang Xie - College of Science, Jimei University, Xiamen, 361021, China.

Abstract

The notions of Yoneda completeness and Smyth completeness on fuzzy quasi-metric spaces are introduced and their relationship with other types of completeness including sequentially Yoneda completeness and bicompleteness are investigated. Then we use the standard Yoneda completeness to characterize the order-theoretical properties of the poset \((BX,\sqsubseteq_M )\) of formal balls in a fuzzy quasi-metric space \((X,M,\wedge)\). The results show that if \((BX,\sqsubseteq_M )\) is a dcpo, then \((X,M,\wedge)\) is standard complete and conversely, \((BX,\sqsubseteq_M )\) forms a dcpo provided that \((X,M,\wedge)\) is standard Yoneda complete. Particularly, in a fuzzy metric space, we clarify three types of completeness which can be characterized by the directed completeness of the related poset of formal balls.

Share and Cite

Keywords

• Fuzzy quasi-metric space
• Yoneda complete
• standard Yoneda complete
• Smyth complete
• formal ball.

MSC

•  06A06
•  54A40

References

• [1] M. Ali-Akbari, B. Honari, M. Pourmahdian, M. M. Rezaii, The space of formal balls and models of quasi-metric spaces, Math. Structures Comput. Sci., 19 (2009), 337–355.
  • View Article
  • MathSciNet
  • Google Scholar
  • MATH


• [2] F. Castro-Company, S. Romaguera, P. Tirado, The bicompletion of fuzzy quasi-metric spaces, Fuzzy Sets and Systems, 166 (2011), 56–64.
  • View Article
  • MathSciNet


• [3] A. George, P. Veeramani , On some results in fuzzy metric spaces, Fuzzy Sets and Systems, 64 (1994), 395–399.
  • View Article
  • Google Scholar


• [4] J. Goubault-Larrecq, Non-Hausdorff topology and domain theory, [On the cover: Selected topics in point-set topology] New Mathematical Monographs, Cambridge University Press, Cambridge (2013)
  • View Article
  • MathSciNet


• [5] V. Gregori, J. A. Mascarell, A. Sapena, On completion of fuzzy quasi-metric spaces, Topology Appl., 153 (2005), 886–899.
  • View Article
  • MathSciNet
  • Google Scholar


• [6] V. Gregori, S. Morillas, B. Roig, Fuzzy quasi-metrics for the Sorgenfrey line, Fuzzy Sets and Systems, 222 (2013), 98–107.
  • View Article
  • MathSciNet
  • Google Scholar
  • MATH


• [7] V. Gregori, S. Morillas, A. Sapena, Examples of fuzzy metrics and applications, Fuzzy Sets and Systems, 170 (2011), 95–111.
  • View Article
  • MathSciNet
  • Google Scholar


• [8] V. Gregori, S. Romaguera, Fuzzy quasi-metric spaces, Appl. Gen. Topol., 5 (2004), 129–136.
  • Google Scholar


• [9] V. Gregori, S. Romaguera, A. Sapena, A characterization of bicompletable fuzzy quasi-metric spaces, Fuzzy Sets and Systems, 152 (2005), 395–402.
  • View Article
  • MathSciNet
  • Google Scholar
  • MATH


• [10] J. Gutiérrez García, M. A. de Prada Vicente, Hutton [0, 1]-quasi-uniformities induced by fuzzy (quasi)-metric spaces, Fuzzy Sets and Systems, 157 (2006), 755–766.
  • View Article
  • MathSciNet
  • Google Scholar
  • MATH


• [11] M. Kostanek, P. Waszkiewicz , The formal ball model for Q-categories , Math. Structures Comput. Sci., 21 (2011), 41–64.
  • View Article
  • MathSciNet
  • Google Scholar
  • MATH


• [12] I. Kramosil, J. Michálek, Fuzzy metrics and statistical metric spaces , Kybernetika (Prague), 11 (1975), 336–344.
  • Google Scholar


• [13] I. Mardones-Pérez, M. A. de Prada Vicente, Fuzzy pseudometric spaces vs fuzzifying structures, Fuzzy Sets and Systems, 267 (2015), 117–132.
  • Google Scholar


• [14] I. Mardones-Pérez, M. A. de Prada Vicente, An application of a representation theorem for fuzzy metrics to domain theory, Fuzzy Sets and Systems, 300 (2016), 72–83.
  • View Article
  • MathSciNet
  • Google Scholar
  • MATH


• [15] D. Mihet, Fuzzy quasi-metric versions of a theorem of Gregori and Sapena, Iran. J. Fuzzy Syst., 7 (2010), 59–64.
  • MathSciNet
  • Google Scholar
  • MATH


• [16] J. Miñana, A. Šostak, Fuzzifying topology induced by a strong fuzzy metric, Fuzzy Sets and Systems, 300 (2016), 24–39.
  • View Article
  • MathSciNet
  • Google Scholar
  • MATH


• [17] D. Qiu, W.-Q. Zhang, C. Li, Extension of a class of decomposable measures using fuzzy pseudometrics, Fuzzy Sets and Systems, 222 (2013), 33–44.
  • View Article
  • MathSciNet
  • Google Scholar
  • MATH


• [18] D. Qiu, W.-Q. Zhang, C. Li, On decomposable measures constructed by using stationary fuzzy pseudo-ultrametrics, Int. J. Gen. Syst., 42 (2013), 395–404.
  • View Article
  • MathSciNet
  • Google Scholar
  • MATH


• [19] L. A. Ricarte, Topological and computational models for fuzzy metric spaces via domain theory, Ph.D. thesis, University Politècnica de València (2013)
  • Google Scholar


• [20] L. A. Ricarte, S. Romaguera , A domain-theoretic approach to fuzzy metric spaces, Topology Appl., 163 (2014), 149–159.
  • View Article
  • MathSciNet
  • Google Scholar
  • MATH


• [21] J. Rodríguez-López, S. Romaguera, J. M. Sánchez-Aívarez, The Hausdorff fuzzy quasi-metric, Fuzzy Sets and Systems, 161 (2010), 1078–1096.
  • View Article
  • MathSciNet
  • Google Scholar
  • MATH


• [22] S. Romaguera, A. Sapena, O. Valero, Quasi-uniform isomorphisms in fuzzy quasi-metric spaces, bicompletion and D- completion, Acta Math. Hungar., 114 (2007), 49–60.
  • View Article
  • MathSciNet
  • Google Scholar
  • MATH


• [23] S. Romaguera, O. Valero, Domain theoretic characterisations of quasi-metric completeness in terms of formal balls, Math. Structures Comput. Sci., 20 (2010), 453–472.
  • View Article
  • MathSciNet
  • Google Scholar
  • MATH


• [24] A. Savchenko, M. Zarichnyi, Fuzzy ultrametrics on the set of probability measures, Topology, 48 (2009), 130–136.
  • View Article
  • MathSciNet
  • Google Scholar
  • MATH


• [25] Y.-H. Shen, D. Qiu, W. Chen, Fixed point theorems in fuzzy metric spaces, Appl. Math. Lett., 25 (2012), 138–141.
  • View Article
  • Google Scholar


• [26] J.-Y. Wu, Y.-L. Yue, Formal balls in fuzzy partial metric spaces, Iran. J. Fuzzy Syst., (2016), Article in press.
  • MathSciNet
  • Google Scholar
  • MATH


• [27] J.-L. Xie, Q.-G. Li, S.-L. Chen, Y. Gao, On pseudo-metric spaces induced by \(\sigma-\bot\)-decomposable measures, Fuzzy Sets and Systems, 289 (2016), 33–42.
  • View Article
  • MathSciNet
  • Google Scholar
  • MATH


• [28] Y.-L. Yue, F.-G. Shi, On fuzzy pseudo-metric spaces, Fuzzy Sets and Systems, 161 (2010), 1105–1116.
  • View Article
  • MathSciNet
  • Google Scholar