Бесконечно большие последовательности, их свойства и связь с бесконечно малыми последовательностями

Определение

Последовательность $latex \left \{ x_{n} \right \} $ называется бесконечно большой, если $latex \forall \varepsilon >0 \;\; \exists N_{\varepsilon}>0 \;\;\forall n\geq N_{\varepsilon} \;\;\left|x_{n}\right|\geq\varepsilon $, или $latex \lim\limits_{n\to\infty}x_{n}=\infty $.

Геометрическая интерпретация

Назовем $latex \varepsilon $-окрестностью точки $latex \infty $ множество $latex E=\left\{x\in\mathbb{R}:\left|x\right|>\varepsilon\right\} $.
Введем множества $latex E_{1}=\left\{x\in\mathbb{R}:\;x<-\varepsilon\right\} $ и $latex E_{2}=\left\{x\in\mathbb{R}:\;x>\varepsilon\right\} $. Назовем эти множества $latex \varepsilon $-окрестностями точек $latex -\infty $ и $latex \infty $ соответственно. Тогда $latex E=E_{1}\cup E_{2} $.

E-okr infty

Теорема (связь между бесконечно большими и бесконечно малыми последовательностями)

  • Если $latex \left\{x_{n}\right\} $ — бесконечно большая последовательность, то начиная с некоторого номера $latex n $ определена последовательность $latex \left \{ \frac{1}{x_{n}}\right \} $, которая является бесконечно малой.
  • Если все элементы бесконечно малой последовтельности $latex \left \{ \alpha_{n}\right \} $ отличны от нуля, то последовательность $latex \left \{\frac{1}{\alpha_{n}}\right \} $ — бесконечно большая.

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

  • Пусть $latex \left\{x_{n}\right\} $ — бесконечно большая последовательность, т.е. $latex \forall \varepsilon >0 \;\; \exists N_{\varepsilon}>0 \;\;\forall n\geq N_{\varepsilon} \;\;|x_{n}|\geq\varepsilon $. Это означает, что при $latex n\geq N_{\varepsilon} $ все элементы $latex x_{n}\neq 0 $, поэтому последовательность $latex \left\{\frac{1}{x_{n}}\right\} $ имеет смысл с номера $latex N_{\varepsilon} $.
    Пусть $latex A $ — любое положительное число, тогда для числа $latex \frac{1}{A}$ $latex \exists\,N_{1}:\forall n\geq N_{1}\left|\frac{1}{x_{n}}\right|<A$, что по определению означает, что последовательность $latex \left\{\frac{1}{x_{n}}\right\} $ — бесконечно малая.
  • Второе доказательство проводится аналогично.

