Inom matematiken är en bijektiv funktion eller bijektion en funktion f : A → B 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: A → B ä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 b ∈ B finns minst ett a ∈ A 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: B → A sådan att g∘f = idA och f∘g = 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 g∘f 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: B → A och visa att g∘f = idA och f∘g = 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.





