“School of Mathematics”

Back to Papers Home
Back to Papers of School of Mathematics

Paper   IPM / M / 8970
School of Mathematics
  Title:   The space of formal balls and models of quasi-metric spaces
  Author(s):  M. Pourmahdian (Joint with M. Ali-Akbari, B. Honari, and M. M. Rezaeii)
  Status:   To Appear
  Journal: Math. Structures Comput. Sci.
  Supported by:  IPM
In this paper we study quasi-metric spaces via domain theory. Our main objective in this paper is to study the maximal point space problem for quasi-metric spaces. Here we prove that quasi-metric spaces which satisfy certain completeness properties such as Yoneda and Smyth completeness can be modeled by continuous dcpo's. To achieve this goal, we first study the partially ordered set of formal balls (BX, \sqsubseteq) of a quasi-metric space (X, d). Following Edalat and Heckmann, we prove that the order properties of (BX, \sqsubseteq) are tightly connected with topological properties of (X, d). In particular, we prove that (BX, \sqsubseteq) is a continuous dcpo if (X, d) is algebraic Yoneda-complete. Furthermore, we show that this construction does give a model for Smyth-complete quasi-metric spaces. Then, for a given quasi-metric space (X, d), we introduce the partially ordered set of abstract formal balls (BX, \sqsubseteq, \prec). We prove that if the conjugate space (X, d−1) of a quasi-metficspace (X, d) is right K-complete then the ideal completion of (BX, \sqsubseteq, \prec) is a model for (X, d). This construction provides a model for any Yoneda-complete quasi-metric space (X, d) as well as Sorgenfrey line, Kofner plane and Michaelline.

Download TeX format
back to top
scroll left or right