Definición Matemática de una función [editar]Desde un punto de vista formal, se dice que f es una función o aplicación de A en B y se denota

y satisface:

Si
Esto significa que a cada elemento a de A, le corresponde por f un elemento b, y sólo uno, de B, al que se denomina imagen de a por f y que se denota en vez de .

En algunos textos de matemática se reserva la palabra función para el caso en que el conjunto B es un conjunto numérico y se utiliza aplicación para el caso más general de conjuntos cualesquiera. Esta distinción no está generalizada y se trata, en todo caso, de una distinción informal y de uso discrecional.

Dominio, conjunto de llegada y conjunto imagen [editar]El dominio de una función es el conjunto de existencia de la misma, o sea los valores para los cuales la función está definida. Entonces, el dominio de una función f es el conjunto de todos los objetos que puede transformar. Se denota Dom f o Df.

Obsérvese que la condición de existencia de la definición de función garantiza que, si es una función, entonces Df = A
El codominio de una función es el conjunto .
Obsérvese que algunos elementos del codominio pueden no ser imagen de ningún elemento del dominio. Puede haber algún tal que
El conjunto imagen, también llamado recorrido o rango, está formado por los valores que alcanza la función. Entonces, la imagen de una función f es el conjunto de todos los valores que toma la variable dependiente. Se denota Im f o If.

Por ejemplo, la función f(x) = x + 1 tiene como dominio e imagen todos los números reales, pero una función g(x) = x², si bien tendrá como dominio a todos los reales, sólo tendrá como imagen los valores comprendidos entre 0 y +∞ que sean el cuadrado de un número real (de hecho, todos lo son).

Siempre es posible restringir tanto el conjunto dominio e imagen de una función con un propósito determinado. Por ejemplo, si se quiere restringir f(x) = x² para que sea biyectiva, es posible tomar una sola de las ramas de modo que el dominio restringido y el conjunto imagen tomen valores del intervalo [0,+∞).

Cantidad de variables [editar]El dominio y la imagen pueden tener una única variable, o bien varias. De acuerdo a dichas cantidades se le pueden dar diferentes nombres a la función

es una función escalar
es un campo escalar
es una función vectorial
es un campo vectorial
Se debe notar que la presencia de varias variables no afecta los criterios ya definidos sobre lo que es una función y lo que es sólo una Relación matemática. Dado un (a,b) puede ocurrir que a = b, pero el elemento que pertenece al dominio y que debe tener una y sólo una imagen es (a,b), no a o b en forma individual.

Conceptos para funciones de valor real [editar]Para funciones tenemos:

Conjunto de ceros: Es el conjunto de puntos pertenecientes al dominio de la función para los cuales dicha función vale cero.

Conjunto de negatividad: Es el conjunto de puntos pertenecientes al dominio de la función para los cuales dicha función toma valores negativos.

Conjunto de positividad: Es el conjunto de puntos pertenecientes al dominio de la función para los cuales dicha función toma valores positivos.

Funciones inyectivas, sobreyectivas y biyectivas [editar]Función inyectiva: Si cada elemento del conjunto es imagen de un único elemento del dominio. es inyectiva ; o lo que es lo mismo:
Función sobreyectiva: es sobreyectiva si el conjunto imagen coincide con el conjunto B (conjunto de llegada o codominio). es sobreyectiva
Función biyectiva: es biyectiva si es inyectiva y sobreyectiva.

Sobreyectiva, no inyectiva
Inyectiva, no sobreyectiva

Biyectiva
No sobreyectiva, no inyectiva

Álgebra de las funciones [editar]
Composición de funciones [editar]Dadas dos funciones y tales que la imagen de está contenida en el dominio de , se define la función composición como el conjunto de pares , para todos los elementos de .

Dado conocemos , puesto que conocemos la función , y dado cualquier elemento de conocemos también , puesto que conocemos la función . Por tanto, está definido para todo x. Luego cumple la condición de existencia que se exige a las funciones. También cumple la condición de unicidad, dado que para cada el valor de es único, y para cada también lo es el de , por ser y funciones. La composición de funciones es asociativa:

Sin embargo, en general, la composición de funciones no es conmutativa. Dadas y , puede no tener ni siquiera sentido, porque “devuelve” elementos de , en tanto que está definida en el dominio . Pero incluso en los casos en que dominios y codominios son compatibles (o son el mismo conjunto), nada garantiza que la composición de funciones sea conmutativa. Por ejemplo, con funciones numéricas y , , en tanto que