Свойства бесконечно больших последовательностей

  1. Сумма бесконечно больших последовательностей одного знака есть бесконечно большая последовательность того же знака.
  2. Сумма бесконечно большой и ограниченной последовательностей есть бесконечно большая последовательность.
  3. Произведение бесконечно больших последовательностей есть бесконечно большая последовательность.
  4. Произведение бесконечно большой последовательности на константу есть бесконечно большая последовательность.

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

  1. Пусть $latex \left\{x_{n}\right\},\;\left\{y_{n}\right\} $ — бесконечно большие последовательности.
    По определению:
    $latex \forall \varepsilon >0 \;\; \exists N_{1}>0:\;\forall n\geq N_{1} \;\;\left|x_{n}\right|\geq\varepsilon $ и $latex \forall \varepsilon >0 \;\; \exists N_{2}>0:\;\forall n\geq N_{2} \;\;\left|y_{n}\right|\geq\varepsilon $.
    Тогда для последовательности $latex \left\{x_{n}+y_{n}\right\} $:
    $latex \forall \varepsilon >0 \;\; \exists N=\max\left\{N_{1},N_{2}\right\}>0:\;\forall n\geq N \;\;\left|x_{n}+y_{n}\right|\geq\varepsilon $, что означает, что последовательность $latex \left\{x_{n}+y_{n}\right\} $ — бесконечно большая.
  2. Пусть последовательность $latex \left\{x_{n}\right\} $ — бесконечно большая, $latex \left\{y_{n}\right\} $ — ограниченная. Тогда по определению $latex \forall \varepsilon >0 \;\; \exists N_{\varepsilon}>0 \;\;\forall n\geq N_{\varepsilon} \;\;|x_{n}|\geq\varepsilon $ и $latex \exists\,C:\;\forall n\in\mathbb{N} \left|y_{n}\right|<C $.
    Рассмотрим $latex \left|x_{n}+y_{n}\right| $:
    $latex \left|x_{n}+y_{n}\right|=\left|x_{n}\right|\cdot\frac{\left|x_{n}+y_{n}\right|}{\left|x_{n}\right|}=\left|x_{n}\right|\cdot\left|\frac{x_{n}+y_{n}}{x_{n}}\right|=\left|x_{n}\right|\cdot\left|\frac{x_{n}}{x_{n}}+\frac{y_{n}}{x_{n}}\right|=\left|x_{n}\right|\left(1+0\right)=\left|x_{n}\right|\geq\varepsilon $
    (используются свойства модулей, свойства бесконечно малых последовательностях и теорема о связи между бесконечно большими и бесконечно малыми последовательностями)
    Получили: $latex \forall \varepsilon >0 \;\; \exists N_{\varepsilon}>0 \;\;\forall n\geq N_{\varepsilon} \;\;\left|x_{n}+y_{n}\right|\geq\varepsilon $, что означает, что последовательность $latex \left\{x_{n}+y_{n}\right\} $ — бесконечно большая.
  3. Доказательство аналогично предыдущему.
  4. Пусть последовательность $latex \left\{x_{n}\right\} $ — бесконечно большая, $latex C \neq 0 $ — константа. Тогда по определению $latex \forall \varepsilon >0 \;\; \exists N_{\varepsilon}>0 \;\;\forall n\geq N_{\varepsilon} \;\;|x_{n}|\geq\varepsilon $.
    Рассмотрим $latex \left|x_{n}\cdot C\right| $:
    $latex \left\{x_{n}\right\}\rightarrow\infty, \Rightarrow \left\{\frac{1}{x_{n}}\right\}\rightarrow 0 $ (по теореме о связи между бесконечно большими и бесконечно малыми последовательностями).
    $latex C $ — константа, $latex \Rightarrow\left\{\frac{1}{C}\right\} $ — также константа, т.е. ограниченная.
    $latex \left \{ \frac{1}{x_{n}\cdot C} \right \}=\left \{\frac{1}{x_{n}}\cdot\frac{1}{C} \right \}\rightarrow 0\Rightarrow\left \{ x_{n}\cdot C \right \}\rightarrow\infty $, что означает, что последовательность $latex \left\{x_{n}y_{n}\right\} $ — бесконечно большая.
    (используются свойства бесконечно малых последовательностей и теорема о связи между бесконечно большими и бесконечно малыми последовательностями)

Примеры.

  1. Последовательность $latex \left\{n\right\} $ является бесконечно большой, т.к. $latex \forall\varepsilon\>0\;\exists N=\left[\varepsilon\right]+1:\;\forall n\geq N\;n>\varepsilon $.
  2. Последовательность $latex \left\{\frac{n^2}{n+1}\right\} $ является бесконечно большой, т.к. $latex \frac{n^2}{n+1}=\frac{n}{1+\frac{1}{n}}\rightarrow\frac{\infty}{1+0}=\infty $.
  3. $latex \frac{n}{\left(\cos n\right)^2}=n\cdot\frac{1}{\left(\cos n\right)^2} $ — бесконечно большая, т.к. $latex \lim\limits_{n\rightarrow\infty}n=\infty $, а $latex \frac{1}{\left(\cos n\right)^2} $ — ограниченная, сохраняющая знак.
  4. $latex \left\{-\sqrt{n}\right\} $
    Выберем произвольное число $latex \varepsilon>0:\;-\sqrt{n}\leq-\varepsilon;\; N>\varepsilon^2 $. Получили: $latex \forall\varepsilon>0\;\exists N=\left[\varepsilon^{2}+1\right]:\,\forall n\geq N\;\; -\sqrt{n}<-\varepsilon $, т.е. $latex \lim\limits_{n\rightarrow\infty}\left(-\sqrt{n}\right)=-\infty $.

