Función compuesta

En álxebra astracta, una función compuesta ye una función formada pola composición o aplicación socesiva d'otros dos funciones. Pa ello, aplícase sobre l'argumentu la función más próxima al mesmu, y al resultáu del cálculu anterior aplícase-y finalmente la función restante.

Usando la notación matemática, la función compuesta g ∘ f: X → Z espresa que (g ∘ f)(x) = g[f(x)] pa tou x perteneciente a X. 

A g ∘ f llámase-y composición de f y g, o f compuesta con g. Nótese que se noma nun siguiendo l'orde d'escritura, sinón l'orde en que s'apliquen les funciones al so argumentu.

 Definición 
De manera formal, daes dos funciones:


y :

onde la imaxe de f ta contenida nel dominio de g, defínese la función composición de f y g. (nótese que les funciones nomar nel orde d'aplicación a la variable, non nel orde socesivu de representación):


A tolos elementos de X acomúñase-y un elementu de Z según: .

Tamién puede representase de manera gráfica usando la categoría de conxuntos, por aciu un diagrama conmutativu:
centráu|200px

 Propiedaes 
 La composición de funciones ye asociativa, esto ye:

 La composición de funciones polo xeneral nun ye conmutativa, esto ye:

Por casu, daes les funciones numbériques f(x)=x+1 y g(x)=x², entós f(g(x))=x²+1, en cuantes que g(f(x))=(x+1)².

 L'elementu neutru asociáu a la composición de funciones ye f(x)=x.

 Colos trés propiedaes anteriores: asociativa, non conmutativa y elementu neutru, les funciones reales de variable real constitúin un monoide pa la operación interna de composición de funciones.

 Amás, la inversa de la composición de dos funciones ye:

 Exemplu 
Sían les funciones:



La función compuesta de g y de f qu'espresamos:


La interpretación de (f ∘ g) aplicada a la variable x significa que primero tenemos qu'aplicar g a x, colo que llograríamos un valor de camín 


y dempués aplicamos f a z pa llograr


 Función bien definida 
La función compuesta ta bien definida porque cumple colos dos condiciones d'esistencia y unicidá, mesmes de toa función:

 Condición d'esistencia: dau x, conocemos (x, f(x)), yá que conocemos la función f, y dau cualquier elementu y de B conocemos tamién (y, g(y)), yá que conocemos la función g. Por tanto, (x, g( f(x)) ) ta definíu pa tou x, y asina (g ∘ f) cumple la condición d'esistencia.
 Condición d'unicidá: como f y g son funciones bien definíes, pa cada x el valor de f(x) ye únicu, y pa cada f(x) tamién lo ye'l de g( f(x)).

 Referencies 

 Enllaces esternos  

"Composition of Functions" by Bruce Atwood, the Wolfram Demonstrations Project, 2007.

Categoría:Tipos de funciones Compuesta
Categoría:Álxebra astrauta