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

Содержание:

  1. Понятие непрерывности функции.
  2. Точки разрыва.
  3. Свойства функций, непрерывных в точке.
  4. Свойства функций, непрерывных на отрезке.

1. Понятие непрерывности функции.

Определение. Функция \(f(x)\), определенная в некоторой окрестности точки \(a\), называется непрерывной в точке \(a\), если
$$
\displaystyle \lim_{x\rightarrow a}f(x)=f(a)\label{ref1}
$$

Таким образом, функция \(f\) непрерывна в точке \(a\), если выполнены следующие условия:

a) функция \(f\) определена в некоторой окрестности точки \(a\), т.е. существует число \(\delta_0>0\) такое, что \(U_{\delta_{0}}(a)\subset D(f)\);

6) существует \(\displaystyle \lim_{x\rightarrow a}f(x)=A\);

в) \(A=f(a)\).

Определение непрерывности функции \(f(x)\) в точке \(a\), выраженное условием \eqref{ref1}, можно сформулировать с помощью неравенств (на языке \(\varepsilon-\delta\)), с помощью окрестностей и в терминах последовательностей соответственно в виде
\begin{gather*} 
\forall \varepsilon>0\;\exists\delta>0:\quad\forall x:|x-a|\;<\;\delta\rightarrow|f(x)-f(a)|\;<\;\varepsilon,\\ 
\forall \varepsilon>0\;\exists\delta>0:\quad\forall x\in U_{\delta}(a)\rightarrow f(x)\in U_{\varepsilon}(f(a)),\\
\forall\{x_{n}\}:\;\lim_{n\rightarrow\infty}x_{n}=a\rightarrow\lim_{n\rightarrow\infty}f(x_{n})=f(a).
\end{gather*}

Подчеркнем, что в определении непрерывности, в отличие от определения предела, рассматривается полная, а не проколотая окрестность точки \(a\), и пределом функции является значение этой функции в точке \(a\).

Назовем разность \(x-a\) приращением аргумента и обозначим \(\Delta x\), а разность \(f(x)-f(a)\) — приращением функции, соответствующим данному приращению аргумента \(\Delta x\), и обозначим \(\Delta y\). Таким образом,
$$
\Delta x=x-a,\;\Delta y=f(x)-f(a)=f(a+\Delta x)-f(a).\nonumber
$$

При этих обозначениях равенство \eqref{ref1} примет вид
$$
\lim_{\Delta x\rightarrow 0}\Delta y=0.\nonumber
$$

Таким образом, непрерывность функции в точке означает, что бесконечно малому приращению аргумента соответствует бесконечно малое приращение функции.


Пример 1.

Показать, что функция \(f(x)\) непрерывна в точке \(a\), если:

а) \(f(x)=x^3, a=1\);

б) \(f(x)=\displaystyle \frac{1}{x^{2}}, a\neq 0\);

в) \(f(x)=\sqrt{x}, a>0\);

г) \(f(x)=\displaystyle \left\{\begin{array}{lc}x\sin\frac1x,&x\neq0,\\0,&x=0,\end{array}\right.a=0\)

Решение.

\(\triangle\) a) Если \(x\rightarrow 1\), то по свойствам пределов (\S 10, (11)) получаем \(x^3\rightarrow 1\), т.е. для функции \(f(x)=x^3\) в точке \(x=1\) выполняется условие \eqref{ref1}. Поэтому функция \(x^3\) непрерывна в точке \(x=1\).

6) Если \(x\rightarrow a\), где \(a\neq 0\), то, используя свойства пределов (\S 10), получаем \(\displaystyle \frac{1}{x}\rightarrow\frac{1}{a},\;\displaystyle \frac{1}{x^{2}}\rightarrow\frac{1}{a^{2}}\), т.е. Функция \(\displaystyle \frac{1}{x^{2}}\) непрерывна в точке \(x=a,\;(a\neq 0)\).

в) Так как \(\displaystyle |\sqrt{x}-\sqrt{a}|=\frac{|x-a|}{\sqrt{x}+\sqrt{a}}\), то отсюда получаем \(0\leq|\sqrt{x}-\sqrt{a}|\;<\;\displaystyle\frac{|x-a|}{\sqrt{a}}\). Следовательно, \(\sqrt{x}-\sqrt{a}\rightarrow 0\) при \(x\rightarrow a\). Это означает, что функция \(\sqrt{x}\) непрерывна в точке \(a\), где \(a>0\).

r) Функция \(f\) определена на \(\mathbb{R}\), и при любом \(x\in\mathbb{R}\) выполняется неравенство \(0\leq|f(x)-f(0)|=|f(x)|\leq|x|\), так как \(\left|\sin{\frac{1}{x}}\right|\leq1\) при \(x\neq 0\). Следовательно, \(\displaystyle \lim_{x\rightarrow 0}f(x)=f(0)=0\), т.е. функция \(f\) непрерывна в точке \(x=0.\quad\blacktriangle\)


По аналогии с понятием предела слева (справа) вводится понятие непрерывности слева (справа). Если функция \(f\) определена на полуинтервале \((a-\delta,a]\) и \(\displaystyle \lim_{x\rightarrow a-0}f(x)=f(a)\), т.е.\(f(a-0)=f(a)\), то эту функцию называют непрерывной слева в точке \(a\).

Аналогично, если функция \(f\) определена на полуинтервале \([a,a+\delta)\) и \(f(a+0)=f(a)\), то эту функцию называют непрерывной справа в точке \(a\).

Например, функция \(f(x)=[x]\) непрерывна справа в точке \(x=1\) и не является непрерывной слева в этой точке (\S 9, пример 1), так как \(f(1-0)=0,\;f(1+0)=f(1)=1\).

Очевидно, функция непрерывна в данной точке тогда и только тогда, когда она непрерывна как справа, так и слева в этой точке.


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

Будем предполагать, что функция \(f\) определена в некоторой проколотой окрестности точки \(a\).

Точку \(a\) назовем точкой разрыва функции \(f\), если эта функция либо не определена в точке \(a\), либо определена, но не является непрерывной в точке \(a\).

Следовательно, \(a\) — точка разрыва функции \(f\), если не выполняется по крайней мере одно из следующих условий:

a) \(a\in D(f)\);

6) существует конечный \(\displaystyle \lim_{x\rightarrow a}f(x)=A\);

в) \(A=f(a)\).

Если \(a\) — точка разрыва функции \(f\), причем в этой точке существуют конечные пределы слева и справа, т.е. \(\displaystyle \lim_{x\rightarrow a-0}f(x)=f(a-0)\) и \(\displaystyle \lim_{x\rightarrow a+0}f(x)=f(a+0)\), то точку \(a\) называют точкой разрыва первого рода.


