1: \begin{definition}

2: \label{def:isometry} Given two IFSs $F$ and $G$ with the same number of

3: functions, with the same probabilities, with attractors $A_{F}$ and $A_{G}$

4: and invariant measures $\mu_{F}$ and $\mu_{G}$, respectively, let $T_{FG}$ and

5: $T_{GF}$ be the  fractal transformations. The \textbf{induced isometries}

6: $U_{FG}:L_{F}^{2}\rightarrow L_{G}^{2}$ and $U_{GF}:L_{G}^{2}\rightarrow

7: L_{F}^{2}$ are given by

8: \[

9: \begin{aligned} (U_{FG}\varphi_{F})(y)&=\varphi_{F}(T_{GF}(y)) \\ (U_{GF}\varphi_{G})(x)&=\varphi_{G}(T_{FG}(x)) \end{aligned}

10: \]

11: for all $x\in A_{F}$ and all $y\in A_{G}$. That these linear operators are

12: isometries is proved as part of Theorem~\ref{thm:isometry} below.

13: \end{definition}

14: