Если данная функция кусочно монотонна, то, разбивая область её определения на участки её монотонности, получают однозначные ветви О. ф. Так, одним из участков монотонности для sin х служит интервал — p/2< x < p/2; ему соответствует т. н. главная ветвь arc sin х обратной функции Arc sin х. Для пары однозначных взаимно обратных функций имеют место соотношения j[f (x)]=x и f [j(x)] = х, первое из которых справедливо для всех значений х из области определения функции f (x), а второе — для всех значений х из области определения функции j (x); например, elnx = х (х > 0), 1n (ex) = х (— ¥ < х < ¥). Иногда функцию, обратную к f (x) =у, обозначают f- -1(y) = х, так что для непрерывной и монотонной функции f (x):

  F -1[f (x)]=f [f  -1) x)]=x.

  Вообще же f --1[f (x)] представляет собой многозначную функцию от х, одним из значений которой является х; так, для f (x) = x2, х (¹ 0) является лишь одним из двух значений f --1[f (x)] = √x2 (другое: —х); для f (x) = sin х, х является лишь одним из бесконечного множества значений

f- -1[f (x)] = Arc sin [sin x] = (—1) n x + np,

n = 0, ± 1, ± 2,....

  Если у = f (x) непрерывна и монотонна в окрестности точки х = x и дифференцируема при х = x, причём f'(x) ¹ 0, то f --1(y) дифференцируема при у = у и

(формула дифференцирования О. ф.). Так, для —p/2 < х