Замечание 1.
Если \(x=a\) — точка разрыва первого рода функции \(f(x)\), то разность \(f(a+0)-f(a-0)\) называют скачком функции в точке \(a\). В случае когда \(f(a+0)=f(a-0)\), точку \(a\) называют точкой устранимого разрыва. Полагая \(f(a)=f(a+0)=f(a-0)=A\), получим функцию
$$
f(x)=\left\{\begin{array}{l}f(x),\;если\;x\neq a,\\A,\;если\;x=a,\end{array}\right.\nonumber
$$
непрерывную в точке \(a\) и совпадающую с \(f(x)\) при \(x\neq a\). В этом случае говорят, что функция доопределена до непрерывности в точке \(a\).

Пусть \(x=a\) — точка разрыва функции \(f\), не являющаяся точкой разрыва первого рода. Тогда ее называют точкой разрыва второго рода функции \(f\). В такой точке хотя бы один из односторонних пределов либо не существует, либо бесконечен.

Например, для функции \(f(x)=\displaystyle x\sin{\frac{1}{x}}\) точка \(x=0\) — точка разрыва первого рода. Доопределив эту функцию по непрерывности, получим функцию
$$
\overline{f}(x)=\left\{\begin{array}{ll}
x\sin{\frac{1}{x}},\;если\;x\neq 0,\\
0,\;если\;x=0,
\end{array}\right.\nonumber
$$
непрерывную в точке \(x=0\), так как
$$
\lim_{x\rightarrow 0}x\sin\frac{1}{x}=0.\nonumber
$$

Для функций \(\displaystyle \sin{\frac{1}{x}}\) и \(\displaystyle \frac{1}{x^2}\) точка \(x=0\) — точка разрыва второго рода. 


Теорема 1. Если функция \(f\) определена на отрезке \([a,b]\) и монотонна, то она может иметь внутри этого отрезка точки разрыва только первого рода.

Доказательство.

\(\circ\) Пусть \(x_0\) — произвольная точка интервала \((a,b)\). По теореме 2, \S 1О функция \(f\) имеет в точке \(x_{0}\) конечные пределы слева и справа. Если, например, \(f\) — возрастающая функция, то
$$
f(x_{0}-0)\leq f(x_{0})\leq f(x_{0}+0),\nonumber
$$
где \(f(x_{0}-0)\) и \(f(x_{0}+0)\) — соответственно пределы Функции \(f\) слева м справа в точке \(x_{0}\).

В том случае, когда \(f(x_{0}-0)\neq f(x_{0}+0)\) , точка \(x_{0}\) является точкой разрыва первого рода Функции \(f\); если же \(f(x_{0}-0)=f(x_{0}+0)\), то точка \(x_{0}\) есть точка непрерывности Функции \(f\). Аналогичное утверждение справедливо и для убывающей функции.\(\bullet\)


3. Свойства Функций, непрерывных в точке.

a) Локальные свойства непрерывной функции.

Свойство 1.

Если функция \(f\) непрерывна в точке \(a\), то она ограничена в некоторой окрестности этой точки, т.е.
$$
\exists\delta>0\quad\exists С>0:\;\forall x\in U_{\delta}(a)\rightarrow|f(x)|\leq C\nonumber
$$

Свойство 2.

Если функция \(f\) непрерывна в точке \(a\), причем \(f(a)\neq 0\), то в некоторой окрестности точки \(a\) знак функции совпадает со знаком числа \(f(a)\), т.е.
$$
\exists\delta>0:\quad\forall x\in U_{\delta}(a)\rightarrow sign\;f(x)=sign\;f(a).\nonumber
$$

\(\circ\) Эти утверждения следуют из свойств пределов (\S 10, и. 4). \(\bullet\)


6) Непрерывность суммы, произведения и частного.

Если функции \(f\) и \(g\) непрерывны в точке \(a\), то функции \(f+g\), \(fg\) и \(f/g\) (при условии \(g(a)\neq 0\)) непрерывны в точке \(a\).

\(\circ\) Это утверждение следует из определения непрерывности и свойств пределов (\S 10,п. 4). \(\bullet\)


в) Непрерывность сложной функции.

Понятие сложной функции было введено в \S 9 п.2.

Теорема 2. Если функция \(z=f(y)\) непрерывна в точке \(y_0\), а функция \(y=\phi(x)\) непрерывна в точке \(x_0\), причем \(y_0=\varphi(x_0)\), то в некоторой окрестности точки \(x_0\) определена сложная функция \(f(\varphi(x_0))\), и эта функция непрерывна в точке \(x_0\).

Доказательство.

\(\circ\) Пусть задано произвольное число \(\varepsilon>0\). В силу непрерывности функции \(f\) в точке \(y_0\) существует число \(\rho=\rho(\varepsilon)>0\) такое, что \(U_\rho(y_0)\subset D(f)\) и
$$
\forall y\in U_\rho(y_0)\rightarrow f(y)\in U_{\varepsilon}(z_{0}),\label{ref2}
$$
где \(z_{0}=f(y_{0})\).

