Domain theory and integration

We present a domain-theoretic framework for measure theory and integration of bounded real-valued functions with respect to bounded Borel measures on compact metric spaces. The set of normalised Borel measures of the metric space can be embedded into the maximal elements of the normalised probabilis...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Theoretical computer science Ročník 151; číslo 1; s. 163 - 193
Hlavný autor: Edalat, Abbas
Médium: Journal Article Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: Amsterdam Elsevier B.V 13.11.1995
Elsevier
Predmet:
Exact sciences and technology
Mathematical analysis
Mathematics
Measure and integration
Sciences and techniques of general use
Measure theory
Integration
Constructive theory
Fractal
Metric space
Compact space
Real function
Domain theory
Bounded function
ISSN:0304-3975, 1879-2294
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:We present a domain-theoretic framework for measure theory and integration of bounded real-valued functions with respect to bounded Borel measures on compact metric spaces. The set of normalised Borel measures of the metric space can be embedded into the maximal elements of the normalised probabilistic power domain of its upper space. Any bounded Borel measure on the compact metric space can then be obtained as the least upper bound of an ω-chain of linear combinations of point valuations (simple valuations) on the upper space, thus providing a constructive framework for these measures. We use this setting to define a new notion of integral of a bounded real-valued function with respect to a bounded Borel measure on a compact metric space. By using an ω-chain of simple valuations, whose lub is the given Borel measure, we can then obtain increasingly better approximations to the value of the integral, similar to the way the Riemann integral is obtained in calculus by using step functions. We show that all the basic results in the theory of Riemann integration can be extended in this more general setting. Furthermore, with this new notion of integration, the value of the integral, when it exists, coincides with the Lebesgue integral of the function. An immediate area for application is in the theory of iterated function systems with probabilities on compact metric spaces, where we obtain a simple approximating sequence for the integral of a real-valued almost everywhere continuous function with respect to the invariant measure.
ISSN:0304-3975
1879-2294
DOI:10.1016/0304-3975(95)00050-7