Partial Metric Topology

Open Access
Publisher Website
Google Scholar
Abstract
Metric spaces are inevitably Hausdorff and so cannot, for example, be used to study non‐Hausdorff topologies such as those required in the Tarskian approach to programming language semantics. This paper presents a symmetric generalised metric for such topologies, an approach which sheds new light on how metric tools such as Banach's Theorem can be extended to non‐Hausdorff topologies.

This publication has 6 references indexed in Scilit: