Théorème de la bijection

Extrait.

En analyse réelle, le théorème de la bijection énonce que, si une fonction f {\displaystyle f} est continue et strictement monotone sur un intervalle réel I {\displaystyle I} , toute valeur comprise au sens large (ou strict) entre les valeurs (ou les limites) de f {\displaystyle f} aux bornes de l’intervalle I {\displaystyle I} possède un unique antécédent par f {\displaystyle f} . En assurant ainsi l’existence d’une bijection, ce théorème améliore l’énoncé du théorème des valeurs intermédiaires qui assure seulement l’existence d’antécédents, c’est-à-dire seulement une propriété de surjectivité.