Математически анализ – Уикипедия
![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/95/Attracteur_%C3%A9trange_de_Lorenz.png/260px-Attracteur_%C3%A9trange_de_Lorenz.png)
Математическият анализ е клон от математиката, който се занимава с изследване на поведението на непрекъснатите функции, границите и свързаните с тях обекти и действия, като диференциране, интегриране, размерност, редица, ред и аналитична функция.[1][2]
Анализът има две основни подразделения: диференциално смятане и интегрално смятане. Диференциалното смятане изследва скоростта на изменение на функциите, а интегралното смятане се занимава с натрупванията на стойности вследствие от някаква функция. Например, ако познаваме по какъв начин се изменя положението на някакъв обект с течение на времето, то с помощта на диференциалното смятане можем да определим скоростта на този обект във всеки момент от неговото придвижване. И обратното, ако знаем как се е изменяла скоростта му във времето, то с помощта на интегралното смятане можем да определим местоположението му във всеки момент.
Основните понятия, с които работи математическият анализ, са:
- диференциал, което означава безкрайно малка промяна на някаква стойност;
- граница и сходимост на функция;
- диференциране, или изчисляване на стръмността на функция;
- интегриране, или изчислявяне на натрупването на някаква стойност.
Математическият анализ намира приложение в почти всички науки, които използват математически апарат, но най-често се използва във физиката, електрониката, информатиката, икономиката и др.
В ежедневието често математическият анализ се прилага подсъзнателно. Например, ако наблюдаваме движението на един автомобил, ние нямаме представа директно за скоростта му (не виждаме скоростомера му), но когато видим как (колко бързо) се изменя положението му на пътя, успяваме да преценим и скоростта му.
Основни понятия
[редактиране | редактиране на кода]Безкрайно малки величини и граници
[редактиране | редактиране на кода]Исторически математическият анализ възниква, като теория на изчисленията с участие на безкрайно малки величини[3] – математически обекти, които са различни от 0, но са по-малки по абсолютна стойност от всяко реално число, макар да запазват много от свойствата на реалните числа. Така безкрайно малката величина dx може да бъде по-голяма от 0 и по-малка от всяко число от безкрайната числова редица 1, 1/2, 1/3, ... Произведенията на безкрайно малките величини с крайни числа остават безкрайно малки, като по този начин нарушават валидната за реалните числа аксиома на Архимед. В същото време съотношенията между безкрайно малки величини продължават да имат смисъл – така производните на функция y(x) първоначално са дефинирани като частното на безкрайно малко изменение на функцията dy и съответното безкрайно малко изменение на независимата променлива dx.
Макар и интуитивно разбираемо,[4] понятието за безкрайно малки величини се оказва трудно за формално дефиниране[5] и през XIX век математическият анализ е преформулиран като вместо него е използвана концепцията за граница. Границите изразяват стойността на дадена функция при определена стойност на нейните параметри чрез стойностите на функцията при близки стойности на параметрите. Както и безкрайно малките величини, границите се използват за описване на дребномащабното поведение на функциите, но оставайки в рамките на системата на реалните числа.
От тази гледна точка анализът се превръща в сбор от техники за манипулиране на граници. Границите са най-простият начин за строго дефиниране на анализа и продължават да бъдат най-често използвания подход и в наши дни. В същото време през XX век се достига до строги дефиниции и с помощта на безкрайно малките величини, като този подход намира приложение в области като нестандартния анализ.
Функции
[редактиране | редактиране на кода]Непрекъснатост
[редактиране | редактиране на кода]Диференциално смятане
[редактиране | редактиране на кода]![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/34/Sec2tan.gif/300px-Sec2tan.gif)
Една от основните подобласти на математическия анализ е диференциалното смятане, което изследва диференцирането, процесът на получаване на производната на дадена функция. Производната на дадена функция в определена точка от нейното дефиниционно множество характеризира дребномащабното поведение на функцията в тази точка, отразявайки промяната в нейната стойност при много малко изменение на нейния аргумент.
Например, ако f е функция, a е число от нейното дефиниционно множество, а h е число близко до 0, тогава a е близко до a + h, а f(a) е близко до f(a + h), а наклонът на графиката на функцията между тези две точки е:
Този израз се нарича диференчно частно. Правата, преминаваща през двете точки от графиката на функцията се нарича секуща, така че m е наклонът на секущата между точките (a, f(a)) и (a + h, f(a + h)). Секущата е само приближение на поведението на функцията в точката a, тъй като тя не отчита какво става между a и a + h. Тъй като е невъзможно h да се приеме за 0, защото това би довело до деление на 0, производната се дефинира като границата на израза, когато h клони към 0:
Например, производната на функцията f(x) = x2 в точката a = 3 се изчислява по следния начин:
Чрез определянето на производната на функцията във всяка точка от нейното дефиниционно множество се получава нова функция – за разлика от функциите, при които аргументът и резултатът са числа, диференцирането представлява линеен оператор с аргумент изходната функция и резултат нейната производна функция. Например, ако изходната функция е f(x) = x2, резултатът от диференцирането ще е друга функция: g(x) = 2x.
Съществуват няколко различни конвенции за означаване на производните, като най-често се използват тези на Лайбниц и Лагранж:
Означения на Лайбниц | Означения на Лагранж | Означения на Нютон | Означения на Ойлер |
Интегрално смятане
[редактиране | редактиране на кода]Фундаментална теорема на анализа
[редактиране | редактиране на кода]Според фундаменталната теорема на анализа диференцирането и интегрирането са обратни действия. Тя свързва стойностите на антипроизводните и определените интеграли. Тъй като обикновено е по-лесно да се изчисли антипроизводната, отколкото да се приложи определението за определен интеграл, фундаменталната теория на анализа често се използва в практиката за изчисляване на определени интеграли.
Фундаменталната теорема на анализа гласи, че ако дадена функция f е непрекъсната в интервала [a, b] и ако F е функция, чиято производна в интервала (a, b) е f, тогава:
Освен това за всяко x в интервала (a, b)
Тези зависимости, установени от Исак Нютон и Готфрид Лайбниц въз основа на по-ранната работа на Айзък Бароу, стават изходна точка за мащабното развитие на математическия анализ. Фундаменталната теорема дава възможност за прилагането на алгебрични методи за изчисляване на много определени интеграли без прилагането на граници и става основа за решаването на много диференциални уравнения.
История
[редактиране | редактиране на кода]![](http://upload.wikimedia.org/wikipedia/commons/thumb/c/c9/Archimedes_pi.svg/300px-Archimedes_pi.svg.png)
Макар математическият анализ да се развива през XVII век в хода на Научната революция,[6] много от използваните от него идеи могат да бъдат открити и в по-ранната математика. Ранно използване на аналитични методи присъстват неявно още в античната математика. Например, дихотомичната апория на Зенон от Елея имплицитно използва концепцията за безкраен геометричен сбор,[7] макар че Зенон се опитва да демонстрира безсмислеността на подобен сбор. По-късно древногръцки математици, като Евдокс от Книд и Архимед, достигат до по-явни, макар и неформални, приложения на концепциите за граница и сходимост, прилагайки метода на изчерпването за изчисляването на площи и обеми.[8] Явното използване на безкрайно малки величини се появява за пръв път в „Метод на механичните теореми“ на Архимед, труд преоткрит през XX век.[9]
В Индия е регистрирано използването на сбор на геометрични редове от Бхадрабаху,[10] d формули за сбора на аритметични и геометрични редове може да са били известни на авторите на джайнистката литература от през IV век пр. Хр.[11] Към III век сл. Хр. китайският математик Лиу Хуей също използва метода на изчерпването за определяне на площта на кръг.[12] През V век Дзу Чунджъ развива метода, по-късно наречен принцип на Кавалиери, за намирането на обема на сфера.[13] По същото време индийският математик и астроном Ариабхата използва идеята за безкрайно малки стойности, за да изрази астрономическа задача чрез диференциално уравнение.
През XII век индийският математик Бхаскара II дава примери за производни и използва теоремата на Рол.[14] През XIV век Мадхава от Сангамаграма разработва развиване на тригонометричните функции в редове на Тейлър.[15]
Основите на математическия анализ са поставени в Европа през XVII век.[6] Този процес започва с разработването от французите Пиер дьо Ферма и Рене Декарт на аналитичната геометрия, пряк предшественик на анализа. Ферма създава общ метод за определяне на минимумите и максимумите на функции и на допирателните към криви,[16] а Декартовата „Геометрия“ от 1637 година понякога е сочена за начална точка на математическия анализ.
Като цялостна система математическият анализ е развит през втората половина на XVII век независимо един от друг от англичанина Исак Нютон и германеца Готфрид Лайбниц. С поредица от приложни изследвания през следващото столетие създаденото от тях диференциално смятане се развива в изцяло нови области, като вариационно смятане, обикновени и частни диференциални уравнения или анализ на Фурие. През този период бързо развиващият се математически анализ започва да се използва за приблизително решаване на дискретни задачи чрез апроксимирането им с непрекъснати.
През XVIII век швейцарецът Леонард Ойлер въвежда концепцията за математическа функция.[17] Реалният анализ започва да се обособява като самостоятелна област, след като чехът Бернард Болцано въвежда съвременната дефиниция за непрекъснатост през 1816 година.[18] През 1821 година французинът Огюстен Луи Коши започва да преформулира анализа върху твърди логически основи, отхвърляйки принципа за общност на алгебрата, широко прилаган до този момент. Вместо това Коши формулира анализа чрез геометрични концепции и безкрайно малки величини. Така например, неговата дефиниция на непрекъснатостта изисква безкрайно малко изменение на параметъра x да води до безкрайно малко изменение на функцията y. Той въвежда и концепцията за редица на Коши и поставя началото на формална теория на комплексния анализ. Германецът Карл Вайерщрас въвежда строгата (ε, δ) дефиниция за граница на функция. Друг германец, Бернхард Риман, създава теорията на интегрирането и разширява областта на комплексния анализ. С приносите на тези и други математици от средата на XIX век се формират основите на съвременната област на математическия анализ.
Към края на XIX век математиците започват да обсъждат въпроса дали приеманото съществуване на континуум на реалните числа не се нуждае от доказване. В отговор на това германецът Рихард Дедекинд представя реалните числа чрез дедекиндови сечения, в които ирационалните числа са формално дефинирани, образувайки заедно с рационалните пълно метрично пространство. Така той дава по-строга дефиниция на континуума на реалните числа от разработения столетия преди това от фламандеца Симон Стевин. По същото време опитите да се прецизират теоремите на римановото интегриране довеждат до начало на изследванията на размера на прекъсванията на реалните функции.
През този период започва и изучаването на различни патологични обекти, като навсякъде прекъсната функция, непрекъсната, но никъде диференцируема функция и запълваща пространството крива. В този контекст французинът Камий Жордан разработва теорията на размерността, германецът Георг Кантор създава днешната наивна теория на множествата, а французинът Рене-Луи Бер извежда своята теорема за категориите. В началото на XX век анализът е формализиран и въз основа на аксиоматичната теория на множествата. Французинът Анри Льобег внася значителни подобрения в теорията на размерността и създава собствена теория на интегрирането, внасяйки значителни подобрения в теорията на Риман. Германецът Давид Хилберт използва създадените от него хилбертови пространства за решаване на интегрални уравнения. Разпространява се идеята за нормираните пространства, а през 20-те години полякът Стефан Банах поставя началото на функционалния анализ.
Бележки
[редактиране | редактиране на кода]- ↑ Hewitt 1965.
- ↑ Stillwell 2015.
- ↑ Katz 2012, с. 571 – 625.
- ↑ Arnold 1990, с. 27.
- ↑ Bell 2013.
- ↑ а б Jahnke 2003, с. 7.
- ↑ Stillwell 2004, с. 170.
- ↑ Smith 1958.
- ↑ Pinto 2004, с. 8.
- ↑ Basant 2013, с. 291 – 313.
- ↑ Singh 1936, с. 606 – 628.
- ↑ Dun 1966, с. 279.
- ↑ Zill 2009, с. xxvii.
- ↑ Seal 1915, с. 177.
- ↑ Rajagopal 1978, с. 89 – 102.
- ↑ Pellegrino 2008.
- ↑ Dunham 1999, с. 17.
- ↑ Cooke 1997, с. 379.
- Цитирани източници
- Arnold, V. I. Huygens and Barrow, Newton and Hooke. Pioneers in mathematical analysis and catastrophe theory from evolvents to quasicrystals. Basel, Birkhäuser Verlag, 1990. (на английски)
- Basant, K. B. et al. Summation of Convergent Geometric Series and the concept of approachable Sunya // Indian Journal of History of Science 48. 2013. p. 291 – 313. (на английски)
- Bell, John L. Continuity and Infinitesimals // Stanford Encyclopedia of Philosophy. stanford.edu, 6 September 2013. (на английски)
- Cooke, Roger. Beyond the Calculus // The History of Mathematics: A Brief Course. Wiley-Interscience, 1997. ISBN 978-0-471-18082-1. 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) (на английски)
- Dun, Liu et al. A comparison of Archimedes' and Liu Hui's studies of circles. Т. 130. Springer, 1966. ISBN 978-0-7923-3463-7. Архивиран от оригинала на 2016-05-26. Посетен на 2015-11-15. (на английски)
- Dunham, William. Euler: The Master of Us All. The Mathematical Association of America, 1999. (на английски)
- Hewitt, Edwin et al. Real and Abstract Analysis. Springer-Verlag, 1965. (на английски)
- Jahnke, Hans Niels. A History of Analysis. American Mathematical Society, 2003. ISBN 978-0-8218-2623-2. DOI:10.1090/hmath/024. Архивиран от оригинала на 2016-05-17. Посетен на 2015-11-15. (на английски)
- Katz, Mikhail G. et al. Leibniz's Infinitesimals: Their Fictionality, Their Modern Implementations, and Their Foes from Berkeley to Russell and Beyond // Erkenntnis 78 (3). 2012. DOI:10.1007/s10670-012-9370-y. p. 571 – 625. (на английски)
- Pellegrino, Dana. Pierre de Fermat // 2008. Архивиран от оригинала на 2008-10-12. Посетен на 2008-02-24. (на английски)
- Pinto, J. Sousa. Infinitesimal Methods of Mathematical Analysis. Horwood Publishing, 2004. ISBN 978-1-898563-99-0. Архивиран от оригинала на 2016-06-11. Посетен на 2015-11-15. (на английски)
- Rajagopal, C. T. et al. On an untapped source of medieval Keralese Mathematics // Archive for History of Exact Sciences 18. June 1978. DOI:10.1007/BF00348142. p. 89 – 102. (на английски)
- Seal, Sir Brajendranath. The positive sciences of the ancient Hindus // Nature 97 (2426). 1915. DOI:10.1038/097177a0. p. 177. (на английски)
- Singh, A. N. On the Use of Series in Hindu Mathematics // Osiris 1. 1936. DOI:10.1086/368443. p. 606 – 628. (на английски)
- Smith, David Eugene. History of Mathematics. Dover Publications, 1958. ISBN 978-0-486-20430-7 ) lang = en.
- Stillwell, John Colin. Infinite Series // Mathematics and its History. 2nd. Springer Science+Business Media Inc., 2004. ISBN 978-0-387-95336-6. 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 1⁄2 + 1⁄22 + 1⁄23 + 1⁄24 + ... and that Archimedes found the area of the parabolic segment (Section 4.4) essentially by summing the infinite series 1 + 1⁄4 + 1⁄42 + 1⁄43 + ... = 4⁄3. Both these examples are special cases of the result we express as summation of a geometric series (на английски)
- Stillwell, John Colin. analysis | mathematics // britannica.com. Encyclopædia Britannica, 2015. Архивиран от оригинала на 2015-07-26. Посетен на 2015-07-31. (на английски)
- Zill, Dennis G. et al. Calculus: Early Transcendentals. 3. Jones & Bartlett Learning, 2009. ISBN 978-0-7637-5995-7. Архивиран от оригинала на 2019-04-21. Посетен на 2015-11-15. (на английски)
Вижте също
[редактиране | редактиране на кода]Външни препратки
[редактиране | редактиране на кода]
|