Просмотр исходного текста страницы Определения, 2 семестр, Кохась К.П.

'''* - ТРЕБУЕТ ДОРАБОТКИ'''

'''ЕСЛИ НАХОДИТЕ ОШИБКИ ИСПРАВЛЯЙТЕ'''
= 2 семестр =
http://neerc.ifmo.ru/wiki/index.php?title=%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D0%BA:Yulya3102/%D0%9C%D0%B0%D1%82%D0%B0%D0%BD - здесь больше
== Определения ==
===1. Ряды Тейлора основных элементарных функций ===

http://ru.wikipedia.org/wiki/%D0%A0%D1%8F%D0%B4_%D0%A2%D0%B5%D0%B9%D0%BB%D0%BE%D1%80%D0%B0#.D0.A0.D1.8F.D0.B4.D1.8B_.D0.9C.D0.B0.D0.BA.D0.BB.D0.BE.D1.80.D0.B5.D0.BD.D0.B0_.D0.BD.D0.B5.D0.BA.D0.BE.D1.82.D0.BE.D1.80.D1.8B.D1.85_.D1.84.D1.83.D0.BD.D0.BA.D1.86.D0.B8.D0.B9

===2. Локальный экстремум ===

Пусть функция ƒ(x) определена в некоторой окрестности  ε = (х0 - δ, x0 + δ), δ>0 , некоторой точки x0.
1.) Точка x0 называется точкой локального максимума, если в некоторой такой окрестности  ε выполняется неравенство ƒ(x) ≤ ƒ(х0) , ∀x <  ε
2.) Точка x0 называется точкой локального минимума, если в некоторой такой окрестности  ε выполняется неравенство ƒ(x) ≥ ƒ(х0) , ∀x <  ε
Понятия локальный максимум и локальный минимум объединяются термином локальный экстремум.

http://94.143.53.100/SUMIK/e-SUMIK-Matematika/objects/biblioteka/Matematika/MESI-bibl-matem/Vischaya%20matematika/G5_14_1.htm

===3. Точка возрастания функции ===

http://94.143.53.100/SUMIK/e-SUMIK-Matematika/objects/biblioteka/Matematika/MESI-bibl-matem/Vischaya%20matematika/G5_14_1.htm

===4. Критическая точка ===
Критической точкой дифференцируемой функции называется точка, в которой все её частные производные обращаются в нуль.

===5. Выпуклая функция ===
Выпуклая функция — функция, у которой надграфик является выпуклым множеством.

Вещественнозначная функция, определённая на некотором интервале (в общем случае на выпуклом подмножестве некоторого векторного пространства) выпукла, если для любых двух значений аргумента <tex> x, y </tex>,  и для любого числа <tex> t \in [0,1] </tex>   выполняется неравенство Йенсена:
<tex> f(tx + (1-t)y) \le tf(x) + (1-t)f(y) </tex>

===6. Выпуклое множество в <tex> R^m </tex>===
Множество (область) <tex> G </tex> называется выпуклым, если из того, что <tex> x_1 \in G </tex> и  <tex> x_2 \in G </tex> следует, что <tex> x =   \lambda x_1 + (1- \lambda)x_2 \in G </tex> для <tex> \forall  \lambda \in </tex> [0,1]. Другими словами, G - выпуклое множество, если оно, вместе с любыми двумя своими точками, содержит в себе отрезок, соединяющий эти точки.

===7. Надграфик и подграфик ===

Пусть f(x) определена на некотором интервале. Тогда множество y≥f(x), где х принадлежит интервалу, называется надграфиком, а множество y<f(x), где x принадлежит интервалу, — подграфиком. Слова ужасные, но любого человека cпроси — ему будет ясно, что имеется в виду.

===8. Опорная прямая ===
Опорная прямая к плоскому множеству M в его точке P – это такая прямая, проходящая через P, что множество M лежит целиком в одной (замкнутой) полуплоскости, ограниченной этой прямой. Касательная к окружности, прямая, содержащая любую сторону выпуклого многоугольника, прямая, проходящая через вершину многоугольника и не имеющая с ним других общих точек, – примеры опорных прямых к указанным фигурам. Понятие опорной прямой играет важную роль в теории выпуклых множеств.

===9. Первообразная ===
Первообра́зной или примити́вной функцией (иногда называют также антипроизводной) данной функции f называют такую F, производная которой (на всей области определения) равна f, то есть F ′ = f. Вычисление первообразной заключается в нахождении неопределённого интеграла, а сам процесс называется интегрированием.

===10. Таблица первообразных ===
http://ru.wikipedia.org/wiki/%D0%9D%D0%B5%D0%BE%D0%BF%D1%80%D0%B5%D0%B4%D0%B5%D0%BB%D1%91%D0%BD%D0%BD%D1%8B%D0%B9_%D0%B8%D0%BD%D1%82%D0%B5%D0%B3%D1%80%D0%B0%D0%BB#.D0.A2.D0.B0.D0.B1.D0.BB.D0.B8.D1.86.D0.B0_.D0.BE.D1.81.D0.BD.D0.BE.D0.B2.D0.BD.D1.8B.D1.85_.D0.BD.D0.B5.D0.BE.D0.BF.D1.80.D0.B5.D0.B4.D0.B5.D0.BB.D1.91.D0.BD.D0.BD.D1.8B.D1.85_.D0.B8.D0.BD.D1.82.D0.B5.D0.B3.D1.80.D0.B0.D0.BB.D0.BE.D0.B2

===11. Дробление отрезка ===
http://dl.dropbox.com/u/42066744/%D0%9E%D1%87%D0%B5%D0%B2%D0%B8%D0%B4%D0%BD%D0%BE/%D0%9E.%D0%9B.%D0%92%D0%B8%D0%BD%D0%BE%D0%B3%D1%80%D0%B0%D0%B4%D0%BE%D0%B2%20%D1%82%D0%BE%D0%BC%202.pdf
страница 6

===12. Дробление параллелепипеда ===
параллелепипед задаётся двумя точками a, b в R^M. Его дробление <tex> \lambda </tex> — множество дроблений <tex> \lambda_1 .. \lambda_m </tex>, где <tex> \lambda_i</tex> — дробление отрезка <tex> a_i .. b_i </tex>.

===13. Что значит, что одно дробление мельче другого ===
Дробление a мельче дробления b, если набор точек дробления a содержится в наборе этих точек для b.
И это для отрезка, а для параллелепипеда дробление мельче, если для всех описанных выше дроблений из лямбды верно, что дробление из одного мельче дробления из другого.

===14. Сумма Дарбу ===
http://dl.dropbox.com/u/42066744/%D0%9E%D1%87%D0%B5%D0%B2%D0%B8%D0%B4%D0%BD%D0%BE/%D0%9E.%D0%9B.%D0%92%D0%B8%D0%BD%D0%BE%D0%B3%D1%80%D0%B0%D0%B4%D0%BE%D0%B2%20%D1%82%D0%BE%D0%BC%202.pdf
страница 9

===15. Верхний интеграл Дарбу ===
http://dl.dropbox.com/u/42066744/%D0%9E%D1%87%D0%B5%D0%B2%D0%B8%D0%B4%D0%BD%D0%BE/%D0%9E.%D0%9B.%D0%92%D0%B8%D0%BD%D0%BE%D0%B3%D1%80%D0%B0%D0%B4%D0%BE%D0%B2%20%D1%82%D0%BE%D0%BC%202.pdf
страница 12

===16. Интегрируемая по Риману функция ===
http://dl.dropbox.com/u/42066744/%D0%9E%D1%87%D0%B5%D0%B2%D0%B8%D0%B4%D0%BD%D0%BE/%D0%9E.%D0%9B.%D0%92%D0%B8%D0%BD%D0%BE%D0%B3%D1%80%D0%B0%D0%B4%D0%BE%D0%B2%20%D1%82%D0%BE%D0%BC%202.pdf
страница 15

