Matematička analiza

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]

Č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.

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
 
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

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

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

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čavati 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

Metrički prostori

uredi

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

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čki 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

Matematičku analizu čine sledeće oblasti:

Realna analiza

uredi

Realna analiza (tradicionalno, teorija funkcija realnih vrednosti) je grana matematičke analize koja se bavi realnim brojevima i realno-vrednosnim funkcijama realnih promenljivih.[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

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

Funkcionalna analiza je grana matematičke analize, u čijoj osnovi je izučavanje vektorskih prostora obogaćeno nekom vrstom strukture vezane za limite (npr. unutrašnji 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 Furijeove 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

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

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 konzistentno 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

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
  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 4434998 . 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 2749218 . 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 4946376 . PMID 27429455. doi:10.1002/aic.14409. 

Literatura

uredi

Spoljašnje veze

uredi