Участник:Yulya3102/Матан/Определения

Материал из Викиконспекты
Перейти к: навигация, поиск

Содержание

Определения и факты[править]

Список[править]

  • Ряды Тейлора основных элементарных функций
  • Интеграл функции по параллелепипеду — обобщить на [math]\mathbb{R}^m[/math]: Интеграл_Римана_по_прямоугольнику
  • Вектор скорости
  • Произведение степенных рядов

Ряды Тейлора основных элементарных функций[править]

http://ru.wikipedia.org/wiki/Ряд_Тейлора#.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

Локальный экстремум[править]

Определение:
[math]x_0[/math] называется точкой локального максимума функции [math]f,[/math] если существует проколотая окрестность [math]\dot{U}(x_0)[/math] такая, что: [math]\forall x\in \dot{U}(x_0) \quad f(x) \le f(x_0);[/math]

[math]x_0[/math] называется точкой локального минимума функции [math]f,[/math] если существует проколотая окрестность [math]\dot{U}(x_0)[/math] такая, что: [math]\forall x \in \dot{U}(x_0) \quad f(x) \ge f(x_0).[/math]

Если неравенства выше строгие, то [math]x_0[/math] называется точкой строгого локального максимума или минимума соответственно.


Точка возрастания функции[править]

Определение:
Пусть [math]f:\langle a,b\rangle\to\mathbb{R},\ x_0\in(a,b)[/math]. Если [math]\exists \delta\gt 0:\ \forall x\in(x_0-\delta,x_0)\ f(x)\le f(x_0)[/math] и [math]\forall x\in(x_0,x_0+\delta)\ f(x)\ge f(x_0)[/math], то [math]x_0[/math] называется точкой возрастания функции [math]f[/math].


Стационарная точка[править]

Определение:
Пусть [math]f:\langle a,b\rangle\to\mathbb{R},\ x_0\in(a,b)[/math]. Если [math]f'(x_0)=0[/math], то [math]x_0[/math] называется стационарной точкой функции [math]f[/math]. Если [math]f'(x_0)=0[/math] или [math]f[/math] не дифференцируема в точке [math]x_0[/math], то [math]x_0[/math] называется критической точкой функции [math]f[/math].


Выпуклая функция[править]

Определение:
Функция [math]f: \langle a,b\rangle \to \mathbb{R}[/math] называется:

выпуклой вниз на [math]\langle a,b\rangle[/math], если [math]\forall x_1,x_2\in\langle a,b\rangle, \ t\in(0,1)[/math] выполняется неравенство

[math]f(tx_1+(1-t)x_2)\le tf(x_1)+(1-t)f(x_2)[/math];

строго выпуклой вниз на [math]\langle a,b\rangle[/math], если [math]\forall x_1,x_2\in\langle a,b\rangle \ (x_1\ne x_2), \ t\in(0,1)[/math] выполняется неравенство

[math]f(tx_1+(1-t)x_2) \lt tf(x_1)+(1-t)f(x_2)[/math].

Если выполняются противоположные неравенства, то функция [math]f[/math] называется соответственно выпуклой вверх или строго выпуклой вверх на [math]\langle a,b\rangle[/math].

Часто функции, которые только что были названы выпуклыми вниз, называют просто выпуклыми, а те, что были названы выпуклыми вверх, - вогнутыми.

Выпуклое множество в R^m[править]

Определение:
Множество (на прямой, на плоскости, в трехмерном пространстве) называется выпуклым, если вместе в с любыми своими двумя точками оно содержит весь отрезок, их соединяющий.


Надграфик и подграфик[править]

Надграфик[править]

Определение:
Пусть [math]f:\langle a,b\rangle\to\mathbb{R}[/math]. Множество [math]\{(x,y)\in\mathbb{R}^2:x\in\langle a,b\rangle, y\ge f(x)\}[/math] называется надграфиком функции [math]f[/math].

Подграфик[править]

Определение:
Пусть [math]f:[a,b]\to\mathbb{R},f\ge0[/math]. Множество

[math]Q_f=\{(x,y)\in\mathbb{R}^2:x\in[a,b],0\le y\le f(x)\}[/math]

называется подграфиком функции [math]f[/math].


Опорная прямая[править]

