1

FUNCIONES MATEMTICAS

1. FUNCIONES
Definicin:
Dada una relacin definida del conjunto A en el B, se dice que dicha relacin es una funcin si y solo si se
verifican las siguientes propiedades:
1. Existencia:
Todo elemento del conjunto A est relacionado con uno del conjunto B, en smbolos:
" x A$ y B / x y
2. Unicidad:
Toda relacin entre un elemento del conjunto A y otro del B es nica, en smbolos:
(x,y) (x,z) y=z
Dominio, Codominio e Imagen:
Dada una funcin : A B / y = (x) se llama dominio de la misma al conjunto A y codominio al conjunto B .
Si y = (x), se dice que y es la imagen de x a travs de y que x es la preimgen de y a travs de .
El conjunto Imagen es un subconjunto del Codominio de la funcin que verifica que todos sus elementos
tienen preimgen.
Funcin inyectiva, sobreyectiva y biyectiva:
Sea una funcin : A B / y =(x) se dice que es inyectiva si se verifica que :
" x Dom : si x1 x2 (x1) (x2)
Sea una funcin : A B / y = (x) se dice que es sobreyectiva si :
" y Codom , $ x Dom / y = (x)
Si una funcin : A B / y = (x) es inyectiva y sobreyectiva entonces es biyectiva.
Funciones Montonas:
Funcin creciente:
Dada una funcin :A B / y = (x) se dice que es creciente si para dos elementos cualesquiera del dominio
tal que uno es menor que el otro se verifica que la imagen del menor es menor o igual a la imagen del
mayor, en smbolos:
" x1 x2 Dom , si x1< x2 (x1) (x2)
Funcin estrictamente creciente:
Sea : A B / y = (x) se dice que es estrictamente creciente si para dos elementos cualesquiera del
dominio, tal que uno es menor que el otro, se verifica que la imagen del menor es menor que la imagen del
mayor, en smbolos:
" x1 x2 Dom , si x1< x2 (x1) < (x2)
Funcin decreciente:
Dada una funcin : A B / y = (x) se dice que la funcin es decreciente si para dos elementos
cualesquiera del dominio tal que uno sea menor que otro se verifica que la imagen del menor es mayor o
igual que la imagen del mayor, en smbolos:

2
" x1 , x2 Dom , si x1< x2 (x1) (x2)
Funcin estrictamente decreciente:
Sea : A B / y= (x) se dice que la funcin es estrictamente decreciente si para dos elementos
cualesquiera del dominio tal que uno es menor que el otro se verifica que la imagen del menor es mayor que
la imagen del mayor, en smbolos:
" x1 , x2 Dom , si x1< x2 (x1) > (x2)
Funcin Par e Impar:
Dada una funcin f: A B / y = (x) se dice que es par si la imagen de los elementos opuestos tienen sus
imgenes iguales, en smbolos:
" x Dom : (x) = (-x);
se dice que la funcin es impar si las imgenes de elementos opuesto son opuestas, en smbolos:
" x Dom : (x) = (-x)

2. FUNCIN CONSTANTE I
Definicin:
Es una funcin cuyo dominio y codominio es el conjunto de nmeros reales. Su frmula es:
: / x=k
y su representacin grfica es una recta paralela al eje de abscisas que intercepta al eje de ordenadas en
el punto (0; k).
Clasificacin:
La funcin constante no es inyectiva ni sobreyectiva pues:
1. Sea x1 x2, por ejemplo x1 = 1 x2 = 2 (x1) = k (x2) = k \ (x1) = (x2) por lo tanto no es
inyectiva.
2. Img = { k} y Codom = por lo tanto no es sobreyectiva pues
preimgen.

y = m con m k no tiene

Es creciente pues:
" x1, x2 Dom , si x1 < x2 ( x1) ( x2)
Es una funcin par pues:
" x Dom : (x) = (-x)

3. FUNCIN CONSTANTE II
Definicin:
Es una funcin cuyo dominio y codominio es el conjunto de nmeros reales. Su frmula es:
:/(x)=k
y su representacin grfica es una recta paralela al eje de abscisas que intercepta al eje de ordenadas en
el punto (0; k).
Clasificacin:

3
La funcin constante no es inyectiva ni sobreyectiva pues:
1. Sea x1 x2, por ejemplo x1 = 1 x2 = 2 (x1) = k (x2) = k \ (x1) = (x2) por lo tanto no es
inyectiva.
2. Img = { k} y Codom = por lo tanto no es sobreyectiva pues
preimgen.

y = m con m k no tiene

