Separation properties for iterated function systems of bounded distortion

Abstract

In this paper we study a general separation property for subsystems G, whose attractor KG is a sub-self-similar set. This is a generalization of the Lau-Ngai weak separation property for the bounded distortion case. For subsystems with positive Hausdorff measure in its similarity dimension, we characterize the subsets of KG with positive measure where the separation property may fail. We exhibit two examples of fractal sets, one not satisfying the weak separation property and whose existence was questioned by Zerner, the other having positive Hausdorff measure in its dimension and with the separation property failing on a subset of positive measure.