MDULO 7

CONTENIDO
CAPTULO 6
6. FUNCIONES
6.1 RELACIONES Y FUNCIONES
6.1.1 Producto cartesiano
6.1.2 Relacin
6.2 PROPIEDADES DE LAS FUNCIONES
6.2.1 Dominio
6.2.2 Funciones pares
6.2.3 Funciones impares
6.2.4 Funciones inyectivas
6.2.5 Funciones subyectivas
6.2.6 Funciones biyectivas
6.3 OPERACIONES CON FUNCIONES
6.3.1 Suma de funciones
6.3.2 Resta de funciones
6.3.3 Multiplicacin de funciones
6.3.4 Divisin de funciones
6.4 TIPOS DE FUNCIONES
6.4.1 Funciones constantes
6.4.2 Funciones lineales o afines
6.4.3 Funcin cuadrtica
6.4.4 Funciones polinmicas
6.4.5 Funciones racionales
6.4.6 Funciones radicales
6.4.7 Funciones exponenciales
6.4.8 Funciones logartmicas
6. FUNCIONES
En matemticas, una funcin, aplicacin o mapeo f es una relacin entre un conjunto
dado X (el dominio) y otro conjunto de elementos Y (el codominio) de forma que a cada
elemento x del dominio le corresponde un nico elemento del codominio f(x). Se denota
por:
Comnmente, el trmino funcin se utiliza cuando el codominio son valores numricos,
reales o complejos. Entonces se habla de funcin real o funcin compleja mientras que a
las funciones entre conjuntos cualesquiera se las denomina aplicaciones.
2