Es creciente pues:
" x1, x2 Dom , si x1 < x2 ( x1) ( x2)
Es una funcin par pues:
" x Dom : (x) = (-x

4. FUNCIN COSECANTE
Definicin:
Es una funcin definida de reales en reales cuya frmula es:
: A / y = cosec x , con A = R - { x / x = k p }
El conjunto imagen es ( - ; -1] [ 1 ; + ) .
Esta funcin es una de las denominadas circulares ya que la imagen para cada elemento del dominio est
definida por el cociente entre los catetos e hipotenusa de un tringulo rectngulo definido por el radio vector
de una circunferencia trigonomtrica ( radio = 1), el eje de abscisas y el eje de ordenadas, en este caso se
define cosec x = hipotenusa / cateto opuesto.
Si la definimos en funcin de sen x, da: cosec x = 1 / sen x.
Su perodo es p .
La funcin no tiene ceros ya que para que de existir tendra que poder anularse el numerador de la fraccin
1/sen x y eso no ocurre nunca porque es una constante.
La funcin cosec x presenta asntotas para los valores del dominio donde el seno de los mismos vale cero .
Estos son:
H = { x / x = kp, k Z }
Clasificacin:
No es una funcin inyectiva ni sobreyectiva porque:
1. Dos elementos distintos del dominio que difieran en p tienen igual imagen, por lo tanto no es inyectiva.
2. Existe por lo menos un elemento del codominio, por ejemplo y = 1/2 tal que no tiene preimgen.
Es una funcin impar ya que elementos opuestos tienen imgenes opuestas.
Si se considera todo su dominio no se puede decir nada acerca de si es o no estrictamente creciente o
decreciente. Hay que considerar el anlisis por intervalos

5. FUNCIN COSENO
Definicin:
Es una funcin definida de reales en reales cuya frmula es:

4
: / y = cos x
El conjunto imagen es el intervalo [ -1; 1].
Esta funcin es una de las denominadas circulares ya que la imagen para cada elemento del dominio est
definida por el cociente entre los catetos e hipotenusa de un tringulo rectngulo definido por el radio vector
de una circunferencia trigonomtrica ( radio = 1), el eje de abscisas y el eje de ordenadas, en este caso se
define cos x = cateto adyacente / hipotenusa.
Su perodo es 2p .
Los ceros de la funcin son los x que responden a :
x = (2k + 1) p/2 , con k Z
Clasificacin:
No es una funcin inyectiva ni sobreyectiva porque:
1. Dos elementos distintos del dominio que difieran en 2p tienen igual imagen, por lo tanto no es inyectiva.
2. Existe por lo menos un elemento del codominio, por ejemplo y = 2 que no tiene preimgen.
Es una funcin par ya que elementos opuestos tienen imgenes iguales.
Si se considera todo su dominio no se puede decir nada acerca de si es o no estrictamente creciente o
decreciente. Hay que considerar el anlisis por intervalos.

6. FUNCIN COTANGENTE
Definicin:
Es una funcin definida de reales en reales cuya frmula es:
: A / y = cotan x , con A = R - { x / x = k p, k Z }
El conjunto imagen es R.
Esta funcin es una de las denominadas circulares ya que la imagen para cada elemento del dominio est
definida por el cociente entre los catetos e hipotenusa de un tringulo rectngulo definido por el radio vector
de una circunferencia trigonomtrica ( radio = 1), el eje de abscisas y el eje de ordenadas, en este caso se
define cotan x = cateto adyacente / cateto opuesto.
Si la definimos en funcin de sen x y cos x, da:
cotan x = cos x / sen x.
Su perodo es p .
Los ceros de la funcin son los x que responden a :
x = (2k+1) p , con k Z
La funcin cotan x presenta asntotas para los valores del dominio donde el coseno de los mismos vale cero
. Estos son:
H = { x / x = (2k+1) p/2 }
Clasificacin:
No es una funcin inyectiva pero si es sobreyectiva porque:
1. Dos elementos distintos del dominio que difieran en p tienen igual imagen, por lo tanto no es inyectiva.

5
2. El conjunto imagen coincide con el codominio.
Es una funcin par ya que elementos opuestos tienen imgenes iguales.
Si se considera todo su dominio no se puede decir nada acerca de si es o no estrictamente creciente o
decreciente.
Hay que considerar el anlisis por intervalos.

