Approximation of metric spaces by partial metric spaces

被引：156

作者：

Heckmann, R ^{[1
]}

机构：

[1] Univ Saarland, FB Informat 14, D-66041 Saarbrucken, Germany

来源：

APPLIED CATEGORICAL STRUCTURES | 1999年 / 7卷 / 1-2期

关键词：

generalised metric spaces; domains; Scott topology; preorder;

D O I：

10.1023/A:1008684018933

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

Partial metrics are generalised metrics with non-zero self-distances. We slightly generalise Matthews' original definition of partial metrics, yielding a notion of weak partial metric. After considering weak partial metric spaces in general, we introduce a weak partial metric on the poset of formal halls of a metric space. This weak partial metric can be used to construct the completion of classical metric spaces from the domain-theoretic rounded ideal completion.

引用

页码：71 / 83

页数：13