Математика / Пределы, ряды

Предел функции в точке

Предел функции в точке фиксирует значение, к которому стремится функция при приближении аргумента к заданному числу. Это базовая запись для всего дальнейшего анализа: она отделяет поведение функции в окрестности точки от ее значения в самой точке.

Опубликовано: Обновлено:

Формула

$$\lim_{x\to a} f(x)=L$$
limit-neighborhood Подход к точке

На оси отмечена точка a, а вокруг нее показана проколотая окрестность: аргумент подходит к a слева и справа, не обязательно попадая в саму точку.

Предел описывает поведение вблизи точки, а не значение в самой точке.

Обозначения

$x$
аргумент функции, который стремится к точке a, единицы аргумента
$a$
точка, к которой приближается аргумент, единицы аргумента
$f(x)$
значения функции в окрестности точки a, единицы функции
$L$
число, к которому стремится функция, единицы функции

Условия применения

  • Для предела рассматривают значения функции в проколотой окрестности точки a, то есть около a, но обычно без самой точки.
  • Функция может быть не определена в a или иметь там другое значение; существование предела от этого не зависит.
  • Если двухсторонний предел существует, то левый и правый пределы должны совпадать.

Ограничения

  • Наличие предела не означает, что значение f(a) равно этому пределу.
  • Если слева и справа функция ведет себя по-разному, двухсторонний предел может не существовать.
  • Запись предела сама по себе не говорит о скорости приближения; для этого нужны более тонкие оценки.

Подробное объяснение

Смысл записи \lim_{x\to a}f(x)=L состоит в том, что значения функции можно сделать сколь угодно близкими к L, если взять x достаточно близко к a, но не обязательно равным a. В строгой epsilon-delta формулировке это означает: для любого \varepsilon>0 найдется \delta>0 такое, что из 0<|x-a|<\delta следует |f(x)-L|<\varepsilon. Именно эта формализация сделала анализ удобным для точных доказательств и дальнейших предельных переходов. В вычислениях это означает, что сначала надо понять локальную форму функции около точки. Для многочленов и непрерывных элементарных функций часто достаточно подстановки, но дроби, корни, модули и кусочные определения требуют проверки. Если появляется неопределенность 0/0, ее обычно раскрывают сокращением, рационализацией, разложением или стандартным пределом. Важно различать три вопроса: существует ли f(a), существует ли предел и равны ли они. Предел отвечает только на второй вопрос и поэтому может существовать даже в выколотой точке.

Как пользоваться формулой

  1. Сначала проверьте, в какой окрестности точки вообще определена функция.
  2. Если выражение допускает прямую подстановку, посмотрите, совпадает ли она с ожидаемым пределом и не нарушается ли непрерывность.
  3. Если подстановка дает неопределенность, преобразуйте выражение до формы, где можно увидеть предельное значение.
  4. Проверьте результат обратной подстановкой, численной проверкой с двух сторон или сравнением с базовым стандартным пределом.

Историческая справка

Интуитивные идеи предельного перехода появились еще в раннем анализе, но строгий язык предела оформился в XIX веке. В университетском курсе именно эта формулировка служит первым мостом от интуиции к доказательству. В XVII-XVIII веках пределы часто использовали интуитивно: через бесконечно малые приращения, касательные, площади и ряды. Строгая современная форма появилась позже, когда стало ясно, что вычислительные правила нужно защищать от противоречий. Коши сделал понятие предела центральным языком анализа, а Вейерштрасс и его школа закрепили epsilon-delta подход, где близость описывается не рисунком, а точными неравенствами. Поэтому сегодняшняя учебная запись является результатом длинной линии развития: от геометрической интуиции Ньютона и Лейбница к арифметизированному анализу XIX века.

Историческая линия формулы

Современная строгая формулировка предела связана прежде всего с Коши и Вейерштрассом; более ранние нестрогие предельные рассуждения встречались у Ньютона и Лейбница. Если на странице названы конкретные ученые, это означает вклад в язык и строгую теорию анализа, а не единоличное открытие данной учебной формулы. Для формул пределов корректнее говорить о развитии метода, где участвовали Ньютон, Лейбниц, Эйлер, Коши, Вейерштрасс и авторы последующей университетской традиции.

Пример

Для f(x)=x^2-1 при x\to 2 получаем \lim_{x\to 2}(x^2-1)=3. Еще один показательный пример: \lim_{x\to 1}(x^2-1)/(x-1). В самой точке выражение не определено, но при x\ne 1 дробь сокращается до x+1, поэтому предел равен 2. Если взять x=0.9, получится 1.9; при x=0.99 получится 1.99; при x=1.01 получится 2.01. Числа подходят к 2 с двух сторон, хотя исходная дробь в точке x=1 не имеет значения. Это ровно та ситуация, где предел описывает поведение около точки, а не формальную подстановку в саму точку. Дополнительная контрольная проверка полезна даже после символического решения: возьмите значения аргумента ближе к предельной точке, сравните левый и правый подход, затем убедитесь, что алгебраическое преобразование не изменило область определения без явного учета особой точки.

Частая ошибка

Частая ошибка — подменять предел подстановкой без проверки. Еще одна ошибка — считать, что предел существует только если функция определена в самой точке. Также нельзя забывать, что одинаковое значение слева и справа еще нужно проверить отдельно. Надежная проверка — подставить несколько значений с разных сторон, а затем подтвердить результат алгебраическим преобразованием или известной теоремой о пределах.

Практика

Задачи с решением

Найти предел по прямой подстановке

Условие. Вычислите \lim_{x\to 3}(2x^2-5x+1).

Решение. Подстановка допустима: 2\cdot 3^2-5\cdot 3+1=18-15+1=4.

Ответ. 4

Проверить существование предела

Условие. Рассмотрите f(x)=\frac{x^2-1}{x-1} при x\to 1. Существует ли предел?

Решение. После разложения x^2-1=(x-1)(x+1) для x\neq 1 получаем f(x)=x+1, поэтому \lim_{x\to 1}f(x)=2.

Ответ. Да, предел равен 2

Дополнительные источники

  • OpenStax Calculus, Vol. 1, chapter on limits
  • MIT OpenCourseWare, Single Variable Calculus, limits and continuity
  • Stewart, Calculus: Early Transcendentals, sections on limits

Связанные формулы

Математика

Односторонние пределы

$\lim_{x\to a-} f(x)=L_{-},\qquad \lim_{x\to a+} f(x)=L_{+}$

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

Математика

Предел функции на бесконечности

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

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

Математика

Непрерывность функции в точке

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

Непрерывность в точке означает, что предельное значение функции совпадает с ее значением в самой точке. Это первый и самый важный мост от понятия предела к вычислениям и графикам.