Matematička analiza

S Vikipedije, slobodne enciklopedije
(preusmereno sa Калкулус)
Čudni atraktor koji proizilazi iz diferencijalne jednačine.[1][2] Diferencijalne jednačine su važna oblast matematičke analize sa mnoštvom primena u nauci i inženjerstvu.

Matematička analiza (starogrčki ανάλυσις, análysis, rešenje) je oblast matematike koja između ostalog proučava granične vrednosti, integrale, izvode i redove. Oblast se pominje i pod imenima viša matematika, infinitezimalni račun, a u engleskoj literaturi kao „Kalkulus“ (engl. Calculus). To je veoma široka oblast matematike i predmet je višegodišnjih studija na fakultetima.[3][4]

U principu, deli se na dva dela: diferencijalni i integralni račun. Proučavanje beskonačnih redova i analitičkih funkcija takođe spada u domen analitičke matematike.

Istorijski razvoj[uredi | uredi izvor]

Arhimed koristi metod iscrpljivanja da izračuna površinu unutar kruga putem nalaženja oblasti regularnih poligona sa sve više i više stranica. To je bio jenan rani mada neformalni primer limita, jednog od najosnovnijih koncepata u matematičkoj analizi.

Diferencijalni račun[uredi | uredi izvor]

Diferencijalni račun i diferenciranje proučavaju promene funkcija realnih promenljivih pri promenama nezavisne varijable, tj. nezavisne promenljive. Polazi se od problema nalaženja tangente na krivu, koji je prvi objavio Isak Barou (Isaac Barrow: Lectiones geometricae, 1670). Isak Njutn (Isaac Newton) je otkrio metod (1665—1666) i sugerisao Isaku Barou, svom profesoru matematike, da metodu uključi u udžbenik. U svojoj prvobitnoj teoriji, Njutn je posmatrao funkciju kao promenljivu, fluentnu količinu, i razliku, ili iznos promene, nazvao fluks (fluxion). Definisao je nagib krive u tački kao priraštaj tangente na tu krivu u maloj okolini date tačke. Danas veoma poznatu binomnu teoremu Njutn je primenio da nađe granični slučaj, što znači da je diferencijalni račun Njutnu bio potreban za beskonačne nizove. Upotrebio je oznake iks, odnosno ipsilon sa tačkom iznad () za fluks, i isto sa dve tačke iznad () za fluks fluksa. Tako, ako je , gde je t vreme potrebno telu da bi se prešlo put х, tada je fluks iksa trenutna brzina, a fluks fluksa je trenutno ubrzanje. Lajbnic (Leibniz) je takođe otkrio istu metodu 1676. godine, objavio je 1684. Njutn je nije objavio sve do 1687. (u Philosophiae Naturalis Principia Mathematica, Matematički principi prirodne filozofije). Zato se razvila gorka rasprava oko prioriteta otkrića. Zapravo, danas je poznato, obojica su došli do istog otkrića nezavisno jedan od drugog. Savremena notacija duguje Lajbicu dy/dx i izduženo S (od „suma“) za integral.

Integralni račun[uredi | uredi izvor]

Integralni račun i integracija koriste se za izračunavanje površina, zapremina tela, dužina krive, težišta, momenta inercije. Vuče korene još od Eudoksa Knidskog (Eudoxus of Cnidus, 408-347. p. n. e.), grčkog astronoma i matematičara, i njegove metode „iscrpljivanja“ iz perioda oko 360. p. n. e. Arhimed je u svom delu „Metoda“ razvio način nalaženja površina ograničenih krivama, razmatrajući ih podeljene mnogobrojnim paralelnim linijama i proširio ideju na nalaženje zapremina nekih tela. Zbog toga ga neki nazivaju ocem integralnog računa.

Početkom 17. veka, ponovo se pojavio interes za merenje zapremina integralnom metodom.[5] Kepler je koristio procedure nalaženja zapremina tela uzimajući ih kao kompoziciju beskonačnog skupa infinitezimalno (beskonačno) malih elemenata (Stereometrija doliorum, Merenje zapremina buradi, 1615). Ove ideje je poopštio Kavalijeri (Cavalieri) u svom delu Geometria indivisibilibus continuorum nova (1635), u kojem je upotrebio ideju da se površina sastoji iz nedeljivih linija, a zapremina od nedeljivih površina. To je danas poznati Kavalijerijev princip, a takođe to je bio i koncept Arhimedove metode. Džon Valis u svom delu Beskonačna aritmetika (John Wallis, Arithmetica ifinitorum, 1655) je aritmetizovao Kavalijerove ideje. U tom razdoblju su infinitezimalne metode intenzivno korištene za traženje dužina krivih i površina.

Savremena matematika[uredi | uredi izvor]

Negde u današnje vreme, integracija se počela tumačiti jednostavno kao operacija inverzna diferenciranju. Koši (Cauchy) je 1820-ih diferencijalni i integralni račun postavio na sigurnije osnove zasnivajući ih na limesu. Diferenciranje je definisao kao graničnu vrednost količnika, a integriranje kao graničnu vrednost zbira. Definiciju integrala pomoću granične vrednosti uopštio je Riman (Riemann).

U dvadesetom veku, shvatanje integrala je prošireno. U početku, integriranje se odnosilo na elementarnu ideju merenja (merenje dužina, površina, zapremina) sa neprekidnim funkcijama. Sa pojavom teorije skupova, funkcije su se počele tretirati kao preslikavanja, ne obavezno neprekidna, i pojavilo se opštije i apstraktnije shvatanje mere. Lebeg (Lebesgue) je objavio definiciju integriranja zasnovanu na Lebegovoj meri skupa. Pojavio se Lebegov integral.

Teorije matematičke analize se obično proučavaju u kontekstu realnih brojeva, kompleksnih brojeva, i realnih i kompleksnih funkcija. Međutim, one se mogu definisati i proučavatii u bilo kom drugom prostoru matematičkih objekata, koji ima definisanu blizinu (topološki prostor) ili specifičnije razdaljinu (metrički prostor).

Važni koncepti[uredi | uredi izvor]

Metrički prostori[uredi | uredi izvor]

U matematici, metrički prostor je skup gde je pojam rastojanja (zvani metrika) između elemenata skupa definisan.

Najveći deo analize se odvija u nekom metričkom prostoru; najšire korišćeni su realna linija, kompleksna ravan, Euklidov prostor, drugi vektorski prostori, i celi brojevi. Primeri analize bez metrika obuhvataju teoriju mera (koja opisuje veličinu, a ne rastojanje) i funkcionalnu analizu (koja izučava topološke vektorske prostore koji ne moraju da imaju nikakav osećaj za daljinu).

Formalno, metrički prostor je uređeni par , gde je skup, a je metrika na , i.e., funkcija

takva da za svako važi sledeće:

  1. ako i samo ako ,
  2. (simetrija) i
  3. (nejednakost trougla) .

Polazeći od trećeg svojstva i uzimajući da je , može se pokazati da je (ne-negativno).

Nizovi i limiti[uredi | uredi izvor]

Niz je uređena lista. Poput skupa, on sadrži članove (koji se nazivaju i elementi). Za razliku od skupa, druge stvari, i isti elementi mogu da se pojave više puta na različitim pozicijama u nizu. Niz se najpreciznije može definisati kao funkcija čiji domen je prebrojiv totalno uređen skup, kao što su prirodni brojevi.

Jedan od najvažnijih svojstava niza je konvergencija. Neformalno, niz konvergira ako ima limit. Nastavljajući informalno, (pojedinačno-beskonačno) niz ima limit ako se približava nekoj tačci x, zvanoj limit, kad n postane veoma veliko. Drugim rečima, za jedan apstraktni niz (an) (sa n u podrazumevanom opsegu od 1 do beskonačnosti) rastojanje između an i x se približava 0 kad n → ∞, što se označava sa

Glavne oblasti[uredi | uredi izvor]

Matematičku analizu čine sledeće oblasti:

Realna analiza[uredi | uredi izvor]

Realna analiza (tradicionalno, teorija funkcija realnih vrednosti) je grana matematičke analize koja se bavi realnim brojevima i realno-vrednosnim funkcijama realnih promennjivih.[6][7] Specifično, ona se bavi analitičkim svojstvima realnih funkcija i nizova, uključujući konvergenciju i limite nizova realnih brojeva, kalkulus realnih brojeva, i neprekidnost, glatkost i srodna svojstva funkcija realnih vrednosti.

Kompleksna analiza[uredi | uredi izvor]

Kompleksna analiza, tradicionalno poznata kao teorija funkcija kompleksnih promenljivih, je grana matematičke analize koja istražuje funkcije kompleksnih brojeva.[8] To je korisno u mnogim granama matematike, uključujući algebarsku geometriju, teoriju brojeva, primenjenu matematiku; kao i u fizici, uključujući hidrodinamiku, termodinamiku, mašinstvo, elektrotehniku, i posebno, kvantnu teoriju polja.

Kompleksnom analizom se specifično obuhvataju analitičke funkcije kompleksnih promenljivih (ili generalno meromorfne funkcije). Zbog toga što zasebni realni i imaginarni delovi analitičke funkcije moraju da zadovolje Laplasovu jednačinu, kompleksna analiza je široko primenljiva na dvodimenzione probleme u fizici.

Funkcionalna analiza[uredi | uredi izvor]

Funkcionalna analiza je grana matematičke analize, u čijoj osnovi je izučavanje vektoriskih prostora obogaćeno nekom vrstom strukture vezane za limite (npr. unutrašlji proizvod, norma, topologija, etc.) i linearnim operatorima koji deluju na tim prostorima poštujući ove strukture u odgovarajućem smislu.[9][10] Istorijski koreni funkcionalne analize leže u studijama funkcionih prostora i formulisanju svojstava transformacija funkcija poput Furijeve transformacije, kao transformacija kojima se definišu kontinuirani, unitarni i drugi operatori između funkcijskih prostora. Ispostavilo se da je ova tačka gledišta posebno korisna pri studiranju diferencijalnih i integralnih jednačina.

Diferencijalne jednačine[uredi | uredi izvor]

Diferencijalna jednačina je matematička jednačina za jednu nepoznatu funkciju sa jednom ili nekoliko promenljivih koja povezuje vrednosti same funkcije i njenih izvoda raznih redova.[11][12][13] Diferencijalne jednačine igraju prominentnu ulogu u inženjerstvu, fizici, ekonomiji, biologiji, i drugim disciplinama.

Diferencijalne jednačine se javljaju u mnogim oblastima nauke i tehnologije, specifično kad god deterministička relacija obuhvata neke od neprekidno varirajućih kvantiteta (modelovanih funkcijama) i kad su njihove brzine promene u prostoru i vremenu (izražene u vidu derivata) poznate ili postulirane. Ovo je ilustrovano u klasičnoj mehanici, gde je kretanje tela opisano njegovom pozicijom i brzinom kao funkcija vremena. Njutnovi zakoni omogućavaju izražavanje (date pozicije, brzine, ubrzanja i raznih sila koje deluju na telo) tih promenljivih dinamički u vidu diferencijalne jednačine za nepoznatu poziciju tela kao funkcije vremena. U nekim slučajevima, ova diferencijalna jednačina (zvana jednačina kretanja) može da bude eksplicitno rešena.

Teorija mera[uredi | uredi izvor]

Mera na skupu je sistematski način dodeljivanja broja svakom podesnom podskupu datog skupa, intuitivno interpretirana kao njegova veličina.[14] U tom smislu, mera je generalizacija koncepata dužine, površine i zapremine. Posebno važan primer je Lebegova mera na Euklidovom prostoru, kojom se dodeljuju konvencijalne dužine, površine, i zapremine Euklidove geometrije podesnim podskupovima -dimenzionog Euklidovog prostora . Na primer, Lebegova mera intervala u realnim brojevima je njena dužina u svakodnevnom smislu reči – specifično, 1.

Tehnički, mera je funkcija koja dodeljuje nenegativni realni broj ili +∞ (izvesnim) podskupovima skupa . Ona mora da dodeli 0 praznom skupu i da bude (prebrojivo) aditivna: mera 'velikog' podskupa koja se može razložiti u konačni (ili prebrojivi) broj 'manjih' razdvojenih podskupova, je suma mera „manjih” podskupova. Generalno, ako se želi da se asocira konzistentna veličina sa svakim podskupom datog skupa uz zadovoljavanje drugih aksioma mere, mogu se naći samo trivijalni primeri kao što je prebrojavajuća mera. Ova problem je bio rešen putem definisanja mere samo na potkolekciji svih podskupova; takozvanim merljivim potskupovima, od kojih se očekuje da formiraju -algebru. To znači da su prebrojive jedinice, prebrojivi preseci i komplementi merljivih potskupova merljivi. Nemerljivi skupovi u Euklidovom prostoru, na kojima se Lebegova mera ne može kozistentno definisati, su neophodno komplikovani u smislu da su pomešani sa svojim komplementom. Njihovo postojanje je netrivijalna posledica aksioma izbora.[15]

Numerička analiza[uredi | uredi izvor]

