Composición de funciones

En matemáticas , el operador de composición toma dos funciones y y devuelve una nueva función . Por lo tanto, la función $g$ se aplica después de aplicar $f$ a $x$ . ${\estilo de visualización \circ}$ ${\estilo de visualización f}$ ${\estilo de visualización g}$ $h(x):=(g\circ f)(x)=g(f(x))$

La composición inversa , a veces denominada , aplica la operación en el orden opuesto, aplicando primero y segundo. Intuitivamente, la composición inversa es un proceso de encadenamiento en el que la salida de la función $f$ alimenta la entrada de la función $g$ . $f\mapsto g$ ${\estilo de visualización f}$ ${\estilo de visualización g}$

La composición de funciones es un caso especial de la composición de relaciones , a veces también denotada por . Como resultado, todas las propiedades de la composición de relaciones son verdaderas para la composición de funciones, ^[1] como la asociatividad. ${\estilo de visualización \circ}$

Ejemplos

Composición de funciones en 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 en un conjunto infinito : Si $f : R \to R$ (donde $R$ es el conjunto de todos los números reales ) está dada por $f (x) = 2 x + 4$ y $g : R \to R$ está dada por $g (x) = x 3$ , entonces:
$(f \circ g)(x) = f (g (x)) = f (x 3) = 2 x 3 + 4$ , y

$(g \circ f)(x) = g (f (x)) = g (2 x + 4) = (2 x + 4) 3$ .
Si la altitud de un avión en el momento $t$ es $a (t)$ , y la presión del aire en la altitud $x$ es $p (x)$ , entonces $(p \circ a)(t)$ es la presión alrededor del avión en el momento $t$ .

Propiedades

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$ . ^[2] Dado que los paréntesis no cambian el resultado, generalmente se omiten.

En sentido estricto, la composición $g \circ f$ solo tiene sentido si el codominio de $f$ es igual al dominio de $g$ ; en un sentido más amplio, es suficiente 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 solo valores en el dominio de $g$ . Por ejemplo, la composición $g \circ f$ de las funciones $f : R \to (-\infty,+9]$ definida por $f (x) = 9 - x 2$ y $g : [0,+\infty) \to R$ definida por puede definirse en el intervalo $[-3,+3]$ . $g(x)={\sqrt {x}}$

Se dice que las funciones $g$ y $f$ conmutan entre sí si $g \circ f = f \circ g$ . La conmutatividad es una propiedad especial, que se alcanza solo en determinadas funciones y, a menudo, en circunstancias especiales. Por ejemplo, $| x | + 3 = | x + 3 |$ solo cuando $x \geq 0$ . La imagen muestra otro ejemplo.

La composición de funciones inyectivas es siempre inyectiva. De manera similar, la composición de funciones sobreyectivas es siempre sobreyectiva. 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 (que se supone invertible) tiene la propiedad de que $(f \circ g) -1 = g -1 \circ f -1$ . ^[3]

Las derivadas de composiciones que involucran funciones diferenciables se pueden hallar utilizando la regla de la cadena . Las derivadas superiores de dichas funciones se dan mediante la fórmula de Faà di Bruno . ^[2]

La composición de funciones a veces se describe como un tipo de multiplicación en un espacio funcional, pero tiene propiedades muy diferentes de la multiplicación puntual de funciones (por ejemplo, la composición no es conmutativa ). ^[4]

Monoides de composición

Supóngase que uno tiene dos (o más) funciones $f : X \to X,$ $g : X \to X$ que tienen el mismo dominio y codominio; a menudo se las llama transformaciones . Entonces se pueden formar cadenas de transformaciones compuestas juntas, como $f \circ f \circ g \circ f$ . Tales cadenas tienen la estructura algebraica de un monoide , llamado monoide de transformación o (mucho menos) un monoide de composición . En general, los monoides de transformación pueden tener una estructura notablemente complicada. Un ejemplo notable en particular es la curva de De Rham . El conjunto de todas las funciones $f : X \to X$ se llama semigrupo de transformación completo ^[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 la composición izquierda o derecha de funciones. ^[7] )

