Что такое предел: сходимость как приближение

Предел — это число, к которому значения подбираются всё ближе, хотя могут его и не достигать.

Предел функции $f(x)$ при $x\to a$ — это число $L$, к которому неограниченно приближаются значения $f(x)$, когда $x$ приближается к $a$.

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

Зачем это нужно? Потому что вся высшая математика — производные, интегралы, ряды — построена на пределах. Скорость в точке, площадь под кривой, сумма бесконечного числа слагаемых: всё это определяется через «к чему стремится». Если вы поймёте предел на уровне интуиции, остальной анализ перестанет быть магией.

Запись и смысл

Основная запись выглядит так:

$$\lim_{x\to a} f(x) = L$$

Читается: «предел $f(x)$ при $x$, стремящемся к $a$, равен $L$». Ключевое слово — «стремящемся». Нас не интересует, что происходит ровно в точке $a$; нас интересует поведение функции в её окрестности. Функция может быть даже не определена в самой точке $a$, а предел всё равно существовать.

Тот же смысл есть и у последовательностей. Если члены последовательности $a_n$ с ростом номера $n$ подбираются к числу $L$, пишут:

$$\lim_{n\to\infty} a_n = L$$

Численная проверка

Лучший способ почувствовать предел — посчитать. Возьмём классическую последовательность $a_n = (1 + 1/n)^n$. Теория утверждает, что она стремится к числу $e \approx 2{,}71828$. Проверим, подставляя растущие $n$.

import math

for n in [1, 10, 100, 1000, 10000, 100000]:
    a_n = (1 + 1/n) ** n
    print(f"n={n:>6}  a_n={a_n:.6f}")

print("e       =", round(math.e, 6))

Вывод:

n=     1  a_n=2.000000
n=    10  a_n=2.593742
n=   100  a_n=2.704814
n=  1000  a_n=2.716924
n= 10000  a_n=2.718146
n=100000  a_n=2.718268
e       = 2.718282

Числа неуклонно подползают к $e$. Никакое конечное $n$ не даёт ровно $e$, но направление движения однозначно. Это и есть предел в действии: не финальная точка, а тенденция.

Когда предела нет

Не у всякой функции есть предел в данной точке. Рассмотрим $f(x) = 1/x$ при $x\to 0$. Слева значения уходят в минус бесконечность, справа — в плюс бесконечность. Единого числа $L$ нет, поэтому предел не существует. А вот функция $\sin(1/x)$ при $x\to 0$ бесконечно колеблется между $-1$ и $1$ и тоже предела не имеет, хотя и остаётся ограниченной.

Как работает под капотом

Когда мы пишем цикл с растущим $n$, мы буквально реализуем определение предела «руками»: берём всё более точные приближения аргумента и смотрим, стабилизируется ли результат. Если выводимые числа после некоторого момента отличаются лишь в далёких знаках после запятой — это сильный признак сходимости. Компьютер не доказывает предел (доказательство требует строгого рассуждения), но он даёт надёжную интуицию и часто ловит ошибки в формулах: если «теоретический» ответ не совпадает с численным трендом, где-то закралась ошибка.

Частые ошибки

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

Итог

  • Предел — это число, к которому значения приближаются, но не обязаны достигать.
  • Важна окрестность точки, а не само значение в точке.
  • Численный эксперимент с растущим аргументом даёт надёжную интуицию о сходимости.
  • Предел существует не всегда: расходимость и колебания его разрушают.
Проверьте себя
1. Что важнее всего при вычислении предела функции при x→a?
AЗначение функции ровно в точке a
BПоведение функции в окрестности точки a
CЗначение функции при x=0
DЗнак функции на всей оси
2. К чему стремится последовательность (1 + 1/n)^n при n→∞?
AК 1
BК 2
CК числу e ≈ 2,718
DК бесконечности