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

Приводится определение конечного предела последовательности. Рассмотрены связанные с этим свойства и эквивалентное определение. Приводится определение, что точка a не является пределом последовательности. Рассмотрены примеры, в которых доказывается существование предела, используя определение.

Содержание

См. также:

Здесь мы рассмотрим определение конечного предела последовательности. Случай последовательности, сходящейся к бесконечности, рассмотрен на странице «Определение бесконечно большой последовательности».

Определение предела последовательности

Предел последовательности: – это такое число a, если для любого положительного числа ε > 0 существует такое натуральное число N_ε, зависящее от ε, что для всех натуральных n > N_ε выполняется неравенство
|x_n – a| < ε.
Здесь x_n – элемент последовательности с номером n. Предел последовательности обозначается так:
.
Или при .

Преобразуем неравенство:
;
;
.

ε - окрестность точки a: – это открытый интервал (a – ε, a + ε).

Сходящаяся последовательность: – это последовательность, у которой существует предел . Также говорят, что последовательность сходится к a.

Расходящаяся последовательность: – это последовательность, не имеющая предела.

Из определения следует, что, если последовательность имеет предел a, то какую бы ε - окрестностью точки a мы не выбрали, за ее пределами может оказаться, лишь конечное число элементов последовательности, или вообще ни одного (пустое множество). А любая ε - окрестность содержит бесконечное число элементов. В самом деле, задав определенное число ε, мы, тем самым имеем число . Так что все элементы последовательности с номерами , по определению, находятся в ε - окрестностью точки a. Первые элементов могут находиться где угодно. То есть за пределами ε - окрестности может находиться не более элементов – то есть конечное число.

Также заметим, что разность вовсе не обязана монотонно стремиться к нулю, то есть все время убывать. Она может стремиться к нулю не монотонно: может то возрастать, то убывать, имея локальные максимумы. Однако эти максимумы, с ростом n, должны стремиться к нулю (возможно тоже не монотонно).

С помощью логических символов существования и всеобщности, определение предела можно записать следующим образом:
(1) .

Определение, что число a не является пределом

Теперь рассмотрим обратное утверждение, что число a не является пределом последовательности.

Число a не является пределом последовательности , если существует такое , что для любого натурального n существует такое натуральное m > n, что
.

Запишем это утверждение с помощью логических символов.
(2) .

Утверждение, что число a не является пределом последовательности, означает, что
можно выбрать такую ε - окрестность точки a, за пределами которой будет находиться бесконечное число элементов последовательности.

Рассмотрим пример. Пусть задана последовательность с общим элементом
(3)
Любая окрестность точки содержит бесконечное число элементов. Однако эта точка не является пределом последовательности, поскольку и любая окрестность точки также содержит бесконечное число элементов. Возьмем ε - окрестность точки с ε = 1. Это будет интервал ( –1, +1). Все элементы, кроме первого, с четными n принадлежат этому интервалу. Но все элементы с нечетными n находятся за пределами этого интервала, поскольку они удовлетворяют неравенству x_n > 2. Поскольку число нечетных элементов бесконечно, то за пределами выбранной окрестности будет находиться бесконечное число элементов. Поэтому точка не является пределом последовательности.

Теперь покажем это, строго придерживаясь утверждения (2). Точка не является пределом последовательности (3), поскольку существует такое , так что, для любого натурального n, существует нечетное , для которого выполняется неравенство
.

Также можно показать, что любая точка a не может являться пределом этой последовательности. Мы всегда можем выбрать такую ε - окрестность точки a, которая не содержит либо точку 0, либо точку 2. И тогда за пределами выбранной окрестности будет находиться бесконечное число элементов последовательности.

Эквивалентное определение предела последовательности

Можно дать эквивалентное определение предела последовательности, если расширить понятие ε - окрестности. Мы получим равносильное определение, если в нем, вместо ε - окрестности, будет фигурировать любая окрестность точки a.

