Funksioni

Në matematikë, një funksion nga një bashkësi $X$ në një bashkësi $Y$ i cakton secilit element të $X$ saktësisht një element të $Y$ Bashkësia $X$ quhet bashkësia e fytyrave dhe bashkësia $Y$ quhet bashkësia e shëmbëllimeve të funksionit. Një funksion më së shpeshti shënohet me shkronja të tilla si $f$, $g$ dhe $h$, dhe vlera e një funksioni $f$ në një element $x$ të domenit të tij shënohet me $f(x)$; vlera numerike që rezulton nga vlerësimi i funksionit për një hyrje të caktuar merret duke zëvendësuar $x$ me këtë vlerë; për shembull, vlera e $f$ në $x=4$ shënohet me $f(4)$. Kur funksioni nuk emërtohet dhe përfaqësohet nga një shprehje $E$, vlera e funksionit, le të themi, $x=4$ mund të shënohet si $E|4$ . Për shembull, vlera në 4 e funksionit që hartëzon $x$ në $(x+1)^{2}$ mund të shënohet me $\left.(x+1)^{2}\right\vert _{x=4}$ (që jep 25).

Diagram i funksionit me bashkësinë e fytyrave X = {1, 2, 3} dhe atë të shëmbëllimeve Y = {A, B, C, D}, e cila përkufizohet nga një bashkësi çiftesh të renditura {(1, D), (2, C), (3, C)} . Imazhi/Shtrirja është bashkësia {C, D} .

---

---

---

Ky diagram që përfaqëson një bashkësi çiftesh {(1,D), (2,B), (2,C)} , nuk është një funksion. Një arsye është sepse numri 2 është elementi i parë i më shumë se një çifti të renditur, (2, B) dhe (2, C), e kësaj bashkësie. Dy arsye të tjera janë sepse as 3 dhe as 4 nuk janë hyrje të ndonjë çifti të renditur.

Një funksion përfaqësohet në mënyrë unike nga bashkësia e të gjitha çifteve $(x,f(x))$, të quajtura grafiku i funksionit, një mjet popullor për të ilustruar funksionin. Kur fytyrat dhe shëmbëllimet janë bashkësi të numrave realë, çdo çift i tillë mund të konsiderohet si koordinatë karteziane të një pike në rrafsh.

Funksionet fillimisht ishin idealizimi i mënyrës sesi një madhësi e ndryshueshme varet nga një sasi tjetër. Për shembull, vendndodhja e një planeti është një funksion i kohës. Historikisht, koncepti u përpunua me llogaritjen pambarimisht të vogël në fund të shekullit të 17-të dhe, deri në shekullin e 19-të, funksionet që u morën parasysh ishin të diferencueshme. Koncepti i një funksioni u zyrtarizua në fund të shekullit të 19-të për sa i përket teorisë së grupeve, dhe kjo zgjeroi shumë fushat e zbatimit të konceptit.

Funksionet përdoren gjerësisht në shkencë, inxhinieri dhe në shumicën e fushave të matematikës. Është thënë se funksionet janë "objektet qendrore të hetimit" në shumicën e fushave të matematikës.

Lakorja e kuqe është grafiku i një funksioni, sepse çdo vijë vertikale ka vetëm një pikë kryqëzimi me kurbën.

Një funksion që lidh secilën nga katër format e ngjyrosura me ngjyrën e tij.

E ç'është funksioni?

Një funksion nga një bashkësi $X$ në një bashkësi $Y$ është një caktim i një elementi të $Y$ për secilin element të $X$. Bashkësia $X$ quhet fytyrat e funksionit dhe bashkësia $Y$ quhet shëmbëllimet e funksionit.

Një funksion, fytyrat e tij dhe shëmbëllimet e tij deklarohen me shënimin $f:X\to Y$, dhe vlera e një funksioni $f$ në një element $x$ të $X$, e shënuar me $f(x)$ quhet imazhi i $x$ nën $f$, ose vlera e $f$ e aplikuar në argumentin $x$.