Función identidad [editar]Dado un conjunto , la función que asigna a cada de el mismo de se denomina función identidad o función unitaria.

Dada cualquier función , es claro que es igual a y que es también igual a , puesto que para todo y también

Función inversa [editar]Dada una función , se denomina función inversa de , a la función que cumple la siguiente condición:

Si existe una función que cumpla esas dos condiciones, ser inversa por la izquierda y ser inversa por la derecha, se demuestra que esa función es única. Eso justifica la notación , que sería ambigua si pudiera haber dos inversas de la misma función.

Sólo algunas funciones tienen inversa. De hecho, la condición necesaria y suficiente para la existencia de es que sea biyectiva. Por tanto, las afirmaciones

Existe función inversa de y
es biyectiva
son lógicamente equivalentes.

El grupo de las funciones biyectivas [editar]Considerando todas las funciones biyectivas , las conclusiones del apartado anterior pueden resumirse en:

Dadas tres funciones la operación de composición es asociativa:
tal que tenemos

Estas tres condiciones determinan un grupo. El conjunto de las funciones biyectivas es un grupo con respecto a la operación de composición de funciones y recibe el nombre de grupo simétrico de .

Funciones reales de variable real [editar]Los anteriores apartados se han referido a funciones entre conjuntos cualesquiera. Las funciones entre conjuntos de números, y particularmente las funciones , o funciones reales de variable real son particularmente relevantes por la diversidad de sus aplicaciones prácticas y por sus particulares propiedades matemáticas. En algunos textos se reserva para las funciones entre conjuntos de números el término función mientras que a las funciones entre conjuntos cualesquiera se las denomina aplicaciones. A continuación se detallan algunas propiedades y definiciones de interés referidas a las funciones definidas o entre conjuntos de números ().

Funciones reales y funciones discretas [editar]Si el dominio de una función es un intervalo de la recta real la función se denominará real. En cambio, si la función está definida para los números enteros se denominará función discreta. Un ejemplo de una función discreta son las sucesiones.

Funciones acotadas [editar]Una función se denomina acotada si su conjunto imagen está acotado, por ejemplo: f(x) = sen(x) y g(x) = cos(x) tienen por conjunto imagen el intervalo [-1,1]. Si su conjunto imagen está acotado sólo superior o inferiormente, se dice que la función está acotada superior o inferiormente, respectivamente. Por ejemplo, f("x")=|x| tiene por conjunto imagen , por lo que está acotada inferiormente.

Funciones pares e impares [editar]Se dice que una función es par cuando presenta simetría sobre el eje de ordenadas, esto es, si

Una función es impar si presenta simetría con respecto al origen de coordenadas, esto es si

Una función que no presenta simetría par no tiene necesariamente simetría impar. Algunas funciones no presentan ninguno de los dos tipos de simetría o bien la presentan frente a focos o ejes distintos del origen de coordenadas o el eje de ordenadas (o eje Y). Dichas funciones se dice que no poseen paridad.

Funciones monótonas [editar]La función f es estrictamente creciente en
f es estrictamente decreciente en
Si una función es estrictamente creciente o decreciente entonces es biyectiva.

f es creciente en
f es decreciente en
Si una función verifica cualquiera de las cuatro propiedades anteriores se dice que es monotona.

Funciones periódicas [editar]Una función es periódica si se cumple: donde es el período.

Véase también: función periódica
En particular, una función es periódica alternada cuando se cumple: . Estas últimas también son conocidas como funciones simétricas de media onda y constan de dos semiondas iguales de sentidos opuestos

Funciones cóncavas y convexas [editar]
Función convexa.Una función es convexa en un intervalo si la rectas tangentes a la función en ese intervalo están por debajo de la función.

Una función es cóncava en un intervalo si la rectas tangentes a la función de ese intervalo están por encima

La denominación de convexidad y concavidad depende del punto de vista que se adopte para considerar que es una concavidad, esto es si se mira a la función "desde arriba" o "desde abajo". Por ello, algunos textos denominan convexas a las funciones que se curvan "hacia abajo", al contrario de la definición que se acaba de dar en los anteriores párrafos. Por ello, es frecuente que en ocasiones se adopten las denominaciones concava hacia arriba y concava hacia abajo para evitar las ambigüedades.

Las técnicas del análisis diferencial permiten determinar si una función es creciente, decreciente, concava o convexa a través del estudio de las derivadas sucesivas de la función.