 Finite similarity iterated function system

For finitely many contracting Euclidean similarities, the map $\mathcal{T}$ on nonempty compact subsets of ${\mathbb{R}}^n$ is a contraction in the Hausdorff metric, with contraction constant ${\max }_i{c}_i<1$. The contraction mapping theorem gives a unique nonempty compact invariant set. If the open set condition holds, its Hausdorff dimension is the unique $s$ satisfying ${\sum }_i{c}_i^s=1$.