Приближение к значению — это не то же самое, что его достижение
Предел отвечает на вопрос, к какому значению приближается функция по мере того, как её аргумент приближается к некоторой точке c, при этом не требуется, чтобы функция была фактически определена в c или равнялась там этому предельному значению, даже если она определена. Именно это различие — приближение против достижения — является центральной идеей, отделяющей пределы от простой подстановки: подстановка спрашивает «чему равно f(c)?»; предел спрашивает «к чему стремится f(x), когда x сколь угодно приближается к c?», и ответы на эти два вопроса могут различаться, либо один вопрос может иметь ответ, когда другой — нет.
Для хорошо ведущей себя (непрерывной) функции приближение и достижение дают один и тот же ответ, поэтому простая подстановка работает для большинства функций, встречающихся во вводной алгебре. Пределы становятся по-настоящему необходимыми именно в тех точках, где функция ведёт себя «плохо» — не определена, разрывна или построена как отношение, дающее неопределённость вроде 0/0 в этой конкретной точке, — то есть именно там, где подстановка перестаёт работать, но предел всё ещё может существовать.
Односторонние и двусторонние пределы
Односторонний предел рассматривает поведение функции только с одной стороны: левосторонний предел, записываемый как lim(x→c⁻) f(x), рассматривает значения f при x, приближающемся к c снизу (через значения меньше c); правосторонний предел, записываемый как lim(x→c⁺) f(x), рассматривает значения f при x, приближающемся к c сверху (через значения больше c). Двусторонний предел, записываемый как lim(x→c) f(x) без верхнего индекса, существует только тогда, когда левосторонний и правосторонний пределы оба существуют и равны друг другу.
Функция f(x) = |x| / x иллюстрирует случай, когда односторонние пределы не совпадают при c = 0: для любого отрицательного x, |x| / x = −1, поэтому левосторонний предел равен −1; для любого положительного x, |x| / x = 1, поэтому правосторонний предел равен 1. Поскольку −1 ≠ 1, двустороннего предела при x = 0 не существует, хотя оба односторонних предела по отдельности существуют и вполне определены.
| Направление приближения | Поведение f(x) = |x| / x | Предел |
|---|---|---|
| Слева (x → 0⁻) | f(x) = −1 для всех x < 0 | lim = −1 |
| Справа (x → 0⁺) | f(x) = 1 для всех x > 0 | lim = 1 |
| Двусторонний (x → 0) | Левый и правый пределы не совпадают (−1 ≠ 1) | Не существует |
Классический случай: почему sin(x)/x требует предела, а не подстановки
Прямая подстановка x = 0 в sin(x)/x даёт sin(0)/0 = 0/0 — неопределённое выражение, не имеющее собственного определённого числового значения: 0/0 не равно автоматически ни 0, ни 1, ни «навсегда неопределено»; это просто означает, что прямая подстановка не может ответить на вопрос и нужно вычислить предел. Вычисление sin(x)/x при последовательности значений x, стремящихся к 0 с обеих сторон, показывает, что значение функции устойчиво стремится к 1, а не к 0 или какому-либо другому числу.
Численно: при x = 0,1, sin(x)/x ≈ 0,998334; при x = 0,01, sin(x)/x ≈ 0,999983; при x = 0,001, sin(x)/x ≈ 0,9999998; при x = 0,0001, sin(x)/x ≈ 0,99999998. И левосторонняя, и правосторонняя тенденции сходятся к 1, поэтому lim(x→0) sin(x)/x = 1, хотя сама функция sin(x)/x не определена именно при x = 0. Этот результат — стандартный в математическом анализе, и обычно он строго доказывается с помощью геометрического «теоремы о зажатой переменной» (принципа сжатия), а не только численным вычислением.
Когда пределов не существует: 1/x при x = 0
Не всякий предел существует. Функция f(x) = 1/x при приближении к c = 0 иллюстрирует несуществование предела из-за неограниченного роста, а не простого несовпадения: при приближении x к 0 справа (малые положительные значения) 1/x растёт неограниченно к плюс бесконечности; при приближении x к 0 слева (малые отрицательные значения) 1/x растёт неограниченно к минус бесконечности. Поскольку два односторонних поведения расходятся к противоположным бесконечностям, а не сходятся к общему конечному числу, двустороннего предела при x = 0 не существует.
Пределы также могут не существовать из-за колебаний, а не расхождения к бесконечности — например, sin(1/x) при x, стремящемся к 0, бесконечно много раз колеблется между −1 и 1, независимо от того, насколько близко x подходит к 0, никогда не стремясь ни к какому единственному значению ни с одной из сторон. И неограниченный рост, и устойчивые колебания — это стандартные, хорошо документированные причины несуществования предела, отличные от случая несовпадения односторонних пределов, показанного выше на примере |x|/x.
Почему пределы — фундамент, на котором строятся и производные, и интегралы
Формальное определение производной само является пределом — пределом наклона секущей, когда две точки, задающие её, сближаются, — и формальное определение определённого интеграла также является пределом: пределом суммы Римана, когда число прямоугольников неограниченно растёт. Поэтому понимание того, что такое предел и когда он существует или не существует, — не второстепенная тема в математическом анализе, а механизм, лежащий в основе обеих его центральных операций.
Именно поэтому калькулятор численного предела, такой как представлен на этом сайте, устроен концептуально так же, как вычислялся sin(x)/x выше: он оценивает левостороннее и правостороннее поведение, вычисляя функцию в точках, постепенно приближающихся к искомому значению с каждой стороны, а затем проверяет, достаточно ли близко совпадают эти две тенденции, чтобы сообщить двусторонний предел.
Часто задаваемые вопросы
Что значит, что предела не существует?
Это значит, что поведение функции при приближении x к конкретной точке не устанавливается на едином, чётко определённом значении — обычно потому, что левосторонний и правосторонний подходы не совпадают (как у |x|/x при x = 0), потому что функция неограниченно растёт в противоположных направлениях с каждой стороны (как у 1/x при x = 0), либо потому что функция устойчиво колеблется вблизи этой точки, не устанавливаясь.
В чём разница между односторонним и двусторонним пределом?
Односторонний предел рассматривает поведение функции при приближении к точке только с одной стороны — левосторонний предел со стороны значений ниже, правосторонний со стороны значений выше. Двусторонний предел существует только тогда, когда оба односторонних предела существуют и равны друг другу; если они не совпадают, двустороннего предела не существует, даже если каждый односторонний предел сам по себе вполне определён.
Почему lim(x→0) sin(x)/x = 1, хотя sin(0)/0 не определено?
Потому что предел отвечает на вопрос, к какому значению приближается функция, а не чему она равна в самой этой точке. Прямая подстановка даёт неопределённое выражение 0/0, не имеющее собственного определённого значения, но вычисление sin(x)/x в точках, всё более близких к 0 с обеих сторон, показывает, что значение устойчиво сходится к 1, и это значение предела, хотя сама функция не определена именно при x = 0.
Когда предел не существует?
Предел не существует, когда левосторонний и правосторонний подходы не совпадают (как у |x|/x при x = 0), когда функция неограниченно растёт к противоположным бесконечностям с каждой стороны (как у 1/x при x = 0), либо когда функция устойчиво колеблется вблизи точки, не стремясь ни к какому единственному значению (как у sin(1/x) вблизи x = 0).
Может ли функция иметь предел в точке, где она не определена?
Да. Предел описывает значение, к которому приближается функция по мере приближения её аргумента к точке, а не значение, которое функция там принимает, поэтому ответы на эти два вопроса могут различаться. Функция sin(x)/x не определена при x = 0, однако её предел при x, стремящемся к 0, равен ровно 1, потому что значения функции сходятся к 1 с обоих направлений, хотя сама точка x = 0 исключена из её области определения.
Источники
- Stewart J. Calculus. Cengage Learning (the formal definition of a limit, one-sided limits, and the squeeze theorem).
- Spivak M. Calculus (4th ed). Publish or Perish, 2008 (rigorous treatment of limits and continuity).
- Thomas GB, Weir MD, Hass J. Thomas' Calculus. Pearson (limits, one-sided limits, and indeterminate forms).
- NIST Digital Library of Mathematical Functions (DLMF), Chapter 3: Numerical Methods. dlmf.nist.gov.