Zobrazení na

Z Wikipedie, otevřené encyklopedie
Skočit na: Navigace, Hledání
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.

Definice[editovat | editovat zdroj]

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

\forall y \in Y \quad \exists x \in X \qquad f(x) = y.

Můžeme také psát, že Y = f(X). Laicky řečeno: v množině Y nezůstalo žádné "volné písmenko".

Vzorec[editovat | editovat zdroj]

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í:

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[editovat | editovat zdroj]

  • 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}.

Související články[editovat | editovat zdroj]