В силу непрерывности функции \(\varphi\) в точке \(x_{0}\) для найденного в \eqref{ref2} числа \(\rho>0\) можно указать число \(\delta=\delta_{\rho}=\delta(\varepsilon)>0\) такое, что
$$
\forall x\in U_\delta(x_0)\rightarrow \phi (x)\in U_\rho (y_0).\label{ref2'}
$$

Из условий \eqref{ref2} и \eqref{ref2'} следует, что на множестве \(U_\delta(x_0)\) определена сложная функция \(f(\varphi(x))\), причем
$$
\forall x\in U_\delta(x_0)\rightarrow f(y)=f(\varphi(x))\in U_{\varepsilon}(z_{0}),\nonumber
$$
где \(z_0=f(\varphi(x_0))=f(y_{0})\), т.е.
$$
\forall \varepsilon>0\;\exists \delta>0:\quad \forall х\in U_\delta(x_0)\rightarrow f(\varphi(х))\in U_\varepsilon(\varphi(x_0)).\nonumber
$$

Это означает, в силу определения непрерывности, что функция \(f(\varphi(x))\) непрерывна в точке \(x_0\). \(\bullet\)


Замечание 2.
Соответствие между окрестностями точек \(x_0,\;y_0,\;z_0\)
Рис. 11.1
Рис. 11.1
представлено на рис. 11.1. По заданному числу \(\varepsilon>0\) сначала находим \(\rho>0\), а затем для чисел \(\rho>0\) находим \(\delta>0\).


4. Свойства функций, непрерывных на отрезке.

Функцию \(f(x)\) называют непрерывной на отрезке \([a,Ь]\), если она непрерывна в каждой точке интервала \((a,b)\) и, кроме того, непрерывна справа в точке \(a\) и непрерывна слева в точке \(b\).

a) Ограниченность непрерывной на отрезке функции.

Теорема 3 (Вейерштрасса). Если функция \(f\) непрерывна на отрезке \([a,b]\), то она ограничена, т.е.
$$
\exists C>0:\forall x\in[a,\ b]\rightarrow|f(x)|\leq C\label{ref3}
$$.

Доказательство.

\(\circ\) Предположим противное, тогда
$$
\forall C>0\;\exists x_{C}\in [a,b]:\;|f(x_{C})|>C.\label{ref4}
$$

Полагая в \eqref{ref4} \(C=1,2\ldots,n,\ldots,\) получим, что
$$
\forall n\in\mathbb{N}\quad\exists x_{n}\in[a,b]:\;|f(x_{n})|>n.\label{ref5}
$$

Последовательность \(x_n\) ограничена, так как \(a\leq x_{n}\leq b\) для всех \(n\in\mathbb{N}\). По теореме Больцано-Вейерштрасса из нее можно выделить сходящуюся подпоследовательность, т.е. существуют подпоследовательность \(x_{n_k}\) и точка \(\xi\) такие, что
$$
\lim_{k\rightarrow\infty}x_{n_{k}}=\xi,\label{ref6}
$$
где в силу условия \eqref{ref5} для любого \(k\in\mathbb{N}\) выполняется неравенство
$$
a\leq x_{n_{k}}\leq b.\label{ref7}
$$

Из условий \eqref{ref6} и \eqref{ref7} следует (см. \S 4, п. 5, замечание 5), что \(\xi\in [а,b]\) а из условия \eqref{ref6} в силу непрерывности функции \(f\) в точке \(\xi\) получаем
$$
\displaystyle \lim_{k\rightarrow\infty}f(x_{n_{k}})=f(\xi).\label{ref8}
$$

С другой стороны. утверждение \eqref{ref5} выполняется при всех \(n\in\mathbb{N}\) и, в частности, при \(n=n_k\;(k=1,2,\ldots)\), т.е.
$$
|f(x_{n_{k}})|>n_{k},\nonumber
$$
откуда следует, что \(\displaystyle \lim_{k\rightarrow\infty}f(x_{n_{k}})=\infty\), так как \(n_{k}\rightarrow +\infty\) при \(k\rightarrow\infty\). Это противоречит равенству \eqref{ref8}, согласно которому последовательность \(\{f(x_{n_{k}})\}\) имеет конечный предел. По этому условие \eqref{ref4} не может выполняться, т.е. справедливо утверждение \eqref{ref3}. \(\bullet\)


Замечание 3.
Теорема 3 неверна для промежутков, не являющихся отрезками. Например, функция \(f(x)=\displaystyle \frac{1}{x}\) непрерывна на интервале \((0,1)\), но не ограничена на этом интервале. Функция \(f(x)=x^{2}\) непрерывна на \(\mathbb{R}\), но не ограничена на \(\mathbb{R}\).

б) Достижимость точных граней.