Si las transformaciones son biyectivas (y por lo tanto invertibles), entonces el conjunto de todas las combinaciones posibles de estas funciones forma un grupo de transformación ; y se dice que el grupo es generado por estas funciones. Un resultado fundamental en la teoría de grupos, el teorema de Cayley , dice esencialmente que cualquier grupo es de hecho sólo un subgrupo de un grupo de permutación (salvo el 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]

Poderes funcionales

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

(f \circ f)(x) = f (f (x)) = f 2 (x)

(f \circ f \circ f)(x) = f (f (f (x))) = f 3 (x)

(f \circ f \circ f \circ f)(x) = f (f (f (f (x)))) = f 4 (x)

De manera más general, para cualquier número natural $n \geq 2$ , la $n$ ésima potencia funcional se puede definir 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 dicha función consigo misma se denomina iteración de función .

Por convención, f $0 se$ define como el mapa identidad en el dominio de $f$ $, id X.$
Si $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 potencia negada de la función inversa: $f - n = (f -1) n$ . ^[12]^[10]^[11]

Nota: Si $f$ toma sus valores en un anillo (en particular para $f$ real o de valor complejo ), existe un riesgo de confusión, ya que $f n$ también podría representar el producto $n -vez de$ $f$ , p. ej. $f 2 (x) = f (x) \cdot f (x)$ . ^[11] Para funciones trigonométricas, generalmente se entiende esto último, al menos para exponentes positivos. ^[11] Por ejemplo, en trigonometría , esta notación superíndice representa la exponenciación estándar cuando se usa con funciones trigonométricas :

$pecado 2 (x) = pecado (x) \cdot pecado (x)$ .

Sin embargo, para exponentes negativos (especialmente −1), generalmente se refiere a la función inversa, por ejemplo, $tan -1 = arctan \neq 1/tan$ .

En algunos casos, cuando, para una función dada $f$ , la ecuación $g \circ g = f$ tiene una solución única $g$ , esa función puede definirse como la raíz cuadrada funcional de $f$ , y luego escribirse como $g = f 1/2$ .

De manera más general, cuando $g n = f$ tiene una solución única para algún número natural $n > 0$ , entonces $f m / n$ puede definirse como $g m$ .

Con restricciones adicionales, esta idea se puede generalizar de modo que el recuento de iteraciones se convierta en un parámetro continuo; en este caso, dicho sistema se denomina flujo y se especifica mediante soluciones de la ecuación de Schröder . Las funciones iteradas y los flujos se dan de forma natural en el estudio de los fractales y los sistemas dinámicos .

Para evitar ambigüedades, algunos matemáticos ^{[ cita requerida ]} optan por utilizar $\circ$ para denotar el significado compositivo, escribiendo $f \circ n (x)$ para la iteración $n$ -ésima de la función $f (x)$ , como, por ejemplo, $f \circ3 (x)$ que significa $f (f (f (x)))$ . Con el mismo propósito, $f [n] (x)$ fue utilizado por Benjamin Peirce ^[14]^[11] mientras que Alfred Pringsheim y Jules Molk sugirieron $n f (x)$ en su lugar. ^[15]^[11]^{[nb 2]}

Notaciones alternativas

Muchos matemáticos, particularmente en teoría de grupos , omiten el símbolo de composición, escribiendo $gf$ para $g \circ f$ . ^[16]

A mediados del siglo XX, algunos matemáticos adoptaron la notación posfija , escribiendo $xf$ para $f (x)$ y $(xf) g$ para $g (f (x))$ . ^[17] Esto puede ser más natural que la notación prefija en muchos casos, como en álgebra lineal cuando $x$ es un vector fila y $f$ y $g$ denotan matrices y la composición es por multiplicación de matrices . El orden es importante porque la composición de funciones no es necesariamente conmutativa. Tener transformaciones sucesivas que se aplican y componen hacia la derecha concuerda con la secuencia de lectura de izquierda a derecha.

Los matemáticos que utilizan la notación posfija pueden escribir " $fg$ ", lo que significa que primero se aplica $f$ y luego se aplica $g$ , de acuerdo con el orden en que aparecen los símbolos en la notación posfija, lo que hace que la notación " $fg$ " sea ambigua. Los científicos informáticos pueden escribir " $f; g$ " para esto, ^[18] desambiguando así el orden de composición. Para distinguir el operador de composición izquierda de un punto y coma de texto, en la notación Z se utiliza el carácter ⨾ para la composición de relación izquierda . ^[19] Dado que todas las funciones son relaciones binarias , es correcto utilizar el punto y coma [fat] también para la composición de funciones (consulte el artículo sobre composición de relaciones para obtener más detalles sobre esta notación).

Operador de composición

Dada una función $g$ , el operador de composición $C g$ se define como aquel operador que asigna funciones a funciones como Los operadores de composición se estudian en el campo de la teoría de operadores . $C_{g}f=f\circ g.$

En lenguajes de programación

La composición de funciones aparece de una forma u otra en numerosos lenguajes de programación .

Funciones multivariadas

La composición parcial es posible para funciones multivariadas . La función resultante cuando algún argumento $x i$ de la función $f$ se reemplaza por la función $g$ se denomina composición de $f$ y $g$ en algunos contextos de ingeniería informática y se denota $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 degenera en una valoración (parcial), cuyo resultado también se conoce como restricción o cofactor . ^[20]

$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 multivariadas puede involucrar varias otras funciones como argumentos, como en la definición de función recursiva primitiva . Dado $f$ , una función $n$ -aria y $n$ funciones $m -arias$ $g 1, ..., g n$ , la composición de $f$ con $g 1, ..., g n$ , es la función $m -aria$ $h(x_{1},\ldots ,x_{m})=f(g_{1}(x_{1},\ldots ,x_{m}),\ldots ,g_{n}(x_{1},\ldots ,x_{m})).$

Esto a veces se denomina composición generalizada o superposición de f con $g 1, ..., g n$ . ^[21] La composición parcial en un solo argumento mencionada anteriormente se puede instanciar a partir de este esquema más general al establecer que todas las funciones de argumento excepto una sean funciones de proyección elegidas adecuadamente . Aquí $g 1, ..., g n$ se puede ver como una única función con valor de vector/ tupla en este esquema generalizado, en cuyo caso esta es precisamente la definición estándar de composición de funciones. ^[22]

Un conjunto de operaciones finitas sobre un conjunto base X se denomina clon si contiene todas las proyecciones y está cerrado bajo composición generalizada. Un clon generalmente contiene operaciones de varias aridades . ^[21] La noción de conmutación también encuentra una generalización interesante 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: ^[21] $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 necesariamente es el caso de una operación binaria (o de aridad superior). Una operación binaria (o de aridad superior) que conmuta consigo misma se denomina medial o entrópica . ^[21]

Generalizaciones

La composición se puede generalizar a relaciones binarias arbitrarias . Si $R \subseteq X \times Y$ y $S \subseteq Y \times Z$ son dos relaciones binarias, entonces su composición equivale a

$R\circ S=\{(x,z)\in X\times Z:(\exists y\in Y)((x,y)\in R\,\land \,(y,z)\in S)\}$ .

Si consideramos una función como un caso especial de una relación binaria (es decir, relaciones funcionales ), la composición de funciones satisface la definición de composición de relaciones. Se ha utilizado un pequeño círculo $R \circ S$ para la notación infija de composición de relaciones , así como de funciones. Sin embargo, cuando se utiliza para representar la composición de funciones, la secuencia de texto se invierte para ilustrar las diferentes secuencias de operaciones en consecuencia. $(g\circ f)(x)\ =\ g(f(x))$

La composición se define de la misma manera para funciones parciales y el teorema de Cayley tiene su análogo llamado teorema de Wagner-Preston . ^[23]

