Moodsama funktsiooni mõiste jaoks "mäletab" see oma kooddomeeni ja me nõuame, et selle pöörddomeen oleks kogu kooddomeen, nii et injektiivne funktsioon on inverteeritav ainult siis, kui see on ka bijektiivne.
Kas injektiivne tähendab pöördväärtust?
Kui teie funktsioon f:X→Y on injektiivne, kuid mitte tingimata sürjektiivne, võite öelda, et sellel on pöördfunktsioon, mis on määratletud pildil f(X), kuid mitte kõik Y. Määrates Y∖f(X) suvalised väärtused, saate oma funktsiooni vasakpoolse pöördväärtuse.
Kuidas sa tead, kas maatriks on süstiv?
Olgu A maatriks ja Ared A rea taandatud vorm. Kui Aredil on igas veerus esinumber 1, siis A on injektiivne. Kui Aredil on veerg, kus pole alguspunkti 1, siis A ei ole süstiv.
Kas ruutmaatriks saab olla süstiv?
Pange tähele, et ruutmaatriks A on injektiivne (või sürjektiivne), kui see on nii injektiivne kui ka sürjektiivne, st kui see on bijektiivne. Bijektiivseid maatrikseid nimetatakse ka inverteeritavateks maatriksiteks, kuna neid iseloomustab unikaalse ruutmaatriksi B olemasolu (A pöördmaatriks, tähistatud A−1), nii et AB=BA=I.
Kas on süstiv siis ja ainult siis, kui sellel on vasakpoolne pöördväärtus?
Väide: f on injektiivne siis ja ainult siis, kui sellel on vasakpoolne pöördväärtus. Tõestus: Peame (⇒) tõestama, et kui f on injektiivne, siis on sellel vasakpoolne pöördväärtus ja ka (⇐), et kui f-il on vasak pöördväärtus, siis on seesüstiv. (⇒) Oletame, et f on injektiivne. Soovime konstrueerida funktsiooni g: B→A nii, et g ∘ f=idA.