DagSemProc.04351.22.pdf
- Filesize: 160 kB
- 4 pages
Partial metrics were introduced in 1992 as a metric to allow the distance of a point from itself to be non zero. This notion of self distance, designed to extend metrical concepts to Scott topologies as used in computing, has little intuition for the mainstream Hausdorff topologist. The talk will show that a partial metric over a set can be represented by a metric over that set with a so-called 'base point'. Thus we establish that a partial metric is essentially a structure combining both a metric space and a skewed view of that space from the base point. From this we can deduce what it is that partial metrics are really all about.
Feedback for Dagstuhl Publishing