
Bijectie
Uit Wikipedia, de vrije encyclopedie
In de wiskunde is een bijectie, bijectieve afbeelding of een-op-een-correspondentie een afbeelding of functie, die zowel injectief als surjectief is, dus alle elementen van twee verzamelingen een-op-een aan elkaar koppelt. Bijectief wil dus zeggen dat ieder element uit het domein gekoppeld is aan precies één element uit het codomein
en dat omgekeerd ook ieder element van
gekoppeld is aan precies één element uit
. Een correspondentie is een tweeplaatsige relatie, die zowel links- als rechtsvolledig is.

Voor elke bijectie van een verzameling op een verzameling
bestaat er een inverse functie van
naar
, die zelf ook een bijectie is.
Een bijectie van een verzameling op zichzelf wordt wel een permutatie genoemd. Bijecties zijn essentieel voor veel deelgebieden binnen de wiskunde, voor onder meer de definities van permutatiegroep, isomorfisme, homeomorfisme en diffeomorfisme. De aanduiding 'bijectieve afbeelding' werd geïntroduceerd door Bourbaki.
Oops something went wrong: