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

Бесконечно малая функция

Бесконечно малая функция - это функция, которая стремится к нулю в заданном предельном процессе. Такой язык удобно использовать для оценок, сравнения порядков малости и вывода стандартных пределов.

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

Формула

$$\lim_{x\to a}\alpha(x)=0$$

Обозначения

$\alpha(x)$
функция, стремящаяся к нулю, единицы соответствующей величины
$x$
аргумент, по которому рассматривается предельный переход, единицы аргумента
$a$
точка или режим, при котором функция становится малой, единицы аргумента

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

  • Бесконечно малая всегда определяется относительно конкретного предельного процесса: x\to a, x\to\infty и т.д.
  • Функция должна стремиться к 0, а не просто быть малой на глаз.
  • Часто бесконечно малые сравнивают по порядку: o(\beta), O(\beta) и т.п.

Ограничения

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

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

Бесконечно малые - это удобный язык для описания величин, которые исчезают в пределе. В классическом анализе именно через них строились интуитивные объяснения производной и дифференциала, а затем этот язык был встроен в строгую epsilon-delta систему. На практике бесконечно малые помогают видеть, какие слагаемые можно отбросить как более высокие порядки малости, а какие влияют на предельный результат. Бесконечно малые удобны как язык сравнения ошибок и малых приращений. Если \alpha(x) стремится к нулю, то C\alpha(x) тоже стремится к нулю для постоянного C, а сумма двух бесконечно малых снова бесконечно мала. В более тонких задачах сравнивают порядок малости: x^2 стремится к нулю быстрее, чем x, а \sin x при x\to 0 эквивалентен x. Это связывает пределы с приближенными вычислениями и последующей теорией производной. В полном решении важно не только назвать ответ, но и указать, почему разрешен выбранный переход: подстановка, сокращение, сравнение с известным пределом, использование непрерывности или анализ односторонних значений. Такой комментарий делает формулу пригодной для проверки, а не просто для запоминания.

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

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

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

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

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

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

Пример

Функция x-2 является бесконечно малой при x\to 2, потому что \lim_{x\to 2}(x-2)=0. При x\to 0 функция \alpha(x)=x^2 является бесконечно малой, потому что ее значения стремятся к 0. Функция \beta(x)=\sin x тоже бесконечно мала. Если умножить бесконечно малую x^2 на ограниченную функцию \cos(1/x), произведение все равно стремится к нулю, потому что |x^2\cos(1/x)|<=x^2. Такой пример важен: даже когда множитель \cos(1/x) осциллирует и сам не имеет предела, бесконечно малая амплитуда может «пригасить» колебание. Дополнительная контрольная проверка полезна даже после символического решения: возьмите значения аргумента ближе к предельной точке, сравните левый и правый подход, затем убедитесь, что алгебраическое преобразование не изменило область определения без явного учета особой точки.

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

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

Практика

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

Проверить бесконечную малость

Условие. Покажите, что \alpha(x)=\frac{1}{x} - \frac{1}{x+1} является бесконечно малой при x\to\infty.

Решение. \alpha(x)=\frac{1}{x(x+1)}, а это стремится к 0 при x\to\infty.

Ответ. Да, \alpha(x)\to 0

Сравнить порядок малости

Условие. Сравните x^2 и x при x\to 0.

Решение. \frac{x^2}{x}=x\to 0, значит x^2 является бесконечно малой более высокого порядка, чем x.

Ответ. x^2 = o(x) при x\to 0

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

  • OpenStax Calculus, Vol. 1, limits and approximation ideas
  • MIT OpenCourseWare, Single Variable Calculus, small increments and limits
  • Thomas' Calculus, sections on infinitesimals and limit notation

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

Математика

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

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

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

Математика

Бесконечный предел функции

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

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

Математика

Стандартный предел sin x / x

$\lim_{x\to 0}\frac{\sin x}{x}=1$

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

Математика

Стандартный предел, связанный с числом e

$\lim_{x\to 0}(1+x)^{1/x}=e$

Этот предел дает одно из самых известных определений числа e. Он появляется в задачах о росте, сложных процентах, экспоненциальных моделях и анализе малых приращений.