Numerička analiza je studija algoritama koji koriste numeričku aproksimaciju (za razliku od opštih simboličkih manipulacija) za probleme matematičke analize (što je različito od diskretne matematike).[16] Moderna numerička analiza ne traži precizne odgovore, pošto je precizne odgovore često nemoguće dobiti u praksi. Umesto toga, najveći deo numeričke analize se bavi nalaženjem približnih rešenja uz zadržavanje grešaka u razumnim granicama. Numerička analiza prirodno nalazi primene u svim poljima inženjerstva i fizičkih nauka. U 21. veku su brojni elementi naučnih proračuna našli primenu u većini prirodnih nauka, pa čak i grana umetnosti. Obične diferencijalne jednačine se javljaju u nebeskoj mehanici (izučavanju planeta, zvezda i galaksija); numerička linearna algebra je važna za analizu podataka; stohastičke diferencijalne jednačine i lanci Markova[17][18] su esencijalni u simuliranju živih ćelija u medicinskim i biološkim istraživanjima.[19][20][21][22]

Reference[uredi | uredi izvor]

  1. ^ Ruelle, David; Takens, Floris (1971). „On the nature of turbulence”. Communications in Mathematical Physics. 20 (3): 167—192. doi:10.1007/bf01646553. 
  2. ^ D., Chekroun M.; Simonnet, E. & Ghil, M. (2011). „Stochastic climate dynamics: Random attractors and time-dependent invariant measures”. Physica D. 240 (21): 1685—1700. doi:10.1016/j.physd.2011.06.005. 
  3. ^ Edwin Hewitt and Karl Stromberg, "Real and Abstract Analysis", Springer-Verlag, 1965
  4. ^ Stillwell, John Colin. „analysis | mathematics”. Encyclopædia Britannica. Pristupljeno 31. 7. 2015. 
  5. ^ Jahnke 2003, str. 7
  6. ^ Rudin 1976.
  7. ^ Abbott 2001.
  8. ^ Ahlfors 1979.
  9. ^ Rudin 1991.
  10. ^ Conway 1994.
  11. ^ Ince 1958
  12. ^ Hurewicz 2002
  13. ^ Evans 1998.
  14. ^ Terence Tao, 2011. An Introduction to Measure Theory. American Mathematical Society.
  15. ^ Fraenkel, Abraham A.; Bar-Hillel, Yehoshua; Lévy, Azriel (1973), Foundations of set theory (2nd izd.), Amsterdam-London: North-Holland Publishing Co., str. 69—70, ISBN 9780080887050, MR 0345816 
  16. ^ Hildebrand 1974.
  17. ^ Gagniuc 2017, str. 1–235
  18. ^ „Markov chain | Definition of Markov chain in US English by Oxford Dictionaries”. Oxford Dictionaries | English. Arhivirano iz originala 15. 12. 2017. g. Pristupljeno 14. 12. 2017. 
  19. ^ Pratas, D; Silva, R; Pinho, A; Ferreira, P (18. 5. 2015). „An alignment-free method to find and visualise rearrangements between pairs of DNA sequences”. Scientific Reports (Group Nature). 5 (10203): 10203. Bibcode:2015NatSR.510203P Proverite vrednost parametra |bibcode= length (pomoć). PMC 4434998Slobodan pristup. PMID 25984837. doi:10.1038/srep10203. 
  20. ^ Gibson, Matthew C; Patel, Ankit P.; Perrimon, Norbert; Perrimon, Norbert (2006). „The emergence of geometric order in proliferating metazoan epithelia”. Nature. 442 (7106): 1038—1041. Bibcode:2006Natur.442.1038G. PMID 16900102. doi:10.1038/nature05014. 
  21. ^ George, Dileep; Hawkins, Jeff (2009). Friston, Karl J., ur. „Towards a Mathematical Theory of Cortical Micro-circuits”. PLoS Comput Biol. 5 (10): e1000532. Bibcode:2009PLSCB...5E0532G. PMC 2749218Slobodan pristup. PMID 19816557. doi:10.1371/journal.pcbi.1000532. 
  22. ^ Gupta, Ankur; Rawlings, James B. (april 2014). „Comparison of Parameter Estimation Methods in Stochastic Chemical Kinetic Models: Examples in Systems Biology”. AIChE Journal. 60 (4): 1253—1268. PMC 4946376Slobodan pristup. PMID 27429455. doi:10.1002/aic.14409. 

Literatura[uredi | uredi izvor]

Spoljašnje veze[uredi | uredi izvor]