FUNCIN EXPONENCIAL
Definicin:
Es una funcin definida de reales en reales.
Su frmula es:
: / y = ax , con a > 0 y a 1
El conjunto imagen es ( 0 ; + ).
La base de la funcin exponencial debe ser un nmero positivo porque , por ejemplo en caso de ser x= -1/2
no tendra imagen en no cumpliendo con la condicin de existencia.
Y debe ser distinto de 1, de lo contrario sera la funcin constante.
Clasificacin:
La funcin exponencial es inyectiva y no sobreyectiva porque:
1. Para que dos expresiones exponenciales, con bases iguales sean iguales, deben serlo los exponentes;
por lo tanto a elementos distintos corresponden imgenes distintas.
2. Existe por lo menos un elemento del codominio que no tiene preimgen, por ejemplo y = -2, puesto que
no existe ningn elemento real que bajo las condiciones de la frmula de la funcin de un nmero real
negativo.
La funcin no es par ni impar, pues no cumple con ninguna de las dos definiciones.
Si a > 0 es estrictamente creciente pues se verifica que dos elementos del dominio, uno menor que el otro,
el menor tiene la imagen menor que la del mayor.
Si a < 0, es estrictamente decreciente.

8. FUNCIN INYECTIVA
Definicin:
Es una funcin definida de un conjunto A en reales.
Su frmula es:
:A / y = (ax + b) / (cx + d)
siendo A = { x/x x -d/c }
El conjunto imagen es - { a/c}
La grfica de esta funcin es una hiprbola equiltera y presenta dos asntotas, una horizontal de frmula y
= a/c y una vertical de frmula
x = -d/c.
Clasificacin:
Es una funcin inyectiva y no es sobreyectiva porque:

6
1. Para dos elementos cualesquiera y diferentes del dominio se verifica que sus imgenes son distintas.
2. Existe un elemento del codominio, y = a/c, que no tiene preimgen.
No es una funcin par ni impar.
Solo en el caso de que a = 0, b = 1, c = 1 y d = 0 es una funcin impar, pues las imgenes de los elementos
opuestos, son opuestas.
La grfica de esta funcin es estrictamente creciente si tomamos por separado los intervalos de cada rama

9. FUNCIN LINEAL
Definicin:
Es una funcin cuyo dominio y codominio es el conjunto de los nmeros reales.
Su frmula es:
: / y= ax + b, con a 0
y la representacin grfica es una recta.
De su frmula se distinguen dos elementos :
a) pendiente
b) ordenada al origen
Geomtricamente, la pendiente de la recta es la tangente del ngulo que forma la recta con el semieje
positivo de las abscisas(x) y la ordenada al origen es el punto por donde intercepta la grfica de la funcin
al eje de ordenadas (0,b).
Clasificacin:
La funcin lineal es biyectiva ( inyectiva y sobreyectiva) porque se verifican:
1. x1 x2 ( x1) (x2)
2. " y Codom , $ x Dom / y = (x)
Si a > 0, es estrictamente creciente, pues:
x1, x2 Dom x1 < x2 (x1) < (x2)
si a < 0, es estrictamente decreciente porque:
x1, x2 Dom x1 < x2 (x1) > (x2)
No es una funcin par ni impar porque:
1. " x Dom : (x) (-x)
2. " x Dom : (x) -(-x)

10. FUNCIN LOGARTMICA

Definicin:
Es una funcin definida de los reales positivos en los reales. Su frmula es:
: / y = logax , con a > 0 y a 1

7
El conjunto imagen es .
Clasificacin:
Es una funcin biyectiva pues cumple con las condiciones de inyectividad y sobreyectividad.
No es par ni es impar.
Si la base del logaritmo es mayor que 1, la funcin es estrictamente creciente. Si a<1, entonces es
estrictamente decreciente.

11. FUNCIN MDULO

Definicin:
Es una funcin cuyo dominio y codominio es el conjunto de los nmeros reales. Su frmula es:
: / (x) = | x |
o lo que es igual
: / (x) =

{ x si x 0

-x si x < 0
Su grfica tiene forma de "v" centrada en el orgen del sistema de coordenadas.
Por su definicin todas las imgenes de los elementos del dominio son positivas o cero.
Clasificacin:
La funcin mdulo no es inyectiva ni sobreyectiva porque:
1. Las imgenes de elementos opuestos, son iguales;
2. El conjunto Imagen de la funcin es [0; + ) y su Codominio es el conjunto de los nmeros reales, por lo
tanto existen elementos de l que no tienen preimgen.
Es estrictamente decreciente en el intervalo (- , 0) y estrictamente creciente en

(0, + ).

La funcin mdulo es par porque los elementos opuestos tienen sus imgenes iguales (la grfica es
simtrica respecto del eje de ordenadas).

12. FUNCIN PARBOLA

Definicin:
Es una funcin cuyo dominio y codominio es el conjunto de los nmeros reales. Su frmula es:
: / (x) = ax+ bx + c , con a 0
y su representacin grfica es una curva que recibe el nombre de parbola.
Los elementos de dicha funcin son:
a) coeficiente principal
b) coeficiente lineal
c) trmino independiente
Anlisis de la frmula y = ax + bx + c

