Self-similar sets in doubling spaces (Q938812)

It is well known that if a self-similar (fractal) set obeys the Open Set Condition (OSC) then the similarity and Hausdorff dimension of the set coincide. Indeed, this result is generally known as the Moran-Hutchinson Theorem. Kigami \& Schief provided alternative analytical and measure theoretic conditions to OSC which again implied that the two common notions of dimension coincide. The main result of this paper is to show that in a doubling metric space \((X,d)\), that is a metric space in which there exists a \(C\in\mathbb{N}\) such that for all \(x\in{}X\) and all \(r>0\) there exists a finite set \(\{x_i\}\) of \(C\) distinct elements of \(X\) for which \[ B(x,r) \subset \bigcup_{i=1}^C B(x_i , r/2), \] all three conditions (the OSC and those due to Kigami \& Schief) are actually equivalent. The work extends the aforementioned authors to include more general non-Euclidean spaces. Indeed after the main result of the paper is proved in \S3 of the paper there follows two examples of the result in practice the first of which regards IFS of Hesinberg similarities on the first Hesinberg group. The authors establish an analogue of the result of Hutchinson. The paper concludes with a more detailed example in which the authors detail how a new induced metric which satisfies the doubling property (under certain conditions) can be constructed.