No label defined (Q4944462)

The author adapts the theory of self-similar sets in Euclidean spaces developed by \textit{J. E. Hutchinson} [Indiana Univ. Math. J. 30, 713-747 (1981; Zbl 0598.28011)] for contractive mappings and sets in a quasi-metric space of homogeneous type. Note that a quasi-metric satisfies the usual properties of a distance, but the triangle inequality has a factor \(c_T\geq 1\) attached to the sum. The space \(X\) is of homogeneous type if there exist positive constants \(c_H\) and \(\nu\) such that for every \(x\in X\), \(r>0\) and \(0<\varepsilon< 1\) there are at most \(c_H\varepsilon^{-\nu}\) points \(x_i\) from the ball centred at \(x\) of radius \(r\) such that \(\rho(x_i, x_j)\geq r\varepsilon\). The author shows that, for a finite system of contractive similarities on a quasi-metric space \(X\), there exists a unique nonempty invariant set \(K\). If the similarities satisfy the so-called open set condition and \(X\) is of homogeneous type, then the Hausdorff dimension of \(K\) and its similarity dimension coincide. The author provides several examples motivating this general metric setting.