Предельный переход в неравенствах для последовательностей

Свойства сходящихся последовательностей (ограниченность, арифметические свойства)

Ответ:

Если каждому натуральному числу n поставлено в соответствие число х_n, то говорят, что задана последовательность

x_1, х₂, …, х_n = {x_n}

Общий элементпоследовательности является функцией от n.

x_n = f(n)

Таким образом последовательность может рассматриваться как функция порядкового номера элемента.

Задать последовательность можно различными способами – главное, чтобы был указан способ получения любого члена последовательности.

Пример. {x_n} = {(-1)ⁿ} или {x_n} = -1; 1; -1; 1; …

{x_n} = {sinpn/2} или {x_n} = 1; 0; 1; 0; …

Для последовательностей можно определить следующиеарифметические свойства:

1) Умножение последовательности на число m: m{x_n} = {mx_n}, т.е. mx₁, mx₂, …

2) Сложение (вычитание) последовательностей: {x_n} ± {y_n} = {x_n ± y_n}.

3) Произведение последовательностей: {x_n}×{y_n} = {x_n×y_n}.

4) Частное последовательностей: при {y_n} ¹ 0.

Ограниченные и неограниченные последовательности.

Определение. Последовательность {x_n} называется ограниченной, если существует такое число М>0, что для любого n верно неравенство:

т.е. все члены последовательности принадлежат промежутку (-М; M).

Определение. Последовательность {x_n}называется ограниченной сверху, если для любого n существует такое число М, что

x_n £ M.

Определение. Последовательность {x_n}называется ограниченной снизу, если для любого n существует такое число М, что

x_n ³ M

Пример. {x_n} = n – ограничена снизу {1, 2, 3, … }.

Предельный переход в неравенствах для последовательностей.

Ответ:

Арифметические операции над сходящимися последовательностями приводят к таким же арифметическим операциям над их пределами. В этом пункте покажем, что неравенства, которым удовлетворяют элементы сходящихся последовательностей, в пределе переходят в соответствующие неравенства для пределов этих последовательностей.

Теорема. Если элементы сходящейся последовательности {x_n}, начиная с некоторого номера, удовлетворяют неравенству x_n ≥ b (x_n ≤ b), то и предел a этой последовательности удовлетворяет неравенству a ≥ b (a ≤ b).

Доказательство. Пусть все элементы x_n, по крайней мере начиная с некоторого номера, удовлетворяют неравенству x_n ≥ b. Требуется доказать неравенство a ≥ b. Предположим, что a < b. Поскольку a - предел последовательности {x_n}, то для положительного ε = b - a можно указать номер N такой, что при n ≥ N выполняется неравенство |x_n - a| < b - a. Это неравенство эквивалентно следующим двум неравенствам: -(b - a) < x_n - a < b - a. Используя правое из этих неравенств, получим x_n < b, а это противоречит условию теоремы. Случай x_n ≤ b рассматривается аналогично. Теорема доказана.

Замечание. Элементы сходящейся последовательности {x_n} могут удовлетворять строгому неравенству x_n > b, однако при этом предел a может оказаться равным b. Например, если , то x_n > 0, однако

.

Следствие 1. Если элементы x_n и y_n сходящихся последовательностей {x_n} и {y_n}, начиная с некоторого номера, удовлетворяют неравенству x_n ≤ y_n, то их пределы удовлетворяют такому же неравенству:

В самом деле, элементы последовательности {y_n - x_n} неотрицательны, а поэтому неотрицателен и ее предел

.

Отсюда следует, что

Следствие 2. Если все элементы сходящейся последовательности {x_n} находятся на сегменте [a, b], то и ее предел c также находится на этом сегменте.

В самом деле, так как a ≤ x_n ≤ b, то a ≤ c ≤ b.

Следующая теорема играет важную роль в различных приложениях.

Теорема. Пусть {x_n} и {z_n} - сходящиеся последовательности, имеющие общий предел a. Пусть, кроме того, начиная с некоторого номера, элементы последовательности {y_n} удовлетворяют неравенствам x_n ≤ y_n ≤ z_n. Тогда последовательность {y_n} сходится и имеет предел a.

Доказательство. Нам достаточно доказать, что последовательность {y_n - a} является бесконечно малой. Обозначим через N^* номер, начиная с которого выполняются неравенства, указанные в условии теоремы. Тогда, начиная с этого же номера, будут выполняться также неравенства x_n - a ≤ y_n - a ≤ z_n - a. Отсюда следует, что при n ≥ N^* элементы последовательности {y_n - a} удовлетворяют неравенству

|y_n - a| ≤ max {|x_n - a|, |z_n - a|}.

Так как и , то для любого ε > 0 можно указать номера N₁ и N₂ такие, что при n ≥ N₁ |x_n - a| < ε, а при n ≥ N₂ |z_n - a| < ε. Пусть N = max{N^*, N₁, N₂}. Начиная с этого номера, имеет место неравенство |y_n - a| < ε. Итак, последовательность {y_n - a} - бесконечно малая. Теорема доказана.