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

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

Если функции [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]\begin{Bmatrix}x_{n}\end{Bmatrix}[/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]\begin{Bmatrix}x_{n}\end{Bmatrix}[/latex] — последовательность из [latex]\dot{U}_{\delta }(a)[/latex], тогда числа [latex]A[/latex] и [latex]B[/latex] будут пределами последовательности [latex]\begin{Bmatrix}x_{n}\end{Bmatrix}_{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

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

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

Под методом математической индукции понимают следующий способ доказательства: если требуется доказать истинность утверждения $latex P(n), \forall n \in \mathbb{N},$ то сначала проверяют данное утверждение для некоторого натурально числа $latex n_0 $, обычно $latex n_0=1$, а потом допускают истинность выражения $latex P(k).$ Далее доказывают истинность утверждения $latex P(k+1).$

Упражнение:

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

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

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

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

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

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

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

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

Спойлер

Опровержение

Противоречие возникает из-за того, что шаг индукции не сообразуется с базой. Он верен лишь при $latex K \geq 2 $. При $latex K = 1 $ (база индукции) получаемые множества оставшихся лошадей не будут пересекаться, и утверждение о равенстве цветов всех лошадей сделать нельзя.

[свернуть]

Пример:

$latex 1)$ Доказать равенство: $latex 1^{2}+2^{2}+3^{2}+\cdots+n^{2}=\frac{n(n+1)(2n+1)}{6}, n\in \mathbb{N}.$

$latex \square$ $latex 1)$  $latex 1^{2}=\frac{1(1+1)(2+1)}{6}=1.$

$latex 2)$ Пусть данное утверждение верно для $latex n=k:$   $latex 1^{2}+\cdots+k^{2}=\frac{k(k+1)(2k+1)}{6}.$

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

$latex \overbrace{1^{2}+2^{2}+\cdots+k^{2}}^{\frac{k(k+1)(2k+1)}{6}}+(k+1)^{2}= $

$latex \frac{(k+1)(k+2)(2(k+1)+1)}{6} $

$latex \frac{k(k+1)(2k+1)}{6}+(k+1)^{2}= $

$latex \frac{(k+1)(k+2)(2k+3)}{6} $

$latex \frac{k(k+1)(2k+1)+6(k+1)^{2}}{6}= $

$latex \frac{(k+1)(k+2)(2k+3)}{6} $

$latex k(2k^{2}+k+2k+1)+6(k^{2}+2k+1)= $

$latex (k+1)(2k^{2}+3k+4k+6) $

 $latex 2k^{3}+3k^{2}+k+6k^{2}+12k+6= $

$latex 2k^{3}+7k^{2}+6k+2k^{2}+7k+6 $

$latex 2k^{3}+9k^{2}+13k+6= $

$latex 2k^{3}+9k^{2}+13k+6.$   $latex \blacksquare$

$latex 2)$ Доказать, что для всех натуральных чисел $latex n$ справедливо неравенство $latex n \leq 2^{n}$.

$latex \square$ Для $latex n=1$ неравенство принимает вид $latex 1 \leq 2$, т.е. оно справедливо.

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

Сложим предположение индукции $latex k \leq 2^{k}$ с неравенством $latex 1 \leq 2 \leq 2^{k}$. Находим $latex k+1 \leq 2^{k}+2^{k}=2^{k+1}$, что и требовалось доказать. $latex \blacksquare$

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

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

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

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

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

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

 

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

Таблица основных интегралов
Интеграл Значение
$\int dx$ $x+C$
$\int a^xdx$ $\frac{a^x}{\ln{a}}+C$
$\int e^xdx$ $e^x+C$
$\int x^adx$ $\frac{x^{a+1}}{a+1}+C$
$\int \frac{dx}{x}$ $\ln|{x}|+C$
$\int \frac{dx}{2\sqrt{x}}$ $\sqrt{x}+C$
$\int \cos xdx$ $ \sin x+C$
$\int \sin xdx$ $ -\cos x+C$
$\int \mathop{\rm sh} xdx$ $ \mathop{\rm ch} x+C$
$ \int\mathop{\rm ch} xdx$ $\mathop{\rm sh} x+C$
$\int \frac{dx}{\sin^2x}$ $ \mathop{\rm -ctg} x + C $
$\int \frac{dx}{\mathop{\rm ch}^2x}$ $ \mathop{\rm th} x+ C$
$\int \frac{dx}{\cos^2x}$ $ \mathop{\rm tg}x +C$
$\int \frac{dx}{a^2+x^2}$ $\frac{1}{a} \mathop{\rm arctg}\frac{x}{a}+C$
$\int \frac{dx}{\mathop{\rm sh}^2x}$ $\mathop{\rm -cth}x+C$
$\int \frac{dx}{\sqrt{x^2\pm a^2}}$ $\ln|x+\sqrt{x^2\pm a^2}|+C$
$\int \frac{dx}{\sqrt{a^2-x^2}}$ $\arcsin \frac{x}{a}+C$
$\int \frac{dx}{a^2-x^2}$ $\frac{1}{2a}\ln|\frac{a+x}{a-x}|+C$
$\int \frac{dx}{x^2-a^2}$ $\frac{1}{2a}\ln|\frac{x-a}{x+a}|+C$

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

  1. $\int (2x-3)dx$
    Спойлер

    $x^2-3x+C$

    [свернуть]
  2. $\int \cos^2xdx$ 
    Спойлер

    $\frac{1}{2}(x+\frac{1}{2}\sin2x)+C$

    [свернуть]
  3. $\int (2x-3)^2dx$
    Спойлер

    $\frac{4}{3}x^3-6x^2+9x+C$

    [свернуть]

Литература

  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 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных