Предел функции¶
Предел функции — это центральное понятие математического анализа, описывающее поведение функции при стремлении аргумента к некоторой точке или к бесконечности. Понятие предела лежит в основе определений непрерывности, производной и интеграла, поэтому считается фундаментом всей математической аналитической теории. Строгое (ε-δ) определение предела было сформулировано в XIX веке немецкими математиками Карлом Вейерштрассом и Рихардом Дедекиндом.
¶Определение
Пусть функция $f(x)$ определена в проколотой окрестности точки $a$. Число $A$ называется пределом функции $f(x)$ при $x \to a$, если для любого $\varepsilon > 0$ существует $\delta > 0$ такое, что для всех $x$, удовлетворяющих условию $0 < |x - a| < \delta$, выполняется неравенство $|f(x) - A| < \varepsilon$. Обозначается это так:
$$\lim_{x \to a} f(x) = A.$$
Геометрически это означает, что при достаточно близком подходе аргумента к точке $a$ значения функции сколь угодно близки к числу $A$. Точка $a$ при этом может не принадлежать области определения функции — предел описывает поведение функции именно в проколотой окрестности.
¶Основные пределы
К числу фундаментальных пределов, используемых при вычислениях, относятся:
- $\lim_{x \to 0} \frac{\sin x}{x} = 1$;
- $\lim_{x \to 0} \frac{\tan x}{x} = 1$;
- $\lim_{x \to 0} \frac{e^x - 1}{x} = 1$;
- $\lim_{x \to 0} \frac{\ln(1+x)}{x} = 1$;
- $\lim_{x \to \infty} \left(1 + \frac{1}{x}\right)^x = e$;
- $\lim_{x \to 0} \frac{(1+x)^n - 1}{x} = n$ (при натуральном $n$).
Эти пределы являются «строительными блоками» при вычислении более сложных выражений.
¶Свойства пределов
Если существуют пределы $\lim f(x) = A$ и $\lim g(x) = B$, то:
- $\lim [f(x) \pm g(x)] = A \pm B$;
- $\lim [f(x) \cdot g(x)] = A \cdot B$;
- $\lim \frac{f(x)}{g(x)} = \frac{A}{B}$ при $B \neq 0$;
- $\lim [c \cdot f(x)] = c \cdot A$ для любой константы $c$.
Из этих свойств следует, что предел суммы, разности, произведения и частного функций равен соответственно сумме, разности, произведению и частному их пределов (при условии существования и невырожденности знаменателя).
¶Односторонние пределы
Рассматриваются также левый предел $\lim_{x \to a^-} f(x)$ и правый предел $\lim_{x \to a^+} f(x)$. Двусторонний предел существует тогда и только тогда, когда существуют оба односторонних предела и они равны между собой. Односторонние пределы особенно важны при изучении функций, определённых на отрезках, и при разборе точек разрыва.
¶Неопределённости
При вычислении пределов часто возникают неопределённости — выражения вида $\frac{0}{0}$, $\frac{\infty}{\infty}$, $0 \cdot \infty$, $\infty - \infty$, $1^\infty$, $0^0$, $\infty^0$. Сами по себе они не дают ответа: предел может существовать, а может и не существовать, и его значение зависит от конкретных функций. Для разрешения неопределённостей применяются:
- Правило Лопиталя — предел частного двух функций, стремящихся к нулю или к бесконечности, равен пределу частного их производных (при выполнении условий теоремы);
- Разложение в ряд Тейлора — подстановка вместо функции её приближённого представления;
- Замены переменной и приведение подобных выражений.
¶Существование и единственность
Для любого числа $A$ и точки $a$ предел, если он существует, единственный. Доказывается это от противного: если бы существовали два различных предела $A_1$ и $A_2$, то, выбрав $\varepsilon = \frac{|A_1 - A_2|}{2}$, получили бы противоречие с определением.
¶Теорема о пределе композиции
Если $\lim_{x \to a} f(x) = b$ и функция $g$ непрерывна в точке $b$, то $\lim_{x \to a} g(f(x)) = g(b)$. Эта теорема позволяет вычислять пределы сложных выражений, подставляя предел внутренней функции в непрерывную внешнюю.
¶Применение
Понятие предела применяется при построении определений:
- непрерывности — функция непрерывна в точке, если предел функции в этой точке равен её значению;
- производной — производная определяется как предел отношения приращения функции к приращению аргумента;
- интеграла — определённый интеграл как предел интегральных сумм Римана.
Пределы используются также в теории вероятностей (пределы последовательностей случайных величин, закон больших чисел), в численных методах и в доказательствах сходимости итерационных процессов.
¶История
Неформальные представления о пределах встречались ещё у Архимеда при вычислении площади параболического сегмента. В XVII–XVIII веках Исаак Ньютон и Готфрид Лейбниц использовали понятие «бесконечно малых» без строгого обоснования, что приводило к противоречиям. Строгую основу пределу дал Карл Вейерштрасс в 1860-х годах, сформулировав ε-δ определение. Альтернативный подход через окрестности разработал Рихард Дедекинд.
¶Источники
- Кудрявцев Л. Д. Курс математического анализа.
- Фихтенгольц Г. М. Курс математического анализа.
- Ильин В. А., Садовничий В. А., Соболевский В. Е. Математический анализ.
- Зорич В. А. Математический анализ.