Funtzio supraiektibo
Matematikan, funtzio supraiektibo bat funtzio bat da, zeinak multzoko (koeremuko) elementu guztiei gutxienez multzoko (eremuko) elementu bat esleitzen zaien. Beste era batean esanda, koeremuko elementu bakoitza, funtzio beraren eremuko elementuren baten irudia da; edo -ko elementu guztiek aurreirudia dute multzoan, eta ez da zertan bakarra izan.
Supraiektibo terminoa Nicolas Bourbakik, XX. mendeko matematikari nagusiki frantsesen talde batek, erabili zuen lehenengoz, baita injektibo eta bijektibo hitzak ere. Sur hitz frantsesak gainean esan nahi du; izan ere, funtzio supraiektibo baten irudiak koeremua guztiz estaltzen du.
Edozein funtzio bihur daiteke supraiektibo, koeremua murrizten bada eremuaren irudira. Funtzio supraiektibo guztiek alderantzizkoa dute eskumatik, eta eskumatik alderanzgarria diren funtzio guztiak derrigorrez supraiektiboak dira. Gainera, bi funtzio supraiektiboen konposaketa supraiektiboa da beti, eta edozein funtzio deskonposa daiteke supraiekzio eta injekzio batean.
Definizioa
aldatuFuntzio bat supraiektiboa da, baldin eta eremuaren irudiak koeremu osoa hartzen badu. Hau da, funtzioan baldin bada, edo, matematikoki adierazita,
-
X-tik Y-ra doan aplikazio supraiektiboa (baina injektiboa ez dena).
-
X-tik Y-ra doan aplikazio supraiektiboa (eta baita injektiboa ere).
Kardinalitatea eta supraiektibitatea
aldatuIzan bitez A eta B bi multzo. A-tik B-rako funtzio supraiektibo bat existitzen bada , 2 multzo horien kardinalek erlazio hau betetzen dute:
Gainera, B-tik A-rako funtzio supraiektibo bat existitzen bada , orduan froga daiteke (Cantor-Bernstein-Schröder-en teoremaren bidez) existitzen dela A-tik B-rako bijekzio bat.
Adibideak
aldatu- Edozein multzorako, x identitate funtzioa -n supraiektiboa da.
- funtzioa, horrela definituta: modulua (hau da, zenbaki bikoitiak -ra doaz eta zenbaki bakoitiak -era), supraiektiboa da.
- funtzioa, horrela definituta: supraiektiboa da (baita bijektiboa ere), zenbaki erreal bakoitzarentzako, existitzen delako bat non eta den.
- funtzioa, horrela definituta: supraiektiboa da, edozein zenbaki errealen aurreirudia polinomio kubikoaren soluzioa delako, eta koefiziente errealeko polinomio kubiko guztiek gutxienez erro erreal bat dute. Alabaina, funtzio hau ez da injektiboa (ezta bijektiboa ere); zeren eta, adibidez, -ren aurreirudia da. (Izan ere, tarteko elementuek aurreirudi bat baino gehiago dute).
- funtzioa, horrela definituta: , ez da supraiektiboa, ez dagoelako zenbaki errealik betetzen duenik. Halere, funtzioa, horrela definituta: (koeremu murriztuan) supraiektiboa da, koeremu positiboko bakoitzarentzat existitzen delako bat eremu errealean non den.
- Logaritmo naturalen funtzioa supraiektiboa da, eta baita bijektiboa ere (zenbaki erreal positiboen multzotik zenbaki erreal guztien multzora doana). Bere alderantzizkoak, funtzio esponentzialak, eremu bezala zenbaki errealen multzoa badu, ez da supraiektiboa (bere definizio-eremua zenbaki erreal positiboen multzoa baita).
- Matrize baten esponentziala ez da supraiektiboa -ko matrizeetatik bere burura doan aplikazio bezala kontsideratzen badugu. Nolanahi ere, normalean -ko matrizeetatik n mailako talde lineal orokorrera definituta dago (hau da, -ko matrize alderanzgarrien taldera). Definizio horretan oinarrituz, matrize baten esponentziala supraiektiboa da matrize konplexuentzat, baina ez matrize errealentzat.
- -ko biderketa kartesiarretik bere faktore baterainoko proiekzioa supraiektiboa da, beste faktorea hutsik egon ezean.
- 3D-ko bideo-joko batean, bektoreak 2D-ko pantaila lau batean proiektatzen dira funtzio supraiektiboa erabiliz.
Propietateak
aldatuFuntzio bat bijektiboa da baldin eta soilik baldin aldi berean supraiektibo eta injektiboa bada.
Eskumatik alderanzgarriak diren funtzio supraiektiboak
aldatufuntzioa funtzioaren eskumako alderantzizkoa da baldin eta bada -ko guztientzako. Bestela esanda, -ren eskumako alderantzizkoa da baldin eta konposaketa -ko eremuaren identitate funtzioa bada. funtzioa -ren erabateko alderantzizkoa izan behar da, haien konposizioa ordenaz aldatzean, , gerta daiteke ez izatea -ko eremuaren identitate funtzioa. Alegia, -k alderantzikatu dezake, baina -k ez du zertan alderantzizkatu.
Eskuatik alderanzgarriak diren funtzio guztiak supraiektiboak dira. Funtzio supraiektibo guztiak eskumatik alderanzgarriak direla esaten duen proposizioaren baliokidea hautaketa axioma da.
funtzio bat bada eta -ko azpimultzo bat, orduan . Hortaz, berreskuratu ahal da bere aurreiruditik.
Nola frogatu
aldatuFuntzio bat supraiektiboa dela forgatu nahi badugu, definiziotik abiatuz frogatu daiteke. Baina, beste hainbat modu bisualagoak badaude propietate hau frogatzeko:
- Funtzioa nahiko sinplea bada irudikatzeko: Irudikatu funtzioa eta ikusi ordenatu ardatzeko (y) koeremuko balio guztiak hartzen dituen ikusi. Balio guztiak hartzen baditu, funtzioa supraiektiboa da, bestela, ez.
- Funtzioaren irudia (Im(f)) kalkulatu: Funtzio baten irudia kalkulatzearekin ere frogatu daiteke supraiektibotasuna. Funtzioaren irudia koeremu guztia "hartzen" badu, funtzioa supraiektiboa da. Koeremuko zenbakiren bat funtzioaren iruditik kanpo gelditzen bada, funtzioa ez da supraiektiboa.