Premium
Partial Metric Topology
Author(s) -
MATTHEWS S. G.
Publication year - 1994
Publication title -
annals of the new york academy of sciences
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.712
H-Index - 248
eISSN - 1749-6632
pISSN - 0077-8923
DOI - 10.1111/j.1749-6632.1994.tb44144.x
Subject(s) - hausdorff space , network topology , hausdorff distance , metric (unit) , mathematics , metric space , urysohn and completely hausdorff spaces , topology (electrical circuits) , computer science , discrete mathematics , pure mathematics , hausdorff dimension , hausdorff measure , combinatorics , mathematical analysis , business , marketing , operating system
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.