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

В этом уроке мы выясним, что такое непрерывность функции в точке, непрерывность на множестве; познакомимся с основными свойствами таких функций; научимся искать точки разрыва и решим множество интересных задач.

Содержание:

  1. Интуитивное определение непрерывности
  2. Непрерывность функции в точке
  3. Непрерывность функции на множестве
  4. Точки разрыва

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

1. Интуитивное определение непрерывности

Большинство студентов, когда слышат термин «непрерывная функция», представляют себе линию, которую можно начертить, не отрывая карандаша от бумаги. Например, обычную параболу:

Парабола — график квадратичной функции

Или просто какую-нибудь плавную кривую:

График степенной функции (многочлена)

Главное, чтобы у этих линий не было никаких особенностей. Они не «разваливаются» на куски, не «улетают» в бесконечность рядом с какой-то точкой, и вообще для любого $x$ мы прямо по графику можем определить, чему будет равен $y$.

Другое дело — функции с нарушением непрерывности. Или, как говорят, с точками разрыва. Обычно студенты сразу называют функцию $y={1}/{{{x}^{2}}}\;$ — классическую гиперболу, которая не определена в точке $x=0$, а график «улетает» в бесконечность в окрестности этой точки:

Гипербола имеет точку разрыва x = 0

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

Точка разрыва на параболе при x = -2

Перед нами всё та же парабола $y={{x}^{2}}$, но с выколотой точкой $x=-2$. Как такое возможно? Очень просто. Например, именно так выглядит график функции

\[y=\frac{{{x}^{2}}\left( x+2 \right)}{x+2}\]

Значение этой функции не определено при $x=-2$, поскольку знаменатель дроби обращается в ноль. Но во всех остальных точках знаменатель $x+2\ne 0$, и можно выполнить сокращение:

\[y=\frac{{{x}^{2}}\left( x+2 \right)}{x+2}={{x}^{2}}\quad \left( x\ne -2 \right)\]

И это не какая-то «искусственная» задача — такие функции регулярно встречаются на ОГЭ и ЕГЭ по математике, особенно в задачах с параметром.

Но и это ещё не всё. Функция может быть определена на всей числовой прямой — и всё равно иметь точку разрыва:

Точка разрыва функции

Это график кусочно-заданной функции