Теорема 4 (Вейерштрасса). Если функция \(f\) непрерывна на отрезке \([a,b]\), то она достигает своей точной верхней и нижней грани, т.е.
$$
\displaystyle \exists\xi\in[a,b]:\quad f(\xi)=\sup_{x\in [a,b]} f(x),\label{ref9}
$$

$$
\displaystyle \exists\widetilde{\xi}\in[a,b]:\quad f(\widetilde{\xi})= \displaystyle \inf_{x\in [a,b]} f(x).\label{ref10}
$$

Доказательство.

\(\circ\) Так как непрерывная на отрезке функция \(f(x)\) ограничена (теорема 3), т.е. множество значений, принимаемых функцией \(f\) на отрезке \([a,b]\), ограничено, то существуют \(\displaystyle \sup_{x\in[a,b]}f(x)\) и \(\displaystyle \inf_{x\in[a,b]}f(x)\) (см. \S 2).

Докажем утверждение \eqref{ref9}. Обозначим \(M=\displaystyle \sup_{x\in[a,b]}f(x)\). В силу определения точной верхней грани выполняются условия
$$
\forall х\in [a,b]\rightarrow f(x)\leq M,\label{ref11}
$$
$$
\forall\varepsilon>0\;\exists x(\varepsilon)\in[a,b]:\quad f(x(\varepsilon))>M-\varepsilon.\label{ref12}
$$

Полагая \(\varepsilon=\displaystyle \frac{1}{2}, \displaystyle \frac{1}{3},\ldots,\frac{1}{n},\ldots\), получим в силу условия \eqref{ref12} последовательность\(\{x_n\}\), где \(x_n=\displaystyle x\left(\frac1n\right)\), такую, что для всех \(n\in\mathbb{N}\) выполняются условия
$$
x_n\in [a,b],\label{ref13}
$$
$$
f(x_{n})>M-\displaystyle \frac{1}{n}.\label{ref14}
$$

Из соотношений \eqref{ref11}, \eqref{ref13} и \eqref{ref14} следует, что
$$
\forall n\in\mathbb{N}\rightarrow M-\frac{1}{n}\;<\;f(x_{n})\leq M,\nonumber
$$
откуда получаем
$$
\displaystyle \lim_{x\rightarrow\infty}f(x_{n})=M.\label{ref15}
$$

Как и в теореме 3, из условия \eqref{ref13} следует, что существуют подпоследовательность \(\{x_{n_k}\}\) последовательности \(\{x_n\}\) и точка \(\xi\) такие, что
$$
\lim_{k\rightarrow\infty}x_{n_k}=\xi,\quad где \xi\in[a,b].\nonumber
$$
В силу непрерывности функции \(f\) в точке \(\xi\)
$$
\lim_{k\rightarrow\infty} f(x_{n_{k}})=f(\xi).\label{ref16}
$$
С другой стороны, \(\{f(x_{n_{k}})\}\) — подпоследовательность последовательности \(\{f(x_{n})\}\), сходящейся, согласно условию \eqref{ref15}, к числу \(М\). Поэтому
$$
\lim_{k\rightarrow\infty}f(x_{n_{k}})=M.\label{ref17}
$$
В силу единственности предела последовательности из \eqref{ref16} и \eqref{ref17} заключаем, что \(f(\xi)=M=\displaystyle \sup_{x\in [a,b]}f(x)\). Утверждение \eqref{ref9} доказано. Аналогично доказывается утверждение \eqref{ref10}. \(\bullet\)


Замечание 4.
Теорема 4 неверна для интервалов: функция, непрерывная на интервале, может не достигать своих точных граней. Например, функция \(f(x)=x^{2}\) не достигает на интервале (0,1) своей точной нижней грани, равной нулю, и точной верхней грани, равной единице.

в) Промежуточные значения.

Теорема 5 (теорема Коши о нулях непрерывной Функции). Если функция \(f\) непрерывна на отрезке [a,b] и принимает в его концах значения разных знаков, т.е. \(f(a)f(b)\;<\;0\), то на отрезке [a,b] имеется хотя бы один нуль функции \(f\), т.е.
$$
\exists c\in[a,b]:\; f(c)=0.\label{ref18}
$$

Доказательство.

