Teorema del Punto Fijo de Banach

En un espacio métrico completo, toda aplicación que sea una contracción (reduce las distancias por un factor uniforme estrictamente menor que uno) tiene un punto fijo único, y la iteración de la aplicación desde cualquier punto inicial converge geométricamente a ese punto fijo.