Golden gaskets: variations on the Sierpiński sieve

Abstract

We consider the iterated function systems (IFSs) that consist of three general similitudes in the plane with centres at three non-collinear points, and with a common contraction factor $\la\in(0,1)$. As is well known, for $\la=1/2$ the invariant set, $§_\la$, is a fractal called the Sierpiński sieve, and for $\la<1/2$ it is also a fractal. Our goal is to study $§_\la$ for this IFS for $1/2<\la<2/3$, i.e., when there are &#34;overlaps&#34; in $§_\la$ as well as &#34;holes&#34;. In this introductory paper we show that despite the overlaps (i.e., the Open Set Condition breaking down completely), the attractor can still be a totally self-similar fractal, although this happens only for a very special family of algebraic $\la$&#39;s (so-called &#34;multinacci numbers&#34;). We evaluate $\dim_H(§_\la)$ for these special values by showing that $§_\la$ is essentially the attractor for an infinite IFS which does satisfy the Open Set Condition. We also show that the set of points in the attractor with a unique ``address&#39;&#39; is self-similar, and compute its dimension. For ``non-multinacci&#39;&#39; values of $\la$ we show that if $\la$ is close to 2/3, then $§_\la$ has a nonempty interior and that if $\la<1/\sqrt{3}$ then §_\la$ has zero Lebesgue measure. Finally we discuss higher-dimensional analogues of the model in question.