Литература

Тест по теме «Бесконечно малые и бесконечно большие последовательности»


Таблица лучших: Бесконечно малые и бесконечно большие последовательности

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

Бесконечно малые последовательности и их свойства

Бесконечно малые последовательности

Определение бесконечно малой последовательности

Последовательность $latex \left \{ \alpha_{n} \right \} $ называется бесконечно малой, если $latex \lim\limits_{n \rightarrow \infty }\alpha_{n} =0 $, т.е. $latex \forall \varepsilon >0 \;\; \exists N_{\varepsilon}>0 \;\;\forall n\geq N_{\varepsilon} \;\;|\alpha_{n}|<\varepsilon $.

Геометрическая интерпретация

E-okr01

Свойства бесконечно малых последовательностей

  1. Бесконечно малая последовательность ограничена.
  2. Сумма бесконечно малых последовательностей есть бесконечно малая последовательность.
  3. Произведение бесконечно малой последовательности на ограниченную есть бесконечно малая последовательность.
  4. Если элементы бесконечно малой последовательности $latex \left\{\alpha_{n}\right\} $ равны одному и тому же числу $latex C $, то $latex C=0 $.

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

  1.  Пусть $latex \left\{ \alpha_{n}\right\} $ — бесконечно малая последовательность, $latex \varepsilon $ — некоторое положительное число. Пусть $latex N $ — номер, такой, что $latex \forall n \geqslant N \; \left|\alpha_{n}\right|<\varepsilon $. Обозначим $latex \max \left \{\varepsilon,\left|\alpha_{1}\right|,\left|\alpha_{2}\right|,\,…\,,\left|\alpha_{n-1}\right|\right \} $ числом A. Получим:$latex \forall\varepsilon>0 \;\exists A=\max\left\{\varepsilon,\left|\alpha_{1}\right|,\left|\alpha_{2}\right|,\,…\,,\left|\alpha_{n-1}\right|\right\}:\forall n\in\mathbb{N}\; \left|\alpha_{n}\right|<A $, что и означает, что последовательность ограничена.
  2. Пусть $latex \left\{ \alpha_{n} \right\} $ и $latex \left\{ \beta_{n} \right\} $ — бесконечно малые последовательности. Пусть $latex \varepsilon $ — произвольное положительное число, $latex N_{1} $ — номер, начиная с которого $latex \left|\alpha_{n}\right|<\frac{\varepsilon}{2} $, а $latex N_{2} $ — номер, начиная с которого $latex \left|\beta_{n}\right|<\frac{\varepsilon}{2} $. Такие номера найдутся по определению бесконечно малой последовательности. Тогда по свойству модулей $latex \left|\alpha_{n}+\beta_{n}\right|\leq \left|\alpha_{n}\right|+\left|\beta_{n}\right| $. Обозначим через $latex N $ наибольший из номеров <$latex N_{1} $ и $latex N_{2} $. Получим: $latex \forall \varepsilon>0\;\exists N\; \forall n\geq N \left|\alpha_{n}+\beta_{n}\right|<\varepsilon $, что означает, что последовательность $latex \left\{\alpha_{n}+\beta_{n}\right\} $ — бесконечно малая.
  3. Пусть последовательность $latex \left\{ \alpha_{n} \right\} $ — бесконечно малая, а $latex \left\{ x_{n} \right\} $ — ограниченная. По определению,  $latex \exists\, c>0:\forall n\in \mathbb{N} \left|x_{n}\right|<c $ и $latex \forall \varepsilon >0 \;\; \exists N_{\varepsilon}>0 \;\;\forall n\geq N_{\varepsilon} \;\;|\alpha_{n}|<\frac{\varepsilon}{c} $. По свойству модулей, $latex \left|\alpha_{n}\cdot x_{n}\right|=\left|\alpha_{n}\right|\cdot\left|x_{n}\right|<\frac{\varepsilon}{c}\cdot c=\varepsilon $. Получили:$latex \forall\,\varepsilon>0\;\exists N\in\mathbb{N}:\forall n\geq N\:\left|\alpha_{n}\cdot x_{n}\right|<\varepsilon $, а это означает по определению, что последовательность $latex \left\{\alpha_{n}\cdot x_{n}\right\} $  — бесконечно малая.
    Следствие: произведение любого конечного числа бесконечно малых последовательностей есть бесконечно малая последовательность.
  4. Пусть $latex C\neq 0 $. Тогда для $latex \varepsilon=\frac{\left|C\right|}{2}\;\;\exists N: \forall n\geq N \left|\alpha_{n}\right|<\frac{\left|C\right|}{2} $. По условию, $latex \alpha_{n}=C $, тогда $latex C<\frac{\left|C\right|}{2} $. Получили противоречие, следовательно, $latex C=0 $.

Примеры

  1. Последовательность $latex \frac{1}{n} $ — бесконечно малая, т.к. $latex \forall\varepsilon>0\;\;\exists N=\left[\frac{1}{\varepsilon}\right]+1:\;\forall n\geq N\;\;\frac{1}{n}<\varepsilon $.
  2. $latex \frac{\sin n}{n}=\frac{1}{n}\cdot \sin n $  — бесконечно малая, т.к. $latex \sin n $ — ограниченная, а $latex \lim\limits_{n \to \infty } \frac{1}{n}=0 $.
  3. $latex \frac{\left ( -1 \right )^{n}}{n}=\frac{1}{n}\cdot\left(-1 \right )^{n} $ — бесконечно малая, т.к.$latex \left(-1 \right )^{n} $  — ограниченная, а $latex \lim\limits_{n\to\infty}\frac{1}{n}=0 $.
  4. $latex \sin\frac{1}{n} $ — бесконечно малая при $latex n\rightarrow\infty $, т.к. $latex \forall\varepsilon>0\;\sin\frac{1}{n}<\varepsilon $ при $latex n>\frac{1}{\arcsin{\varepsilon}} $.
  5. $latex \frac{n}{n^2+1} $ — бесконечно малая, т.к. $latex \frac{n}{n^2+1}<\frac{n}{n^2}=\frac{1}{n} $, которая является бесконечно малой.

Бесконечно малые последовательности и их свойства

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

Литература:

Неопределённый интеграл и его свойства

Пусть функция [latex]f[/latex] определена на некотором промежутке. Совокупность всех ее первообразных на этом промежутке называется неопределённым интегралом от функции [latex]f[/latex] и обозначается $$\int f(x)dx.$$
Символ [latex]\int[/latex] называется знаком интеграла, а [latex]f(x)[/latex] —подынтегральной функцией.

Если [latex]F(x)[/latex] — какая-либо первообразная функции [latex]f[/latex] на рассматриваемом промежутке, то пишут

[latex]\int f(x)dx=F(x)+C[/latex],

где [latex]C[/latex] — произвольная постоянная.

Нахождение неопределённого интеграла. от заданной функции называют интегрированием.

Следует отметить, что всякое равенство, в обеих частях которого стоят неопределённые интегралы, есть равенство между множествами.

Под знаком интеграла пишут не саму функцию [latex]f[/latex], а ее произведение на дифференциал. Это делается, например, для того, чтобы указать, по какой переменной ищется первообразная.

