When Scott is weak on the top

  • Authors:

  • Abbas Edalat

  • Affiliations:

  • Department of Computing, Imperial College, 180 Queen's gate, London SW7 2BZ. Email: ae@doc.ic.ac.uk

  • Venue:
  • Mathematical Structures in Computer Science
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

Abstract

We construct an approximating chain of simple valuations on the upper space of a compact metric space whose lub is a given probability measure on the metric space. We show that whenever a separable metric space is homeomorphic to a G δ subset of an ω-continuous dcpo equipped with its Scott topology, the space of probability measures of the metric space equipped with the weak topology is homeomorphic with a subset of the maximal elements of the probabilistic power domain of the ω-continuous dcpo. Given an effective approximation of a probability measure by an increasing chain of normalised valuations on the upper space of a compact metric space, we show that the expected value of any Hölder continuous function on the space can be obtained up to any given accuracy. We present a novel application in computing integrals in dynamical systems. We obtain an algorithm to compute the expected value of any Hölder continuous function with respect to the unique invariant measure of the Feigenbaum map in the periodic doubling route to chaos.