Непрерывные функции

Математика

Определение

Функция y=f(x)y = f(x) называется непрерывной в точке x0 (x0∈D(f))x_{0} \: (x_{0} \in D(f)), если предел функции в этой точке совпадает со значением функции в этой же точке.

Иными словами,

∀ε>0 ∃δ>0 : ∀x:  ∣x−x1∣<δ⇒∣f(x)−f(x1)∣<ε.\forall \varepsilon > 0 \: \exists \delta > 0 \: : \: \forall x: \: \: |x - x_{1}| < \delta \Rightarrow |f(x) - f(x_{1})| < \varepsilon.

Определение

Функция y=f(x)y = f(x) называется непрерывной на множестве MM, где M⊂D(f)M \subset D(f), если функция непрерывна в каждой точке этого множества, то есть для всякого x0∈Mx_{0} \in M справедливо lim⁡x→x0f(x)=f(x0)\lim \limits_{x \to x_{0}} f(x) = f(x_{0}).

Замечание

Для функции, непрерывной в точке, справедливы все теоремы о пределе функции в точке.

Определение

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

Утверждение

Всякая элементарная функция непрерывна в любой точке из области определения.

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

Определение

Число bb называется правосторонним пределом функции f(x) при x \to x_{1} + 0, если для любого \varepsilon > 0 существует такое \delta > 0, что при всех x, удовлетворяющих неравенству 0 < x - x_{1} < \delta, выполняется:|f(x) - b| < \varepsilon.

Иными словами,

∀ε>0 ∃δ>0 : ∀x:  0<x−x1<δ⇒∣f(x)−f(x1)∣<ε.\forall \varepsilon > 0 \: \exists \delta > 0 \: : \: \forall x: \: \: 0 < x - x_{1} < \delta \Rightarrow |f(x) - f(x_{1})| < \varepsilon.

Обозначается lim⁡x→x1+f(x)=b.\lim\limits_{x \to x_{1}^{+}} f(x) = b.

Число bb называется левосторонним пределом функции f(x)f(x) при x→x0−0x \to x_{0} - 0, если для любого ε>0\varepsilon > 0 найдётся такое δ>0\delta > 0, что для всех значений аргумента xx, удовлетворяющих условию 0<x0−x<δ0 < x_{0} - x < \delta, следует, что ∣f(x)−a∣<ε|f(x) - a| < \varepsilon.

Иными словами,

∀ε>0 ∃δ>0 : ∀x:  0<x1−x<δ⇒∣f(x)−f(x1)∣<ε.\forall \varepsilon > 0 \: \exists \delta > 0 \: : \: \forall x: \: \: 0 < x_{1} - x < \delta \Rightarrow |f(x) - f(x_{1})| < \varepsilon.

Обозначается lim⁡x→x0−f(x)=a.\lim\limits_{x \to x_{0}^{-}} f(x) = a.

Теорема (условие существования предела функции в точке)

Функция y=f(x)y = f(x) при x→x0x \to x_{0} имеет пределом число aa тогда и только тогда, когда существуют левосторонний и правосторонний пределы функции в точке x=x0x = x_{0} и они равны числу aa.

Теорема (условие непрерывности функции в точке)

Функция y=f(x)y = f(x) является непрерывной в точке x0x_{0} тогда и только тогда, когда существуют левосторонний и правосторонний пределы функции в точке x=x0x = x_{0} и они равны значению функции в точке x0x_{0}.

Определение

Прямая x=x0x = x_{0} называется вертикальной асимптотой, если хотя бы один из пределов lim⁡x→x0+f(x)\lim\limits_{x \to x_{0}^{+}} f(x), lim⁡x→x0−f(x)\lim\limits_{x \to x_{0}^{-}} f(x), lim⁡x→x0f(x)\lim\limits_{x \to x_{0}} f(x) равен +∞+\infty или −∞-\infty.

 Точки разрыва функции и их классификация

Определение

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

Классификация разрывов
  1. Устранимый разрыв
    Точка x0x_{0} называется точкой устранимого разрыва функции y=f(x)y = f(x), если существует lim⁡x→x0f(x)\lim\limits_{x \to x_{0}} f(x), но в точке x0x_{0} функция f(x)f(x), либо не определена, либо lim⁡x→x0f(x)≠f(x0).\lim\limits_{x \to x_{0}} f(x) \neq f(x_{0}).
  2. Разрыв I рода
    Точка x0x_{0} называется точкой разрыва I рода функции y=f(x)y = f(x), если lim⁡x→x0+f(x)≠ lim⁡x→x0−f(x)\lim\limits_{x \to x_{0}^{+}} f(x) \neq \lim\limits_{x \to x_{0}^{-}} f(x), но оба предела существуют и конечны. Причём в самой точке функция может быть как определена, так и не определена.
  3. Разрыв II рода
    Точка x0x_{0} называется точкой разрыва II рода функции y=f(x)y = f(x), если в точке x0x_{0} функция не имеет по крайней мере одного из односторонних пределов или хотя бы один из них бесконечен. 
Top.Mail.Ru