Función inversa

En matemáticas, especialmente en análisis matemático, si f es una función que asigna elementos de I en elementos de J, en ciertas condiciones será posible definir la función f -1 que realice el camino de vuelta de J a I.En ese caso diremos que f -1 es la función completamente opuesta a la original inversa de f. Seauna función real biyectiva cuyo responsable o dominio sea el conjuntoy cuya imagen sea el conjuntoEntonces, la función inversa de, es la función de dominioy codominiodefinida por la siguiente regla: Destaquemos que, al igual que, es una aplicación biyectiva, que queda determinada de modo único pory que cumple: De hecho, estas dos últimas propiedades caracterizan a la función inversa, como muestra la siguiente definición alternativa.Dadas dos aplicaciones y las propiedades: entonces: Este último punto se usa como definición de función inversa.La notación tradicionalpuede ser confusa, ya que puede dar a entenderUna notación alternativa utilizada en teoría de conjuntos es usar una estrella: Otra notación menos usada es utilizar solo el signo menos en vez del númerof ∘ g ( x ) = g ∘ f ( x ) = x{\displaystyle {\begin{cases}f:\mathbb {R} ^{+}\to \mathbb {R} ^{+}\\x\mapsto x^{2}\end{cases}}\qquad {\begin{cases}g:\mathbb {R} ^{+}\to \mathbb {R} ^{+}\\x\mapsto {\sqrt {x}}\end{cases}}\qquad f\circ g(x)=g\circ f(x)=x}Se generaliza el concepto de función a otros conjuntos de números, en particular a los complejos, donde el logaritmo (con un dominio restringido) y la exponencial siguen siendo funciones inversas.+ 2 arctan ⁡ ( x{\displaystyle {\begin{cases}f:\mathbb {R} \to [-1,1]\\x\mapsto {\cfrac {1}{2\pi }}\left[\ln \left({\cfrac {x^{2}+x{\sqrt {2}}+1}{x^{2}-x{\sqrt {2}}+1}}\right)+2\arctan(x{\sqrt {2}}+1)+2\arctan(x{\sqrt {2}}-1)\right]=\sum _{k=0}^{\infty }{\cfrac {(-1)^{k}x^{k}}{4k+1}}\end{cases}}}Aunque la función inversa se puede aproximar mediante desarrollo en serie de Taylor:
Una función ƒ y su función inversa ƒ –1 . Como ƒ aplica a en 3, la función inversa ƒ –1 retorna 3 en a .
Inversión del orden en la composición de funciones.
Ejemplo de una función f y de su recíproca g , donde los respectivos dominios de definición son I = [ -6; 6 ] y J = [ -6 ; 2.
En un sistema de coordenadas cartesianas se han representado las curvas de algunas raíces, así como de sus potencias , en el intervalo [0,1] . La diagonal, de ecuación y = x , es eje de simetría entre cada curva y la curva de su inversa.