1: \begin{definition}\label{def1}

2: With the notations of Theorem \ref{th1}, a set $M\subset \br^d$ is called {\it invariant} if for any point $t\in M$, and any $l\in L$, if $\alpha_{l}m_B((R^T)^{-1}(t-l))\neq 0$, then $g_{l}(t):=(R^T)^{-1}(t-l)\in M$. $M$ is said to be non-trivial if $M\neq \{0\}$.

3: 

4: Note that 

5: $$\sum\limits_{l\in L} | \alpha_{l}  |^2 \ |m_{B}(g_{l} (t))|^{2}=1 \quad (t \in \mathbb{R}^d ),$$

6: see \eqref{eq1.10.2}, and therefore, we can interpret the number $| \alpha_{l}  |^2 \ |m_{B}(g_{l} (t))|^{2}$ as the probability of transition from $t$ to $g_{l}(t)$, and if this number is not zero then we say that this {\it transition is possible in one step (with digit $l$)}, and we write $t\rightarrow g_{l}(t)$ or $t\stackrel{l}{\rightarrow}g_l(t)$. We say that the {\it transition is possible} from a point $t$ to a point $t'$ if there exist $t_0=t$, $t_1,\dots, t_n=t'$ such that $t=t_0\rightarrow t_1\rightarrow\dots\rightarrow t_n=t'$. The {\it trajectory} of a point $t$ is the set of all points $t'$ (including the point $t$) such that the transition is possible from $t$ to $t'$.

7: 

8: A {\it cycle} is a finite set $\{t_0,\dots,t_{p-1}\}$ such that there exist $l_0,\dots, l_{p-1}$ in $L$ such that $g_{l_0}(t_0)=t_1,\dots, g_{l_{p-1}}(t_{p-1})=t_{p}:=t_0$. Points in a cycle are called {\it cycle points}. 

9: 

10: A cycle $\{t_0,\dots, t_{p-1}\}$ is called {\it extreme} if $|m_B(t_i)|=1$ for all $i$; by the triangle inequality, since $0\in B$, this is equivalent to $t_i\cdot b\in \bz$ for all $b\in B$. 

11: 

12: \end{definition}

13: