Конспект

Предел последовательности: от интуиции к строгому определению

Ключевые тезисы

• Предел — это число, к которому неограниченно приближаются члены последовательности.
• Строгое определение предела использует понятие окрестности: предел — это число, в любую сколь угодно малую окрестность которого попадают все члены последовательности, начиная с некоторого номера.
• Последовательность может стремиться к пределу, не достигая его, но может и постоянно принимать значение предела.
• Предел последовательности, если он существует, единственен.
• Если последовательность имеет конечный предел, то она ограничена (обратное неверно).

Что такое последовательность?

Последовательность — это бесконечный набор вещественных чисел, занумерованных натуральными числами (x₁, x₂, x₃, ...). Её можно рассматривать как функцию, которая натуральному числу (номеру) ставит в соответствие вещественное число.

Интуитивное понимание предела

Рассмотрим последовательность xₙ = 1/n. С ростом n её члены становятся всё ближе к нулю. Интуитивно кажется, что числа "стремятся" к нулю.

Строгое определение предела

Число a называется пределом последовательности {xₙ}, если:

Для любой окрестности (интервала) вокруг a существует такой номер N, что для всех номеров n > N члены последовательности xₙ лежат внутри этой окрестности.

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

Формальная запись (ε-N-определение):
∀ε > 0 ∃N ∈ ℕ: ∀n > N ⇒ |xₙ − a| < ε

• ε (эпсилон) задаёт размер окрестности предела a.
• Утверждение означает: какое бы маленькое ε мы ни взяли, найдётся номер, начиная с которого все члены последовательности будут отстоять от a меньше чем на ε.

Примеры и важные замечания

Пример 1: Доказательство, что lim (1/n) = 0.
Для любого ε > 0 нужно найти N. Решаем неравенство |1/n| < ε → n > 1/ε. В качестве N можно взять любое натуральное число, большее 1/ε. Такое число существует, что и доказывает утверждение.

Пример 2: Последовательность, постоянно равная 3 (xₙ = 3).
Её предел равен 3, так как все её члены лежат в любой окрестности числа 3.

Пример 3: Последовательность xₙ = (-1)ⁿ / n.
Её члены приближаются к нулю, чередуясь по разные стороны от него. Предел также равен 0.

Пример 4: Последовательность без предела.

• Последовательность натуральных чисел {n} не имеет конечного предела (её предел — бесконечность).
• Последовательность xₙ = (-1)ⁿ не имеет ни конечного, ни бесконечного предела. Ни для какого числа a нельзя подобрать окрестность, в которой лежали бы почти все её члены (единицы и минус единицы будут оставаться снаружи).

Основные теоремы о пределах

Теорема о единственности предела
Если последовательность имеет конечный предел, то он может быть только один.
Доказательство (от противного): Предположим, есть два разных предела a и b. Можно выбрать настолько маленькие непересекающиеся окрестности вокруг a и b, что, начиная с некоторого номера, члены последовательности должны были бы находиться в обеих одновременно, что невозможно.

Теорема об ограниченности
Если последовательность имеет конечный предел, то она ограничена (все её члены можно "запереть" в некотором конечном отрезке).
Идея доказательства: Почти все члены лежат в маленькой окрестности предела. Оставшееся конечное число членов тоже можно ограничить, выбрав наименьшее и наибольшее значение среди них и границ окрестности.

Выводы

• Строгое определение предела формализует интуитивное понятие "стремления".
• Работа с пределами через ε-N-определение и окрестности позволяет доказывать сложные утверждения.
• Визуальные представления (числовая прямая, график) помогают строить интуицию для строгих доказательств.