Пределы и анализ: от непрерывности до ряда Тейлора

Предел

Предел функции - это фундаментальное понятие в исчислении. Неформально говоря, он описывает значение, к которому приближается функция по мере приближения входного значения к определенной точке. Математически предел функции f(x)f(x) при xx, стремящемся к точке aa, обозначается как:
limxaf(x)=L\underset{x \to a}{\lim} f(x) = L
Это означает, что по мере того, как xx произвольно близок к aa, значения функции f(x)f(x) произвольно приближаются к LL.

Эпсилон-Дельта Определение Предела
Эпсилон-дельта определение - это формальное, строгое определение предела. Оно утверждает, что для каждого ϵ>0\epsilon > 0 существует δ>0\delta > 0, такое что если 0<xa<ϵ0 < |x-a| < \epsilon, тогда f(x)L<ϵ|f(x)-L| < \epsilon. Это определение отражает идею того, что по мере того, как xx произвольно близок к aa, значения функции f(x)f(x) произвольно приближаются к LL.

Пределы обладают несколькими важными свойствами, такими как:
  • Предел константной функции cc равен самой константе: limxac=c\underset{x \to a}{\lim} c = c
  • Предел линейной функции f(x)=mx+bf(x)=mx+b равен limxa(mx+b)=ma+b\underset{x \to a}{\lim} (mx + b) = ma + b
  • Закон суммы/разности: limxa[f(x)±g(x)]=limxaf(x)±limxag(x)\underset{x \to a}{\lim} [f(x) \pm g(x)] = \underset{x \to a}{\lim} f(x) \pm \underset{x \to a}{\lim} g(x)
  • Закон произведения: limxa[f(x)g(x)]=limxaf(x)limxag(x)\underset{x \to a}{\lim} [f(x) \cdot g(x)] = \underset{x \to a}{\lim} f(x) \cdot \underset{x \to a}{\lim} g(x)
  • Закон частного: limxaf(x)g(x)=limxaf(x)limxag(x),limxag(x)0\underset{x \to a}{\lim} \frac{f(x)}{g(x)} = \frac{\underset{x \to a}{\lim} f(x)}{\underset{x \to a}{\lim} g(x)}, \quad \underset{x \to a}{\lim} g(x) \neq 0

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

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

Левосторонний предел:
limxaf(x)=L\underset{x \to a^-}{\lim} f(x) = L_-

Правосторонний предел:
limxa+f(x)=L+\underset{x \to a^+}{\lim} f(x) = L_+

Если левосторонний и правосторонний пределы существуют и равны, то существует и общий предел, и
limxaf(x)=L=L+\underset{x \to a}{\lim} f(x) = L_- = L_+.

Пределы, включающие бесконечность

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

1. При приближении xx к бесконечности:
limxf(x)\underset{x \to \infty}{\lim} f(x)

2. При приближении f(x)f(x) к бесконечности:
limxaf(x)=\underset{x \to a^-}{\lim} f(x) = \infty


limxaf(x)=+иlimxag(x)=\underset{x \to a}{\lim} f(x) = +\infty \quad \text{и} \quad \underset{x \to a}{\lim} g(x) = -\infty

limxa+f(x)=+иlimxa+g(x)=\underset{x \to a^+}{\lim} f(x) = +\infty \quad \text{и} \quad \underset{x \to a^+}{\lim} g(x) = -\infty

limxaf(x)=+иlimxag(x)=\underset{x \to a^-}{\lim} f(x) = +\infty \quad \text{и} \quad \underset{x \to a^-}{\lim} g(x) = -\infty
Прямая x=ax=a является вертикальной асимптотой функции f(x)f(x), если выполняется хотя бы одно из этих отношений.

limx+f(x)=b\underset{x \to +\infty}{\lim} f(x) = b или limxf(x)=b\underset{x \to -\infty}{\lim} f(x) = b.
Если эти пределы существуют, прямая y=by=b является горизонтальной асимптотой функции f(x)f(x).

Непрерывность

Функция непрерывна в точке aa, если выполнены следующие три условия:

1. f(a)f(a) определено,

2. limxaf(x)\underset{x \to a}{\lim} f(x) существует,

3. limxaf(x)=f(a)\underset{x \to a}{\lim} f(x) = f(a)


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

  • Сумма, разность, произведение и частное непрерывных функций являются непрерывными, при условии, что знаменатель не равен нулю.
  • Многочлены и рациональные функции непрерывны в своих областях определения.
  • Композиция непрерывных функций является непрерывной.
  • Теорема о промежуточном значении утверждает, что если непрерывная функция ff принимает значения f(a)f(a) и f(b)f(b) для некоторого интервала [a,b][a,b], то она принимает каждое значение между f(a)f(a) и f(b)f(b) хотя бы один раз в интервале.

Пределы тригонометрических функций

Тригонометрические функции, такие как синус, косинус и тангенс, также имеют пределы. Некоторые важные тригонометрические пределы включают:

limx0sinxx=1\underset{x \to 0}{\lim} \frac{\sin x}{x} = 1

limx01cosxx=0\underset{x \to 0}{\lim} \frac{1 - \cos x}{x} = 0

limx0tanxx=1\underset{x \to 0}{\lim} \frac{\tan x}{x} = 1

Пределы экспоненциальных и логарифмических функций

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

limx0ex1x=1\underset{x \to 0}{\lim} \frac{e^x - 1}{x} = 1 , где ee - основание натурального логарифма.

limx0ln(1+x)x=1\underset{x \to 0}{\lim} \frac{\ln(1 + x)}{x} = 1 , где ln\ln - натуральный логарифм.

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

Последовательность - это упорядоченный список чисел, часто обозначаемый как ana_n. Предел последовательности при nn, стремящемся к бесконечности, определяется как:
limnan=a\underset{n \to \infty }{\lim} a_n=a
Если члены последовательности становятся произвольно близкими к LL при увеличении nn, то последовательность сходится к LL. В противном случае последовательность расходится.

Ряды Тейлора и Маклорена

Ряды Тейлора и Маклорена представляют собой бесконечные ряды, представления функции вблизи определенной точки. Ряд Тейлора функции f(x)f(x) в точке aa задается формулой:
f(x)=n=0f(n)(a)n!(xa)nf(x) = \sum_{n=0}^\infty \frac{f^{(n)}(a)}{n!} (x-a)^n

Ряд Маклорена является частным случаем ряда Тейлора, где a=0a=0:
f(x)=n=0f(n)(0)n!(x)nf(x) = \sum_{n=0}^\infty \frac{f^{(n)}(0)}{n!} (x)^n

Производные и Интегралы

Пределы являются основой производных и интегралов в исчислении. Производная функции f(x)f(x) в точке aa представляет собой мгновенную скорость изменения функции в этой точке и задается пределом:
f(a)=limh0f(h+a)f(a)hf'(a) = \underset{h \to 0}{\lim} \frac{f(h+a) - f(a)}{h}

Аналогично, интеграл функции вычисляет накопленное изменение или площадь под кривой и определяется с использованием пределов в форме интеграла Римана или более общего интеграла Лебега.