Dy funksione $f$ dhe $g$ janë të barabarta nëse bashkësitë e tyre të domenit dhe të kodominës janë të njëjta dhe vlerat e tyre të daljes bien dakord në të gjithë domenin. Më formalisht, duke pasur parasysh $f:X\to Y$ dhe $g:X\to Y$, kemi f = g nëse dhe vetëm nëse $f(x)=g(x)$ për të gjithë $x\in X$ .  

Eksponenciali i bashkësisë

Kompleti i të gjitha funksioneve nga një bashkësi $X$ në një bashkësi $Y$ zakonisht shënohet si

$Y^{X},$

e cila lexohet si $Y$ në fuqinë $X$ .

Ky shënim është i njëjtë me shënimin për produktin kartezian të një familjeje kopjesh të $Y$ indeksuar nga $X$ :

$Y^{X}=\prod _{x\in X}Y.$

Identiteti i këtyre dy shënimeve motivohet nga fakti se një funksion $f$ mund të identifikohet me elementin e prodhimit kartezian të tillë që komponenti i indeksit $x$ është $f(x)$ .

Kur $Y$ ka dy elemente, $Y^{X}$ shënohet zakonisht $2^{X}$ dhe quhet grupi i fuqive i $X$ Mund të identifikohet me grupin e të gjitha nëngrupeve të $X$, përmes korrespondencës një-për-një që lidhet me secilën nëngrup $S\subseteq X$ funksionin $f$ sikurse $f(x)=1$ nëse $x\in S$ dhe $f(x)=0$ ndryshe.

Shënimi

Shënimi funksional

Në shënimin funksional, funksionit i jepet menjëherë një emër, si p.sh $f$, dhe përkufizimi i tij jepet nga çfarë $f$ i bën hyrjes $x$, duke përdorur një formulë në kufiza të $x$ . Për shembull, funksioni që merr një numër real si hyrje dhe nxjerr atë numër plus 1 shënohet me

$f(x)=x+1$ .

Nëse një funksion përcaktohet me këtë shënim, fytyrat dhe shëmbëllimet e tij merren në mënyrë të heshtur si të dyja $\mathbb {R}$, bashkësia e numrave realë. Nëse formula nuk mund të vlerësohet në të gjithë numrat realë, atëherë fytyrat në mënyrë të heshtur merren si nëngrupi maksimal i $\mathbb {R}$ mbi të cilën mund të vlerësohet formula.

Një shembull më i ndërlikuar është funksioni

$f(x)=\sin(x^{2}+1)$ .

Në këtë shembull, funksioni $f$ merr një numër real si hyrje, e ngre në katror, pastaj i shton 1 rezultatit, më pas merr sinusin e rezultatit dhe e kthen rezultatin përfundimtar si dalje.

Shënimi funksional u përdor për herë të parë nga Leonhard Euler në 1734. Disa funksione të përdorura gjerësisht përfaqësohen nga një simbol i përbërë nga disa shkronja (zakonisht dy ose tre, përgjithësisht një shkurtim i emrit të tyre). Në këtë rast, në vend të kësaj përdoret zakonisht një tip romak, si p.sh. " sin " për funksionin sinus.

Shënimi i shigjetës

Shënimi me shigjetë e përcakton rregullin e një funksioni në rresht. Për shëmbull, $x\mapsto x+1$ është funksioni që merr një numër real si hyrje dhe në dalje jep atë plus 1. Prapë bashkësitë nuk janë të dhëna kështu që implikohet $\mathbb {R}$.

${\begin{aligned}\operatorname {sqr} \colon \mathbb {Z} &\to \mathbb {Z} \\x&\mapsto x^{2}.\end{aligned}}$

Kjo përcakton një funksion sqr nga numrat e plotë në numrat e plotë që kthen katrorin e hyrjes së tij.

Shënimi i indeksit përdoret shpesh në vend të shënimit funksional. Kjo do të thotë, në vend që të shkruhet $f(x)$, shkruhet $f_{x}.$

Ky është zakonisht rasti për funksionet, fytyra e të cilëve është bashkësia e numrave natyrorë . Një funksion i tillë quhet varg, dhe, në këtë rast, element $f_{n}$ quhet elementi n i vargut.

Përcaktimi i një funksioni

Me një formulë

