|
|
Строка 2: |
Строка 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 | | 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. | | 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. |
− |
| |
− | == *Замечание о представимости функции рядом Тейлора ==
| |
− | ???(муть записана)
| |