Loading [MathJax]/jax/output/SVG/jax.js

4.8 Обратная функция

\usepackage{amsfonts}

Функция f, действующая из X в Y, называется биективной, если она взаимно однозначна и ее область значений совпадает с множеством Y. Это означает, что для каждого yY существует единственный xX, такой, что y=f(x).

Пусть функция f:XY биективна. Тогда каждому yY можно поставить в соответствие единственный xX, такой, что y=f(x). Тем самым мы получим новую функцию, действующую из Y в X. Такая функция называется обратной к функции f и обозначается f1. Например, f(x)=x3 действует из R в R и биективна. Тогда f1(y)=3y. Другая функция f(x)=x2, действующая из R в [0,+), не является биективной, и поэтому нельзя говорить об обратной функции. Если же мы рассмотрим функцию f1:[0,+)[0,+), действующую по правилу f1(x)=x2, то такая функция биективна, и поэтому у нее есть обратная f1(y)=y. В этом примере мы пользуемся понятием сужения, т. е. функцию мы рассматриваем не на всей возможной области определения, где определяющая функцию формула имеет смысл, а лишь на части этой области. Дадим определение.

Определение. Пусть функция f:XY, и множество AX. Каждой точке xA поставим в соответствие y=f(x)Y. Тогда получим функцию, заданную на множестве A, которую будем называть сужением функции f на множество A, и будем обозначать это сужение fA.

В рассмотренном выше примере f(x)=x2 функция не была взаимно однозначной на R. В то же время сужение f1=f[0,+) – взаимно однозначная функция, и поэтому существует обратная функция.

В этом параграфе мы будем заниматься вопросом существования и свойствами обратной функции. Если обратную функцию удается явно выразить (как в рассмотренных выше примерах), то свойства обратной функции могут быть изучены непосредственно. Однако это не всегда можно сделать. Например, функция f(x)=x+12sinx взаимно однозначна, но выражение обратной функции весьма затруднительно. Мы хотим исследовать свойства обратной функции f1, не зная ее явного выражения.

