250px|miniatura|g ∘ f, é a aplicación resultante da aplicación sucesiva de f e de g. No exemplo, (g ∘ f)(a)=@. En álxebra abstracta, a composición de funcións é unha operación matemática que consiste na aplicación sucesiva de dúas funcións. Para iso, aplícase sobre o valor a función máis próxima ao mesmo, e ao resultado do cálculo aplícase finalmente a outra función.
Usando a notación matemática, a función composta g ∘ f: X → Z expresa que (g ∘ f)(x) = g(f(x)) para todo x pertencente a X.
g ∘ f denomínase composición de f e g. Nótese que non se nomea seguindo a orde de escritura, senón a orde na que se aplican as funcións ao valor.
Definición De xeito formal, dadas dúas funcións f: X → Y e g: e → Z, onde a imaxe de f está contida no dominio de g, defínese a función composición (g ∘ f ): X → Z como (g ∘ f)(x) = g (f(x)), para todos os elementos de X.
Tamén se pode representar de graficamente empregando a categoría de conxuntos, mediante un diagrama conmutativo: centro|100px
Propiedades A composición de funcións é asociativa, é dicir:
A composición de funcións en xeral non é conmutativa, é dicir:
Por exemplo, dadas as funcións numéricas f(x)=x+1 e g(x)=x², entón f(g(x))=x²+1, mentres que g(f(x))=(x+1)².
A inversa da composición de dúas funcións é:
Exemplo Dadas as funcións:
a función compuesta de g e de f que se expresa:
A interpretación de (f ∘ g) aplicada á variable x significa que primeiro hai que aplicar g a x, co que se obtén un valor de paso
E despois aplícase f a z para obter
Función ben definida A función composta está ben definida porque cumpre coas dúas condicións de existencia e unicidade, propias de toda función:
Condición de existencia: dado x, coñécense (x, f(x)), posto que se coñece a función f, e dado calquera elemento y de B tamén se coñece (y, g(y)), pois se coñece g. Polo tanto, (x, g( f(x)) ) está definido para todo x, e así (g ∘ f) cumpre a condición de existencia. Condición de unicidade: como f e g son funcións ben definidas, para cada x o valor de f(x) é único, e para cada f(x) tamén o é o de g( f(x)).
Véxase tamén Ligazóns externas Composición de funcións (ampliación). "Composition of Functions" by Bruce Atwood, the Wolfram Demonstrations Project, 2007.
Categoría:Análise matemática Categoría:Álxebra abstracta