Composición de funciones
La composición
g ∘
f actúa sobre el objeto
x transformándolo según
f, y después transformando
f(
x) mediante
g.
Dadas dos funciones, bajo ciertas condiciones podemos usar los
valores de salida de una de ellas como valores de entrada para la otra.,
creando una nueva función.
Sean dos funciones f : A → B y g : C → D, tales que el recorrido de la primera esté contenido en el dominio de la segunda, Im(f) ⊆ C. Entonces puede formarse la composición de g con f, la función g ∘ f : A → D que a cada a en el dominio A le asocia el elemento (g ∘ f)(a) = g(f(a)).
|
Es decir, la composición
g ∘
f hace actuar primero la función
f sobre un elemento de
A, y luego
g sobre la imagen que se obtenga:

La condición Im(
f) ⊆
C asegura precisamente que este segundo paso se pueda llevar a cabo.
- Ejemplos
- La imagen de la función «inverso» g es R \ {0} —puesto que todo número real no nulo es el inverso de otro—, y por tanto está contenido en el dominio de la función cubo f, que es R. La composición f ∘ g: R \ {0} → R actúa entonces como f(g(x)) = f(1/x) = (1/x)3 = 1/x3.
- Dadas las funciones reales h1: R → R y h2: R → R dadas por h1(x) = x2 y h2(x) = x + 1, puede tomarse la composición en ambos órdenes, h1 ∘ h2 y h2 ∘ h1. Sin embargo, son funciones distintas, ya que:
- (h1 ∘ h2)(x) = h1(h2(x)) = h1(x + 1) = (x + 1)2 = x2 + 2x + 1, y
- (h2 ∘ h1)(x) = h2(h1(x)) = h2(x2) = x2 + 1
- La función γ que clasifica los mamíferos en géneros puede componerse con la función ω: G → Or que clasifica los géneros de mamíferos en órdenes —que forman el conjunto Or—. La función ω ∘ γ asigna a cada mamífero su orden:
- (ω ∘ γ)(Humano) = ω(Homo) = Primate, (ω ∘ γ)(Guanaco) = ω(Lama) = Artiodactyla