Funkcja wzajemnie jednoznaczna: Różnice pomiędzy wersjami

[wersja przejrzana][wersja przejrzana]
Usunięta treść Dodana treść
usunięcie za szerokiej definicji – ona pasuje do dowolnej iniekcji
usunięcie równoważnej definicji iniekcji, scalenie sekcji
Linia 4:
'''Funkcja wzajemnie jednoznaczna''', '''bijekcja''' – [[relacja dwuargumentowa#Własności|wzajemnie jednoznaczna odpowiedniość]] między elementami dwóch [[zbiór|zbiorów]], czyli [[funkcja]] będąca jednocześnie [[funkcja różnowartościowa|funkcją różnowartościową]] (iniekcją) i [[funkcja „na”|funkcją „na”]] (surjekcją).
 
*Równoważnie: Funkcjafunkcja jest bijekcją wtedy i tylko wtedy, gdy istnieje funkcja do niej [[funkcja odwrotna|odwrotna]]<ref name="epwn">{{Encyklopedia PWN | id = 3877615 | tytuł = bijekcja | data dostępu = 2022-12-16 }}</ref> – również i ona jest bijekcją.
Termin ''bijekcja'' powstał najpóźniej w 1954 roku, kiedy pojawił się w pracy zespołu [[Nicolas Bourbaki]]<ref>{{otwarty dostęp}} Jeff Miller, ''Injection, surjection and bijection'' [w:] ''[https://mathshistory.st-andrews.ac.uk/Miller/mathword/i/ Earliest Known Uses of Some of the Words of Mathematics (I)]'' {{lang|en}}, [[MacTutor History of Mathematics archive]], [[University of St Andrews]], mathshistory.st-andrews.ac.uk [dostęp 2022-12-16].</ref>.
 
Termin ''bijekcja'' powstał najpóźniej w 1954 roku, kiedy pojawił się w pracy zespołu [[Nicolas Bourbaki]]<ref>{{otwarty dostęp}} Jeff Miller, ''Injection, surjection and bijection'' [w:] ''[https://mathshistory.st-andrews.ac.uk/Miller/mathword/i/ Earliest Known Uses of Some of the Words of Mathematics (I)]'' {{lang|en}}, [[MacTutor History of Mathematics archive]], [[University of St Andrews]], mathshistory.st-andrews.ac.uk [dostęp 2022-12-16].</ref>.
== Własności ==
* [[Dziedzina (matematyka)|Przeciwdziedzina]] jest równa [[Obraz i przeciwobraz|obrazowi]] bijekcji.
* Funkcja jest bijekcją wtedy i tylko wtedy, gdy istnieje funkcja do niej [[funkcja odwrotna|odwrotna]]<ref name="epwn">{{Encyklopedia PWN | id = 3877615 | tytuł = bijekcja | data dostępu = 2022-12-16 }}</ref> – również i ona jest bijekcją.
 
<gallery>