Окрестности точки: – это любой открытый интервал, содержащий эту точку. Математически окрестность точки определяется так: , где ε₁ и ε₂ – произвольные положительные числа.

Тогда эквивалентное определение предела будет следующим.

Предел последовательности: – это такое число a, если для любой его окрестности существует такое натуральное число N, так что все элементы последовательности с номерами принадлежат этой окрестности.

Это определение можно представить и в развернутом виде.

Предел последовательности: – это такое число a, если для любых положительных чисел и существует такое натуральное число N, зависящее от и , что для всех натуральных выполняются неравенства
.

Доказательство равносильности определений

Докажем, что, представленные выше, два определения предела последовательности равносильны.

Пусть число a является пределом последовательности согласно первому определению. Это означает, что имеется функция , так что для любого положительного числа ε выполняются неравенства:
(4) при .

Покажем, что число a является пределом последовательности и по второму определению. То есть нам нужно показать, что существует такая функция , так что для любых положительных чисел ε₁ и ε₂ выполняются неравенства:
(5) при .

Пусть мы имеем два положительных числа: ε₁ и ε₂. И пусть ε – наименьшее из них: . Тогда ; ; . Используем это в (5):
.
Но неравенства выполняются при . Тогда и неравенства (5) выполняются при .

То есть мы нашли такую функцию , при которой выполняются неравенства (5) для любых положительных чисел ε₁ и ε₂.
Первая часть доказана.
Теперь пусть число a является пределом последовательности согласно второму определению. Это означает, что имеется функция , так что для любых положительных чисел ε₁ и ε₂ выполняются неравенства:
(5) при .

Покажем, что число a является пределом последовательности и по первому определению. Для этого нужно положить . Тогда при выполняются неравенства:
.
Это соответствует первому определению с .
Равносильность определений доказана.

Примеры

Все примеры Здесь мы рассмотрим несколько примеров, в которых требуется доказать, что заданное число a является пределом последовательности. При этом нужно задать произвольные положительное число ε и определить функцию N от ε такую, что для всех выполняется неравенство .

Доказать, что ⇓, ⇓, ⇓, ⇓.

Пример 1

Все примеры ⇑ Доказать, что .

Решение

Выпишем определение предела последовательности:
(1) .
В нашем случае ;
.

Вводим положительные числа и :
.
Воспользуемся свойствами неравенств. Тогда если и , то
.

То есть, для любого положительного , мы можем взять любое натуральное число, большее или равное :
.
Тогда
при .
Это означает, что число является пределом заданной последовательности:
.

Ответ

Пример 2

Все примеры ⇑ С помощью определения предела последовательности доказать, что
.

Решение

Выпишем определение предела последовательности:
(1) .
В нашем случае , ;
.

Вводим положительные числа и :
.
Воспользуемся свойствами неравенств. Тогда если и , то
.

То есть, для любого положительного , мы можем взять любое натуральное число, большее или равное :
.
Тогда
при .
Это означает, что число является пределом последовательности :
.

Ответ

Пример 3

Все примеры ⇑ Используя определение предела последовательности доказать, что
.

Решение

Вводим обозначения , .
Преобразуем разность:
.
Для натуральных n = 1, 2, 3, ... имеем:
.

Выпишем определение предела последовательности:
(1) .
Вводим положительные числа и :
.
Тогда если и , то
.

То есть, для любого положительного , мы можем взять любое натуральное число, большее или равное :
.
При этом
при .
Это означает, что число является пределом последовательности :
.

Ответ

Пример 4

Все примеры ⇑ Используя определение предела последовательности доказать, что
.

Решение

Выпишем определение предела последовательности:
(1) .
В нашем случае , ;
.

Вводим положительные числа и :
.
Тогда если и , то
.

Ответ

Использованная литература:
Л.Д. Кудрявцев. Курс математического анализа. Том 1. Москва, 2003.
С.М. Никольский. Курс математического анализа. Том 1. Москва, 1983.

Автор: Олег Одинцов. Опубликовано: 12-07-2017 Изменено: 08-12-2017

См. также: