Aplicación de funciones

Concepto en matemáticas

En matemáticas , la aplicación de funciones es el acto de aplicar una función a un argumento de su dominio para obtener el valor correspondiente de su rango . ^[1] En este sentido, la aplicación de funciones puede considerarse como lo opuesto a la abstracción de funciones .

Representación

La aplicación de una función generalmente se representa yuxtaponiendo la variable que representa la función con su argumento entre paréntesis . Por ejemplo, la siguiente expresión representa la aplicación de la función ƒ a su argumento x .

${\displaystyle f(x)}$

En algunos casos, se utiliza una notación diferente cuando los paréntesis no son necesarios y la aplicación de la función se puede expresar simplemente mediante yuxtaposición . Por ejemplo, la siguiente expresión se puede considerar igual a la anterior:

${\displaystyle f\;x}$

Esta última notación es especialmente útil en combinación con el isomorfismo del curry . Dada una función , su aplicación se representa mediante la notación anterior y (o con el argumento escrito entre corchetes angulares menos comunes) mediante la segunda. Sin embargo, las funciones en forma curry se pueden representar yuxtaponiendo sus argumentos: , en lugar de . Esto depende de que la aplicación de la función sea asociativa por la izquierda . ${\displaystyle f:(X\times Y)\to Z}$ ${\displaystyle f(x,y)}$ ${\displaystyle f\;(x,y)}$ ${\displaystyle f\;\langle x,y\rangle }$ ${\displaystyle \langle x,y\rangle \in X\times Y}$ ${\displaystyle f:X\to (Y\to Z)}$ ${\displaystyle f\;x\;y}$ ${\displaystyle f(x)(y)}$

como operador

La aplicación de función se puede definir trivialmente como un operador , llamado aplicar o , mediante la siguiente definición: ${\displaystyle \$}$

${\displaystyle f\mathop {\,\$\,} x=f(x)}$

El operador también puede indicarse mediante una comilla invertida (`).

Si se entiende que el operador tiene baja precedencia y es asociativo por la derecha , el operador de aplicación se puede utilizar para reducir la cantidad de paréntesis necesarios en una expresión. Por ejemplo;

${\displaystyle f(g(h(j(x))))}$

se puede reescribir como:

${\displaystyle f\mathop {\,\$\,} g\mathop {\,\$\,} h\mathop {\,\$\,} j\mathop {\,\$\,} x}$

Sin embargo, esto quizás se exprese más claramente si se utiliza la composición de funciones :

${\displaystyle (f\circ g\circ h\circ j)(x)}$

o incluso:

${\displaystyle (f\circ g\circ h\circ j\circ x)()}$

si se considera que es una función constante que regresa . ${\displaystyle x}$ ${\displaystyle x}$

Otros casos

La aplicación de funciones en el cálculo lambda se expresa mediante reducción β .

La correspondencia Curry-Howard relaciona la aplicación de funciones con la regla lógica del modus ponens .

Ver también

• Notación polaca

Referencias

1. Alama, Jesse; Korbmacher, Johannes (2023), Zalta, Edward N.; Nodelman, Uri (eds.), "The Lambda Calculus", The Stanford Encyclopedia of Philosophy (edición de invierno de 2023), Metaphysics Research Lab, Universidad de Stanford , consultado el 29 de febrero de 2024 .