Infinity valued partial metrics

DOI10.4995/AGT.2025.20840MaRDI QIDQ6954656zbMATH OpenFDO

Authors Steve Matthews, H. Pajoohesh

Publication date 23 July 2025

Published in Applied General Topology (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International

Full work available at URL https://doi.org/10.4995/AGT.2025.20840

zbMATH Keywords

infinite distance functionspartial metrics

Mathematics Subject Classification ID

Topological spaces with richer structures (54E99) Applications of general topology to computer science (e.g., digital topology, image processing) (54H30) Computational aspects of digital topology (68U03)

Review text

This article presents a natural extension of partial metric theory with a historical flavour. Partial metrics, introduced by Matthews to model partial information in computation, were closely connected to Kopperman's interest in generalized metrics and non-Hausdorff topology.\N\NBuilding on this foundation, the paper introduces infinite partial metrics, which are essentially partial metrics whose co-domain includes infinity. The authors show that every infinite partial metric induces a topology that is partial metrizable, while the converse does not hold in general. This result clarifies the scope and limitations of this generalization and situates it within the development of generalized metric spaces, including pseudo-metrics and quasi-metrics. By linking the mathematical development to historical motivations, the article demonstrates how these generalizations naturally raise questions in non-Hausdorff topology and in the deeper ontologies of mathematics -- a path that Kopperman pursued throughout his career.\N\NOverall, the article is clear, well-motivated, and combines technical rigor with historical insight, making a meaningful contribution to the theory of generalized metrics.

Cites work

• \(T_0\) functional Alexandroff topologies are partial metrizable
• All Topologies Come From Generalized Metrics
• scientific article; zbMATH DE number 1107508 (Why is no real title available?)
• scientific article; zbMATH DE number 2245659 (Why is no real title available?)
• Intrinsic generalized metrics
• Minimal non-metabelian varieties of \(\ell\)-groups which contain no nonabelian \(o\)-groups.
• On Banach fixed point theorems for partial metric spaces
• Partial metric spaces
• Partial metric spaces with negative distances and fixed point theorems
• Partial Metric Topology
• Partial metrizability in value quantales
• The relationship of partial metric varieties and commuting powers varieties
• The relationship of partial metric varieties and commuting powers varieties. II.
• The structure of extended real-valued metric spaces

Cited in

(1)

• On the extension of partial metrics and quasi-metrics

This page was built for publication: Infinity valued partial metrics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6954656)