8
Los elementos de la grfica de la funcin ( eje, ceros, vrtice, ordenada al origen y concavidad) se
obtienen a partir de la frmula, de la siguiente manera:
Eje: es una recta perpendicular al eje de abscisas (x) que responde a la siguiente expresin:
X = -b / 2a
La parbola es simtrica respecto de su eje y el vrtice de la misma se encuentra "sobre" l .
Ceros: son los puntos de la grfica donde la misma intercepta al eje de abscisas.
Una parbola puede tener a lo sumo dos ceros distintos.
Si el discriminante b - 4ac es mayor que cero, la parbola tiene dos ceros; si es igual a cero, tiene uno y si
es menor que cero, no tiene.
La frmula para determinarlos es
x = [ -b ( b - 4ac) ] / 2a
En el caso que tenga dos ceros se dice que la funcin tiene dos races reales distintas, si tiene uno se dice
que tiene dos races reales iguales y si no tiene ninguno se dice que no tiene races reales.
Vrtice:
Es el punto donde la funcin pasa de ser creciente a decreciente o viceversa.
Se verifica tambin que es el nico punto unido de la parbola pues el simtrico de s es l mismo.
Sus coordenadas son:
y=[-b/2a ; ( -b/2a)]
Ordenada al origen:
Como en las dems grficas, es el punto donde la misma intercepta al eje de ordenadas (y). Su coordenada
es:
ord = ( 0 ; c)
Concavidad:
La determina el coeficiente principal (a).
Si a>0 entonces la parbola es cncava hacia el semieje positivo de las ordenadas (y) ; si a<0 entonces es
cncava hacia el semieje negativo de las ordenadas.
Clasificacin:
La funcin potencial no es inyectiva ni sobreyectiva porque:
1. Las imgenes de elementos distintos pero simtricos respecto del eje , son iguales;
2. El conjunto Imagen de una parbola es ( - ; yv] si a < 0 o [yv; + ) si a > 0 y su Codominio es el
conjunto de los nmeros reales, por lo tanto existen elementos de l que no tienen preimgen.
Si a > 0, es estrictamente decreciente de ( - ; xv) y estrictamente creciente de (xv; + ).
Si a < 0, es estrictamente creciente de (-; xv) y estrictamente decreciente de (xv; +).
La funcin potencial no es ni impar excepto cuando b es igual a cero.
En este ltimo caso la grfica es simtrica respecto del eje de ordenadas.

9
Por lo tanto (x)

13. FUNCIN POLINOMIO

Definicin:
Es una funcin definida de reales en reales:
: / y = mx , a N a = 1,...n
Su grfica depende del grado del polinomio que conforme su frmula.
Tiene tantos ceros (intersecciones con el eje de abscisas) como el grado del polinomio de la frmula.
Para dibujar su grfica es necesario recurrir a elementos y conceptos de Anlisis Matemtico.

14. FUNCIN RAZ CUADRADA

Definicin:
Es una funcin cuyo dominio es el conjunto de los reales positivos con el cero y el codominio es el conjunto
de los nmeros reales.
Su frmula es:
: [0; + ) / (x) = (x)
Clasificacin:
La funcin raz cuadrada es inyectiva pero no sobreyectiva porque:
1. A elementos distintos corresponden imgenes distintas;
2. El conjunto Imagen de la funcin es [0; + ) y su Codominio es el conjunto de los nmeros reales, por lo
tanto existen elementos de l que no tienen preimgen.
Es estrictamente creciente.
La funcinraz cuadrada no es par ni impar pues los elementos del dominio no verifican ninguna de las dos
definiciones.

15. FUNCIN SENO

Definicin:
Es una funcin definida de reales en reales cuya frmula es:
: / y = sen x
El conjunto imagen es el intervalo [ -1; 1].
Esta funcin es una de las denominadas circulares ya que la imagen para cada elemento del dominio est
definida por el cociente entre los catetos e hipotenusa de un tringulo rectngulo determinado por el radio
vector de una circunferencia trigonomtrica ( radio = 1), el eje de abscisas y el eje de ordenadas, en este
caso es sen x = cateto opuesto / hipotenusa.
Su perodo es 2p .
Los ceros de la funcin son los x que responden a :
x = kp , con k Z
Clasificacin:
No es una funcin inyectiva ni sobreyectiva porque:

