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.[1]
Definitsioon
muudaSelleks, 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).[2]
Viited
muuda- ↑ Hall 1959, lk. 3
- ↑ "Bijection, Injection, And Surjection | Brilliant Math & Science Wiki". brilliant.org (Ameerika inglise). Vaadatud 7. detsembril 2019.
Allikad
muuda- Hall, Marshall Jr. (1959). The Theory of Groups. MacMillan.