Función recursiva general
(leer más)
En matemáticas, la función inversa de una función f (también llamado el inverso de f) es una función que deshacer la operación de f. El inverso de f existe si f es bijetivo, y si existe, es denotado por f− − 1.{displaystyle f^{-1}
Para una función f:: X→ → Y{displaystyle fcolon Xto Y}, su inverso f− − 1:: Y→ → X{displaystyle f^{-1} Yto X} admite una descripción explícita: envía cada elemento Sí.▪ ▪ Y{displaystyle yin Y} al elemento único x▪ ▪ X{displaystyle xin X} tales que f()x) Sí..
Como ejemplo, considere la función de valor real de una variable real dada por f()x) = 5x 7 -. Uno puede pensar en f como la función que multiplica su entrada en 5 entonces resta 7 del resultado. Para deshacer esto, uno añade 7 a la entrada, luego divide el resultado por 5. Por lo tanto, el inverso de f es la función f− − 1:: R→ → R{displaystyle f^{-1}colon mathbb {R} to mathbb {R} definidas por f− − 1()Sí.)=Sí.+75.{displaystyle f^{-1}(y)={frac {y+7}{5}}
Vamos f ser una función cuyo dominio es el conjunto X, y cuyo codominio es el conjunto Y. Entonces... f es invertible si existe una función g desde Y a X tales que g()f()x))=x{displaystyle g(f(x)=x} para todos x▪ ▪ X{displaystyle xin X} y f()g()Sí.))=Sí.{displaystyle f(g(y)=y} para todos Sí.▪ ▪ Y{displaystyle yin Y}.
Si f es invertible, entonces hay exactamente una función g satisfaciendo esta propiedad. La función g se denomina inversa de f, y generalmente se denota como f −1, una notación introducida por John Frederick William Herschel en 1813.
La función f es invertible si y sólo si es bijetivo. Esto es porque la condición g()f()x))=x{displaystyle g(f(x)=x} para todos x▪ ▪ X{displaystyle xin X} implica que f es inyectable, y la condición f()g()Sí.))=Sí.{displaystyle f(g(y)=y} para todos Sí.▪ ▪ Y{displaystyle yin Y} implica que f es subjetivo.
La función inversa f −1 a f se puede describir explícitamente como la función
Recuerde que si f es una función invertible con dominio X y el codominio Y, luego
Usando la composición de funciones, esta afirmación se puede reescribir en las siguientes ecuaciones entre funciones:
donde idX es la función de identidad en el conjunto X; es decir, la función que deja su argumento sin cambios. En la teoría de categorías, esta declaración se usa como la definición de un morfismo inverso.
Tener en cuenta la composición de funciones ayuda a comprender la notación f −1. La composición repetida de una función f: X→X consigo misma se llama iteración. Si f se aplica n veces, comenzando con el valor x, entonces esto se escribe como f n(x); entonces f 2(x) = f (f (x)), etc. Dado que f −1(f (x)) = x, componiendo f −1 y f n produce f n−1, "deshacer" el efecto de una aplicación de f.
Mientras que la notación f−1()x) podría ser mal entendido, ()f()x)−1 ciertamente denota el inverso multiplicativo de f()x) y no tiene nada que ver con la función inversa f. La notación f.. − − 1.. {displaystyle f^{langle -1rangle } puede ser utilizado para la función inversa para evitar la ambigüedad con la inversa multiplicativa.
De acuerdo con la notación general, algunos autores ingleses utilizan expresiones como pecado−1()x) para denotar el inverso de la función sine aplicada a x (realmente un inverso parcial; véase abajo). Otros autores sienten que esto puede confundirse con la notación de la inversa multiplicativa pecadox), que se puede denotar como (sin)x)−1. Para evitar cualquier confusión, una función trigonométrica inversa suele ser indicada por el prefijo "arc" (para latín) arcus). Por ejemplo, el inverso de la función sine se llama típicamente la función arcsina, escrita como arcsin(a)x). Del mismo modo, el inverso de una función hiperbólica es indicado por el prefijo "ar" (para latín) ārea). Por ejemplo, el inverso de la función sine hiperbólica se escribe típicamente como arsinh(x). Tenga en cuenta que las expresiones como pecado−1()x) puede ser útil para distinguir el inverso multivalorado del inverso parcial: pecado− − 1 ()x)={}()− − 1)karcsin ()x)+π π n:n▪ ▪ Z}{displaystyle sin ^{-1}(x)={(-1)^{k}arcsin(x)+pi n:nin mathbb {Z}}. Otras funciones especiales inversas son a veces prefijadas con el prefijo "inv", si la ambigüedad de la f−1 Debe evitarse la notación.
La función f: R → dado por f()x) x2 no es inyectable porque ()− − x)2=x2{displaystyle (-x)}=x^{2}} para todos x▪ ▪ R{displaystyle xin mathbb {R}. Por lo tanto, f no es invertible.
Si el dominio de la función está restringido a los reales no negativos, es decir, tomamos la función f:: [0,JUEGO JUEGO )→ → [0,JUEGO JUEGO );x↦ ↦ x2{displaystyle fcolon [0,infty]to [0,infty] xmapsto x^{2} con el mismo Regla como antes, entonces la función es bijetivista y así, invertible. La función inversa aquí se llama (positiva) función de raíz cuadrada y es denotado por x↦ ↦ x{displaystyle xmapsto { sqrt {x}.
La siguiente tabla muestra varias funciones estándar y sus inversas:
Función f()x) | Inverso f−1()Sí.) | Notas |
---|---|---|
x + a | Sí. − a | |
a − x | a − Sí. | |
mx | Sí./m | m ل 0 |
1/x (i.e. x−1) | 1/Sí. (i.e. Sí.−1) | x,Sí. ل 0 |
x2 | Sí.{displaystyle {sqrt {}} (i.e. Sí.1/2) | x,Sí. ≥ 0 sólo |
x3 | Sí.3{displaystyle {sqrt[{3}{y}} {f}} {f}} {fn}} {fn}}} {fn}}} {fn}}}}}} {fn}}}}}}}}} {f}}}}}}}}}}}}}}}}}}}} (i.e. Sí.1/3) | ninguna restricción x y Sí. |
xp | Sí.p{displaystyle {sqrt[{y}} {fn}} {fn}} {fnK}} {fn}}} {fn}}}}}} {fn}}}}}} {fnK}}}}}}} {f}}} (i.e. Sí.1/p) | x,Sí. ≥ 0 si p es incluso; entero p ■ 0 |
2x | lbSí. | Sí. ■ 0 |
ex | InSí. | Sí. ■ 0 |
10x | logSí. | Sí. ■ 0 |
ax | logaSí. | Sí. ■ 0 y a ■ 0 |
xex | WSí.) | x ≥ −1 y Sí. ≥ −1/e |
Funciones trigonométricas | funciones trigonométricas inversas | diversas restricciones (véase el cuadro infra) |
funciones hiperbólicas | funciones hiperbólicas inversas | diversas restricciones |
Muchas funciones dadas por fórmulas algebraicas poseen una fórmula para su inverso. Esto es porque el inverso f− − 1{displaystyle f^{-1} de una función invertible f:: R→ → R{displaystyle fcolon mathbb {R} to mathbb {R} tiene una descripción explícita
Esto le permite a uno determinar fácilmente los inversos de muchas funciones dadas por fórmulas algebraicas. Por ejemplo, si f es la función
entonces determinar f− − 1()Sí.){displaystyle f^{-1}(y)} para un número real Sí., uno debe encontrar el número real único x tales que (22)x + 8)3 = Sí.. Esta ecuación se puede resolver:
Así, la función inversa f −1 está dada por la fórmula
A veces, el inverso de una función no se puede expresar mediante una fórmula de forma cerrada. Por ejemplo, si f es la función
entonces f es una biyección, y por lo tanto posee una función inversa f −1. La fórmula para este inverso tiene una expresión como una suma infinita:
Dado que una función es un tipo especial de relación binaria, muchas de las propiedades de una función inversa corresponden a propiedades de relaciones inversas.
Si existe una función inversa para una función determinada f, entonces es única. Esto se debe a que la función inversa debe ser la relación inversa, que está completamente determinada por f.
Existe una simetría entre una función y su inversa. Específicamente, si f es una función invertible con dominio X y el codominio Y, entonces su inverso f −1 tiene dominio Y e imagen X, y el inverso de f −1 es la función original f. En símbolos, para funciones f:X → Y y f−1:Y → X,
Esta afirmación es consecuencia de la implicación de que para que f sea invertible, debe ser biyectiva. La naturaleza involutiva del inverso se puede expresar de manera concisa mediante
La inversa de una composición de funciones viene dada por
Observe que el orden de g y f se han invertido; para deshacer f seguido de g, primero debemos deshacer g, y luego deshacer f.
Por ejemplo, sea f(x) = 3x y sea g(x) = x + 5. Entonces la composición g ∘ f es la función que primero multiplica por tres y luego suma cinco,
Para invertir este proceso, primero debemos restar cinco y luego dividir por tres,
Esta es la composición (f −1 ∘ g −1)(x ).
Si X es un conjunto, entonces la función de identidad en X es su propio inverso:
Más generalmente, una función f: X → X es igual a su propia inversa, si y solo si la composición f ∘ f es igual a id X. Tal función se llama involución.
Si f es invertible, entonces la gráfica de la función
es igual a la gráfica de la ecuación
Esto es idéntico a la ecuación y = f(x) que define el gráfico de f, excepto que los roles de x y y se han invertido. Por lo tanto, el gráfico de f −1 se puede obtener del gráfico de f cambiando las posiciones de x y y ejes. Esto es equivalente a reflejar el gráfico a través de la línea. y = x.
El teorema de la función inversa establece que una función continua f es invertible en su rango (imagen) si y solo si es ya sea estrictamente creciente o decreciente (sin máximos ni mínimos locales). Por ejemplo, la función
es invertible, ya que la derivada f′(x) = 3x2 + 1 es siempre positivo.
Si la función f es diferenciable en un intervalo I y f′(x) ≠ 0 para cada x ∈ I, entonces el inverso f −1 es diferenciable en f(I). Si y = f(x), la derivada de la inversa viene dada por la teorema de la función inversa,
Usando la notación de Leibniz, la fórmula anterior se puede escribir como
Este resultado se sigue de la regla de la cadena (ver el artículo sobre funciones inversas y diferenciación).
El teorema de la función inversa se puede generalizar a funciones de varias variables. Específicamente, una función multivariable diferenciable f : Rn → Rn es invertible en una vecindad de un punto p mientras la matriz jacobiana de f en p es invertible. En este caso, el jacobiano de f −1 en f(p) es la matriz inversa del jacobiano de f en p.
Incluso si una función f no es uno a uno, es posible definir un parcial inversa de f restringiendo el dominio. Por ejemplo, la función
no es uno a uno, ya que x2 = (−x)2. Sin embargo, la función se convierte en uno a uno si restringimos al dominio x ≥ 0, en cuyo caso
(Si en cambio restringimos al dominio x ≤ 0, entonces el inverso es el negativo de la raíz cuadrada de y.) Alternativamente, no hay necesidad de restringir el dominio si estamos contentos con que el inverso sea una función multivaluada:
A veces, este inverso multivaluado se denomina inverso completo de f, y las porciones (como √ x y −√x) se denominan ramas. La rama más importante de una función multivaluada (por ejemplo, la raíz cuadrada positiva) se denomina rama principal y su valor se encuentra en y se llama el valor principal de f −1(y).
Para una función continua en la línea real, se requiere una rama entre cada par de extremos locales. Por ejemplo, el inverso de una función cúbica con un máximo local y un mínimo local tiene tres ramas (ver la imagen adyacente).
Estas consideraciones son particularmente importantes para definir las inversas de las funciones trigonométricas. Por ejemplo, la función seno no es uno a uno, ya que
para cada x real (y más generalmente sin(x + 2πn) = sin(x) para cada entero n). Sin embargo, el seno es uno a uno en el intervalo [−π/2, π/2], y la inversa parcial correspondiente se llama arcoseno. Esta se considera la rama principal del seno inverso, por lo que el valor principal del seno inverso siempre está entre −π/2 y π/2. La siguiente tabla describe la rama principal de cada función trigonométrica inversa:
función | Rango de valor principal habitual |
---|---|
arcsin | −π/2 ≤ pecado−1()x≤ π/2 |
arccos | 0 ≤−1()x≤ π |
arctan | −π/2 Tan−1()x) π/2 |
arccot | 0 cot−1()x) π |
arcsec | 0 ≤ sec−1()x≤ π |
arccsc | −π/2 ≤ csc−1()x≤ π/2 |
La composición de funciones a la izquierda ya la derecha no tiene por qué coincidir. En general, las condiciones
implica diferentes propiedades de f. Por ejemplo, sea f: R → [0, ∞) denota el mapa de cuadratura, tal que f(x) = x2 para todos los x en R, y vamos a g: [0, ∞) → R indican el mapa de raíz cuadrada, tal que g(x) = √x para todos los x ≥ 0. Entonces f(g(x)) = x para todos los x en [0, ∞); es decir, g es un derecho inverso de f. Sin embargo, g no es un inverso izquierdo de f, ya que, por ejemplo, g(f(−1)) = 1 ≠ −1.
Si f: X → Y, una izquierda inversa para f (o retracción de f) es una función g: Y → X tal que componer f con g desde la izquierda da la función de identidad
La función g debe ser igual a la inversa de f en la imagen de f, pero puede tomar cualquier valor para los elementos de Y no en la imagen.
Una función f con dominio no vacío es inyectiva si y solo si tiene inversa a la izquierda. Una demostración elemental es la siguiente:
If nonempty f: X → Y es inyectable, construir un inverso izquierdo g: Y → X como sigue: para todos Sí. ▪ Y, si Sí. está en la imagen de f, entonces existe x ▪ X tales que f()x) Sí.. Vamos g()Sí.) x; esta definición es única porque f es inyectable. De lo contrario, déjalo g()Sí.) ser un elemento arbitrario X.
Para todos x ▪ X, f()x) está en la imagen de f. Por construcción, g()f()x) = x, la condición para un inverso izquierdo.
En matemáticas clásicas, cada función inyectiva f con un dominio no vacío necesariamente tiene una inversa izquierda; sin embargo, esto puede fallar en matemáticas constructivas. Por ejemplo, un inverso a la izquierda de la inclusión {0,1} → R del conjunto de dos elementos en los reales viola la indescomponibilidad al dar una retracción de la línea real al conjunto {0,1}.
Una derecha inversa para f (o sección de f) es una función h: Y → X tal que
Es decir, la función h cumple la regla
Por lo tanto, h(y) puede ser cualquiera de los elementos de X que se asignan a y en f.
Una función f tiene inversa derecha si y solo si es sobreyectiva (aunque la construcción de tal inversa en general requiere la axioma de elección).
Un inverso que es a la vez un inverso izquierdo y derecho (un inverso de dos lados), si existe, debe ser único. De hecho, si una función tiene una inversa a la izquierda y una inversa a la derecha, ambos son la misma inversa de dos lados, por lo que se puede llamar la inversa.
Una función tiene inversa de dos lados si y solo si es biyectiva.
Si f: X → Y es cualquier función (no necesariamente invertible), la preimagen (o imagen inversa) de un elemento y ∈ Y se define como el conjunto de todos los elementos de X que se asignan al estilo y:
La preimagen de y se puede considerar como la imagen de y debajo del inverso completo (multivalor) de la función f.
Del mismo modo, si S es cualquier subconjunto de Y, la preimage de S, denotado f− − 1()S){displaystyle f^{-1}(S)}, es el conjunto de todos los elementos de X ese mapa a S:
Por ejemplo, tome la función f: R → R; x ↦ x2. Esta función no es invertible ya que no es biyectiva, pero se pueden definir preimágenes para subconjuntos del codominio, p.
La preimagen de un único elemento y ∈ Y – un conjunto singleton {y} : a veces se denomina fibra de y. Cuando Y es el conjunto de números reales, es común referirse a f −1({y}) como un conjunto de niveles.
(leer más)
(leer más)
(leer más)