81
Доказательство. Согласно предыдущей теореме существуют точки
()
[]
() ()()
mxfMxfb,axx
mMmM
==⇒∈
.
Рассмотрим непрерывную функцию
() ()
pxfxF
−=
. Тогда
() ()
00
>−=<−=
pMxF,pmxF
Mm
. По теореме о нуле непрерывной на
отрезке функции требуемая точка
t
находится между точками
Mm
x,x
.
Непрерывность обратной функции. В теореме об обратной функции
требовалось, чтобы исходная функция принимала все свои промежуточные
значения. Этим свойством, как мы видели, обладает непрерывная функция.
Теорема (о существовании и непрерывности обратной функции). Пусть на
интервале
()
b,a
определена непрерывная возрастающая (убывающая)
функция
()
xfy
=
. Обозначим
(){}(){}
bxa,xfy:ysupB,bxa,xfy:yinfA
<<==<<==
.(5)
Тогда на интервале
()
B,A
определена обратная функция
()
yFx
=
, которая
возрастает (убывает) на этом интервале и является непрерывной в каждой
точке этого интервала.
Доказательство. Рассмотрим случай, когда функция возрастает. Покажем,
что для любого
()
B,Ay
∈
существует число
()
b,ax
∈
такое, что
()
xfy
=
(см.
рис.) .
В самом деле, из (5) следует, что найдутся числа
bbaa
<<<
11
такие, что
() ()
BbfyafA
<<<<
11
. Далее нужно применить теорему о промежуточном
значении для непрерывной функции на отрезке
[]
11
b,a
. По теореме об
обратной функции на интервале
()
B,A
определена возрастающая функция
()
yF
такая, что
() ( ) ( ) ()() () ()() ()
B,Ay,yFfy;b,ax,xfFx;B,Ay,b,ayF
∈∀=∈∀=∈∀∈
. (6)
Покажем, что она непрерывна. Допустим, что в некоторой точке
()
B,Ay
∈
0
она является разрывной. Это значит, что существует число
0
0
>ε
такое, что
для каждого числа
()
,...,,n
n
n
321
1
==δ
найдется точка
()
B,Ay
n
∈
такая,
что
x
ba
x
A
B
y
y