La categoría de conjuntos con funciones como morfismos es la categoría prototípica . Los axiomas de una categoría se inspiran de hecho en las propiedades (y también en la definición) de la composición de funciones. ^[24] Las estructuras dadas por la composición se axiomatizan y se generalizan en la teoría de categorías con el concepto de morfismo como el reemplazo teórico de categorías de funciones. El orden inverso de composición en la fórmula $(f \circ g) -1 = (g -1 \circ f -1)$ se aplica para la composición de relaciones utilizando relaciones inversas y, por lo tanto, en la teoría de grupos . Estas estructuras forman categorías daga .

La base de las matemáticas comienza con los conjuntos y sus elementos . Es posible empezar de otra manera, axiomatizando no los elementos de los conjuntos, sino las funciones entre conjuntos. Esto se puede hacer utilizando el lenguaje de las categorías y las construcciones universales.

... la relación de pertenencia para conjuntos puede reemplazarse a menudo por la operación de composición para funciones. Esto conduce a una base alternativa para las matemáticas sobre categorías, específicamente, sobre la categoría de todas las funciones. Ahora bien, gran parte de las matemáticas son dinámicas, en el sentido de que tratan de morfismos de un objeto en otro objeto del mismo tipo. Tales morfismos ( como las funciones ) forman categorías, y por lo tanto el enfoque a través de categorías se ajusta bien al objetivo de organizar y comprender las matemáticas. Ése, en verdad, debería ser el objetivo de una filosofía adecuada de las matemáticas.
- Saunders Mac Lane , Matemáticas: forma y función ^[25]

Tipografía

El símbolo de composición $\circ$ se codifica como U+2218 ∘ OPERADOR DE ANILLO ( ∘, ∘ ); consulte el artículo Símbolo de grado para conocer caracteres Unicode de apariencia similar. En TeX , se escribe .\circ

Véase también

Trama de telaraña : una técnica gráfica para la composición funcional
Lógica combinatoria
Anillo de composición , una axiomatización formal de la operación de composición
Flujo (matemáticas)
Composición de funciones (informática)
Función de variable aleatoria , distribución de una función de una variable aleatoria
Descomposición funcional
Raíz cuadrada funcional
Función de orden superior
Composiciones infinitas de funciones analíticas
Función iterada
Cálculo lambda

Notas

^ El sentido estricto se utiliza, por ejemplo , en la teoría de categorías , donde una relación de subconjunto se modela explícitamente mediante una función de inclusión .
^ La notación $n$ $f$ $($ $x$ $)$ de Alfred Pringsheim y Jules Molk (1907) para denotar composiciones de funciones no debe confundirse con la notación $n$ $x$ de Rudolf von Bitter Rucker (1982) , introducida por Hans Maurer (1901) y Reuben Louis Goodstein (1947) para la tetración , o con la notación pre-superíndice $n$ $x$ de David Patterson Ellerman (1995) para raíces .

Referencias

