Арифметические операции со сходящимися последовательностями

Теорема (арифметические операции со сходящимися последовательностями)

Пусть последовательность $latex \underset{n\to\infty}{\left\{x_{n}\right\}\rightarrow a} $, а $latex \underset{n\to\infty}{\left\{y_{n}\right\}\rightarrow b} $. Тогда верны следующие утверждения:

  1. $latex \lim\limits_{n\rightarrow\infty}(x_{n}\pm y_{n})=\lim\limits_{n\rightarrow\infty}x_{n}\pm\lim\limits_{n\rightarrow\infty}y_{n}=a\pm b $.
  2. $latex \lim\limits_{n\rightarrow\infty}(x_{n}\cdot y_{n})=\lim\limits_{n\rightarrow\infty}x_{n}\cdot\lim\limits_{n\rightarrow\infty}y_{n}=a\cdot b $.
  3. $latex \lim\limits_{n\rightarrow\infty}\frac{x_{n}}{ y_{n}}=\frac{\lim\limits_{n\rightarrow\infty}x_{n}}{\lim\limits_{n\rightarrow\infty}y_{n}}=\frac{a}{b},\;b\neq 0,\;y_{n}\neq 0 $.

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

  1. $latex \lim\limits_{n\rightarrow \infty}x_{n}=\lim\limits_{n\rightarrow \infty}\left ( a+\alpha_{n} \right ) $
    $latex \lim\limits_{n\rightarrow \infty}y_{n}=\lim\limits_{n\rightarrow \infty}\left ( b+\beta_{n} \right ) $,
    где $latex \alpha_{n}$ и $latex \beta_{n} $ — бесконечно малые последовательности.
    $latex x_{n}+y_{n}=\left(a+\alpha_{n}\right)+\left(b+\beta_{n}\right)=\left(a+b\right)+\left(\alpha_{n}+\beta_{n}\right)=a+b $
  2. $latex x_{n}=a+\alpha_{n} $, $latex y_{n}=b+\beta_{n} $, где $latex \alpha_{n}$ и $latex \beta_{n} $ — бесконечно малые последовательности.
    $latex x_{n}\cdot y_{n}=\left(a+\alpha_{n}\right)\cdot\left(b+\beta_{n}\right)=ab+a\beta_{n}+\alpha_{n}b+\alpha_{n}\beta_{n}=ab $
    (по свойству бесконечно малых последовательностей)
  3. $latex x_{n}=a+\alpha_{n} $, $latex y_{n}=b+\beta_{n} $, где $latex \alpha_{n}$ и $latex \beta_{n} $ — бесконечно малые последовательности.
    $latex \frac{a+\alpha_{n}}{b+\beta_{n}}=\frac{a}{b+\beta_{n}}+\alpha_{n}\cdot\frac{1}{b+\beta_{n}}=\frac{a}{b} $
    (по свойству бесконечно малых последовательностей)

Примеры

  1. $latex \lim\limits_{n\rightarrow\infty}\frac{2^n+\cos n}{2^{n+1}+\sin n^2}=\lim\limits_{n\rightarrow\infty}\frac{2^n\left(1+\frac{1}{2^n}\cos n\right)}{2^{n+1}\left(1+\frac{1}{2^{n+1}}\sin n^2\right)}=\frac{1}{2}\frac{\left(1+0\right)}{\left(1+0\right)}=\frac{1}{2} $
  2. $latex \lim\limits_{n\rightarrow\infty}\sqrt[n]{a}=\lim\limits_{n\rightarrow\infty}\frac{1}{\frac{1}{\sqrt[n]{a}}}=\frac{1}{1}=1 $ при $latex a>0 $
  3. $latex \lim\limits_{n\rightarrow\infty}\frac{\left(-2\right)^n+3^n}{\left(-2\right)^{n+1}+3^{n+1}}=? $
    $latex \frac{\left(-2\right)^n+3^n}{\left(-2\right)^{n+1}+3^{n+1}}= $ (делим числитель и знаменатель на $latex 3^{n+1} $) $latex =\frac{\frac{\left(-2\right)^n}{3^{n+1}}+\frac{1}{3}}{\left(\frac{-2}{3}\right)^{n+1}+1}=\frac{\frac{1}{3}\left(\frac{-2}{3}\right)^n+\frac{1}{3}}{\left(\frac{-2}{3}\right)^{n+1}+1} $
    Предел частного = частному пределов, поэтому:
    $latex \frac{\lim\limits_{n\rightarrow\infty}\left(\frac{1}{3}\left(\frac{-2}{3}\right)^n+\frac{1}{3}\right)}{\lim\limits_{n\rightarrow\infty}\left(\left(\frac{-2}{3}\right)^{n+1}+1\right)}=\frac{0\cdot\frac{1}{3}+\frac{1}{3}}{0+1}=\frac{1}{3} $.
  4. $latex \lim\limits_{n\rightarrow\infty}\left(\frac{1}{2n^2}+\sqrt[n]{5}-\frac{\sin^2 3}{3^n}\right) $
    Предел суммы равен сумме пределов, поэтому:
    $latex \lim\limits_{n\rightarrow\infty}\left(\frac{1}{2n^2}+\sqrt[n]{5}-\frac{\sin^2 3}{3^n}\right)=\lim\limits_{n\rightarrow\infty}\frac{1}{2n^2}+\lim\limits_{n\rightarrow\infty}\sqrt[n]{5}-\lim\limits_{n\rightarrow\infty}\frac{\sin^2 3}{3^n}=0+1+0=1 $.

Литература

  • Лысенко З.М. Конспект лекций по математическому анализу, семестр 1, О.:2012
  • Демидович Б. П. Сборник задач и упражнений по математическому анализу. М.,1969. стр. 16-17

Арифметические операции со сходящимися последовательностями

С помощью этого теста пользователь проверит свои навыки в нахождении пределов сходящихся последовательностей.


Таблица лучших: Арифметические операции со сходящимися последовательностями

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

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

Определение

Последовательность $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} $, которая является бесконечно малой.

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

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

Литература: