Hostname: page-component-8448b6f56d-t5pn6 Total loading time: 0 Render date: 2024-04-24T03:40:40.304Z Has data issue: false hasContentIssue false

When Scott is weak on the top

Published online by Cambridge University Press:  01 October 1997

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

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.

Type
Research Article
Copyright
1997 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)