I matematikken er en bijektiv funktion eller bijektion en funktion f : A → B, der både er en injektion og en surjektion. Det betyder, at for hvert element b i kodomænet B findes der præcis ét element a i domænet A, således at f(a)=b. En anden betegnelse for bijektion er 1-1 korrespondance.
Udtrykket bijektion og de beslægtede udtryk surjektion og injektion blev introduceret af Nicholas Bourbaki. I 1930'erne udgav han og en gruppe af andre matematikere en række bøger om moderne avanceret matematik.
Egenskaber og karakteriseringer
- Injektiv + Surjektiv = Bijektiv: En funktion er bijektiv netop når den er både injektiv (to forskellige elementer i A sendes aldrig til samme element i B) og surjektiv (hver værdi i B er et billede af mindst ét element i A).
- Eksistens af invers funktion: En funktion f: A → B er bijektiv præcis når der findes en funktion f-1: B → A sådan at f-1(f(a)) = a for alle a i A og f(f-1(b)) = b for alle b i B. At vise eksistens af en invers er derfor en almindelig måde at vise bijektivitet på.
- Venstre- og højreinvers: Hvis der findes en funktion g: B → A med g(f(a)) = a for alle a, så er f injektiv. Hvis der findes h: B → A med f(h(b)) = b for alle b, så er f surjektiv. Hvis en venstre- og en højreinvers begge findes, er f bijektiv og inversen er unik.
- Sammensætning: Sammensætningen af to bijektioner er igen en bijektion. Dermed danner bijektioner fra en mængde til sig selv (permutationer) en gruppe, det såkaldte symmetriske gruppe.
- Mængdestørrelse (kardinalitet): For endelige mængder A og B eksisterer en bijektion mellem dem præcis når de har samme antal elementer. For uendelige mængder bruges bijektioner til at sammenligne kardinaliteter (f.eks. tælleligt uendelige mængder).
- Cantor‑Bernstein‑Schröder: Hvis der findes en injektiv funktion A → B og en injektiv funktion B → A, så findes der en bijektion mellem A og B. Dette er nyttigt til at vise, at to mængder har samme kardinalitet uden at konstruere en eksplicit bijektion.
Hvornår og hvordan beviser man bijektivitet?
- Vis begge dele: Bevis først injektivitet (antag f(a) = f(a') og vis a = a') og dernæst surjektivitet (tag et vilkårligt b i B og vis at der findes a med f(a) = b).
- Konstruktiv metode: Konstruér direkte en funktion g : B → A og vis at den er invers til f.
- Brug kendte kriterier: For funktioner på talmængder kan monotonicitet nogle gange bruges: en strengt monotont voksende funktion på et interval er injektiv; hvis dens værdi dækker hele målmængden, er den også surjektiv.
Eksempler
- Enkle bijektioner: f(x) = x + 1 som funktion f: ℝ → ℝ er bijektiv (invers f-1(y) = y − 1).
- Potensfunktioner: f(x) = x3 på ℝ er bijektiv (omvendt f-1(y) = ∛y). Til gengæld er f(x) = x2 på ℝ ikke injektiv, da f(2) = f(−2) = 4. Men hvis man begrænser domænet til [0, ∞), så er x2 bijektiv på [0, ∞) → [0, ∞).
- Endelige mængder: En funktion mellem to mængder med tre elementer er bijektiv præcis når hvert element i målmængden rammes af nøjagtigt ét element i domænet. For eksempel er f: {1,2,3} → {a,b,c} defineret ved f(1)=b, f(2)=a, f(3)=c en bijektion.
- Permutationer: En bijektion fra en mængde til sig selv kaldes en permutation. Permutationer på n elementer danner en gruppe under sammensætning (den symmetriske gruppe Sn).
Typiske fejlsituationer og ikke-eksempler
- Hvis to forskellige elementer i domænet har samme billede, er funktionen ikke injektiv og dermed ikke bijektiv.
- Hvis der findes en værdi i kodomænet, som ingen i domænet afbilder på, er funktionen ikke surjektiv og dermed ikke bijektiv.
- En funktion kan være injektiv men ikke surjektiv (fx inklusionskort fra ℕ til ℤ), eller surjektiv men ikke injektiv (fx f(x) = sin(x) som funktion ℝ → [−1,1] er surjektiv, men ikke injektiv på ℝ).
Anvendelser
- Bijektioner bruges til at definere, hvornår to mængder har samme størrelse (kardinalitet), også for uendelige mængder.
- I kombinatorik og algebra er bijektioner grundlaget for begreber som permutationer og isomorfier mellem strukturer.
- I analyse og topologi studeres bijektive kontinuerte funktioner (homeomorfier) fordi de bevarer de topologiske egenskaber mellem rum.
Kort sagt er en bijektiv funktion en afbildning, hvor hvert element i målmængden har præcis én stamfælle i domænet. Dette gør bijektioner særligt nyttige til at sammenligne mængder og til at konstruere entydige omvendte funktioner.





