Matematiikassa injektiivinen funktio on funktio f : A → B, jolla on seuraava ominaisuus: jokaiselle elementille b koodialueella B on enintään yksi elementti a alueessa A, joka on sellainen, että f(a) = b. Toisin sanoen eri lähtöjoukon alkioilla on eri kuva: jos f(a1) = f(a2), niin a1 = a2.
Määritelmä ja ominaisuudet
Voidaan antaa myös muodollinen määritelmä hyödyntäen predikaatteja:
f on injektiivinen, jos ja vain jos ∀a1, a2 ∈ A, f(a1) = f(a2) ⇒ a1 = a2.
- Vasen inversio: f on injektiivinen täsmälleen, kun sillä on vasen käänteisfunktio g (eli funktio g: B→A siten, että g∘f = id_A).
- Kompositiot: Jos f: A→B ja g: B→C ovat injektiivisia, niin myös g∘f on injektiivinen.
- Kuvaelementtien lukumäärä: Jokaista b ∈ B kohden esikuvia on korkeintaan yksi. Tästä seuraa, että jos A ja B ovat äärelliset, niin injektiivinen funktio A→B tarkoittaa |A| ≤ |B|.
- Ei aina käännettävissä: Injektiivinen funktio ei välttämättä ole kääntyvä ellei se ole myös surjektio (ts. bijektio).
- Graafinen testi (reaalifunktiot): funktio R→R on injektiivinen, jos ja vain jos mikä tahansa vaakasuora suora leikkaa sen kuvaajan korkeintaan kerran (ns. horizontal line test).
Esimerkkejä
- Lineaarinen funktio: f(x) = 2x määriteltynä R→R on injektiivinen, koska 2x1 = 2x2 ⇒ x1 = x2.
- Toisen asteen funktio: f(x) = x² ei ole injektiivinen R→R (esim. f(1) = f(−1)), mutta se on injektiivinen rajoitettuna esimerkiksi [0, ∞)→[0, ∞).
- Injektiivinen mutta ei surjektio: f: Z→Z, f(n) = 2n on injektiivinen mutta ei surjektio, koska esimerkiksi pariton luku ei ole kuvan arvo.
- Ei-injektiivinen kartoitus: projektiot kuten π1: A×B → A, π1(a,b)=a eivät ole injektiivisiä, koska eri pareilla voi olla sama ensimmäinen komponentti.
- Esimerkkikuvaus äärellisillä joukoilla: f: {1,2,3} → {a,b,c,d} määritelty f(1)=a, f(2)=b, f(3)=c on injektiivinen (|A|≤|B|).
Tarkistusmenetelmät
- Tarkista, että f(a1)=f(a2) johtaa aina a1=a2.
- Etsi kaksi eri lähtöalkiota, jotka antavat saman kuvan; jos löydät, funktio ei ole injektiivinen.
- Katso, onko olemassa vasen inversio g siten, että g(f(a))=a kaikille a∈A; jos on, f on injektiivinen.
Suhde surjektioon ja bijektioon
Nicholas Bourbaki otti käyttöön termin injektio ja siihen liittyvät termit surjektio ja bijektio. Hän ja joukko muita matemaatikkoja julkaisivat 1930-luvulla sarjan kirjoja modernista kehittyneestä matematiikasta.
Injektiivistä funktiota kutsutaan usein 1–1-funktioksi. On kuitenkin tärkeää huomata ero termien välillä: ilmaus "yksi-yhteenvastaavuus" (engl. "one-to-one correspondence" tai "1–1 correspondence") tarkoittaa yleensä bijektiota — funktiota, joka on sekä injektiivinen että surjektivinen. Tästä seuraa, että jotkut lähteet lyhentävät "one-to-one" tarkoittamaan injektiivisyyttä, kun taas "one-to-one correspondence" tarkoittaa bijektiota. Ole siis varovainen terminologian kanssa ja tarkista konteksti.
Lisähuomautuksia
- Joukon A ja B välillä oleva injektio merkitsee, että A voidaan "upottaa" B:hen ilman päällekkäisyyttä kuvien tasolla.
- Injektiivisuus on keskeinen käsite eri matematiikan aloilla, kuten algebra, topologia ja kombinatoriikka; esimerkiksi injektiiviset lineaarikuvaukset säilyttävät lineaarisen riippumattomuuden.
- Kun työskennellään abstraktien joukkojen kanssa, usein tarkastellaan olemassaolon ja ominaisuuksien kannalta vasemmista inversioista ja laajennuksista, jotka liittyvät injektiivisuuteen.





