Power domains and iterated function systems (Q1917075): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 05:14, 5 March 2024

scientific article
Language Label Description Also known as
English
Power domains and iterated function systems
scientific article

    Statements

    Power domains and iterated function systems (English)
    0 references
    0 references
    5 September 1996
    0 references
    The author's summary: ``We introduce the notion of weakly hyperbolic iterated function system (IFS) on a compact metric space, which generalizes that of hyperbolic IFS. Based on a domain-theoretic model, which uses the Plotkin power domain and the probabilistic power domain respectively, we prove the existence and uniqueness of the attractor of a weakly hyperbolic IFS and the invariant measure of a weakly hyperbolic IFS with probabilities, extending the classic results of Hutchinson for hyperbolic IFSs in this more general setting. We also present finite algorithms to obtain discrete and digitised approximations to the attractor and the invariant measure, extending the corresponding algorithms for hyperbolic IFSs. We then prove the existence and uniqueness of the invariant distribution of a weakly hyperholic recurrent IFS and obtain an algorithm to generate the invariant distribution on the digitised screen. The generalised Riemann integral is used to provide a formula for the expected value of almost everywhere continuous functions with respect to this distribution. For hyperbolic recurrent IFSs and Lipschitz maps, one can estimate the integral up to any threshold of accuracy''.
    0 references
    weakly hyperbolic iterated function system
    0 references
    Plotkin power domain
    0 references
    invariant measure
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references