Définition

Une application de E dans F est dite 'bijective' (ou une 'bijection' ) si elle est à la fois injective et surjective.
Dans ce cas:
Si f est une bijection la relation réciproque de F vers E est également une application notée f-1.
Si f est bijective, donc, et dans ce cas seulement, pour tout y de F, f-1(y) a un sens, c'est l'unique antécédent de y par f, et c'est l'image de y par f-1.

Voici maintenant quelques exemples de bijections:

Cliquez pour voir des exemples d'applications bijectives !

Café Python

Exemple de programme de test pour la bijectivité: