Estoy acostumbrado a $f(x_{1},x_{2})$ o $f(x_{1})$ (y a decir que esta función toma uno, dos, etc argumentos). Pero cuanto más pienso en ello a partir de un conjunto teórico o lineal álgebra punto de vista no hay realmente un solo n-dimensional de un vector o una tupla $\mathbf{x}$, que es nuestro $\mathbf{x} = (x_{1},x_{2},...)$ entrada. Así que las funciones siempre tienen un argumento de entrada (univariante, bivariante o multivariante). Es esto correcto o galimatías?
Respuestas
¿Demasiados anuncios?Sí, son ellos. Pero recuerda que los mapas como estos $(x_1,x_2)\mapsto y$ (que por lo que puede ser considerado como $x\mapsto y$) tienen un dominio con una estructura implícita: siempre será posible decir, dado cualquier punto de ella, ¿cuál es el primer componente y así el "primer argumento" en el mapa, el segundo y así sucesivamente. De lo contrario no tendrá sentido un mapa como este $x\mapsto y,~y=\frac{x_1}{x_2}$
Una función se define como la asignación de un dominio a un codominio. Por lo tanto si queremos realizar un mapeo que depende de múltiples argumentos, decir $a_1$ cuyo dominio es $A_1$, $a_2$ cuyo dominio es $a_2$, etc..., y las salidas de un valor en un conjunto $B$, entonces podemos definir una función de $f$ del producto $\prod_{i\in I}A_i$ en el conjunto de $B$, lo que lleva a los argumentos de la $(a_i)_{i\in I}$ y los envía a un valor en $B$, que se denota por a $f((a_i)_{i\in I})$. Si $I$ es finito entonces simplemente escribir $f((a_i)_{i\in I})$$f(a_1,\ldots,a_n)$. Sin embargo $I$ podría ser infinito o incluso incontables.