6.1 RELACIONES Y FUNCIONES
6.1.1 Producto cartesiano. Dados dos conjuntos A y B (no vacos), se define por producto
cartesiano el conjunto de parejas ordenadas de la forma (a,b) tales que a es un elemento
de A y b es un elemento de B. En smbolos } , : ) , {( B b A a b a B A .
Ejemplo. Sea A = {1,2,3} y B = {a, b} Determinar B A .
Solucin. )} , 3 ( ), , 3 ( ), , 2 ( ), , 2 ( ), , 1 ( ), , 1 {( b a b a b a B A .
Ejemplo. Sea A = B = R, donde R es el conjunto de los nmeros reales; se nota a
2
R R R
al conjunto de parejas ordenadas cuyas primera y segunda componentes son
nmeros reales. Este conjunto se representa por un plano donde el valor horizontal
representa el valor de la primera componente y el valor vertical representa el valor de la
segunda componente.
6.1.2 Relacin. Todo subconjunto de S de B A se dice relacin entre A y B.
Ejemplo. Sea A=B=N el conjunto de los nmeros naturales. Sea S el conjunto de parejas
N N b a ) , ( tales que a es mltiplo de b; por ejemplo, (8,2) pertenece a esta relacin y
parejas como (10,15) no pertenecen a la relacin. En smbolos se escribe
N N b a S ) , {( tales que a es mltiplo de b}.
Ntese que en este ejemplo existen parejas ordenadas cuya primera componente es igual.
Por ejemplo (20,4) y (20,5).
Ejemplo. Sea A=R el conjunto de los nmeros reales y sea } 0 {
+
R B el conjunto de los
reales no negativos. Definimos la siguiente relacin T: (a,b) pertenece a la relacin T si
b=a
2
.
La pareja (2,4) y la pareja (-3,9) pertenecen a la relacin.
Dominio, codominio y rango de una relacin. Dada una relacin S entre un par de
conjuntos A y B, por dominio de la relacin se entiende el conjunto de valores que puede
tomar la primera componente. En trminos generales el dominio es el conjunto A (de no
ser as, se excluyen los elementos que no aparezcan relacionados con algn elemento de
B).
Por codominio de una relacin se entiende el conjunto B y por rango el subconjunto de B,
formado por elementos que se relacionan con algn elemento de A.
En smbolos, dada S relacin de A en B se tiene que
A S Dom ) ( ; (Dominio),
B S Cod ) ( ; (Codominio)
: { ) ( B b S Ran Existe A a y } ) , ( S b a ; (Rango).
3

Representacin de relaciones. Existen varias formas de representar relaciones: como
parejas ordenadas, segn la definicin, por diagramas sagitales y en el caso de relaciones
entre conjuntos de nmeros, se acostumbra a utilizar el plano cartesiano indicando los
puntos que pertenecen a la relacin en el plano. En el taller anterior (cnicas), dichas
ecuaciones se pueden considerar como relaciones.
Funciones. Dados dos conjuntos A y B y una relacin f entre A y B, f se dice funcin de. Si
(a, b) y (a, c) son elementos de f entonces, b=c. Es decir, no pueden existir dos parejas
ordenadas que sean distintas y cuya primera componente sea igual (dado un valor en el
dominio, la funcin slo lo relaciona con uno en el codominio).
Los mtodos de representacin para relaciones aplican para funciones; en especial para el
caso de funciones sobre conjuntos numricos, el mtodo del plano cartesiano se usar
para distinguir algunas propiedades para ciertos tipos de funciones.
Ejemplo. Anteriormente se trabaj el siguiente ejemplo:
Sea A = R, el conjunto de los nmeros reales y sea } 0 {
+
R B el conjunto de los reales
no negativos. Definimos la siguiente relacin T: (a,b) pertenece a la relacin T si b=a
2
. En
este caso T es una funcin, porque dado un valor cualquiera en el dominio, la relacin T
slo lo asocia con un valor en el codominio (su cuadrado).
Ejemplo. De la seccin de cnicas se observa que, dada la ecuacin de una recta Ax +By
+C = 0 al expresarla en su forma cannica y = mx + b, se verifica que la recta representa
una funcin del conjunto de los nmeros reales. En general, ms adelante se analizar la
recta no como cnica sino como funcin.
Ejemplo. Considere la siguiente ecuacin 100
2 2
+ y x . Representa la ecuacin de una
circunferencia centrada en (0,0) y de radio 10, si la consideramos como relacin, las
parejas (8,-6) y (8,6) pertenecen a la relacin y los valores para la segunda componente
son distintos; por lo tanto, en este caso no representa una funcin.
En general, para el caso de las cnicas, stas representan funciones slo en el caso de la
recta y para las parbolas verticales.
Toda frmula definida en trminos de una o ms variables (por ejemplo, las frmulas para
hallar reas y volmenes de figuras geomtricas) son ejemplos clsicos de funciones, esto
no implica que toda funcin se representa por una frmula.
6.2 PROPIEDADES DE LAS FUNCIONES
Para esta parte, se analizarn detalles en general para las funciones cuyo dominio y
codominio son subconjuntos del conjunto de los nmeros reales.
6.2.1 Dominio. Para el caso de funciones de valor real a valor real, el dominio es el
conjunto de todos los nmeros reales en los cuales es posible evaluar la funcin. Aunque
en la mayora de los textos se acostumbra a expresar como dominio de una funcin a todo
R, realmente el dominio debe restringirse por problemas de indeterminacin matemtica
4

(divisin por cero, extraccin de races de ndice para cantidades negativas o extraccin de
logaritmos a cantidades nulas o negativas) o sencillamente porque el contexto de cada
problema as lo plantea.
Ejemplo. La altura de un cohete en metros viene dada por la expresin 10 5 ) (
2
+ + t t t h
, donde h es la altura y t el tiempo en segundos. El cohete estalla tres segundos despus
de ser lanzado.
En este caso la funcin no tiene problema para ser evaluada en ningn nmero, pero el
contexto de la situacin indica que no tiene sentido para valores negativos y para valores
superiores a 3.
Codominio y rango. El codominio de toda funcin real se asume igual al conjunto de
los nmeros reales. Para el caso del rango, se toman slo los valores que alcanza la
funcin.
Ejemplo: Considere la funcin f(x)=x
2
+1.
El dominio es R, el codominio tambin es R, pero el rango es el conjunto de los
nmeros mayores o iguales a 1; luego
Dom(f)=R,
Cod(f)=R,
Ran(f)=[1,+).
Evaluacin. Evaluar una funcin significa reemplazar un valor determinado en la
definicin de la funcin; es decir, si a se puede evaluar en f y se obtiene un valor b se
dice que b es la imagen de a por f.
Ejemplo. Evaluar -2 en la funcin g(x)=4x-1.
Solucin: Se reemplaza x por -2:
g(-2)=4(-2)-1=-8-1= -9.
En conclusin la imagen de -2 por g es -9.
Grficas. La grfica de una funcin es el conjunto de parejas (x,y) tales que f(x)=y. Una
grfica permite analizar el comportamiento de la funcin. Por ejemplo, el punto de corte
con el eje y determina el valor de la funcin en 0. Los puntos de corte de la funcin con
el eje x se llaman races de la funcin.
5

Crecimiento y decrecimiento. Una funcin f sobre un intervalo se dice creciente si
dados ab, se verifica que f(a) f(b). Grficamente la funcin se dice creciente si su
grfica presenta un trazo ascendente.
Ejemplo. La funcin y=f(x)=3x-1 es creciente sobre el conjunto de los nmeros reales.
Anlogamente, una funcin f sobre un intervalo se dice decreciente si dados ab, se
verifica que f(b) f(a). Grficamente la funcin se dice creciente si su grfica presenta un
trazo descendente.
Ejemplo. La
funcin y=f(x)=-5x es decreciente sobre el conjunto de los nmeros reales.
6.2.2 Funciones pares. Una funcin f se dice par si verifica que para todo ) ( f Dom x ,
f(x)=f(-x). Una funcin se dice par si su grfica es simtrica respecto al eje y.
6

Ejemplo. f(x)=x
2
+1 es una funcin par.
En general todo polinomio donde los exponentes de sus trminos son todos pares es
funcin par.
6.2.3 Funciones impares. Una funcin se dice impar si verifica que para todo
) ( f Dom x , -f(x)=f(-x). Grficamente una funcin es impar si es simtrica respecto al
origen.
7

Ejemplo. La funcin f(x)=x
3
es impar.
En general, todo polinomio donde los exponentes de todos sus trminos son impares es
funcin impar.
6.2.4 Funciones inyectivas. Una funcin f se dice inyectiva si al evaluarla en valores
distintos se obtienen imgenes distintas; es decir, si xy entonces f(x) f(y).
Equivalentemente se dice que si dos valores poseen la misma imagen por la funcin
entonces son iguales. Si f(x)=f(y) entonces x=y. En trminos comunes se expresa como a
valores distintos, imgenes distintas.
6.2.5 Funciones sobreyectivas. Una funcin f se dice sobreyectiva si para cada elemento
del codominio y existe un elemento en el dominio x tal que f(x)=y. Equivalentemente, una
funcin se dice sobreyectiva si Cod(f)=Ran(f).
6.2.6 Funciones biyectivas. Una funcin f se dice biyectiva si es inyectiva y sobreyectiva
al mismo tiempo.
6.3 OPERACIONES CON FUNCIONES
Al igual que cualquier pareja de nmeros las funciones se pueden operar de la misma
forma. Las funciones se pueden sumar, restar, multiplicar por constantes, multiplicar entre
ellas y dividir teniendo cuidado con los dominios de las funciones involucradas.
6.3.1 Suma de funciones. Las funciones se suman imagen a imagen; es decir, se
adicionan las expresiones involucradas. En smbolos (f+g)(x)=f(x)+g(x).
6.3.2 Resta de funciones. Para restar un par de funciones se restan sus imgenes
componente a componente; es decir, se restan sus expresiones.
En smbolos (f-g)(x)=f(x)-g(x).
6.3.3 Multiplicacin de funciones. Para multiplicar funciones se debe multiplicar imagen
a imagen; es decir, se deben multiplicar sus expresiones.
En smbolos (fg)(x)=f(x)g(x).
6.3.4 Divisin de funciones. Para dividir dos funciones se procede a dividir imagen a
imagen y para aquellos valores en los cuales la funcin denominador no se anule.
En smbolos
) (
) (
) (
x g
x f
x
g
f

,
_

, donde g(x)0.
En las cuatro anteriores operaciones el dominio de la funcin resultante es la interseccin
de los dominios.
8

Composicin de funciones. Sea f funcin de A en B y sea g funcin de C en B, se
define funcin compuesta f g de A en C de la siguiente forma )) ( ( ) )( ( x f g x f g .
Funcin inversa. Cuando una funcin f de un conjunto A en un conjunto B es
biyectiva, se define una funcin
1
f de B en A por a b f

) (
1
, si y slo si b a f ) ( ,
donde B b A a , .
La anterior funcin se denomina funcin inversa de la funcin f. La anterior notacin
puede crear confusin pues se usa en lgebra para el recproco. En lo que se relaciona a
funciones los conceptos de recproco y de inverso son distintos.
6.4 TIPOS DE FUNCIONES
6.4.1 Funciones constantes. Toda expresin de la forma y=f(x)=k siendo k nmero real,
se denomina funcin constante. En una funcin constante, sin importar el nmero en el
cual se evale, siempre se obtiene el mismo valor. La grfica de una funcin constante es
una recta horizontal de altura k. El dominio de toda funcin constante es el conjunto de los
nmeros reales, el codominio se reduce al valor k.
Ejemplo. Graficar la funcin y=3.
Solucin. La ecuacin representa una funcin constante, por lo tanto se grfica la recta
horizontal de altura 3.
Dom (f)= R, Ran(f)={3}.
9

6.4.2 Funciones lineales o afines. Toda expresin de la forma y=f(x)=mx+b donde m y b
son nmeros reales, m0 representa una funcin afn. Si b=0 la funcin se dice lineal. La
grfica de una funcin de este tipo es una recta de pendiente m y que pasa por el punto
(0,b). Si m>0 la funcin es creciente y si m<0 la funcin es decreciente. En este tipo de
funciones el dominio y el rango son el conjunto de los nmeros reales, adems son
biyectivas.
Ejemplo. Considere la funcin y=f(x)3x+1, evaluarla para x=0 y x=1. Trazar su grfica.
Solucin. Se reemplazan los dos valores indicados en la funcin:
f(0)=3(0)+1=0+1=1
f(1)=3(1)+1=3+1=4
La grfica de la funcin es una recta que pasa por (0,1) y por (1,4).
6.4.3 Funcin cuadrtica. Toda expresin de la forma y=f(x)=ax
2
+bx+c donde a, b y c son
nmeros reales y a0, representa una funcin cuadrtica o una funcin de segundo
orden. La grfica de una funcin cuadrtica es una parbola que abre hacia arriba
si a>0 y abre hacia abajo si a<0. Las coordenadas del vrtice vienen dadas por la
expresin

,
_

,
_

a
b
f
a
b
2
,
2
.
El dominio de una funcin cuadrtica es el conjunto de los nmeros reales. Para el rango
depende si la parbola abre hacia arriba o hacia abajo:
El rango es

,
_

+
,
_

,
2a
b
f si a>0 y el rango es
1
]
1

,
_

a
b
f
2
, si a<0. La funcin
cuadrtica no es inyectiva.
10

Ejemplo. Graficar la funcin y=f(x)=x
2
-2x+3.
Solucin. Se determina la coordenada en x del vrtice de la parbola reemplazando en la
frmula para el vrtice:
1
2
2
) 1 ( 2
) 2 (
2

a
b
, por lo tanto se toman valores a la derecha e
izquierda de 1,
x -1 0 1 2 3
y 6 3 2 3 6
Para obtener la grfica
11

6.4.4 Funciones polinmicas. Son toda expresin de la forma
0 1
1
1
... ) ( a x a x a x a x f y
n
n
n
n
+ + + +

donde
0 1 1
, ,..., , a a a a
n n
son nmeros reales y 0
n
a
se denomina funcin polinmica de grado n. Observe que las funciones constantes se
pueden considerar como funcin polinmica de grado 0 las afines como polinmicas de
grado 1 y las cuadrticas como polinmicas de grado 2. La grfica de la funcin depende
del grado del polinomio. El dominio de este tipo de funciones es el conjunto de los
nmeros reales.
Para el rango se considera el grado del polinomio; si el grado de la funcin es impar, el
rango es el conjunto de los nmeros reales. En caso de un polinomio de grado par, el
rango no es el conjunto de los nmeros reales, es un intervalo. Para este caso no existe un
mtodo certero que permita determinar el rango. En este tipo de funciones todo valor de x
que satisfaga que f(x)=0 se denomina raz del polinomio. Se puede demostrar que toda
funcin polinmica de grado n tiene como mximo n races (no necesariamente nmeros
reales) y para el caso de las funciones polinmicas de grado impar que estas poseen al
menos una raz real.
Ejemplo. Sea f(x)=x
3
-3x
2
+5x-7 una funcin polinmica de grado 3 o cbica.
6.4.5 Funciones racionales. Toda expresin de la forma
) (
) (
) (
x Q
x P
x f y
donde P(x) y
Q(x) son funciones polinmicas y Q(x) no es el polinomio 0, se denomina funcin
racional. La grfica de una funcin racional depende de los polinomios que
aparecen en el numerador y en el denominador. El dominio de este tipo de
funciones es el conjunto de los nmeros reales excluyendo las races del polinomio
que aparece en el denominador, en smbolos } 0 ) ( : { ) ( x Q R x R f Dom .
Para el rango se debe analizar la funcin para determinarlo.
Ejemplo:
La funcin
25
8 3
) (
2

x
x
x f es una funcin racional. El dominio de esta funcin es el
conjunto de los nmeros reales excluyendo las races de x
2
-25 las cuales son 5 y -5; por lo
tanto, } 5 , 5 { ) ( R f Dom .
6.4.6 Funciones radicales. Toda expresin de la forma yf(x) en la cual la definicin de f
incluye la extraccin de la raz de una expresin algebraica se denomina funcin
radical. Para determinar el dominio de una funcin radical se consideran las
cantidades que aparecen bajo radicandos de ndice par determinando para qu
valores dicha cantidad es positiva o cero.
6.4.7 Funciones exponenciales. Toda expresin de la forma yf(x) a
x
donde a es un
numero real positivo se denomina funcin exponencial de base a. El dominio de este tipo
de funciones es el conjunto de los nmeros reales y el rango del conjunto de los reales
positivos. La funcin es creciente si a>1 y decreciente si a<1.
12

6.4.8 Funciones logartmicas. Toda expresin de la forma x Log x f y
a
) ( se
denomina funcin logartmica de base a siendo a>0. El dominio de este tipo de funciones
es el conjunto de los nmeros positivos y el rango es el conjunto de los nmeros reales.
6.4.9 Funciones segmentadas o funciones a trozos. Existen funciones que no se
definen por una sola expresin o frmula sino que se utilizan varias expresiones para
definirlas en diferentes subconjuntos disyuntos del conjunto de los nmeros reales. Este
tipo de funciones se denomina funciones segmentadas o funciones a trozos. Para evaluar
un nmero en este tipo de funciones se determina en qu subconjunto se encuentra el
nmero y luego se aplica la expresin respectiva. El dominio depende de la definicin de la
funcin, anlogamente sucede para el rango.
Ejemplo:
Considere la siguiente funcin f(x)=

'

5
1
1 3
2
x
x

si
si
si
2
2 0
0

< <

x
x
x
, evaluar en x=-4 x=1 y x=8.
Solucin:
Si x=-4, el valor de la funcin lo determina la primera restriccin.
f(-4)=3(-4)-1=-12-1=-13, de forma anloga se procede para los otros dos valores
f(1)=(1)
2
+1=1+1=1;
f(8)=5.
La grfica de esta funcin es una recta hasta 0, una parbola entre 0 y 2, una constante
despus de 2
.
13