Measuring the probabilistic powerdomain (Q1884874)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Measuring the probabilistic powerdomain |
scientific article |
Statements
Measuring the probabilistic powerdomain (English)
0 references
27 October 2004
0 references
In this paper the authors show that a special class of measurements, called MP-measurements, on a continuous domain extend via a natural construction to measurements on its probabilistic powerdomain. (Here, a measurement is an upper semicontinuous function from a continuous domain, thought of as a ``model'' for the space of its maximal elements equipped with the relative Scott topology, into the non-negative real numbers that (typically) vanishes precisely at the maximal elements.) They show that a number of standard examples of measurements are MP-measurements, and apply their results by giving a new domain-theoretic existence proof of the unique invariant measure for a weighted iterated function system.
0 references
continuous domain
0 references
valuation
0 references
measurement
0 references
probabilistic powerdomain
0 references
iterated function system
0 references