Сечение отображения - NiNa.Az

Не следует путать с Обратная величина.

Обра́тная фу́нкция — функция, обращающая зависимость, выражаемую данной функцией. Например, если функция от x даёт y, то обратная ей функция от y даёт x. Обратная функция функции ${\displaystyle f}$ обычно обозначается ${\displaystyle f^{-1}}$, иногда также используется обозначение ${\displaystyle f^{\mathrm {inv} }}$.

Функция ${\displaystyle f}$ и обратная ей функция ${\displaystyle f^{-1}}$. Если ${\displaystyle f(a)=3}$, то ${\displaystyle f^{-1}(3)=a}$

Функция, имеющая обратную, называется обратимой.

Определение

Функция ${\displaystyle g:Y\to X}$ называется обратной к функции ${\displaystyle f:X\to Y}$, если выполнены следующие тождества:

• ${\displaystyle f(g(y))=y}$ для всех ${\displaystyle y\in Y;}$
• ${\displaystyle g(f(x))=x}$ для всех ${\displaystyle x\in X.}$

Связанные определения

• Функция ${\displaystyle g:Y\to X}$ называется левой обратной к функции ${\displaystyle f:X\to Y}$, если ${\displaystyle g(f(x))=x}$ для всех ${\displaystyle x\in X}$.
• Функция ${\displaystyle g:Y\to X}$ называется правой обратной к функции ${\displaystyle f:X\to Y}$, если ${\displaystyle f(g(y))=y}$ для всех ${\displaystyle y\in Y}$.

Существование

Чтобы найти обратную функцию, нужно решить уравнение ${\displaystyle y=f(x)}$ относительно ${\displaystyle x}$. Если оно имеет более чем один корень, то функции, обратной к ${\displaystyle f}$ не существует. Таким образом, функция ${\displaystyle f(x)}$ обратима на интервале ${\displaystyle (a;b)}$ тогда и только тогда, когда на этом интервале она взаимно-однозначна.

Для непрерывной функции ${\displaystyle F(y)}$ выразить ${\displaystyle y}$ из уравнения ${\displaystyle x-F(y)=0}$ возможно в том и только том случае, когда функция ${\displaystyle F(y)}$ строго монотонна (см. теорема о неявной функции). Тем не менее, непрерывную функцию всегда можно обратить на промежутках её строгой монотонности. Например, ${\displaystyle {\sqrt {x}}}$ является обратной функцией к ${\displaystyle x^{2}}$ на ${\displaystyle [0,+\infty )}$, хотя на промежутке ${\displaystyle (-\infty ,0]}$ обратная функция другая: ${\displaystyle -{\sqrt {x}}}$.

Для существования обратной функции не являются необходимыми ни непрерывность, ни монотонность исходной функции. Пример: функция ${\displaystyle y=x+D(x),}$ где ${\displaystyle D(x)}$ — функция Дирихле, разрывна и не монотонна, однако обратная для неё существует: ${\displaystyle x=y-D(y).}$

Примеры

• Если ${\displaystyle F:\mathbb {R} \to \mathbb {R} _{+},\;F(x)=a^{x}}$, где ${\displaystyle a>0,a\neq 1,}$ то ${\displaystyle F^{-1}(x)=\log _{a}x.}$
• Если ${\displaystyle F(x)=ax+b,\;x\in \mathbb {R} }$, где ${\displaystyle a,b\in \mathbb {R} }$ фиксированные постоянные и ${\displaystyle a\neq 0}$, то ${\displaystyle F^{-1}(x)={\frac {x-b}{a}}.}$
• Если ${\displaystyle F(x)=x^{n},x\geq 0,n\in \mathbb {Z} }$, то ${\displaystyle F^{-1}(x)={\sqrt[{n}]{x}}.}$

Свойства

Графики функции и обратной ей

• Областью определения ${\displaystyle F^{-1}}$ является множество ${\displaystyle Y}$, а областью значений — множество ${\displaystyle X}$.
• По построению имеем:

${\displaystyle y=F(x)\Leftrightarrow x=F^{-1}(y)}$

или

${\displaystyle F\left(F^{-1}(y)\right)=y,\;\forall y\in Y}$,

${\displaystyle F^{-1}(F(x))=x,\;\forall x\in X}$,

или короче

