hulgateooriafunktsioonidalgebradiskreetne matemaatika
Üks-ühele vs. peale-funktsioonid
Kuigi mõlemad terminid kirjeldavad, kuidas kahe hulga elemente kaardistatakse, käsitlevad nad võrrandi erinevaid külgi. Üks-ühele (injektiivsed) funktsioonid keskenduvad sisendite unikaalsusele, tagades, et kaks teed ei vii samasse sihtkohta, samas kui peale (sürjektiivsed) funktsioonid tagavad, et kõik võimalikud sihtkohad on tegelikult saavutatud.
Esiletused
Üks-ühele tagab eristatavuse; peale-ühele tagab terviklikkuse.
Funktsiooni, mis on nii üks-ühele kui ka peale, nimetatakse bijektsiooniks.
Horisontaaljoone test tuvastab üks-ühele funktsioonid lühidalt.
Onto-funktsioonid nõuavad, et vahemik ja sihtdomeen oleksid identsed.
Mis on Üks-ühele (süstiline)?
Kaardistus, kus iga unikaalne sisend annab erineva ja unikaalse väljundi.
Hulgateoorias nimetatakse seda ametlikult injektiivseks funktsiooniks.
Koordinaattasandile joonistamisel läbib see horisontaaljoone testi.
Domeeni kahel erineval elemendil ei ole kodomeenis sama kujutist.
Domeenis olevate elementide arv ei tohi ületada kodomeeni elementide arvu.
Oluline pöördfunktsioonide loomiseks, kuna kaardistust saab mitmetähenduslikkuseta ümber pöörata.
Mis on Peale (sürjektiivne)?
Kaardistus, kus iga sihtmärgi komplekti element on kaetud vähemalt ühe sisendiga.
Ametlikult tuntud kui sürjektiivne funktsioon.
Funktsiooni ulatus on täpselt võrdne tema sihtdomeeniga.
Mitmel sisendil on lubatud osutada samale väljundile, kui midagi välja ei jäeta.
Domeeni suurus peab olema suurem või võrdne kodomeeni suurusega.
Garanteerib, et igal väljundkomplekti väärtusel on vähemalt üks 'eelkujutis'.
Võrdlustabel
Funktsioon
Üks-ühele (süstiline)
Peale (sürjektiivne)
Ametlik nimi
Injektiivne
Surjektiivne
Põhinõue
Unikaalsed väljundid unikaalsete sisendite jaoks
seatud eesmärgi täielik katvus
Horisontaaljoone test
Peab läbima (lõikub maksimaalselt üks kord)
Peab vähemalt korra ristuma
Suhtekesksus
Eksklusiivsus
Kaasatus
Määra suuruse piirang
Domeen ≤ Kodoen
Domeen ≥ Kodoen
Jagatud väljundid?
Rangelt keelatud
Lubatud ja levinud
Üksikasjalik võrdlus
Eksklusiivsuse kontseptsioon
Üks-ühele funktsioon on nagu tipptasemel restoran, kus iga laud on reserveeritud täpselt ühele seltskonnale; te ei näe kunagi kahte erinevat gruppi sama istet jagamas. Matemaatiliselt, kui $f(a) = f(b)$, siis $a$ peab olema võrdne $b$-ga. See eksklusiivsus võimaldab neid funktsioone "tühistada" või inverteerida.
Katvuse kontseptsioon
Funktsioon „onto“ keskendub pigem sellele, et eesmärgi saavutamiseks ei jäetaks ühtegi kivi pööramata. Kujutage ette bussi, kus iga istekoht peab olema hõivatud vähemalt ühe inimese poolt. Pole oluline, kas kaks inimest peavad istuma samal pingil (mitu ühele), kui bussis pole ühtegi tühja kohta.
Kaardistamisdiagrammide abil visualiseerimine
Kuvamisdiagrammil tähistavad üks-ühele vastavust üksikud nooled, mis osutavad üksikutele punktidele – kaks noolt ei koondu kunagi. Onto-funktsiooni korral peab igal teise ringi punktil olema vähemalt üks sellele osutav nool. Funktsioon võib olla mõlemat tüüpi, mida matemaatikud nimetavad bijektsiooniks.
Erinevuste graafiline kujutamine
Standardgraafikul kontrollitakse üks-ühele olekut horisontaaljoont üles ja alla libistades; kui see tabab kõverat mitu korda, ei ole funktsioon üks-ühele vastavuses. „Peale” kontrollimiseks tuleb vaadata graafiku vertikaalset ulatust, et veenduda, et see katab kogu kavandatud vahemiku ilma tühikuteta.
Plussid ja miinused
Üks-ühele
Eelised
+Võimaldab pöördfunktsioone
+Andmete kokkupõrkeid ei esine
+Säilitab eripära
+Lihtsam tagurdada
Kinnitatud
−Võib jätta väljundid kasutamata
−Nõuab suuremat kodomeeni
−Ranged sisestamisreeglid
−Raskem saavutada
Peale
Eelised
+Hõlmab kogu seatud eesmärki
+Ei mingit raisatud väljundruumi
+Lihtsam paigaldada väiksemaid komplekte
+Kasutab kõiki ressursse
Kinnitatud
−Unikaalsuse kadumine
−Ei saa alati ümber pöörata
−Kokkupõrked on tavalised
−Raskem tagasi jälgida
Tavalised eksiarvamused
Müüt
Kõik funktsioonid on kas üks-ühele või peale-ühele.
Tõelisus
Paljud funktsioonid pole kumbki neist. Näiteks $f(x) = x^2$ (kõigist reaalarvudest kõigi reaalarvudeni) ei ole üks-ühele vastus, sest nii $2$ kui ka $-2$ annavad tulemuseks $4$, ja see ei ole täpne vastus, kuna see ei anna kunagi negatiivseid arve.
Müüt
Üks-ühele tähendab sama asja mis funktsioon.
Tõelisus
Funktsioon nõuab ainult seda, et igal sisendil oleks üks väljund. Üks-ühele-printsiip on täiendav ranguse kiht, mis takistab kahel sisendil sama väljundit jagada.
Müüt
See sõltub ainult valemist.
Tõelisus
„Sisse” sõltub suuresti sellest, kuidas sihtmärk on defineeritud. Funktsioon $f(x) = x^2$ on „sihtmärk”, kui sihtmärk on „kõik mittenegatiivsed arvud”, kuid ebaõnnestub, kui sihtmärk on „kõik reaalarvud”.
Müüt
Kui funktsioon on sisse lülitatud, peab see olema pööratav.
Tõelisus
Pöörduvus nõuab üks-ühele olekut. Kui funktsioon on sisse lülitatud, aga mitte üks-ühele, siis võite küll teada, milline väljund teil on, aga te ei tea, milline mitmest sisendist selle lõi.
Sageli küsitud küsimused
Mis on lihtne näide üks-ühele funktsioonist?
Lineaarfunktsioon $f(x) = x + 1$ on klassikaline näide. Iga sisestatud arv annab unikaalse tulemuse, mida ükski teine arv ei suuda anda. Kui väljundiks on 5, siis teate kindlalt, et sisend oli 4.
Mis on lihtne näide onto-funktsioonist?
Vaatleme funktsiooni, mis seob iga linna elaniku hoonega, kus ta elab. Kui igas hoones elab vähemalt üks inimene, siis funktsioon on suunatud hoonete hulgale. See pole aga üks-ühele, sest sama hoonet jagavad paljud inimesed.
Kuidas horisontaaljoone test töötab?
Kujuta ette horisontaalset joont, mis liigub üle graafiku üles ja alla. Kui see joon puudutab funktsiooni korraga kahes või enamas kohas, tähendab see, et need erinevad x-väärtused jagavad sama y-väärtust, mis tõestab, et see ei ole üks-ühele.
Miks on need mõisted arvutiteaduses olulised?
Need on andmete krüpteerimise ja räsimise jaoks üliolulised. Hea krüpteerimisalgoritm peab olema üks-ühele, et saaksite sõnumi algsele unikaalsele kujule tagasi dekrüpteerida ilma andmeid kaotamata või segaseid tulemusi saamata.
Mis juhtub, kui funktsioon on nii üks-ühele kui ka peale?
See on bijektsioon ehk üks-ühele vastavus. See loob kahe hulga vahel täiusliku paari, kus igal elemendil on teisel pool täpselt üks partner. See on lõpmatute hulkade suuruste võrdlemise kuldstandard.
Kas funktsioon saab olla peal, aga mitte üks-ühele?
Jah, seda juhtub tihti. $f(x) = x^3 - x$ kehtib kõigi reaalarvude kohta, kuna see ulatub negatiivsest lõpmatusest positiivse lõpmatuseni, kuid see pole üks-ühele, kuna see lõikab x-telge kolmes erinevas punktis (-1, 0 ja 1).
Mis vahe on levila ja kodomeeni vahel?
Kodhulk on sihthulk, mille te alguses teatavaks teete (nagu "kõik reaalarvud"). Vahemik on väärtuste hulk, mida funktsioon tegelikult tabab. Funktsioon on tabatud ainult siis, kui vahemik ja kodhulk on identsed.
Kas $f(x) = \sin(x)$ on üks-ühele?
Ei, siinusfunktsioon ei ole sugugi üks-ühele õige, sest see kordab oma väärtusi iga $2\pi$ radiaani järel. Näiteks $\sin(0)$, $\sin(\pi)$ ja $\sin(2\pi)$ on kõik võrdsed 0-ga.
Otsus
Kasutage üks-ühele vastavust, kui peate tagama, et iga tulemust saab jälgida kindla ja unikaalse alguspunktini. Valige peale-vastendus, kui teie eesmärk on tagada, et süsteemis oleks kasutatud või saavutatav iga võimalik väljundväärtus.