===*17. Интеграл функции по параллелепипеду===
???

===18. Риманова сумма===
{{Определение
|definition=
Пусть <tex>\overline{x_k}</tex> {{---}} произвольное <tex>x</tex> из <tex>\left [ x_k,x_{k+1} \right ]</tex>, <tex>f</tex> {{---}} функция, заданная на отрезке <tex>[a; b]</tex>, <tex>\tau</tex> {{---}} разбиение отрезка <tex>[a; b]</tex>.

Тогда <tex>\sigma \left ( f, \tau, \left \{ \overline{x_k} \right \} \right )</tex>
(также обозначается как <tex>\sigma \left ( f, \tau \right )</tex> или <tex>\sigma \left ( \tau \right )</tex>)
<tex>~= \sum\limits_{k=0}^{n-1}</tex> <tex>f \left ( \overline{x_k} \right )\cdot\Delta_{k}</tex>
называется '''интегральной суммой Римана''' по разбиению <tex>\tau</tex>.
}}

<tex>I= \lim\limits_{\operatorname{rang} \tau\to 0} \sigma \left ( f, \tau \right )</tex> <tex>\stackrel{\mathrm{def}}{\iff} </tex> <tex>\forall \varepsilon >0\ \exists \delta >0\ \forall \tau : \operatorname{rang} \tau<\delta \Rightarrow \left | \sigma \left ( f, \tau \right ) - I \right | < \varepsilon</tex>

===19. Колебание функции на множестве===
http://dl.dropbox.com/u/42066744/%D0%9E%D1%87%D0%B5%D0%B2%D0%B8%D0%B4%D0%BD%D0%BE/%D0%9E.%D0%9B.%D0%92%D0%B8%D0%BD%D0%BE%D0%B3%D1%80%D0%B0%D0%B4%D0%BE%D0%B2%20%D1%82%D0%BE%D0%BC%202.pdf
страница 14

===20. Множество объема 0=== 

===21. Множество меры 0===
Говорят, что множество <tex>E\subset\mathbb{R}</tex> имеет '''нулевую меру''', если <tex>\forall\varepsilon>0</tex> множество <tex>E</tex> можно заключить в не более чем счетное объединение интервалов, суммарная длина которых меньше <tex>\varepsilon</tex>.

===22. Интеграл с переменным верхним пределом===
http://dl.dropbox.com/u/42066744/%D0%9E%D1%87%D0%B5%D0%B2%D0%B8%D0%B4%D0%BD%D0%BE/%D0%9E.%D0%9B.%D0%92%D0%B8%D0%BD%D0%BE%D0%B3%D1%80%D0%B0%D0%B4%D0%BE%D0%B2%20%D1%82%D0%BE%D0%BC%202.pdf
страница 29

===23. Кусочно-непрерывная функция===
Функция <tex>f:[a,b]\to\mathbb{R}</tex> называется '''кусочно-непрерывной''' на <tex>[a,b]</tex>, если множество ее точек разрыва пусто или конечно, и все имеющиеся разрывы - первого рода.

===24. Почти первообразная===

===25. Несобственный интеграл===
Определённый интеграл называется несобственным, если выполняется, по крайней мере, одно из следующих условий:
#Предел a или b (или оба предела) являются бесконечными;
#Функция f(x) имеет одну или несколько точек разрыва внутри отрезка [a, b].

== Теоремы ==

=== Правило Лопиталя ===
f,g: (a;b) -> R; a принадлежит R с чертой; f,g дифференцируемы на (a;b); g' != 0 на (a;b); lim f(x)/g(x) имеет неопределенность вида 0/0 или inf/inf; lim f'(x)/g'(x) = L, L принадлежит R с чертой. Тогда существует lim f(x)/g(x) = L; везде x -> a + 0.

== *Замечание о представимости функции рядом Тейлора ==
???(муть записана)