Пусть
-- функция, непрерывная на отрезке
. Предположим, что
монотонна на
; пусть, для определённости, она монотонно возрастает: из
следует, что
. Тогда образом отрезка
будет отрезок
, где
и
(действительно, непрерывная функция принимает любое промежуточное между
и
значение, причём ровно один раз, что следует из монотонности). Поэтому существует обратная к
функция
функция, действующая из
в
. Очевидно, что
монотонно возрастает. (Если бы функция
была монотонно убывающей, то и обратная к ней функция
тоже была бы монотонно убывающей.)
Теорема 3.11 Пусть-- непрерывная монотонная функция,
,
. Тогда обратная к
функция
непрерывна на отрезке
.
Свойства градиента и производной по направлению Криволинейный интеграл Первоначально функции управления системой коммутации возлагались на операторов.Доказательство. Во-первых, заметим, что если
,
, то
.
Во-вторых, пусть
; рассмотрим функцию
, которая определена при
. Очевидно, что
-- непрерывная на
функция, поэтому она принимает наименьшее значение
в некоторой точке
:
Таким образом, если, то
, то есть если
, то
. Последнее утверждение можно переформулировать так: для любого числа
найдётся число
, такое что при
выполняется неравенство
. (При этом
,
,
,
.) Получили, что функция
удовлетворяет определению равномерной непрерывности на отрезке
; тем самым доказано утверждение теоремы.
Производная композиции
Пример 4.6 Найдём производную функции. Здесь функция имеет вид
, с промежуточным аргументом
, который, в свою очередь, является сложной функцией. Поэтому
Пример 4.7 Найдём производные ареа-функций (напомним, что ареа-функции -- это функции, обратные к гиперболическим функциям). Ранее мы записали для них следующие формулы:
(в зависимости от того, что считать главной ветвью функции);
Поэтому
и аналогично:
и аналогично:
Последние две формулы не противоречат друг другу, так как при, а
при
.
![]()
Неопределенный интегралВекторное произведение векторов Трассировка пиксельных изображений Adobe Illustrator Линейные блоковые коды