Определение:
Пусть [math]f:\langle a,b\rangle\to\mathbb{R},\ x_0\in\langle a,b\rangle[/math]. Прямая, задаваемая уравнением [math]y = \ell(x)[/math], называется опорной для функции [math]f[/math] в точке [math]x_0[/math], если

[math]\forall x\in \langle a,b\rangle \ f(x_0)=\ell(x_0),\ f(x)\ge\ell(x)[/math].

Если же

[math]\forall x\in \langle a,b\rangle\backslash\{x_0\} \ f(x_0)=\ell(x_0),\ f(x)\gt \ell(x)[/math],

то прямая называется строго опорной для функции [math]f[/math] в точке [math]x_0[/math].


Первообразная[править]

Определение:
Пусть [math]f, F:\langle a,b\rangle\to\mathbb{R}[/math]. Функция [math]F[/math] называется первообразной функции [math]f[/math] на [math]\langle a,b\rangle[/math], если [math]\forall x\in\langle a,b\rangle\ F'(x)=f(x)[/math].


Таблица первообразных[править]

1. [math]\int0dx=C[/math]

2. [math]\int x^\alpha dx={x^{\alpha+1}\over\alpha+1}+C,\ \alpha\ne-1[/math]

3. [math]\int {dx\over x}=ln\vert x\vert+C[/math]

4. [math]\int a^x dx={a^x\over \ln a}+C[/math]

5. [math]\int \sin x dx=-\cos x+C[/math]

6. [math]\int \cos x dx=\sin x+C[/math]

7. [math]\int {dx\over \cos ^2 x}=\tan x+C[/math]

8. [math]\int {dx\over \sin ^2x}=-\cot x+C[/math]

9. [math]\int{dx\over\sqrt{1-x^2}}=\arcsin x+C=-\arccos x+C[/math]

10. [math]\int{dx\over 1+x^2}=\arctan x+C[/math]

11. [math]\int{dx\over\sqrt{x^2\pm1}}=\ln\vert x+\sqrt{x^2\pm1}\vert+C[/math]

12. [math]\int{dx\over1-x^2}={1\over2}\ln\left\vert{1+x\over1-x}\right\vert+C[/math]

Дробление отрезка[править]

Определение:
Пусть [math][a,b][/math] - невырожденный отрезок. Набор точек

[math]\tau = \{x_k\}^n_{k=0}:\ a=x_0\lt x_1\lt ...\lt x_n=b[/math]

называется дроблением отрезка [math][a,b][/math]. Отрезки [math][x_k,x_{k+1}]\ (k\in[0:n-1])[/math] называют отрезками дробления, через [math]\Delta x_k[/math] обозначается длина [math]k[/math]-го отрезка дробления. Величина

[math]\lambda = \lambda_\tau=\underset{0\le k\le n-1}{max}\Delta x_k[/math]

называется рангом или мелкостью дробления [math]\tau[/math]. Набор точек [math]\xi=\{\xi_k\}^{n-1}_{k=0}[/math], таких что [math]\xi_k\in[x_k,x_{k+1}]\ \forall k\in[0:n-1][/math], называется оснащением дробления. Дробление вместе с его оснащением, то есть пара [math](\tau, \xi)[/math], называется оснащенным дроблением.


Дробление параллелепипеда[править]

Определение:
Пусть параллелепипед задан двумя точками [math]a,b\in\mathbb{R}^m[/math]. Дроблением параллелепипеда называется множество дроблений [math]\lambda_1,...,\lambda_m[/math], где [math]\lambda_i[/math] - дробление отрезка [math][a_i, b_i][/math].


Что значит, что одно дробление мельче другого[править]

//для отрезка

Определение:
Дробление [math]a[/math] мельче дробления [math]b[/math], если набор точек дробления [math]a[/math] содержится в наборе этих точек для [math]b[/math].

//для параллелепипеда

Определение:
Дробление мельче, если для всех дроблений из [math]\lambda[/math] верно, что дробление из одного мельче дробления из другого.

//Копипаста http://vk.com/topic-29253653_26076730?post=1937

Сумма Дарбу[править]

Определение:
Пусть [math]f: [a,b]\to\mathbb{R},\ \tau=\{x_k\}^n_{k=0}[/math] - дробление [math][a,b][/math],

[math]M_k=\underset{x\in[x_k,x_{k+1}]}{\sup}f(x),\ m_k=\underset{x\in[x_k,x_{k+1}]}{\inf}f(x),\ k\in[0:n-1][/math].

Суммы

[math]S=S_\tau(f)=\underset{k=0}{\overset{n-1}{\sum}}M_k\Delta x_k[/math] и [math]s=s_\tau(f)=\underset{k=0}{\overset{n-1}{\sum}}m_k\Delta x_k[/math]

называются верхней и нижней интегральными суммами или суммами Дарбу функции [math]f[/math], отвечающими дроблению [math]\tau[/math].


Верхний интеграл Дарбу[править]

Определение:
Пусть [math]f:[a,b]\to\mathbb{R}[/math]. Величины

[math]I^*=\underset{\tau}{\inf}S_\tau[/math], и [math]I_*=\underset{\tau}{\sup}s_\tau[/math]

называются верхним и нижним интегралами Дарбу функции [math]f[/math].


Интегрируемая по Риману функция[править]

Определение:
Пусть [math]f:[a,b]\to\mathbb{R}[/math]. Если существует предел интегральных сумм [math]\underset{\lambda\to0}{\lim}\sigma[/math], равный числу [math]I[/math], то функция [math]f[/math] называется интегрируемой по Риману на [math][a,b][/math], а число [math]I[/math] - интегралом (определенным интегралом, интегралом Римана) от функции [math]f[/math] по отрезку [math][a,b][/math] и обозначается [math]\int^b_af[/math].


Интеграл функции по параллелепипеду[править]

Риманова сумма[править]

Определение:
Пусть [math]f:[a,b]\to\mathbb{R}[/math]. Суммы

[math]\sigma=\sigma_\tau(f,\xi)=\underset{k=0}{\overset{n-1}{\sum}}f(\xi_k)\Delta x_k[/math]

называются интегральными суммами или суммами Римана функции [math]f[/math], отвечающими оснащенному дроблению [math](\tau,\xi)[/math].


Колебание функции на множестве[править]

Определение:
Пусть [math]f:D\subset\mathbb{R}\to\mathbb{R}[/math]. Величина

[math]\omega(f)_D=\underset{x,y\in D}{\sup}(f(x)-f(y))[/math]

называется колебанием функции [math]f[/math] на множестве [math]D[/math].


Множество объема 0[править]

Определение:
Множество [math]A\subset\mathbb{R}^n[/math] имеет объём 0, если [math]\forall\varepsilon\gt 0\ \exists[/math] покрытие множества [math]A[/math] брусами [math]B_1,...,B_k:\underset{i=1}{\overset{k}{\sum}} V(B_i)\lt \varepsilon[/math].


Множество меры 0[править]

Определение:
Говорят, что множество [math]E\subset\mathbb{R}[/math] имеет нулевую меру, если [math]\forall\varepsilon\gt 0[/math] множество [math]E[/math] можно заключить в не более чем счетное объединение интервалов, суммарная длина которых меньше [math]\varepsilon[/math].


Интеграл с переменным верхним пределом[править]

Определение:
Пусть [math]E\subset\mathbb{R}[/math] - невырожденный промежуток [math]f:E\to\mathbb{R},\ f[/math] интегрируема на каждом отрезке, содержащемся в [math]E,\ a\in E[/math]. Функция

[math]\Phi(x)=\int_a^xf,\ x\in E[/math]

называется интегралом с переменным верхним пределом.


Кусочно-непрерывная функция[править]

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


Почти первообразная[править]

Определение:
Пусть [math]f, F:\langle a,b\rangle\to\mathbb{R}[/math]. Функция [math]F[/math] называется почти первообразной функции [math]f[/math] на [math]\langle a,b\rangle[/math], если [math]F'(x)=f(x)[/math] во всех, кроме конечного множества, точках промежутка [math]\langle a, b\rangle[/math].


Несобственный интеграл[править]

Определение:
Функция [math] f [/math] называется локально интегрируемой (по Риману) на промежутке [math] E [/math], если [math] f [/math] интегрируема (по Риману) на каждом отрезке, содержащемся в [math] E [/math]. Множество функций, локально интегрируемых на [math] E [/math], обозначается через [math] R_{loc}(E) [/math].


