Professional Documents
Culture Documents
Funciones elementales
3
3.1 Definiciones 29
La idea de funcin aparece por todas partes: cada persona tiene una edad o un nmero de hijos o
una cantidad de dinero en el bolsillo. No necesariamente tenemos que referirnos a nmeros, podemos decir que cada persona tiene, o tuvo, un color de pelo, una marca de coche, etc. El formalismo
de las funciones nos permite tratar todas estas situaciones de la misma forma.
3.1 Definiciones
3.1.1 Dominio, rango e imagen
Definicin 3.1. Una funcin f : A ! B es una regla que a cada elemento a de A le asocia un
nico elemento de B. Al conjunto A se la llama dominio de la funcin y a B se le suele llamar
codominio. No hay que confundir el codominio con la imagen de la funcin que es conjunto
f (A) = b 2 B : 9 a 2 A tal que f (a) = b .
La preimagen de un elemento b de B son aquellos elementos de A cuya imagen es B. Utilizaremos la siguiente notacin
1
(b) = {a 2 A : f (a) = b} .
(B0 ) = {a 2 A : f (a) 2 B0 } .
cos(x)
0
3
2
5
2
1 (2)
f) Cuando es la funcin positiva? Por definicin, cuando el valor de la funcin es mayor estrictamente que cero:
#
"
3 5
1
f (]0, +1[) = {x 2 [0, 3] : cos(x) > 0} = 0, [
,
.
2
2 2
Observa que en este caso f
1 (]0, +1[)
= f
1 (]0, 1]).
Ejemplo 3.4. Uno de los ejemplos ms frecuentes de funciones con los que nos encontramos
son las sucesiones. En el Captulo 13 hablaremos de ellas con ms detalle. Una sucesin es una
funcin cuyo dominio es el conjunto de los nmeros naturales. Si el codominio es el conjunto de
los nmeros reales, tenemos una sucesin de nmeros reales; si el codominio es el conjunto de
los alumnos de la clase, tendremos una sucesin de estudiantes, etc. Es importante resaltar que el
hecho de que el dominio sea N lo que nos da es una lista ordenada de elementos. Por ejemplo, la
funcin
f : N ! R,
f (n) = 2n
1 7! 2
2 7! 4
...
nos enumera el conjunto de los pares: el primer nmero par es el 2, el segundo el 4, etc.
Ejemplo 3.5. Todos los ejemplos hasta ahora han tenido subconjuntos de R como dominio y codominio. Es por eso que todas las representaciones las hemos hecho en el plano R2 . La representacin
de funciones con ms variables en salida o en llegada requiere ms
dimensiones para la representacin de su grfica. En la Figura 3.2
tienes la representacin de la funcin definida en el plano como
Funcin inversa
x2
18
18
x2
16
16
14
14
12
12
(-3,9) 10
(-3,9) 10
(3,9)
4 3 2 1 01 2 3 4
2
4 3 2 1 01 2 3 4
2
No
S
Figura 3.3 La funcin x2 es inyectiva?
6
4
2
exponencial
4
0 1
2
logaritmo neperiano
Esto tiene una consecuencia en las grficas de las funciones. Mira la Figura 3.4. Las grficas de
una funcin y su inversa son simtricas respecto de la bisectriz del primer cuadrante.
Cmo calculamos la inversa de una funcin? En teora es sencillo: si y = f (x) es la funcin,
slo tenemos que cambiar los papeles de x e y. Tenemos que despejar x como funcin de y. Esto
es la teora. Dependiendo de la funcin podemos estar ante un problema fcil o uno imposible.
Veamos un ejemplo.
f (x) = x2 + x + 1
5
4
y= x +x+1
2
1
3
p
1+ 4x 3
2
g(x) =
0 1
5
h(x) =
6
1
4x 3
2
f ( a) para cualquier a en A.
Las funciones pares son aquellas cuya grfica es simtrica respecto del eje OY. En otras palabras, si doblamos la hora por el
eje vertical, ambos mitades coinciden. Para conseguir el mismo efecto con una funcin impar tienes que doblar primero
respecto por eje vertical y, en segundo lugar, por el eje horizontal.
Ejemplo 3.10.
a) Las funciones f (x) = x2 o cos(x) son pares.
Ejemplo 3.12. Las funciones seno y coseno son peridicas con periodo 2 (o cualquier mltiplo entero de 2). El periodo fundamental de la tangente es . El caso trivial son las funciones
constantes: son peridicas con cualquier periodo. Por tanto, su periodo fundamental es cero.
3.1.5 Acotacin
Dada una funcin con valores reales, podemos hablar de M
cundo los valores que toma dicha funcin se encuentran
en un rango determinado, son mayores o son menores que
una cierta cantidad. En otras palabras, podemos aplicar las
nociones de acotacin de conjuntos a la imagen de la funcin. As surgen las nociones de funcin acotada y funcio- f(x)
nes acotadas superior o inferiormente.
Definicin 3.13. Sea f : A ! R una funcin.
m
Figura 3.8 Funcin acotada
a) Diremos que la funcin f est acotada superiormente si su imagen, f (A), lo est. En otras
palabras, f est acotada superiormente si existe un nmero M tal que f (a) M para
cualquier elemento a de A.
b) Diremos que la funcin f est acotada inferiormente si su imagen, f (A), lo est. En otras
palabras, f est acotada inferiormente si existe un nmero m tal que f (a) m para cualquier elemento a de A.
c) Diremos que la funcin est acotada si lo est superior e inferiormente.
Ejemplo 3.14. Las funciones seno o coseno estn acotadas. En cambio ningn polinomio, salvo
los constantes, es una funcin acotada en R.
Una vez que tenemos un conjunto acotado, podemos hablar de mximo y supremo.
Definicin 3.15. Sea f : A ! R una funcin.
a) Diremos que la funcin f tiene mximo si su imagen, f (A) lo tiene. Diremos que f alcanza
su mximo en a0 2 A si f (a) f (a0 ) para cualquier a 2 A.
b) Diremos que la funcin f tiene mnimo si su imagen, f (A) lo tiene. Diremos que f alcanza
su mnimo en a0 2 A si f (a) f (a0 ) para cualquier a 2 A.
Observacin 3.16. Ya sabemos que un conjunto acotado superiormente tiene supremo. No podemos decir lo mismo con respecto al mximo. Hay conjuntos que tienen supremo pero este no
se alcanza. Piensa, por ejemplo, en los intervalos abiertos. La misma situacin se puede dar con
funciones. Por ejemplo, la funcin f :]0, 1[!]0, 1[, f (x) = x est acotada, pero no tiene mximo
ni mnimo.
f (y)).
3
2
1
0
Monotona e inyectividad
Se deduce directamente de la definicin de funcin estrictamente montona que puntos del
dominio distintos tienen imgenes distintas. En particular, las funciones estrictamente montonas
son inyectivas. Es cierto el recproco? Es fcil encontrar ejemplos de que no es cierto en general.
Por ejemplo, la funcin f : [0, 3] ! R definida como
x,
si 0 x < 2,
f (x) =
5 x, si 2 x 3,
x,
si 0 x < 1,
f (x) =
5 x, si 2 x 3,
0 1
0 1
Como puedes ver, para la inyectividad no es una condicin suficiente para probar monotona si
consideramos funciones que no sean continuas o que no estn definidas en intervalos. En otro caso,
el resultado es cierto.
4
3
2
1
-2
-1
g(x) =
0
x
5
-1
-2
Figura 3.10 Funcin potencial
Como consecuencia se obtiene que los polinomios, suma de funciones potenciales con exponente
natural, son derivables en todo R. Ms concretamente, si p(x) = a0 + a1 x + . . . + an xn , entonces
p0 (x) = a1 + 2a2 x + . . . + nan xn 1 , 8 x 2 R.
x!+1
d) e x+y = e x ey .
6
5
f (x) = e x
4
3
2
g(x) = log(x)
1
-4
-3
-2
-1
-1
-2
-3
-4
Figura 3.11 Funciones exponencial y logaritmo neperiano
x!+1
g) log(1) = 0, log(e) = 1.
2
Haciendo uso de la siguiente frmula se deducen las dems funciones elementales, excepto las
trigonomtricas
b
ab = elog(a ) = eb log(a) , 8a 2 R+ , b 2 R.
f : R ! R, f (x) = a x , 8x 2 R
x!+1
x!+1
g(x) =
1
2.5 x
f (x) = 2.5 x
2
1
-2
-1
log(x)
8x 2 R+
log(a)
para cualesquiera x, y 2 R+ , z 2 R.
b) Si a > 1, g es estrictamente creciente y
x!+1
x!0
x!+1
x!0
f (x) = log(x)
g(x) = log0.5 (x)
2
1
-1
-2
-3
Figura 3.13 Funcin logaritmo
Funciones trigonomtricas
3.2.6 Las funciones seno y coseno
a) Son derivables en todo R y sen0 (x) = cos(x), cos0 (x) =
sen(x).
d) cos : [0, ] ! [ 1, 1] es una biyeccin estrictamente decreciente con cos(0) = 1, cos 2 = 0,
cos() = 1.
e) sen : [ 2 , 2 ] ! [ 1, 1] es una biyeccin estrictamente creciente con sen 2 = 1, sen(0) = 0,
sen 2 = 1.
f) La imagen, tanto de la funcin seno como de la funcin coseno, es el intervalo [ 1, 1].
cos(x), sen(x + ) =
sen(x), 8 x 2 R.
sen(x), 8 x 2 R.
0.5
0.5
1
1
Funcin seno
0.5
0.5
1
3
2
Funcin coseno
Figura 3.14 Las funciones seno y coseno
Radianes
Coseno
Seno
Tangente
0
/6
/4
/3
/2
2/3
3/4
5/6
1
p
3/2
p
2/2
1/2
0
1/2
p
2/2
p
3/2
1
0
1/2
p
2/2
p
3/2
1
p
32
p
2/2
1/2
0
0
p
1/ 3
1
p
3
p
3
1
p
1/ 3
0
Tabla 3.1 Valores de seno, coseno y tangente en los dos primeros cuadrantes
2
2
3
p
3
2
3
4
5
6
p
2
2
1
2
p
2
2
p
p
2
2
3
2
1
2
1
2
1
2
5
6
3
4
2
2
3
2
2
3
p
3
2
h = a sen()
rea= 12 bh
Teorema del coseno: c2 = a2 + b2
a
h
2ab cos()
sen(x)
tan : A ! R, A = R \
+ k : k 2 Z , tan(x) =
2
cos(x)
a) tan(x + ) = tan(x), 8 x 2 A.
i
h
b) tan :
,
2 2 ! R es una funcin continua y estrictamente creciente y adems verifica que
lim x! 2 tan(x) = 1 y lim x! 2 tan(x) = +1.
c) La funcin tangente es derivable y
tan0 (x) = 1 + tan2 (x) =
1
.
cos2 (x)
cosec : B ! R, cosec(x) =
donde A = R \ { 2 + k : k 2 Z} y B = R \ {k : k 2 Z}.
Dichas funciones son continuas y derivables en su correspondiente dominio y
sec0 (x) = tan(x) sec(x),
cosec0 (x) =
cotan(x) cosec(x),
1
= cosec2 (x) = (1 + cotan2 (x)).
cotan0 (x) = 2
sen (x)
Arcocoseno
Esta funcin es la inversa de la restriccin de la funcin seno al intervalo [ 2 , 2 ], y por tanto arcsen : [ 1, 1] ! [ 2 , 2 ] verifica que
sen(arcsen(x)) = x, 8x 2 [ 1, 1].
Adems, es una funcin biyectiva, continua y estrictamente creciente con
arcsen( 1) =
, arcsen(0) = 0, arcsen(1) = .
2
2
Por ltimo, es derivable en el intervalo abierto ] 1, 1[ con derivada
arcsen0 (x) = p
1
Arcoseno
1
x2
Funcin arcocoseno
Es la funcin inversa de la restriccin de la funcin coseno al intervalo [0, ], y por tanto
cos(arccos(x)) = x, 8x 2 [ 1, 1].
Esta funcin es biyectiva, continua y estrictamente decreciente con
1, 1[ con derivada
arccos0 (x) = p
1
1
x2
Funcin arcotangente
Es la inversa de la restriccin de la funcin tangente al intervalo
arctan : R !
,
2 2
2, 2
y, por tanto,
x! 1
1
.
1+x2
Arcotangente
tan(x) tan(y)
1 tan(x) tan(y)
1=1
2 sen2 (x)
d) Angulo mitad
e) Producto
1
sen2 (x) = (1 cos(2x))
2
1
cos2 (x) = (1 + cos(2x))
2
x 1 cos(x)
sen(x)
tan
=
=
2
sen(x)
1 + cos(x)
1
(cos(x y) cos(x + y))
2
1
cos(x) cos(y) = (cos(x y) + cos(x + y))
2
1
sen(x) cos(y) = (sen(x + y) + sen(x y))
2
sen(x) sen(y) =
y2 = 1
1
(), ())
rea
ex
e
2
, cosh(x) =
ex + e x
senh(x)
, tanh(x) =
2
cosh(x)
Por analoga con las funciones trigonomtricas hablaremos tambin de tangente, secante y cosecante hiperblica.
4
3
2
1
4
Seno hiperblico
Coseno hiperblico
senh2 (x) = 1,
cosech2 (x) = 1
y) = senh(x) cosh(y)
cosh(x) senh(y),
y) = cosh(x) cosh(y)
senh(x) senh(y).
c) ngulo doble
senh2 (x) =
1 + cosh(2x)
,
2
cosh2 (x) =
1 + cosh(2x)
.
2
x2
arcsenh(x) = log x +
+1
p
2
arccosh(x) = log x + x 1
!
1
1+x
arctanh(x) = log
2
1 x
3.3 Ejercicios
Ejercicio 3.1. Calcula el dominio de las siguientes las funciones:
x 2
d)
y
=
tan
x
+
a) y = x+2
4
2
e) y = log(sen(x))
x 5x+6
b) y = log x2 +4x+6
p
q
f)
y
=
log(sen(x))
c) y = 1 x| x |
p
Ejercicio 3.2. Si f (x) = 1/x y g(x) = 1/ x, cules son los dominios naturales de f , g, f + g,
f g y de las composiciones f g y g f ?
Ejercicio 3.3.
a) f (x) = | x + 1 | | x
b) f (x) = log 1+x
1 x
c) f (x) = e x + e x
d) f (x) = e x e x
e) f (x) = sen (| x |)
f) f (x) = cos(x3 )
1|