Processing math: 100%

Свойства границ, связанные с арифметическими операциями и с неравенствами

Свойства пределов, связанные с алгебраическими операциями

Если функции [latex]f(x)[/latex] и [latex]g(x)[/latex] имеют конечные пределы в точке [latex]a[/latex], причем [latex]\lim_{x\rightarrow a}f(x)=A[/latex] и [latex]\lim_{x\rightarrow a}g(x)=B[/latex] то:

  1. [latex]\lim_{x\rightarrow a}(f(x)+g(x))=A+B[/latex]
  2. Доказательство
    Так как функции [latex]f(x)[/latex] и [latex]g(x)[/latex] имеют предел в точке [latex]a[/latex], то при [latex]x\rightarrow a[/latex] величины [latex]h_{f}(x)=A-f(x)[/latex] и [latex]h_{g}(x)=B-g(x)[/latex] будут бесконечно малыми. Отсюда, согласно свойствам бесконечно малых [latex]h_{f}+h_{g}=(A+B)-(f(x)+g(x))[/latex] также будет бесконечно малой величиной. Что в свою очередь означает, что [latex]\lim_{x\rightarrow a}(f(x)+g(x))=A+B[/latex]

  3. [latex]\lim_{x\rightarrow a}(f(x)g(x))=AB[/latex]
  4. Доказательство
    Так как функции [latex]f(x)[/latex] и [latex]g(x)[/latex] имеют предел в точке [latex]a[/latex], то при [latex]x\rightarrow a[/latex] величины [latex]h_{f}(x)=A-f(x)[/latex] и [latex]h_{g}(x)=B-g(x)[/latex] будут бесконечно малыми. Поэтому [latex]g(x)=A-h_{f}(x)[/latex] и [latex]g(x)=B-h_{g}(x)[/latex]. Отсюда
    [latex]\\f(x)g(x)=(A-h_{f})(B-h_{g})\\f(x)g(x)=AB-Ah_{g}-Bh_{f}+h_{f}h_{g}\\AB-f(x)g(x)=Ah_{g}+Bh_{f}-h_{f}h_{g}[/latex]
    Согласно свойствам бесконечно малых, величина в правой части — бесконечно малая. Что в свою очередь означает, что [latex]\lim_{x\rightarrow a}(f(x)g(x))=AB[/latex]

  5. [latex]\lim_{x\rightarrow a}(\frac{f(x)}{g(x)})=\frac{A}{B}[/latex], причем [latex]B\neq 0[/latex]
  6. Доказательство
    Условие [latex]\lim_{x\rightarrow a}(\frac{f(x)}{g(x)})=\frac{A}{B}[/latex] эквивалентно тому, что разность [latex]\frac{A}{B}-\frac{f(x)}{g(x)}[/latex]
    бесконечно малая величина при [latex]x\rightarrow a[/latex]. Покажем, что это утверждение имеет место. Приведем к общему знаменателю, получим [latex]\frac{Ag(x)-Bf(x)}{Bg(x)}[/latex]. Рассмотрим предел числителя дроби.
    [latex]\\\lim_{x\rightarrow a}(Ag(x)-Bf(x))\\A\lim_{x\rightarrow a}g(x)-B\lim_{x\rightarrow a}f(x)\\AB-BA=0\: \Rightarrow \frac{A}{B}-\frac{f(x)}{g(x)}=0[/latex]
    Что в свою очередь означает, что [latex]\lim_{x\rightarrow a}(\frac{f(x)}{g(x)})=\frac{A}{B}[/latex]

