Measuring the probabilistic powerdomain
type: Item
instance of: scholarly article
title: Measuring the probabilistic powerdomain
zbMATH Open document ID: 1062.06009
DOI: 10.1016/S0304-3975(03)00404-3
author: Keye Martin
author: James Worrell
author: Michael Mislove
published in: Theoretical Computer Science
publication date: 2004-10-27T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 06B35
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 2110972
zbMATH Keywords: continuous domain
zbMATH Keywords: valuation
zbMATH Keywords: measurement
zbMATH Keywords: probabilistic powerdomain
zbMATH Keywords: iterated function system
reviewed by: Jimmie D. Lawson
MaRDI profile type: Publication
cites work: Nuclear and trace ideals in tensored \(^*\)-categories
cites work: An Extension Result for Continuous Valuations
cites work: Domain theory and integration
cites work: Power domains and iterated function systems
cites work: When Scott is weak on the top
cites work: A computational model for metric spaces
cites work: Self-similar sets as Tarski's fixed points
cites work: Q4373421
cites work: Q3731958
cites work: Spaces of maximal points
cites work: Q2754138
cites work: Unique Fixed Points in Domain Theory
cites work: Q4737180
cites work: Fractals and domain theory
cites work: Topology, domain theory and theoretical computer science
description: scientific article; zbMATH DE number 2110972