Diferencia entre revisiones de «Función compuesta»

← Ir a diferencia anterior Ir a siguiente diferencia →

Contenido eliminado Contenido añadido

En renglón

Revisión del 15:40 21 abr 2023

g ∘ f, es la aplicación resultante de la aplicación sucesiva de f y de g. En el ejemplo, (g ∘ 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 ∘ f: X → Z expresa que (g ∘ f)(x) = g[f(x)] para todo x perteneciente a X. Se lee "f compuesta con g", "f en g", "f entonces g", "g de f" o "g círculo f". F°G= F[g(x)] queriendo decir que x pertenece a dominio de g y g(x) pertenece a 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.^[1]

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.^[2]

Definición

De manera formal, dadas dos funciones:

{\begin{array}{rccl}f:&X&\longrightarrow &Y\\&x&\longmapsto &y=f(x)\end{array}}

y

{\begin{array}{rccl}g:&Y&\longrightarrow &Z\\&y&\longmapsto &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}{rccl}(g\circ f):&X&\longrightarrow &Z\\&x&\longmapsto &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}{rclcl}X&\longrightarrow &Y&\longrightarrow &Z\\x&\longmapsto &y=f(x)&\longmapsto &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:

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.^[1] Es decir, si $f$ , $g$ , y $h$ son componibles, entonces $f \circ (g \circ h) = (f \circ g) \circ h$ . ^[3] Dado que los paréntesis no cambian el resultado, generalmente se omiten.

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

$(g\circ f)\neq (f\circ g)$

Por ejemplo, dadas las funciones numéricas f(x)=x+1 y g(x)=x², entonces f(g(x))=x²+1, en tanto que g(f(x))=(x+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:

$(g\circ f)^{-1}=f^{-1}\circ g^{-1}$

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.^{[nb 1]} 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 : R \to (-\infty,+9]$ definidas por $f (x) = 9 - x 2$ } y $g : [0,+\infty)] \to R$ definidas por $g(x)={\sqrt {x}}$ pueden definirse en el intervalo $[-3,+3]$ .

Se dice que las funciones $g$ y $f$ son conmutativas entre sí si $g \circ f = f \circ g$ . 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 ≥ 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$ .^[4]

Las Derivadass 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.^[3]

Monoides de composición

Supongamos que tenemos dos (o más) funciones $f : X \to X,$ $g : X \to X$ que tienen el mismo dominio y codominio; a menudo se llaman transformaciones'. Entonces se pueden formar cadenas de transformaciones compuestas entre sí, como $f \circ f \circ g \circ f$ . 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 $f : X \to X$ } se llama el semigrupo de transformación completa^[5] o semigrupo simétrico^[6] en $X$ . (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.^[7]).

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).^[8]

El conjunto de todas las funciones biyectivas $f : X \to X$ } (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.^[9]

Ejemplos

Composición de funciones sobre un conjunto finito: Si $f = {(1, 1), (2, 3), (3, 1), (4, 2)}$ , y $g = {(1, 2), (2, 3), (3, 1), (4, 2)}$ , entonces $g \circ f = {(1, 2), (2, 1), (3, 2), (4, 3)}$ , como se muestra en la figura.
Composición de funciones sobre un conjunto infinito: Si $f : R \to R$ (donde $R$ es el conjunto de todos los números reales) viene dada por $f (x) = 2 x + 4$ y $g : R \to R$ viene dada por $g (x) = x 3$ , 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 $t$ es $a (t)$ , y la presión atmosférica a la altitud $x$ es $p (x)$ , entonces $(p \circ a)(t)$ es la presión alrededor del avión en el tiempo $t$ .

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

Artículo principal: Función iterada

Si $Y \subseteq X$ , entonces $f : X \to Y$ puede componerse consigo mismo; esto se denota a veces como $f 2$ . 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 $n \geq 2$ , la $n$ ésima potenciación funcional puede definirse inductivamente por $f n = f \circ f n -1 = f n -1 \circ f$ , una notación introducida por Hans Heinrich Bürmann^{[cita requerida]}^[10]^[11] y John Frederick William Herschel. ^[12]^[10]^[13]^[11] La composición repetida de una función de este tipo consigo misma se denomina función iterada.

Por convención, $f 0$ se define como el mapa identidad en el dominio de $f$ , $id X$ .
Si incluso $Y = X$ y $f : X \to X$ admite una función inversa $f -1$ , las potencias funcionales negativas $f - n$ se definen para $n > 0$ como la opuesta potencia de la función inversa: $f - n = (f -1) n$ .^[12]^[10]^[11]

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:

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.
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 $x i$ de la función $f$ es reemplazado por la función $g$ es denominada una composición de $f$ y $g$ en algunos contextos de ingeniería computacional, y se expresa como $f | x i = g$

f|_{x_{i}=g}=f(x_{1},\ldots ,x_{i-1},g(x_{1},x_{2},\ldots ,x_{n}),x_{i+1},\ldots ,x_{n}).

Cuando $g$ es una constante simple $b$ , la composición se degenera en una evaluación (parcial), cuyo resultado también es denominado restricción o co-factor.^[14]

f|_{x_{i}=b}=f(x_{1},\ldots ,x_{i-1},b,x_{i+1},\ldots ,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 $f$ , y una función de $n$ -iables, y las funciones de $n$ $m$ variables $g 1, ..., g n$ , la composición de $f$ con $g 1, ..., g n$ , es la función de $m$ variables

h(x_{1},\ldots ,x_{m})=f(g_{1}(x_{1},\ldots ,x_{m}),\ldots ,g_{n}(x_{1},\ldots ,x_{m})).

A veces ello es denominado la compuesta generalizada o superposición de f con $g 1, ..., g n$ .^[15] 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 $g 1, ..., g n$ 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.^[16]

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.^[15] 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:^[15]

f(g(a_{11},\ldots ,a_{1m}),\ldots ,g(a_{n1},\ldots ,a_{nm}))=g(f(a_{11},\ldots ,a_{n1}),\ldots ,f(a_{1m},\ldots ,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.^[15]

Monoides de composición

Supongamos que tenemos dos (o más) funciones $f : X \to X,$ $g : X \to X$ que tienen el mismo dominio y codominio; a menudo se llaman transformaciones'. Entonces se pueden formar cadenas de transformaciones compuestas entre sí, como $f \circ f \circ g \circ f$ . 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 $f : X \to X$ } se llama el semigrupo de transformación completa^[5] o semigrupo simétrico^[6] en $X$ . (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.^[7]

Potencias funcionales

Artículo principal: Función iterada

Si $Y \subseteq X$ , entonces $f : X \to Y$ puede componerse consigo misma; esto se denota a veces como $f 2$ . Es decir:

Referencias

↑ ^a ^b Velleman, Daniel J. (2006). How to Prove It: A Structured Approach. Cambridge University Press. p. 232. ISBN 978-1-139-45097-3.
↑ «3.4: Composición de funciones». Mathematics LibreTexts (en inglés). 16 de enero de 2020. Consultado el 28 de agosto de 2020.
↑ ^a ^b Weisstein, Eric W. «Composition». mathworld.wolfram.com. Consultado el 28 de agosto de 2020.
↑ Rodgers, Nancy (2000). Learning to Reason: An Introduction to Logic, Sets, and Relations. John Wiley & Sons. pp. 359-362. ISBN 978-0-471-37122-9.
↑ ^a ^b Hollings, Christopher (2014). Mathematics across the Iron Curtain: A History of the Algebraic Theory of Semigroups. American Mathematical Society. p. 334. ISBN 978-1-4704-1493-1.
↑ ^a ^b Grillet, Pierre A. (1995). Semigroups: An Introduction to the Structure Theory. CRC Press. p. 2. ISBN 978-0-8247-9662-4.
↑ ^a ^b Dömösi, Pál; Nehaniv, Chrystopher L. (2005). Algebraic Theory of Automata Networks: An introduction. SIAM. p. 8. ISBN 978-0-89871-569-9.
↑ Carter, Nathan (9 de abril de 2009). Visual Group Theory. MAA. p. 95. ISBN 978-0-88385-757-1.
↑ Ganyushkin, Olexandr; Mazorchuk, Volodymyr (2008). Classical Finite Transformation Semigroups: An Introduction. Springer Science & Business Media. p. 24. ISBN 978-1-84800-281-4.
↑ ^a ^b ^c Herschel, John Frederick William (1820). «Part III. Section I. Examples of the Direct Method of Differences». A Collection of Examples of the Applications of the Calculus of Finite Differences. Cambridge, UK: Printed by J. Smith, sold by J. Deighton & sons. pp. 1–13 [5–6]. Archivado desde el original|urlarchivo= requiere |url= (ayuda) el 4 de agosto de 2020. Consultado el 4 de agosto de 2020. Parámetro desconocido |url-status= ignorado (ayuda) [1] (NB. Inhere, Herschel refers to his Plantilla:Citeref and mentions Hans Heinrich Bürmann's older work.)
↑ ^a ^b ^c Cajori, Florian (1952). «§472. The power of a logarithm / §473. Iterated logarithms / §533. John Herschel's notation for inverse functions / §535. Persistence of rival notations for inverse functions / §537. Powers of trigonometric functions». A History of Mathematical Notations 2 (3rd corrected printing of 1929 issue, 2nd edición). Chicago, USA: Open court publishing company. pp. 108, 176-179, 336, 346. ISBN 978-1-60206-714-1. Consultado el 18 de enero de 2016. «[…] §473. Iterated logarithms […] We note here the symbolism used by Pringsheim and Molk in their joint Encyclopédie article: "²log_b a = log_b (log_b a), …, ^k+1log_b a = log_b (^klog_b a)."Plantilla:Citeref […] §533. John Herschel's notation for inverse functions, sin⁻¹ x, tan⁻¹ x, etc., was published by him in the Philosophical Transactions of London, for the year 1813. He says (Plantilla:Citeref): "This notation cos.⁻¹ e must not be understood to signify 1/cos. e, but what is usually written thus, arc (cos.=e)." He admits that some authors use cos.^m A for (cos. A)^m, but he justifies his own notation by pointing out that since d² x, Δ³ x, Σ² x mean dd x, ΔΔΔ x, ΣΣ x, we ought to write sin.² x for sin. sin. x, log.³ x for log. log. log. x. Just as we write d⁻ⁿ V=∫ⁿ V, we may write similarly sin.⁻¹ x=arc (sin.=x), log.⁻¹ x.=c^x. Some years later Herschel explained that in 1813 he used fⁿ(x), f⁻ⁿ(x), sin.⁻¹ x, etc., "as he then supposed for the first time. The work of a German Analyst, Burmann, has, however, within these few months come to his knowledge, in which the same is explained at a considerably earlier date. He[Burmann], however, does not seem to have noticed the convenience of applying this idea to the inverse functions tan⁻¹, etc., nor does he appear at all aware of the inverse calculus of functions to which it gives rise." Herschel adds, "The symmetry of this notation and above all the new and most extensive views it opens of the nature of analytical operations seem to authorize its universal adoption."Plantilla:Citeref […] §535. Persistence of rival notations for inverse function.— […] The use of Herschel's notation underwent a slight change in Benjamin Peirce's books, to remove the chief objection to them; Peirce wrote: "cos^[−1] x," "log^[−1] x."Plantilla:Citeref […] §537. Powers of trigonometric functions.—Three principal notations have been used to denote, say, the square of sin x, namely, (sin x)², sin x², sin² x. The prevailing notation at present is sin² x, though the first is least likely to be misinterpreted. In the case of sin² x two interpretations suggest themselves; first, sin x · sin x; second,Plantilla:Citeref sin (sin x). As functions of the last type do not ordinarily present themselves, the danger of misinterpretation is very much less than in case of log² x, where log x · log x and log (log x) are of frequent occurrence in analysis. […] The notation sinⁿ x for (sin x)ⁿ has been widely used and is now the prevailing one. […]». Parámetro desconocido |orig-year= ignorado (ayuda) (xviii+367+1 pages including 1 addenda page) (NB. ISBN and link for reprint of 2nd edition by Cosimo, Inc., New York, USA, 2013.)
↑ ^a ^b Error en la cita: Etiqueta <ref> no válida; no se ha definido el contenido de las referencias llamadas Herschel_1813
↑ Error en la cita: Etiqueta <ref> no válida; no se ha definido el contenido de las referencias llamadas Peano_1903
↑ Bryant, R. E. (August 1986). «Logic Minimization Algorithms for VLSI Synthesis». IEEE Transactions on Computers. C-35 (8): 677-691. S2CID 10385726. doi:10.1109/tc.1986.1676819.
↑ ^a ^b ^c ^d Bergman, Clifford (2011). Universal Algebra: Fundamentals and Selected Topics. CRC Press. pp. 79–80, 90–91. ISBN 978-1-4398-5129-6.
↑ Tourlakis, George (2012). Theory of Computation. John Wiley & Sons. p. 100. ISBN 978-1-118-31533-0.

Enlaces externos

Weisstein, Eric W. «Composition». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.
"Composition of Functions" by Bruce Atwood, the Wolfram Demonstrations Project, 2007.

Datos: Q244761
Multimedia: Composition (mappings) / Q244761

Error en la cita: Existen etiquetas <ref> para un grupo llamado «nb», pero no se encontró la etiqueta <references group="nb"/> correspondiente.

[Velleman_2006-1] Velleman, Daniel J. (2006). How to Prove It: A Structured Approach. Cambridge University Press. p. 232. ISBN 978-1-139-45097-3.

[2] «3.4: Composición de funciones». Mathematics LibreTexts (en inglés). 16 de enero de 2020. Consultado el 28 de agosto de 2020.

[:0-3] Weisstein, Eric W. «Composition». mathworld.wolfram.com. Consultado el 28 de agosto de 2020.

[Rodgers_2000-5] Rodgers, Nancy (2000). Learning to Reason: An Introduction to Logic, Sets, and Relations. John Wiley & Sons. pp. 359-362. ISBN 978-0-471-37122-9.

[Hollings_2014-6] Hollings, Christopher (2014). Mathematics across the Iron Curtain: A History of the Algebraic Theory of Semigroups. American Mathematical Society. p. 334. ISBN 978-1-4704-1493-1.

[Grillet_1995-7] Grillet, Pierre A. (1995). Semigroups: An Introduction to the Structure Theory. CRC Press. p. 2. ISBN 978-0-8247-9662-4.

[Dömösi-Nehaniv_2005-8] Dömösi, Pál; Nehaniv, Chrystopher L. (2005). Algebraic Theory of Automata Networks: An introduction. SIAM. p. 8. ISBN 978-0-89871-569-9.

[Carter_2009-9] Carter, Nathan (9 de abril de 2009). Visual Group Theory. MAA. p. 95. ISBN 978-0-88385-757-1.

[Ganyushkin-Mazorchuk_2008-10] Ganyushkin, Olexandr; Mazorchuk, Volodymyr (2008). Classical Finite Transformation Semigroups: An Introduction. Springer Science & Business Media. p. 24. ISBN 978-1-84800-281-4.

[Herschel_1820-11] Herschel, John Frederick William (1820). «Part III. Section I. Examples of the Direct Method of Differences». A Collection of Examples of the Applications of the Calculus of Finite Differences. Cambridge, UK: Printed by J. Smith, sold by J. Deighton & sons. pp. 1–13 [5–6]. Archivado desde el original|urlarchivo= requiere |url= (ayuda) el 4 de agosto de 2020. Consultado el 4 de agosto de 2020. Parámetro desconocido |url-status= ignorado (ayuda) [1] (NB. Inhere, Herschel refers to his Plantilla:Citeref and mentions Hans Heinrich Bürmann's older work.)

[Cajori_1929-12] Cajori, Florian (1952). «§472. The power of a logarithm / §473. Iterated logarithms / §533. John Herschel's notation for inverse functions / §535. Persistence of rival notations for inverse functions / §537. Powers of trigonometric functions». A History of Mathematical Notations 2 (3rd corrected printing of 1929 issue, 2nd edición). Chicago, USA: Open court publishing company. pp. 108, 176-179, 336, 346. ISBN 978-1-60206-714-1. Consultado el 18 de enero de 2016. «[…] §473. Iterated logarithms […] We note here the symbolism used by Pringsheim and Molk in their joint Encyclopédie article: "²log_b a = log_b (log_b a), …, ^k+1log_b a = log_b (^klog_b a)."Plantilla:Citeref […] §533. John Herschel's notation for inverse functions, sin⁻¹ x, tan⁻¹ x, etc., was published by him in the Philosophical Transactions of London, for the year 1813. He says (Plantilla:Citeref): "This notation cos.⁻¹ e must not be understood to signify 1/cos. e, but what is usually written thus, arc (cos.=e)." He admits that some authors use cos.^m A for (cos. A)^m, but he justifies his own notation by pointing out that since d² x, Δ³ x, Σ² x mean dd x, ΔΔΔ x, ΣΣ x, we ought to write sin.² x for sin. sin. x, log.³ x for log. log. log. x. Just as we write d⁻ⁿ V=∫ⁿ V, we may write similarly sin.⁻¹ x=arc (sin.=x), log.⁻¹ x.=c^x. Some years later Herschel explained that in 1813 he used fⁿ(x), f⁻ⁿ(x), sin.⁻¹ x, etc., "as he then supposed for the first time. The work of a German Analyst, Burmann, has, however, within these few months come to his knowledge, in which the same is explained at a considerably earlier date. He[Burmann], however, does not seem to have noticed the convenience of applying this idea to the inverse functions tan⁻¹, etc., nor does he appear at all aware of the inverse calculus of functions to which it gives rise." Herschel adds, "The symmetry of this notation and above all the new and most extensive views it opens of the nature of analytical operations seem to authorize its universal adoption."Plantilla:Citeref […] §535. Persistence of rival notations for inverse function.— […] The use of Herschel's notation underwent a slight change in Benjamin Peirce's books, to remove the chief objection to them; Peirce wrote: "cos^[−1] x," "log^[−1] x."Plantilla:Citeref […] §537. Powers of trigonometric functions.—Three principal notations have been used to denote, say, the square of sin x, namely, (sin x)², sin x², sin² x. The prevailing notation at present is sin² x, though the first is least likely to be misinterpreted. In the case of sin² x two interpretations suggest themselves; first, sin x · sin x; second,Plantilla:Citeref sin (sin x). As functions of the last type do not ordinarily present themselves, the danger of misinterpretation is very much less than in case of log² x, where log x · log x and log (log x) are of frequent occurrence in analysis. […] The notation sinⁿ x for (sin x)ⁿ has been widely used and is now the prevailing one. […]». Parámetro desconocido |orig-year= ignorado (ayuda) (xviii+367+1 pages including 1 addenda page) (NB. ISBN and link for reprint of 2nd edition by Cosimo, Inc., New York, USA, 2013.)

[Herschel_1813-13] Error en la cita: Etiqueta <ref> no válida; no se ha definido el contenido de las referencias llamadas Herschel_1813

[Peano_1903-14] Error en la cita: Etiqueta <ref> no válida; no se ha definido el contenido de las referencias llamadas Peano_1903

[Bryant_1986-15] Bryant, R. E. (August 1986). «Logic Minimization Algorithms for VLSI Synthesis». IEEE Transactions on Computers. C-35 (8): 677-691. S2CID 10385726. doi:10.1109/tc.1986.1676819.

[Bergman_2011-16] Bergman, Clifford (2011). Universal Algebra: Fundamentals and Selected Topics. CRC Press. pp. 79–80, 90–91. ISBN 978-1-4398-5129-6.

[Tourlakis_2012-17] Tourlakis, George (2012). Theory of Computation. John Wiley & Sons. p. 100. ISBN 978-1-118-31533-0.

[1]

[2]

[3]

[nb 1]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

@@ Línea 46: / Línea 46: @@
 == 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]]. <ref name="Velleman_2006"/> Es decir, si {{mvar|f}}, {{mvar|g}}, y {{mvar|h}} son componibles, entonces {{math|1=''f'' ∘ (''g'' ∘ ''h'') = (''f'' ∘ ''g'') ∘ ''h''}}. <ref name=":0">{{Cite web|last=Weisstein|first=Eric W.|title=Composition|url=https://mathworld.wolfram.com/Composition.html|access-date=2020-08-28|website=mathworld.wolfram.com|language=}}</ref> Dado que los paréntesis no cambian el resultado, generalmente se omiten.
+La composición de funciones es siempre [[asociativa]]-una propiedad heredada de la [[composición de relaciones]].<ref name="Velleman_2006">{{cite book |author-first=Daniel J. |author-last=Velleman |title=How to Prove It: A Structured Approach |url=https://books.google.com/books?id=sXt-ROLLNHcC&pg=PA232 |date=2006 |publisher=[[Cambridge University Press]] |isbn=978-1-139-45097-3 |page=232}}</ref> Es decir, si {{mvar|f}}, {{mvar|g}}, y {{mvar|h}} son componibles, entonces {{math|1=''f'' ∘ (''g'' ∘ ''h'') = (''f'' ∘ ''g'') ∘ ''h''}}. <ref name=":0">{{Cite web|last=Weisstein|first=Eric W.|title=Composition|url=https://mathworld.wolfram.com/Composition.html|access-date=2020-08-28|website=mathworld.wolfram.com|language=}}</ref> Dado que los paréntesis no cambian el resultado, generalmente se omiten.
 * La composición de funciones en general ''no es conmutativa'', es decir:
 {{ecuación|
@@ Línea 61: / Línea 61: @@
 <math> (g \circ f)^{-1} = f^{-1} \circ g^{-1}</math>
 ||left}}
-En un sentido estricto, la composición {{math|1=''g'' ∘ ''f''}} sólo tiene sentido si el codominio de {{mvar|f}} es igual al dominio de {{mvar|g}}; en un sentido más amplio, basta con que el primero sea un [[subconjunto]] impropio del segundo.<ref group="nb" name="NB_Strict"/>>
+En un sentido estricto, la composición {{math|1=''g'' ∘ ''f''}} sólo tiene sentido si el codominio de {{mvar|f}} es igual al dominio de {{mvar|g}}; en un sentido más amplio, basta con que el primero sea un [[subconjunto]] impropio del segundo.<ref group="nb" name="NB_Strict"/>
 Además, a menudo es conveniente restringir tácitamente el dominio de {{mvar|f}}, de modo que {{mvar|f}} produzca sólo valores en el dominio de {{mvar|g}}. Por ejemplo, la composición {{math|1=''g'' ∘ ''f''}}} de las funciones {{math|''f'' : [[número real|'''R''']] → [[intervalo (matemáticas)#Puntos extremos infinitos|(-∞,+9] ]]}} definidas por {{math|1=''f''(''x'') = 9 - ''x''<sup>2</sup>}}} y {{math|''g'' : [[intervalo (matemáticas)#Puntos extremos infinitos|[0,+∞)]]] → '''R'''}} definidas por <math>g(x) = \sqrt x</math> pueden definirse en el [[intervalo (matemáticas)|intervalo]] {{math|[-3,+3]}}.
 [[Image:Absolute value composition.svg|thumb|upright=1|Las composiciones de dos funciones [[Número real|real]], el [[valor absoluto]] y una [[función cúbica]], en distintos órdenes, muestran una no conmutatividad de la composición.]]
@@ Línea 67: / Línea 67: @@
 Se dice que las funciones {{mvar|g}} y {{mvar|f}} son [[conmutativas|conmutativas]] entre sí si {{math|1=''g'' ∘ ''f'' = ''f'' ∘ ''g''}}. La conmutatividad es una propiedad especial, alcanzada sólo por funciones particulares, y a menudo en circunstancias especiales. Por ejemplo, {{math|1={abs|''x''}} + 3 = |''x''| + 3 sólo cuando ''x'' ≥ 0. La imagen muestra otro ejemplo.
-La composición de funciones [[Función uno a uno|uno a uno]] (inyectivas) es siempre uno a uno. Del mismo modo, la composición de [[Función sobreyectiva|onto]] (sobreyectiva) funciones es siempre ''onto''. De ello se deduce que la composición de dos [[biyección| biyecciones]] es también una biyección. La [[función inversa]] de una composición (se supone invertible) tiene la propiedad de que {{math|1=(''f'' ∘ ''g'')<sup>-1</sup> = ''g''<sup>-1</sup>∘ ''f''<sup>-1</sup>}}.<ref name="Rodgers_2000"/>
+La composición de funciones [[Función uno a uno|uno a uno]] (inyectivas) es siempre uno a uno. Del mismo modo, la composición de [[Función sobreyectiva|onto]] (sobreyectiva) funciones es siempre ''onto''. De ello se deduce que la composición de dos [[biyección| biyecciones]] es también una biyección. La [[función inversa]] de una composición (se supone invertible) tiene la propiedad de que {{math|1=(''f'' ∘ ''g'')<sup>-1</sup> = ''g''<sup>-1</sup>∘ ''f''<sup>-1</sup>}}.<ref name="Rodgers_2000">{{cite book |author-first=Nancy |author-last=Rodgers |title=Learning to Reason: An Introduction to Logic, Sets, and Relations |date=2000 |publisher=[[John Wiley & Sons]] |isbn=978-0-471-37122-9 |pages=359–362 |url=https://books.google.com/books?id=NuN2Iyqzqp4C&q=composition}}</ref>
 Las [[Derivadas]]s de composiciones que involucran funciones diferenciables pueden hallarse usando la [[regla de la cadena]]. Las [[Derivada| derivadas superiores]] de tales funciones vienen dadas por [[fórmula de Faà di Bruno]].<ref name=":0" />
 ==Monoides de composición==
-Supongamos que tenemos dos (o más) funciones {{math|''f'': ''X'' → ''X'',}} {{math|''g'': ''X'' → ''X''}} que tienen el mismo dominio y codominio; a menudo se llaman ''[[Transformación (función)|transformaciones]]'''. Entonces se pueden formar cadenas de transformaciones compuestas entre sí, como {{math|''f'' ∘ ''f'' ∘ ''g'' ∘ ''f''}}. 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 {{math|''f'': ''X'' → ''X''}}} se llama el [[semigrupo de transformación completa]]<ref name="Hollings_2014"/> o ''semigrupo simétrico''<ref name="Grillet_1995"/> en&nbsp;{{mvar|X}}. (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.<ref name="Dömösi-Nehaniv_2005"/>).
+Supongamos que tenemos dos (o más) funciones {{math|''f'': ''X'' → ''X'',}} {{math|''g'': ''X'' → ''X''}} que tienen el mismo dominio y codominio; a menudo se llaman ''[[Transformación (función)|transformaciones]]'''. Entonces se pueden formar cadenas de transformaciones compuestas entre sí, como {{math|''f'' ∘ ''f'' ∘ ''g'' ∘ ''f''}}. 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 {{math|''f'': ''X'' → ''X''}}} se llama el [[semigrupo de transformación completa]]<ref name="Hollings_2014"/> o ''semigrupo simétrico''<ref name="Grillet_1995">{{cite book |author-first=Pierre A. |author-last=Grillet |title=Semigroups: An Introduction to the Structure Theory |url=https://books.google.com/books?id=yM544W1N2UUC&pg=PA2 |date=1995 |publisher=[[CRC Press]] |isbn=978-0-8247-9662-4 |page=2}}</ref> en&nbsp;{{mvar|X}}. (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.<ref name="Dömösi-Nehaniv_2005">{{cite book |author-first1=Pál |author-last1=Dömösi |author-first2=Chrystopher L. |author-last2=Nehaniv |title=Algebraic Theory of Automata Networks: An introduction |url=https://books.google.com/books?id=W0i5nfQLOGIC&pg=PA8 |date=2005 |publisher=SIAM |isbn=978-0-89871-569-9 |pages=8}}</ref>).
 [[File:Academ Example of similarity with ratio square root of 2.svg|thumb|upright=1.2|La [[Semejanza (geometría)|similitud]] que transforma el triángulo ''EFA'' en el triángulo ''ATB'' es la composición de una [[Homotecia|homotecia]] {{mvar|H}} y una [[Rotación (matemáticas)|rotación]]&nbsp;{{mvar|R}}, de&nbsp;las cuales el centro común&nbsp;es&nbsp;''S.&nbsp;'' Por ejemplo, [[Imagen (matemáticas)|la&nbsp;imagen]] de&nbsp;''A&nbsp;'' bajo la rotación&nbsp;{{math|''R''}} es&nbsp;''U'',&nbsp; que puede escribirse&nbsp; {{nowrap|1={{math|''R ''}}(''A'') = ''U.&nbsp;''}} {{nowrap|1=Y&nbsp; {{mvar|H}}(''U'') = ''B''}} significa que el [[mapa (matemáticas)|mapping]]&nbsp;{{math|''H''}} transforma {{Nowrap|''U''&nbsp; en ''B.&nbsp;''}} {{nowrap|1=Entonces&nbsp; {{math|''H''(''R''' }}(''A'')) = {{math|(''H ∘ R '')}}(''A'') = ''B''}}.]]
-Si las transformaciones son [[Función biyectiva| 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 [[Conjunto generador de un grupo|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]]).<ref name="Carter_2009"/>
+Si las transformaciones son [[Función biyectiva| 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 [[Conjunto generador de un grupo|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]]).<ref name="Carter_2009">{{cite book |author-first=Nathan |author-last=Carter |title=Visual Group Theory |url=https://books.google.com/books?id=T_o0CnMZecMC&pg=PA95 |date=2009-04-09 |publisher=MAA |isbn=978-0-88385-757-1 |page=95}}</ref>
 El conjunto de todas las funciones biyectivas {{math|''f'': ''X'' → ''X''}}} (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]].<ref name="Ganyushkin-Mazorchuk_2008"/>
+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]].<ref name="Ganyushkin-Mazorchuk_2008">{{cite book |author-first1=Olexandr |author-last1=Ganyushkin |author-first2=Volodymyr |author-last2=Mazorchuk |title=Classical Finite Transformation Semigroups: An Introduction |url=https://books.google.com/books?id=LC3jxfGEcpYC&pg=PA24 |date=2008 |publisher=[[Springer Science & Business Media]] |isbn=978-1-84800-281-4 |page=24}}</ref>
 == Ejemplos ==
@@ Línea 111: / Línea 111: @@
 * (''f'' ∘ ''f'' ∘ ''f'' ∘ ''f'')(x) = ''f''(''f''(''f''(''f''(''x'')))) = ''f''&thinsp;<sup>4</sup>(''x'')
+Más generalmente, para cualquier [[número natural]] {{math|''n'' ≥ 2}}, la {{mvar|n}}ésima ''' [[Potencia de un conjunto| potenciación]] funcional''' puede definirse inductivamente por {{math|1=''f''&thinsp;<sup>''n''</sup> = ''f'' ∘ ''f''&thinsp;<sup>''n''-1</sup> = ''f''&thinsp; <sup>''n''-1</sup> ∘ ''f''}}, una notación introducida por [[Hans Heinrich Bürmann]]{{cn|fecha=Agosto 2020|razón=El hecho es indiscutible, pero para completar la historia, encontremos el trabajo original de Bürmann sobre esto y añadámoslo aquí como cita. Debe datarse significativamente antes de 1813 (según Herschel en 1820 y Cajori en 1929.)}}<ref name="Herschel_1820">{{cite book |author-first=John Frederick William |author-last=Herschel |author-link=John Frederick William Herschel |title=A Collection of Examples of the Applications of the Calculus of Finite Differences |chapter=Part III. Section I. Examples of the Direct Method of Differences |location=Cambridge, UK |publisher=Printed by J. Smith, sold by J. Deighton & sons |date=1820 |pages=1–13 [5–6] |chapter-url=https://books.google.com/books?id=PWcSAAAAIAAJ&pg=PA5 |access-date=2020-08-04 |url-status=live |archive-url=https://web.archive.org/web/20200804031020/https://books.google.de/books?hl=de&id=PWcSAAAAIAAJ&jtp=5 |archive-date=2020-08-04}} [https://archive.org/details/acollectionexam00lacrgoog] (NB. Inhere, Herschel refers to his {{citeref|Herschel|1813|1813 work|style=plain}} and mentions [[Hans Heinrich Bürmann]]'s older work.)</ref><ref name="Cajori_1929">{{cite book |author-first=Florian |author-last=Cajori |author-link=Florian Cajori |title=A History of Mathematical Notations |chapter=§472. The power of a logarithm / §473. Iterated logarithms / §533. John Herschel's notation for inverse functions / §535. Persistence of rival notations for inverse functions / §537. Powers of trigonometric functions |volume=2 |orig-year=March 1929 |publisher=[[Open court publishing company]] |location=Chicago, USA |date=1952 |edition=3rd corrected printing of 1929 issue, 2nd |pages=108, 176–179, 336, 346 |isbn=978-1-60206-714-1 |url=https://books.google.com/books?id=bT5suOONXlgC |access-date=2016-01-18 |quote=[…] §473. ''Iterated logarithms'' […] We note here the symbolism used by [[Alfred Pringsheim|Pringsheim]] and [[Jules Molk|Molk]] in their joint ''Encyclopédie'' article: "<sup>2</sup>log<sub>''b''</sub>&thinsp;''a'' = log<sub>''b''</sub> (log<sub>''b''</sub>&thinsp;''a''), …, <sup>''k''+1</sup>log<sub>''b''</sub>&thinsp;''a'' = log<sub>''b''</sub> (<sup>''k''</sup>log<sub>''b''</sub>&thinsp;''a'')."{{citeref|Pringsheim|Molk|1907|a<!-- [10] -->}} […] §533. ''[[John Frederick William Herschel|John Herschel]]'s notation for inverse functions,'' sin<sup>&minus;1</sup>&thinsp;''x'', tan<sup>&minus;1</sup>&thinsp;''x'', etc., was published by him in the ''[[Philosophical Transactions of London]]'', for the year 1813. He says ({{citeref|Herschel|1813|p.&nbsp;10|style=plain}}): "This notation cos.<sup>&minus;1</sup>&thinsp;''e'' must not be understood to signify 1/cos.&nbsp;''e'', but what is usually written thus, arc&thinsp;(cos.=''e'')." He admits that some authors use cos.<sup>''m''</sup>&thinsp;''A'' for (cos.&thinsp;''A'')<sup>''m''</sup>, but he justifies his own notation by pointing out that since ''d''<sup>2</sup>&thinsp;''x'', Δ<sup>3</sup>&thinsp;''x'', Σ<sup>2</sup>&thinsp;''x'' mean ''dd''&thinsp;''x'', ΔΔΔ&thinsp;''x'', ΣΣ&thinsp;''x'', we ought to write sin.<sup>2</sup>&thinsp;''x'' for sin.&thinsp;sin.&thinsp;''x'', log.<sup>3</sup>&thinsp;''x'' for log.&thinsp;log.&thinsp;log.&thinsp;''x''. Just as we write ''d''<sup>&minus;''n''</sup>&thinsp;V=∫<sup>''n''</sup>&thinsp;V, we may write similarly sin.<sup>&minus;1</sup>&thinsp;''x''=arc&thinsp;(sin.=''x''), log.<sup>&minus;1</sup>&thinsp;''x''.=c<sup>''x''</sup>. Some years later Herschel explained that in 1813 he used ''f''<sup>''n''</sup>(''x''), ''f''<sup>&minus;''n''</sup>(''x''), sin.<sup>&minus;1</sup>&thinsp;''x'', etc., "as he then supposed for the first time. The work of a German Analyst, [[Hans Heinrich Bürmann|Burmann]], has, however, within these few months come to his knowledge, in which the same is explained at a considerably earlier date. He[Burmann], however, does not seem to have noticed the convenience of applying this idea to the inverse functions tan<sup>&minus;1</sup>, etc., nor does he appear at all aware of the inverse calculus of functions to which it gives rise." Herschel adds, "The symmetry of this notation and above all the new and most extensive views it opens of the nature of analytical operations seem to authorize its universal adoption."{{citeref|Herschel|1820|b<!-- [4] -->}} […] §535. ''Persistence of rival notations for inverse function.''&mdash; […] The use of Herschel's notation underwent a slight change in [[Benjamin Peirce]]'s books, to remove the chief objection to them; Peirce wrote: "cos<sup>[&minus;1]</sup>&thinsp;''x''," "log<sup>[&minus;1]</sup>&thinsp;''x''."{{citeref|Peirce|1852|c<!-- [1] -->}} […] §537. ''Powers of trigonometric functions.''&mdash;Three principal notations have been used to denote, say, the square of sin&thinsp;''x'', namely, (sin&thinsp;''x'')<sup>2</sup>, sin&thinsp;''x''<sup>2</sup>, sin<sup>2</sup>&thinsp;''x''. The prevailing notation at present is sin<sup>2</sup>&thinsp;''x'', though the first is least likely to be misinterpreted. In the case of sin<sup>2</sup>&thinsp;''x'' two interpretations suggest themselves; first, sin&thinsp;''x'' &middot; sin&thinsp;''x''; second,{{citeref|Peano|1903|d<!-- [8] -->}} sin&thinsp;(sin&thinsp;''x''). As functions of the last type do not ordinarily present themselves, the danger of misinterpretation is very much less than in case of log<sup>2</sup>&thinsp;''x'', where log&thinsp;''x'' &middot; log&thinsp;''x'' and log&thinsp;(log&thinsp;''x'') are of frequent occurrence in analysis. […] The notation sin<sup>''n''</sup>&thinsp;''x'' for (sin&thinsp;''x'')<sup>''n''</sup> has been widely used and is now the prevailing one. […]}} (xviii+367+1 pages including 1 addenda page) (NB. ISBN and link for reprint of 2nd edition by Cosimo, Inc., New York, USA, 2013.)</ref> y [[John Frederick William Herschel]]<!-- en 1813 -->. <ref name="Herschel_1813"/><ref name="Herschel_1820"/><ref name="Peano_1903"/><ref name="Cajori_1929"/> La composición repetida de una función de este tipo consigo misma se denomina '''[[función iterada]]'''.
-Más generalmente, para cualquier [[número natural]] {{math|''n'' ≥ 2}}, la {{mvar|n}}ésima ''' [[Potencia de un conjunto| potenciación]] funcional''' puede definirse inductivamente por {{math|1=''f''&thinsp;<sup>''n''</sup> = ''f'' ∘ ''f''&thinsp;<sup>''n''-1</sup> = ''f''&thinsp; <sup>''n''-1</sup> ∘ ''f''}}, una notación introducida por [[Hans Heinrich Bürmann]]{{cn|fecha=Agosto 2020|razón=El hecho es indiscutible, pero para completar la historia, encontremos el trabajo original de Bürmann sobre esto y añadámoslo aquí como cita. Debe datarse significativamente antes de 1813 (según Herschel en 1820 y Cajori en 1929.)}}<ref name="Herschel_1820"/><ref name="Cajori_1929"/> y [[John Frederick William Herschel]]<!-- en 1813 -->. <ref name="Herschel_1813"/><ref name="Herschel_1820"/><ref name="Peano_1903"/><ref name="Cajori_1929"/> La composición repetida de una función de este tipo consigo misma se denomina '''[[función iterada]]'''.
 * Por convención, {{math|''f''&thinsp;<sup>0</sup>}} se define como el mapa identidad en el dominio de {{math|''f''&thinsp;}}, {{math|id<sub>''X''</sub>}}.
 * Si incluso {{math|1=''Y'' = ''X''}} y {{math|''f'': ''X'' → ''X''}} admite una [[función inversa]] {{math|''f''&thinsp;<sup>-1</sup>}}, las potencias funcionales negativas {{math|''f''&thinsp;<sup>-''n''</sup>}} se definen para {{math|''n'' > 0}} como la [[Opuesto| opuesta]] potencia de la función inversa: {{math|1=''f''&thinsp;<sup>-''n''</sup> = (''f''&thinsp;<sup>-1</sup>)<sup>''n''</sup>}}.<ref name="Herschel_1813"/><ref name="Herschel_1820"/><ref name="Cajori_1929"/>