Funkcja wzajemnie jednoznaczna: Różnice pomiędzy wersjami
| [wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
link |
język – najpierw krótkie, międzynarodowe nazwy |
||
Linia 2:
[[Plik:Bijection.svg|thumb|Bijekcja umożliwia jednoczesne sparowanie wszystkich elementów odwzorowywanych zbiorów]]
'''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 iniekcją i suriekcją ([[
* 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ą;
* przy bijekcji [[Obraz i przeciwobraz|przeciwobraz]] każdego [[Zbiór jednoelementowy|singletonu]] również jest singletonem{{fakt|data=2022-12}}.
| |||