Funksionet shpesh përcaktohen nga një formulë që përshkruan një kombinim të veprimeve aritmetike dhe funksioneve të përcaktuara më parë; një formulë e tillë lejon llogaritjen e vlerës së funksionit nga vlera e çdo elementi të bashkësisë së fytyrave. Për shembull, në rastin e mësipërm, $f$ mund të përcaktohet me formulë $f(n)=n+1$, për $n\in \{1,2,3\}$ .

Kur një funksion përcaktohet në këtë mënyrë, përcaktimi i fytyrave të tij ndonjëherë është i vështirë. Nëse formula që përcakton funksionin përmban pjesëtim, vlerat e ndryshores për të cilën emëruesi është zero duhet të përjashtohen nga fytyrat; Kështu, për një funksion të ndërlikuar, përcaktimi i fytyrave kalon përmes llogaritjes së zerove të funksioneve ndihmëse.

Për shembull, $f(x)={\sqrt {1+x^{2}}}$ përcakton një funksion $f\colon \mathbb {R} \to \mathbb {R}$ fytyra e të cilit është $\mathbb {R} ,$ sepse $1+x^{2}$ është gjithmonë pozitive nëse $x$ është një numër real. Në anën tjetër, $f(x)={\sqrt {1-x^{2}}}$ përcakton një funksion nga realet në reale fytyra e të cilave reduktohet në intervalin [ -1, 1 ] .

Funksionet shpesh klasifikohen sipas natyrës së formulave që i përcaktojnë ato:

• Një funksion kuadratik është një funksion që mund të shkruhet $f(x)=ax^{2}+bx+c,$ ku a, b, c janë konstante .
• Në përgjithësi, një funksion polinomial është një funksion që mund të përcaktohet nga një formulë që përfshin vetëm mbledhje, zbritje, shumëzime dhe ngritje në fuqi të fuqive jonegative. Për shembull, $f(x)=x^{3}-3x-1$ dhe $f(x)=(x-1)(x^{3}+1)+2x^{2}-1$ janë funksione polinomiale të $x$ .
• Një funksion racional është i njëjtë, duke lejuar edhe pjesëtimin, si p.sh $f(x)={\frac {x-1}{x+1}},$ dhe $f(x)={\frac {1}{x+1}}+{\frac {3}{x}}-{\frac {2}{x-1}}.$
• Një funksion algjebrik është i njëjtë, me rrënjë të indeksit <i>n</i> dhe rrënjë të polinomeve të lejuara gjithashtu.
• Një funksion elementar është i njëjtë, me logaritme dhe funksione eksponenciale të lejuara.

Funksionet e anasjellta dhe të nënkuptuara

Një funksion $f\colon X\to Y,$ me fytyrë $X$ dhe shëmbëllim $Y$, është bijektiv, nëse për çdo $y$ në $Y$, ka një dhe vetëm një element $x$ në $X$ të tillë që $y=f(x)$. Në këtë rast, funksioni i anasjelltë i $f$ është funksioni $f^{-1}\colon Y\to X$ që hartat $y\in Y$ tek elementi $x\in X$ të tillë që $y=f(x)$. Për shembull, logaritmi natyror është një funksion bijektiv nga numrat realë pozitivë në numrat realë. Kështu, ai ka një të anasjelltë, të quajtur funksioni eksponencial, që harton numrat realë në numrat pozitivë.

Nëse një funksion $f\colon X\to Y$ nuk është bijektiv, mund të ndodhë që të zgjidhet një nënbashkësi $E\subseteq X$ dhe $F\subseteq Y$ i tillë që kufizimi i $f$ në $E$ është një bijeksion nga $E$ në $F$, dhe kështu ka një invers. Funksionet trigonometrike të anasjellta përcaktohen në këtë mënyrë. Për shembull, funksioni kosinus indukton, duke e kufizuar, një bijeksion nga intervali $[0,\pi ]$ në intervalin [ -1, 1 ] dhe funksioni i tij i kundërt, i quajtur arkkosinus, harton [ -1, 1 ] në $[0,\pi ]$. Funksionet e tjera trigonometrike të anasjellta janë përcaktuar në mënyrë të ngjashme.

