2d09bf1dda40a129.tex
1: \begin{definition} Let $X$, $r$, $\mu$, and $W$ be given as before. Recall $r  \colon 
2: X \rightarrow X$ is a finite-to-one map onto $X$, $\mu$ is a
3: corresponding strongly invariant measure, and $W  \colon  X \rightarrow
4: [0, \infty)$ is a measurable weight function. We define the
5: corresponding Ruelle operator $R = R_W$, and we let $h$ be a
6: chosen Perron--Frobenius--Ruelle eigenfunction. From these data, we
7: define the following sequence of measures $\omega_n$ on $X$. (Our
8: presentation of a wavelet transform in Theorem \ref{thpr_5} will
9: depend on this sequence.) For each $n$, the measure $\omega_n$ is
10: defined by the following formula:
11: \begin{equation}\label{eqpr_6}
12: \omega_n(f)=\int_XR^n(fh)\,d\mu,\qquad f\in L^\infty(X).
13: \end{equation}
14: \end{definition}
15: