5354.ru
92
Теорема 20. Частное от деления двух функций, непрерывных в точке,
есть функция, непрерывная в этой точке, если знаменатель в ней не обраща-
ется в нуль.
Эти теоремы доказываются, исходя из определения непрерывности функ-
ции (16), с привлечением ранее доказанных теорем о пределе суммы, произ-
ведения и частного. На этом не останавливаемся.
Теорема 21. Сложная функция, состоящая из непрерывных функций,
есть функция непрерывная.
Доказательство. Теорему докажем для сложной функции, состоящей из
двух функций. В случае большего числа образующих функций теорема дока-
зывается аналогично.
Пусть дана функция , в которой , в свою очередь, является
функцией от ( ), т. е. дана сложная функция
. (19)
Пусть значению аргумента отвечает значение функции ,
т. е. . Кроме того, известно, что функция непрерывна в точке
, т. е. согласно (16)
. (20)
Дано также, что функция непрерывна в точке , соответствующей
точке , т. е. . Последняя формула показывает, что при
имеем , а так как , , то . Нужно доказать, что
сложная функция (19) непрерывна в точке , т. е. нужно показать, что
. Действительно, с учетом (19) имеем
.
Теорема доказана.
Теорема 22. Всякая основная элементарная функция непрерывна в каж-
дой точке, в которой она определена.
Эта теорема принимается без доказательства.
Из теорем 18 – 22 и определения элементарной функции вытекает, что
элементарные функции непрерывны в каждой точке, в которой они определе-
ны. Отсюда в соответствии с (16) следует, что предел элементарной функции
[ ] [ ] [ ]
lim ( ) lim ( ( )) lim ( ) ( ) ( ) ( )
xc xc U p
Fx f x fU f p f c Fc
ϕϕ
→→ →
= = = = =