\(\circ\) Разделим отрезок [a,b] пополам. Пусть \(d\) — середина этого отрезка. Если \(f(d)=0\), то теорема доказана, а если \(f(d)\neq 0\), то в концах одного из отрезков [a,d], [d,b] функция \(f\) принимает значения разных знаков. Обозначим этот отрезок \(\Delta_{1}=[a_{1},b_{1}]\). Пусть \(d_{1}\) — середина отрезка \(\Delta_1\). Возможны два случая: 1) \(f(d_{1})=0\), тогда теорема доназана; 2) \(f(d_{1})\neq 0\), тогда в концах одного из отрезков \([a_{1},d_{1}],\;[d_{1},b_{1}]\) функция \(f\) принимает значения разных знаков; такой отрезок обозначим \(\Delta_{2}=[a_{2},b_{2}]\).

Продолжая эти рассуждения, получим:

1) либо через конечное число шагов найдется точка \(c\in [a,b]\) такая, что \(f(c)=0\); тогда справедливо утверждение \eqref{ref18};

2) либо существует последовательность отрезков \(\{\Delta_n\}\) такая, что \(f(a_{n})f(b_{n})\;<\;0\) для всех \(n\in\mathbb{N}\), где \(\Delta_n=[a_{n},b_{n}]\); эта последовательность отрезков является стягивающейся (\S 6,п.4), так как \(\Delta_n\subset\Delta_{n-1}\) для любого \(n\in\mathbb{N}\) и
$$
b_{n}-a_{n}=\displaystyle \frac{b-a}{2^{n}}.\label{ref19}
$$
По теореме Кантора (\S 6) существует точка \(c\), принадлежащая всем отрезкам последовательности \(\{\Delta_n\}\), т.е.
$$
\exists c:\;\forall n\in\mathbb{N}\rightarrow с\in [a_{n},b_{n}]\subset[a,b].\label{ref20}
$$
Докажем, что
$$
f(с)=0.\label{ref21}
$$

Предположим, что равенство \eqref{ref21} не выполняется. Тогда либо \(f(с)>0\), либо \(f(с)\;<\;0\). Пусть, например, \(f(с)>0\). По свойству сохранения непрерывной функцией знака (п.3 а))
$$
\exists\delta>0:\quad х\in U_\delta(c)\rightarrow f(x)>0.\label{ref22}
$$

С другой стороны, из неравенства \eqref{ref19} следует, что \(b_{n}-a_{n}\rightarrow 0\) при \(n\rightarrow\infty\), и поэтому
$$
\exists n_0\in\mathbb{N}:\quad b_{n_{0}}-a_{n_{0}}\;<\;\delta.\label{ref23}
$$

Так как \(c\in\Delta_{n_0}\) в силу условия \eqref{ref20}, то из \eqref{ref23}следует, что \(\Delta_{n_0}\subset U_{\delta}(c)\) и согласно условию \eqref{ref22} во всех точках отрезка \(\Delta_{n_0}\) функция \(f\) принимает положительные значения. Это противоречит тому, что в концах каждого из отрезков \(\Delta_n\) функция \(f\) принимает значения разных знаков.

Полученное противоречие доказывает, что должно выполняться условие \eqref{ref21}. \(\bullet\)


Рис. 11.2
Рис. 11.2

Замечание 5.

Теорема 5 утверждает, что график функции \(y=f(x)\), непрерывной на отрезке [a,b] и принимающей в его концах значения разных знаков, пересекает ось \(Ox\) (рис. 11.2) хотя бы в одной точке отрезка [a,b].


Теорема 6 (теорема Коши о промежуточных значениях). Если функция f непрерывна на отрезке [a,b] и \(f(a)\neq (b)\), то для каждого значения C, заключенного между \(f(a)\) и \(f(b)\), найдется точка \(\xi\in [a,b]\) такая, что \(f(\xi)=C\).

Доказательство.

\(\circ\) Обозначим \(f(a)=A,\;f(b)=B\). По условию \(А\neq В\). Пусть, например, \(A\;<\;B\). Нужно доказать, что
$$
\forall C\in[A,B]\;\exists\xi\in[a,b]:\;f(\xi)=C.\label{ref24}
$$

