Hoci oba pojmy opisujú, ako sú prvky medzi dvoma množinami mapované, zaoberajú sa rôznymi stránkami rovnice. Jednotlivé (injektívne) funkcie sa zameriavajú na jedinečnosť vstupov a zabezpečujú, aby žiadne dve cesty neviedli k rovnakému cieľu, zatiaľ čo surjektívne (onto) funkcie zabezpečujú, že každý možný cieľ je skutočne dosiahnutý.
Zvýraznenia
Jeden k jednému zabezpečuje odlišnosť; na zabezpečuje úplnosť.
Funkcia, ktorá je zároveň jedna k jednej aj na, sa nazýva bijekcia.
Test horizontálnej čiary identifikuje funkcie jedna k jednej na prvý pohľad.
Funkcie Onto vyžadujú, aby rozsah a kodoména boli identické.
Čo je Jeden k jednému (injektívne)?
Mapovanie, kde každý jedinečný vstup vytvára odlišný, jedinečný výstup.
V teórii množín sa formálne nazýva injektívna funkcia.
Pri vykreslení na súradnicovej rovine spĺňa test horizontálnej čiary.
Žiadne dva rôzne prvky v doméne nezdieľajú rovnaký obraz v kodoméne.
Počet prvkov v doméne nemôže presiahnuť počet v kodoméne.
Nevyhnutné na vytváranie inverzných funkcií, pretože mapovanie je možné obrátiť bez nejednoznačnosti.
Čo je Na (surjektív)?
Mapovanie, kde každý prvok v cieľovej množine je pokrytý aspoň jedným vstupom.
Formálne známa ako surjektívna funkcia.
Rozsah definícií funkcie sa presne rovná jej kodoméne.
Viaceré vstupy môžu smerovať na rovnaký výstup, pokiaľ nič nie je vynechané.
Veľkosť domény musí byť väčšia alebo rovnaká ako veľkosť kodomény.
Zaručuje, že každá hodnota vo výstupnej množine má aspoň jeden „predobraz“.
Tabuľka porovnania
Funkcia
Jeden k jednému (injektívne)
Na (surjektív)
Formálny názov
Injektívna
Surjektív
Základná požiadavka
Jedinečné výstupy pre jedinečné vstupy
Celkové pokrytie stanoveného cieľa
Test horizontálnej čiary
Musí prejsť (križuje sa maximálne raz)
Musí sa pretínať aspoň raz
Zameranie na vzťah
Exkluzivita
Inkluzívnosť
Nastaviť obmedzenie veľkosti
Doména ≤ Kodoména
Doména ≥ Kodoména
Zdieľané výstupy?
Prísne zakázané
Povolené a bežné
Podrobné porovnanie
Koncept exkluzivity
Funkcia typu „jeden na jedného“ je ako luxusná reštaurácia, kde je každý stôl rezervovaný presne pre jednu osobu; nikdy neuvidíte dve rôzne skupiny zdieľajúce to isté miesto. Matematicky, ak $f(a) = f(b)$, potom $a$ sa musí rovnať $b$. Táto exkluzivita umožňuje, aby sa tieto funkcie „vrátili späť“ alebo invertovali.
Koncept krytia
Funkcia onto sa viac zameriava na to, aby v cieľovej množine nenechala kameň na kameni. Predstavte si autobus, kde každé jedno sedadlo musí byť obsadené aspoň jednou osobou. Nezáleží na tom, či musia dvaja ľudia sedieť na tej istej lavici (mnohí k jednému), pokiaľ v autobuse nezostane ani jedno voľné miesto.
Vizualizácia pomocou mapovacích diagramov
mapovacom diagrame je vzájomná konvergencia identifikovaná jednotlivými šípkami smerujúcimi k jednotlivým bodkám – žiadne dve šípky sa nikdy nezbiehajú. Pre funkciu na každú bodku v druhom kruhu musí byť aspoň jedna šípka smerujúca na ňu. Funkcia môže byť oboje, čo matematici nazývajú bijekcia.
Grafické znázornenie rozdielov
Na štandardnom grafe testujete stav jedna k jednej posúvaním vodorovnej čiary hore a dole; ak sa dotkne krivky viackrát, funkcia nie je jedna k jednej. Testovanie stavu „na“ vyžaduje pohľad na vertikálne rozpätie grafu, aby sa zabezpečilo, že pokrýva celý zamýšľaný rozsah bez medzier.
Výhody a nevýhody
Individuálna komunikácia
Výhody
+Umožňuje inverzné funkcie
+Žiadne kolízie údajov
+Zachováva odlišnosť
+Ľahšie cúvanie
Cons
−Môže nechať výstupy nevyužité
−Vyžaduje väčšiu kodoménu
−Prísne pravidlá pre vstup
−Ťažšie dosiahnuť
Na
Výhody
+Pokrýva celú cieľovú skupinu
+Žiadny neplytvaný výstupný priestor
+Ľahšie sa prispôsobia malým súpravám
+Využíva všetky zdroje
Cons
−Strata jedinečnosti
−Nedá sa vždy invertovať
−Zrážky sú bežné
−Ťažšie vystopovať
Bežné mylné predstavy
Mýtus
Všetky funkcie sú buď jedna k jednej, alebo na jednu.
Realita
Mnohé funkcie nie sú ani jedno, ani druhé. Napríklad $f(x) = x^2$ (zo všetkých reálnych čísel na všetky reálne čísla) nie je jednoznačná, pretože $2$ aj $-2$ vedú k $4$, a nie je jednoznačná, pretože nikdy neprodukuje záporné čísla.
Mýtus
Jeden k jednému znamená to isté ako funkcia.
Realita
Funkcia vyžaduje iba to, aby každý vstup mal jeden výstup. Jeden k jednému je dodatočná vrstva „prísnosti“, ktorá bráni dvom vstupom zdieľať ten istý výstup.
Mýtus
Záleží len na vzorci.
Realita
Funkcia na závisí veľmi od toho, ako definujete cieľovú množinu. Funkcia $f(x) = x^2$ je na, ak cieľ definujete ako „všetky nezáporné čísla“, ale zlyhá, ak cieľ sú „všetky reálne čísla“.
Mýtus
Ak je funkcia zapnutá, musí byť reverzibilná.
Realita
Reverzibilita vyžaduje stav jeden k jednému. Ak je funkcia typu „on“, ale nie jeden k jednému, možno viete, ktorý výstup máte, ale nebudete vedieť, ktorý z viacerých vstupov ho vytvoril.
Často kladené otázky
Aký je jednoduchý príklad funkcie jeden k jednému?
Klasickým príkladom je lineárna funkcia $f(x) = x + 1$. Každé číslo, ktoré dosadíte, vám dá jedinečný výsledok, ktorý žiadne iné číslo nemôže dať. Ak dostanete výstup 5, viete s istotou, že vstup bol 4.
Aký je jednoduchý príklad funkcie onto?
Predstavte si funkciu, ktorá mapuje každého obyvateľa mesta na budovu, v ktorej býva. Ak sa v každej budove nachádza aspoň jedna osoba, funkcia sa vzťahuje na množinu budov. Nie je však jednoznačná, pretože tú istú budovu zdieľa veľa ľudí.
Ako funguje test horizontálnej čiary?
Predstavte si vodorovnú čiaru pohybujúcu sa hore a dole po grafe. Ak sa táto čiara dotýka funkcie na dvoch alebo viacerých miestach naraz, znamená to, že tieto rôzne hodnoty x zdieľajú hodnotu y, čo dokazuje, že nie je jednoznačná.
Prečo sú tieto koncepty dôležité v informatike?
Sú nevyhnutné pre šifrovanie a hašovanie údajov. Dobrý šifrovací algoritmus musí byť individuálny, aby bolo možné správu dešifrovať späť do jej pôvodnej jedinečnej podoby bez straty údajov alebo zmiešaných výsledkov.
Čo sa stane, keď je funkcia zároveň jedna k jednej aj jedna k jednej?
Toto je „bijekcia“ alebo „jednotlivá korešpondencia“. Vytvára dokonalé párovanie medzi dvoma množinami, kde každý prvok má na druhej strane presne jedného partnera. Toto je zlatý štandard pre porovnávanie veľkostí nekonečných množín.
Môže byť funkcia typu „on“, ale nie typická?
Áno, stáva sa to často. $f(x) = x^3 - x$ sa vzťahuje na všetky reálne čísla, pretože siaha od mínus nekonečna do plus nekonečna, ale nie je jednoznačná, pretože pretína os x v troch rôznych bodoch (-1, 0 a 1).
Aký je rozdiel medzi rozsahom a kodoménou?
Kodoména je „cieľová“ množina, ktorú ohlásite na začiatku (ako „všetky reálne čísla“). Rozsah hodnôt je množina hodnôt, ktoré funkcia skutočne dosiahne. Funkcia je na iba vtedy, keď sú rozsah a kodoména identické.
Je $f(x) = \sin(x)$ jednoznačne?
Nie, funkcia sínus nie je jednoznačná, pretože opakuje svoje hodnoty každých $2\pi$ radiánov. Napríklad $\sin(0)$, $\sin(\pi)$ a $\sin(2\pi)$ sa všetky rovnajú 0.
Rozsudok
Použite mapovanie jeden k jednému, keď potrebujete zabezpečiť, aby každý výsledok bolo možné vysledovať späť ku konkrétnemu, jedinečnému východiskovému bodu. Mapovanie na zvoľte, keď je vaším cieľom zabezpečiť, aby sa využila alebo dosiahla každá možná výstupná hodnota v systéme.