Më përgjithësisht, duke pasur parasysh një lidhje binare $R$ ndërmjet dy grupeve $X$ dhe $Y$, le të jetë $E$ një nëngrup i $X$ i tillë që, për çdo $x\in E,$ aty ka disa $y\in Y$ të tilla që $xRy$ . Nëse dikush ka një kriter që lejon zgjedhjen e një $y$ të tillë për çdo $x\in E,$ kjo përcakton një funksion $f\colon E\to Y,$ quhet funksion i nënkuptuar, sepse përkufizohet në mënyrë të nënkuptuar nga relacioni R.

Për shembull, ekuacioni i rrethit njësi $x^{2}+y^{2}=1$ përcakton një lidhje me numrat realë. Nëse −1 < x < 1 ka dy vlera të mundshme të y, një pozitive dhe një negative. Për x = ± 1, këto dy vlera bëhen të barabarta me 0. Përndryshe, nuk ka vlerë të mundshme të y . Kjo do të thotë se ekuacioni përcakton dy funksione të nënkuptuara me fytyra [ −1, 1 ] dhe shëmbëllimet përkatëse [ 0, +∞) dhe (−∞, 0] .

Përdorimi i llogaritjes diferenciale

Shumë funksione mund të përkufizohen si integrale të pacaktuara të një funksioni tjetër. Ky është rasti i logaritmit natyror, i cili është integrali i pacaktuar i $1/x$ që është 0 për x = 1 . Një shembull tjetër i zakonshëm është funksioni i gabimit .

Përfaqësimi i një funksioni

Një grafik përdoret zakonisht për të dhënë një pamje intuitive të një funksioni. Si shembull se si një grafik ndihmon për të kuptuar një funksion, është e lehtë të shihet nga grafiku i tij nëse një funksion është në rritje apo në rënie. Disa funksione mund të përfaqësohen gjithashtu nga grafikët me shtylla .

Grafikët dhe plotet

Funksioni që hartëzon çdo vit me numrin e vdekjeve të automjeteve motorike në SHBA, i paraqitur si një tabelë vijash

Jepet një funksion $f\colon X\to Y,$ grafiku i tij është, formalisht, grupi

$G=\{(x,f(x))\mid x\in X\}.$

Në rastin e shpeshtë kur X dhe Y janë nënbashkësi të numrave realë (ose mund të identifikohen me nënbashkësi të tilla, p.sh. intervale ), një element $(x,y)\in G$ mund të identifikohet me një pikë që ka koordinata x, y në një sistem koordinativ 2-dimensional, p.sh. rrafshin kartezian . Pjesë të kësaj mund të krijojnë një grafik që përfaqëson (pjesë të) funksionit. Përdorimi i grafikëve është aq i kudondodhur sa edhe ato quhen grafiku i funksionit .

Përbërja e funksionit

Jepen dy funksione $f\colon X\to Y$ dhe $g\colon Y\to Z$ të tillë që fytyra e $g$ është shëmbëllimi i $f$, përbërja e tyre është funksioni $g\circ f\colon X\rightarrow Z$ i përcaktuar nga

$(g\circ f)(x)=g(f(x)).$

Kjo dmth se vlera e $g\circ f$ fitohet duke zbatuar fillimisht f në x për të marrë $y=f(x)$ dhe më pas duke zbatuar g në rezultatin y për të marrë $g(y)=g(f(x))$ . Në shënim funksioni që zbatohet i pari shkruhet gjithmonë djathtas.

Grafiku i një funksioni linear

Përbërja $g\circ f$ është një veprim mbi funksionet që përcaktohet vetëm nëse shëmbëllimi i funksionit të parë është fytyra e të dytit. Edhe kur të dyja $g\circ f$ dhe $f\circ g$ plotësojnë këto kushte, përbërja nuk është domosdoshmërisht ndërruese, domethënë funksionet $g\circ f$ dhe $f\circ g$ nuk duhet të jetë të barabartë, por mund të japin vlera të ndryshme për të njëjtin argument. Për shembull, le të jenë $f(x)=x^{2}$ dhe $g(x)=x+1$, atëherë $g(f(x))=x^{2}+1$ dhe $f(g(x))=(x+1)^{2}$ janë njëlloj vetëm për $x=0.$