\[f\left( x \right)=\left\{ \begin{align} & 1, & x \gt 0 \\ & 0, & x=0 \\ & -1, & x \lt 0 \\ \end{align} \right.\]

Она определена для всех $x\in \mathbb{R}$, в т.ч. при $x=0$. Однако именно в точке $x=0$ происходит скачкообразное изменение: $f\left( 0 \right)=0$, но малейший шаг влево — и вот уже $f\left( x \right)=-1$. А малейший шаг вправо — и $f\left( x \right)=1$.

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

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

Определение 1. Функция $f\left( x \right)$ называется непрерывной в точке ${{x}_{0}}$, если она определена в этой точке и имеет предел, равный значению функции в этой точке:

\[\lim\limits_{x\to {{x}_{0}}} f\left( x \right)=f\left( {{x}_{0}} \right)\]

На практике удобно считать, что функция непрерывна в точке ${{x}_{0}}$, если выполнены сразу три условия:

  1. Функция определена в этой точке, т.е. существует $f\left( {{x}_{0}} \right)$;
  2. Существует конечный предел функции $\lim\limits_{x\to {{x}_{0}}} f\left( x \right)$;
  3. Этот предел равен значению функции в точке: $\lim\limits_{x\to {{x}_{0}}} f\left( x \right)=f\left( {{x}_{0}} \right)$.

Если хотя бы одно из этих условий не выполнено, функция перестаёт быть непрерывной. Так, в приведённых выше примерах гипербола $y={1}/{x}\;$ не определена и не имеет предела в точке $x=0$. Парабола с выколотой точкой просто не определена при $x=-2$. А кусочно-заданная функция определена в точке $x=0$, но имеет разные левые и правые пределы, отличные от $f\left( 0 \right)$.

2.1. Непрерывность по Коши и по Гейне

Среди трёх условий непрерывности особый интерес представляет второй пункт — существование предела $\lim\limits_{x\to {{x}_{0}}} f\left( x \right)$. Именно на вычислении предела функции в точке спотыкается большинство учеников.

Если вы чувствуете себя неуверенно в вычислении таких пределов, рекомендую повторить тему «Что такое предел функции в точке». А сейчас мы адаптируем два ключевых определения из того урока — предел функции по Коши (в нотации «$\varepsilon $—$\delta $») и по Гейне (через последовательности) — для проверки непрерывности.

Определение 2. (непрерывность по Коши) Функция $f\left( x \right)$ непрерывна в точке ${{x}_{0}}$, если

\[\begin{align} & \forall \left( \varepsilon \gt 0 \right)\quad \exists \left( \delta =\delta \left( \varepsilon \right) \gt 0 \right): \\ & x\in {{\overset{\circ }{\mathop{U}}\,}_{\delta }}\left( {{x}_{0}} \right)\Rightarrow \left| f\left( x \right)-f\left( {{x}_{0}} \right) \right| \lt \varepsilon\\ \end{align}\]

Когда «посвящённый» человек слышит фразу «предел функции в точке», он чаще всего вспоминает именно такое определение (по Коши, т.е. в нотации «$\varepsilon $—$\delta $»). Но есть ещё одно определение:

Определение 3. (непрерывность по Гейне) Функция $f\left( x \right)$ непрерывна в точке ${{x}_{0}}$, если для любой числовой последовательности $\left\{ {{x}_{n}} \right\}$ такой, что

\[\lim\limits_{n\to \infty } {{x}_{n}}={{x}_{0}}\]

выполняется условие

\[\lim\limits_{n\to \infty } f\left( {{x}_{n}} \right)=f\left( {{x}_{0}} \right)\]

Все три определения непрерывности эквивалентны. Это следует из эквивалентности определения предела по Коши и по Гейне (доказательство такой эквивалентности — в уроке про пределы функции в точке).

Нас сейчас интересует другое: а как вообще проверить, что все эти пределы существуют? Тут нам на помощь приходят односторонние пределы.

2.2. Критерий существования предела в точке

Теорема 1. Предел функции в точке $\lim\limits_{x\to a} f\left( x \right)$ существует и равен числу $A\in \mathbb{R}$ тогда и только тогда, когда существуют конечные односторонние пределы $\lim\limits_{x\to a+} f\left( x \right)$ и $\lim\limits_{x\to a-} f\left( x \right)$, причём эти пределы должны быть равны числу $A$:

\[\lim\limits_{x\to a} f\left( x \right)=\lim\limits_{x\to a+} f\left( x \right)=\lim\limits_{x\to a-} f\left( x \right)=A\]

Эта теорема прекрасно подходит и для проверки непрерывности, и для классификации точек разрыва (об этом позже). Давайте рассмотрим пару примеров, а затем сформулируем общий алгоритм.

Пример 1. Непрерывная функция.

Рассмотрим график функции $y={{x}^{2}}$ и найдём односторонние пределы в точке ${{x}_{0}}=2$.

Вот график с интересующей нас точкой:

Проверка функции на непрерывность

Если встать в начало координат, а затем приближаться к точке ${{x}_{0}}=2$ слева, значения функции будут постепенно расти, становясь всё ближе к $y=4$:

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

А если двигаться из бесконечности влево, приближаясь к ${{x}_{0}}=2$, значения функции будут убывать, становясь всё ближе к тому же $y=4$:

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

Получается, что односторонние пределы существуют и равны одному и тому же числу:

\[\lim\limits_{x\to 2-} {{x}^{2}}=\lim\limits_{x\to 2+} {{x}^{2}}=4\]

Это значит, что и стандартный предел функции в точке ${{x}_{0}}=2$ тоже существует и равен

\[\lim\limits_{x\to 2} {{x}^{2}}=4\]

Значение функции $y={{x}^{2}}$ в точке ${{x}_{0}}=2$ тем более определено и равно тому же самому числу:

\[f\left( 2 \right)={{2}^{2}}=4\]

Вот и получается, что (1) функция равна 4, (2) предел существует (мы доказали это через односторонние пределы) и равен 4, (3) значения функции и предела в точке совпадают. Следовательно, функция $y={{x}^{2}}$ непрерывна в точке ${{x}_{0}}=2$.

Возможно, прочитав всё это, вы скажете: «Спасибо, кэп. А разве бывает иначе?» Ещё как бывает! Взгляните на следующий пример.

Пример 2. Функция с разрывом в точке ${{x}_{0}}=0$.

Рассмотрим график функции $y={\left| x \right|}/{x}\;$ и найдём односторонние пределы в точке ${{x}_{0}}=0$.

Этот график весьма схож с тем, что мы рассматривали в самом начале урока. Для удобства обозначим точки $\left( 0;1 \right)$ и $\left( 0;-1 \right)$, не принадлежащие графику, выколотыми точками (а не стрелками, как было раньше):

Нарушение непрерывности в нуле

Функция не определена в нуле — одно из условий непрерывности уже не выполняется, и на этом можно было бы закончить. Но нас сейчас интересуют односторонние пределы.

Начнём движение по левой ветке графика — из минус бесконечности влево к $x=0$:

Предел функции-константы слева

При этом значение функции будет оставаться неизменным: $y=-1$. Следовательно,

\[\lim\limits_{x\to 0-} \frac{\left| x \right|}{x}=-1\]

Теперь пройдёмся по правой ветке — из плюс бесконечности к $x=0$:

Предел функции-константы справа

Как бы близко к нулю мы ни приближались, значения функции всё равно равны $y=1$. Поэтому

\[\lim\limits_{x\to 0+} \frac{\left| x \right|}{x}=1\]

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

\[\lim\limits_{x\to 0-} \frac{\left| x \right|}{x}\ne \lim\limits_{x\to 0+} \frac{\left| x \right|}{x}\]

Следовательно, общего предела функции в точке $x=0$ не существует.

2.3. Алгоритм исследования функции на непрерывность

Сформулируем универсальный алгоритм, по которому доказывается непрерывность функции $f\left( x \right)$ в точке ${{x}_{0}}$. Или наоборот — опровергается. Алгоритм состоит из трёх шагов:

  1. Проверить, определена ли функция $f\left( x \right)$ в точке $x={{x}_{0}}$. Другими словами, можно ли найти значение $f\left( {{x}_{0}} \right)$. Если посчитать $f\left( {{x}_{0}} \right)$ нельзя — функция не является непрерывной, исследование закончено. Если можно, переходим к пункту 2;
  2. Найти односторонние пределы и проверить: выполняется ли критерий существования предела функции в точке. Если односторонние пределы существуют и равны — переходим к пункту 3. Если хотя бы один односторонний предел не существует, либо они не равны — функция не является непрерывной, исследование закончено.
  3. Сравнить значения $f\left( {{x}_{0}} \right)$ и $\lim\limits_{x\to {{x}_{0}}} f\left( x \right)$. Если они равны, функция непрерывна. Если нет — значит, функция не является непрерывной.

Может показаться, что действий слишком много. И что проверка слишком сложная. На самом деле это не так. Взгляните:

Пример 3. Доопределите функцию $f\left( x \right)$ в точке ${{x}_{0}}$ так, чтобы она стала непрерывной:

\[f\left( x \right)=\frac{\sin x}{x},\quad {{x}_{0}}=0\]

Это одна из любимейших задач всех преподавателей по матанализу. Очевидно, функция не проходит уже первый пункт проверки: $f\left( 0 \right)$ не существует, поскольку деление на ноль не определено.

Однако нам предлагают доопределить функцию, т.е. найти такое $A\in \mathbb{R}$, чтобы полученная функция

\[f\left( x \right)=\left\{ \begin{align} & \frac{\sin x}{x}, & x\ne 0 \\ & A, & x=0 \\ \end{align} \right.\]

была непрерывна в точке ${{x}_{0}}=0$.

Поэтому проверим пункт 2. Посчитаем левосторонний и правосторонний пределы:

\[\begin{align} & \lim\limits_{x\to 0+} \frac{\sin x}{x}=1; \\ & \lim\limits_{x\to 0-} \frac{\sin x}{x}=\lim\limits_{x\to 0-} \frac{\sin \left( -x \right)}{-x}=\lim\limits_{t\to 0+} \frac{\sin t}{t}=1 \\ \end{align}\]

\[\begin{align} \lim\limits_{x\to 0+} \frac{\sin x}{x}&=1; \\ \lim\limits_{x\to 0-} \frac{\sin x}{x}&=\lim\limits_{x\to 0-} \frac{\sin \left( -x \right)}{-x} \\ &=\lim\limits_{t\to 0+} \frac{\sin t}{t}=1 \\ \end{align}\]

Односторонние пределы легко сводятся к первому замечательному пределу и равны $A=1$. Следовательно, если мы доопределим $f\left( x \right)$ так, чтобы $f\left( 0 \right)=1$, мы получим функцию, непрерывную в ${{x}_{0}}=0$:

\[f\left( x \right)=\left\{ \begin{align} & \frac{\sin x}{x}, & x\ne 0 \\ & 1, & x=0 \\ \end{align} \right.\]

Вот и всё. Задача решена.

Обратите внимание на график функции $y=f\left( x \right)$. Вот так он выглядит изначально (очевидно нарушение непрерывности в ${{x}_{0}}=0$):

Первый замечательный предел

А вот так — после того, как мы доопределим $f\left( 0 \right)=1$:

Устранение точки разрыва функции

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

Замечание 1. Если в задании требуется исследовать функцию на непрерывность, обязательно постройте хотя бы примерный график этой функции. Так вы сразу поймёте: где могут быть проблемы, как ведёт себя функция в окрестности «проблемных» точек и что с этим можно сделать.

Замечание 2. Исследование на непрерывность всегда проводится в конкретных точках. Но график функции — это чаще всего бесконечное множество точек, большинство из которых ничем не примечательны. Поэтому нужно научиться определять непрерывность на бесконечных множествах.

Вот вторым пунктом — непрерывностью на бесконечных множествах — мы сейчас и займёмся.

3. Непрерывность функции на множестве

До сих пор мы говорили о непрерывности лишь в одной конкретной точке — некой ${{x}_{0}}\in \mathbb{R}$. Но большинство функций определено на огромных множествах — вплоть до всей числовой прямой. Как быть в этом случае? Здесь нам помогут следующие определения.

3.1. Непрерывность на интервале

Определение 4. Функция $f\left( x \right)$ непрерывна на интервале $\left( a;b \right)$, если она непрерывна в каждой точке ${{x}_{0}}\in \left( a;b \right)$.

Пример. Функция $y={1}/{x}\;$ непрерывна на интервале $\left( -\infty ;0 \right)$ и на интервале $\left( 0;+\infty \right)$.

Почему именно интервал? Почему не отрезок? Потому что интервал — это открытое множество, т.е. каждая точка ${{x}_{0}}\in \left( a;b \right)$ входит в этот интервал с некоторой своей $\delta $-окрестностью. На языке кванторов записывается это так:

\[\begin{align} {{x}_{0}}\in \left( a;b \right) & \Rightarrow \exists \left( \delta \gt 0 \right): \\ x\in {{U}_{\delta }}\left( {{x}_{0}} \right) & \Rightarrow x\in \left( a;b \right) \\ \end{align}\]

А на числовой прямой всё это безобразие выглядит так:

Интервал — это открытое множество

На интервале мы никогда достигаем границ — точек $a$ и $b$. Поэтому не имеет значения, как близко к этим границам располагается точка ${{x}_{0}}$. Всегда можно взять расстояние до ближайшей границы (например, $\left| {{x}_{0}}-a \right|$), поделить пополам — вот вам и отступ $\delta \gt 0$.

3.2. Непрерывность на отрезке

Отрезок $\left[ a;b \right]$ принципиально отличается от интервала $\left( a;b \right)$ тем, что мы можем зайти, например, в левый конец отрезка — точку $a$ — и ничего левее этой точки принадлежать отрезку уже не будет.

Никакие отступы, никакие $\delta $-окрестности тут не помогут. Поэтому нам нужны два новых определения.

Определение 5. Функция $f\left( x \right)$ называется непрерывной справа в точке ${{x}_{0}}$, если

\[\lim\limits_{x\to {{x}_{0}}+} f\left( x \right)=f\left( {{x}_{0}} \right)\]

непрерывной слева в точке ${{x}_{0}}$, если

\[\lim\limits_{x\to {{x}_{0}}-} f\left( x \right)=f\left( {{x}_{0}} \right)\]

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

Пример 4. Функция $f\left( x \right)=\sqrt{4-{{x}^{2}}}$ непрерывна на всей своей области определения.

Проверить это и построить график.

Для начала найдём область определения $f\left( x \right)$. Поскольку арифметический квадратный корень определён только из неотрицательного числа, имеем:

\[\begin{align} 4-{{x}^{2}} & \ge 0 \\ {{x}^{2}} & \le 4 \\ \left| x \right| & \le 2 \\ x& \in \left[ -2;2 \right] \\ \end{align}\]

Для лучшего понимания ситуации начертим график $y=\sqrt{4-{{x}^{2}}}$. Заметим, что

\[\begin{align} {{y}^{2}} & =4-{{x}^{2}} \\ {{x}^{2}}+{{y}^{2}} & ={{2}^{2}} \\ \end{align}\]

это уравнение окружности с центром в начале координат и радиусом $r=2$. Графиком функции будет лишь та часть этой окружности, для которой $y\ge 0$:

Односторонняя непрерывность функции на отрезке

Очевидно, что функция непрерывна для всех $x\in \left[ -2;2 \right]$, причём в $x=-2$ непрерывна справа, в $x=2$ непрерывна слева.

Пример 5. Функция $f\left( x \right)=\sqrt{x}$ непрерывна на всей своей области определения.

Проверить это и построить график.

Область определения функции $f\left( x \right)=\sqrt{x}$:

\[x\in \left[ 0;+\infty \right)\]

График — стандартная «уложенная набок» ветвь параболы:

График арифметического квадратного корня

Видим, что функция $f\left( x \right)$непрерывна во всех точках $x\in \left[ 0;+\infty \right)$, причём в $x=0$ непрерывна справа. Задача решена.

Возможно, вы уже заметили, что все функции, которые мы сегодня изучали, были непрерывны на всей своей области определения. Проблемы возникали лишь во всяких конструкциях вида ${1}/{x}\;$, где возможно деление на ноль. Но даже гипербола $y={1}/{x}\;$ не определена лишь в точке $x=0$, а во всех остальных точках она определена и непрерывна.

И это не случайно. Существует целый класс функций, которые непрерывны на всей своей области определения. Настала пора познакомиться с ними.

3.3. Непрерывность элементарных функций

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

Определение 6. Элементарные функции — это любые функции из списка:

  1. Любой многочлен $P\left( x \right)={{a}_{n}}{{x}^{n}}+...+{{a}_{1}}x+{{a}_{0}}$;
  2. Рациональная функция $f\left( x \right)={P\left( x \right)}/{Q\left( x \right)}\;$, где $P\left( x \right)$ и $Q\left( x \right)$ — многочлены;
  3. Степенная функция $f\left( x \right)={{x}^{a}}$, где $a\in \mathbb{R}$;
  4. Логарифмическая функция $f\left( x \right)={{\log }_{a}}x$, где $a \gt 0$, $a\ne 1$;
  5. Показательная функция $f\left( x \right)={{a}^{x}}$, где $a \gt 0$, $a\ne 1$;
  6. Все тригонометрические функции: $\sin x$, $\cos x$, $\operatorname{tg}x$, $\operatorname{ctg}x$;
  7. Все обратные тригонометрические функции: $\arcsin x$, $\arccos x$, $\operatorname{arctg}x$, $\operatorname{arcctg}x$;
  8. Любые функции, которые можно составить из предыдущих с помощью конечного числа арифметических операций и композиций.

Кстати, модуль тоже является элементарной функцией:

\[\left| x \right|=\sqrt{{{x}^{2}}}\]

Для всех таких функций выполняется замечательная теорема:

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

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

Универсального доказательства этой теоремы сразу для всех элементарных функций не существует. Сначала доказывают непрерывность степенной и показательной функции. Затем показывают непрерывность арифметических операций (тот ещё квест, особенно для многочленов).

Кроме того, есть целая группа теорем, которые верны для всех непрерывных функций:

Каждой из этих теорем посвящён отдельный урок — с точной формулировкой, доказательством и примерами (см. содержание раздела). Сейчас нас интересуют более приземлённые вопросы.

Например, может возникнуть вопрос: а что, разве есть какие-то другие функции, помимо элементарных? Конечно есть.

Пример 6. Функция Дирихле:

\[D\left( x \right)=\left\{ \begin{align} & 1, & x\in \mathbb{Q} \\ & 0, & x\notin \mathbb{Q} \\ \end{align} \right.\]

Функция Дирихле определена для всех $x\in \mathbb{R}$. Она равна единице в том случае, если $x={p}/{q}\;$ — рациональное число, и равна нулю во всех остальных случаях.

Очевидно, что в любой $\delta $-окрестности точки ${{x}_{0}}\in \mathbb{Q}$ и слева, и справа найдутся иррациональные числа. И наоборот: в любой $\delta $-окрестности иррационального числа $a\in \mathbb{R}\backslash \mathbb{Q}$ найдутся его рациональные приближения с избытком и недостатком. Следовательно, односторонние пределы

\[\lim\limits_{x\to {{x}_{0}}-} D\left( x \right)\quad \lim\limits_{x\to {{x}_{0}}+} D\left( x \right)\]

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

Кстати, сам график выглядит примерно так:

График функции Дирихле

Линия $y=1$ проведена пунктиром из тех соображений, что множество рациональных чисел счётно, а множество всех действительных чисел — нет. Но это всё условности.:)

Пример 7. Исследовать на непрерывность функцию

\[f\left( x \right)=\sin \left( {1}/{x}\; \right)\]

Эта функция представляет собой композицию двух элементарных функций: $\sin x$ и ${1}/{x}\;$. Следовательно, перед нами элементарная функция, которая определена и непрерывна везде, кроме $x=0$.

Посчитаем левосторонний и правосторонний предел в точке $x=0$. Для этого заметим, что при $x\to 0$ величина ${1}/{x}\;\to \infty $. Следовательно, в любой $\delta $-окрестности точки $x=0$ найдутся и точки вида $t=\pi n$, $n\in \mathbb{Z}$, в которых $\sin t=0$; и точки вида $t={\pi }/{2}\;+\pi n$, в которых $\sin t=\pm 1$.

Следовательно, ни левосторонний, ни правосторонний пределы не определены:

\[\lim\limits_{x\to 0+} \sin \frac{1}{x}\quad \lim\limits_{x\to 0-} \sin \frac{1}{x}\]

А это значит, что общий предел в точке $x=0$ тоже не определён. Следовательно, $x=0$ — не просто точка разрыва (это и так понятно, поскольку в нуле функция не определена). Принципиально невозможно доопределить $f\left( x \right)$ в нуле так, чтобы получилась непрерывная функция.

График $y=\sin \left( {1}/{x}\; \right)$ выглядит так (единичный отрезок — две клетки):

Точка разрыва второго рода

Чем ближе $x\to 0$, тем быстрее график «бегает» между $y=-1$ и $y=1$. В какой-то момент из-за конечной толщины линий на чертеже строить график становится невозможно. Даже если мы возьмём за единичный отрезок тысячу клеток. Даже если будем чертить на огромных листах. Никакие листы и отрезки не могут сравниться с бесконечностью.:)

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

4. Точки разрыва

Урок о непрерывности функции в точке будет неполным, если мы не поговорим про точки разрыва.

Напомню, что функция $f\left( x \right)$ является непрерывной в точке ${{x}_{0}}$, когда выполнены три условия:

  1. Функция $f\left( x \right)$ определена в этой точке, т.е. мы можем посчитать $f\left( {{x}_{0}} \right)$.
  2. Существует конечный предел $\lim\limits_{x\to {{x}_{0}}} f\left( x \right)$.
  3. Должно выполняться равенство $\lim\limits_{x\to {{x}_{0}}} f\left( x \right)=f\left( {{x}_{0}} \right)$.

А что, если хотя бы одно условие не выполнено? Перед нами точка разрыва.

Определение 7. Если функция $f\left( x \right)$ не является непрерывной в точке ${{x}_{0}}$, то она называется разрывной в точке ${{x}_{0}}$. Сама точка ${{x}_{0}}$ при этом называется точкой разрыва функции $f\left( x \right)$.

Определение 8. Точка разрыва ${{x}_{0}}$ называется точкой разрыва первого рода функции $f\left( x \right)$, если существуют конечные односторонние пределы $\lim\limits_{x\to {{x}_{0}}+} f\left( x \right)$ и $\lim\limits_{x\to {{x}_{0}}-} f\left( x \right)$.

В противном случае ${{x}_{0}}$ называется точкой разрыва второго рода.

Классический пример точки разрыва второго рода:

\[y=\frac{1}{x},\quad {{x}_{0}}=0\]

Ветви гиперболы «улетают» в бесконечность рядом с точкой ${{x}_{0}}=0$.

Ещё один пример:

\[y=\sin \frac{1}{x},\quad {{x}_{0}}=0\]

Мы уже рассматривали график этой функции и знаем, что односторонних пределов в ${{x}_{0}}=0$ не существует. Поэтому функция терпит разрыв второго рода.

Да даже обычный $y=\operatorname{tg}x$ терпит разрыв второго рода в точках вида ${{x}_{n}}={\pi }/{2}\;+\pi n$, $n\in \mathbb{Z}$.

Определение 9. Разрыв первого рода в точке ${{x}_{0}}$ называется устранимым, если существует конечный предел $\lim\limits_{x\to {{x}_{0}}} f\left( x \right)=A$, но $A\ne f\left( {{x}_{0}} \right)$.

То же самое, если существует конечный предел $\lim\limits_{x\to {{x}_{0}}} f\left( x \right)=A$, но $f\left( {{x}_{0}} \right)$ не определена.

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

Рассмотрим более сложный пример

Пример 8. Исследуйте точки разрыва функции

\[y=x\cdot {{e}^{{1}/{x}\;}}\]

Это элементарная функция, поэтому единственная точка разрыва: $x=0$ — в ней не определена дробь ${1}/{x}\;$.

Выясним, какого рода этот разрыв. Посчитаем предел слева:

\[\begin{align} \lim\limits_{x\to 0-} x\cdot {{\text{e}}^{{1}/{x}\;}} & =\lim\limits_{x\to 0-} \frac{x}{{{\text{e}}^{-{1}/{x}\;}}}=\frac{\lim\limits_{x\to 0-} x}{\lim\limits_{x\to 0-} {{\text{e}}^{-{1}/{x}\;}}}= \\ & =\frac{0}{\lim\limits_{x\to 0+} {{\text{e}}^{{1}/{x}\;}}}=\left[ \frac{0}{\infty } \right]=0 \end{align}\]

\[\begin{align}\lim\limits_{x\to 0-}x\cdot {{\text{e}}^{{1}/{x}\;}}&=\lim\limits_{x\to 0-}\frac{x}{{{\text{e}}^{-{1}/{x}\;}}}= \\ &=\frac{\lim\limits_{x\to 0-}x}{\underset{x\to 0-}{{\text{e}}^{-{1}/{x}\;}}}= \\ &=\frac{0}{\lim\limits_{x\to 0+}{{\text{e}}^{{1}/{x}\;}}}= \\ &=\left[ \frac{0}{\infty } \right]=0 \end{align}\]

И предел справа:

\[\begin{align} \lim\limits_{x\to 0+} x\cdot {{\text{e}}^{{1}/{x}\;}} & =\lim\limits_{x\to 0+} \frac{{{\text{e}}^{{1}/{x}\;}}}{{1}/{x}\;}=\left[ {x=1}/{t}\; \right]= \\ & =\lim\limits_{t\to +\infty } \frac{{{\text{e}}^{t}}}{t}=+\infty\\ \end{align}\]

\[\begin{align}\lim\limits_{x\to 0+}x\cdot {{\text{e}}^{{1}/{x}\;}}&=\lim\limits_{x\to 0+}\frac{{{\text{e}}^{{1}/{x}\;}}}{{1}/{x}\;}= \\ &=\left[ {x=1}/{t}\; \right]= \\ &=\lim\limits_{t\to +\infty }\frac{{{\text{e}}^{t}}}{t}=+\infty \end{align}\]

Понятно, что показательная функция $y={{\text{e}}^{t}}$ растёт быстрее линейной $y=t$ при $t\to +\infty $. Поэтому конечного предела нет.

Итого функция терпит разрыв второго рода в точке $x=0$. Этот разрыв хорошо виден на графике:

Исследование функции на непрерывность

Обратите внимание: точка $x=1$ является точкой локального минимума, а прямая $y=x+1$ — наклонная асимптота нашего графика. Чтобы находить такие точки, нужно разобраться с производными.

О производных и дифференциалах мы поговорим в отдельных уроках. А пока лишь одна заключительная рекомендация:

При исследовании функции на непрерывность обязательно чертите её график. Хотя бы в виде эскиза. Даже если задание кажется вам «очевидным».

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

На этом всё. Приступайте к практике.:)

Смотрите также:
  1. Теоремы Вейерштрасса о непрерывной функции
  2. Критерий Коши сходимости последовательности
  3. Тест к уроку «Что такое логарифм» (средний)
  4. Не пишите единицы измерения в задаче B12
  5. Однородные тригонометрические уравнения: общая схема решения
  6. Задача B4: тарифы на сотовую связь