Свойства пределов, связанные с неравенствами

  1. Теорема о двух милиционерах
  2. Если [latex]\exists \delta > 0:\forall x\in \dot{U}_{\delta }(a)[/latex] выполняются неравенства [latex]g(x)\leqslant f(x)\leqslant h(x)[/latex] и если [latex]\lim_{x\rightarrow a}g(x)= \lim_{x\rightarrow a}h(x)=A[/latex] то [latex]\exists \lim_{x\rightarrow a}f(x)=A[/latex].
    Доказательство
    Воспользуемся определением предела по Гейне. Пусть [latex]{xn}

    [/latex] — последовательность из [latex]\dot{U}_{\delta }(a)[/latex], причем [latex]\lim_{x\rightarrow \infty }x_{n}=a[/latex]. Тогда выполняются условия [latex]g(x_{n})\leqslant f(x_{n})\leqslant h(x_{n})[/latex] и [latex]\lim_{n\rightarrow \infty}g(x_{n})= \lim_{n\rightarrow \infty}h(x_{n})=A[/latex]. Тогда в силу свойств пределов последовательностей [latex]\lim _{n\rightarrow \infty }f(x_{n})=A[/latex]. Следовательно [latex]\lim _{x\rightarrow a }f(x)=A[/latex].
    Теорему можно проиллюстрировать следующим графиком:
    t3pol

  3. Если [latex]\exists\delta >0:\forall x\in \dot{U}_{\delta }(a)[/latex] выполняется неравенство [latex]f(x)\leqslant g(x)[/latex] и если[latex]\lim_{x\rightarrow a}f(x)=A[/latex], [latex]\lim_{x\rightarrow a}g(x)=B[/latex], то [latex]A\leqslant B[/latex].
  4. Доказательство
    Воспользуемся определением предела по Гейне. Пусть [latex]{xn}

    [/latex] — последовательность из [latex]\dot{U}_{\delta }(a)[/latex], тогда числа [latex]A[/latex] и [latex]B[/latex] будут пределами последовательности [latex]{xn}
    _{1}^{\infty }[/latex] т.е. [latex]\lim_{n\rightarrow \infty }f(x_{n})=A[/latex] и [latex]\lim_{n\rightarrow \infty }g(x_{n})=B[/latex] Тогда в силу свойств пределов последовательностей [latex]A\leqslant B[/latex].

Литература

  1. Тер-Киркоров А.М., Шабунин М.И., Курс математического анализа, физмат-лит, 2001. стр. 81-84

Следующая тема →

Метод математической индукции

Под методом математической индукции понимают следующий способ доказательства: если требуется доказать истинность утверждения latexP(n),nN, то сначала проверяют данное утверждение для некоторого натурально числа latexn0, обычно latexn0=1, а потом допускают истинность выражения latexP(k). Далее доказывают истинность утверждения latexP(k+1).

Упражнение:

Доказательство одноцветности всех лошадей — ошибочное доказательство, что все лошади одного цвета, придуманное венгерским математиком Пойа. Доказательство призвано продемонстрировать ошибки, возникающие при неправильном использовании метода математической индукции.

Доказываемое утверждение: все лошади одного цвета.

Доказательство:

Проведем доказательство по индукции.

База индукции:

Одна лошадь, очевидно, одного (одинакового) цвета.
Шаг индукции:
Пусть доказано, что любые latexK лошадей всегда одного цвета. Рассмотрим latexK+1 каких-то лошадей. Уберем одну лошадь. Оставшиеся latexK лошадей одного цвета по предположению индукции. Возвратим убранную лошадь и уберем какую-то другую. Оставшиеся latexK лошадей снова будут одного цвета. Значит, все latexK+1 лошадей одного цвета.

Отсюда следует, что все лошади одного цвета. Утверждение доказано.

В чем ошибка?
Решение

Спойлер

Пример:

latex1) Доказать равенство: latex12+22+32++n2=n(n+1)(2n+1)6,nN.

latex◻ latex1)  latex12=1(1+1)(2+1)6=1.

latex2) Пусть данное утверждение верно для latexn=k:   latex12++k2=k(k+1)(2k+1)6.

latex3) Докажем истинность утверждения для latexn=k+1.

latexk(k+1)(2k+1)612+22++k2+(k+1)2=

latex(k+1)(k+2)(2(k+1)+1)6

latexk(k+1)(2k+1)6+(k+1)2=

latex(k+1)(k+2)(2k+3)6

latexk(k+1)(2k+1)+6(k+1)26=

latex(k+1)(k+2)(2k+3)6

latexk(2k2+k+2k+1)+6(k2+2k+1)=

latex(k+1)(2k2+3k+4k+6)

 latex2k3+3k2+k+6k2+12k+6=

latex2k3+7k2+6k+2k2+7k+6

latex2k3+9k2+13k+6=

latex2k3+9k2+13k+6.   latex◼

latex2) Доказать, что для всех натуральных чисел latexn справедливо неравенство latexn2n.

latex◻ Для latexn=1 неравенство принимает вид latex12, т.е. оно справедливо.

Предположим, требуемое неравенство имеет место при некотором latexn=k и покажем, что оно же справедливо и для latexn=k+1.

Сложим предположение индукции latexk2k с неравенством latex122k. Находим latexk+12k+2k=2k+1, что и требовалось доказать. latex◼

Тест "Метод математической индукции"

Тестовые вопросы по вышеизложенному материалу.

Таблица лучших: Тест "Метод математической индукции"

максимум из 3 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

Список литературы:

  • Лысенко З.М. Конспект лекций по курсу математического анализа.
  • В.И.Коляда, А.А.Кореновский «Курс лекций по мат.анализу, часть 1» (Одесса «Астропринт» , 2009г.), стр.4.

 

Таблица основных интегралов

