Función inversa

Unha función f e a súa inversa f⁻¹. Como f relaciona a con 3, a inversa f⁻¹ relaciona 3 con a .

En matemáticas, a función inversa dunha función f (ou simplemente inversa de f ) é unha función que desfai a operación de f . A inversa de f existe se e só se f é bixectiva, e se existe, denotase por $f^{-1}.$

Para unha función $f\colon X\to Y$, a súa inversa $f^{-1}\colon Y\to X$ admite unha descrición explícita: envía cada elemento $y\in Y$ ao elemento único $x\in X$ tal que f(x) = y.

Como exemplo, considere a función con valores reais dunha variable real dada por f(x) = 5x − 7. Para desfacer isto, temos a inversa de f , que sería a función $f^{-1}\colon \mathbb {R} \to \mathbb {R}$ definida por $f^{-1}(y)={\frac {y+7}{5}}.$

Definicións

Se f mapea X en Y, entón f⁻¹ mapea Y de novo en X.

Sexa f unha función cuxo dominio é o conxunto X e cuxo codominio é o conxunto Y Entón f é invertible se existe unha función g de Y a X tal que $g(f(x))=x$ para todos os $x\in X$ e $f(g(y))=y$ para todos os $y\in Y$.

Se f é invertible, entón hai exactamente unha función g que satisfai esta propiedade.

A función f é invertible se e só se é bixectiva. Isto é porque a condición $g(f(x))=x$ para todos os $x\in X$ implica que f é Inxectiva e a condición $f(g(y))=y$ para todos os $y\in Y$ implica que f é sobrexectiva.

Inversas e composición

Lembre que se f é unha función invertible con dominio X e codominio Y, entón

$f^{-1}\left(f(x)\right)=x$, para cada $x\in X$ e $f\left(f^{-1}(y)\right)=y$ para cada $y\in Y$.

Usando a composición de funcións, esta afirmación pódese reescribir coas seguintes ecuacións entre funcións:

$f^{-1}\circ f=\operatorname {id} _{X}$ e $f\circ f^{-1}=\operatorname {id} _{Y},$

onde id_X é a función de identidade no conxunto X; é dicir, a función que deixa o seu argumento sen mudar. Na teoría de categorías, esta afirmación úsase como definición dun morfismo inverso.

Notación

Hai que ter coidado coa confusión na notación entre a función inversa e o inverso multiplicativo. Moitas veces o recíproco ou inverso multiplicativo usa a mesma nomenclatura e temos que prestar atención á notación.

Un exemplo típico é sin⁻¹(x) que denota a función inversa do seno que sería o arco cuxo seno é x que denotamos tamén como arcsin(x). Isto sería diferente ao recíproco do seno $(\sin {x})^{-1}={\dfrac {1}{\sin(x)}}.$

Para outras funcións debemos ter o mesmo coidado, como no exemplo da introdución temos

${\begin{aligned}f(x)=5x+7,{\text{ por exemplo }}f(3)=5\cdot 3+7=22.\\f^{-1}(x)={\dfrac {x-7}{5}},{\text{ aquí }}f(22)=(22-7)/5=3.\\(f(x))^{-1}={\dfrac {1}{5x+7}},{\text{ o recíproco ou multiplicativo inverso }}(f(3))^{-1}={\dfrac {1}{22}}\end{aligned}}$.

Exemplos

Funcións do cadrado e da raíz cadrada

A función f: R → [0,∞) dada por f(x) = x² non é inxectiva porque $(-x)^{2}=x^{2}$ para tódolos $x\in \mathbb {R}$. Polo tanto, f non é invertible se consideramos o dominio completo.

Se o dominio da función restrinxímolo aos reais non negativos, é dicir, tomamos a función $f\colon [0,\infty )\to [0,\infty );\ x\mapsto x^{2}$ coa mesma regra que antes, entón a función é bixectiva e, polo tanto, invertible. A función inversa aquí denomínase función raíz cadrada (positiva) e denotase por $x\mapsto {\sqrt {x}}$ .

Funcións inversas estándar

A seguinte táboa mostra varias funcións estándar e as súas inversas:

Funcións aritméticas inversas

Función f(x)	Inversa f −1(y)	Notas
x + a	y − a
a − x	a − y
mx	y/m	m ≠ 0
1/x (isto é, x−1)	1/y (isto é, y−1)	x, y ≠ 0
xp	${\sqrt[{p}]{y}}$ (isto é, y1/p)	x, y ≥ 0 se p é par; enteiro p > 0
ax	loga y	y > 0 e a > 0
x e x	W  (y)	x ≥ −1 e y ≥ −1/e
funcións trigonométricas	funcións trigonométricas inversas	varias restricións (ver táboa embaixo)
función hiperbólica	funcións hiperbólicas inversas	varias restricións

