Función compuesta

$g\circ f$, es la aplicación resultante de la aplicación sucesiva de $f$ y de $g$. En el ejemplo, $(g\circ f)(a)=$ @

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\circ f:X\to Z$ expresa que $(g\circ f)(x)=g[f(x)]$ para todo $x$ perteneciente a $X$. Se lee "$g$ compuesta con $f$", "$g$ en $f$", "$f$ entonces $g$", "$g$ de $f$" ó "$g$ círculo $f$". $g\circ f$ significa que $x$ pertenece al dominio de $g$ y que $g(x)$ pertenece al de $f$.

La composición de funciones es un caso especial de la composición de relaciones, a veces también denotada por $\circ$. Como resultado, todas las propiedades de la composición de relaciones son ciertas para la composición de funciones, como la propiedad de asociabilidad.

La composición de funciones es diferente de la multiplicación de funciones (si es que se define), y tiene algunas propiedades bastante diferentes; en particular, la composición de funciones no es comutativa.

Definición

De manera formal, dadas dos funciones:

$\begin{array}{cccc}f:& X& ⟶& Y\\ & x& ⟼& y=f(x)\end{array}$

y

$\begin{array}{cccc}g:& Y& ⟶& Z\\ & y& ⟼& z=g(y)\end{array}$

donde la imagen de f está contenida en el dominio de g, se define la función composición de f con g (nótese que las funciones se nombran en el orden de aplicación a la variable, no en el orden sucesivo de representación):

$\begin{array}{cccc}(g\circ f):& X& ⟶& Z\\ & x& ⟼& z=g(f(x))\end{array}$

A todos los elementos de X se le asocia una elemento de Z según: $z=g(f(x))$.

$\begin{array}{ccccc}X& ⟶& Y& ⟶& Z\\ x& ⟼& y=f(x)& ⟼& z=g(f(x))\end{array}$

También se puede representar de manera gráfica usando la categoría de conjuntos, mediante un diagrama conmutativo:

Puede darse el caso en que la función compuesta resultante no se verifique de la forma esperada por la definición: dada la función

$f:X⟶Y$

y la función

$g:Y^{\prime }⟶Z$

. La función compuesta

$g\circ f:X^{\prime }⟶Z$

, donde

$X^{\prime }\subseteq X$

y

$Y^{\prime }\subseteq Y$

. El conjunto

$X^{\prime }$

puede estar definido de forma explícita como es en este ejemplo, o ser un elemento del conjunto potencia (conjunto de partes) de

$X$

.

El dominio de la composición $\mathrm{g}\circ \mathrm{f}$ ($g[f(x)]$) está formado por los elementos pertenecientes al dominio de $f$ tales que $f(x)$ pertenezca al dominio de $g$

Propiedades

• La composición de funciones es asociativa, es decir:

La composición de funciones es siempre asociativa-una propiedad heredada de la composición de relaciones. Es decir, si $f$, $g$, y $h$ son componibles, entonces $f\circ (g\circ h)=(f\circ g)\circ h$. Dado que los paréntesis no cambian el resultado, generalmente se omiten.

• La composición de funciones en general no es conmutativa, es decir:

Por ejemplo, dadas las funciones numéricas $f(x)=x+1$, y $g(x)=x^2$, entonces $(f\circ g)(x)=x^2+1$, en tanto que $(g\circ f)(x)=(x+1{)}^2=x^2+2x+1$.

• El elemento neutro y también asociado a la composición de funciones es la función identidad.

• Con las tres propiedades anteriores: asociativa, no conmutativa y elemento neutro, las funciones reales de variable real constituyen un monoide para la operación interna de composición de funciones.

• Además, la inversa de la composición de dos funciones es:

Plantilla:Ecuación En un sentido estricto, la composición $g\circ f$ sólo tiene sentido si el codominio de $f$ es igual al dominio de $g$; en un sentido más amplio, basta con que el primero sea un subconjunto impropio del segundo. Además, a menudo es conveniente restringir tácitamente el dominio de $f$, de modo que $f$ produzca sólo valores en el dominio de $g$. Por ejemplo, la composición $g\circ f$ de las funciones $f:ℝ\to (-\mathrm{\infty },9]$ definida por $f(x)=9-x^2$ y $g(x):[0,\mathrm{\infty })\to ℝ$ definida por $g(x)=\sqrt{x}$ puede definirse en el intervalo$[-3,3]$.

Las composiciones de dos funciones real, el valor absoluto y una función cúbica, en distintos órdenes, muestran una no conmutatividad de la composición.

Se dice que las funciones $g$ y $f$ son conmutativas entre sí, si $f\circ g=g\circ f$. La conmutatividad es una propiedad especial, alcanzada sólo por funciones particulares, y a menudo en circunstancias especiales. Por ejemplo, $x+3=|x|+3$ sólo cuando $x\ge 0$. La imagen muestra otro ejemplo.

La composición de funciones uno a uno (inyectivas) es siempre uno a uno. Del mismo modo, la composición de onto (sobreyectiva) funciones es siempre onto. De ello se deduce que la composición de dos biyecciones es también una biyección. La función inversa de una composición (se supone invertible) tiene la propiedad de que $(f\circ g{)}^{-1}=(g^{-1})\circ (f^{-1})$.

Las Derivadas de composiciones que involucran funciones diferenciables pueden hallarse usando la regla de la cadena. Las derivadas superiores de tales funciones vienen dadas por fórmula de Faà di Bruno.

Monoides de composición

Supongamos que tenemos dos (o más) funciones Plantilla:Math Plantilla:Math que tienen el mismo dominio y codominio; a menudo se llaman transformaciones'. Entonces se pueden formar cadenas de transformaciones compuestas entre sí, como Plantilla:Math. Tales cadenas tienen la estructura algebraica de un monoide, llamado un monoide de transformación o (mucho más raramente) un monoide de composición. En general, los monoides de transformación pueden tener una estructura notablemente complicada. Un ejemplo notable es la curva de De Rham. El conjunto de todas las funciones Plantilla:Math} se llama el semigrupo de transformación completa o semigrupo simétrico en Plantilla:Mvar. (En realidad se pueden definir dos semigrupos dependiendo de cómo se defina la operación de semigrupo como composición izquierda o derecha de funciones.).

La similitud que transforma el triángulo EFA en el triángulo ATB es la composición de una Homotecia Plantilla:Mvar y una rotación Plantilla:Mvar, de las cuales el centro común es S.  Por ejemplo, la imagen de A  bajo la rotación Plantilla:Math es U,  que puede escribirse  Plantilla:Nowrap Plantilla:Nowrap significa que el mapping Plantilla:Math transforma Plantilla:Nowrap Plantilla:Nowrap.

Si las transformaciones son biyectivas (y por tanto invertibles), entonces el conjunto de todas las combinaciones posibles de estas funciones forma un grupo de transformaciones; y se dice que el grupo es generado por estas funciones. Un resultado fundamental en la teoría de grupos, el teorema de Cayley, esencialmente dice que cualquier grupo es de hecho sólo un subgrupo de un grupo de permutación (hasta isomorfismo).

El conjunto de todas las funciones biyectivas Plantilla:Math} (llamadas permutaciones) forma un grupo con respecto a la composición de funciones. Este es el grupo simétrico, también llamado a veces grupo de composición.

En el semigrupo simétrico (de todas las transformaciones) también se encuentra una noción más débil y no única de inversa (llamada pseudoinversa) porque el semigrupo simétrico es un semigrupo regular.

Ejemplos

Ejemplo concreto de composición de dos funciones.

• Composición de funciones sobre un conjunto finito: Si Plantilla:Math, y Plantilla:Math, entonces Plantilla:Math, como se muestra en la figura.
• Composición de funciones sobre un conjunto infinito: Si Plantilla:Math (donde Plantilla:Math es el conjunto de todos los números reales) viene dada por Plantilla:Math y Plantilla:Math viene dada por Plantilla:Math, entonces:

(f ∘ g)(x) = f(g(x)) = f(x³) = 2x³ + 4, y

(g ∘ f)(x) = g(f(x)) = g(2x' + 4) = (2x + 4)³

• Si la altitud de un avión en el momento  Plantilla:Mvar es Plantilla:Math, y la presión atmosférica a la altitud Plantilla:Mvar es Plantilla:Math, entonces Plantilla:Math es la presión alrededor del avión en el tiempo Plantilla:Mvar.

Sean las funciones:

$f(x)=x^2$

$g(x)=\sin (x)$

La función compuesta por ende x de g y de f que expresamos:

$(g\circ f)(x)=g(f(x))=g((x^2))=\sin (x^2)$

La interpretación de (f ∘ g) aplicada a la variable x significa que primero tenemos que aplicar g a x, con lo que obtendríamos un valor de paso

$z=g(x)=\sin (x)$

y después aplicamos f a z para obtener

$y=f(z)=z^2={\sin }^2(x)$

Potencias funcionales

Plantilla:Main Si Plantilla:Math, entonces Plantilla:Math puede componerse consigo mismo; esto se denota a veces como Plantilla:Math. Es decir:

• (f ∘ f)(x) = f(f(x)) = f ²(x)
• (f ∘ f ∘ f)(x) = f(f(f(x))) = f ³(x)
• (f ∘ f ∘ f ∘ f)(x) = f(f(f(f(x)))) = f ⁴(x)

Más generalmente, para cualquier número natural Plantilla:Math, la Plantilla:Mvarésima potenciación funcional puede definirse inductivamente por Plantilla:Math, una notación introducida por Hans Heinrich BürmannPlantilla:CnPlantilla:RefnPlantilla:Refn y John Frederick William Herschel. La composición repetida de una función de este tipo consigo misma se denomina función iterada.

• Por convención, Plantilla:Math se define como el mapa identidad en el dominio de Plantilla:Math, Plantilla:Math.
• Si incluso Plantilla:Math y Plantilla:Math admite una función inversa Plantilla:Math, las potencias funcionales negativas Plantilla:Math se definen para Plantilla:Math como la opuesta potencia de la función inversa: Plantilla:Math.

Función bien definida

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

1. 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.
2. 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)).