${\displaystyle F\circ F^{-1}=\mathrm {id} _{Y}}$,

${\displaystyle F^{-1}\circ F=\mathrm {id} _{X}}$,

где ${\displaystyle \circ }$ означает композицию функций, а ${\displaystyle \mathrm {id} _{X},\mathrm {id} _{Y}}$ — тождественные отображения на ${\displaystyle X}$ и ${\displaystyle Y}$ соответственно.

• Такое отображение ${\displaystyle G\colon \,Y\to X}$, что ${\displaystyle F\circ G=\mathrm {id} _{Y}}$ («обратное справа»), называется сечением отображения ${\displaystyle F}$.

• Функция ${\displaystyle F}$ является обратной к ${\displaystyle F^{-1}}$:

${\displaystyle \left(F^{-1}\right)^{-1}=F}$.

• Пусть ${\displaystyle F:X\subset \mathbb {R} \to Y\subset \mathbb {R} }$ — биекция. Пусть ${\displaystyle F^{-1}:Y\to X}$ её обратная функция. Тогда графики функций ${\displaystyle y=F(x)}$ и ${\displaystyle y=F^{-1}(x)}$ симметричны относительно прямой ${\displaystyle y=x}$.
• Также, если у функции ${\displaystyle f(x)}$ есть обратная ей ${\displaystyle f^{-1}(x)}$, то графики этих функций будут симметричны относительно линии ${\displaystyle y=x}$.

Теорема. Композиция любых двух обратимых функций является обратимой функцией, то есть ${\displaystyle {\left(f\circ g\right)}^{-1}=g^{-1}\circ f^{-1}}$.

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

Поскольку ${\displaystyle \alpha \circ {\alpha }^{-1}={\alpha }^{-1}\circ \alpha =e}$ и ${\displaystyle \alpha \circ e=e\circ \alpha =\alpha }$ для любой обратимой функции ${\displaystyle \alpha }$, где ${\displaystyle e}$ — тождественное преобразование, то можно записать следующие равенства. Имеем: ${\displaystyle e=e\Longleftrightarrow e=f\circ f^{-1}\Longleftrightarrow e=f\circ g\circ g^{-1}\circ f^{-1}\Longleftrightarrow e=\left(f\circ g\right)\circ \left(g^{-1}\circ f^{-1}\right).}$ Подействуем слева функцией ${\displaystyle {\left(f\circ g\right)}^{-1}}$ и получим: ${\displaystyle {\left(f\circ g\right)}^{-1}\circ \mid e=\left(f\circ g\right)\circ \left(g^{-1}\circ f^{-1}\right)\Longleftrightarrow {\left(f\circ g\right)}^{-1}\circ e={\left(f\circ g\right)}^{-1}\circ \left(f\circ g\right)\circ \left(g^{-1}\circ f^{-1}\right)\Longleftrightarrow {\left(f\circ g\right)}^{-1}=e\circ \left(g^{-1}\circ f^{-1}\right)\Longleftrightarrow {\left(f\circ g\right)}^{-1}=g^{-1}\circ f^{-1}.}$ Теорема доказана.

Это утверждение легко запомнить так: «Пиджак надевают после рубашки, а снимают раньше».

Разложение в степенной ряд

Обратная функция аналитической в некоторой окрестности точки ${\displaystyle x_{0}}$ функции может быть представлена в виде степенного ряда:

${\displaystyle f^{-1}(y)=\sum _{k=0}^{\infty }A_{k}(x_{0}){\frac {(y-f(x_{0}))^{k}}{k!}},}$

где функции ${\displaystyle A_{k}}$ задаются рекурсивной формулой:

${\displaystyle A_{n}(x)={\begin{cases}x\;,\;n=0\\{\frac {A_{n-1}'(x)}{f'(x)}}\;,\;n>0\end{cases}}}$

См. также

• Теорема Лагранжа об обращении рядов
• Обратные тригонометрические функции
• Обратимая функция

Примечания

1. Куликов Л.Я. "Алгебра и теория чисел: Учебное пособие для педагогических институтов"
2. Шибинский В. М. Примеры и контрпримеры в курсе математического анализа. Учебное пособие. — М.: Высшая школа, 2007. — С. 29—30. — 543 с. — ISBN 978-5-06-005774-4.