Kvankam ambaŭ terminoj priskribas kiel elementoj inter du aroj estas mapitaj, ili traktas malsamajn flankojn de la ekvacio. Unu-al-unu (injektivaj) funkcioj fokusiĝas al la unikeco de la enigoj, certigante ke neniuj du vojoj kondukas al la sama celloko, dum surjektivaj (surjektivaj) funkcioj certigas ke ĉiu ebla celloko estas efektive atingita.
Elstaroj
Unu-al-unu certigas klarecon; sur certigas tutecon.
Funkcio kiu estas kaj unu-al-unu kaj sur-unu estas nomata biĵeto.
La Horizontala Linia Testo identigas unu-al-unujn funkciojn per ekrigardo.
Surtaj funkcioj postulas, ke la intervalo kaj kodomajno estu identaj.
Kio estas Unu-al-unu (injektiva)?
Mapado kie ĉiu unika enigo produktas apartan, unikan eligon.
Formale nomata injektiva funkcio en aroteorio.
Ĝi pasas la Horizontalan Linian Teston kiam desegnita sur koordinata ebeno.
Neniuj du malsamaj elementoj en la domajno dividas la saman bildon en la kodomajno.
La nombro de elementoj en la domajno ne povas superi la nombron en la kodomajno.
Esenca por krei inversajn funkciojn ĉar la mapado povas esti inversigita sen ambigueco.
Kio estas Sur (Surĵeto)?
Mapado kie ĉiu elemento en la cela aro estas kovrita de almenaŭ unu enigo.
Formale konata kiel surjektiva funkcio.
La amplekso de la funkcio estas precize egala al ĝia kodomajno.
Pluraj enigoj rajtas montri al la sama eligo kondiĉe ke nenio estas preterlasita.
La grandeco de la domajno devas esti pli granda ol aŭ egala al la grandeco de la kodomajno.
Garantias, ke ĉiu valoro en la elira aro havas almenaŭ unu 'antaŭbildon'.
Kompara Tabelo
Funkcio
Unu-al-unu (injektiva)
Sur (Surĵeto)
Formala Nomo
Injektivo
Surjektiva
Kerna Postulo
Unikaj eligoj por unikaj enigoj
Totala kovro de la celaro
Horizontala Linia Testo
Devas pasi (intersekcas maksimume unufoje)
Devas intersekci almenaŭ unufoje
Rilata Fokuso
Ekskluziveco
Inkluziveco
Agordi Grandecan Limigon
Domajno ≤ Kodomajno
Domajno ≥ Kodomajno
Kunhavataj Eligoj?
Strikte malpermesita
Permesita kaj ofta
Detala Komparo
La Koncepto de Ekskluziveco
Unu-al-unu funkcio estas kiel luksa restoracio, kie ĉiu tablo estas rezervita por ekzakte unu grupo; vi neniam vidos du malsamajn grupojn kunhavigi la saman sidlokon. Matematike, se $f(a) = f(b)$, tiam $a$ devas egali al $b$. Ĉi tiu ekskluziveco permesas al ĉi tiuj funkcioj esti "malfaritaj" aŭ inversigitaj.
La Koncepto de Kovrado
Funkcio *on* pli zorgas pri lasi ĉion neturnitan en la celaro. Imagu buson, kie ĉiu sidloko devas esti okupita de almenaŭ unu persono. Ne gravas, ĉu du homoj devas sidi sur la sama benko (mult-al-unu), kondiĉe ke ne restas eĉ unu malplena sidloko en la buso.
Bildigo per Mapaj Diagramoj
En mapiga diagramo, unu-al-unu estas identigita per unuopaj sagoj montrantaj al unuopaj punktoj — neniuj du sagoj iam ajn konverĝas. Por surfunkcio, ĉiu punkto en la dua cirklo devas havi almenaŭ unu sagon montrantan al ĝi. Funkcio povas esti ambaŭ, kion matematikistoj nomas bijekcio.
Grafecaj Diferencoj
En norma grafeo, oni testas la unu-al-unuan staton per ŝovado de horizontala linio supren kaj malsupren; se ĝi trafas la kurbon pli ol unufoje, la funkcio ne estas unu-al-unu. Testi por 'sur' postulas rigardi la vertikalan amplekson de la grafeo por certigi, ke ĝi kovras la tutan celitan intervalon sen breĉoj.
Avantaĝoj kaj Malavantaĝoj
Unu-al-unu
Avantaĝoj
+Permesas inversajn funkciojn
+Neniuj datenkolizioj
+Konservas distingon
+Pli facile inversigebla
Malavantaĝoj
−Povas lasi elirojn neuzataj
−Postulas pli grandan kodomajnon
−Striktaj enigaj reguloj
−Pli malfacile atingebla
Sur
Avantaĝoj
+Kovras la tutan celaron
+Neniu malŝparita elira spaco
+Pli facile konveneblas malgrandaj aroj
+Uzas ĉiujn rimedojn
Malavantaĝoj
−Perdo de unikeco
−Ne ĉiam povas esti renversita
−Kolizioj estas oftaj
−Pli malfacile spurebla
Oftaj Misrekonoj
Mito
Ĉiuj funkcioj estas aŭ unu-al-unu aŭ sur-unu.
Realo
Multaj funkcioj estas nek unu nek la alia. Ekzemple, $f(x) = x^2$ (de ĉiuj realaj nombroj al ĉiuj realaj nombroj) ne estas unu-al-unu ĉar $2$ kaj $-2$ ambaŭ rezultas en $4$, kaj ĝi ne estas sur unu ĉar ĝi neniam produktas negativajn nombrojn.
Mito
Unu-al-unu signifas la samon kiel funkcio.
Realo
Funkcio nur postulas, ke ĉiu enigo havu unu eligon. Unu-al-unu estas ekstra tavolo de 'strikteco', kiu malhelpas du enigojn kunhavigi tiun eligon.
Mito
Onto dependas nur de la formulo.
Realo
Surto multe dependas de kiel vi difinas la celaron. La funkcio $f(x) = x^2$ estas surto se vi difinas la celon kiel 'ĉiujn nenegativajn nombrojn', sed malsukcesas se la celo estas 'ĉiujn realajn nombrojn'.
Mito
Se funkcio estas sur, ĝi devas esti reigebla.
Realo
Reversibileco postulas unu-al-unu staton. Se funkcio estas sur sed ne unu-al-unu, vi eble scios kiun eliron vi havas, sed vi ne scios kiu el la pluraj enigoj kreis ĝin.
Oftaj Demandoj
Kio estas simpla ekzemplo de unu-al-unu funkcio?
La lineara funkcio $f(x) = x + 1$ estas klasika ekzemplo. Ĉiu nombro, kiun vi enmetas, donos al vi unikan rezulton, kiun neniu alia nombro povas produkti. Se vi ricevas eligon de 5, vi certe scias, ke la enigo estis 4.
Kio estas simpla ekzemplo de onto-funkcio?
Konsideru funkcion, kiu mapas ĉiun loĝanton en urbo al la konstruaĵo, kie ili loĝas. Se ĉiu konstruaĵo havas almenaŭ unu personon interne, la funkcio estas "sur" la aro de konstruaĵoj. Tamen, ĝi ne estas unu-al-unu, ĉar multaj homoj dividas la saman konstruaĵon.
Kiel funkcias la Horizontala Linia Testo?
Imagu horizontalan linion moviĝantan supren kaj malsupren trans vian grafikaĵon. Se tiu linio iam tuŝas la funkcion en du aŭ pli da lokoj samtempe, tio signifas, ke tiuj malsamaj x-valoroj dividas y-valoron, pruvante, ke ĝi ne estas unu-al-unu.
Kial ĉi tiuj konceptoj gravas en komputiko?
Ili estas esencaj por ĉifrado kaj haŝado de datumoj. Bona ĉifrada algoritmo devas esti unu-al-unu, por ke vi povu malĉifri la mesaĝon reen al ĝia originala unika formo sen perdi datumojn aŭ ricevi miksitajn rezultojn.
Kio okazas kiam funkcio estas kaj unu-al-unu kaj sur-unu?
Ĉi tio estas "biĵeto" aŭ "unu-al-unu korespondado". Ĝi kreas perfektan pariĝon inter du aroj, kie ĉiu elemento havas ekzakte unu partneron sur la alia flanko. Ĉi tio estas la ora normo por kompari la grandecojn de senfinaj aroj.
Ĉu funkcio povas esti sur sed ne unu-al-unu?
Jes, ĝi okazas ofte. $f(x) = x^3 - x$ estas sur ĉiuj realaj nombroj ĉar ĝi etendiĝas de negativa infinito ĝis pozitiva infinito, sed ĝi ne estas unu-al-unu ĉar ĝi transiras la x-akson je tri malsamaj punktoj (-1, 0, kaj 1).
Kio estas la diferenco inter intervalo kaj kodomajno?
La kodomajno estas la "cela" aro, kiun vi anoncas komence (kiel "ĉiuj realaj nombroj"). La intervalo estas la aro de valoroj, kiujn la funkcio efektive atingas. Funkcio estas sur kiu ĝi atingas nur kiam la intervalo kaj kodomajno estas identaj.
Ĉu $f(x) = \sin(x)$ estas unu-al-unu?
Ne, la sinusa funkcio tute ne estas unu-al-unu ĉar ĝi ripetas siajn valorojn ĉiujn $2\pi$ radianojn. Ekzemple, $\sin(0)$, $\sin(\pi)$, kaj $\sin(2\pi)$ ĉiuj egalas al 0.
Juĝo
Uzu unu-al-unu mapadon kiam vi bezonas certigi, ke ĉiu rezulto povas esti spurita reen al specifa, unika deirpunkto. Elektu sur-al-unu mapadon kiam via celo estas certigi, ke ĉiu ebla elira valoro en sistemo estas uzata aŭ atingebla.