Спойлер

[latex]\int x^2z dx=\frac{x^3z}{3}+C[/latex]

[свернуть]

Спойлер

[latex]\int x^2z dz=\frac{x^2z^2}{2}+C[/latex]

[свернуть]

Спойлер

[latex]\int \frac{3}{2} \sqrt{x} dx=x^\frac{3}{2}+C=x \sqrt{x}+C[/latex], [latex]x\in[0,\infty][/latex]

[свернуть]

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

Свойства неопределённого интеграла

Все рассматриваемые в этом пункте функции определены на некотором фиксированном промежутке [latex]\bigtriangleup[/latex].

Спойлер

  Если функция [latex]F[/latex] дифференцируема на некотором промежутке, то 

[latex]\int dF(x)=F(x)+C[/latex] 

 или

[latex]\int F'(x)dx=F(x)+C[/latex]. 

 

Это следует из определения первообразной.

[свернуть]

Спойлер

Если [latex]\int f(x)dx=F(x)+C[/latex] и  [latex]\int g(x)dx=G(x)+C[/latex], то  [latex]\int [f(x)+g(x)]dx=F(x)+G(x)+C[/latex], или

[latex]\int [f(x)+g(x)]dx=\int f(x)dx + \int g(x)dx[/latex]


Действительно, при наших предположениях имеет место равенство

[latex](F(x)+G(x))’=F'(x)+G'(x)=f(x)+g(x).[/latex]

[свернуть]

Спойлер

Если [latex]\int f(x)dx=F(x)+C[/latex], то для любого действительного числа [latex]\alpha\ne 0[/latex] [latex] \int[\alpha f(x)] dx=\alpha F(x)+C[/latex], или

[latex]\int[\alpha f(x)] dx=\alpha \int f(x) dx[/latex]

Это равенство очевидно следует из определения. Заметим, что при [latex]\alpha=0[/latex] оно не верно по той причине, что в левой части совокупность всех постоянных, а в правой — тождественный нуль.

[свернуть]

Спойлер

Если [latex] \int f(t)dt=F(t)+C[/latex], то для любого [latex] a\ne 0[/latex] и для любого [latex]b[/latex]

[latex] \int f(ax+b)d=\frac{1}{a} F(ax+b)+C.[/latex]

Действительно,

[latex] [\frac{1}{a} F(ax+b)]’=\frac{1}{a} F'(ax+b)a=f(ax+b)[/latex].

 

[свернуть]

Спойлер

Если [latex]f[/latex] и [latex]g[/latex] имеют первообразные на промежутке [latex]\bigtriangleup[/latex], а [latex]\alpha[/latex] и [latex]\beta[/latex] — числа, то функция [latex]\alpha f+\beta g[/latex] также имеет первообразную на [latex]\bigtriangleup[/latex], причём при [latex]\alpha^2+\beta^2>0[/latex] выполняется равенство

[latex]\int(\alpha f(x)+\beta g(x)) dx=\alpha\int f(x)dx+\beta\int g(x)dx[/latex].

 

[свернуть]

Литература.

  1. Лысенко З.М., Конспект лекций по математическому анализу, 2012
  2. Зарубин В.С., интегральное исчисление функций одного переменного — М.: Изд-во МГТУ им. Н.Э. Баумана, 1999., Стр. 16
  3. Кудрявцев Л.Д., Курс Математического Анализа. — М.: Дрофа; 2003, Т.1. Стр. 454-455
  4. Кудрявцев Л.Д., Курс Математического Анализа. — М.: Дрофа; 2003, Т.1. Стр. 456-458
  5. В. И. Коляда, А. А. Кореновский. Курс лекций по математическому анализу. К93:в 2-х ч. Ч. 1. — Одесса: Астропринт, 2009. (стр. 158-159)

 Тест.

Неопределённый интеграл и его свойства

Неопределённый интеграл и его свойства

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

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