Таблица основных интегралов
Интеграл Значение
dx x+C
axdx axlna+C
exdx ex+C
xadx xa+1a+1+C
dxx ln|x|+C
dx2x x+C
cosxdx sinx+C
sinxdx cosx+C
shxdx chx+C
chxdx shx+C
dxsin2x ctgx+C
dxch2x thx+C
dxcos2x tgx+C
dxa2+x2 1aarctgxa+C
dxsh2x cthx+C
dxx2±a2 ln|x+x2±a2|+C
dxa2x2 arcsinxa+C
dxa2x2 12aln|a+xax|+C
dxx2a2 12aln|xax+a|+C

Решите примеры:

  1. (2x3)dx
    Спойлер
  2. cos2xdx 
    Спойлер
  3. (2x3)2dx
    Спойлер

Литература

  1. Кудрявцев Л.Д., Курс Математического Анализа. — М.: Дрофа; 2003, Т.1. Стр. 459
  2. Лысенко З.М., Конспект лекций по математическому анализу, 2012

Тест

Для решения интегралов нужно знать таблицу первообразных (таблицу интегралов) и свойства интегралов. Попробуйте проверить свои знания.


Таблица лучших: Таблица основных интегралов

максимум из 22 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

Пределы монотонных функций

Перед тем как рассматривать теорему, давайте вспомним, что такое монотонная функция и нарисуем  её график.

Функция [latex]f(x)[/latex] называется монотонно возрастающей на отрезке [latex][a;b][/latex], если [latex]\forall x_{1}, x_{2}\in[a;b],x_{1}>[/latex] [latex]x_{2}\Rightarrow f(x_{1})\geq f(x_{2})[/latex]

Функция [latex]f(x)[/latex] называется монотонно убывающей на отрезке [latex][a;b][/latex], если [latex]\forall x_{1}, x_{2}\in [a;b] ,x_{1}>[/latex] [latex] x_{2}\Rightarrow f(x_{1})\leq f(x_{2})[/latex]

Функция [latex]f(x)[/latex] называется строго монотонно убывающей на отрезке [latex][a;b][/latex], если [latex]\forall x_{1}, x_{2}\in [a;b],x_{1}>[/latex][latex]x_{2}\Rightarrow f(x_{1})<f(x_{2})[/latex]

Функция [latex]f(x)[/latex] называется строго монотонно возрастающей на отрезке [latex][a;b][/latex], если [latex]\forall x_{1},x_{2}\in[a;b], x_{1}>[/latex][latex]x_{2}\Rightarrow f(x_{1})>f(x_{2})[/latex]

Пример графика монотонно возрастающей функции.

grafik1

 

На графике видно, что [latex]\forall x_{1}, x_{2} : x_{1}>x_{2}[/latex], соответствующие значения функции [latex]f(x_{1})\geq f(x_{2})[/latex]

Пример графика монотонно убывающей функции.

grafik2

На графике видно, что [latex]\forall x_{1},x_{2} : x_{1}>x_{2}[/latex], соответствующие значения функции [latex]f(x_{1})\leq f(x_{2})[/latex]

Теорема о существовании односторонних пределов у монотонных функций

Формулировка:

Если функция [latex]f(x)[/latex] определена и монотонна на отрезке [latex][a;b][/latex], то в каждой точке [latex]x_{0}\in (a;b)[/latex] эта функция имеет конечные пределы слева и справа, а в точках [latex]a[/latex] и [latex]b[/latex] правосторонний и левосторонний пределы.

Доказательство:

Пусть, например, функция [latex]f(x)[/latex] монотонно возрастает на [latex][a;b][/latex]. Выберем произвольную внутреннюю точку [latex]x_{0}\in (a;b][/latex]. Тогда [latex]\forall x\in [a;x_{0})\Rightarrow [/latex][latex]f(x)\leq f(x_{0})\Rightarrow[/latex] [latex]f(x)[/latex] ограничена сверху на [latex][a;x_{0})\Rightarrow[/latex][latex]\exists\sup f(x)=M\leqslant f(x_{0})[/latex].
Согласно определению:
а) [latex]\forall x\in [a;x_{0})\Rightarrow[/latex][latex] f(x) \leqslant M[/latex]
б) [latex]\forall \varepsilon > 0\exists x_{\varepsilon }:[/latex][latex]M-\varepsilon < f(x_{\varepsilon }),[/latex] обозначим [latex]\delta =x_{0}-x_{\varepsilon }>0[/latex].
Если [latex]x\in (x_{\varepsilon };x_{0})=(x_{0-\delta };x_{0})[/latex], то [latex]f(x_{\varepsilon })\leq f(x)[/latex].
Итог: [latex]\forall \varepsilon >0\exists \delta>0:[/latex][latex]\forall x\in (x_{0}-\delta;x_{0}):[/latex][latex]M-\varepsilon <[/latex] [latex]f(x_{\varepsilon }) < f(x)\leq M<[/latex] [latex] M+\varepsilon \Leftrightarrow[/latex][latex] |f(x)-M|< \varepsilon[/latex]
[latex]\lim_{x\rightarrow x_{0-0} } f(x) = M[/latex]
Итак [latex]f(x_{0}-0)= \sup f(x)[/latex], [latex]a\leqslant x<x_{0} [/latex].
Аналогично доказываем, что функция имеет в точке [latex]x_{0}\in [a;b)[/latex] предел справа причем [latex]f(x_{0}+0)=\inf f(x)[/latex], [latex]x_{0}<x\leqslant b[/latex].
Следствие. Если функция [latex]f[/latex] определена и монотонна на интервале [latex](a;b)[/latex], [latex]\forall\ x_{0}\in (a;b)\exists \[/latex] предел справа и слева, причем если [latex]f[/latex] возрастает, то
[latex]f(x_{0}-0)=\lim\limits_{x\to x_{0}-0} f(x)[/latex] [latex] \leq\lim\limits_{x\to x_{0}+0} f(x)=[/latex][latex]f(x_{0}+0)[/latex],
если убывает, то
[latex]f(x_{0}-0)=\lim\limits_{x\to x_{0}-0} f(x)[/latex] [latex] \geq\lim\limits_{x\to x_{0}+0} f(x)=[/latex][latex]f(x_{0}+0)[/latex].

Литература

Тест

Тест по теме Пределы монотонных функций.

Желаем удачи!

Таблица лучших: Предел монотонной функции

максимум из 10 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

Единственность предела функции, локальная ограниченность функции, имеющей предел

1. Единственность предела функции

Как мы говорили с Вами в прошлой статье, единственность предела следует из определения предела функции по Гейне. Однако давайте сформулируем и докажем теорему о единственности предела.

Теорема о единственности предела

Формулировка:

Если функция [latex]f(x)[/latex] в точке [latex]a[/latex] имеет предел, то этот предел единственный.

Доказательство:

Докажем методом от противного. Предположим, что [latex]\lim\limits_{x\rightarrow a } f(x) = b[/latex], [latex]\lim\limits_{x\rightarrow a } f(x) = c[/latex], [latex]b \neq c[/latex]. Возьмём [latex]\varepsilon = \frac{|b-c|}{2}[/latex], по определению и свойству окрестности найдётся такая проколотая  
[latex]\delta[/latex]-окрестность точки [latex]a[/latex] ([latex]\dot{U}_{\delta }(a)[/latex]), в которой одновременно будут выполнятся неравенства [latex]|f(x)-b|<\frac{|b-c|}{2}[/latex], [latex]|f(x)-c|<\frac{|b-c|}{2}[/latex] , тогда в точках этой же окрестности [latex]|b-c|=[/latex][latex]|(b-f(x))+[/latex][latex](f(x)-c)| \leq[/latex][latex] |f(x)-b|+[/latex][latex]|f(x)-c|<[/latex][latex] \frac{|b-c|}{2}+[/latex][latex]\frac{|b-c|}{2}=[/latex][latex]|b-c|.[/latex] Получили противоречие [latex]|b-c| < |b-c|[/latex]. Отсюда, функция [latex]f(x)[/latex] в точке [latex]a[/latex] имеет единственный предел.

2. Локальная ограниченность функции, имеющей предел

Теорема о локальной ограниченности функции, имеющей предел

Формулировка:

Если предел функции [latex]f(x)[/latex] при [latex]x\rightarrow a[/latex] равняется [latex]A[/latex], то найдётся окрестность точки [latex]a[/latex], во всех точках которой функция [latex]f(x)[/latex] ограничена.

Доказательство:

Из определения предела по Коши получим: [latex]\forall \varepsilon >0[/latex] [latex] \exists \delta=\delta(\varepsilon) >0:[/latex][latex]\forall x\in \dot{U}_{\delta }(a)\Rightarrow |f(x)-A|<\varepsilon.[/latex] Возьмём [latex]\varepsilon =1[/latex]. Из условия теоремы следует существование окрестности [latex]\dot{U}_{\delta }(a)[/latex]. Следовательно, [latex]|f(x)-A|<1[/latex]. Перепишем это следующим образом:[latex]A-1<f(x)<A+1[/latex]. Легко видеть, что это и означает ограниченность функции [latex]f(x)[/latex].

 Литература

Тест

Тест по теме Единственность предела, локальная ограниченность функции, имеющей предел.

Таблица лучших: Единственность предела

максимум из 17 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных