Funciones compuestas
La función compuesta es aquella que se obtiene mediante una operación denominada composición de funciones, que consiste en aplicar de manera sucesiva las funciones que forman parte de la operación. Así, la función compuesta de f(x) y g(x) es otra función obtenida aplicando g a las imágenes de f.
Definición
Se define la función compuesta de dos funciones f(x) y g(x) cualesquiera, y designada por (g∘f)(x), a la función que transforma x en g[f(x)]:
x→ff(x)→gg[f(x)]=(g∘f)(x)
Donde:
- (g∘f)(x): Se lee f compuesta con g. Es la propia función compuesta que permite transformar directamente x en g[f(x)]
Observa que la función (g∘f)(x) se lee "f compuesta con g ", a pesar de ser g la primera que aparece. La razón es que es en realidad f la primera que se aplica. De manera complementaria, (f∘g)(x) se leería "g compuesta con f ".
¿Cómo se calcula?
Para realizar la composición propiamente dicha de dos funciones ilustramos el proceso con el ejemplo con el que abríamos el apartado: siendo f(x)=x2 y g(x)=x+2, podemos calcular (g∘f)(x) sin más que sustituir f(x) en los lugares donde pone x en g(x), es decir:
(g∘f)(x)=g[f(x)]=g(x2)=x+2x⇒x2=x2+2
Observa que en general (g∘f)(x)≠(f∘g)(x). En el ejemplo:
(f∘g)(x)=f[g(x)]=f(x+2)=x2x⇒x+2=(x+2)2=x2+4x+4
Dominio
El dominio de una función es el conjunto de valores para los cuales está definida. En el caso de la función compuesta (g ∘ f)(x), este depende de los dominios de las funciones f y g.
Observa, que al hacer g∘f, actúa en primer lugar f sobre x, y posteriormente g sobre f(x), es decir:
x→ff(x)→gg[f(x)]=(g∘f)(x)
Por tanto, el dominio de la función compuesta debe satisfacer simultáneamente las condiciones que le imponga la primera función que actúe (x∈Domf), y los de la segunda, teniendo en cuenta que esta última actúa f(x) y no sobre x (f(x)∈Domg).
El dominio de la función compuesta (g ∘ f)(x) es el conjunto:
Domg∘f : x∈Domf ∧ f(x)∈Domg
Donde:
- El símbolo ∧ representa la condición "y", es decir, la intersección de los conjuntos de valores obtenidos al aplicar cada condición
Y eso es todo, aunque podemos profundizar un poco en esta idea contándote que pueden darse dos casos:
Que el recorrido de la primera función esté incluido en el dominio de la segunda. En este caso el dominio de la función compuesta coincide con el de la primera función.
Domg∘f=DomfDominio función compuesta
En la ilustración aparecen los dominios y recorridos de f y g. Como puedes ver, el recorrido de f está íntegramente incluido en el dominio de g, con lo que el dominio de f y de g ∘ f coinciden.
Que el recorrido de la primera función no esté incluido en el dominio de la segunda. En este caso el dominio de la función compuesta serían aquellos valores de la primera función que son antiimagen de los valores del dominio de la segunda:
Domg∘f=Domf∩f−1(Domg)Dominio función compuesta
En la ilustración aparecen los dominios y recorridos de f y g. Como puedes ver, el recorrido de f no está íntegramente incluido en el dominio de g, con lo que el dominio de g ∘ f es un subconjunto de f: el de aquellos elementos que tienen imagen en el dominio de g.
En la expresión anterior aparece f-1. Se trata de la función inversa, que vamos a estudiar en el apartado inmediatamente posterior del tema. De momento te bastará con saber que, de manera complementaria a f(x), que nos permite pasar de un valor del dominio a su imagen (que es un valor del recorrido), la función inversa f-1(x), nos permite pasar de un valor del recorrido a su anti imagen (que es un valor del dominio).
Propiedades
No conmutativa: g∘f≠f∘g
Es decir, tal y como habíamos señalado anteriormente, el orden en que aplicamos la composición generalmente condicione el resultado obtenido
Asociativa: h∘(g∘f)=(h∘g)∘f
Es decir, dadas 3 funciones cualesquiera, se obtiene igual resultado componiendo la primera (f) y la segunda (g), y componiendo posteriormente el resultado con la tercera (h), que componiendo la segunda (g) y la tercera (h) y componiendo posteriormente la primera (f) con el resultado obtenido
Por otro lado, recuerda que el elemento neutro de una operación es aquel que, al ser operado con cualquier elemento, lo deja igual, es decir, aquel que hace que la operación tenga un efecto neutro. En el caso de la composición de funciones, el elemento neutro es la función identidad I(x)=x.
f∘I=I∘f=f
Observa que para el caso concreto de la función identidad si se cumple la propiedad conmutativa.
Por otro lado, dada una función cualquiera f(x) y una operación (en este caso la composición de funciones), otro elemento importante es el elemento simétrico de f(x). Se trata de aquella función que, al operarse con f(x) da como resultado el elemento neutro, es decir, la función identidad en este caso.