Surjekce

Zobrazení na množinu (surjektivní zobrazení)

Zobrazení na (surjektivní zobrazení, surjekce), 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í $f\colon X\rightarrow Y$ nazýváme surjektivní, jestliže se na každý prvek množiny $Y$ zobrazí alespoň jeden prvek množiny $X$:

$\forall y\in Y:\exists x\in X:f(x)=y$

nebo ekvivalentně:

$Y=\{f(x)|x\in X\}$.

Vzorec

Počet možných surjekcí pro $p=|X|$, $q=|Y|$ se vypočte jako:

$q^{p}-{\begin{pmatrix}q\\q-1\end{pmatrix}}(q-1)^{p} {\begin{pmatrix}q\\q-2\end{pmatrix}}(q-2)^{p}-... (-1)^{q-1}{\begin{pmatrix}q\\1\end{pmatrix}}1^{p}=\sum _{i=0}^{q-1}(-1)^{i}{\begin{pmatrix}q\\q-i\end{pmatrix}}(q-i)^{p}$,

přičemž $p\geq q$.

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

Značení

Pro odlišení od obecného zobrazení se někdy zobrazení „na“ značí $f:X\twoheadrightarrow Y$.

Příklady

• Reálná funkce $f(x)=2x 1$ je surjekce, protože pro každé $y$ existuje $x=(y-1)/2$, pro které $y=f(x)$.
• Reálná funkce $g(x)=x^{2}$ není surjekce, neboť pro $y<0$ neexistuje $x$, pro které by $y=g(x)=x^{2}$. Pokud však budeme uvažovat funkci $g$ jako funkci komplexní $g:\mathbb {C} \rightarrow \mathbb {C}$, je tato funkce surjektivní, neboť pro každé $y\in \mathbb {C}$ existuje $x={\sqrt {y}}$.

Odkazy

Literatura

• BARTSCH, Hans-Jochen. Matematické vzorce. 4. vyd. Praha: Academia, 1994. 832 s. ISBN 80-200-1448-9. 
• MATOUŠEK, Jiří; NEŠETŘIL, Jaroslav. Kapitoly z diskrétní matematiky. [s.l.]: Karolinum, 2007. ISBN 978-80-246-1411-3. 

Související články

• Prosté zobrazení
• Vzájemně jednoznačné zobrazení

Externí odkazy

• Obrázky, zvuky či videa k tématu zobrazení na na Wikimedia Commons

Portály: Matematika