Преглед на кода на Математически анализ

[[Файл:Attracteur étrange de Lorenz.png|thumb|upright=1.2|[[Диференциално уравнение|Диференциалните уравнения]] – като описващото визуализирания тук [[атрактор]] – са важна подобласт на математическия анализ с множество приложенията в науката и техниката]]

'''Математическият анализ''' е клон от [[математика]]та, който се занимава с изследване на поведението на [[Непрекъснатост|непрекъснатите]] [[функция|функции]], [[граница (математика)|границите]] и свързаните с тях обекти и действия, като [[диференциране]], [[интегриране]], [[размерност]], [[редица]], [[Числов ред|ред]] и [[аналитична функция]].{{hrf|Hewitt|1965|}}{{hrf|Stillwell|2015}}

Анализът има две основни подразделения: [[диференциално смятане]] и [[интегрално смятане]]. Диференциалното смятане изследва скоростта на изменение на [[функция|функциите]], а интегралното смятане се занимава с натрупванията на стойности вследствие от някаква функция. Например, ако познаваме по какъв начин се изменя положението на някакъв обект с течение на времето, то с помощта на диференциалното смятане можем да определим скоростта на този обект във всеки момент от неговото придвижване. И обратното, ако знаем как се е изменяла скоростта му във времето, то с помощта на интегралното смятане можем да определим местоположението му във всеки момент.

Основните понятия, с които работи математическият анализ, са:
* [[диференциал (математика)|диференциал]], което означава безкрайно малка промяна на някаква стойност;
* [[граница (математика)|граница]] и [[сходимост]] на [[функция]];
* [[производна|диференциране]], или изчисляване на стръмността на функция;
* [[интеграл|интегриране]], или изчислявяне на натрупването на някаква стойност.

Математическият анализ намира приложение в почти всички науки, които използват математически апарат, но най-често се използва във [[физика]]та, [[електроника]]та, [[информатика]]та, [[икономика]]та и др.

В ежедневието често математическият анализ се прилага подсъзнателно. Например, ако наблюдаваме движението на един автомобил, ние нямаме представа директно за скоростта му (не виждаме скоростомера му), но когато видим как (колко бързо) се изменя положението му на пътя, успяваме да преценим и скоростта му.

== Основни понятия ==
=== Безкрайно малки величини и граници ===
{{основна|Безкрайно малка величина|Граница (математика)}}

Исторически математическият анализ възниква, като теория на изчисленията с участие на [[Безкрайно малка величина|безкрайно малки величини]]{{hrf|Katz|2012|571 – 625}} – математически обекти, които са различни от [[0]], но са по-малки по [[абсолютна стойност]] от всяко [[реално число]], макар да запазват много от свойствата на реалните числа. Така безкрайно малката величина ''dx'' може да бъде по-голяма от 0 и по-малка от всяко число от безкрайната числова [[редица]] 1, 1/2, 1/3, ... Произведенията на безкрайно малките величини с крайни числа остават безкрайно малки, като по този начин нарушават валидната за реалните числа [[аксиома на Архимед]]. В същото време съотношенията между безкрайно малки величини продължават да имат смисъл – така производните на функция ''y''(''x'') първоначално са дефинирани като частното на безкрайно малко изменение на функцията ''dy'' и съответното безкрайно малко изменение на независимата променлива ''dx''.

Макар и интуитивно разбираемо,{{hrf|Arnold|1990|27}} понятието за безкрайно малки величини се оказва трудно за формално дефиниране{{hrf|Bell|2013}} и през XIX век математическият анализ е преформулиран като вместо него е използвана концепцията за [[граница (математика)|граница]]. Границите изразяват стойността на дадена функция при определена стойност на нейните параметри чрез стойностите на функцията при близки стойности на параметрите. Както и безкрайно малките величини, границите се използват за описване на дребномащабното поведение на функциите, но оставайки в рамките на системата на реалните числа.

От тази гледна точка анализът се превръща в сбор от техники за манипулиране на граници. Границите са най-простият начин за строго дефиниране на анализа и продължават да бъдат най-често използвания подход и в наши дни. В същото време през XX век се достига до строги дефиниции и с помощта на безкрайно малките величини, като този подход намира приложение в области като [[нестандартен анализ|нестандартния анализ]].

=== Функции ===
{{основна|Функция}}
{{раздел-мъниче}}

=== Непрекъснатост ===
{{основна|Функция}}
{{раздел-мъниче}}

== Диференциално смятане ==
{{основна|Диференциално смятане}}

[[Файл:Sec2tan.gif|мини|300п|Производната ''f′''(''x'') на дадена крива в определена точка е [[Наклон (математика)|наклонът]] на допирателната към кривата в тази точка. Наклонът се определя чрез граничната стойност на наклоните на секущите в близост до точката. На графиката в червено е показана функцията ''f''(''x'') = ''x''<sup>3</sup> − ''x''. В зелено е допирателната през точката (−3/2, −15/8), която има наклон 23/4. Вертикалният и хоризонталният мащаб в графиката са различни.]]

Една от основните подобласти на математическия анализ е [[Диференциално смятане|диференциалното смятане]], което изследва диференцирането, процесът на получаване на [[производна]]та на дадена функция. Производната на дадена функция в определена точка от нейното дефиниционно множество характеризира дребномащабното поведение на функцията в тази точка, отразявайки промяната в нейната стойност при много малко изменение на нейния аргумент.

Например, ако ''f'' е функция, ''a'' е число от нейното дефиниционно множество, а ''h'' е число близко до 0, тогава ''a'' е близко до ''a'' + ''h'', а ''f''(''a'') е близко до ''f''(''a'' + ''h''), а наклонът на графиката на функцията между тези две точки е:

:<math>m = \frac{f(a+h) - f(a)}{(a+h) - a} = \frac{f(a+h) - f(a)}{h}</math>

Този израз се нарича [[диференчно частно]]. Правата, преминаваща през двете точки от графиката на функцията се нарича [[секуща]], така че ''m'' е наклонът на секущата между точките (''a'', ''f''(''a'')) и (''a'' + ''h'', ''f''(''a'' + ''h'')). Секущата е само приближение на поведението на функцията в точката ''a'', тъй като тя не отчита какво става между ''a'' и ''a'' + ''h''. Тъй като е невъзможно ''h'' да се приеме за 0, защото това би довело до деление на 0, производната се дефинира като границата на израза, когато ''h'' клони към 0:

:<math>\lim_{h \to 0}{f(a+h) - f(a)\over{h}}</math>

Например, производната на функцията ''f''(''x'') = ''x''<sup>2</sup> в точката ''a'' = 3 се изчислява по следния начин:

:<math>\lim_{h \to 0}{(3+h)^2 - 3^2\over{h}} = \lim_{h \to 0}{9 + 6h + h^2 - 9\over{h}} = \lim_{h \to 0}{6h + h^2\over{h}} = \lim_{h \to 0} (6 + h) = 6
</math>

Чрез определянето на производната на функцията във всяка точка от нейното дефиниционно множество се получава нова функция – за разлика от функциите, при които аргументът и резултатът са числа, диференцирането представлява [[линеен оператор]] с аргумент изходната функция и резултат нейната производна функция. Например, ако изходната функция е ''f''(''x'') = ''x''<sup>2</sup>, резултатът от диференцирането ще е друга функция: ''g''(''x'') = 2''x''.

Съществуват няколко различни конвенции за означаване на производните, като най-често се използват тези на Лайбниц и Лагранж:
{| class="wikitable" style="text-align:center;"
| style="width:25%;" | Означения на Лайбниц
| style="width:25%;" | Означения на Лагранж
| style="width:25%;" | Означения на Нютон
| style="width:25%;" | Означения на Ойлер
|-
| <math> g(x) = \frac{df}{dx} \!</math>
| <math> g(x) = f'(x) \!</math>
| <math> g(x) = \dot f(x) \!</math>
| <math> g(x) = D_x f(x) \!</math>
|}

== Интегрално смятане ==
{{основна|Интегрално смятане}}
{{раздел-мъниче}}

=== Фундаментална теорема на анализа ===
{{основна|Фундаментална теорема на анализа}}

Според [[Фундаментална теорема на анализа|фундаменталната теорема на анализа]] диференцирането и интегрирането са обратни действия. Тя свързва стойностите на [[Антипроизводна|антипроизводните]] и [[определен интеграл|определените интеграли]]. Тъй като обикновено е по-лесно да се изчисли антипроизводната, отколкото да се приложи определението за определен интеграл, фундаменталната теория на анализа често се използва в практиката за изчисляване на определени интеграли.

Фундаменталната теорема на анализа гласи, че ако дадена функция ''f'' е [[Непрекъснатост|непрекъсната]] в интервала [''a'', ''b''] и ако ''F'' е функция, чиято производна в интервала (''a'', ''b'') е ''f'', тогава:

:<math>\int_{a}^{b} f(x)\,dx = F(b) - F(a)</math>

Освен това за всяко ''x'' в интервала (''a'', ''b'')

:<math>\frac{d}{dx}\int_a^x f(t)\, dt = f(x)</math>

Тези зависимости, установени от [[Исак Нютон]] и [[Готфрид Лайбниц]] въз основа на по-ранната работа на [[Айзък Бароу]], стават изходна точка за мащабното развитие на математическия анализ. Фундаменталната теорема дава възможност за прилагането на алгебрични методи за изчисляване на много определени интеграли без прилагането на граници и става основа за решаването на много [[диференциално уравнение|диференциални уравнения]].

== История ==
[[Файл:Archimedes pi.svg|мини|300px|Древногръцкият учен Архимед използва метода на изчерпването, за да изчисли площта на кръг чрез последователно изчисляване на площите на правилни многоъгълници с все по-голям брой на страните – ранно приложение на концепцията за граница, основна за съвременния математически анализ]]

Макар математическият анализ да се развива през XVII век в хода на [[Научна революция|Научната революция]],{{hrf|Jahnke|2003|7}} много от използваните от него идеи могат да бъдат открити и в по-ранната математика. Ранно използване на аналитични методи присъстват неявно още в античната математика. Например, [[Парадокси на Зенон|дихотомичната апория]] на [[Зенон от Елея]] имплицитно използва концепцията за [[Геометричен ред|безкраен геометричен сбор]],{{hrf|Stillwell|2004|170}} макар че Зенон се опитва да демонстрира безсмислеността на подобен сбор. По-късно древногръцки математици, като [[Евдокс от Книд]] и [[Архимед]], достигат до по-явни, макар и неформални, приложения на концепциите за граница и сходимост, прилагайки [[метод на изчерпването|метода на изчерпването]] за изчисляването на площи и обеми.{{hrf|Smith|1958|}} Явното използване на безкрайно малки величини се появява за пръв път в „[[Метод на механичните теореми]]“ на Архимед, труд преоткрит през XX век.{{hrf|Pinto|2004|8}}

В [[Индия]] е регистрирано използването на сбор на геометрични редове от [[Бхадрабаху]],{{hrf|Basant|2013|291 – 313}} d формули за сбора на аритметични и геометрични редове може да са били известни на авторите на [[Джайнизъм|джайнистката]] литература от през IV век пр. Хр.{{hrf|Singh|1936|606 – 628}} Към III век сл. Хр. [[китай]]ският математик [[Лиу Хуей]] също използва метода на изчерпването за определяне на площта на кръг.{{hrf|Dun|1966|279}} През V век [[Дзу Чунджъ]] развива метода, по-късно наречен [[принцип на Кавалиери]], за намирането на обема на сфера.{{hrf|Zill|2009|xxvii}} По същото време индийският математик и астроном [[Ариабхата]] използва идеята за безкрайно малки стойности, за да изрази астрономическа задача чрез [[диференциално уравнение]].

През XII век индийският математик [[Бхаскара II]] дава примери за производни и използва [[теорема на Рол|теоремата на Рол]].{{hrf|Seal|1915|177}} През XIV век [[Мадхава от Сангамаграма]] разработва развиване на тригонометричните функции в [[ред на Тейлър|редове на Тейлър]].{{hrf|Rajagopal|1978|89 – 102}}

Основите на математическия анализ са поставени в Европа през XVII век.{{hrf|Jahnke|2003|7}} Този процес започва с разработването от французите [[Пиер дьо Ферма]] и [[Рене Декарт]] на [[аналитична геометрия|аналитичната геометрия]], пряк предшественик на анализа. Ферма създава общ метод за определяне на минимумите и максимумите на функции и на допирателните към криви,{{hrf|Pellegrino|2008}} а Декартовата „[[Геометрия (Рене Декарт)|Геометрия]]“ от 1637 година понякога е сочена за начална точка на математическия анализ.

Като цялостна система математическият анализ е развит през втората половина на XVII век независимо един от друг от англичанина [[Исак Нютон]] и германеца [[Готфрид Лайбниц]]. С поредица от приложни изследвания през следващото столетие създаденото от тях диференциално смятане се развива в изцяло нови области, като [[вариационно смятане]], [[Обикновено диференциално уравнение|обикновени]] и [[Частно диференциално уравнение|частни диференциални уравнения]] или [[анализ на Фурие]]. През този период бързо развиващият се математически анализ започва да се използва за приблизително решаване на [[Дискретна математика|дискретни задачи]] чрез апроксимирането им с непрекъснати.

През XVIII век швейцарецът [[Леонард Ойлер]] въвежда концепцията за [[функция|математическа функция]].{{hrf|Dunham|1999|17}} Реалният анализ започва да се обособява като самостоятелна област, след като чехът [[Бернард Болцано]] въвежда съвременната дефиниция за непрекъснатост през 1816 година.{{hrf|Cooke|1997|379}} През 1821 година французинът [[Огюстен Луи Коши]] започва да преформулира анализа върху твърди логически основи, отхвърляйки принципа за [[общност на алгебрата]], широко прилаган до този момент. Вместо това Коши формулира анализа чрез геометрични концепции и безкрайно малки величини. Така например, неговата дефиниция на непрекъснатостта изисква безкрайно малко изменение на параметъра ''x'' да води до безкрайно малко изменение на функцията ''y''. Той въвежда и концепцията за [[редица на Коши]] и поставя началото на формална теория на [[комплексен анализ|комплексния анализ]]. Германецът [[Карл Вайерщрас]] въвежда строгата [[(ε, δ) дефиниция]] за граница на функция. Друг германец, [[Бернхард Риман]], създава теорията на интегрирането и разширява областта на комплексния анализ. С приносите на тези и други математици от средата на XIX век се формират основите на съвременната област на математическия анализ.

Към края на XIX век математиците започват да обсъждат въпроса дали приеманото съществуване на [[континуум]] на [[реално число|реалните числа]] не се нуждае от доказване. В отговор на това германецът [[Рихард Дедекинд]] представя реалните числа чрез [[дедекиндово сечение|дедекиндови сечения]], в които ирационалните числа са формално дефинирани, образувайки заедно с рационалните [[пълно метрично пространство]]. Така той дава по-строга дефиниция на континуума на реалните числа от разработения столетия преди това от фламандеца [[Симон Стевин]]. По същото време опитите да се прецизират теоремите на [[Интеграл на Риман|римановото интегриране]] довеждат до начало на изследванията на размера на [[Точка на прекъсване|прекъсванията]] на реалните функции.

През този период започва и изучаването на различни [[Патология (математика)|патологични обекти]], като [[навсякъде прекъсната функция]], [[Функция на Вайерщрас|непрекъсната, но никъде диференцируема функция]] и [[запълваща пространството крива]]. В този контекст французинът [[Камий Жордан]] разработва теорията на [[Размерност на Жордан|размерността]], германецът [[Георг Кантор]] създава днешната [[наивна теория на множествата]], а французинът [[Рене-Луи Бер]] извежда своята [[Теорема на Бер|теорема за категориите]]. В началото на XX век анализът е формализиран и въз основа на аксиоматичната теория на множествата. Французинът [[Анри Льобег]] внася значителни подобрения в теорията на размерността и създава [[Интеграл на Льобег|собствена теория на интегрирането]], внасяйки значителни подобрения в теорията на Риман. Германецът [[Давид Хилберт]] използва създадените от него [[Хилбертово пространство|хилбертови пространства]] за решаване на [[интегрално уравнение|интегрални уравнения]]. Разпространява се идеята за [[нормирано пространство|нормираните пространства]], а през 20-те години полякът [[Стефан Банах]] поставя началото на [[функционален анализ|функционалния анализ]].

== Бележки ==
<references/>

; Цитирани източници
* {{cite book | last      = Arnold | first = V. I | year = 1990 | title = Huygens and Barrow, Newton and Hooke. Pioneers in mathematical analysis and catastrophe theory from evolvents to quasicrystals | publisher = Birkhäuser Verlag | location = Basel | lang = en}}
* {{cite journal | last   = Basant | first = K. B. | coauthors = Satyananda Panda | title = Summation of Convergent Geometric Series and the concept of approachable Sunya | journal = Indian Journal of History of Science | volume = 48 | year = 2013 | pages = 291 – 313 | url = https://insa.nic.in/writereaddata/UpLoadedFiles/IJHS/Vol48_2_7_KBBasant.pdf | lang = en}}
* {{cite web | last       = Bell | first = John L. | year = 2013 | url = https://plato.stanford.edu/entries/continuity/#1 | title = Continuity and Infinitesimals | publisher = stanford.edu | date = 6 September 2013 | work = Stanford Encyclopedia of Philosophy | lang = en}}
* {{cite book | last      = Cooke | first = Roger | title = The History of Mathematics: A Brief Course | publisher = Wiley-Interscience | year = 1997 | isbn = 978-0-471-18082-1 | url = https://archive.org/details/historyofmathema0000cook/page/379 | chapter = Beyond the Calculus | quote = Real analysis began its growth as an independent subject with the introduction of the modern definition of continuity in 1816 by the Czech mathematician Bernard Bolzano (1781 – 1848) | chapter-url = https://archive.org/details/historyofmathema0000cook/page/379 | lang = en}}
* {{cite book | last      = Dun | first = Liu | coauthors = Fan Dainian, Robert Sonné Cohen | series = Chinese studies in the history and philosophy of science and technology | volume = 130 | title = A comparison of Archimedes' and Liu Hui's studies of circles | publisher = Springer | year = 1966 | isbn = 978-0-7923-3463-7 | url = https://books.google.com/books?id=jaQH6_8Ju-MC&pg=PA279 | access-date = 2015-11-15 | archive-date = 2016-05-26 | archive-url = https://web.archive.org/web/20160526221958/https://books.google.com/books?id=jaQH6_8Ju-MC&pg=PA279 | url-status = live | lang = en}}
* {{cite book | last      = Dunham | first = William | title = Euler: The Master of Us All | url-access = registration | year = 1999 | publisher = The Mathematical Association of America | url = https://archive.org/details/eulermasterofusa0000dunh/page/17 | lang = en}}
* {{cite book | last      = Hewitt | first = Edwin | authorlink = Едуин Хюит | coauthors = Karl Stromberg | year = 1965 | title = Real and Abstract Analysis | url      = https://archive.org/details/realabstractanal0000hewi | publisher = Springer-Verlag | location = | isbn = | lang = en}}
* {{cite book | last      = Jahnke | first = Hans Niels | title = A History of Analysis | url = https://books.google.com/books?id=CVRZEXFVsZkC&pg=PR7 | year = 2003 | publisher = American Mathematical Society | isbn = 978-0-8218-2623-2 | accessdate = 2015-11-15 | archive-date = 2016-05-17 | archive-url = https://web.archive.org/web/20160517180439/https://books.google.com/books?id=CVRZEXFVsZkC&pg=PR7 | url-status = live | doi = 10.1090/hmath/024 | lang = en}}
* {{cite journal | last   = Katz | first = Mikhail G. | coauthors = David Sherry | year = 2012 | title = Leibniz's Infinitesimals: Their Fictionality, Their Modern Implementations, and Their Foes from Berkeley to Russell and Beyond | journal = Erkenntnis | volume = 78 | issue = 3 | pages = 571 – 625 | arxiv   = 1205.0174 | doi = 10.1007/s10670-012-9370-y | s2cid = 119329569 | lang = en}}
* {{cite web | last       = Pellegrino | first = Dana | year = 2008 | title = Pierre de Fermat | url = http://www.math.rutgers.edu/~cherlin/History/Papers2000/pellegrino.html | access-date = 2008-02-24 | archive-date = 2008-10-12 | archive-url = https://web.archive.org/web/20081012024028/http://www.math.rutgers.edu/~cherlin/History/Papers2000/pellegrino.html | url-status = live | lang = en}}
* {{cite book | last      = Pinto | first = J. Sousa | title = Infinitesimal Methods of Mathematical Analysis | url = https://books.google.com/books?id=bLbfhYrhyJUC&pg=PA7 | year = 2004 | publisher = Horwood Publishing | isbn = 978-1-898563-99-0 | accessdate = 2015-11-15 | archive-date = 2016-06-11 | archive-url = https://web.archive.org/web/20160611045431/https://books.google.com/books?id=bLbfhYrhyJUC&pg=PA7 | url-status = live | lang = en}}
* {{cite journal | last   = Rajagopal | first = C. T. | coauthors = M. S. Rangachari | title = On an untapped source of medieval Keralese Mathematics | journal  = Archive for History of Exact Sciences | volume = 18 | number = 2 | date = June 1978 | year = 1978 | pages = 89 – 102 | doi = 10.1007/BF00348142 | s2cid = 51861422 | lang = en}}
* {{cite journal | last   = Seal | first= Sir Brajendranath | year = 1915 | title = The positive sciences of the ancient Hindus | journal = Nature | volume = 97 | issue = 2426 | page = 177 | bibcode = 1916Natur..97..177. | doi = 10.1038/097177a0 | hdl = 2027/mdp.39015004845684 | s2cid = 3958488 | hdl-access = free | lang = en}}
* {{cite journal | last   = Singh | first = A. N | title = On the Use of Series in Hindu Mathematics | journal = Osiris | volume = 1 | year = 1936 | pages = 606 – 628 | doi = 10.1086/368443 | jstor = 301627 | s2cid = 144760421 | url = https://www.jstor.org/stable/301627 | lang = en}}
* {{cite book | last      = Smith | first = David Eugene | author-link = Дейвид Юджийн Смит | year = 1958 | title = History of Mathematics | url = https://archive.org/details/historyofmathema0002smit | url-access = registration | publisher = Dover Publications | isbn = 978-0-486-20430-7 ) lang = en}}
* {{cite book | last      = Stillwell | first = John Colin | author-link = Джон Стилуел | title = Mathematics and its History | edition = 2nd | publisher = Springer Science+Business Media Inc. | isbn = 978-0-387-95336-6 | year = 2004 | chapter = Infinite Series | quote = Infinite series were present in Greek mathematics, [...] There is no question that Zeno's paradox of the dichotomy (Section 4.1), for example, concerns the decomposition of the number 1 into the infinite series <sup>1</sup>⁄<sub>2</sub> + <sup>1</sup>⁄<sub>2</sub><sup>2</sup> + <sup>1</sup>⁄<sub>2</sub><sup>3</sup> + <sup>1</sup>⁄<sub>2</sub><sup>4</sup> + ... and that Archimedes found the area of the parabolic segment (Section 4.4) essentially by summing the infinite series 1 + <sup>1</sup>⁄<sub>4</sub> + <sup>1</sup>⁄<sub>4</sub><sup>2</sup> + <sup>1</sup>⁄<sub>4</sub><sup>3</sup> + ... = <sup>4</sup>⁄<sub>3</sub>. Both these examples are special cases of the result we express as summation of a geometric series | lang = en}}
* {{cite web | last       = Stillwell | first = John Colin | year = 2015 | title = analysis {{!}} mathematics | url = https://www.britannica.com/topic/analysis-mathematics | accessdate = 2015-07-31 | work = britannica.com | publisher = Encyclopædia Britannica | archive-date = 2015-07-26 | archive-url = https://web.archive.org/web/20150726223522/https://www.britannica.com/topic/analysis-mathematics | url-status = live | lang = en}}
* {{cite book | last      = Zill | first = Dennis G. | coauthors = Scott Wright, Warren S. Wright | title = Calculus: Early Transcendentals | edition = 3 | publisher = Jones & Bartlett Learning | year = 2009 | isbn = 978-0-7637-5995-7 | url = https://books.google.com/books?id=R3Hk4Uhb1Z0C&pg=PR27 | accessdate = 2015-11-15 | archive-date = 2019-04-21 | archive-url = https://web.archive.org/web/20190421114230/https://books.google.com/books?id=R3Hk4Uhb1Z0C&pg=PR27 | url-status = live | lang = en}}

== Вижте също ==
* [[Вариационно смятане]]

== Външни препратки ==
* [http://mathworld.wolfram.com/Calculus.html Статия за математическия анализ в сайта на Wolfram]

{{Раздели на математиката}}
{{нормативен контрол}}

[[Категория:Математически анализ| ]]