Ačkoli oba termíny popisují, jak jsou prvky mezi dvěma množinami mapovány, zabývají se různými stránkami rovnice. Jednotlivé (injektivní) funkce se zaměřují na jedinečnost vstupů a zajišťují, aby žádné dvě cesty nevedly do stejného cíle, zatímco surjektivní funkce (funkce typu onto) zajišťují, že je skutečně dosaženo každého možného cíle.
Zvýraznění
Jeden k jednomu zajišťuje odlišnost; na zajišťuje úplnost.
Funkce, která je zároveň jedna k jedné i na, se nazývá bijekce.
Test horizontální čáry identifikuje funkce jedna k jedné na první pohled.
Funkce Onto vyžadují, aby rozsah a kodoména byly shodné.
Co je Jeden k jednomu (injekční)?
Mapování, kde každý jedinečný vstup produkuje odlišný, jedinečný výstup.
Formálně nazývaná injektivní funkce v teorii množin.
Při vykreslení v souřadnicové rovině splňuje test vodorovné čáry.
Žádné dva různé prvky v doméně nesdílejí stejný obraz v kodoméně.
Počet prvků v doméně nesmí překročit počet v kodoméně.
Nezbytné pro vytváření inverzních funkcí, protože mapování lze obrátit bez nejednoznačnosti.
Co je Na (surjektivum)?
Mapování, kde každý prvek v cílové množině je pokryt alespoň jedním vstupem.
Formálně známá jako surjektivní funkce.
Rozsah definic funkce je přesně roven její kodeminální doméně.
Více vstupů může ukazovat na stejný výstup, pokud nic nezůstane vynecháno.
Velikost domény musí být větší nebo rovna velikosti kodomény.
Zaručuje, že každá hodnota ve výstupní sadě má alespoň jeden „předobraz“.
Srovnávací tabulka
Funkce
Jeden k jednomu (injekční)
Na (surjektivum)
Formální název
Injektivní
Surjektiv
Základní požadavek
Unikátní výstupy pro jedinečné vstupy
Celkové pokrytí stanoveného cíle
Test vodorovné čáry
Musí projet (protíná maximálně jednou)
Musí se protínat alespoň jednou
Zaměření na vztah
Exkluzivita
Inkluzivita
Nastavit omezení velikosti
Doména ≤ Kodoména
Doména ≥ Kodoména
Sdílené výstupy?
Přísně zakázáno
Povolené a běžné
Podrobné srovnání
Koncept exkluzivity
Funkce jeden na jednoho je jako luxusní restaurace, kde je každý stůl rezervován přesně pro jednu osobu; nikdy neuvidíte dvě různé skupiny sdílející stejné místo. Matematicky, pokud $f(a) = f(b)$, pak $a$ musí být rovno $b$. Tato exkluzivita umožňuje, aby tyto funkce byly „vráceny zpět“ nebo invertovány.
Koncept krytí
Funkce onto se více zabývá tím, aby v cílové množině nenechala kámen na kameni. Představte si autobus, kde každé jednotlivé sedadlo musí být obsazeno alespoň jednou osobou. Nezáleží na tom, jestli dva lidé musí sedět na stejné lavici (mnoho ku jednomu), pokud v autobuse nezůstane jediné volné sedadlo.
Vizualizace pomocí mapovacích diagramů
mapovacím diagramu je vzájemná propojenost identifikována jednotlivými šipkami směřujícími k jednotlivým tečkám – žádné dvě šipky se nikdy nesbíhají. U funkce typu „on“ musí na každou tečku v druhé kružnici směřovat alespoň jedna šipka. Funkce může být obojí, což matematici nazývají bijekce.
Grafické znázornění rozdílů
Na standardním grafu se testuje jednoznačný stav posouváním vodorovné čáry nahoru a dolů; pokud se křivky dotkne vícekrát, funkce není jednoznačná. Testování „na“ vyžaduje pohled na vertikální rozpětí grafu, aby se zajistilo, že pokrývá celý zamýšlený rozsah bez mezer.
Výhody a nevýhody
Jeden na jednoho
Výhody
+Umožňuje inverzní funkce
+Žádné kolize dat
+Zachovává odlišnost
+Snadnější couvání
Souhlasím
−Může nechat výstupy nevyužité
−Vyžaduje větší kodoménu
−Přísná pravidla pro zadávání
−Těžší dosáhnout
Na
Výhody
+Pokrývá celou cílovou sadu
+Žádný zbytečný výstupní prostor
+Snadnější montáž malých sad
+Využívá všechny zdroje
Souhlasím
−Ztráta jedinečnosti
−Nelze vždy invertovat
−Srážky jsou běžné
−Těžší dohledat
Běžné mýty
Mýtus
Všechny funkce jsou buď jedna k jedné, nebo na jednu.
Realita
Mnoho funkcí není ani jedno, ani druhé. Například $f(x) = x^2$ (od všech reálných čísel ke všem reálným číslům) není jednoznačná, protože $2$ a $-2$ obě dávají $4$, a není jednoznačná, protože nikdy neprodukuje záporná čísla.
Mýtus
Jeden k jednomu znamená totéž co funkce.
Realita
Funkce vyžaduje pouze to, aby každý vstup měl jeden výstup. Jeden k jednomu je další vrstva „přísnosti“, která brání dvěma vstupům ve sdílení daného výstupu.
Mýtus
Záleží pouze na vzorci.
Realita
Funkce na (on) silně závisí na tom, jak definujete cílovou množinu. Funkce $f(x) = x^2$ je na (on), pokud definujete cíl jako „všechna nezáporná čísla“, ale selže, pokud cíl jsou „všechna reálná čísla“.
Mýtus
Pokud je funkce typu „on“, musí být reverzibilní.
Realita
Reverzibilita vyžaduje stav jedna k jedné. Pokud je funkce typu „na“, ale není jedna k jedné, možná víte, který výstup máte, ale nebudete vědět, který z více vstupů jej vytvořil.
Často kladené otázky
Jaký je jednoduchý příklad funkce jedna k jedné?
Klasickým příkladem je lineární funkce $f(x) = x + 1$. Každé číslo, které dosadíte, vám dá jedinečný výsledek, který žádné jiné číslo nemůže dát. Pokud dostanete výstup 5, víte s jistotou, že vstup byl 4.
Jaký je jednoduchý příklad funkce onto?
Uvažujme funkci, která mapuje každého obyvatele města na budovu, ve které žijí. Pokud je uvnitř každé budovy alespoň jedna osoba, pak se funkce vztahuje „na“ množinu budov. Není však jednoznačná, protože stejnou budovu sdílí mnoho lidí.
Jak funguje test horizontální čáry?
Představte si vodorovnou čáru pohybující se nahoru a dolů po grafu. Pokud se tato čára dotýká funkce na dvou nebo více místech najednou, znamená to, že tyto různé hodnoty x sdílejí hodnotu y, což dokazuje, že není jednoznačná.
Proč jsou tyto koncepty důležité v informatice?
Jsou nezbytné pro šifrování a hašování dat. Dobrý šifrovací algoritmus musí být individuální, aby bylo možné zprávu dešifrovat zpět do její původní jedinečné podoby bez ztráty dat nebo smíšených výsledků.
Co se stane, když je funkce zároveň jedna k jedné i jedna k jedné?
Toto je „bijekce“ nebo „jednoznačná korespondence“. Vytváří dokonalé párování mezi dvěma množinami, kde každý prvek má na druhé straně právě jednoho partnera. Toto je zlatý standard pro porovnávání velikostí nekonečných množin.
Může být funkce typu on, ale ne jedna k jedné?
Ano, stává se to často. Funkce $f(x) = x^3 - x$ se vztahuje na všechna reálná čísla, protože se pohybuje od mínus nekonečna do plus nekonečna, ale není jednoznačná, protože protíná osu x ve třech různých bodech (-1, 0 a 1).
Jaký je rozdíl mezi rozsahem a kodoménou?
Kodoména je „cílová“ množina, kterou oznamujete na začátku (jako „všechna reálná čísla“). Rozsah definic je množina hodnot, kterých funkce skutečně dosahuje. Funkce je definována jako „na“ pouze tehdy, když jsou rozsah definic a kodoména shodné.
Je $f(x) = \sin(x)$ jednoznačně vyvážené?
Ne, funkce sinus není v podstatě individuální, protože opakuje své hodnoty každých $2\pi$ radiánů. Například $\sin(0)$, $\sin(\pi)$ a $\sin(2\pi)$ se všechny rovnají 0.
Rozhodnutí
Jednotlivé mapování použijte, pokud potřebujete zajistit, aby každý výsledek mohl být vysledován zpět ke konkrétnímu, jedinečnému výchozímu bodu. Mapování na jednotlivé hodnoty zvolte, pokud je vaším cílem zajistit, aby každá možná výstupní hodnota v systému byla využita nebo dosažitelná.