domingo, 30 de junio de 2013

Composición De Funciones

Composición de funciones

La composición gf actúa sobre el objeto x transformándolo según f, y después transformando f(x) mediante g.
Dadas dos funciones, bajo ciertas condiciones podemos usar los valores de salida de una de ellas como valores de entrada para la otra., creando una nueva función.
Sean dos funciones f : AB y g : CD, tales que el recorrido de la primera esté contenido en el dominio de la segunda, Im(f) ⊆ C. Entonces puede formarse la composición de g con f, la función gf : AD que a cada a en el dominio A le asocia el elemento (gf)(a) = g(f(a)).
Es decir, la composición gf hace actuar primero la función f sobre un elemento de A, y luego g sobre la imagen que se obtenga:

x\mapsto f(x)\mapsto g(f(x))
La condición Im(f) ⊆ C asegura precisamente que este segundo paso se pueda llevar a cabo.
Ejemplos
  • La imagen de la función «inverso» g es R \ {0} —puesto que todo número real no nulo es el inverso de otro—, y por tanto está contenido en el dominio de la función cubo f, que es R. La composición fg: R \ {0} → R actúa entonces como f(g(x)) = f(1/x) = (1/x)3 = 1/x3.
  • Dadas las funciones reales h1: RR y h2: RR dadas por h1(x) = x2 y h2(x) = x + 1, puede tomarse la composición en ambos órdenes, h1h2 y h2h1. Sin embargo, son funciones distintas, ya que:
(h1h2)(x) = h1(h2(x)) = h1(x + 1) = (x + 1)2 = x2 + 2x + 1, y
(h2h1)(x) = h2(h1(x)) = h2(x2) = x2 + 1
  • La función γ que clasifica los mamíferos en géneros puede componerse con la función ω: GOr que clasifica los géneros de mamíferos en órdenes —que forman el conjunto Or—. La función ωγ asigna a cada mamífero su orden:
(ωγ)(Humano) = ω(Homo) = Primate, (ωγ)(Guanaco) = ω(Lama) = Artiodactyla

Funciones Inversas

Función inversa

Una función puede tener inversa, es decir, otra función que al componerla con ella resulte en la identidad, del mismo modo que un número multiplicado por su inverso da 1.
Dada una función f : AB, se dice que g : BA es la inversa o recíproca de f si se cumple:
\begin{align}
&f\circ g = \text{id}_B\\
&g \circ f = \text{id}_A
\end{align}
La inversa se denota por g = f−1, y tanto f como f−1 se dicen invertibles.
No todas las funciones son invertibles, sino que solo aquellas que sean biyectivas poseen inversa:
Toda función biyectiva f es invertible, y su inversa f−1 es biyectiva a su vez. Recíprocamente, toda función invertible f es biyectiva.