3.1.3 Funcion compuesta
Definición y cálculo de la función compuesta
Dadas dos funciones \(f \) y \(g \), la función compuesta \((g \circ f) \), leída "efe compuesta con jee", aplica en primer lugar \(f \) y a continuación \(g \):
Para calcularla se sustituye la expresión completa de \(f(x) \) en el lugar de la variable de \(g \)
La composición no es conmutativa: en general \((g \circ f)(x) \neq (f \circ g)(x) \), porque el orden de aplicación cambia el resultado.
En cambio sí es asociativa: \(h \circ (g \circ f) = (h \circ g) \circ f \)
Con \(f(x) = x^2 \) y \(g(x) = x + 1 \): \((g \circ f)(x) = x^2 + 1 \), mientras que \((f \circ g)(x) = (x + 1)^2 \): el orden sí importa.
Dominio de la función compuesta
Para que \((g \circ f)(x) \) tenga sentido, \(x \) debe pertenecer al dominio de \(f \) y además el valor \(f(x) \) debe pertenecer al dominio de \(g \):
Con \(f(x) = \sqrt{x} \) y \(g(x) = \frac{1}{x} \), la compuesta \((g \circ f)(x) = \frac{1}{\sqrt{x} } \) exige \(x > 0 \): \(x \) debe estar en el dominio de \(f \) y \(f(x) \) en el de \(g \)
Sean \(f(x) = 2x - 3 \) y \(g(x) = x^2 + 1 \)
Calcula \((g \circ f)(x) \) y \((f \circ g)(x) \)
Para resolver este ejercicio empezaremos por calcular \((g \circ f)(x) \) sustituyendo \(f(x) \) dentro de \(g \)
A continuación calcularemos \((f \circ g)(x) \) sustituyendo en el orden inverso.
Para terminar compararemos ambos resultados.
Cálculo de g compuesta con f.
Desarrollamos el cuadrado:
Cálculo de f compuesta con g.
Operamos:
\((g \circ f)(x) = 4x^2 - 12x + 10 \) y \((f \circ g)(x) = 2x^2 - 1 \), luego \((g \circ f)(x) \neq (f \circ g)(x) \): la composición no es conmutativa.
Sean \(f(x) = x - 2 \) y \(g(x) = \sqrt{x} \)
Calcula \((g \circ f)(x) \) y su dominio.
Para resolver este ejercicio empezaremos por calcular la expresión de la composición.
A continuación aplicaremos la regla del dominio de la composición: \(x \) debe estar en el dominio de \(f \) y \(f(x) \) en el dominio de \(g \)
Para terminar resolveremos la condición resultante.
Expresión de la composición.
Dominio de la composición.
El dominio de \(f \) es todo \(\mathbb{R} \)
La condición \(f(x) \in \text{Dom}(g) \) exige que el radicando sea no negativo:
\((g \circ f)(x) = \sqrt{x - 2} \) con \(\text{Dom}(g \circ f) = [2, +\infty) \)
Sean \(f(x) = x + 1 \), \(g(x) = x^2 \) y \(h(x) = \sqrt{x} \)
Calcula \((h \circ (g \circ f))(x) \) y comprueba que coincide con \(((h \circ g) \circ f)(x) \)
Para resolver este ejercicio empezaremos por calcular la composición interior \((g \circ f)(x) \)
A continuación aplicaremos \(h \) al resultado.
Para terminar repetiremos el cálculo agrupando de la otra forma y compararemos.
Composición interior y aplicación de h.
Aplicamos \(h \):
Como el radicando es un cuadrado, siempre es no negativo y el dominio es todo \(\mathbb{R} \)
Agrupación alternativa.
Ambas agrupaciones dan \(|x + 1| \), lo que confirma la asociatividad de la composición.
Expresa la función \(h(x) = \ln(x^2 - 3x + 2) \) como composición de dos funciones sencillas y halla su dominio.
Para resolver este ejercicio empezaremos por identificar la función interior y la exterior cuya composición produce \(h \)
A continuación aplicaremos la regla del dominio de la composición.
Para terminar resolveremos la inecuación resultante.
Descomposición en funciones sencillas.
Tomamos la función interior \(f(x) = x^2 - 3x + 2 \) y la exterior \(g(t) = \ln t \)
Entonces:
Dominio de la composición.
El dominio de \(f \) es todo \(\mathbb{R} \)
La condición \(f(x) \in \text{Dom}(g) \) exige argumento del logaritmo estrictamente positivo:
Factorizamos:
La parábola abre hacia arriba y sus raíces son \(x = 1 \) y \(x = 2 \), luego es positiva fuera de ellas:
\(h = g \circ f \) con $$\text{Dom}(h) = (-\infty, 1) \cup (2, +\infty) $$
Sea \(f(x) = \frac{1}{x + 1} \)
Calcula \((f \circ f)(x) \) y su dominio.
Para resolver este ejercicio empezaremos por calcular la autocomposición sustituyendo \(f(x) \) dentro de sí misma y simplificando la fracción resultante.
A continuación aplicaremos la regla del dominio: \(x \) debe estar en el dominio de \(f \) y \(f(x) \) también.
Para terminar resolveremos ambas condiciones.
Cálculo de la autocomposición.
Sumamos en el denominador:
Invertimos la fracción:
Dominio de la autocomposición.
Primera condición, \(x \in \text{Dom}(f) \): \(x + 1 \neq 0 \implies x \neq -1 \)
Segunda condición, \(f(x) \in \text{Dom}(f) \): \(\frac{1}{x + 1} \neq -1 \), es decir \(x + 1 \neq -1 \implies x \neq -2 \)
\((f \circ f)(x) = \frac{x + 1}{x + 2} \) con $$\text{Dom}(f \circ f) = \mathbb{R} \setminus \{-2, -1\} $$