Përbërja e funksionit është shoqëruese në kuptimin që, nëse një nga $(h\circ g)\circ f$ dhe $h\circ (g\circ f)$ përkufizohet, pastaj përkufizohet edhe tjetra dhe janë të barabarta. Kështu, shkruhet

$h\circ g\circ f=(h\circ g)\circ f=h\circ (g\circ f).$

Imazhi dhe paraimazhi

Le të jetë $f\colon X\to Y.$ Imazhi nën fi një elementi x të fytyrave X është f(x). Nëse A është një nënbashkësi eX, atëherë imazhi i A nën f, i shënuar f(A), është nënbashkësia e shëmbëllimeve Y që përmban të gjitha imazhet e eëementëve të A, që dmth:

$f(A)=\{f(x)\mid x\in A\}.$

Imazhi i $f$ është imazhi i të gjithë domenit, domethënë $f(X)$ . [18] Quhet gjithashtu diapazoni i $f$,

Nga ana tjetër, imazhi i anasjelltë ose paraimazhi nën $f$ i një elementi y të shëmbëllimit $Y$ është bashkësia e të gjithë elementëve të domenit $X$, imazhet e të cilëve nën $f$ janë të barabarta y. Në simbole, paraimazhi i y -së shënohet me $f^{-1}(y)$ dhe jepet nga ekuacioni

$f^{-1}(y)=\{x\in X\mid f(x)=y\}.$

Po kështu, paraimazhi i një nënbashkësie $B$ të shëmbëllimit $Y$ është bashkësia e paraimazheve të elementeve të $B$, domethënë është nënbashkësia e fytyrave $X$ që përbëhet nga të gjithë elementët e $X$, imazhet e të cilit i përkasin $B$. Shënohet me $f^{-1}(B)$

Grafiku i një funksioni polinomial, këtu një funksion kuadratik.

dhe jepet nga ekuacioni

$f^{-1}(B)=\{x\in X\mid f(x)\in B\}.$

Për shembull, paraimazhi i $\{4,9\}$ nën funksionin katror është bashkësia $\{-3,-2,2,3\}$ .

Funksionet injektive, syrjektive dhe bijektive

Le $f\colon X\to Y$ të jetë një funksion.

Funksioni $f$ është injektiv (ose një-me-një, ose është një injeksion ) nëse $f(a)\neq f(b)$ për çdo dy elementë të ndryshme $a$ dhe $b$ të $X$ . Në mënyrë të njëvlershme, $f$ është injektiv atëherë dhe vetëm atëherë kur për ndonjë $y\in Y,$ paraimazhi $f^{-1}(y)$ përmban të shumtën një element. Një funksion bosh është gjithmonë injektiv. Nëse $X$ nuk është grupi bosh, atëherë f është injektiv nëse dhe vetëm nëse ekziston një funksion $g\colon Y\to X$ sikurse $g\circ f=\operatorname {id} _{X},$ domethënë, nëse $f$ ka një invers të majtë . Vërtetim : Nëse f është injektiv, për përcaktimin e g, zgjidhet një element $x_{0}$ në $X$ (i cili ekziston pasi X supozohet të jetë jo bosh), dhe njëri përcakton g me $g(y)=x$ nëse $y=f(x)$ dhe $g(y)=x_{0}$ nëse $y\not \in f(X).$ Në të kundërt, nëse $g\circ f=\operatorname {id} _{X},$ dhe $y=f(x),$ pastaj $x=g(y),$ dhe kështu $f^{-1}(y)=\{x\}.$

Grafiku i dy funksioneve trigonometrike: sinusit dhe kosinusit .

Funksioni $f$ është surjektiv (ose mbi, ose është një surjeksion ) nëse diapazoni i tij $f(X)$ barazohet me shëmbëllimin e tij $Y$, domethënë nëse, për secilin element $y$ të shëmbëllimit, ekziston një element $x$ i fytyrave i tillë që $f(x)=y$ (me fjalë të tjera, paraimazhi $f^{-1}(y)$ të çdo $y\in Y$ nuk është bosh). Nëse, si zakonisht në matematikën moderne, supozohet aksioma e zgjedhjes, atëherë $f$ është surjektiv nëse dhe vetëm nëse ekziston një funksion $g\colon Y\to X$ sikurse $f\circ g=\operatorname {id} _{Y},$ domethënë, nëse $f$ ka një të anasjelltë të drejtë .

