Injektio

Injektio

Matematiikassa injektio on kuvaus, jossa mitkään kaksi lähtöjoukon alkiota eivät kuvaudu samalle maalijoukon alkiolle.

Määritelmä

Kuvaus $f:\,X\to Y$ on injektio, jos kaikilla $a,b\in X$, $a\neq b$ on voimassa $f(a)\neq f(b)$.

Symbolisesti, ehto voidaan lausua:

$\forall a,b\in X,\;\;a\neq b\Rightarrow f(a)\neq f(b)$

Loogisesti, kontraposition kautta sama voidaan lausua:

$\forall a,b\in X,\;\;f(a)=f(b)\Rightarrow a=b$

Esimerkkejä

Funktio f: R → R, f(x) = 2x + 1, on injektio.

Kun taas funktio g: R → R, g(x) = x², ei ole injektio, koska g(1) = 1 = g(−1).

Jos x rajoitetaan positiivisiin reaalilukuihin, myös g on injektio.

Jos joukko A on joukon B osajoukko, on olemassa kuvaus f: A → B, jossa f(x) = x kaikilla $x\in A$. Tätä sanotaan kanoniseksi injektioksi.

Katso myös

• Bijektio
• Surjektio

Kirjallisuutta

• Häsä, Jokke & Rämö, Johanna: Johdatus abstraktiin algebraan. Helsinki: Gaudeamus, 2015. ISBN 978-952-495-361-0.
• Merikoski, Jorma; Virtanen, Ari; Koivisto, Pertti: Diskreetti matematiikka I. Tampere: Tampereen yliopisto, 2001 (1993). ISBN 951-44-3604-0.