Surjektio

Surjektio

Surjektio on funktio, jonka arvojen joukko "täyttää" maalijoukon. Jokaiseen maalijoukon alkioon voidaan liittää jokin lähtöjoukon alkio.

Muodollisesti kuvaus $f:\,X\to Y$ on surjektio, jos kaikilla $y\in Y$ on olemassa $x\in X$, jolle $f(x)\ =y$.

Jokainen kuvaus saadaan surjektioksi, kun heitetään maalijoukosta B pois kaikki alkiot (merkitään siten saatua joukkoa B₁), joille ei kuvaudu mitään. Täten f:A -> B₁ on surjektio.

Esimerkkejä

Funktio f: R → R, f(x) = x², ei ole surjektio, koska esimerkiksi ei ole olemassa reaalilukua x, jolle x² = −1.

Jos kuitenkin annetaan funktiolle f maalijoukoksi epänegatiivisten reaalilukujen joukko, saadaan kuvaus g: R → [0, ∞), g(x) = x², joka on surjektio. Tämä johtuu siitä, että mille tahansa epänegatiiviselle reaaliluvulle y, voidaan ratkaista yhtälö y = x², josta saadaan x = √y tai x = −√y.

Katso myös

• injektio
• bijektio