10
1. Dos elementos distintos del dominio que difieran en 2p tienen igual imagen, por lo tanto no es inyectiva.
2. Existe por lo menos un elemento del codominio, por ejemplo y = 2 que no tiene preimgen.
Es una funcin impar ya que elementos opuestos tienen imgenes opuestas.
Si se considera todo su dominio no se puede decir nada acerca de si es o no estrictamente creciente o
decreciente. Hay que considerar el anlisis por intervalos.

16. FUNCIN SECANTE

Definicin:
Es una funcin definida de un conjunto A en los reales cuya frmula es:
: A / y = sec x , con A = - { x / x = (2k+1) p/2 }
El conjunto imagen es ( - ; -1] + [ 1 ; + ) .
Esta funcin es una de las denominadas circulares ya que la imagen para cada elemento del dominio est
definida por el cociente entre los catetos e hipotenusa de un tringulo rectngulo definido por el radio vector
de una circunferencia trigonomtrica ( radio = 1), el eje de abscisas y el eje de ordenadas; en este caso se
define sec x = hipotenusa / cateto adyacente.
Si la definimos en funcin de cos x, da: sec x = 1 / cos x.
Su perodo es p .
La funcin no tiene ceros ya que para que de existir tendra que poder anularse el numerador de la fraccin
1/cos x y eso no ocurre nunca porque es una constante.
La funcin sec x presenta asntotas para los valores del dominio donde el coseno de los mismos vale cero .
Estos son:
H = { x / x = (2k+1) p/2 }
Clasificacin:
No es una funcin inyectiva ni sobreyectiva porque:
1. Dos elementos distintos del dominio que difieran en p tienen igual imagen, por lo tanto no es inyectiva.
2. Existe por lo menos un elemento del codominio, por ejemplo y = 1/2 tal que no tiene preimgen.
Es una funcin par ya que elementos opuestos tienen imgenes iguales.
Si se considera todo su dominio no se puede decir nada acerca de si es o no estrictamente creciente o
decreciente.
Hay que considerar el anlisis por intervalos.

17. FUNCIN SIGNO

Definicin:
Es un funcin definida de los reales menos el cero en los reales.
Su frmula es:
: -{0} / y =

1 si x > 0

-1 si x < 0
El conjunto imagen es { -1, 1}

11
Clasificacin:
La funcin no es inyectiva ni sobreyectiva porque:
1. Para elementos distintos del dominio corresponden imgenes iguales, por ejemplo x1 = 3 y x2 = 4 la
imagen de ambos es y = 1.
2. Existe por lo menos un elemento del codominio que no tiene preimgen, por ejemplo y = 2.
Es impar ya que elementos opuestos tienen imgenes opuestas.
Se puede considerar que es creciente o decreciente pues la definicin de ambas es cierta por la condicin
de igualdad de las dos.

18. FUNCIN TANGENTE

Definicin:
Es una funcin definida de un conjunto A en los reales cuya frmula es:
: A / y = tan x , con A = - { x / x = (2k+1) p/2 }
El conjunto imgen es R.
Esta funcin es una de las denominadas circulares ya que la imagen para cada elemento del dominio est
definida por el cociente entre los catetos e hipotenusa de un tringulo rectgulo determinado por el radio
vector de una circunferencia trigonomtrica ( radio = 1), el eje de abscisas y el eje de ordenadas, en este
caso se define tan x = cateto opuesto / cateto adyacente.
Si la definimos en funcin de sen x y cos x, da: tan x = sen x / cos x.
Su perodo es p .
Los ceros de la funcin son los x que responden a :
x = k p , con k Z
La funcin tan x presenta asntotas para los valores del dominio donde el coseno de los mismos vale cero .
Estos son:
H = { x / x = (2k+1) p/2 }
Clasificacin:
No es una funcin inyectiva pero si es sobreyectiva porque:
1. Dos elementos distintos del dominio que difieran en p tienen igual imgen, por lo tanto no es inyectiva.
2. El conjunto imagen coincide con el codominio.
Es una funcin par ya que elementos opuestos tienen imgenes iguales.
Si se considera todo su dominio no se puede decir nada acerca de si es o no estrictamente creciente o
decreciente.
Hay que considerar el anlisis por intervalos.