A triangle inequality for measurement (Q1811031)

A measurement is an upper semicontinuous function \(\mu\) from a continuous domain \(D\) equipped with the Scott topology into the nonnegative reals which takes the value 0 on the set \(X\) of maximal elements and induces the restricted Scott topology on this maximal set. (One typically views \(D\) as a domain model for \(X\) and the measurement as providing a quantitative measure of the inequalities of domain theory.) In this paper the author introduces a triangle inequality for measurements; which enables one to construct a metric for the space \(X\). The naturality of this construction allows the author to define a modeling functor from the category of locally compact metric spaces and Lipschitz maps to a category of bounded complete domains equipped with measurements satisfying the triangle inequality and an appropriate class of morphisms.