Distance de Hausdorff, Théorème de Hutchinson

Soit $(X,d)$ un espace métrique complet, $\mathcal{K}(X)$ l'ensemble des compacts de $X$. Soit $A$ un compact, on note $d_A(x)=\underset{a\in A}{\inf}d(a,x)$ la distance à $A$.\rSoient $A,B$ deux compacts de $X$, on défini leur distance de Hausdorff par:\r\[\delta(A,B)=\max(\underset{a\in A}{\sup}\ d_{B}(a),\underset{b\in B}{\sup}\ d_{A}(b))\]\rAlors:\r\[(\mathcal{K}(X),\delta)\text{ est un espace métrique complet.}\]\r\r\rThéorème de Hutchinson: Soit $c\in ]0,1[$, on considère $w_1,..w_N$ des applications $c$-Lipschitziennes de $X$ dans $X$. On pose\r\[W:\begin{cases}\mathcal{K}(X)\rightarrow\mathcal{K}(X)\\ A\mapsto \cup_{i=1}^{N}w_i(A)\end{cases}\]\rAlors $W$ admet un unique point fixe.