Funktsioon (matemaatika): erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
P Eemaldatud mall Link FA; keelelinkide äramärkimine nüüd Vikiandmetes |
P nimetakse > nimetatakse |
||
8. rida:
==Definitsioon==
Funktsioon on "masin", mis teisendab mis tahes korrektse [[sisend]]i üheksainsaks [[väljund]]iks.
===Formaalne definitsioon seose kaudu===
Formaalselt võib funktsiooni ''f'' sisendväärtuste [[hulk|hulgalt]] ''X'' võimalike väljundväärtuste hulka ''Y'' (kirjutatakse ''f'': ''X'' → ''Y'') defineerida [[binaarne seos|binaarse seosena]] ''X'' ja ''Y'' vahel, mille puhul on täidetud järgmised tingimused:
#''f'' on ''täielik'': iga ''x'' puhul hulgast ''X'' eksisteerib ''y'' hulgast ''Y'', nii et ''x f y'' (''x'' on ''y''-ga seoses ''f''), see tähendab iga sisendväärtuse puhul on vähemalt üks väljundväärtus hulgast ''Y''.
#''f'' on ''funktsionaalne'': kui ''x f y''
Seda definitsiooni saab lühemalt väljendada nii: funktsioon hulgast ''X'' hulka ''Y'' on [[otsekorrutis]]e ''X'' × ''Y'' [[alamhulk]] ''f'', mille korral iga elemendi ''x'' puhul hulgast ''X'' on hulgas ''Y'' niisugune üheselt määratud element ''y'', et järjestatud paar (''x'', ''y'') on hulga ''f'' element.
27. rida:
==Ajalugu==
Matemaatikas võttis termini "funktsioon" kasutusele [[Gottfried Leibniz|Leibniz]] (aastal [[1694]]), et rääkida [[kõver]]aga seotud [[suurus]]test, näiteks kõvera [[tõus (matemaatika)|tõus]]ust. Tänapäeva matemaatilises kõnepruugis öeldakse, et funktsioonid, mida Leibniz vaatles, on [[diferentseeruv funktsioon|diferentseeruvad]]. Mittematemaatikud puutuvad kõige sagedamini kokku just selliste funktsioonidega.
Sõna "funktsioon" kasutas hiljem ([[18. sajand]]i keskel) [[Leonhard Euler]] argumentidega [[avaldis]]te ja valemite kohta, näiteks
[[19. sajand]]il hakkasid matemaatikud kõiki matemaatikaharusid formaliseerima. [[Karl Weierstrass]] pooldas matemaatilise analüüsi rajamist [[aritmeetika]]le, mitte [[geomeetria]]le, mistõttu Euleri definitsiooni eelistati Leibnizi omale (vaata [[matemaatilise analüüsi aritmetiseerumine]]).
35. rida:
Funktsiooni mõiste laiendamine võimaldas matemaatikutel uurida sääraseid veidraid matemaatilisi objekte nagu [[pidev funktsioon|pidevaid funktsioone]], mis ei ole kuskil diferentseeruvad. Algul peeti neid lihtsalt teoreetilisteks kurioosumiteks ning veel 19. ja [[20. sajand]]i vahetusel nimetati neid monstrumiteks. Hiljem leiti, et sellised funktsioonid on kasulikud [[Browni liikumine|Browni liikumise]] taoliste [[füüsika]]liste nähtuste [[modelleerimine|modelleerimisel]].
[[19. sajand]]i lõpupoole hakkasid matemaatikud katsuma [[formaliseerimine|formaliseerida]] kogu matemaatikat [[hulgateooria]] abil ning püüdsid iga matemaatilist objekti defineerida [[hulk|hulgana]]. Tänapäeval kasutatava formaalse definitsiooni andis funktsioonile
Dirichlet' definitsiooni järgi on funktsioon [[seos (matemaatika)|seos]]e erijuht. Enamiku praktiliste rakenduste puhul ei mängi erinevused Euleri ja Dirichlet' definitsiooni vahel peaaegu mingit rolli.
77. rida:
===Pöördfunktsioon===
Pöördfunktsiooni saame, kui vaatleme funktsiooni <math>\,y=f(x)</math> muutujat <math>\,x</math>
===Funktsiooni pidevus===
84. rida:
===Liitfunktsioon===
Kui kõigepealt rakendada argumendile <var>x</var> funktsiooni <var>f</var>: <var>X</var> → <var>Y</var> ja seejärel rakendada tulemile funktsiooni <var>g</var>: <var>Y</var> → <var>Z</var>, saame [[liitfunktsioon]]i, mida nimetame funktsioonide ''f'' ja ''g'' [[funktsioonide kompositsioon|kompositsiooniks]] ja märgitakse nii:
Oletame näiteks, et lennuki kõrgus ajahetkel <var>t</var> on antud funktsiooniga <var>h</var>(<var>t</var>) ning et hapniku kontsentratsioon kõrgusel
Siis (<var>c</var> <small>o</small> <var>h</var>)(<var>t</var>) on funktsioon, mis kirjeldab hapniku kontsentratsiooni lennuki ümber ajahetkel
Kui
<var>Y</var>⊂<var>X</var>,
siis saab rääkida funktsiooni
<var>f</var> kompositsioonist iseendaga; mõnikord märgitakse seda nii:
<var>f</var><sup> 2</sup>. (Sel juhul ei peeta silmas funktsiooni väärtuse korrutist iseendaga nagu näiteks avaldises cos² ''x''.)
123. rida:
Ülaltoodud funktsiooni puhul on hulga {a, b} algkuju ''f''<sup> −1</sup>({a, b}) = {1}.
Selle definitsiooni järgi tuleb välja, et ''f''<sup> −1</sup> on
Nendest definitsioonidest järeldub, et:
133. rida:
*<var>f</var><sup> −1</sup>(<var>f</var>(<var>A</var>)) ⊇ <var>A</var>.
Need seosed kehtivad määramispiirkonna suvaliste alamhulkade
Kujutiste ja algkujude seosed [[ühisosa]]de ja [[ühend]]itega kehtivad mitte ainult alamhulkade paaride, vaid alamhulkade mis tahes [[kogum]]ite korral.
139. rida:
===Injektiivsed, sürjektiivsed ja bijektiivsed funktsioonid===
Järgmised mõisted on väga kasulikud:
*[[Injektiivne funktsioon|Injektiivsed]] (üksühesed) funktsioonid seavad eri argumentidele vastavusse eri väärtused; teiste sõnadega, kui ''x'' ja ''y'' on funktsiooni ''f'' määramispiirkonna elemendid, siis ''f''(''x'') = ''f''(''y'') ainult juhul, kui ''x'' = ''y''.
*[[Sürjektiivne funktsioon|Sürjektiivsetel]] funktsioonidel on kõik võimalikud väärtused tegelikud; teiste sõnadega, kui ''y'' on funktsiooni ''f'' võimalik väärtus, siis leidub vähemalt üks ''x'', mille korral ''f''(''x'') = ''y''. Ülaltoodud funktsioon ei ole sürjektiivne.
*[[Bijektiivne funktsioon|Bijektiivsed funktsioonid]] on korraga injektiivsed ja sürjektiivsed; sageli kasutatakse neid selleks, et hulki ''X'' ja ''Y'' kuidagi "samastada".
148. rida:
Matemaatika seisukohast ei ole ühe ja mitme muutuja funktsioonidel põhimõttelist erinevust: näiteks kolme [[reaalarv]]ulise muutuja funktsiooni saab vaadelda reaalarvude [[järjestatud kolmik]]ute funktsioonina. Järgmises lõigus öeldakse sedasama formaalsemas keeles.
Kui funktsiooni määramispiirkond on
Näiteks seose ''dist'' määramispiirkond on <b>R</b> × <b>R</b> ning seetõttu ta kujutab endast [[binaarne funktsioon|binaarset funktsiooni]] (2-aarset funktsiooni ehk [[kahe muutuja funktsioon]]i).
Sellistel juhtudel ei kirjutata tavaliselt mitte ''dist''((<var>x</var>,<var>y</var>)), vaid lihtsalt ''dist''(<var>x</var>,<var>y</var>).
155. rida:
===Mitmeväärtuseline funktsioon ja osaline funktsioon===
Seos hulkade ''X'' ja ''Y'' vahel, mille puhul on täidetud tingimus (1), on
Seos hulkade ''X'' ja ''Y'' vahel, mille puhul on täidetud tingimus (2), on '''[[osaline funktsioon]]'''. Iga funktsioon on osaline funktsioon, kuid iga osaline funktsioon ei ole funktsioon.
169. rida:
|-
| [[Pilt:Injection.svg|150px]]
| See seos
:<math>f(x)=\left\{\begin{matrix} a, & \mbox{kui }x=1 \\ d, & \mbox{kui }x=2 \\ c, & \mbox{kui }x=3. \end{matrix}\right.</math>
|}
==Intuitiivne sissejuhatus==
Intuitiivselt võib funktsiooni all mõista "eeskirja", mis seab igale antud [[sisend]]ile vastavusse üheselt määratud [[väljund]]i.
*Igal inimesel on lemmikvärv järgmise 6 värvi hulgast: punane, oranž, kollane, roheline, sinine, lilla. Lemmikvärv on inimese funktsioon. Näiteks Jaani lemmikvärv on punane ja Tiina lemmikvärv on lilla. Sisendiks on siin inimene ja väljundiks on üks 6 värvist.
*Lapsed müüvad suvel limonaadi. Müüdud limonaadi hulk pudelites mingil päeval on selle päeva maksimaalse õhutemperatuuri funktsioon. Näiteks kui temperatuur on 22 kraadi, siis nad müüvad 10 pudelit limonaadi, ja kui temperatuur on 26 kraadi, siis nad müüvad 25 pudelit limonaadi.
181. rida:
"Eeskirja", millega funktsioon on määratud, saab väljendada [[valem]]i ([[funktsiooni üldavaldis]]e abil, seose abil või lihtsalt tabeli abil, mis loetleb sisendid ja neile vastavad väljundid.
Funktsiooni kõige iseloomulikum omadus on see, et ta on [[determinism|deterministlik]]: samale sisendile vastab alati sama väljund.
Kõige tavalisemal juhul on nii argument kui ka funktsiooni väärtused [[arv]]ud, funktsionaalset seost ([[funktsionaalne sõltuvus|funktsionaalset sõltuvust]]) väljendatakse valemiga ning funktsiooni väärtuse saamiseks [[asendamine|asendatakse]] argument otseselt valemisse. Vaatame näiteks funktsiooni
190. rida:
Funktsiooni mõistet saab üldistada nii, et funktsioon võib sõltuda mitmest argumendist. Näiteks
:<math>g(x,y) = xy</math>
on funktsioon, mis võtab kaks arvu ''x'' ja ''y'' ning seab neile vastavusse nende korrutise
Teaduses on sageli tegemist funktsioonidega, mis ei ole esitatud valemitega. Võtame näiteks temperatuuri jaotuse maapinnal eri aegadel: see on funktsioon, mille argumentideks on koht ja aeg ning mis annab väljundiks temperatuuri antud kohas antud hetkel.
Nägime, et intuitiivne funktsioonimõiste ei piirdu arvutustega, mis kasutavad üksikuid arve, ega üldse arvutustega. Matemaatiline funktsioonimõiste on veel üldisem ega piirdu olukordadega, kus on tegemist arvudega. Funktsioon seob
==Näiteid==
204. rida:
* Seos ''dist'' [[tasand]]i <b>R</b><sup>2</sup> [[Punkt (matemaatika)|punkt]]ide ja nende [[kaugus]]te vahel [[koordinaatide algpunkt]]ist (0,0).
Kõige tavalisemate matemaatiliste funktsioonide seas on [[liitmine]], [[jagamine]], [[astendamine]], [[logaritm]]id, [[korrutamine]], [[polünoom]]id, [[juur (arutmeetika)|juur]]ed, [[lahutamine]] ja [[trigonomeetrilised
==Vaata ka==
|