Определение:
Пусть [math]-\infty\lt a\lt b\le+\infty,\ f\in R_{loc}[a,b)[/math]. Символ [math]\int_a^{\to b}f[/math] называется несобственным интегралом. Интегралы [math]\int_a^Af[/math] при [math]A\in[a,b)[/math] называются частными или частичными. Если [math]\exists \underset{A\to b-}{\lim}\int_a^Af[/math] в [math]\overline{\mathbb{R}}[/math], равный [math]I[/math], то символу [math]\int_a^{\to b}f[/math] приписывают значение [math]I[/math]. В противном случае символу [math]\int_a^{\to b}f[/math] не приписывают никакого значения. Если [math]I \in \mathbb{R}[/math], то говорят, что несобственный интеграл сходится; в противном случае говорят, что он расходится.


Абсолютно сходящийся интеграл[править]

Определение:
Интеграл [math]\int_a^{\to b}f[/math] называют абсолютно сходящимся, если сходится интеграл [math]\int_a^{\to b}|f|[/math].


Аддитивная функция промежутка[править]

Определение:
Пусть дан отрезок [math][A, B][/math]. Обозначим [math]\psi = \{[\alpha, \beta] \subset [A, B]\}[/math]. [math]T: \psi \to \mathbb{R}[/math] называют функцией промежутка. Она будет аддитивной, если [math]T[\alpha, \beta] + T[\beta, \gamma] = T[\alpha, \gamma][/math]


Плотность аддитивной функции промежутка[править]

Определение:
[math]T: \psi \to \mathbb{R}[/math] — аддитивная функция промежутка. Пусть [math]c \in [\alpha, \beta][/math]. Тогда плотностью называется величина [math]p(c) = \underset{\alpha - \beta \to 0}{\lim}{T[\alpha, \beta]\over {\beta - \alpha}}[/math].


Площадь[править]

Определение:
Площадью называется функционал [math] S: \{ P \} \to [0, + \infty ) [/math], заданный на некотором классе [math] \{ P \} [/math] подмножеств плоскости, называемых квадрируемыми фигурами, и обладающий следующими тремя свойствами:

1. Аддитивность. Если [math] P_1 [/math] и [math] P_2 [/math] — квадрируемые фигуры, причём [math] P_1 \cap P_2 = \varnothing [/math], то [math] P_1 \cup P_2 [/math] — квадрируемая фигура и [math] S(P_1 \cup P_2) = S(P_1) + S(P_2) [/math].

2. Нормированность на прямоугольниках. Площадь прямоугольника со сторонами [math] a [/math] и [math] b [/math] равна [math] ab [/math].

3. Инвариантность относительно движений. Если [math] P [/math] — квадрируемая фигура, [math] U [/math] — движение плоскости (то есть отображение [math] \mathbb{R}^n \to \mathbb{R}^n [/math], сохраняющее расстояние между точками), то [math] U(P) [/math] — квадрируемая фигура и [math] S(U(P)) = S(P) [/math].


Длина пути[править]

Определение:
Путём в [math] \mathbb{R}^n [/math] называется непрерывное отображение отрезка в [math] \mathbb{R}^n [/math]:

[math] \gamma = (\gamma_1, ..., \gamma_m):[a, b] \to \mathbb{R}^m [/math].

Точка [math] \gamma(a) [/math] называется началом, [math] \gamma(b) [/math]концом пути. Множество

[math] \gamma^* = \gamma([a, b]) [/math],

то есть образ отрезка [math] [a, b] [/math], называется носителем пути.


Определение:
Пусть [math] \gamma [/math] — путь в [math] \mathbb{R}^n [/math]. Величина [math] s_{\gamma} = \underset{\tau}{\sup}(\ell_{\tau}) [/math] называется длиной пути [math] \gamma [/math].


Вектор скорости[править]

Сумма ряда[править]

Определение:
Пусть [math]\{a_k\}_{k=1}^\infty[/math] - вещественная или комплексная последовательность. Символ [math]\underset{k=1}{\overset{\infty}{\sum}}a_k = a_1+a_2+a_3+...[/math] называется числовым рядом, а числа [math]a_k[/math] - его членами. Если последовательность [math]\{S_n\}_{n=1}^\infty[/math] имеет предел [math]S[/math], то [math]S[/math] называют суммой ряда.


Сходящийся ряд, расходящийся ряд[править]

Определение:
Если последовательность [math]\{S_n\}_{n=1}^\infty[/math] сходится, то говорят, что ряд сходится, в противном случае говорят, что он расходится.


Остаток сходящегося ряда[править]

Определение:
Ряд [math]\underset{k=m+1}{\overset{\infty}{\sum}}a_k[/math] называется остатком ряда [math]\underset{k=1}{\overset{\infty}{\sum}}a_k[/math] после [math]m[/math]-го члена.


Абсолютно сходящийся ряд[править]

Определение:
Говорят, что ряд [math]\underset{k=1}{\overset{\infty}{\sum}}a_k[/math] сходится абсолютно, если сходится ряд [math]\underset{k=1}{\overset{\infty}{\sum}}|a_k|[/math].


Преобразование Абеля[править]

Лемма (Преобразование Абеля):
Пусть [math]\{a_k\},\{b_k\}[/math] - числовые посл-ти, [math]A_0\in\mathbb{R}, A_k=\sum_{j=1}^k a_j+A_0[/math] при [math]k\in\mathbb{N}[/math]. Тогда [math]\forall n\in\mathbb{N}[/math] [math]\sum_{k=1}^n a_kb_k=A_nb_n-A_0b_1+\sum_{k=1}^{n-1}A_k(b_k-b_{k+1}).[/math]
Доказательство:
[math]\triangleright[/math]
[math]\sum_{k=1}^n a_kb_k=\sum_{k=1}^n(A_k-A_{k-1})b_k=\sum_{k=1}^nA_kb_k-\sum_{k=1}^nA_{k-1}b_k=\sum_{k=1}^nA_kb_k-\sum_{k=0}^{n-1}A_kb_{k+1}=A_nb_n-A_0b_1+\sum_{k=1}^{n-1}A_k(b_k-b_{k+1}).[/math]
[math]\triangleleft[/math]

Преобразование Абеля — дискретный аналог интегрирования по частям [math]\int_1^nfg=F(n)g(n)-F(1)g(1)-\int_1^nFg'[/math]

Перестановка ряда[править]

Определение:
Пусть [math]\varphi:\mathbb{N}\to\mathbb{N}[/math] — биекция (перестановка натурального ряда). Тогда говорят, что ряд [math]\underset{k=1}{\overset{\infty}{\sum}}a_{\varphi(k)}[/math] получен из ряда [math]\underset{k=1}{\overset{\infty}{\sum}}a_k[/math] перестановкой членов или является перестановкой ряда [math]\underset{k=1}{\overset{\infty}{\sum}}a_k[/math].


Произведение рядов[править]

Определение:
Пусть даны ряды [math]\underset{k=0}{\overset{\infty}{\sum}}a_k[/math] и [math]\underset{k=0}{\overset{\infty}{\sum}}b_k[/math]. Их произведением называют ряд [math]\underset{k=0}{\overset{\infty}{\sum}}c_k[/math], где [math]c_k = \underset{i=0}{\overset{k}{\sum}} a_i b_{k - i}[/math].


Произведение степенных рядов[править]

Поточечная сходимость функционального ряда[править]

Определение:
[math]\{u_k(x)\}^{\infty}_{k=1} : E \to \mathbb{C}[/math] Ряд [math]\underset{k=1}{\overset{\infty}{\sum}}u_k(x)[/math] сходится поточечно к [math]u(x)[/math], если [math]\forall{x} \in E \hspace{1mm} \exists \underset{n \to \infty}{\lim} \underset{k=1}{\overset{n}{\sum}}u_k(x) = u(x)[/math]


Равномерная сходимость функционального ряда[править]

Определение:
[math]\{u_k(x)\}^{\infty}_{k=1} : E \to \mathbb{C}[/math]. Ряд [math]\underset{k=1}{\overset{\infty}{\sum}}u_k(x)[/math] сходится равномерно к [math]u(x)[/math], если [math]\underset{x \in E}{\sup}{|u_k(x) - u(x)|} \underset{k\to\infty}{\to} 0[/math]


Метрика в пространстве непрерывных ограниченных функций[править]

Определение:
Пусть [math]F(X,\;Y)[/math] — пространство непрерывных и ограниченных отображений из [math]X[/math] в метрическое пространство [math]Y[/math]. Расстояние между двумя отображениями [math]f_1[/math] и [math]f_2[/math] из этого пространства определяется как [math]d_F(f_1,\;f_2)=\sup\{d_Y(f_1(x),\;f_2(x))\colon x\in X\}.[/math]