Если \(C=A\), то утверждение \eqref{ref24} выполняется при \(\xi=a\), а если \(C=B\), то \eqref{ref24} имеет место при \(\xi=b\). Поэтому достаточно рассмотреть случай \(A\;<\;C\;<\;B\).

Пусть \(\varphi(х)=f(x)-C\), тогда \(\varphi(a)=A-C\;<\;0,\;\varphi(b)=B-С>0\) и по теореме 5 найдется точка \(\xi\in [a,b]\) такая, что \(\varpi(\xi)=0\), т.е. \(f(\xi)=C\). Утверждение \eqref{ref24} доказано. \(\bullet\)


Следствие. Если функция f непрерывна на отрезке \([a,b],\;m=\displaystyle \inf_{x\in[a,b]} f(x),\;M=\displaystyle \sup_{x\in[a,b]} f(x)\), то множество значений, принимаемых функцией f на отрезке [a,b], есть отрезок [m,M].

\(\circ\) Для всех \(x\in[a,b]\) выполняется неравенство \(m\leq f(x)\leq M\), причем согласно теореме 4 функция f принимает на отрезке \([a,b]\) значения, равные \(m\) и \(М\). Все значения из отрезка \([m,M]\) функция принимает по теореме 6. Отрезок \([m,M]\) вырождается в точку, если \(f(x)=const\) на отрезке [a,b]. \(\bullet\)


г) Существование и непрерывность функции, обратной для непрерывной и строго монотонной функции. Понятие обратной функции было введено в \S 9 (п. 9). Докажем теорему о существовании и непрерывности обратной Функции.

Теорема 7. Если функция \(y=f(x)\) непрерывна и строго возрастает на отрезке [a,b], то на отрезке \([f(a),(b)]\) определена функция \(x=g(y)\), обратная к f, непрерывная и строго возрастающая.

Доказательство.

\(\circ\) Существование обратной функции. Обозначим \(A=f(a),\;B=f(b)\). Так как f — возрастающая функция, то для всех \(х\in [a,b]\) выполняется неравенство \(A\leq f(x)\leq B\), где \(A= \displaystyle \inf_{x\in[a,b]} f(x),\;B=\sup_{x\in[a,b]}f(x)\), и в силу непрерывности f (следствие из теоремы 6) множество значений функции \(E(f)=[A,B]\).

Согласно определению обратной функции (\S\ 9,п. 9) нужно доказать, что для каждого \(у_0\in [A,В]\) уравнение
$$
f(x)=y_{0}\label{ref25}
$$
имеет единственный корень \(x=x_{0}\), причем \(x_0\in [a,b]\).

Существование хотя бы одного корня уравнения \eqref{ref25} следует из теоремы 6. Докажем, что уравнение \eqref{ref25} имеет на отрезке [a,b] единственный корень.

Предположим, что наряду с корнем \(x=x_{0}\) уравнение \eqref{ref25} имеет еще один корень \(x=\widetilde{x}_{0}\), где \(\widetilde{x}_{0}\neq x_0\); тогда \(f(\widetilde{x_0})=y_{0},\;\widetilde x_0\in[a,b]\).

