Bijektiivne funktsioon

Bijektiivne funktsioon ehk bijektiivne kujutus ehk bijektsioon ehk üksühene vastavus on funktsioon , mille korral iga element sihthulgast  on vastavuses täpselt ühe elemendiga lähtehulgast  ja vastupidi. Vastavalt sellele on bijektsioon binaarne seos kahe hulga vahel, kus igal elemendil kummastki hulgast on täpselt üks paariline teises hulgas.

Funktsioon on bijektiivne parajasti siis, kui see on pöördfunktsioon. See tähendab, et funktsioon  on bijektiivne parajasti siis, kui eksisteerib funktsioon  mis on omakorda funktsiooni  pöördfunktsioon, nii et kahe funktsiooni liitfunktsioon on samasusfunktsioon:  iga  puhul hulgas  ja  iga  puhul hulgas .

Näiteks kahega korrutamine on bijektsioon täisarvude ja paarisarvude vahel, mille pöördfunktsioon on kahega jagamine.

Funktsioon on bijektiivne parajasti siis, kui ta on nii injektiivne (igale elemendile sihthulgast vastab kuni üks element lähtehulgast) ja sürjektiivne (igale elemendile sihthulgast vastab vähemalt üks element lähtehulgast).

Bijektiivset funktsiooni hulgast iseendasse kutsutakse ka permutatsiooniks ning ühe hulga kõik permutatsioonid moodustavad selle hulga sümmeetrilise rühma.

 Definitsioon 
Selleks, et binaarne seos hulkade X ja Y elementide vahel oleks bijektsioon, peavad neli omadust olema tõesed:

 iga element hulgas X peab olema paaris vähemalt ühe elemendiga hulgast Y,
 mitte ükski element hulgas X ei tohi olla paaris rohkem kui ühe elemendiga hulgast Y,
 iga element hulgas Y peab olema paaris vähemalt ühe elemendiga hulgast X ning
 mitte ükski element hulgas Y ei tohi olla paaris rohkem kui ühe elemendiga hulgast X.
Kui omadused (1) ja (2) on tõesed, on tegu funktsiooniga sihthulgast X. Omadused (1) ja (2) on sageli kirjutatud ka nii: iga element hulgast X on paaris täpselt ühe elemendiga hulgast Y. Funktsioonid, millel on omadus (3) on surjektiivsed (ehk surjektsioonid) ning funktsioonid, millel on omadus (4) on injektiivsed (ehk injektsioonid).

 Viited 

 Allikad 


Kategooria:Matemaatika
Kategooria:Hulgateooria