Surjekce (surjektivní zobrazení, zobrazení na), je typ zobrazení mezi množinami, které zobrazuje výchozí množinu na celou cílovou množinu. Každý prvek cílové množiny má tedy alespoň jeden vzor. Tudíž obor hodnot je celá cílová množina.
Definice
Zobrazení nazýváme surjektivní, jestliže se na každý prvek množiny zobrazí alespoň jeden prvek množiny :
nebo ekvivalentně:
.
Vzorec
Počet možných surjekcí pro , se vypočte jako:
,
přičemž .
Tabulka pro počet surjekcí:
p\q
1
2
3
4
5
1
1
0
0
0
0
2
1
2
0
0
0
3
1
6
6
0
0
4
1
14
36
24
0
5
1
30
150
240
120
Příklady
Reálná funkce je surjekce, protože pro každé existuje , pro které .
Reálná funkce není surjekce, neboť pro neexistuje , pro které by . Pokud však budeme uvažovat funkci jako funkci komplexní, je tato funkce surjektivní, neboť pro každé existuje .
Tento článek byl automaticky přejat z Wikipedie. Na obrázcích nebyly provedeny žádné změny. Obrázky se zobrazují ve zmenšené velikosti (jako miniatury). Kliknutím na obrázek získáte další informace o autorovi a licenci. Byly změněny prvky designu, odstraněny některé odkazy specifické pro Wikipedii (např. odkazy na Editaci a nebo na neexistující hesla) a provedena optimalizace pro rychlé načítání.