^ ab Velleman, Daniel J. (2006). Cómo demostrarlo: un enfoque estructurado. Cambridge University Press . pág. 232. ISBN 978-1-139-45097-3.
^ ab Weisstein, Eric W. "Composición". mathworld.wolfram.com . Consultado el 28 de agosto de 2020 .
^ Rodgers, Nancy (2000). Aprendiendo a razonar: Introducción a la lógica, los conjuntos y las relaciones. John Wiley & Sons . pp. 359–362. ISBN 978-0-471-37122-9.
^ "3.4: Composición de funciones". Matemáticas LibreTexts . 2020-01-16 . Consultado el 2020-08-28 .
^ Hollings, Christopher (2014). Matemáticas al otro lado de la Cortina de Hierro: Una historia de la teoría algebraica de semigrupos. American Mathematical Society . p. 334. ISBN 978-1-4704-1493-1.
^ Grillet, Pierre A. (1995). Semigrupos: Introducción a la teoría de la estructura. CRC Press . p. 2. ISBN 978-0-8247-9662-4.
^ Dömösi, Pál; Nehaniv, Chrystopher L. (2005). Teoría algebraica de redes de autómatas: una introducción. SIAM. pag. 8.ISBN 978-0-89871-569-9.
^ Carter, Nathan (9 de abril de 2009). Teoría de grupos visuales. MAA. pág. 95. ISBN 978-0-88385-757-1.
^ Ganyushkin, Olexandr; Mazorchuk, Volodymyr (2008). Semigrupos de transformación finita clásica: una introducción. Springer Science & Business Media . p. 24. ISBN 978-1-84800-281-4.
^ abc Herschel, John Frederick William (1820). «Parte III. Sección I. Ejemplos del método directo de diferencias». Una colección de ejemplos de las aplicaciones del cálculo de diferencias finitas . Cambridge, Reino Unido: Impreso por J. Smith, vendido por J. Deighton & sons. págs. 1–13 [5–6]. Archivado desde el original el 2020-08-04 . Consultado el 2020-08-04 .[1] (NB. Aquí, Herschel se refiere a su trabajo de 1813 y menciona el trabajo más antiguo de Hans Heinrich Bürmann ).
^ abcdefg Cajori, Florian (1952) [marzo de 1929]. "§472. La potencia de un logaritmo / §473. Logaritmos iterados / §533. Notación de John Herschel para funciones inversas / §535. Persistencia de notaciones rivales para funciones inversas / §537. Potencias de funciones trigonométricas". Una historia de las notaciones matemáticas. Vol. 2 (3.ª edición corregida de la edición de 1929, 2.ª ed.). Chicago, EE. UU.: Open Court Publishing Company . pp. 108, 176–179, 336, 346. ISBN. 978-1-60206-714-1. Consultado el 18 de enero de 2016. […] §473. Logaritmos iterados […] Notamos aquí el simbolismo usado por Pringsheim y Molk en su artículo conjunto en la Encyclopédie : " ² log _b a = log _b (log _b a ), …, ^{k +1} log _b a = log _b ( ^k log _b a )." ^[a] […] §533. La notación de John Herschel para funciones inversas, sen ⁻¹ x , tan ⁻¹ x , etc., fue publicada por él en las Philosophical Transactions de Londres , para el año 1813. Dice (p. 10): "Esta notación cos. ⁻¹ e no debe entenderse como 1/cos. e , sino lo que usualmente se escribe así, arc (cos.= e )". Admite que algunos autores usan cos. ^m A para (cos. A ) ^m , pero justifica su propia notación señalando que dado que d ² x , Δ ³ x , Σ ² x significa dd x , ΔΔΔ x , ΣΣ x , deberíamos escribir sen. ² x para sen. sen. x , log. ³ x para log. log. log. x . Así como escribimos d ^{− n} V=∫ ⁿ V, podemos escribir de manera similar sen. ⁻¹ x =arc (sen.= x ), log. ⁻¹ x .=c ^x . Algunos años después, Herschel explicó que en 1813 utilizó f ⁿ ( x ), f ^{− n} ( x ), sen. ⁻¹ x , etc., "como supuso entonces por primera vez. Sin embargo, en estos pocos meses ha llegado a su conocimiento el trabajo de un analista alemán, Burmann , en el que se explica lo mismo en una fecha considerablemente anterior. Él [Burmann], sin embargo, no parece haber notado la conveniencia de aplicar esta idea a las funciones inversas tan ⁻¹, etc., ni parece en absoluto consciente del cálculo inverso de funciones al que da lugar". Herschel añade: "La simetría de esta notación y, sobre todo, las nuevas y más amplias perspectivas que abre sobre la naturaleza de las operaciones analíticas parecen autorizar su adopción universal". ^[b] […] §535. Persistencia de notaciones rivales para funciones inversas. — […] El uso de la notación de Herschel sufrió un ligero cambio en los libros de Benjamin Peirce , para eliminar la principal objeción a ellos; Peirce escribió: "cos ^[−1] x ", "log ^[−1] x ". [ ^c] […] §537. Potencias de funciones trigonométricas. —Se han utilizado tres notaciones principales para denotar, por ejemplo, el cuadrado de sen x , a saber, (sen x ) ² , sen x ² , sen ² x . La notación predominante en la actualidad es sen ² x , aunque la primera es la menos propensa a ser malinterpretada. En el caso de sen ² x se sugieren dos interpretaciones: primero, sen x ⋅ sen x ; segundo, ^[d] sen (sen x ). Como las funciones del último tipo no se presentan habitualmente, el peligro de mala interpretación es mucho menor que en el caso de log ² x , donde log x ⋅ log x y log (log x ) son de aparición frecuente en el análisis. […] La notación sen ⁿ x para (sen x ) ⁿ ha sido ampliamente utilizada y ahora es la que prevalece. […](xviii+367+1 páginas incluyendo 1 página de adenda) (NB. ISBN y enlace para reimpresión de la 2.ª edición por Cosimo, Inc., Nueva York, EE. UU., 2013.)
^ ab Herschel, John Frederick William (1813) [1812-11-12]. "Sobre una notable aplicación del teorema de Cotes". Philosophical Transactions of the Royal Society of London . 103 (Parte 1). Londres: Royal Society of London , impreso por W. Bulmer and Co., Cleveland-Row, St. James's, vendido por G. y W. Nicol, Pall-Mall: 8–26 [10]. doi :10.1098/rstl.1813.0005. JSTOR 107384. S2CID 118124706.
^ Peano, Giuseppe (1903). Formulario matemático (en francés). vol. IV. pag. 229.
^ Peirce, Benjamin (1852). Curvas, funciones y fuerzas . Vol. I (nueva ed.). Boston, EE. UU., pág. 203.{{cite book}}: CS1 maint: location missing publisher (link)
^ Pringsheim, Alfredo ; Molk, Jules (1907). Encyclopédie des sciences mathématiques pures et appliquées (en francés). vol. I.p. 195. Parte I.
^ Ivanov, Oleg A. (1 de enero de 2009). Cómo hacer que las matemáticas cobren vida: una guía para profesores y estudiantes. American Mathematical Society . pp. 217–. ISBN 978-0-8218-4808-1.
^ Gallier, Jean (2011). Matemáticas discretas. Saltador. pag. 118.ISBN 978-1-4419-8047-2.
^ Barr, Michael; Wells, Charles (1998). Teoría de categorías para la ciencia de la computación (PDF) . p. 6. Archivado desde el original (PDF) el 4 de marzo de 2016 . Consultado el 23 de agosto de 2014 .(NB. Esta es la versión actualizada y gratuita del libro publicado originalmente por Prentice Hall en 1990 como ISBN 978-0-13-120486-7 .)
^ ISO/IEC 13568:2002(E), pág. 23
^ Bryant, RE (agosto de 1986). "Algoritmos de minimización lógica para síntesis VLSI" (PDF) . IEEE Transactions on Computers . C-35 (8): 677–691. doi :10.1109/tc.1986.1676819. S2CID 10385726.
^ abcd Bergman, Clifford (2011). Álgebra universal: fundamentos y temas seleccionados. CRC Press . págs. 79-80, 90-91. ISBN 978-1-4398-5129-6.
^ Tourlakis, George (2012). Teoría de la computación. John Wiley & Sons . pág. 100. ISBN. 978-1-118-31533-0.
^ Lipscomb, S. (1997). Semigrupos inversos simétricos . AMS Mathematical Surveys and Monographs. pág. xv. ISBN 0-8218-0627-0.
^ Hilton, Peter; Wu, Yel-Chiang (1989). Un curso de álgebra moderna. John Wiley & Sons . pág. 65. ISBN 978-0-471-50405-4.
^ "Saunders Mac Lane - Citas". Historia de las matemáticas . Consultado el 13 de febrero de 2024 .

Enlaces externos

"Función compuesta", Enciclopedia de Matemáticas , EMS Press , 2001 [1994]
"Composición de funciones" de Bruce Atwood, Proyecto de demostraciones Wolfram , 2007.