Funksioni $f$ është bijektiv (ose është një bijeksion ose një korrespodencë një-për-një ) nëse është edhe injektiv edhe surjektiv. Kjo do të thotë, $f$ është bijektiv nëse, për ndonjë $y\in Y,$ paraimazhi $f^{-1}(y)$ përmban saktësisht një element. Funksioni $f$ është bijektiv nëse dhe vetëm nëse pranon një funksion të anasjelltë, domethënë një funksion $g\colon Y\to X$ sikurse $g\circ f=\operatorname {id} _{X}$ dhe $f\circ g=\operatorname {id} _{Y}.$

Referime

• Bartle, Robert (1976). The Elements of Real Analysis (në anglisht) (bot. 2nd). Wiley. ISBN 978-0-471-05465-8. OCLC 465115030.
• Bloch, Ethan D. (2011). Proofs and Fundamentals: A First Course in Abstract Mathematics (në anglisht). Springer. ISBN 978-1-4419-7126-5.
• Cunningham, Daniel W. (2016). Set theory: A First Course (në anglisht). Cambridge University Press. ISBN 978-1-107-12032-7.
• Gödel, Kurt (1940). The Consistency of the Continuum Hypothesis (në anglisht). Princeton University Press. ISBN 978-0-691-07927-1.
• Halmos, Paul R. (1970). Naive Set Theory (në anglisht). Springer-Verlag. ISBN 978-0-387-90092-6.
• Jech, Thomas (2003). Set theory (në anglisht) (bot. 3rd). Springer-Verlag. ISBN 978-3-540-44085-7.
• Spivak, Michael (2008). Calculus (në anglisht) (bot. 4th). Publish or Perish. ISBN 978-0-914098-91-1.

Lexo më shumë

• Anton, Howard (1980). Calculus with Analytical Geometry (në anglisht). Wiley. ISBN 978-0-471-03248-9.
• Bartle, Robert G. (1976). The Elements of Real Analysis (në anglisht) (bot. 2nd). Wiley. ISBN 978-0-471-05464-1.
• Dubinsky, Ed; Harel, Guershon (1992). The Concept of Function: Aspects of Epistemology and Pedagogy (në anglisht). Mathematical Association of America. ISBN 978-0-88385-081-7.
• Hammack, Richard (2009). "12. Functions" (PDF). Book of Proof (në anglisht). Virginia Commonwealth University. Marrë më 2012-08-01.
• Husch, Lawrence S. (2001). Visual Calculus (në anglisht). University of Tennessee. Marrë më 2007-09-27.
• Katz, Robert (1964). Axiomatic Analysis (në anglisht). D. C. Heath and Company.
• Kleiner, Israel (1989). "Evolution of the Function Concept: A Brief Survey". The College Mathematics Journal (në anglisht). 20 (4): 282–300. CiteSeerX 10.1.1.113.6352. doi:10.2307/2686848. JSTOR 2686848.
• Lützen, Jesper (2003). "Between rigor and applications: Developments in the concept of function in mathematical analysis". përmbledhur nga Porter, Roy (red.). The Cambridge History of Science: The modern physical and mathematical sciences (në anglisht). Cambridge University Press. ISBN 978-0-521-57199-9. An approachable and diverting historical presentation.
• Malik, M. A. (1980). "Historical and pedagogical aspects of the definition of function". International Journal of Mathematical Education in Science and Technology (në anglisht). 11 (4): 489–492. doi:10.1080/0020739800110404.
• Reichenbach, Hans (1947). Elements of Symbolic Logic (në anglisht). Dover. ISBN 0-486-24004-5.
• Ruthing, D. (1984). "Old Intelligencer: Some definitions of the concept of function from Bernoulli, Joh. to Bourbaki, N." Mathematical Intelligencer (në anglisht). 6 (4): 71–78. doi:10.1007/BF03026743. S2CID 189883712.
• Thomas, George B.; Finney, Ross L. (1995). Calculus and Analytic Geometry (në anglisht) (bot. 9th). Addison-Wesley. ISBN 978-0-201-53174-9.