Diagram przemienny ilustrujący suriekcję jako funkcję odwracalną prawostronnie
Surjekcja[1], suriekcja[2][3], funkcja „na” – funkcja przyjmująca jako swoje wartości wszystkie elementy przeciwdziedziny, tj. której obraz jest równy przeciwdziedzinie. Innymi słowy[potrzebny przypis]:
- przeciwobraz zbioru niepustego jest niepusty;
- istnieje prawostronna funkcja odwrotna: jeśli
to ![{\displaystyle \exists g\colon f\circ g=\operatorname {id_{Y}} .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/482d702d09b7c15a9a5b69f2979adaddfd2c887a)
Termin suriekcja powstał najpóźniej w 1954 roku, kiedy pojawił się w pracy zespołu Nicolas Bourbaki[4].
- ↑ surjekcja, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2017-11-23] .
- ↑ surjekcja czy suriekcja? [online], Poradnia językowa PWN .
- ↑ Logika i teoria mnogości/Wykład 6: Funkcje, tw. o faktoryzacji, produkt uogólniony, obrazy i przeciwobrazy, tw. Knastera-Tarskiego i lemat Banacha.
- ↑
Jeff Miller, Injection, surjection and bijection, [w:] Earliest Known Uses of Some of the Words of Mathematics (I) (ang.), MacTutor History of Mathematics archive, University of St Andrews, mathshistory.st-andrews.ac.uk [dostęp 2022-12-16].