self-similar fractals
Let be a metric space and let be a finite number of contractions on i.e. each enjoys the property
( is -Lipschitz) for some .
Given a set we can define
Definition 1.
A set such that (invariant set) is called a self-similar fractal with respect to the contractions .
The most famous example of self-similar fractal is the Cantor set.This is constructed in with the usual Euclidean metric
structure
, bychoosing contractions: , .
A more interesting example is the Koch curve in . In this case we choose similitudes with factor .
By choosing other appropriate transformations one can obtain the beautiful example of the Barnsley Fern, which shows how the fractal
geometry can successfully describe nature.
An important result is given by the following Theorem.
Theorem 1.
Let be a complete metric space and let be a given set of contractions.Then there exists one and only one non empty compact set such that.
Notice that the empty set always satisfies the relation
and hence is not an interesting case. On the other hand, if at least one of the is surjective
(as happens in the examples above), then the whole set satisfies .