Hostname: page-component-7bb8b95d7b-lvwk9 Total loading time: 0 Render date: 2024-09-06T14:36:16.299Z 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: [email protected]) Department of Applied Mathematics, Faculty of Mathematics, University of Waterloo, Waterloo, Ontario, Canada N2L 3G1 (e-mail: [email protected])
F. MENDIVIL
Affiliation:
Department of Applied Mathematics, Faculty of Mathematics, University of Waterloo, Waterloo, Ontario, Canada N2L 3G1 (e-mail: [email protected])

Abstract

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.

Type
Research Article
Copyright
© 1998 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.)