Математичка анализа

(преусмерено са Mathematical analysis)

Математичка анализа (старогрчки ανάλυσις, análysis, решење) је област математике која између осталог проучава граничне вредности, интеграле, изводе и редове. Област се помиње и под именима виша математика, инфинитезимални рачун, а у енглеској литератури као „Калкулус“ (енгл. Calculus). То је веома широка област математике и предмет је вишегодишњих студија на факултетима.[3][4]

Чудни атрактор који произилази из диференцијалне једначине.[1][2] Диференцијалне једначине су важна област математичке анализе са мноштвом примена у науци и инжењерству.

У принципу, дели се на два дела: диференцијални и интегрални рачун. Проучавање бесконачних редова и аналитичких функција такође спада у домен аналитичке математике.

Историјски развој уреди

 
Архимед користи метод исцрпљивања да израчуна површину унутар круга путем налажења области регуларних полигона са све више и више страница. То је био јенан рани мада неформални пример лимита, једног од најосновнијих концепата у математичкој анализи.

Диференцијални рачун уреди

Диференцијални рачун и диференцирање проучавају промене функција реалних променљивих при променама независне варијабле, тј. независне променљиве. Полази се од проблема налажења тангенте на криву, који је први објавио Исак Бароу (Isaac Barrow: Lectiones geometricae, 1670). Исак Њутн (Isaac Newton) је открио метод (1665—1666) и сугерисао Исаку Бароу, свом професору математике, да методу укључи у уџбеник. У својој првобитној теорији, Њутн је посматрао функцију као променљиву, флуентну количину, и разлику, или износ промене, назвао флукс (fluxion). Дефинисао је нагиб криве у тачки као прираштај тангенте на ту криву у малој околини дате тачке. Данас веома познату биномну теорему Њутн је применио да нађе гранични случај, што значи да је диференцијални рачун Њутну био потребан за бесконачне низове. Употребио је ознаке икс, односно ипсилон са тачком изнад ( ) за флукс, и исто са две тачке изнад ( ) за флукс флукса. Тако, ако је  , где је t време потребно телу да би се прешло пут х, тада је флукс икса тренутна брзина, а флукс флукса је тренутно убрзање. Лајбниц (Leibniz) је такође открио исту методу 1676. године, објавио је 1684. Њутн је није објавио све до 1687. (у Philosophiae Naturalis Principia Mathematica, Математички принципи природне филозофије). Зато се развила горка расправа око приоритета открића. Заправо, данас је познато, обојица су дошли до истог открића независно један од другог. Савремена нотација дугује Лајбицу dy/dx и издужено S (од „сума“) за интеграл.

Интегрални рачун уреди

Интегрални рачун и интеграција користе се за израчунавање површина, запремина тела, дужина криве, тежишта, момента инерције. Вуче корене још од Еудокса Книдског (Eudoxus of Cnidus, 408-347. п. н. е.), грчког астронома и математичара, и његове методе „исцрпљивања“ из периода око 360. п. н. е. Архимед је у свом делу „Метода“ развио начин налажења површина ограничених кривама, разматрајући их подељене многобројним паралелним линијама и проширио идеју на налажење запремина неких тела. Због тога га неки називају оцем интегралног рачуна.

Почетком 17. века, поново се појавио интерес за мерење запремина интегралном методом.[5] Кеплер је користио процедуре налажења запремина тела узимајући их као композицију бесконачног скупа инфинитезимално (бесконачно) малих елемената (Stereometrija doliorum, Мерење запремина буради, 1615). Ове идеје је поопштио Кавалијери (Cavalieri) у свом делу Geometria indivisibilibus continuorum nova (1635), у којем је употребио идеју да се површина састоји из недељивих линија, а запремина од недељивих површина. То је данас познати Кавалијеријев принцип, а такође то је био и концепт Архимедове методе. Џон Валис у свом делу Бесконачна аритметика (John Wallis, Arithmetica ifinitorum, 1655) је аритметизовао Кавалијерове идеје. У том раздобљу су инфинитезималне методе интензивно кориштене за тражење дужина кривих и површина.

Савремена математика уреди

Негде у данашње време, интеграција се почела тумачити једноставно као операција инверзна диференцирању. Коши (Cauchy) је 1820-их диференцијални и интегрални рачун поставио на сигурније основе заснивајући их на лимесу. Диференцирање је дефинисао као граничну вредност количника, а интегрирање као граничну вредност збира. Дефиницију интеграла помоћу граничне вредности уопштио је Риман (Riemann).

У двадесетом веку, схватање интеграла је проширено. У почетку, интегрирање се односило на елементарну идеју мерења (мерење дужина, површина, запремина) са непрекидним функцијама. Са појавом теорије скупова, функције су се почеле третирати као пресликавања, не обавезно непрекидна, и појавило се општије и апстрактније схватање мере. Лебег (Lebesgue) је објавио дефиницију интегрирања засновану на Лебеговој мери скупа. Појавио се Лебегов интеграл.

Теорије математичке анализе се обично проучавају у контексту реалних бројева, комплексних бројева, и реалних и комплексних функција. Међутим, оне се могу дефинисати и проучаватии у било ком другом простору математичких објеката, који има дефинисану близину (тополошки простор) или специфичније раздаљину (метрички простор).

Важни концепти уреди

Метрички простори уреди

У математици, метрички простор је скуп где је појам растојања (звани метрика) између елемената скупа дефинисан.

Највећи део анализе се одвија у неком метричком простору; најшире коришћени су реална линија, комплексна раван, Еуклидов простор, други векторски простори, и цели бројеви. Примери анализе без метрика обухватају теорију мера (која описује величину, а не растојање) и функционалну анализу (која изучава тополошке векторске просторе који не морају да имају никакав осећај за даљину).

Формално, метрички простор је уређени пар  , где је   скуп, а   је метрика на  , i.e., функција

 

таква да за свако   важи следеће:

  1.   ако и само ако  ,
  2.   (симетрија) и
  3.   (неједнакост троугла) .

Полазећи од трећег својства и узимајући да је  , може се показати да је   (не-негативно).

Низови и лимити уреди

Низ је уређена листа. Попут скупа, он садржи чланове (који се називају и елементи). За разлику од скупа, друге ствари, и исти елементи могу да се појаве више пута на различитим позицијама у низу. Низ се најпрецизније може дефинисати као функција чији домен је пребројив тотално уређен скуп, као што су природни бројеви.

Један од најважнијих својстава низа је конвергенција. Неформално, низ конвергира ако има лимит. Настављајући информално, (појединачно-бесконачно) низ има лимит ако се приближава некој тачци x, званој лимит, кад n постане веома велико. Другим речима, за један апстрактни низ (an) (са n у подразумеваном опсегу од 1 до бесконачности) растојање између an и x се приближава 0 кад n → ∞, што се означава са

 

Главне области уреди

Математичку анализу чине следеће области:

Реална анализа уреди

Реална анализа (традиционално, теорија функција реалних вредности) је грана математичке анализе која се бави реалним бројевима и реално-вредносним функцијама реалних променњивих.[6][7] Специфично, она се бави аналитичким својствима реалних функција и низова, укључујући конвергенцију и лимите низова реалних бројева, калкулус реалних бројева, и непрекидност, глаткост и сродна својства функција реалних вредности.

Комплексна анализа уреди

Комплексна анализа, традиционално позната као теорија функција комплексних променљивих, је грана математичке анализе која истражује функције комплексних бројева.[8] То је корисно у многим гранама математике, укључујући алгебарску геометрију, теорију бројева, примењену математику; као и у физици, укључујући хидродинамику, термодинамику, машинство, електротехнику, и посебно, квантну теорију поља.

Комплексном анализом се специфично обухватају аналитичке функције комплексних променљивих (или генерално мероморфне функције). Због тога што засебни реални и имагинарни делови аналитичке функције морају да задовоље Лапласову једначину, комплексна анализа је широко применљива на дводимензионе проблеме у физици.

Функционална анализа уреди

Функционална анализа је грана математичке анализе, у чијој основи је изучавање векториских простора обогаћено неком врстом структуре везане за лимите (нпр. унутрашљи производ, норма, топологија, etc.) и линеарним операторима који делују на тим просторима поштујући ове структуре у одговарајућем смислу.[9][10] Историјски корени функционалне анализе леже у студијама функционих простора и формулисању својстава трансформација функција попут Фуријеве трансформације, као трансформација којима се дефинишу континуирани, унитарни и други оператори између функцијских простора. Испоставило се да је ова тачка гледишта посебно корисна при студирању диференцијалних и интегралних једначина.

Диференцијалне једначине уреди

Диференцијална једначина је математичка једначина за једну непознату функцију са једном или неколико променљивих која повезује вредности саме функције и њених извода разних редова.[11][12][13] Диференцијалне једначине играју проминентну улогу у инжењерству, физици, економији, биологији, и другим дисциплинама.

Диференцијалне једначине се јављају у многим областима науке и технологије, специфично кад год детерминистичка релација обухвата неке од непрекидно варирајућих квантитета (моделованих функцијама) и кад су њихове брзине промене у простору и времену (изражене у виду деривата) познате или постулиране. Ово је илустровано у класичној механици, где је кретање тела описано његовом позицијом и брзином као функција времена. Њутнови закони омогућавају изражавање (дате позиције, брзине, убрзања и разних сила које делују на тело) тих променљивих динамички у виду диференцијалне једначине за непознату позицију тела као функције времена. У неким случајевима, ова диференцијална једначина (звана једначина кретања) може да буде експлицитно решена.

Теорија мера уреди

Мера на скупу је систематски начин додељивања броја сваком подесном подскупу датог скупа, интуитивно интерпретирана као његова величина.[14] У том смислу, мера је генерализација концепата дужине, површине и запремине. Посебно важан пример је Лебегова мера на Еуклидовом простору, којом се додељују конвенцијалне дужине, површине, и запремине Еуклидове геометрије подесним подскуповима  -димензионог Еуклидовог простора  . На пример, Лебегова мера интервала   у реалним бројевима је њена дужина у свакодневном смислу речи – специфично, 1.

Технички, мера је функција која додељује ненегативни реални број или +∞ (извесним) подскуповима скупа  . Она мора да додели 0 празном скупу и да буде (пребројиво) адитивна: мера 'великог' подскупа која се може разложити у коначни (или пребројиви) број 'мањих' раздвојених подскупова, је сума мера „мањих” подскупова. Генерално, ако се жели да се асоцира конзистентна величина са сваким подскупом датог скупа уз задовољавање других аксиома мере, могу се наћи само тривијални примери као што је пребројавајућа мера. Ова проблем је био решен путем дефинисања мере само на потколекцији свих подскупова; такозваним мерљивим потскуповима, од којих се очекује да формирају  -алгебру. То значи да су пребројиве јединице, пребројиви пресеци и комплементи мерљивих потскупова мерљиви. Немерљиви скупови у Еуклидовом простору, на којима се Лебегова мера не може козистентно дефинисати, су неопходно компликовани у смислу да су помешани са својим комплементом. Њихово постојање је нетривијална последица аксиома избора.[15]

Нумеричка анализа уреди

Нумеричка анализа је студија алгоритама који користе нумеричку апроксимацију (за разлику од општих симболичких манипулација) за проблеме математичке анализе (што је различито од дискретне математике).[16] Модерна нумеричка анализа не тражи прецизне одговоре, пошто је прецизне одговоре често немогуће добити у пракси. Уместо тога, највећи део нумеричке анализе се бави налажењем апроксимативних решења уз задржавање грешака у разумним границама. Нумеричка анализа природно налази примене у свим пољима инжењерства и физичких наука. У 21. веку су бројни елементи научних прорачуна нашли примену у већини природних наука, па чак и грана уметности. Обичне диференцијалне једначине се јављају у небеској механици (изучавању планета, звезда и галаксија); нумеричка линеарна алгебра је важна за анализу података; стохастичке диференцијалне једначине и ланци Маркова[17][18] су есенцијални у симулирању живих ћелија у медицинским и биолошким истраживањима.[19][20][21][22]

Референце уреди

  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. Приступљено 31. 7. 2015. 
  5. ^ Jahnke 2003, стр. 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 изд.), Amsterdam-London: North-Holland Publishing Co., стр. 69—70, ISBN 9780080887050, MR 0345816 
  16. ^ Hildebrand 1974.
  17. ^ Gagniuc 2017, стр. 1–235
  18. ^ „Markov chain | Definition of Markov chain in US English by Oxford Dictionaries”. Oxford Dictionaries | English. Архивирано из оригинала 15. 12. 2017. г. Приступљено 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 Проверите вредност параметра |bibcode= length (помоћ). 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., ур. „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. (април 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. 

Литература уреди

Спољашње везе уреди