Пусть функция f определена на [a,b]. Очевидно, что если f строго монотонна на [a,b], то она взаимно однозначна. Обратное утверждение не имеет места. Например, функция f(x)={x,1x<0,x1,0x1, очевидно, взаимно однозначна, но не является монотонной на [1,1]. Можно, однако, доказать, что если функция f взаимно однозначна и непрерывна, то она строго монотонна. Мы этого не будем делать.

В дальнейшем через α,β будем обозначать отрезок с концами α и β (при этом неравенство α<β не обязательно).

Теорема (об обратной функции). Пусть функция f строго монотонна и непрерывна на отрезке [a,b]. Тогда обратная функция f1 строго монотонна и непрерывна на отрезке f(a),f(b).

Рассматриваем случай возрастающей f. В силу теоремы Больцано – Коши, областью значений функции f является отрезок [f(a),f(b)]. Так как f взаимно однозначна на [a,b], то существует функция f1, отображающая [f(a),f(b)] на [a,b]. Обозначим g(y)=f1(y). Покажем, что g строго возрастает. Пусть y<y,x=g(y),x=g(y). Если xx, то f(x)f(x) (в силу возрастания f), т. е. yy, что противоречит условию. Итак, получаем, что x<x, т. е. условие y<y влечет x<x. Это и означает, что обратная функция x=g(y) строго возрастает на [f(a),f(b)].

Областью значений обратной функции g является отрезок [a,b]. В самом деле, каждое x[a,b] является значением функции g(y), где y=f(x). Так как g монотонна на [f(a),f(b)] и ее областью значений является отрезок [a,b], то, по теореме о непрерывности монотонной функции, функция g непрерывна на отрезке [f(a),f(b)].

Пример 1. Арксинус. Функция f(x)=sinx(<x<+) не является взаимно однозначной. Рассмотрим сужение этой функции на [π2,π2]. Это сужение – непрерывная и строго возрастающая функция. Следовательно, существует обратная функция, непрерывная и строго возрастающая.

Арксинусом называется функция, обратная к сужению функции sinx на [π2,π2], и обозначается arcsinx. Она определена на [1,1], имеет областью значений отрезок [π2,π2], строго возрастает и непрерывна на [1,1].

Пример 2. Арккосинус. Функция f(x)=cosx(<x<+) не является взаимно однозначной. Рассмотрим сужение этой функции на [0,π]. Это сужение – непрерывная и строго убывающая функция. Следовательно, существует обратная функция, непрерывная и строго убывающая.

Арккосинусом называется функция, обратная к сужению функции cosx на [0,π], и обозначается arccosx. Она определена на [1,1], имеет областью значений отрезок [0,π], строго убывает и непрерывна на [1,1].

Пример 3. Арктангенс и арккотангенс. Арктангенсом называется функция, обратная к сужению функции tg x на (π2,π2), и обозначается arctg x. Функция arctg x непрерывна и строго возрастает на (,+), область ее значений – интервал (π2,π2).

Арккотангенсом называется функция, обратная к сужению функции ctg x на (0,π), и обозначается arcctg x. Функция arcctg x непрерывна и строго убывает на (,+), область ее значений – интервал (0,π).

Упражнение. Постройте графики определенных выше обратных тригонометрических функций y=arcsinx,y=arccosx,y=arctg x и y=arcctg x.

Пример 4. Функция f(x)=xn(x0,nZ) является взаимно однозначной. Следовательно, существует обратная функция f1(x)=nx. Можем увидеть пример графика данной функции и её обратной при n=2m+1(mN).

Пример 5. f:RR+, функция f(x)=ax(a>0,a1) является взаимно однозначной. Следовательно, существует обратная функция f1(x)=logax. Можем увидеть пример графика данной функции и её обратной при a>1.

Обратная функция

Вы можете пройти данный тест, чтобы примерно оценить, насколько вы поняли тему «Обратная функция»

Теорема о непрерывности обратной функции

Теорема (о непрерывности обратной функции)

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

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

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

Предположим, что функция f строго возрастает на отрезке I.
По следствию из 2-ой теоремы Коши о промежуточном значении непрерывных функций область значений E непрерывной функции f тоже есть отрезок.

В силу строгого возрастания функции f для каждого yE существует единственная точка xI такая, что f(x)=y.
Следовательно, для функции f существует обратная функция f1, определенная на отрезке E, имеющая множество значений I.

Покажем, что f1 строго возрастает на E.

Пусть y1 и y2 — две произвольные точки из E такие, что y1<y2, и прообразами этих точек будут точки x1 и x2. f1(y1)=x1 и f1(y2)=x2.

Поскольку f — строго возрастающая функция, то неравенство y1=f(x1)<f(x2)=y2 возможно тогда и только тогда, когда x1<x2 или, что то же самое, когда f1(y1)<f1(y2).

В силу произвольности y1<y2 делаем вывод, что функция f1 строго возрастает на множестве E.

Для случая, когда f строго убывает, теорема доказывается аналогично.

Источники

  • Лысенко З.М. Конспект лекций по курсу математического анализа. (Тема «Свойства функций непрерывных на отрезке»).

Литература

Обратная функция

Определение

Пусть функция y=f(x) с областью определения D(f) и множеством значений R(f). Обратная к f — функция f1 определяется как функция с областью определения D(f1)=R(f)  и множеством значений R(f1)=D(f) , такая что f1(y)=x тогда и только тогда, когда f(x)=y. Таким образом,  f1 возвращает y обратно в x.

График

Переход от функции y=f(x), xX, к обратной функции x=f1(y), yY (если она существует), сводится к изменению ролей множеств X и Y. Следовательно, графики функций y=f(x) и x=f1(y) на плоскости XOY совпадают. Но обычно и для обратной функции аргумент обозначают через x, т.е. записывают ее в виде y=f1(x). График функции y=f1(x) получается из графика функции y=f(x) с помощью преобразования плоскости XOY, переводящей каждую точку (x,y) в точку (y,x), то есть симметрией относительно прямой y=x.

Graphic

Спойлер

Источники

  • Лысенко З.М. Конспект лекций по курсу математического анализа. (Тема «Свойства функций непрерывных на отрезке»).

Литература

Тест по теме «Обратная функция»