Développement : Théorème d'Hadamard Levy

Détails/Enoncé :

Soit $f : \mathbb{R}^n \to \mathbb{R}^n$ de classe $C^2$. La fonction $f$ est un $C^1$ difféomorphisme de $\mathbb{R}^n \to \mathbb{R}^n$ si et seulement si $f$ est propre et pour tout $x \in \mathbb{R}^n$, $Df_x$ est inversible.

Recasages pour l'année 2023 :

Autres années :

Versions :

  • Auteur :
  • Remarque :
    La preuve faite dans le livre de Queffelec n'est pas optimale, mais c'est à peu près la seule référence. L'adaptation au cas où $f$ est seulement $\mathcal{C}^{1}$ vient d'une idée de D. Monclair.






  • Fichier :
  • Auteur :
  • Remarque :
    Version un poil différente des autres.
  • Auteur :
  • Remarque :
    Soient $n\in\mathbb{N}^*$ et $f : \mathbb{R}^n\rightarrow\mathbb{R}^n\in\mathcal{C}^2(\mathbb{R}^n,\mathbb{R}^n)$.
    Les deux propositions suivantes sont équivalentes :
    -- L'application $f$ est un $\mathcal{C}^1$-difféomorphisme de $\mathbb{R}^n$ sur $\mathbb{R}^n$.
    -- Pour tout $x\in \mathbb{R}^n$, $\mathrm{D}_x f$ est inversible, et $\lim\limits_{\|x\|\to +\infty}{\|f(x)\|}=+\infty$.

    Référence : Analyse pour l'agrégation de mathématiques, 40 développements, J. et L. Bernis, Ellipses
  • Référence :
  • Auteur : Anonyme
  • Remarque :
    J'ai modifié la démonstration de l'ouverture de s(R^n).
    Ne pas se fier au livre de Cartan pour l'énoncé de Cauchy-Lipschitz à paramètre.
  • Fichier :