On natural invariant measures on generalised iterated function systems.
e prove that the hyperbolic Hausdorff dimension of Fr Ω, the boundary of the simply connected immediate basin of attraction Ω to an attracting periodic point of a rational mapping of the Riemann sphere, which is not a finite Blaschke product in some holomorphic coordinates, or a 2:1 factor of a Blaschke product, is larger than 1. We prove a "local version" of this theorem, for a boundary repelling to the side of the domain. The results extend an analogous fact for polynomials...