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

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

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

Задача 90

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

Опирается на задачу 89

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

  1. 1
    Пусть последовательность xnx_n монотонно возрастает.

    Пусть xpkx_{p_k} - её сходящаяся подпоследовательность с пределом aa. По определению предела для ε=1\varepsilon = 1 существует такой номер NN, что для всех pk>Np_k > N выполняется:xpk<a+1x_{p_k} < a + 1
  2. 2
    Для существования предела xnx_n по теореме Вейерштрасса осталось доказать, что она ограничена (снизу она ограничена своим первым членом x1x_1, значит, нужно показать ограниченность сверху).
  3. 3
    Предположим противное: последовательность не ограничена числом a+1a+1. Тогда существует номер n>Nn > N такой, что xna+1x_n \ge a + 1.
  4. 4
    Так как индексы подпоследовательности неограниченно растут, обязательно найдется номер pi>np_i > n. Из монотонного возрастания всей последовательности следует:xpixna+1x_{p_i} \ge x_n \ge a + 1Однако, поскольку pi>n>Np_i > n > N, элемент xpix_{p_i} обязан удовлетворять первоначальному условию: xpi<a+1x_{p_i} < a + 1. Полученное противоречие (a+1xpi<a+1a+1 \le x_{p_i} < a+1) доказывает, что вся последовательность xnx_n ограничена сверху, а значит - сходится.

    Случай монотонного убывания:

Проверка

Если xnx_n монотонно убывает, то последовательность yn=xny_n = -x_n монотонно возрастает и имеет сходящуюся подпоследовательность xpk-x_{p_k}, что полностью сводит задачу к уже доказанному первому пункту.

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

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