Zobrazení na

Surjektivní funkce.

Zobrazení na, nebo také surjektivní zobrazení, surjekce, je druh zobrazení mezi množinami, které zobrazuje na celou cílovou množinu. Každý prvek cílové množiny má tedy alespoň jeden vzor.

Obsah

1 Definice
2 Vzorec
3 Příklady
4 Související články

[editovat] Definice

Zobrazení $f: A \rightarrow B$ je zobrazením množiny $A$ na množinu $B$ , jestliže se na každý prvek $B$ zobrazí alespoň jeden prvek množiny $A$ , tedy

$\forall b \in B \quad \exists a \in A \qquad f(a) = b$ .

Můžeme také psát, že $B = f (A)$ .

[editovat] 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ž musí samozřejmě stále platit, že $p \geq q$ .

Dále vždy platí, že Sur[p,1] = 1

Tabulka pro počet surjekcí:

Y\X	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

[editovat] Příklady

Reálná funkce $f (x) = 2 x + 1$ je na, protože pro každé $y \in \mathbb{R}$ existuje $x = (y - 1) / 2$ , pro které $y = f (x)$ .
Reálná funkce $g (x) = x 2$ není na, neboť pro $y < 0$ neexistuje $x \in \mathbb{R}$ , 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 již na, pro každé $y \in \mathbb{C}$ existuje $x = \sqrt{y}$ .

[editovat] Související články

Kategorie: Teorie množin

Zobrazení na v jiných jazycích: Български, Català, Dansk, Deutsch, English, Esperanto, Español, Suomi, Français, Hrvatski, Ido, Italiano, 日本語, 한국어, Lietuvių, Nederlands, Occitan, Polski, Português, Русский, Slovenčina, Slovenščina, Српски / Srpski, Svenska, Українська, 中文

Tento článek je převzat z české wikipedie - otevřené encyklopedie, originální článek naleznete na adrese: „http://cs.wikipedia.org/wiki/Zobrazen%C3%AD_na“
Stránka byla naposledy upravena v Stránka byla naposledy editována 6. 5. 2008 v 21:31.
Veškerý text je dostupný za podmínek GNU Free Documentation License (Autorské právo pro podrobnosti).