En mathématiques, une bijection ou application bijective (parfois appelée correspondance biunivoque[1]) est une application qui est à la fois injective et surjective, autrement dit pour laquelle tout élément de son ensemble d'arrivée possède un et un seul antécédent[Note 1].
Une propriété des bijections est que s'il existe une bijection f d'un ensemble E dans un ensemble F alors il existe une bijection réciproque de F dans E qui à chaque élément de F associe son antécédent par f. Les deux ensembles sont dits en bijection, ou équipotents.
Cantor a le premier démontré que s'il existe une injection de E vers F et une injection de F vers E (non nécessairement surjectives), alors E et F sont équipotents (c'est le théorème de Cantor-Bernstein).
Si deux ensembles finis sont équipotents alors ils ont le même nombre d'éléments. L'extension de cette équivalence aux ensembles infinis a mené à la notion de cardinal d'un ensemble, et à distinguer différentes tailles d'ensembles infinis, qui sont des classes d'équipotence. Ainsi, on peut par exemple montrer que l'ensemble des entiers naturels est de même taille que l'ensemble des rationnels, mais de taille strictement inférieure à l'ensemble des réels. En effet, de dans , il existe des injections mais pas de surjection.
Erreur de référence : Des balises <ref>
existent pour un groupe nommé « Note », mais aucune balise <references group="Note"/>
correspondante n’a été trouvée