Théorème de la bijection de classe \(\mathcal{C}^{n}\)

[ Théorème ]
Soit \(f\in \mathcal{C}^{n}\left(I\right)\) telle que
  1. \(f'\) ne s’annule pas sur \(I\).

alors \(f\) est une bijection sur son image \(J=f(I)\) et \(f^{-1}\) est de classe \(\mathcal{C}^{n}\) sur \(J\).
En savoir plus