QUE INTERESANTE

http://commons.wikimedia.org/wiki/File:Compfun.svg


En álgebra abstracta, una función compuesta es una función formada por la composición o aplicación sucesiva de otras dos funciones. Para ello, se aplica sobre el argumento la función más próxima al mismo, y al resultado del cálculo anterior se le aplica finalmente la función restante.

Usando la notación matemática, la función compuesta g ∘ f: X → Z expresa que (g ∘ f)(x) = g(f(x)) para todo x perteneciente X.

A g ∘ f se le llama composición de f y g. Nótese que se nombra no siguiendo el orden de escritura, sino el orden en que se aplican las funciones a su argumento.

La función compuesta está bien definida porque cumple con las dos condiciones de existencia y unicidad, propias de toda función:dxf

Condición de existencia: dado x, conocemos (x, f(x)), puesto que conocemos la función f, y dado cualquier elemento y de B conocemos también (y, g(y)), puesto que conocemos la función g. Por tanto, (x, g( f(x)) ) está definido para todo x, y así (g ∘ f) cumple la condición de existencia.
Condición de unicidad: como f y g son funciones bien definidas, para cada x el valor de f(x) es único, y para cada f(x) también lo es el de g( f(x)).