Composición de Funciones
La composición de funciones combina dos funciones aplicando una función a la salida de otra, escrita como (f o g)(x) = f(g(x)).
Formula
(f \circ g)(x) = f(g(x))
Definition
Componer dos funciones significa introducir una función dentro de otra: tomas la salida de la función interna y la usas como entrada de la función externa, así que $(f \circ g)(x) = f(g(x))$ aplica primero $g$, luego $f$. El dominio de $f \circ g$ es todo $x$ en el dominio de $g$ para el cual $g(x)$ está en el dominio de $f$, y la composición es asociativa pero en general no conmutativa. Categóricamente, la composición de funciones es la composición de morfismos: dados $f: B \to C$ y $g: A \to B$, la composición $f \circ g: A \to C$ se define por $(f \circ g)(a) = f(g(a))$, y como la composición es asociativa con la función identidad actuando como el morfismo identidad, las funciones con la composición forman una categoría (Set).
Example
Sea $g(x) = x + 1$ y $f(x) = 2x$: entonces $(f \circ g)(3)$ primero calcula $g(3) = 4$, luego $f(4) = 8$, así que $(f \circ g)(3) = 8$. Con $f(x) = x^2$ y $g(x) = x + 3$: $(f \circ g)(x) = (x + 3)^2 = x^2 + 6x + 9$, mientras que $(g \circ f)(x) = x^2 + 3$, confirmando que la composición no es conmutativa. La regla de la cadena del cálculo, $d/dx[f(g(x))] = f'(g(x)) \cdot g'(x)$, es la derivada de una composición, y su demostración depende directamente de la definición de composición y de la definición de límite de la derivada.
Key Insight
Piensa en la composición como una máquina de dos pasos: la primera máquina ($g$) procesa la entrada, luego entrega el resultado a la segunda máquina ($f$); el orden importa, ya que $f(g(x))$ generalmente es distinto de $g(f(x))$. Para encontrar el dominio de $f \circ g$, empieza con el dominio de $g$, luego excluye cualquier $x$ donde $g(x)$ caiga fuera del dominio de $f$, siempre trabajando de adentro hacia afuera. La regla de la cadena es la versión infinitesimal de la composición; en álgebra abstracta, los homomorfismos de grupo son componibles, y la composición de dos homomorfismos es a su vez un homomorfismo, preservando la estructura algebraica.