Théorème du point fixe de Banach-Picard : Soit $(E,d)$ un espace métrique complet, et $f : E\to E$ une application contractante, c'est-à-dire qu'il existe $k\in [0,1[$ tel que, pour tout $(x,y)\in E^2$, $$d(f(x),f(y))\leq kd(x,y).$$ Alors $f$ possède un unique point fixe $\ell.$ De plus, toute suite $(u_n)$ définie par $u_0\in E$ et $u_{n+1}=f(u_n),$ $n\geq 0,$ converge vers $\ell$ et on a les estimations suivantes :

$\forall n\in\mathbb N,\ d(u_n,\ell)\leq k^n d(u_0,\ell).$
$\forall n\in\mathbb N,\ d(u_n,\ell)\leq \frac k{1-k} d(u_n,u_{n-1}).$

Le théorème du point fixe est un outil fondamental pour démontrer d'autres résultats importants en analyse : théorème d'inversion locale, théorème de Cauchy-Lipschitz...

C'est à Émile Picard qu'on doit une première forme assez générale du théorème du point fixe, et surtout l'idée de l'utiliser pour démontrer des résultats difficiles d'analyse.