Funciones de varias variables

Es posible la composición parcial de funciones de variables múltiples. La función resultante cuando algún argumento Plantilla:Math de la función Plantilla:Mvar es reemplazado por la función Plantilla:Mvar es denominada una composición de Plantilla:Mvar y Plantilla:Mvar en algunos contextos de ingeniería computacional, y se expresa como Plantilla:Math $$f{|}_{x_i=g}=f(x_1,\dots ,x_{i-1},g(x_1,x_2,\dots ,x_n),x_{i+1},\dots ,x_n).$$

Cuando Plantilla:Mvar es una constante simple Plantilla:Mvar, la composición se degenera en una evaluación (parcial), cuyo resultado también es denominado restricción o co-factor.

$$f{|}_{x_i=b}=f(x_1,\dots ,x_{i-1},b,x_{i+1},\dots ,x_n).$$

En general, la composición de funciones de múltiples variables puede comprender varias otras funciones como argumentos, como es el caso en la definición de función primitiva recursiva. Dado Plantilla:Mvar, y una función de Plantilla:Mvar-iables, y las funciones de Plantilla:Mvar Plantilla:Mvar variables Plantilla:Math, la composición de Plantilla:Mvar con Plantilla:Math, es la función de Plantilla:Mvar variables $$h(x_1,\dots ,x_m)=f(g_1(x_1,\dots ,x_m),\dots ,g_n(x_1,\dots ,x_m)).$$

A veces ello es denominado la compuesta generalizada o superposición de f con Plantilla:Math. La composición parcial en un solo argumento mencionada previamente puede ser representada a partir de este esquema más general asignando todas las funciones argumentos excepto una para ser funciones proyectivas convenientemente elegidas. En este caso Plantilla:Math puede ser aimilado a una función evaluada vector/tupla en este esquema generalizado, en cuyo caso esto es precisamente la definición estándar de composición de función.

Un conjunto de operaciones finitas en alguna base X es denominada un clon si contiene todas las proyecciones y es cerrado para una composición generalizada. Es de notar que un clon generalmente contiene operaciones de varias aridades. La noción de conmutación también encuentra una interesante generalización en el caso multivariante; se dice que una función f de aridad n conmuta con una función g de aridad m si f es un homomorfismo que preserva g, y viceversa, es decir: $$f(g(a_{11},\dots ,a_{1m}),\dots ,g(a_{n1},\dots ,a_{nm}))=g(f(a_{11},\dots ,a_{n1}),\dots ,f(a_{1m},\dots ,a_{nm})).$$

Una operación unaria siempre conmuta consigo misma, pero no es necesariamente el caso de una operación binaria (o de aridad superior). Una operación binaria (o de aridad superior) que conmuta consigo misma se llama medial o entrópica.

Monoides de composición

Supongamos que tenemos dos (o más) funciones Plantilla:Math Plantilla:Math que tienen el mismo dominio y codominio; a menudo se llaman transformaciones'. Entonces se pueden formar cadenas de transformaciones compuestas entre sí, como Plantilla:Math. Tales cadenas tienen la estructura algebraica de un monoide, llamado un monoide de transformación o (mucho más raramente) un monoide de composición. En general, los monoides de transformación pueden tener una estructura notablemente complicada. Un ejemplo notable es la curva de De Rham. El conjunto de todas las funciones Plantilla:Math} se llama el semigrupo de transformación completa o semigrupo simétrico en Plantilla:Mvar. (En realidad se pueden definir dos semigrupos dependiendo de cómo se defina la operación de semigrupo como composición izquierda o derecha de funciones.

Potencias funcionales

Plantilla:Main Si Plantilla:Math, entonces Plantilla:Math puede componerse consigo misma; esto se denota a veces como Plantilla:Math. Es decir:

• (f ∘ f)(x) = f(f(x)) = f ²(x)
• f ∘ f ∘ f)(x) = f(f(f(x))) = f ³(x)
• (f ∘ f ∘ f ∘ f)(x) = f(f(f(f(x)))) = f ⁴(x)

Bibliografía

• Plantilla:Cite book
• Plantilla:Cite book
• Plantilla:Cite book

Enlaces externos

• Plantilla:MathWorld
• "Composition of Functions" by Bruce Atwood, the Wolfram Demonstrations Project, 2007.