Abstract
We define a natural quasimetric on the set of continuous valuations of a topological space and investigate it in the spirit of quasimetric domain theory. It turns out that the space of valuations of an (ordinary) algebraic domain D is an algebraic quasimetric domain. Moreover, it is precisely the lower powerdomain of D, where D is regarded as a quasimetric domain. The essential tool for proving these results is a generalization of the Splitting Lemma which characterizes the quasimetric for simple valuations and holds for valuations on arbitrary topological spaces.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.