Inom matematiken är en bijektiv funktion eller bijektion en funktion f : AB som är både en injektion och en surjektion. Detta innebär att det för varje element b i kodomänen B finns exakt ett element a i domänen A som gör att f(a) = b. Ett annat namn för bijektion är 1-1 korrespondens.

Termen bijektion och de relaterade termerna surjektion och injektion introducerades av Nicholas Bourbaki. På 1930-talet publicerade han och en grupp andra matematiker en serie böcker om modern avancerad matematik.

Formell karaktärisering

En funktion f: AB är bijektiv precis när följande villkor uppfylls:

  • Injektiv: Om f(a1) = f(a2) så gäller a1 = a2 för alla a1, a2 ∈ A.
  • Surjektiv: För varje bB finns minst ett aA så att f(a) = b.

En ekvivalent och ofta använd beskrivning är att f är bijektiv om och endast om det finns en funktion g: BA sådan att gf = idA och fg = idB. Funktionen g kallas då invers till f och betecknas ofta f−1.

Egenskaper

  • Invertibilitet: En funktion är bijektiv precis när den har en invers som också är en funktion.
  • Komposition: Sammankompositionen av två bijektioner är en bijektion. Om f och g är bijektiva så är gf bijektiv och (g∘f)−1 = f−1∘g−1.
  • Antalet element: För ändliga mängder A och B visar en bijektion att |A| = |B| (samma kardinalitet). För ändliga mängder räcker det att visa injektivitet eller surjektivitet för att få den andra egenskapen automatiskt.
  • Delbarhet i båda riktningar: Om det finns en vänster-invers (g∘f = idA) så är f injektiv. Om det finns en höger-invers (f∘h = idB) så är f surjektiv. För bijektioner sammanfaller dessa och ger en fullständig invers.
  • Kardinalitet för oändliga mängder: Bijektioner används för att jämföra storleken på oändliga mängder; t.ex. är mängderna ℕ och ℤ lika "stora" eftersom det finns en bijektion mellan dem.

Typiska exempel

  • Linjära translationer på ℝ: f(x) = x + 1 definierad på ℝ är bijektiv. Inversen är f−1(x) = x − 1.
  • Potens och rot: f(x) = x3 från ℝ till ℝ är bijektiv (inversen är kubikroten). Däremot är f(x) = x2 från ℝ till ℝ inte injektiv (exempel: ±a ger samma värde). Men om man begränsar domänen till [0,∞) och kodomänen till [0,∞) blir x↦x2 bijektiv.
  • Permutationer: En permutation av en ändlig mängd är en bijektion från mängden till sig själv. Alla permutationer är alltså bijektiva.
  • Diskreta exempel: Funktionen f: {1,2,3} → {a,b,c} definierad med f(1)=b, f(2)=a, f(3)=c är bijektiv eftersom varje element i kodomänen har exakt en stam i domänen.

Exempel på icke-bijektioner

  • Inte injektiv: f(x) = x2 som funktion från ℝ till ℝ är inte injektiv då f(2)=f(−2).
  • Inte surjektiv: exp: ℝ → ℝ är inte surjektiv eftersom inga reella x ger ett negativt värde; men exp: ℝ → (0,∞) är surjektiv (och injektiv), så den senare är bijektiv med logaritmen som invers.

Hur man bevisar att en funktion är bijektiv

  • Metod 1 — Dela upp i två delar: Bevisa först injektivitet (visa att olika element i domänen ger olika bildvärden) och sedan surjektivitet (visa att varje element i kodomänen har en stam).
  • Metod 2 — Konstruktiv invers: Konstruera en funktion g: BA och visa att gf = idA och fg = idB. Detta visar både injektion och surjektion i ett steg.
  • Metod 3 — Räkneargument (ändliga mängder): För ändliga mängder räcker det att visa att funktionen är injektiv (eller surjektiv) för att dra slutsatsen att den är bijektiv eftersom mängderna då måste ha samma antal element.

Tillämpningar

  • Kardinalitet och jämförelse av mängder: Bijektioner är centrala för att definiera när två mängder har samma storlek, även för oändliga mängder.
  • Algebra: Isomorfier i algebraiska strukturer är ofta bijektioner som bevarar struktur (t.ex. gruppisomorfier).
  • Datavetenskap och kryptografi: Reversibla (bijektiva) funktioner är viktiga i algoritmer, komprimering och vissa kryptografiska konstruktioner där man behöver kunna invertera operationer.
  • Kombinatorik: Att räkna sätt ofta förenklas genom att hitta en bijektion mellan en komplicerad mängd och en enklare mängd.

Sammanfattningsvis är en bijektion en funktion som skapar en exakt ett-till-ett-korrespondens mellan elementen i domänen och elementen i kodomänen. Att känna igen och konstruera bijektioner är ett grundläggande verktyg i många delar av matematiken.