Salut tout le monde
Dans ce PDF : http://www.logique.jussieu.fr/~alp/caldif.pdf à la page 40, l'exo 10.
Pourriez-vous m'expliquer pourquoi on a le droit de faire intervenir une matrice Jacobienne ?
Le théorème du point fixe nous dit que si on est dans un espace métrique complet et qu'on a une contraction de f : X -> X alors f admet un unique point fixe.
Mais à aucun moment dans mon cours on parle de matrice Jacobienne dans ce cadre. 
Merci à vous