My question probably needs to include the definitions of the terms in the title so I will first ask the question and then introduce the necessary definitions.
The following Theorem is stated without proof here.
Let $T$ be a tiling of the space $\mathbb{R}^n$. If $T$ is a repetitive tiling, then $T$ has finite local complexity.
However, I think that there is a periodic (and so repetitive) tiling of the line $\mathbb{R}$ which does not have finitely many tile types, and so does not have finite local complexity, contradicting the statement. The example is given by the tiling $$T=\{t_{n,m}=[n+(1/2)^{m+1},n+(1/2)^{m}]\:|\:n\in\mathbb{Z},m=0,1\ldots\}.$$ $T$ is obviously a tiling of $\mathbb{R}$ as the union of all the $t_{n,m}$ cover the line, and the intersection of the interior of any two tiles is empty, and $T$ clearly has period 1 as $t_{n,m}+1=t_{n+1,m}$ and so is repetitive. Finally, $T$ has infinitely many tile types given by varying the value of $m$ for fixed $n$ and so $T$ does not have finite local complexity.
Have I missed something obvious in the definitions below, or my analysis of the above example, or is this really a counterexample to the stated Theorem? I think a clear fix would be if one restricted the definition of a tiling to those tilings, $T$ of $\mathbb{R}^n$ such that the intersection of any compact subset of $\mathbb{R}^n$ with the tiles $t$ in $T$ is non-trivial for only finitely many $t$. In this case, it seems clear that the Theorem is true.
The necessary definitions are below.
Tiling link
We say the set $t\subset\mathbb{R}^n$ is a tile if $t$ is a non-empty compact subset of $\mathbb{R}^n$ such that the closure of the interior of $t$ is equal to $t$. We say a set of tiles $T=\{t_{\lambda}|\lambda\in\Lambda\}$ is a tiling of $\mathbb{R}^n$ if
- $\bigcup_{\Lambda} t_{\lambda}=\mathbb{R}^n$, and
- for all $\lambda\neq \lambda'$, we have $\mbox{Int}(t_{\lambda})\cap \mbox{Int}(t_{\lambda'})=\emptyset$.
Repetitive link
Let $T$ be a tiling of $\mathbb{R}^n$. We say $T$ is repetitive if, for all $r>0$, $x\in\mathbb{R}^n$, there exists a $\delta\in\mathbb{R}$ such that, for any $y\in\mathbb{R}^n$, there is some $z\in\mathbb{R}^n$ with $B_{r}[T,x]\sim B_{r}[T,z]$ and $|z-y|<\delta$.
Here, $B_{r}[T,x]=\{t\in T\:|\:t\cap B_r(x)\neq\emptyset\}$ is the set of tiles in $T$ which have non-trivial intersection with the open ball $B_r(x)$ of radius $r$ and centre $x\in\mathbb{R}^n$. We say two sets of tiles are $\sim$-equivalent if a translation of $\mathbb{R}^n$ exists which takes one set to another.
Finite local complexity link
We say that $T$ has finite local complexity if, for all $r>0$ the set $\{B_r[T,x]\:|\:x\in\mathbb{R}^n\}/{\sim}$ is finite.
Note that if $T$ does not have finitely many tile types, then $T$ does not have FLC. By tile types, we mean the $\sim$-equivalence classes of single tiles in $T$.
