Раздел I. Введение в анализ§ 2. Теория последовательностей

Демидович — задача 93

Б. П. Демидович, «Сборник задач и упражнений по математическому анализу». Условие и подробное решение по шагам.

Задача 93

Доказать, что всякая сходящаяся числовая последовательность ограничена.

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

Идея

Из определения предела следует, что все достаточно далёкие члены лежат в узком промежутке около aa, а значит, хвост уже ограничен. Вне этого хвоста остаётся лишь конечное число членов. Оценим эти две части отдельно, а затем выберем одну общую границу для всей последовательности.
  1. 1
    Оценка хвоста. Пусть xnax_n\to a. Возьмём ε=1\varepsilon=1. Существует номер N0N_0 такой, что при nN0n\ge N_0xna<1.|x_n-a|<1.Если потребуется, увеличим этот номер и положимN=max{N0,2}.N=\max\{N_0,2\}.Тогда при nNn\ge Nxna+xna<a+1.|x_n|\le|a|+|x_n-a|<|a|+1.Конечный начальный отрезок. Начальный наборx1,x2,,xN1x_1,x_2,\ldots,x_{N-1}непуст и конечен. ПоложимM=max{x1,,xN1,a+1}.M=\max\{|x_1|,\ldots,|x_{N-1}|,|a|+1\}.Для n<Nn<N имеем xnM|x_n|\le M по определению MM, а для nNn\ge N — по полученной оценке. Следовательно,xnMдля всех n.|x_n|\le M
    \qquad\text{для всех }n.
  2. 2
    Здесь нельзя ограничиться оценкой хвоста: первые члены могут лежать вне выбранной окрестности предела. Их конечное число позволяет взять максимум модулей, а объединение двух оценок даёт одну границу для всех номеров.

    Всякая сходящаяся числовая последовательность ограничена.

    Альтернативное решение:
    Если последовательность сходится, то с какого-то момента (начиная с номера NN) все её члены «заперты» в узком ε\varepsilon-"коридоре". Вне этого коридора остаётся лишь конечное число стартовых элементов. А в любом конечном наборе чисел всегда есть самое большое и самое маленькое. Значит, вся последовательность целиком поместится между этим глобальным максимумом и минимумом.рисунок к задаче Демидовича № 93

    Пусть limnxn=a\lim_{n \to \infty} x_n = a. Зафиксируем произвольное ε>0\varepsilon > 0 (для удобства можно взять ε=1\varepsilon = 1). По определению предела найдётся такой номер NN, что для всех n>Nn > N выполняется:xna<1    a1<xn<a+1|x_n - a| < 1 \implies a - 1 < x_n < a + 1Это означает, что весь бесконечный «хвост» последовательности ограничен сверху числом a+1a+1, а снизу - числом a1a-1.

    До этого номера NN у нас есть ровно NN элементов: x1,x2,,xNx_1, x_2, \ldots, x_N. Это конечный набор чисел.
  3. 3
    Обозначим за MM наибольшее из всех стартовых значений и верхней границы хвоста:M=max{x1,x2,,xN,a+1}M = \max\{x_1, x_2, \ldots, x_N, a+1\}А за mm - наименьшее из них и нижней границы хвоста:m=min{x1,x2,,xN,a1}m = \min\{x_1, x_2, \ldots, x_N, a-1\}

Проверка

Тогда для абсолютно любого номера nn (как до NN, так и после) будет гарантированно выполняться двойное неравенство:mxnMm \le x_n \le MСледовательно, последовательность xnx_n ограничена с обеих сторон.

Что и требовалось доказать

Демидович № 93 — решение