Bijection

En mathématiques, une bijection est une application bijective. Une application est bijective si et seulement si tout élément de son ensemble d'arrivée a un et un seul antécédent, c'est-à-dire est image d'exactement un élément (de son domaine de définition), ou encore si elle est injective et surjective. Les bijections sont aussi parfois appelées correspondances biunivoques[1].

On peut remarquer que dans cette définition, on n'impose pas de condition aux éléments de l'ensemble de départ, autre que celle qui définit une application : tout élément a une image et une seule.

S'il existe une bijection f d'un ensemble E dans un ensemble F alors il en existe une de F dans E : la bijection réciproque de f, qui à chaque élément de F associe son antécédent par f. On peut alors dire que ces ensembles sont 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é au concept 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.

Dans d'autres langues
العربية: دالة تقابلية
български: Биекция
bosanski: Bijekcija
corsu: Biiezzioni
čeština: Bijekce
dansk: Bijektiv
English: Bijection
Esperanto: Dissurĵeto
euskara: Bijekzio
suomi: Bijektio
hrvatski: Bijekcija
magyar: Bijekció
íslenska: Gagntæk vörpun
日本語: 全単射
한국어: 전단사 함수
lumbaart: Bigezziú
lietuvių: Bijekcija
македонски: Бијекција
Nederlands: Bijectie
norsk nynorsk: Bijeksjon
norsk: Bijeksjon
occitan: Bijeccion
português: Função bijectiva
русский: Биекция
Scots: Bijection
Simple English: Bijective function
slovenščina: Bijektivna preslikava
српски / srpski: Бијекција
українська: Бієкція
Tiếng Việt: Song ánh
中文: 双射
粵語: 對射函數