Пусть, например, \(\widetilde{x}_0>x_0\). Тогда в силу строгого возрастания функции f на отрезке [a,b] выполняется неравенство \(f(\widetilde{x}_0)>f(x_{0})\). С другой стороны, \(f(\widetilde{x}_0)=f(x_0)=y_{0}\). Отсюда следует, что неравенство \(\widetilde{x}_0>x_{0}\) не может выполняться. Следовательно, \(\widetilde{x}_0=x_0\). Существование обратной функции доказано, т.е. на отрезке [A,В] определена функция \(x=f^{-1}(y)=g(y)\), обратная к f, причем \((g)=[a,b]\) и
$$
g(f(x))=x,\quad x\in[a,b],\quad f(g(y))=y,\quad  u\in [A,B].\label{ref26}
$$
Монотонность обратном функции. Докажем, что \(g(y)\) — строго возрастающая на отрезке [A,В] функция, т.е.
$$
\forall\;y_{1},\;y_{2}\in [A,B]:\quad y_{1}\;<\;y_{2}\rightarrow g(y_{1})\;<\;g(у_2).\label{ref27}
$$
Предположим противное; тогда условие \eqref{ref27} не выполняется, т.е.
$$\exists\;\widetilde{y}_{1},\widetilde{y}_{2}\in [A,B]:\;\widetilde{y}_{1}\;<\;y_2\rightarrow g(\widetilde{y}_1\geq g(\widetilde{y}_2).\label{ref28}
$$
Обозначим \(\widetilde{x}_1=g(\widetilde{y}_1),\;\widetilde{x}_2=g(\widetilde{y}_2)\), тогда \(\widetilde{x}_1,\widetilde{x}_2\in [a,b],\;\widetilde{x}_1\geq\widetilde{x}_{2}\) в силу \eqref{ref28} и \(f(\widetilde{x}_{1})=\widetilde{y}_{1},\;f(\widetilde{x}_{2})=\widetilde{y}_{2}\) согласно равенству \eqref{ref26}.

Так как f — строго возрастающая функция, то из неравенства \(\widetilde{X}_1\geq\widetilde{x}_2\) следует неравенство \(f(\widetilde{x}_{1})\geq f(\widetilde{x}_{2})\), т.е. \(\widetilde{y}_{1}\geq\widetilde{y}_{2}\), что невозможно, так как \(\widetilde{y}_1\;<\;\widetilde{y}_{2}\) в силу \eqref{ref28}. Таким образом, утверждение \eqref{ref28} не может выполняться, и поэтому \(g(y)\) — строго возрастающая функция.

Непрерывность обратном функции. Пусть \(y_0\) — произвольная точка интервала (A,B). Докажем, что функция \(g\) непрерывна в точке \(y_{0}\). Для этого достаточно показать, что справедливы равенства
$$
g(y_{0}-0)=g(y_{0}),\quad g(y_{0}+0)=g(y_{0}),\label{ref29}
$$
где \(g(y_{0}-0)\) и \(g(y_{0}+0)\) — пределы функции \(g\) соответственно слева и справа в точке \(y_0\).

По теореме о пределах монотонной функции (\S 10) пределы функции \(g\) слева и справа в точке \(y_{0}\) существуют и выполняются неравенства
$$
g(y_{0}-0)\leq g(y_{0})\leq g(y_{0}+0).\label{ref30}
$$

Пусть хотя бы одно из равенств \eqref{ref29} не выполняется, например, \(g(y_0-0)\neq g(y_0)\), тогда
$$
g(y_0-0)\;<\;g(y_0).\label{ref31}
$$

Так как для всех \(y\in[A,y_{0})\) выполняется неравенство \(a\leq g(у)\leq g(y_0-0)\), где \(g(у_0-0)=\displaystyle \sup_{A\leq y\;<\;y_0}g(y)\), а при всех \(y\in [y_0,B]\) справедливо неравенство \(g(y_0)\leq g(y)\leq b\), то из условия \eqref{ref31} следует, что интервал \(\Delta=(g(y_0-0),g(y_{0}))\) не принадлежит множеству значений функции \(g\). Это противоречит тому, что все точки отрезка [a,b], в том числе и точки интервала \(\Delta\), принадлежат множеству E(g). Итак, первое из равенств \eqref{ref29} доказано. Аналогично доказывается справедливость второго из равенств \eqref{ref29}.

Тем же способом устанавливается, что функция g непрерывна справа в точке A и непрерывна слева в точке B. \(\bullet\)


Замечание 6.
Если функция f непрерывна и строго убывает на отрезке [a,b], то обратная к ней функция g непрерывна и строго убывает на отрезке [f(b),f(a)].

Замечание 7.
Аналогично формулируется и доказывается теорема о функции g, обратной к функции f, для случаев, когда функция f задана на интервале (конечном либо бесконечном) и полуинтервале.
Если функция f определена, строго возрастает и непрерывна на интервале (a,b), то обратная функция g определена, строго возрастает и непрерывна на интервале (A,B), где
$$
A=\lim_{x\rightarrow a+0}f(x),\quad B=\lim_{x\rightarrow b-0}f(x).\nonumber
$$