Bijeksjon
Fra Wikipedia, den frie encyklopedi
I matematikk er en bijeksjon en funksjon f: A → B som er en en-til-en-korrespondanse mellom elementene i A og elementene i B. Det vil si at den må tilfredsstille de to følgende betingelsene:
- Hvis x og y er elementer i A og x ≠ y, så er f(x) ≠ f(y). (f er injektiv.)
- For ethvert element y ∈ B, finnes x ∈ A slik at f(x) = y. (f er surjektiv.)
En funksjon er bijektiv hvis og bare hvis den er injektiv og surjektiv. Hvis det finnes en bijeksjon mellom de to mengdene A og B, sier man at A og B har samme kardinalitet.