Непрерывность и epsilon-delta интуитивно

Непрерывная функция — это та, которую можно нарисовать, не отрывая карандаша от бумаги.

Непрерывность функции $f$ в точке $a$ означает: $\lim_{x\to a} f(x) = f(a)$ — предел существует и совпадает со значением функции.

Интуитивно непрерывность — это отсутствие «дыр» и «прыжков». Если вы можете провести график функции одним росчерком, не отрывая руки, функция непрерывна. Формальное определение лишь уточняет эту картинку: значение функции в точке должно совпадать с тем, к чему она стремится рядом с этой точкой.

Три условия непрерывности в точке

Функция непрерывна в точке $a$, если выполнены три вещи: функция определена в $a$ (значение $f(a)$ существует); существует предел $\lim_{x\to a} f(x)$; и эти два числа равны. Нарушение любого из условий даёт разрыв.

Виды разрывов

Устранимый разрыв: предел есть, но значение в точке другое (или отсутствует) — будто из графика вынули одну точку. Разрыв-скачок: пределы слева и справа существуют, но различны — график «прыгает». Бесконечный разрыв: функция уходит в бесконечность, как $1/x$ в нуле.

Язык epsilon-delta

Строгое определение предела звучит так: для любой требуемой точности результата $\epsilon \gt 0$ найдётся такая близость аргумента $\delta \gt 0$, что как только $0 \lt |x - a| \lt \delta$, гарантированно $|f(x) - L| \lt \epsilon$.

$$\forall \epsilon \gt 0\ \exists \delta \gt 0:\ 0 \lt |x-a| \lt \delta \Rightarrow |f(x)-L| \lt \epsilon$$

Перевод на человеческий: «Назовите любую узкую полоску вокруг $L$ по вертикали ($\epsilon$). Я подберу узкую полоску вокруг $a$ по горизонтали ($\delta$) так, что весь график на ней уляжется в вашу полоску». Если это удаётся для сколь угодно узкой вертикальной полоски — предел равен $L$.

Численная иллюстрация

Проверим непрерывность $f(x) = x^2$ в точке $a = 3$ (там $L = 9$). Зададим $\epsilon = 0{,}01$ и поищем подходящую близость $\delta$ численно.

def f(x):
    return x * x

a, L, eps = 3.0, 9.0, 0.01
delta = 0.0009

max_err = 0.0
x = a - delta
while x <= a + delta:
    err = abs(f(x) - L)
    if err > max_err:
        max_err = err
    x += delta / 50

print(f"delta={delta}, макс. отклонение f от L = {max_err:.6f}")
print("Уложились в eps?", max_err < eps)

Вывод:

delta=0.0009, макс. отклонение f от L = 0.005401
Уложились в eps? True

Мы подобрали такую узкую горизонтальную полоску $\delta$, что во всей ней функция не отходит от $9$ дальше, чем на $\epsilon = 0{,}01$. Это и есть epsilon-delta в действии: для заданной точности нашлась близость аргумента.

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

Перебирая точки внутри $[a-\delta, a+\delta]$ и измеряя максимальное отклонение $f$ от $L$, мы эмпирически проверяем условие $|f(x)-L|\lt\epsilon$. Если бы функция в точке имела скачок, никакое уменьшение $\delta$ не загнало бы её колебания в узкую вертикальную полоску — максимальное отклонение оставалось бы большим. Так компьютерный перебор отличает непрерывность от разрыва.

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

Первое — путать «функция определена» и «функция непрерывна»: можно быть определённой всюду и всё равно прыгать. Второе — забывать про обе стороны: непрерывность требует совпадения левого и правого пределов. Третье — менять местами роли $\epsilon$ и $\delta$: $\epsilon$ задаёт требуемую точность по вертикали (по значению), $\delta$ — отвечает за неё по горизонтали (по аргументу). Сначала «заказывают» $\epsilon$, потом «подбирают» $\delta$.

Итог

• Непрерывность — совпадение предела и значения функции в точке.
• Три типа разрывов: устранимый, скачок, бесконечный.
• Epsilon-delta: на любую точность по вертикали найдётся близость по горизонтали.
• Численный перебор по окрестности подтверждает непрерывность.