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

Материал из Documentation.

Перейти к: навигация, поиск



Математический анализ (МА) — раз­дел ма­те­ма­ти­ки, в ко­то­ром пе­ре­мен­ные ве­ли­чи­ны (функ­ции и их обоб­ще­ния) изу­ча­ют­ся с ис­поль­зо­ва­ни­ем пре­де­лов. По­ня­тие пре­де­ла свя­за­но с по­ня­ти­ем бес­ко­неч­но ма­лой ве­ли­чи­ны, и ино­гда го­во­рят, что МА изу­ча­ет функ­ции и их обоб­ще­ния с ис­поль­зо­ва­ни­ем ме­то­да бес­ко­неч­но ма­лых. Ста­рое назв. МА — «Ана­лиз бес­ко­неч­но ма­лых», точ­нее бы­ло бы: ана­лиз по­сред­ст­вом бес­ко­неч­но ма­лых. В клас­сич. МА объ­ек­та­ми изу­че­ния яв­ля­ют­ся пре­ж­де все­го функ­ции. Раз­ви­тие МА при­ве­ло к воз­мож­но­сти изу­че­ния с по­мо­щью его ме­то­дов бо­лее слож­ных объ­ек­тов, чем функ­ции, напр. функ­цио­на­лов и опе­ра­то­ров. В при­ро­де и тех­ни­ке всю­ду встре­ча­ют­ся дви­же­ния и про­цес­сы, ко­то­рые опи­сы­ва­ют­ся функ­ция­ми; за­ко­ны и яв­ле­ния при­ро­ды так­же опи­сы­ва­ют­ся функ­ция­ми. От­сю­да сле­ду­ет важ­ность МА как сред­ст­ва изу­че­ния функ­ций.[1]

МА в ши­ро­ком по­ни­ма­нии это­го тер­ми­на ох­ва­ты­ва­ет весь­ма большyю часть ма­те­ма­ти­ки. В не­го вхо­дят диф­фе­рен­ци­аль­ное ис­чис­ле­ние, ин­те­граль­ное ис­чис­ле­ние, тео­рия функ­ций дей­ст­ви­тель­но­го пе­ре­мен­но­го, ком­плекс­ный ана­лиз, при­бли­же­ние функ­ций, тео­рия диф­фе­рен­ци­аль­ных урав­не­ний, тео­рия ин­те­граль­ных урав­не­ний, диф­фе­рен­ци­аль­ная гео­мет­рия, ва­риа­ци­он­ное ис­чис­ле­ние, функ­цио­наль­ный ана­лиз и не­ко­то­рые др. ма­те­ма­тич. дис­ци­п­ли­ны. Совр. чи­сел тео­рия и ве­ро­ят­но­стей тео­рия при­ме­ня­ют и раз­ви­ва­ют ме­то­ды МА. Ино­гда тер­мин «математический анализ» упот­реб­ля­ют толь­ко для ос­нов МА, объ­е­ди­няю­щих в се­бе тео­рию дей­ст­ви­тель­ных чи­сел, тео­рию пре­де­лов, тео­рию ря­дов, диф­фе­рен­ци­аль­ное и ин­те­граль­ное ис­чис­ле­ние и их не­по­средственные при­ло­же­ния, та­кие как тео­рия мак­си­му­мов и ми­ни­му­мов, тео­рия не­яв­ных функ­ций, ря­ды Фу­рье, ин­те­гра­лы Фу­рье.[2]

Функ­ция. В МА ис­хо­дят из оп­реде­ле­ния функ­ции, ко­то­рое в слу­чае чи­сло­вых функ­ций од­но­го пе­ре­мен­но­го фор­му­ли­ру­ет­ся сле­дую­щим об­ра­зом: ес­ли ка­ж­до­му чис­лу $x$ из не­ко­то­ро­го мно­же­ст­ва чи­сел по­став­ле­но в со­от­вет­ст­вие чис­ло $y$, то этим оп­ре­де­ле­на функ­ция $y=f(x)$ пе­ре­мен­но­го $x$, на­зы­вае­мо­го ар­гу­мен­том функ­ции. Ана­ло­гич­но оп­ре­де­ля­ют­ся функ­ции $n$ пе­ре­мен­ных $f(x) =f(x_1,x_2,…,x_n)$, где $x= (x_1,x_2,…,x_n)$ — точ­ки $n$-мер­но­го про­стран­ст­ва, рас­смат­ри­ва­ют так­же функ­ции $f(x)=f(x_1,x_2,..)$ то­чек $x=(x_1,x_2,…)$ бес­ко­неч­но­мер­ных про­странств, та­кие функ­ции ча­ще на­зы­ва­ют функ­цио­на­ла­ми.[3]

Эле­мен­тар­ные функ­ции. Фун­дам. зна­че­ние в МА име­ют эле­мен­тар­ные функ­ции, ими, в ча­ст­но­сти, при­бли­жа­ют функ­ции бо­лее слож­ной при­ро­ды. Эле­мен­тар­ные функ­ции рас­смат­ри­ва­ют не толь­ко для дей­ст­ви­тель­ных, но и для компле́ксных ар­гу­мен­тов.[4]

Дей­ст­ви­тель­ное чис­ло. Изу­че­ние функ­ций ба­зи­ру­ет­ся на по­ня­тии дей­ст­ви­тель­но­го чис­ла, ко­то­рое окон­ча­тель­но сфор­ми­ро­ва­лось в кон. 19 в. В ча­ст­но­сти, бы­ла ус­та­нов­ле­на ло­ги­че­ски безу­преч­ная связь ме­ж­ду чис­ла­ми и точ­ка­ми пря­мой, при­вед­шая к фор­маль­но­му обос­но­ва­нию идей Р. Де­кар­та (сер. 17 в.), ко­то­рый ввёл в ма­те­ма­ти­ку пря­мо­уголь­ную сис­те­му ко­ор­ди­нат (Де­кар­то­ва сис­те­ма ко­ор­ди­нат) и пред­став­ле­ние функ­ций гра­фи­ка­ми.[5]

Пре­дел. В МА при изу­че­нии функ­ций ис­поль­зу­ет­ся пре­дель­ный пе­ре­ход, с по­мо­щью ко­то­ро­го оп­ре­де­ля­ют­ся разл. пре­де­лы, напр. пре­дел по­сле­до­ва­тель­но­сти и пре­дел функ­ции. Эти по­ня­тия окон­ча­тель­но сфор­ми­ро­ва­лись толь­ко в 19 в., хо­тя пред­став­ле­ние о них име­ли ещё древ­ние гре­ки. Так, Ар­хи­мед умел вы­чис­лять пло­щадь сег­мен­та па­ра­бо­лы при по­мо­щи про­цес­са, ко­то­рый сей­час на­зы­ва­ет­ся пре­дель­ным пе­ре­хо­дом.[6]

Не­пре­рыв­ные функ­ции. Важ­ный класс функ­ций, изу­чае­мых в МА, со­став­ля­ют не­пре­рыв­ные функ­ции. Функ­ция на­зы­ва­ет­ся не­пре­рыв­ной на ин­тер­ва­ле $(a, b)$, ес­ли она не­пре­рыв­на во всех его точ­ках; гра­фик не­пре­рыв­ной функ­ции пред­став­ля­ет со­бой кри­вую, не­пре­рыв­ную в обы­ден­ном по­ни­ма­нии это­го сло­ва.[7]

Про­из­вод­ная и диф­фе­рен­ци­ал. Сре­ди не­пре­рыв­ных функ­ций вы­де­ля­ют­ся функ­ции, имею­щие про­из­вод­ную.[8]

По зна­ку про­из­вод­ной $f'(x)$ мож­но су­дить о ха­рак­те­ре из­ме­не­ния $f(x)$: ес­ли $f'(x) > 0$ (или $f'(x) < 0$) на ин­тер­ва­ле $(c,d)$, при­над­ле­жа­щем $(a,b)$, то функ­ция $f$ воз­рас­та­ет (со­от­вет­ст­вен­но, убы­ва­ет) на ин­тер­ва­ле $(c,d)$. Ес­ли функ­ция $f$ в точ­ке $x_0$, $a < x_0 < b$, дос­ти­га­ет экс­тре­му­ма (мак­си­му­ма или ми­ни­му­ма) и име­ет в этой точ­ке про­из­вод­ную, то $f'(x_0)=0$, ина­че го­во­ря, ско­рость из­ме­не­ния $f(x)$ при $x=x_0$ рав­на ну­лю.[9]

Ин­те­грал. На­ря­ду с про­из­вод­ной, фун­дам. зна­че­ние в МА име­ет по­ня­тие ин­те­гра­ла. Го­во­рят, что функ­ция $F(x)$ яв­ля­ет­ся пер­во­об­раз­ной функ­ции $f(x)$ на ин­тер­ва­ле $(a, b)$, ес­ли на этом ин­тер­ва­ле $F'(x)=f(x)$. Не­оп­ре­де­лён­ным ин­те­гра­лом от функ­ции $f(x)$ на ин­тер­ва­ле $(a, b)$ на­зы­ва­ет­ся про­из­воль­ная пер­во­об­раз­ная функ­ции $f(x)$ на этом ин­тер­ва­ле.[10]

Ес­ли функ­ция $f(x)$ по­ло­жи­тель­на и не­пре­рыв­на на от­рез­ке $[a, b]$, то ин­те­грал от неё на этом от­рез­ке ра­вен пло­ща­ди фи­гу­ры, ог­ра­ни­чен­ной кри­вой $y=f(x)$, осью $Ox$ и пря­мы­ми $x=a$ и $x=b$.[11]

Фор­му­ла Нью­то­на — Лейб­ни­ца. Ме­ж­ду про­из­вод­ной и ин­те­гра­лом име­ет­ся связь, вы­ра­жае­мая фор­му­лой Нью­то­на — Лейб­ни­ца.[12]

Фор­му­ла и ряд Тей­ло­ра. На­ря­ду с про­из­вод­ной и ин­те­гра­лом важ­ней­шим по­ня­ти­ем и ин­ст­ру­мен­том ис­сле­до­ва­ния в МА яв­ля­ет­ся Тей­ло­ра фор­му­ла и Тей­ло­ра ряд.[13]

[править] История

До 17 в. МА пред­став­лял со­бой со­во­куп­ность ре­ше­ний раз­роз­нен­ных ча­ст­ных за­дач. Напр., в ин­те­граль­ном ис­чис­ле­нии — это за­да­чи на вы­чис­ле­ние пло­ща­дей фи­гур, объ­ё­мов тел с кри­вы­ми гра­ни­ца­ми, ра­бо­ты пе­ре­мен­ной си­лы и т. д. Ка­ж­дая за­да­ча или ча­ст­ная груп­па за­дач ре­ша­лась сво­им ме­то­дом, под­час слож­ным и гро­мозд­ким. МА как еди­ное и сис­те­ма­тич. це­лое сло­жил­ся в тру­дах И. Нью­то­на, Г. В. Лейб­ни­ца, Л. Эй­ле­ра, Ж. Ла­гран­жа и др. учё­ных 17-18 вв., а его ба­за — тео­рия пре­де­лов — бы­ла раз­ра­бо­та­на О. Ко­ши в нач. 19 в. Глу­бо­кий ана­лиз ис­ход­ных по­ня­тий МА был свя­зан с раз­ви­ти­ем в 19-20 вв. мно­жеств тео­рии, тео­рии ме­ры, тео­рии функ­ций дей­ст­ви­тель­но­го пе­ре­мен­но­го и при­вёл к раз­но­об­раз­ным обоб­ще­ни­ям.[14]

[править] Примечания

  1. Математический анализ
  2. Математический анализ
  3. Математический анализ
  4. Математический анализ
  5. Математический анализ
  6. Математический анализ
  7. Математический анализ
  8. Математический анализ
  9. Математический анализ
  10. Математический анализ
  11. Математический анализ
  12. Математический анализ
  13. Математический анализ
  14. Математический анализ
Личные инструменты