Hostname: page-component-6898cfcb55-zsp5v Total loading time: 0 Render date: 2026-11-11T10:42:34.680Z Has data issue: false hasContentIssue false

A classical ergodic property for IFS: a simple proof

Published online by Cambridge University Press:  01 June 1998

B. FORTE
Affiliation:
Facoltà di Scienze MM. FF. e NN. a Cà Vignal, Università Degli Studi di Verona, Strada Le Grazie, 37134 Verona, Italy (e-mail: forte@biotech.univr.it)Department of Applied Mathematics, Faculty of Mathematics, University of Waterloo, Waterloo, Ontario, Canada N2L 3G1 (e-mail: mendivil@augusta.math.uwaterloo.ca)
F. MENDIVIL
Affiliation:
Department of Applied Mathematics, Faculty of Mathematics, University of Waterloo, Waterloo, Ontario, Canada N2L 3G1 (e-mail: mendivil@augusta.math.uwaterloo.ca)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

Let $\{w_i,p_i\}$ be a contractive iterated function system (IFS) [1, pp. 79–80] with probabilities, i.e. a set of contraction maps $w_i:X\to X$ with associated probabilities $p_i$, $i=1,2,\ldots,N$. We provide a simple proof that for almost every address sequence $\sigma$ and for all $x$ the limit $\lim_{n\to \infty}1/n\sum_{i\le n}f(w_{\sigma_n}\circ w_{\sigma_{n-1}}\circ\cdots\circ w_{\sigma_1}(x))$ exists and is equal to $\int_Xf(z)\,d\mu(z)$, where $\mu$ is the invariant measure of the IFS. This is the so called ‘ergodic property’ for the IFS and was proved by Elton in [3]. However, the uniqueness of the invariant measure was not previously exploited. This provides considerable simplification to the proof.

Information

Type
Research Article
Copyright
© 1998 Cambridge University Press