On Information Orders on Metric Spaces

被引:0
作者
Otafudu, Oliver Olela [1 ]
Valero, Oscar [2 ,3 ]
机构
[1] North West Univ, Dept Math & Appl Math, Potchefstroom Campus, ZA-2520 Potchefstroom, South Africa
[2] Univ Illes Balears, Dept Ciencies Matemat & Informat, Palma De Mallorca 07122, Spain
[3] Hosp Univ Son Espases, Inst Invest Sanitaria Illes Balears IdISBa, Palma De Mallorca 07120, Spain
基金
欧盟地平线“2020”;
关键词
information order; increasing sequence; directed-completeness; metric; partial metric; completeness; PARTIAL METRIZABILITY; DOMAINS;
D O I
10.3390/info12100427
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Information orders play a central role in the mathematical foundations of Computer Science. Concretely, they are a suitable tool to describe processes in which the information increases successively in each step of the computation. In order to provide numerical quantifications of the amount of information in the aforementioned processes, S.G. Matthews introduced the notions of partial metric and Scott-like topology. The success of partial metrics is given mainly by two facts. On the one hand, they can induce the so-called specialization partial order, which is able to encode the existing order structure in many examples of spaces that arise in a natural way in Computer Science. On the other hand, their associated topology is Scott-like when the partial metric space is complete and, thus, it is able to describe the aforementioned increasing information processes in such a way that the supremum of the sequence always exists and captures the amount of information, measured by the partial metric; it also contains no information other than that which may be derived from the members of the sequence. R. Heckmann showed that the method to induce the partial order associated with a partial metric could be retrieved as a particular case of a celebrated method for generating partial orders through metrics and non-negative real-valued functions. Motivated by this fact, we explore this general method from an information orders theory viewpoint. Specifically, we show that such a method captures the essence of information orders in such a way that the function under consideration is able to quantify the amount of information and, in addition, its measurement can be used to distinguish maximal elements. Moreover, we show that this method for endowing a metric space with a partial order can also be applied to partial metric spaces in order to generate new partial orders different from the specialization one. Furthermore, we show that given a complete metric space and an inf-continuous function, the partially ordered set induced by this general method enjoys rich properties. Concretely, we will show not only its order-completeness but the directed-completeness and, in addition, that the topology induced by the metric is Scott-like. Therefore, such a mathematical structure could be used for developing metric-based tools for modeling increasing information processes in Computer Science. As a particular case of our new results, we retrieve, for a complete partial metric space, the above-explained celebrated fact about the Scott-like character of the associated topology and, in addition, that the induced partial ordered set is directed-complete and not only order-complete.
引用
收藏
页数:13
相关论文
共 26 条
  • [11] Kahn G., 1974, IFIP Congress, P471
  • [12] AN EXTENSIONAL TREATMENT OF LAZY DATA-FLOW DEADLOCK
    MATTHEWS, SG
    [J]. THEORETICAL COMPUTER SCIENCE, 1995, 151 (01) : 195 - 205
  • [13] Matthews SG, 1994, ANN NY ACAD SCI, V728, P183, DOI [10.1111/j.1749-6632.1994.tb44144.x, DOI 10.1111/j.1749-6632.1994.tb44144.x]
  • [14] O'Neill S.J., 1995, CSRR293 U WARW CONV
  • [15] OLTRA S, 2002, REND CIRC MAT PALERM, V51, P151, DOI DOI 10.1007/BF02871458
  • [16] Partial metrics, valuations, and domain theory
    ONeill, SJ
    [J]. PAPERS ON GENERAL TOPOLOGY AND APPLICATIONS: ELEVENTH SUMMER CONFERENCE AT THE UNIVERSITY OF SOUTHERN MAINE, 1996, 806 : 304 - 315
  • [17] Partial metric monoids and semivaluation spaces
    Romaguera, S
    Schellekens, M
    [J]. TOPOLOGY AND ITS APPLICATIONS, 2005, 153 (5-6) : 948 - 962
  • [18] Romaguera S., 2001, ELECT NOTES THEORETI, V40, P347
  • [19] SCHELLEKENS M., 1995, Electron. Notes Theor. Comput. Sci., V1, P535
  • [20] The correspondence between partial metrics and semivaluations
    Schellekens, MP
    [J]. THEORETICAL COMPUTER SCIENCE, 2004, 315 (01) : 135 - 149