Injectie (wiskunde)

In de wiskunde is een injectie of injectieve afbeelding, ook eeneenduidige afbeelding of een-op-eenafbeelding genoemd, een afbeelding, waarbij geen twee verschillende elementen hetzelfde beeld hebben, dus anders gezegd ieder beeld een uniek origineel heeft. De definitie is voor functies hetzelfde. Een injectie is dus een soort relatie tussen twee verzamelingen. Twee verwante soorten relatie, die aan overeenkomstige eigenschappen voldoen, zijn de surjectie en de bijectie.

Injectieve, niet surjectieve functie

De aanduiding 'injectieve afbeelding' werd geïntroduceerd door Bourbaki.

Definitie

De afbeelding $f\colon A\to B$ heet een injectie of injectieve afbeelding als voor alle $a,b\in \mathrm {dom} (f)$ geldt:

$f(a)=f(b)\Rightarrow a=b$

Voorbeeld en tegenvoorbeeld

• Beschouw de afbeelding $f\colon \mathbb {R} \to \mathbb {R}$, gedefinieerd door $f(x)=2x+1$. Deze afbeelding is injectief, aangezien uit de gelijkheid van de beelden van $a$ en $b$: $2a+1=2b+1$, volgt dat de originelen $a$ en $b$ gelijk zijn.
• Beschouw daarentegen de afbeelding $g\colon \mathbb {R} \rightarrow \mathbb {R}$ , gedefinieerd door $g(x)=x^{2}$. Deze is niet injectief, omdat bijvoorbeeld $g(1)=g(-1)=1$, dus er verschillende originelen zijn met hetzelfde beeld.

Eigenschappen

• Zijn twee functies $f\colon A\to B$ en $g\colon B\to C$ injectief, dan geldt dit ook voor de samengestelde functie $g\circ f\colon A\to C$.

• Gegeven dat $g\circ f$ injectief is, dan is ook $f$ injectief.

• Een functie $f\colon A\to B$ is injectief dan en slechts dan als voor iedere verzameling $C$ en ieder tweetal functies $h_{1},h_{2}\colon C\to A$ de logische implicatie $f\circ h_{1}=f\circ h_{2}\Rightarrow h_{1}=h_{2}$ geldt. Dit betekent dat, in de categorie van verzamelingen en functies, de monomorfismen precies de injectieve functies zijn.

• Een functie $f\colon A\to B$ is injectief dan en slechts dan als zij een inverse heeft, dat wil zeggen een functie $g\colon B\to A$ met de eigenschap dat $f\circ g=g\circ f=id_{A}$. Hier wordt met $id_{A}$ de identieke afbeelding bedoeld. De definitie kan eventueel ook tot de linksinverse worden beperkt.

• Als $f\colon A\to B$ injectief is, dan is $f\colon A\to f(A)$, dat wil zeggen dezelfde functie, waarin alleen het codomein $B$ is vervangen door het beeld $f(A)$, bijectief. Hier is dus in ieder geval $f(A)\subset B$.

• Voor twee verzamelingen $A$ en $B$ wordt de notatie $|A|\leq |B|$ wel gebruikt om aan te geven dat er een injectie $f\colon A\to B$ bestaat. In dit geval heeft $B$ minstens evenveel elementen als $A$. Om hierover voor oneindige verzamelingen iets te kunnen zeggen wordt de kardinaliteit ingevoerd. Als er een injectie $A\to B$ en een injectie $B\to A$ bestaan, is er volgens de stelling van Cantor-Bernstein-Schröder ook een bijectie tussen $A$ en $B$.