I matematikken er en bijektiv funktion eller bijektion en funktion f : AB, 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: AB er bijektiv præcis når der findes en funktion f-1: BA 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: BA med g(f(a)) = a for alle a, så er f injektiv. Hvis der findes h: BA 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 AB og en injektiv funktion BA, 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 : BA 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.