Funciones

Definición
La definición general de función hace referencia a la dependencia entre los elementos de dos conjuntos dados.
Dados dos conjuntos A y B, una función (también aplicación o mapeo) entre ellos es una asociación6 f que a cada elemento de A le asigna un único elemento de B.
Se dice entonces que A es el dominio (también conjunto de partida o conjunto inicial) de f y que B essu codominio (también conjunto de llegada o conjunto final).
Un objeto o valor genérico a en el dominio A se denomina la variable independiente; y un objeto genérico b del dominio B es la variable dependiente. También se les llama valores de entrada y de salida, respectivamente. Esta definición es precisa, aunque en matemáticas se utiliza una definición formal más rigurosa, que construye las funcionescomo un objeto concreto.
Funciones con múltiples variables
Existen muchos ejemplos de funciones que «necesitan dos valores» para ser calculadas, como la función «tiempo de viaje» T, que viene dada por el cociente entre la distancia d y la velocidad media v: cada pareja de números reales positivos (una distancia y una velocidad) tiene asociada un número real positivo (el tiempo de viaje). Portanto, una función puede tener dos (o más) variables independientes.
La noción de función de múltiples variables independientes no necesita de una definición específica separada de la de función «ordinaria». La generalidad de la definición anterior, en la que se contempla que el dominio sea un conjunto de objetos matemáticos arbitrarios, permite omitir la especificación de dos (o más) conjuntos devariables independientes, A1 y A2, por ejemplo. En lugar de ello, el dominio se toma como el conjunto de las parejas (a1, a2), con primera componente en A1 y segunda componente en A2. Este conjunto se denomina el producto cartesiano de A1 y A2, y se denota por A1 × A2.
De este modo las dos variables independientes quedan reunidas en un solo objeto. Por ejemplo, en el caso de la función T, sudominio es el conjunto R+ × R+, el conjunto de parejas de números reales positivos. En el caso de más de dos variables, la definición es la misma, usando un conjunto ordenado de múltiples objetos, (a1,..., an), una n-tupla. También el caso de múltiples variables dependientes se contempla de esta manera. Por ejemplo, una función división puede tomar dos números naturales como valores de entrada(dividendo y divisor) y arrojar dos números naturales como valores de salida (cociente y resto). Se dice entonces que esta función tiene como dominio y codominio el conjunto N × N.
Notación. Nomenclatura
La notación habitual para presentar una función f con dominio A y codominio B es:

También se dice que f es una función «de A a B» o «entre A y B». El dominio de una función f se denota también pordom(f), D(f), Df, etc. Por f(a) se resume la operación o regla que permite obtener el elemento de B asociado a un cierto a ∈ A, denominado la imagen de a.6
Ejemplos
La función «cubo» puede denotarse ahora como f: R → R, con f(x) = x3 para cada número real x.
La función «inverso» es g: R \ {0} → R, con g(x) = 1/x para cada x real y no nulo.
La función «clasificación en géneros» puede escribirsecomo γ: M → G, donde γ(m) = Género de m, para cada mamífero conocido m.
La función «área» se puede denotar como A: T → R, y entonces A(t) = Área de t = B · H/2, donde t es un triángulo del plano, B su base, y H su altura.
La función «voto» se puede escribir como v: E → P, donde v(a) = Partido que a votó, para cada votante a.
La notación utilizada puede ser un poco más laxa, como por ejemplo «lafunción f(n) = √n». En dicha expresión no se especifica que conjuntos se toman como dominio y codominio. En general, estos vendrán dados por el contexto en el que se especifique dicha función. En el caso de funciones de varias variables (dos, por ejemplo), la imagen del par (a1, a2) no se denota por f((a1, a2)), sino porf(a1, a2), y similarmente para más variables.
Existen además terminologías...