Definición Matemática de una función

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:

1.
2. 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

 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

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

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
Composición de funciones

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

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

Dada una función , se denomina función inversa o función recíproca 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

Considerando todas las funciones biyectivas , las conclusiones del apartado

anterior pueden resumirse en:

1. Dadas tres funciones la operación de composición es asociativa:

2. tal que tenemos

3.

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

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

 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

 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

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)

Funciones monótonas

1. La función f es estrictamente creciente en

2. f es estrictamente decreciente en

Si una función es estrictamente creciente o decreciente entonces es biyectiva.

1. f es creciente en
 2. f es decreciente en

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

Funciones periódicas

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

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.
Función implícita

Es función implícita de la que no se puede despejar la variable independiente de la

variable dependiente.

Un ejemplo de una función implícita seria:

En la cual no es posible expresar una de las variables en términos de la otra.

Diferenciación
Para poder derivar una función implícita se usa la Regla de la cadena, en el caso de la
variable independiente no hay problema ya que se deriva directamente, para la variable
dependiente se considera como una función que a su vez esta en función de la variable
independiente:

Dada una función , implícita, si queremos calcular la derivada de y respecto de x:

Si consideramos es una función en términos de la variable independiente x y

es una función en términos de la variable dependiente y, dado que ,
entonces para obtener la derivada:

Ejemplo
Obtener la derivada de:

El término 6x2y Se puede considerar que son dos funciones, 6x2 y y por lo que se derivara
como un producto:
El término 5y3 se deriva como:

El término 3x2 se deriva de forma normal como:

El valor constante 12, que no depende ni de x no de y, tiene por derivada 0, como

corresponde a un valor constante.

Para el término x2y2 se puede considerar como un producto y se deriva como:

Al unir todos los términos se obtiene:

Ordenando

Agrupando los valores se obtiene:

Finalmente despejando se obtiene la derivada de la función implícita: