Développement #1116

Titre : Théorème d'Hadamard Lévy par le flot

Contenu : Soit $f\in\mathcal{C}^2(\mathbf{R}^n;\mathbf{R}^n)$.\rAlors: $f$ est un $\mathcal{C}^1$-difféomorphisme global de $\mathbf{R}^n$ si et seulement si $f$ est propre (i.e. pour tout compact $K$ dans $\mathbf{R}^n$, $f^{-1}(K)$ est compact) et $\forall x\in\mathbf{R}^n, d_xf\in GL(\mathbf{R}^n)$.

Créé le : 23/07/2026 12:42

Mis à jour : 23/07/2026 12:42