función	Rango do usual valor principal
arcsin	−π/2 ≤ sin−1(x) ≤ π/2
arccos	0 ≤ cos−1(x) ≤ π
arctan	−π/2 < tan−1(x) < π/2
arccot	0 < cot−1(x) < π
arcsec	0 ≤ sec−1(x) ≤ π
arccsc	−π/2 ≤ csc−1(x) ≤ π/2

Propiedades

Unicidade

Se existe unha función inversa para unha función f dada, entón é única.

Simetría

Hai unha simetría entre unha función e a súa inversa. En concreto, se f é unha función invertible con dominio X e codominio Y, entón a súa inversa f⁻¹ ten dominio Y e imaxe X, e a inversa de f⁻¹ é a función orixinal f .

Esta afirmación é consecuencia da implicación de que para que f sexa invertible debe ser bixectiva.

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

O inverso de g ∘ f é f⁻¹ ∘ g⁻¹ .

A inversa dunha composición de funcións vén dada por

$(g\circ f)^{-1}=f^{-1}\circ g^{-1}.$

Observe que a orde de g e f foron invertidas; para desfacer f seguido de g, primeiro debemos desfacer g, e despois desfacer f .

Por exemplo, sexa f(x) = 3x e sexa g(x) = x + 5. Entón a composición g ∘ f é a función que primeiro multiplica por tres e despois suma cinco,

$(g\circ f)(x)=3x+5.$

Para inverter este proceso, primeiro debemos restar cinco e despois dividir entre tres,

$(g\circ f)^{-1}(x)={\tfrac {1}{3}}(x-5).$

Esta é a composición (f⁻¹ ∘ g⁻¹)(x).

Autoinversas

Se X é un conxunto, entón a función de identidade en X é a súa propia inversa:

${\operatorname {id} _{X}}^{-1}=\operatorname {id} _{X}.$

Máis xeralmente, unha función f : X → X é igual á súa propia inversa, se e só se a composición f ∘ f é igual a id_X . Tal función chámase involución.

Gráfica da inversa

As gráficas de y = f(x) e y = f⁻¹(x). A liña de puntos é y = x.

Se f é invertible, entón a gráfica da función

$y=f^{-1}(x)$

é a mesma que a gráfica da ecuación

$x=f(y).$

Inversas e derivadas

O teorema da función inversa afirma que unha función continua f é invertible no seu rango (imaxe) se e só se é estritamente crecente ou decrecente (sen máximos ou mínimos locais). Por exemplo, a función

$f(x)=x^{3}+x$

é invertible, xa que a derivada f′(x) = 3x² + 1 é sempre positiva.

Se a función f é derivable nun intervalo I e f′(x) ≠ 0 para cada x ∈ I, entón a inversa f⁻¹ é derivable en f(I) . Se y = f(x), a derivada da inversa vén dada polo teorema da función inversa,

$\left(f^{-1}\right)^{\prime }(y)={\frac {1}{f'\left(x\right)}}.$

Usando a notación de Leibniz a fórmula anterior pódese escribir como

${\frac {dx}{dy}}={\frac {1}{dy/dx}}.$

Este resultado despréndese da regra da cadea da diferenciación.

O teorema da función inversa pódese xeneralizar a funcións de varias variables. En concreto, unha función multivariable diferenciable f : Rⁿ → Rⁿ é invertible nunha veciñanza dun punto p sempre que a matriz xacobiana de f en p sexa invertible. Neste caso, o xacobiano de f⁻¹ en f(p) é a matriz inversa do xacobiano de f en p.

Véxase tamén

Bibliografía

• Briggs, William; Cochran, Lyle (2011). Calculus / Early Transcendentals Single Variable. Addison-Wesley. ISBN 978-0-321-66414-3. 
• Devlin, Keith J. (2004). Sets, Functions, and Logic / An Introduction to Abstract Mathematics (3 ed.). Chapman & Hall / CRC Mathematics. ISBN 978-1-58488-449-1. 
• Fletcher, Peter; Patty, C. Wayne (1988). Foundations of Higher Mathematics. PWS-Kent. ISBN 0-87150-164-3. 
• Lay, Steven R. (2006). Analysis / With an Introduction to Proof (4 ed.). Pearson / Prentice Hall. ISBN 978-0-13-148101-5. 
• Smith, Douglas; Eggen, Maurice; St. Andre, Richard (2006). A Transition to Advanced Mathematics (6 ed.). Thompson Brooks/Cole. ISBN 978-0-534-39900-9. 
• Thomas Jr., George Brinton (1972). Calculus and Analytic Geometry Part 1: Functions of One Variable and Analytic Geometry (Alternate ed.). Addison-Wesley. 
• Wolf, Robert S. (1998). Proof, Logic, and Conjecture / The Mathematician's Toolbox. W. H. Freeman and Co. ISBN 978-0-7167-3050-7. 

Outros artigos

• Extremos dunha función.
• Derivada.

Ligazóns externas

• "Inverse function". Encyclopedia of Mathematics. EMS Press. 2001 [1994].