Definición

Una función puede considerarse como un caso particular de una relación o de

correspondencia matemática. Cada relación o correspondencia de un elemento
con un (y sólo un) se denota , en lugar de

Formalmente, pedimos que se cumplan las siguientes dos condiciones:

1. Condición de existencia: Todos los elementos de X están relacionados

con elementos de Y, es decir,

2. Condición de unicidad: Cada elemento de X está relacionado con un

único elemento de Y, es decir, si

Notación y nomenclatura
Al dominio también se le llama conjunto de entrada o conjunto inicial. Se denota por
o . A los elementos del dominio se les llama habitualmente argumento
de la función.

Al codominio, también llamado, conjunto de llegada, conjunto final o rango de f se le

denota por

o codomf

Cabe señalar que el término rango es ambiguo en la literatura, ya que puede hacer
referencia tanto al codominio como al conjunto imagen. Por ello, es aconsejable usar el
término codominio.

Si x es un elemento del dominio al elemento del codominio asignado por la función y

denotado por f(x) se le llama valor o imagen de la función f de x. Al subconjunto del
codominio formado por todos los valores o imágenes se le llama imagen, alcance o
recorrido de la función. Se denota por o o .

Una preimagen de un es algún tal que .

Note que puede haber algunos elementos del codominio que no sean imagen de un
elemento del dominio, pero que cada elemento del dominio es preimagen de al menos
un elemento del codominio.

Ejemplos

• La función definida por , tiene como dominio, codominio e

imagen a todos los números reales
Función con Dominio X y Rango Y

• Para la función tal que , en cambio, si bien su dominio

y codominio son iguales a , sólo tendrá como imagen los valores
comprendidos entre 0 y +∞ que sean el cuadrado de un número real.

• En la figura se puede apreciar una función , con

Note que a cada elemento de X le corresponde un único elemento de Y. Además,

el elemento a de Y no tiene origen, y el elemento b tiene dos (el 1 y el 4).
Finalmente,

Esta función representada como relación, queda:

Igualdad de funciones
Sean las funciones f: A → B y g: C → D, decimos que f es igual a g y escribimos f=g si
y sólo si se cumple que ambas funciones:

1. tienen igual dominio, A=C,

2. tienen igual codomino, B=D, y
3. tiene la misma asignación, es decir que para cada x se cumple que f(x)=g(x).