Предел числовой последовательности: определение и свойства

Интуиция и строгость

Понятие предела — сердце математического анализа. Интуитивно мы понимаем, что последовательность 1/2, 1/4, 1/8, 1/16, ... «стремится к нулю» — её члены становятся сколь угодно малыми. Но что значит «сколь угодно»? Как сделать это утверждение математически строгим?

Ответ дал Огюстен Луи Коши в первой половине XIX века, а окончательную форму придал Карл Вейерштрасс: предел последовательности через ε-N.

Определение предела (ε-N)

Число a называется пределом последовательности {aₙ}, если для любого ε > 0 существует натуральное число N такое, что для всех n > N выполнено |aₙ - a| < ε.

Запись: lim(n→∞) aₙ = a.

Разберём это определение по словам. «Для любого ε > 0» — мы задаём произвольно малую погрешность. «Существует N» — начиная с некоторого номера. «Для всех n > N выполнено |aₙ - a| < ε» — все последующие члены лежат в ε-окрестности числа a.

Пример: Докажем, что lim(n→∞) 1/n = 0.

Пусть дано ε > 0. Возьмём N = ⌈1/ε⌉ (ближайшее целое, не меньшее 1/ε). Тогда для всех n > N имеем n > 1/ε, значит 1/n < ε, то есть |1/n - 0| < ε. Определение выполнено. ∎

Ограниченность и монотонность

Сходящаяся последовательность всегда ограничена — это важная теорема. Обратное неверно: последовательность (−1)ⁿ ограничена (|aₙ| ≤ 1), но не сходится.

Теорема Вейерштрасса: Монотонная ограниченная последовательность имеет предел.

Это теорема существования — она гарантирует предел, не давая его явную формулу. Монотонно возрастающая ограниченная последовательность сходится к своему супремуму.

Арифметика пределов

Если lim aₙ = a и lim bₙ = b, то:

• lim (aₙ + bₙ) = a + b
• lim (aₙ · bₙ) = a · b
• lim (aₙ / bₙ) = a / b (при b ≠ 0)

Эти правила делают вычисление пределов удобным. Например:

lim (3n² + 2n + 1) / (5n² - n + 3) = lim (3 + 2/n + 1/n²) / (5 - 1/n + 3/n²) = 3/5.

Важнейшие пределы

Первый замечательный предел: lim(n→∞) (1 + 1/n)ⁿ = e ≈ 2.71828...

Это определение числа e — основания натурального логарифма. Число e фундаментально в математике, физике и финансах (непрерывное начисление процентов).

Предел геометрической прогрессии: Если |q| < 1, то lim qⁿ = 0. Если |q| > 1 — последовательность расходится.

Теорема о сжатой переменной

Если aₙ ≤ cₙ ≤ bₙ для всех n > N, и lim aₙ = lim bₙ = L, то lim cₙ = L.

Эта теорема («теорема о двух милиционерах») часто применяется там, где прямое вычисление предела затруднено.

Расходящиеся последовательности

Не у всякой последовательности есть предел. Последовательность (−1)ⁿ расходится — она «перепрыгивает» между -1 и 1. Последовательность n² уходит в бесконечность. Расходимость тоже бывает «структурированной»: у (−1)ⁿ есть два частичных предела: -1 и 1.

Последовательность Коши

Последовательность {aₙ} называется фундаментальной (Коши), если для любого ε > 0 существует N такое, что для всех m, n > N верно |aₙ - aₘ| < ε.

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

Бесконечно малые и бесконечно большие

Последовательность называется бесконечно малой, если её предел равен нулю. Бесконечно малые — строительный материал математического анализа. Их суммы, произведения и отношения описывают поведение функций вблизи заданной точки.

Понимание пределов последовательностей — первый шаг к пределам функций, производным и интегралам.

Пределы в алгоритмах и вычислениях

Понятие предела — не только теоретическое. Итерационные алгоритмы в информатике и численном анализе — это последовательности, сходящиеся к решению. Метод Ньютона для нахождения корня уравнения f(x) = 0 строит последовательность xₙ₊₁ = xₙ − f(xₙ)/f'(xₙ). Если функция достаточно гладкая, эта последовательность сходится к корню со скоростью, которую точно описывает теория пределов.

В финансовой математике формула сложных процентов (1 + r/n)ⁿ при n → ∞ стремится к eʳ — непрерывное начисление процентов. Именно предел последовательности определяет, сколько стоит финансовый инструмент при непрерывном начислении.

Вопрос для размышления: Последовательность aₙ₊₁ = (aₙ + 2/aₙ)/2 с a₁ = 2 сходится. К чему? (Подсказка: предположите, что предел L существует, и найдите L из уравнения L = (L + 2/L)/2.)

Скорость сходимости и численные алгоритмы

В численном анализе скорость сходимости определяет практическую ценность алгоритма. Линейная сходимость: ошибка εₙ₊₁ ≈ q·εₙ (q < 1) — ошибка убывает в q раз за каждую итерацию. Квадратичная: εₙ₊₁ ≈ C·εₙ² — каждая итерация удваивает число верных знаков. Метод Ньютона xₙ₊₁ = xₙ − f(xₙ)/f'(xₙ) сходится квадратично вблизи простого корня. Итерация xₙ₊₁ = (xₙ + 2/xₙ)/2 — это метод Ньютона для f(x) = x² − 2. Начиная с x₁ = 2, уже x₄ даёт 15 верных знаков √2. В машинном обучении скорость сходимости градиентного спуска аналогична: адаптивные методы (Adam, RMSProp) ускоряют сходимость в сравнении с базовым SGD.