Captulo Cero

I. N

UMEROS
0.1. Los n umeros racionales.
El conjunto formado por los n umeros 1, 2, 3, ... se denota por N y se dira
que es el conjunto de los n umeros naturales. Son los n umeros que, histori-
camente, aparecen primero en escena, pues se usan para reejar de cuantos
miembros consta cualquier grupo: un reba no, una tribu,... En algunas situa-
ciones puede interesar que N contenga el n umero 0, pero es completamente
irrelevante considerar que N contenga el cero o no. La caracterstica funda-
mental de N es que posee un primer elemento (sea este 0 o 1) y que para
cada natural hay un siguiente.
El conjunto formado por 0, 1, 2, ... se denota por Z y se dira que es el
conjunto de los n umeros enteros. Durante mucho tiempo los matematicos
no sintieron la necesidad de considerar n umeros negativos. Por ello, los llama-
dos n umeros racionales fueron considerados antes que los enteros negativos.
Se llama n umero racional al cociente
m
n
de dos enteros m y n con n = 0. Re-
cuerdese que
mp
np
y
m
n
representan el mismo n umero racional. Por tanto, todo
n umero racional puede representarse de la forma
m
n
con m y n sin divisores
comunes, pues bastara dividir numerador y denominador por su maximo
com un divisor. Se denota por Q el conjunto de todos los n umeros racionales.
Fueron usados por las civilizaciones egipcia y babilonica, pues son necesar-
ios en problemas cotidianos (como la medida de longitudes). Para resolver
1
el problema de la medida de longitudes, se escoge un segmento cualquiera
como unidad y los demas se miden con respecto a el. As,
3
2
representara la
longitud de un segmento que contuviera tres mitades del segmento unidad.
Estas simples ideas son las que se necesitan para proceder a representar los
n umeros racionales en una recta. Se escoge una recta en el plano geometri-
co y en ella se seleccionan dos puntos: O (el origen) y a su derecha U, y el
segmento OU se toma como segmento unidad. Los puntos O y U son las rep-
resentaciones gracas de 0 y 1, respectivamente. Para representar el n umero
racional
m
n
, con m y n enteros positivos, se divide el segmento unidad OU en
n partes iguales y una de esas partes (que es un segmento de longitud
1
n
) se
lleva m veces a la derecha de O, obteniendose un punto P. Se dira que P es
la representacion graca del n umero
m
n
y tambien que
m
n
es la abcisa (o
coordenada) de P (notese que
m
n
es la longitud del segmento OP).
Ahora podemos ver la conveniencia de considerar n umeros negativos. Has-
ta el momento, hemos visto que podemos asociar a los puntos P de la recta
situados a la derecha de O una coordenada x que representa la longitud del
segmento OP. Se ocurre asignar a un punto Q, situado a la izquierda de O,
el n umero negativo x que, cambiado de signo, representa la longitud del seg-
mento OQ. De esta forma a todo n umero racional x, positivo o negativo, le
corresponde un punto P sobre la recta. Esta idea es de gran importancia en
las aplicaciones de las matematicas a las ciencias. Imaginemos una partcula
que se mueve a lo largo de la recta. Su posicion en la recta en el instante t
puede venir reejada por la coordenada x(t) del punto donde se encuentra
en ese instante. x(t) sera positivo o negativo, seg un que la partcula este a la
derecha o a la izquierda de O en el instante t.
Terminamos este apartado recordando que todo n umero racional
m
n
puede
expresarse en forma decimal realizando la division (con decimales) de m entre
n. As, por ejemplo,
3
2
= 1.5,
7
3
= 2.3333..., etc. En unos casos, la expresion
decimal es nita y, en otros, innita (con un n umero de cifras decimales
innito). Pero cuando la forma decimal de un n umero racional es innita
siempre hay un periodo, como ocurre con
7
3
= 2.3333... o con
193
90
= 2.14444....
2
Es decir, cuando un n umero racional tiene un desarrollo decimal innito
entonces, a partir de alguna cifra decimal, se repite un mismo grupo de cifras
decimales al que se denomina periodo. En el caso de
193
90
el periodo es 4. No
es difcil demostrar esta propiedad
Teorema 0.1.1. Si un n umero racional tiene un desarrollo decimal innito,
entonces este es periodico.
DEMOSTRACI

ON: Consideremos un n umero racional

m
n
que tiene un desar-
rollo decimal ilimitado N

c
1
c
2
c
3
.... Esto signica que, al dividir m por n, nun-
ca encontramos un resto nulo y podemos obtener innitas cifras decimales. El
resto que se obtiene al calcular la cifra decimal c
i
lo denotamos por r
i
. Estos
restos solo pueden ser 1, 2, 3, ..., n 1, pues un resto siempre es menor que el
divisor, en nuestro caso, n. Por tanto, entre los primeros n restos r
1
, r
2
, ..r
n
tiene que haber dos iguales. Supongamos que los dos primeros restos que
coinciden son r
i
y r
j
(i < j). Las cifras decimales c
i
, c
i+1
, .., c
j1
volveran a
aparecer a partir de c
j
. Este es el periodo que se repite eternamente.
0.2.

2 no es racional.
Los n umeros racionales son faciles de presentar y manipular, pero des-
graciadamente resultan insucientes para las necesidades, incluso mas ele-
mentales, de las ciencias. Para convencernos de esto, vamos a considerar un
cuadrado cuyos lados sean iguales al segmento unidad OU. La longitud de sus
lados es 1, pero que longitud tiene una diagonal del cuadrado? El Teorema
de Pitagoras nos permite escribir 1
2
+ 1
2
= d
2
. Es decir, la longitud de la
diagonal es d =

2. Hasta ahora, solo hemos tratado con n umeros racionales,

cociente de dos n umeros enteros, pero en un problema tan elemental como el
anterior nos hemos topado con el n umero

2. Vamos a probar que

2 no es
un n umero racional.
3
Teorema 0.2.1.

2 no se puede expresar como cociente de dos n umeros

enteros.
DEMOSTRACI

ON: Vamos a hacer la demostracion en dos pasos indepen-

dientes
a) Si el cuadrado de un entero positivo m es par, entonces el propio m es
par: Basta comprobar que m impar obliga a que sea m
2
impar tambien. En
efecto, sea m = 2k + 1, entonces (2k + 1)
2
= 4k
2
+ 4k + 1 = par + 1.
b)

2 no es racional. Vamos a suponer que

2 =
m
n
, siendo m y n enteros
positivos sin divisores comunes y llegaremos a una contradiccion. Esto de-
mostrara que es imposible que

2 sea racional. Tenemos, pues, que

2 =
m
n
.
De la igualdad

2 =
m
n
resulta que m
2
= 2 n
2
. Esta ultima obliga a que m
2
sea par y esto solo es posible si el propio m es par, seg un hemos visto en el
apartado (a). Hemos obtenido, pues, que m es par. Entonces podemos poner
m = 2k y sustituyendo en la igualdad m
2
= 2 n
2
, resulta 4k
2
= 2n
2
. O lo
que es lo mismo 2k
2
= n
2
. Recapitulemos: el supuesto de que

2 =
m
n
, con
m y n sin divisores comunes, nos ha permitido deducir: (a) m es par y (b)
n
2
= 2k
2
. Repitiendo el razonamiento anterior, de la igualdad n
2
= 2 k
2
,
podemos deducir que n debe ser par. Hemos llegado, pues, a que m y n son
ambos divisibles por 2. Esto es imposible, pues se ha partido de dos n umeros
m y n sin divisores comunes.
Hemos comprobado que

2 no es racional. Con un razonamiento similar

se puede probar que

n no es racional, siempre que n no sea un cuadrado
perfecto. Tambien se prueba, aunque la demostracion es de mayor dicultad,
que no son racionales y e. Estos hechos nos dicen que el campo numerico
formado por los racionales no sirve para dar respuesta a los problemas que
nos plantean las ciencias y que necesitaremos otros n umeros mas complicados
conceptualmente que los racionales.
4
0.3. Los n umeros irracionales.
Para presentar los n umeros irracionales, vamos a recurrir a su repre-
sentacion decimal. Al contrario que los racionales, los n umeros irracionales
tienen una representacion decimal innita y no periodica. Un ejemplo puede
ser el siguiente:
0

12112111211112111112.... (1)
El conjunto formado por los n umeros racionales junto con los irracionales
se denota por R y se dira que es el conjunto de los n umeros reales. Por tanto,
son n umeros reales tanto el racional
m
n
como el irracional que aparece en (??).
Tambien es un n umero real

2; si quisieramos encontrar su desarrollo deci-

mal, tendramos que realizar la raz cuadrada de 2 e ir sacando las sucesivas
cifras decimales que, por tratarse de un n umero irracional, seran innitas y
no presentaran un periodo.
Sabemos que en Q podemos considerar dos operaciones principales, suma
y producto, con las propiedades:
1. Commutativa: x + y = y + x; x y = y x
2. Asociativa: (x + y) + z = x + (y + z); (x y) z = x (y z).
3. Distributiva del producto respecto de la suma: x (y +z) = x y +x z.
4. Existencia de elemento neutro: x + 0 = 0 + x = x; x 1 = 1 x = x.
5) Todo n umero posee simetrico:
x + (x) = 0 x R, x
1
x
= 1 x R(x = 0).
Por esta razon se dice que (Q, +, ) es un cuerpo commutativo. En R,
la suma y el producto gozan de las mismas propiedades anteriores, por lo
que tambien (R, +, ) es un cuerpo commutativo. Es decir, realizaremos las
operaciones con n umeros reales teniendo en cuenta las propiedades familiares
de los n umeros que hasta ahora hemos manejado.
EJEMPLO. En cierta aplicacion nos encontramos con la necesidad de
efectuar el calculo siguiente
1+

2
1

2
. Procederamos de este modo: Primero
5
vamos a convertir el denominador en racional; multiplicando numerador y
denominador por 1 +

2, resulta
1 +

2
1

2
=
(1 +

2)
2
(1

2) (1 +

2)
=
1
2
+ 2

2 + (

2)
2
1
2
(

2)
2
=
1 + 2

2 + 2
1 2
=
3 + 2

2
1
.
Por tanto, hemos obtenido
1+

2
1

2
= 3 2

2. Ahora calculamos

2 con
el n umero de cifras decimales que requiera la precision que exige nuestro
problema concreto. Si necesitamos

2 con tres cifras decimales, tomaramos

2 = 1

414 y el valor nal de nuestro cociente sera

1 +

2
1

2
= 3 2 1

414 = 3 2

828 = 5

828.
En denitiva, en la practica no tendremos que manipular los n umeros ir-
racionales considerando su desarrollo decimal ilimitado, pues, en el calculo
nal, siempre cortaremos el desarrollo decimal innito, quedandonos con el
n umero de cifras decimales que precisa la aplicacion concreta.
Sin embargo, R es un cuerpo mas rico que Q. As, hemos visto que en Q
no se pueden realizar las races

n, si n no es un cuadrado perfecto. Pero
en R existen todas ellas, si n no es negativo. Mas adelante veremos algunas
otras carencias de Q con respecto a R.
0.4. Desigualdades.
Si x e y son n umeros reales, cuando escribimos x > y, entendemos que
xy es positivo. La relacion existente entre las operaciones suma y producto,
y el orden se pueden reducir a estas reglas basicas:
1. x > y y z > 0 implican x z > y z.
2. x > y implica x + z > y + z, cualquiera que sea z R.
De estas dos se deducen todas las relaciones que podamos necesitar.
Veamos algunos ejemplos:
3. z > 0 implica z < 0. En efecto, la propiedad (2) me dice que puedo
sumar un n umero a ambos miembros de una desigualdad y esta no cambia.
6
Entonces sumando z, de z > 0 se obtiene z + (z) > z + 0. Es decir,
0 > z.
4. x > y implica z x < z y, si z < 0. Por (3) sabemos que z > 0.
Por (1) puedo multiplicar cada miembro de una desigualdad por un n umero
positivo y esta no cambia. Entonces multiplicando por z (positivo), de x > y
resulta z x > z y. Sumando ahora z y a ambos miembros de esta ultima,
obtenemos z y z x > 0, que es lo mismo que z y > z x.
Es importante destacar esta ultima propiedad. Arma que al multiplicar
cada miembro de una desigualdad por un n umero negativo esta cambia de
sentido. Veamos un ejemplo concreto: Si multiplicamos la desigualdad 4 > 3
por 2, resulta 8 < 6.
Terminamos este apartado recordando las deniciones de los diferentes
tipos de intervalos. Si a y b son dos n umeros reales tales que a < b, el conjunto
de todos los n umeros reales x que verican la cadena de desigualdades a
x b se denota por [a, b] y recibe el nombre de intervalo cerrado de extremos
a y b. Con (a, b) se denota el conjunto de todos los n umeros reales x que
verican a < x < b y se dice que es el intervalo abierto de extremos a y b.
Otros tipos de intervalos que usaremos son los siguientes
[a, b) = {x R : a x < b}, (, b] = {x R : x b}, (a, +) = {x R : a < x}.
0.5. La propiedad del supremo.
Si A es un subconjunto no vaco de R, diremos que A es un conjunto
acotado superiormente si existe c R vericando a c, cualquiera que
sea a A. c recibe el nombre de cota superior de A. Si c es cota superior
de A, entonces cualquier n umero mayor que c tambien es una cota superior
de A. Por tanto, si un conjunto es acotado superiormente, entonces posee
un conjunto innito de cotas superiores. Cuando se desea encontrar una cota
superior de un conjunto, interesa encontrar una que sea lo mas precisa posible;
es decir, cuanto mas peque na tanto mejor. La menor cota superior posible
7
de A se llama supremo de A y se denota sup(A). Veamos un ejemplo. Sea
A = {
n1
n
: n N}. Es obvio que todos los elementos de A son menores
que 1. Entonces 1 es cota superior de A. Desde luego, tambien son cotas
superiores 2, 3,

6, ..., pero queremos encontrar la cota superior mas ajustada

(la mas peque na posible). Para convencernos de que es 1, basta observar que
n1
n
= 1
1
n
y a medida que n crece el elemento de A,
n1
n
, cada vez esta mas
cerca de 1. Por lo tanto, resulta imposible que pueda haber una cota superior
de A mas peque na que 1. Con este razonamiento hemos comprobado que 1
es el supremo de A.
Hemos dicho con anterioridad que Q tiene varias carencias que R no tiene.
Vamos a ver ahora una de ellas que esta relacionada con el supremo.
PROPIEDAD DEL SUPREMO. Si A es un subconjunto de R, no vaco
y acotado superiormente, entonces A posee supremo.
Para comprender el signicado de esta propiedad, vamos a plantear un
ejemplo que nos permita notar que Q no tiene dicha propiedad. Concreta-
mente, vamos a ver que en Q podemos encontrar conjuntos acotados su-
periormente para los que no hay un n umero racional que sea su supremo.
Consideramos el subconjunto de Q siguiente
A = {0.1, 0.12, 0.121, 0.1211, 0.12112, 0.121121, ...}.
Notese que los n umeros que forman parte de A se van aproximando cada vez
mas al n umero irracional (??). Es facil darse cuenta de que la menor cota
superior de A es el citado n umero irracional (??). En denitiva, el supremo
de A es el n umero irracional anterior. Esto muestra que Q peca de una cier-
ta incompletitud pues algunos subconjuntos suyos, acotados superiormente,
tienen por supremo un n umero irracional. Entonces, si solo consideraramos
n umeros racionales, no podramos dar por hecho que todo conjunto acotado
superiormente de n umeros racionales posee supremo. Pero, si nos movemos
en R, s esta garantizada la propiedad del supremo.
Cuando el supremo de un conjunto pertenece a dicho conjunto, el supremo
se llama maximo del conjunto.
8
Ejemplo 0.5.1. Si A = [0, 1], entonces 1 es el supremo de A y, por tanto,
tambien 1 es el maximo de A. b) Si A = {
n1
n
: n N}, hemos visto que
sup(A) = 1. Pero es claro que 1 no pertenece a A. Por tanto, en este caso A
no tiene maximo a pesar de que tiene supremo.
De una forma similar se denen los conceptos de cota inferior e nmo
de un conjunto (la mayor de las cotas inferiores del conjunto en cuestion). Fi-
nalmente, mencionamos la propiedad del nmo que arma: Todo subconjunto
de R, no vaco y acotado inferiormente, posee nmo.
Ejemplo 0.5.2. El nmo del conjunto A = {
1
n
: n N} es 0. Como 0 <
1
n
,
para todo n N, sigue que 0 es cota inferior de A. Ahora vamos a ver que,
si c es cualquier n umero positivo, es imposible que sea cota inferior de A.
Esto prueba que 0 es la mayor cota inferior de A y, por tanto, es el nmo de
A. Sea c > 0, escojo un natural lo sucientemente grande para que verique
n >
1
c
. Entonces
1
n
< c, y queda probado que c no puede ser cota inferior de
A.
0.6. Valor absoluto.
Se dene el valor absoluto de un n umero real como sigue
|x| =
_
x si x 0
x si x < 0
Algunas propiedades que usaremos son las siguientes ( si x, y R, a
R
+
):
1) |x| 0, para cada x R.
2) |x| = 0 si y solo si x = 0.
3) |x y| = |x| |y|.
4) |x + y| |x| +|y|.
9
5) |x| a a x a.
6) |x| > a x > a o x < a.
Cuando se desea probar que un conjunto A, que contiene elementos de
ambos signos, es acotado resulta muy util manejar los elementos de A en
valor absoluto, en lugar de buscar una cota superior y otra inferior. Veamos
un ejemplo de esto: Sea A = {(1)
n

n
n+1
: n N}. Tratemos de acotar
superiormente los valores absolutos de sus elementos
|(1)
n

n
n + 1
| =
n
n + 1
1,
para cada n N. Hemos probado que |x| 1, para cada x A. Por la
propiedad (5), tenemos que 1 x 1, para cada x A. Por tanto A es
un conjunto acotado.
Es interesante destacar que la idea anterior es general y puede ser enun-
ciada como sigue:
Un subconjunto A de R es acotado si y solo si existe una constante positiva
k, tal que |a| k, para cada a A.
0.7. Representacion geometrica de los n umeros
reales.
Hemos visto que los n umeros racionales se pueden representar como pun-
tos de una recta geometrica en la que se han escogido dos puntos O y U
(origen y unidad, respectivamente). Dado un punto P en la recta, decimos
que su coordenada es el n umero que expresa la longitud del segmento OP,
con signo + o , seg un que P este a la derecha o a la izquierda de O (tam-
bien se dice que P es la representacion geometrica del n umero x). Si solo
manejaramos n umeros racionales, quedaran en la recta puntos para los que
no tendramos una coordenada que asignar. Para ver esto, basta pensar en
un cuadrado unidad construido sobre el segmento unidad OU. Sabemos que
la diagonal de este cuadrado mide

2, que es un n umero irracional. Si, con

un compas jado en O, llevamos la diagonal sobre la recta y a la derecha de
10
O, resulta un segmento OD cuya longitud es

2 y, por tanto, la coordenada

de D es

2. Esto muestra que, si solo representamos los n umeros racionales

sobre nuestra recta, quedan puntos, como D, sin marcar.
Al considerar todos los n umeros, tanto los racionales como los irracionales,
se consigue que cada punto de la recta tenga una coordenada y esta correspon-
dencia entre puntos y n umeros reales resulta ser biunvoca: a cada n umero
real le corresponde un punto sobre la recta (su representacion geometrica)
y a cada punto le corresponde un n umero real (su coordenada). Debido a
esta correspondencia biunvoca entre puntos de la recta y n umeros reales, a
menudo nos referiremos a los n umeros reales como puntos de la recta (a la
que llamaremos recta real).
Como puede comprenderse, este hecho es de capital importancia con vistas
a las aplicaciones cientcas y representa una de las razones por las que se
debe renunciar a manejar Q como campo numerico para desarrollar el calculo.
Es importante conocer que los n umeros irracionales (tambien los racionales)
estan distribuidos por toda la recta y que en cualquier intervalo, por peque no
que sea, existen innitos n umeros racionales e irracionales. Por ello, se dice
que Q e I son densos en R (I es el conjunto de los n umeros irracionales).
0.8. Entornos.
Dados dos n umeros reales x e y, se denota por d(x, y) la distancia que los
separa en la recta real. Si x > y, es obvio que d(x, y) = xy. Sin embargo, en
el caso x < y, se tiene d(x, y) = yx = (xy). Por tanto, d(x, y) = |xy|,
cualesquiera que sean x e y.
En el desarrollo del Calculo, es frecuente que nos encontremos con la
necesidad de indicar que, todos los valores de x en las cercanias de x
0
(en un
entorno de x
0
), verican cierta propiedad. Por ello, es conveniente disponer
de una notacion y terminologa adecuadas para reejar este hecho.
El intervalo (x
0
r, x
0
+ r) recibe el nombre de entorno de centro x
0
y radio r > 0, y se denota, a menudo, por E(x
0
, r). Se trata del conjunto
11
formado por todos los n umeros reales x que verican x
0
r < x < x
0
+ r.
Si sumamos x
0
en todos los miembros de la expresion anterior, resulta
r < x x
0
< r. Si recordamos la propiedad (5) del apartado (6), esto
equivale a |xx
0
| < r. Como d(x, x
0
) = |xx
0
|, todos los conjuntos siguientes
son el mismo conjunto: el entorno E(x
0
, r).
E(x
0
, r) = (x
0
r, x
0
+r) = {x R : |xx
0
| < r} = {x R : d(x, x
0
) < r}.
En el calculo de lmites, a menudo nos encontramos con la necesidad de
indicar que cierta propiedad se verica para todo x = x
0
en un entorno de
x
0
. Por ello, es conveniente denotar por E

(x
0
, r) el conjunto de todos los
x = x
0
que verican x
0
r < x < x
0
+ r. Se denomina entorno perforado
de centro x
0
y radio r.
II. FUNCIONES
0.9. Funciones reales de variable real.
Numerosas leyes cientcas establecen que existe una determinada relacion
entre dos magnitudes. En muchos casos, esta relacion permite expresar una
magnitud en terminos de la otra y la traduccion al modo matematico con-
duce al concepto de funcion. Por ejemplo, si P y V denotan la presion y el
volumen de una cantidad ja de un gas ideal, la ley de Boyle establece que
a temperatura constante el producto P V permanece constante; es decir,
P V = k, de donde obtenemos que P = k/V , siendo k una constante. En-
tonces los valores de P quedan determinados en cuanto conocemos los de V .
En el lenguaje de las funciones diramos que P es funcion de V .
Una funcion real de variable real es cualquier regla o ley que asocia a cada
n umero real x, perteneciente a cierto subconjunto, D, de R otro n umero
real unico que se llama imagen de x, mientras que D recibe el nombre de
dominio de. Por tanto, para determinar completamente una funcion hay
12
que especicar el dominio D y la forma de determinar la imagen de cada x
en D. Si se denota una funcion por f, escribiremos f : D R R y la
imagen de x se denotara por f(x). Si f es una funcion real de variable real,
se suele escribir f : x D R y = f(x) R. x recibe el nombre de
variable independiente, pues vara con libertad en D. y recibe el nombre
de variable dependiente porque toma sus valores en funcion de los de x.
El conjunto {f(x) : x D} se llama conjunto imagen de f y se denota
f(D) o Im(f).
Ejemplos 0.9.1. a) f(x) = +

x, (x 0).
b) f(x) =
sen x
x
, x = 0.
c) Si nos dicen que f esta denida de modo que f(x) = +

1 x
2
y
no especican el dominio, entenderemos que el dominio es todo el campo de
existencia de

1 x
2
; es decir, D = [1, 1].
d) f(x) = x
2
. En este caso el dominio es R y el conjunto formado por las
imagenes es f(R) = [0, +).
e) f(x) =
1
1+x
2
. De nuevo el dominio es R y es claro que f(R) (0, 1].
Veremos que es cierta la inclusion contraria y tendramos f(R) = (0, 1].
Tenemos que probar que todo y (0, 1] es imagen de alg un x. Dado y, su
origen se encuentra despejando x en y =
1
1+x
2
. Esto da x =
_
1
y
1. Como
hemos tomado y (0, 1], se sigue que
1
y
1 y, por tanto, el radicando
anterior es no negativo. Luego queda probado que todo elemento y de (0, 1]
esta en el conjunto imagen.
Terminamos este apartado recordando las operaciones usuales con fun-
ciones.
(i) Suma: Si f, g : D R R, entonces f + g es la funcion denida por
x D R f(x) + g(x) R.
(ii) Producto: Si f, g : D R R, entonces f g es la funcion denida
por
x D R f(x) g(x) R.
13
(iii) Composicion de funciones: Si f(D(f)) D(g), es posible denir una
funcion que es el resultado de aplicar f y g sucesivamente. Es decir, la funcion
responde al esquema siguiente
x D(f) f(x) g(f(x)) R.
Esta funcion se denota por g f y asocia a x con g(f(x)) directamente. Es
importante destacar que, en general, no se verica la igualdad g f = f g.
De hecho, puede tener sentido una de ellas y la otra no.
Ejemplos 0.9.2. a) h(x) = (1 + x)
4
es la composicion de f(x) = 1 + x y
g(x) = x
4
. Concretamente, h = g f.
b) h(x) =
1
x
2
+1
es la composicion de f(x) = x
2
+1 y g(x) =
1
x
. Concreta-
mente, h = g f.
0.10. Representacion graca.
Si en un plano consideramos un sistema cartesiano de coordenadas OXY ,
dada una funcion cualquiera f : D R, podemos representar en dicho plano
el conjunto de todos los puntos de coordenadas (x, f(x)), donde x D.
Resulta una curva que recibe el nombre de graca de la funcion f. Tambien
se suele decir que es la curva de ecuacion y = f(x).
Ejemplos 0.10.1. a) La graca de f(x) = ax + b es una recta.
14
y = a x + b
Y
X
O
x x
1
2
y
y
1
2
Aunque esto es conocido, podemos
hacer la prueba, pues es muy facil: co-
gemos dos puntos cualesquiera de la
curva, (x
1
, ax
1
+b) y (x
2
, ax
2
+b) y cal-
culamos la tangente del angulo que for-
man el semieje positivo OX y la recta
que pasa por los dos puntos anteriores,
resultando
y
2
y
1
x
2
x
1
=
a(x
2
x
1
)
x
2
x
1
= a,
donde y
i
es la imagen de x
i
. Vemos que la tangente tiene el valor constante
a, cualesquiera que sean x
1
y x
2
.
b) La graca de f(x) = ax
2
+ bx + c es una parabola.
y = a x + b x + c
2
Eje
V
Y
X
O
Para dibujarla, es conveniente encon-
trar el vertice. Cuando a > 0, el ver-
tice es el punto mas bajo (con la y mas
peque na) de la graca y, si a < 0, es
el punto mas alto. Veremos como se
busca el vertice con un ejemplo. Sea
y = 3x
2
2x + 1. Primero, notemos
que se trata de una parabola abierta
hacia arriba, por ser positivo el coe-
ciente de x
2
.
Para buscar el vertice, sacamos 3 factor com un de los dos primeros suman-
dos y obtenemos y = 3(x
2

2
3
x) +1. Ahora, para conseguir que el parentesis
adopte la forma de un cuadrado perfecto, sumamos y restamos
1
9
, resultando
y = 3(x
2

2
3
x +
1
9

1
9
) + 1 = 3(x
1
3
)
2

1
3
+ 1 = 3(x
1
3
)
2
+
2
3
. A la vista
del resultado obtenido, y = 3(x
1
3
)
2
+
2
3
, se deduce que el menor valor de y
se obtiene cuando (x
1
3
) = 0. Por tanto, el vertice esta en la recta vertical
x =
1
3
que es, a su vez, el eje de la parabola. La coordenada y del vertice se
15
obtiene calculando f(
1
3
) =
2
3
. Luego V (
1
3
,
2
3
).
Para representar funciones mas complicadas de una manera precisa se
necesita profundizar en el estudio del calculo diferencial. Por ello, retomare-
mos esta cuestion mas adelante, concretamente al nal del Tema 1.
0.11. Funcion inversa.
Dada una funcion f : D R R, la correspondencia inversa asocia a
cada imagen con su correspondiente origen y se denota por f
1
. En general,
no es una funcion. Para convencerse de esto, basta pensar en una funcion f tal
que dos orgenes distintos x
1
y x
2
tengan la misma imagen f(x
1
) = f(x
2
) = y.
En ese caso, f
1
hara corresponder a la imagen com un y los dos orgenes x
1
y x
2
. Es decir, la imagen de y por f
1
no sera unica. Estas ideas conducen
a la siguiente denicion.
Denicion 0.11.1. f : D R R se llama inyectiva (o unvoca) si
x
1
= x
2
f(x
1
) = f(x
2
),
cualesquiera que sean x
1
, x
2
D.
En la practica, es util expresar esto en la forma equivalente siguiente: f
es inyectiva si y solo si verica
f(x
1
) = f(x
2
) x
1
= x
2
,
cualesquiera que sean x
1
, x
2
D.
Ejemplos 0.11.2. a) f(x) = x
2
no es inyectiva, pues f(1) = f(1) = 1.
b) f(x) = 3x + 2 es inyectiva. En efecto, si f(x
1
) = f(x
2
), entonces
3x
1
+ 2 = 3x
2
+ 2. Luego 3x
1
= 3x
2
, lo que nalmente implica x
1
= x
2
.
16
A tenor de lo que hemos visto hasta ahora, no resulta difcil comprobar
que lo unico que se necesita, para que f
1
sea funcion, es que f sea inyectiva.
Si este es el caso, podemos escribir f
1
: y f(D) x R.
Usualmente, por i
A
se denota la funcion x A x R (identidad en
A). Si f es inyectiva, las igualdades siguientes son consecuencias directas de
las deniciones de funcion inversa y funcion compuesta:
1) f
1
f = i
D
, 2) f f
1
= i
f(D)
.
Dada una funcion inyectiva f, para determinar su inversa f
1
, basta de-
spejar x en la ecuacion y = f(x).
Ejemplos 0.11.3. a) f(x) = x
3
. Despejando x en la ecuacion y = x
3
, resulta
x =
3

y. Entonces f
1
(y) =
3

y.
b) f(x) = 3x + 2. Ponemos y = 3x + 2 y despejando x resulta x =
y2
3
.
Entonces f
1
(y) =
y2
3
.
Conviene resaltar el hecho de que el nombre de las variables es intrascen-
dente. As, f(t) = t
2
o f(x) = x
2
es exactamente la misma funcion, la que
asocia a cada n umero real su cuadrado. En el ejemplo (a) hemos encontrado
que la inversa de f(x) = x
3
es f
1
(y) =
3

y. Es usual cambiar y por x y

poner f
1
(x) =
3

x, pues, como norma general, la variable independiente se

denota por x.
Existe una importante relacion entre las gracas de f y su inversa f
1
: son
simetricas respecto de la bisectriz de los cuadrantes 1

y 3

. Primeramente,
vamos a recordar cuando se dice que dos puntos son simetricos respecto
de una recta r. Si P es un punto cualquiera, trazamos por P la recta s
perpendicular a r y sea Q el punto donde se cortan ambas. El simetrico de
P, respecto de la recta r, es el punto P

de la recta s que verica

PQ =

QP

.
17
P
P
Q
r
Ahora vamos a comprobar que el simetrico de P(x
0
, y
0
), respecto de la
bisectriz de ecuacion x = y, es el punto P

(y
0
, x
0
).
y =
x
Y
X
O
P(x ,y )
P(y ,x )
0
0
0
0
M
N
Q
En la gura se han dibujado las rec-
tas x = x
0
, x = y
0
, y = x
0
, y = y
0
y
x = y. Notese que el segmento PP

es
una diagonal del cuadrado MPNP

.
Por tanto, PP

es perpendicular a la
recta x = y y

PQ =

QP

. Esto prueba
que el simetrico de P(x
0
, y
0
), respec-
to de x = y, es el punto P

(y
0
, x
0
).
Ya estamos en condiciones de abordar
la prueba de que las gracas de una
funcion y su inversa son simetricas re-
specto de x = y.
Si (x, y) es un punto de la graca de f, entonces (y, x) es un punto de la
graca de f
1
, pues esta funcion es la que asocia a cada imagen (para f) y
su origen x.
0.12. La funcion exponencial.
Empezaremos recordando la potencia cuando el exponente es entero o
racional. En todo el apartado la base b sera un n umero real no nulo.
18
(a) Potencia de exponente natural. Si n es un n umero natural, se dene b
n
como el resultado de multiplicar b consigo mismo n veces. Es facil comprobar
que se verica la regla de suma de exponentes, b
n
b
m
= b
n+m
, siempre que
se multiplican dos potencias de igual base.
(b) Potencia de exponente entero. Primero tenemos que denir b
0
, sin
perder de vista que queremos que siga siendo valida la regla de suma de
exponentes. Para determinar el valor que debe darse a b
0
, obligamos a que
se verique b
0
b
0
= b
0+0
. Por tanto, si llamamos x al valor buscado de b
0
,
debe cumplirse que x
2
= x. Luego x debe ser 0 o 1. El valor 0 no resulta
de interes, pues llevara a que b
n
= 0, para todo natural n (en efecto, b
n
=
b
n+0
= b
n
b
0
= b
n
0 = 0).

Esta es la razon de denir b
0
= 1.
Vamos ahora a determinar b
n
, para n natural. Si queremos que se man-
tenga la regla de suma de exponentes, debe vericarse b
0
= b
nn
= b
n
b
n
.
Luego 1 = b
n
b
n
. De esta igualdad sigue que b
n
=
1
b
n
, y de esta forma
ya tenemos la potencia de exponente entero (y permanece valida la regla de
suma de exponentes para multiplicar potencias de igual base).
(c) Potencia de exponente racional. En un primer paso deniremos b
1
n
,
para n natural. La regla de suma de exponentes nos permite escribir la sigu-
iente igualdad
b = b
n
1
n
= b
1
n
+
1
n
++
1
n
= b
1
n
b
1
n
b
1
n
.
Notese que la igualdad anterior expresa que b
1
n
es la raz de ndice n de b. Es
decir, b
1
n
=
n

b. Este es el momento de destacar que, para n par y b negativo,

no tiene sentido considerar la potencia b
1
n
, pues, seg un lo anterior, debera
ser b
1
n
=
n

b y esta raz no existe (por ejemplo, (2)

1
2
=

2). Por tanto,

cuando b es negativo hay innidad de potencias de la forma b
1
n
que no tienen
sentido. Esta es la razon de no considerar la funcion exponencial con base
negativa y, por ello, en todo lo que resta de apartado nuestra base b sera un
n umero real positivo.
Ahora ya estamos en condiciones de enfrentarnos con la potencia b
m
n
. Por
la regla de suma de exponentes, se tiene b
m
n
= b
m
1
n
= b
1
n
b
1
n
, donde el
ultimo miembro consiste en el producto consigo mismo m veces de b
1
n
. Por
19
tanto, hemos obtenido b
m
n
= (
n

b)
m
=
n

b
m
.
(d) Potencia de exponente real. Hasta el momento, sabemos que signica
b
x
, para cada x Q. Ahora tenemos que dar el paso mas delicado: decir
que signica b
x
cuando x es irracional. No es nuestro objetivo desarrollar los
hechos de forma completa y rigurosa, mas bien pretendemos dar una idea
informal, pero que sea suciente para que podamos manipular la funcion
exponencial con naturalidad. Pasamos, pues, a dar una idea de que signica
b
x
, para x irracional. Por ser x irracional, posee un desarrollo decimal innito
no periodico. Supongamos que x = N

c
1
c
2
c
3
. Cualquiera que sea el entero
positivo n, sabemos calcular b
N

c
1
c
2
cn
, pues se trata de una potencia de
exponente el n umero racional N

c
1
c
2
c
n
. La idea crucial, para denir b
x
,
consiste en considerar la sucesion innita de potencias
b
N

c
1
, b
N

c
1
c
2
, b
N

c
1
c
2
c
3
, , b
N

c
1
c
2
cn
,
y tomar como valor de b
x
el lmite hacia el que se van acercando sus terminos.
Esta denicion es intuitiva pero tiene el inconveniente de que necesita del
concepto de lmite que a un no hemos desarrollado. Otra posible denicion
(equivalente) que no presenta este problema es la siguiente: se dene b
x
, para
x irracional, como el supremo del conjunto formado por las potencias b
r
,
siendo r cualquier racional menor que x; es decir, b
x
= sup{b
r
: r < x, r Q}.
Se demuestra que, con esta denicion de b
x
para x irracional, se mantiene
la regla de suma de exponentes. Por tanto, cualesquiera que sean los n umeros
reales x e y, se verica
1) b
x
b
y
= b
x+y
.
Muchas de las propiedades de la potencia de exponente real que nece-
sitaremos se deducen de(1).
2) b
x
=
1
b
x
. En efecto, sabemos que b
x
b
x
= b
xx
= b
0
= 1. Por tanto,
b
x
=
1
b
x
.
3) b
x
> 0, para cada x R. De la igualdad b
x
2
b
x
2
= b
x
, sigue que
b
x
=
_
b
x
2
_
2
. Luego b
x
0. Para ver que b
x
no puede ser nulo, basta pensar
en la igualdad b
x
b
x
= b
0
= 1.
20
La funcion denida por x R b
x
R se llama funcion exponencial
de base b (b se supone positivo y distinto de 1). Su graca es la siguiente
y = b
x Y
X
O
Grfica de la funcin exponencial de base b>1
1
0.13. La funcion logaritmo.
Fijado un n umero positivo b > 0, se dene log
b
y (logaritmo en base
b del n umero y) como el exponente x al que hay que elevar la base b para
obtener y; es decir, se tiene
b
x
= y log
b
y = x.
Por tanto, la funcion logaritmo no es otra cosa que la funcion inversa de la ex-
ponencial (la funcion exponencial es estrictamente creciente o estrictamente
decreciente, seg un sea b > 1 o b < 1 y, por tanto, inyectiva). Solo los n umeros
positivos poseen logaritmo, pues hemos visto que b
x
siempre es positivo y,
por tanto, la igualdad b
x
= y es imposible si y no es positivo. Esto nos lleva
a armar que el dominio de la funcion logaritmo es el intervalo (0, +).
La propiedad fundamental del logaritmo es la regla del producto
1) log
b
(y
1
y
2
) = (log
b
y
1
) + (log
b
y
2
)
Se deduce facilmente a partir de las deniciones y de la regla de suma de
exponentes. En efecto, si x
i
= log
b
y
i
(i = 1, 2), entonces b
x
i
= y
i
(i = 1, 2), y
21
multiplicando convenientemente estas dos igualdades, resulta
y
1
y
2
= b
x
1
b
x
2
= b
x
1
+x
2
.
De la denicion de logaritmo, sigue que x
1
+ x
2
= log
b
(y
1
y
2
).
Otras propiedades del logaritmo que usaremos son:
2) log
b
b = 1, log
b
1 = 0.
3) log
b
(y
1
/y
2
) = log
b
y
1
log
b
y
2
.
4) log
b
(y
p
) = p log
b
y.
5) Cambio de base en el logaritmo. A veces se necesita conocer la relacion
que existe entre los logaritmos en dos bases distintas de un mismo n umero.
Sean a y b estas bases, queremos ver que relacion existe entre log
b
y y log
a
y.
Para encontrarla, ponemos x
a
= log
a
y y x
b
= log
b
y. Por denicion, tenemos
y = a
xa
. Tomando logaritmo en base b en ambos miembros de esta ultima
igualdad, resulta
log
b
y = log
b
(a
xa
) = x
a
log
b
a = (log
a
y) (log
b
a).
Se ha obtenido la relacion log
b
y = (log
a
y) (log
b
a).
Usando el logaritmo podemos atacar otras propiedades utiles de la expo-
nencial:
a) Cambio de base en la exponencial: Se trata de expresar b
x
como una
potencia con otra base cualquiera a. Usando la igualdad y = a
log
a
y
, que es
sencillamente la denicion de log
a
y, obtenemos
b
x
= a
log
a
(b
x
)
= a
xlog
a
b
.
Por tanto, para cambiar de base tenemos la igualdad b
x
= a
xlog
a
b
.
b) (b
x
)
y
= b
xy
. Usando de nuevo la igualdad y = a
log
a
y
, valida cua-
lesquiera que sean a e y, obtenemos
(b
x
)
y
= b
log
b
(b
x
)
y
= b
ylog
b
(b
x
)
= b
yxlog
b
b
= b
xy
.
Se dene la funcion logaritmo en base b por x (0, +) log
b
x R.
Su graca es simetrica, respecto de la bisectriz x = y, de la graca de la
funcion exponencial f(x) = b
x
y, por tanto, tiene la forma siguiente:
22
Y
X
O 1
y = log x
b
y = x
1
y = b
x
b > 1
Se llama logaritmo natural o neperiano al logaritmo de base el n umero e
y se denota por log x. En matematicas es el que se usa generalmente, fun-
damentalmente porque su derivada es mas simple (tambien la derivada de la
funcion exponencial e
x
).
0.14. Funciones circulares.
Es conveniente iniciar el tema recordando que en el Calculo, para la me-
dida de los angulos, se emplea el radian. Si tenemos un angulo con vertice
V, para obtener su medida en radianes, trazaremos un arco de circunferencia
con centro V y radio arbitrario r. Si l denota la longitud del arco que abarca,
el cociente
l
r
es la medida en radianes del angulo. Se puede probar que no
depende del radio r escogido. Esta medida es adimensional y, por ello, es la
apropiada para manipular las funciones circulares: seno, coseno, etc.
Vamos a ver como se denen sen x y cos x, seg un el cuadrante al que
pertenece x; las otras razones trigonometricas se denen a partir de sen x y
cos x.
23
1) 0 < x < p/2:
sen x =
AB
x
V
B
A
2) p/2 < x < p :
cos x =
VA
VB
sen x =
cos x =
3) < x < 3p/2:
p
sen x =
cos x =
AB
VB
-VA
VB
V A
B
x
x
V
A
B
-AB
VB
-VA
VB
4) 3p/2 < x < 2p:
sen x =
cos x =
-AB
VB
VA
VB
A
B
V
x
VB
Para x no perteneciente al intervalo fundamental [0, 2], se denen sen x y
cos x de forma que se verique sen(x + 2n) = sen x y cos(x + 2n) = cos x,
donde n es cualquier entero y x [0, 2]. De esta manera, las funciones
seno y coseno, denidas por x R sen x R y x R cos x R,
resultan ser periodicas de periodo 2. Existe una relacion fundamental entre
24
sen x y cos x, que se deduce directamente de aplicar el Teorema de Pitagoras:
sen
2
x + cos
2
x = 1, cualquiera que sea el n umero real x. De esta relacion se
deduce que 1 sen x, cos x 1, para todo x R.
Ahora recordamos las deniciones de las restantes razones trigonometri-
cas:
tg x =
sen x
cos x
, cot x =
cos x
sen x
, cosec x =
1
sen x
, sec x =
1
cos x
.
Es importante se nalar que las funciones tangente y cotangente tienen
periodo . La prueba es muy facil, basta tener en cuenta que sen( + x) =
sen x y cos( + x) = cos x. Por tanto, tenemos
tg( + x) =
sen( + x)
cos( + x)
=
sen x
cos x
=
sen x
cos x
= tg x.
O
tg x
cos x
sen x
cot x
x
Todas las razones trigonometricas
pueden representarse geometrica-
mente, si consideramos una cir-
cunferencia de radio la unidad.
Representaremos solo las cuatro
razones fundamentales (ver gura).
Estas representaciones anteriores
prestan una gran ayuda para rep-
resentar gracamente las funciones
circulares que es lo que procedemos a
hacer seguidamente.
25
2 0 2 4 6 8 10
1
0.8
0.6
0.4
0.2
0
0.2
0.4
0.6
0.8
1

2
y=cos x
y=sen x
O
Y
X
O O
Y
X
y = tg x
p
/2
-p/2
y = cot x
Y
X
p/2 p
Terminamos el apartado con una relacion de formulas trigonometricas que
seran de gran utilidad en los calculos:
1. 1 + tg
2
x =
1
cos
2
x
, 1 + cot
2
x =
1
sen
2
x
.
26
2. sen 2x = 2 sen x cos x, cos 2x = cos
2
x sen
2
x.
3. sen
x
2
=
_
1cos x
2
, cos
x
2
=
_
1+cos x
2
.
4. sen(x + y) = sen x cos y + cos x sen y,
cos(x + y) = cos x cos y sen x sen y.
5. sen x + sen y = 2 sen(
x+y
2
) cos(
xy
2
)
sen x sen y = 2 cos(
x+y
2
) sen(
xy
2
)
cos x + cos y = 2 cos(
x+y
2
) cos(
xy
2
)
cos x cos y = 2 sen(
x+y
2
) sen(
xy
2
)
0.15. Funciones circulares inversas.
A) Funcion arco seno: La funcion f(x) = sen x no es inyectiva, pues es
periodica de periodo 2, por lo que sen x = sen(x+2) y, por tanto, angulos
diferentes tienen el mismo seno. Entonces la funcion seno no tiene inversa.
Ahora bien, si consideramos la funcion denida por x [

2
,

2
] sen x R,
la situacion es completamente diferente, pues, cuando x recorre el intervalo
[

2
,

2
], sen x recorre [1, 1] de forma biunvoca.
2 1.5 1 0.5 0 0.5 1 1.5 2
2
1.5
1
0.5
0
0.5
1
1.5
2
/2
/2
/2
/2
Eje OX
Eje OY
O
1
1
1
1
y = sen x
y = arc sen x
y = x
La inversa de esta funcion se llama ar-
co seno, su dominio es [1, 1] y su gra-
ca es simetrica, respecto de la recta
x = y, del trozo de la graca de la
funcion seno correspondiente al inter-
valo [

2
,

2
]. Por denicion de funcion
inversa, para x [

2
,

2
], se tiene la
siguiente equivalencia: y = sen x
x = arc sen y.
B) Funcion arco coseno: Por la misma razon anterior, la funcion f(x) =
cos x no es inyectiva y, por tanto, la correspondencia inversa no es una fun-
cion. Sin embargo, la funcion denida por x [0, ] cos x R s lo es y
su inversa recibe el nombre de funcion arco coseno.
27
1 0.5 0 0.5 1 1.5 2 2.5 3 3.5
1
0.5
0
0.5
1
1.5
2
2.5
3
3.5

Eje OX
Eje OY
O
y = x
y = cos x
y = arc cos x
1
1
Su dominio es, de nuevo, [1, 1] y su
graca es simetrica, respecto de la rec-
ta x = y, del trozo de la graca de la
funcion coseno correspondiente al in-
tervalo [0, ].
Por denicion, para x [0, ], se tiene
la equivalencia
y = cos x x = arc cos y.
Existe la siguiente relacion entre las
funciones arco seno y arco coseno
arc sen x + arc cos x =

2
,
para cada x [1, 1]. La prueba es muy simple. Sean x [1, 1] y u =
arc sen x. Entonces x = sen u y u [

2
,

2
]. Ahora recordemos que cos(

2

u) = sen u y, por tanto, sigue que cos(

2
u) = x. Es evidente que

2
u
pertenece a [0, ], luego podemos poner

2
u = arc cos x. Sumando, miembro
a miembro, las igualdades u = arc sen x y

2
u = arc cos x, se obtiene la
identidad.
C) Funcion arco tangente: La funcion f(x) = tg x es periodica de periodo
y, por tanto, no puede ser inyectiva. No obstante, si consideramos que
x se mueve solo en el intervalo (

2
,

2
), la situacion cambia radicalmente.
Restringida a ese intervalo, la funcion tangente es inyectiva y su inversa se
llama funcion arco tangente. Notese que, cuando x (

2
,

2
), el conjunto
formado por las imagenes {tg x : x (

2
,

2
)} es todo R. Esto nos dice que
la funcion arco tangente tiene por dominio R.
28
8 6 4 2 0 2 4 6 8
8
6
4
2
0
2
4
6
8
/2
/2
/2
/2
Eje OX
Eje OY
O
y = x
y = arc tg x
y = tg x
PROBLEMAS PROPUESTOS
1. Resolver las siguientes ecuaciones:
a) x
4
+ x
2
2 = 0 b) e
2x
3e
x
+ 2 = 0 , c)

x + 1 =

3x + 1
d) sen x cos x = 1 e)

x = x 2 f) |x| = 3x + 2.
Soluciones: a) x = 1 (hacer t = x
2
) , b) x = 0, log 2 (hacer t = e
x
), c)
x = 0, 1 , d) x = n, /2 + 2n (sustituir cos x por sen x) , e) x = 4 , f)
(1/2) (elevando al cuadrado desaparece el valor absoluto).
2. Simplicar las expresiones siguientes:
a)
4
2
6
3
12
4
2
4
b)
tg xsenx
2 sen xsen 2x
c)

6+

2
,
d) log(a
2
bc) log(
a
2
b
c
) e) log(

2
8
) f)

a
2
b
2

a
4
b
4
g)

x1
x1
.
Soluciones: a) 2
5
3
1
, b) (2 cos x)
1
, c) 2 +

3, d) 2 log c, e) (5/2) log 2,

f) 1/(

a
2
+ b
2
), g) 1/(1 +

x).
29
3. Resolver las siguientes inecuaciones:
a)
x+1
2
3 b)
3
x
2
4 x
2
c)
1
x
+
1
|x|
1 d) |x| |x1| e)
3x+1
x
2.
Soluciones: a) x 7, b) x

3, 1 < x < 1 y x >

3, c) x 2,d)
x (1/2), e) 1 x < 0.
4. Expresar en forma racional los n umeros decimales 2.0323232.... y 30.141414.......
Soluciones:
2012
990
y
2984
99
.
5. Encontrar supremo e nmo de los siguientes conjuntos: a) A = {
n
n+1
:
n N}, b) {2
n
: n N}.
Soluciones: a) El supremo es 1 y el nmo 1/2. b) El supremo es 1/2 y el
nmo 0.
6. En una circunferencia de radio 1 m se inscribe un rectangulo de lados a y
b. Expresar el area del rectangulo en funcion del lado a.
Solucion: A(a) = 2a
_
1 a
2
/4.
7. Expresar la supercie total de un cilindro de volumen 1 litro en funcion
del radio de la base.
Solucion: = S(r) = 2/r
2
+ 2r
2
, donde r se expresa en decmetros.
8. Se dispone de un disco circular de radio 1 m y se corta un sector circular
de amplitud radianes para formar, doblandolo adecuadamente, un cono.
Expresar el volumen del cono en funcion de .
Solucion: V () = (
2
/12)
_
1
2
/4
2
.
9. Encontrar la funcion inversa de: a) f(x) =
2x+1
x+1
, b) f(x) =
3

x + 1 y c)
f(x) = log(x + 3).
Soluciones: a) f
1
(x) =
1x
x2
. b) f
1
(x) = x
3
1. c) f
1
(x) = e
x
3.
30
10. Encontrar el dominio de la funcion: a) f(x) = log(x
2
+ x 2) y b)
f(x) =

x
2
+ x.
Soluciones: a) (, 2) (1, +). b) (, 1] [0, +).
III. L

IMITE Y CONTINUIDAD
0.16. Lmite de una funcion.
El concepto de lmite es uno de los fundamentales del Calculo, pues esta
en la raz de muchos otros tan importantes como derivada e integral. En
este tema, nuestro objetivo es conseguir que, con el menor formalismo
posible, el alumno adquiera una idea intuitiva de los conceptos de lmite
y continuidad que le permita un aprendizaje adecuado del calculo.
I) Lmite nito. Cuando escribimos lm
xx
0
f(x) = l , queremos signicar que
f(x) se acerca mas y mas al n umero l , a medida que x es mas proximo a x
0
(sin llegar a ser x
0
), tanto por la derecha de x
0
como por la izquierda. Y si
queremos que f(x) se diferencie de l en menos de una cantidad peque na,
> 0, bastara con que se tome cualquier x de un entorno de x
0
con radio,
> 0, sucientemente peque no.
Ejemplos 0.16.1. a) Si f(x) =
senx
x
, 0 no esta en el dominio de f, pero
es lcito plantearse el calculo de lm
x0
sen x
x
. En el apartado 3.3 probaremos
que su valor es 1.
b) Sea f(x) =
x+1
x
2
+3
, vamos a comprobar que lm
x1
f(x) =
1
2
. Calculamos la
diferencia |f(x)
1
2
|
|f(x)
1
2
| = |
x + 1
x
2
+ 3

1
2
| = |
2x + 2 x
2
3
2(x
2
+ 3)
| =
|x 1|
2
2(x
2
+ 3)
.
Ahora podemos buscar una cota superior del resultado obtenido
31
|f(x)
1
2
| =
|x 1|
2
2(x
2
+ 3)

|x 1|
2
2 3
=
1
6
|x 1|
2
.
Hemos obtenido que la diferencia entre f(x) y el n umero
1
2
es inferior
a
1
6
|x 1|
2
, cualquiera que sea x D(f). Para conseguir que f(x) se
diferencie de
1
2
en menos de 10
3
, basta tomar x en el entorno E(1,

6
10
3
2
), ya que para tales x tenemos |x 1| <

6 10
3
2
, lo que implica
|f(x)
1
2
|
1
6
|x 1|
2
<
1
6
6 10
3
= 10
3
.
De igual forma, podemos probar que, si queremos que la diferencia |f(x)
1
2
| sea menor que cierto n umero > 0, basta escoger x en el entorno
E(1, ) con radio =

6
1
2
.
Conviene destacar que x
0
no tiene que pertenecer al dominio de f. No
obstante, x
0
debera ser un punto que tenga la propiedad de que podamos
encontrar valores de x, diferentes de x
0
y tan cercanos a x
0
como se quiera,
en el dominio de f. Es decir, DE

(x
0
, r) = 0, para cada r > 0. Un punto
x
0
con tal propiedad se llama un punto de acumulaci on de D(f).
Ejemplos 0.16.2. a) Si D(f) = (0, 1), todos sus puntos son de acumu-
lacion, pero tambien lo son 0 y 1, aunque no pertenecen a D(f).
b) Si D(f) = {1} [0, +), entonces 1 no es punto de acumulacion
de D(f). S lo son todos los elementos del intervalo [0, +).
II) Lmite innito. Si f(x) =
1
xx
0
, es facil darse cuenta de que f(x)
crece sin medida, superando a cualquier n umero, por grande que fuera,
a medida que x D(f) se acerca a x
0
. Este hecho se indica escribiendo
lm
xx
0
f(x) = . Existen otros dos casos de lmite innito: + y .
Ejemplo 0.16.3. De acuerdo con la idea intuitiva que hemos dado, los
lmites siguientes resultan obvios: lm
x0
1
x
2
= + y lm
x0

1
x
2
= .
32
Cuando se quiere representar gracamente una funcion f, es importante
detectar los puntos x
0
tales que lm
xx
0
f(x) es innito, pues las rectas x = x
0
seran asntotas verticales de la curva de ecuacion y = f(x).
III) Lmite lateral. En ciertas ocasiones interesa conocer el valor hacia el
que se aproxima f(x) cuando x se acerca a x
0
por la derecha (x > x
0
).
Esto se indica por lm
xx
+
0
f(x) y se llama lmite lateral por la derecha. De
forma analoga, se dene el lmite lateral por la izquierda lm
xx

0
f(x); en este
caso representa el valor hacia el que se aproxima f(x) cuando x se acerca
a x
0
por la izquierda (x < x
0
). Notese que la existencia de lm
xx
0
f(x) es
equivalente a la existencia de ambos lmites laterales con igual valor.
Ejemplos 0.16.4. a) Consideremos la funcion dada por f(x) =
1
x
, si
x > 0 y f(x) = x + 1, si x 0.
Es evidente que lm
x0
+
f(x) = + y lm
x0

f(x) = 1.
b) Si f(x) =
|x1|
x
2
1
, calcular lm
x1
f(x). En este caso, la presencia del valor
absoluto de x 1, aconseja plantearse el calculo de los lmites laterales,
para ver si coinciden. Cuando calculamos el lmite lateral por la derecha
de x
0
= 1, podemos sustituir |x 1| por su valor (x 1), ya que x > 1.
Entonces tenemos
lm
x1
+
f(x) = lm
x1
+
x 1
x
2
1
= lm
x1
+
x 1
(x 1) (x + 1)
= lm
x1
+
1
x + 1
=
1
2
.
Sin embargo, en el calculo del lmite por la izquierda, debemos sustituir
|x 1| por su valor (x 1), ya que ahora x < 1. Luego
lm
x1

f(x) = lm
x1

(x 1)
x
2
1
= lm
x1

1
x + 1
=
1
2
.
Por tanto, ambos lmites laterales existen pero son diferentes, lo que im-
plica que no existe lm
x1
f(x).
33
IV) Lmite en el innito. En las aplicaciones, a veces, se presenta la necesi-
dad de conocer el comportamiento de f(x) para x grande. Por ejemplo:
1) si f(t) es una funcion de la variable tiempo, es interesante en algu-
nas situaciones conocer el comportamiento a largo plazo de f(t), 2) si se
quiere representar gracamente la curva de ecuacion y = f(x), es de gran
interes conocer hacia que evoluciona f(x) cuando x toma valores cada
vez mayores. Diremos que lm
x
f(x) = l si, al crecer x mas y mas, f(x)
se aproxima al valor l tanto como se quiera. Si este es el caso, la curva
de ecuacion y = f(x) posee una asntota horizontal de ecuacion y = l .
Existen otros dos tipos de lmite innito: lm
x+
f(x) y lm
x
f(x). En el
primer caso, x crece sin medida pero permanece positivo, y en el segundo
x toma valores negativos cada vez mas peque nos.
Ejemplos 0.16.5. a) Si f(x) =
1
x
, entonces lm
x
f(x) = 0.
b) Si f(x) = 2
x
, por observacion de la graca de la funcion exponencial se
deduce lm
x+
f(x) = + y lm
x
f(x) = 0.
Terminamos este apartado viendo algunas propiedades de los lmites que
se usaran con cierta frecuencia a lo largo del curso. Todas ellas son muy
intuitivas, por lo que no se daran sus demostraciones. Son validas para
todo tipo de lmite: laterales, en el innito, etc., pero solo las enunciaremos
para el lmite cuando x x
0
.
1) Propiedad del sandwich: Supongamos que lm
xx
0
f(x) = lm
xx
0
g(x) =
l . Si, ademas, se verica que f(x) h(x) g(x) (para x = x
0
en un
entorno de x
0
), entonces tambien lm
xx
0
h(x) = l .
2) Si lm
xx
0
f(x) = 0 y g es una funcion acotada (en un entorno de x
0
),
entonces tambien lm
xx
0
f(x) g(x) = 0.
3) Si el lmite l no es cero, debe ser posible encontrar un entorno (x
0

r, x
0
+r), con r sucientemente peque no, tal que f(x) tiene el mismo signo
34
que l, cualquiera que sea x (distinto de x
0
) en dicho entorno.
4) Si f(x) g(x), para x = x
0
en un entorno de x
0
, se verica
lm
xx
0
f(x) lm
xx
0
g(x),
si existen ambos lmites. Es importante resaltar que, aunque se tenga la
desigualdad estricta f(x) < g(x), para cada x en un entorno de x
0
, en
general no es verdad que
lm
xx
0
f(x) < lm
xx
0
g(x).
En efecto, basta considerar f(x) =
1
1+x
2
, g(x) = 1 y tomar lmite cuando
x 0.
0.17. Operaciones con lmites.
En este apartado se estudia el comportamiento del lmite en relacion con
las operaciones.
Si lm
xx
0
f
1
(x) = l
1
y lm
xx
0
f
2
(x) = l
2
, se verica:
a) lm
xx
0
_
f
1
(x) + f
2
(x)

= l
1
+ l
2
.
b) lm
xx
0
_
f
1
(x) f
2
(x)

= l
1
l
2
.
c) lm
xx
0
_
f
1
(x)
f
2
(x)

=
l
1
l
2
(si l
2
= 0).
d) lm
xx
0
f
1
(x)
f
2
(x)
= l
l
2
1
(si l
1
y l
2
no son nulos simultaneamente).
En las propiedades anteriores, cada uno de los dos lmites considerados
es nito. Pero, de hecho, tambien son validas cuando uno o ambos son
innitos, solo que en ese caso conviene tener presente que existen ciertas
excepciones que se denominan indeterminaciones. Vamos a explicar esto
con mas cuidado.
35
Supongamos que se desea calcular lm
xx
0
_
f
1
(x) + f
2
(x)

y sabemos que el
lmite del primer sumando es nito e igual a l
1
y el del segundo es innito.
La aplicacion al pie de la letra de (a) nos llevara a armar que el lmite de
la suma es l
1
+= . Esto es correcto, y, ademas, intuitivo. En efecto,
en la suma f
1
(x) + f
2
(x) se impone f
2
(x) (que crece sin medida, cuando
x se acerca a x
0
, mientras que f
1
(x) permanece cercano a l
1
). La idea es
similar en los otros casos que relacionamos a continuacion:
1. l
1
= , si l
1
= 0.
l
1

= 0.

l
2
= . = . +
+
= +
2. b
+
= + si b > 1. b
+
= 0 si b < 1.
3. +
l
2
= +, si l
2
> 0. +
l
2
= 0 si l
2
< 0.
Sin embargo, son indeterninaciones los siguientes casos:
, 0 ,
0
0
,

, 1

, 0
0
, +
0
.
A ttulo de ejemplo, vamos a mostrar que es una indeterminacion

. Sean
f
1
(x) = x y f
2
(x) = x
2
. Los dos lmites siguientes son del tipo

:
lm
x
_
f
1
(x)
f
2
(x)

y lm
x
_
f
2
(x)
f
1
(x)

.
Sin embargo el primero, lm
x
1
x
, vale 0 y el segundo, lm
x
x, .
0.18. Calculo de lmites.
En este apartado estudiaremos algunos metodos generales para el calculo
de lmites. En la seccion nal, dedicada al estudio de la derivada, vere-
mos la regla de LHopital, que resulta un metodo muy util para calcular
lmites, pero que tiene el inconveniente de que solo es valido para funciones
derivables.
36
I) Lmite de funciones racionales Supongamos que se desea calcular lm
x
P(x)
Q(x)
,
donde P(x) y Q(x) son funciones polinomicas. Para el calculo de este tipo
de l mites, previamente se divide numerador y denominador por x
n
, sien-
do n el mayor de los grados de P y Q, y de esta manera la funcion adopta
una forma muy conveniente para el calculo del lmite.
Ejemplos 0.18.1. a) Calcular lm
x
2x
2
+ x
3x
2
+ 1
. En este caso, debemos dividir
por x
2
, y calculamos el lmite
lm
x
2x
2
+ x
3x
2
+ 1
= lm
x
2 +
1
x
3 +
1
x
2
=
2 + 0
3 + 0
=
2
3
.
Se ha usado que lm
x
1
x
p
= 0, para p > 0.
b) lm
x
x
x
3
+ x + 1
. En este caso se divide por x
3
y se obtiene
lm
x
x
x
3
+ x + 1
= lm
x
1
x
2
1 +
1
x
2
+
1
x
3
=
0
1 + 0 + 0
=
0
1
= 0.
c) lm
x
x
2
x + 1
. Ahora dividimos por x
2
y obtenemos
lm
x
x
2
x + 1
= lm
x
1
1
x
+
1
x
2
=
1
0 + 0
=
1
0
= .
II) Indeterminaciones del tipo .
Supongamos que se desea calcular lm
xx
0
_
f(x) g(x)

y sabemos que es del

tipo . En algunos casos se resuelve la indeterminacion expresando
la diferencia f(x) g(x) en la forma f(x) (1
g(x)
f(x)
), si f(x) es la funcion
mas grande de las dos.
37
Ejemplos 0.18.2. a) lm
x+
(2
x
3
x
) = lm
x+
3
x
((
2
3
)
x
1) = lm
x+
3
x

lm
x+
((
2
3
)
x
1) = + (0 1) = .
b) lm
x+
(x

x). Se puede proceder como antes, sacando factor com un la

funcion mas grande, x. No obstante, vamos a usar otro procedimiento gen-
eral que se aplica cuando en la funcion objeto del lmite aparecen factores
del tipo u(x)
_
v(x). En estos casos, se multiplica y divide la funcion en
cuestion por el factor u(x) +
_
v(x). En nuestro ejemplo, tenemos
lm
x+
(x

x) = lm
x+
(x

x) (x +

x)
x +

x
= lm
x+
=
x
2
(

x)
2
x +

x
= lm
x+
x
2
x
x +

x
.
Ahora este ultimo lmite se calcula, como en (I), dividiendo numerador y
denominador por la mayor potencia de x, teniendo en cuenta que

x =
x
1
2
. Por tanto, dividiremos por x
2
:
lm
x+
(x

x) = lm
x+
x
2
x
x +

x
= lm
x+
1
1
x
1
x
+
1
x
3
2
=
1 0
0 + 0
=
1
0
= +,
donde el signo + nal se debe a que x

x es positivo para x > 1.

III) lm
xx
0
sen f(x)
f(x)
= 1, siendo lm
xx
0
f(x) = 0.
A
C
D
B
O
sen x
cos x
tg x
Vamos a probar el caso mas sim-
ple lm
x0
sen x
x
= 1, para lo cual nos
ayudaremos de la representacion ge-
ometrica de las razones trigonometri-
cas. Una vez probado este caso,
cualquier otro se deduce de forma in-
mediata. Consideramos una circunfer-
encia de radio la unidad y escogemos
x (0,

2
). Observamos en la gura
que las areas de los triangulos OAC
y ODB, y del sector OBC verican la
relacion
38
Ar(OAC) < Ar(OBC) < Ar(OBD).
Por tanto, tenemos las desigualdades
1
2
sen x cos x <
1
2
1 x <
1
2
1 tg x. (2)
El termino central necesita alguna aclaracion: el area de un sector circular
es igual a la mitad del producto del radio por la longitud del arco que
abarca y, en nuestro caso, la longitud coincide con x (la medida del angulo
en radianes). Multiplicando cada miembro de (2) por
2
sen x
, resulta
cos x <
x
sen x
<
1
cos x
, (3)
para cada x (0,

2
). En (3), las funciones de los extremos tienen lmite 1,
cuando x 0; por tanto, la propiedad del sandwich nos asegura que tam-
bien lm
x0
+
x
sen x
= 1. Finalmente, haciendo el cambio t = x, se prueba
que el lmite lateral por la izquierda tiene el mismo valor.
Ejemplos 0.18.3. a) Calcular lm
x0
tg x
x
. Sustituimos tg x por
sen x
cos x
y pro-
cedemos al calculo del lmite:
lm
x0
tg x
x
= lm
x0
sen x
x

1
cos x
= lm
x0
sen x
x
lm
x0
1
cos x
= 1 1 = 1.
b) Calcular lm
x0
1 cos x
x
2
. Ahora sustituimos, usando las formulas del an-
gulo mitad, 1 cos x por 2 sen
2
(
x
2
) y procedemos a calcular el lmite
lm
x0
1 cos x
x
2
= lm
x0
2 sen
2
(
x
2
)
x
2
= lm
x0
sen
2
(
x
2
)
x
2
2
=
1
2
lm
x0
_sen(
x
2
)
x
2
_
2
=
1
2
.
IV) lm
xx
0
_
1 +
1
f(x)
_
f(x)
= e, siendo lm
xx
0
f(x) = . En este caso, incluso
la forma mas simple lm
x+
_
1 +
1
x
_
x
, tiene una prueba de cierta dicultad,
39
por lo que no veremos la demostracion. Solo aclarar que se demuestra que
existe y es nito lm
x
_
1 +
1
x
_
x
y su valor se denota por e. Se sabe que es
un n umero irracional cuyo desarrollo decimal comienza por 27182...
En los ejemplos, veremos como se usan estos hechos para resolver indeter-
minaciones del tipo 1

.
Ejemplo 0.18.4. Calcular lm
x0
(1+sen x)
1
x
. Se trata de una potencia de la
forma 1

(indeterminado). Primero transformamos de forma conveniente

la base para poder aplicar (IV)
(1 + sen x) =
_
1 +
1
1
senx
_
y, nalmente, calculamos el lmite
lm
x0
(1 + sen x)
1
x
= lm
x0
_
1 +
1
1
sen x
_1
x
= lm
x0
_
_
1 +
1
1
senx
_ 1
sen x
_sen x
x
= e
1
= e.
0.19. Innitesimos.
Se dice que f(x) es un innitesimo en x = x
0
, si lm
xx
0
f(x) = 0. Asi,
son innitesimos en el origen sen x, x
p
(p > 0), 1 cos x, etc. Entre otras
aplicaciones, los innitesimos son de gran utilidad en el calculo de lmites.
Pero, antes de pasar a ver esto, necesitamos el concepto de innitesimos
equivalentes. Decimos que dos innitesimos en x = x
0
, f(x) y g(x), son
equivalentes si lm
xx
0
f(x)
g(x)
= 1 y se denota por f g. Un ejemplo impor-
tante lo constituye la pareja sen x y x. Son equivalentes en el origen, pues
lm
x0
sen x
x
= 1.
Si f(x) y g(x) son innitesimos en x = x
0
, decimos que f(x) es un in-
nitesimo de orden superior a g(x), si se cumple lm
xx
0
f(x)
g(x)
= 0. Si el
lmite anterior es , diremos que f(x) es de menor orden que g(x). Por
40
ejemplo, x
2
es un innitesimo de mayor orden que tg x (en el origen). En
efecto, tenemos
lm
x0
x
2
tg x
= lm
x0
x
sen x
x cos x = lm
x0
x
sen x
lm
x0
x cos x = 1 0 = 0.
Pasamos ahora a ver cual es el papel de los innitesimos equivalentes en
el calculo de lmites. Supongamos que se desea calcular el lmite de un
producto, lm
xx
0
f(x) g(x), y conocemos un innitesimo equivalente de uno
de los factores; por ejemplo, sabemos que f h en x = x
0
. Probaremos
que los lmites siguientes son iguales
lm
xx
0
f(x) g(x) y lm
xx
0
h(x) g(x).
Mas concretamente, probaremos que, caso de existir uno de los lmites
anteriores, entonces existe el otro y coinciden. En efecto, supongamos que
lm
xx
0
h(x) g(x) = l , y calculamos el otro como sigue
lm
xx
0
f(x) g(x) = lm
xx
0
f(x)
h(x)
lm
xx
0
h(x) g(x) = 1 l = l ,
pues los dos lmites que aparecen en el segundo miembro existen y valen 1
y l , respectivamente. De este resultado se deduce la regla practica siguiente
En el calculo del lmite de un producto, cuando x x
0
, se puede sustituir
un factor por un innitesimo equivalente en x = x
0
, sin que cambie el
lmite.
Es importante destacar que, en general, esta sustitucion solo puede re-
alizarse en productos (o cocientes). El ejemplo nal muestra esto clara-
mente.
A la vista de las ideas anteriores parece conveniente disponer de una lista
de innitesimos equivalentes para ser usada en el caculo de lmites. A
41
continuacion damos una relacion de los innitesimos equivalentes mas co-
munes y posteriormente demostramos algunas de las equivalencias. Todos
ellos son innitesimos en el origen.
1. sen x x, x tg x.
2. x arc tg x, x arc sen x.
3. 1 cos x
x
2
2
.
4. log(1 + x) x.
5. e
x
1 x.
La lista anterior puede aumentarse teniendo en cuenta que: 1) en todas
las anteriores puede cambiarse x por un innitesimo cualquiera f(x), y 2)
a nadiendo las relaciones que se obtienen teniendo en cuenta que la relacion
de equivalencia entre innitesimos es transitiva; es decir, se verica: f g
y g h implican f h. En efecto
lm
xx
0
f(x)
h(x)
= lm
xx
0
f(x)
g(x)
lm
xx
0
g(x)
h(x)
= 1 1 = 1.
Veamos la demostracion de algunas de las relaciones anteriores:
lm
x0
log(1 + x)
x
= lm
x0
= log(1 + x)
1
x
= lm
x0
log
_
1 +
1
1
x
_1
x
= log e = 1.
lm
x0
x
e
x
1
= lm
x0
log(1 + e
x
1)
e
x
1
= 1,
donde, en el ultimo paso se ha usado que son equivalentes log(1 +f(x)) y
f(x), cuando f(x) es un innitesimo.
Ejemplo 0.19.1. Calcular lm
x0
sen x tg x
x
3
.Calcularemos el lmite de dos
formas diferentes. En primer lugar, usando innitesimos equivalentes.
Sabemos que sen x y tg x son innitesimos euivalentes en el origen y va-
mos a sustituir uno de ellos por el otro
lm
x0
sen x tg x
x
3
= lm
x0
sen x sen x
x
3
= lm
x0
0
x
3
= lm
x0
0 = 0.
42
Ahora vamos a calcularlo transformando previamente la diferencia sen x
tg x como sigue
sen xtg x = sen x
sen x
cos x
=
sen x cos x sen x
cos x
=
sen x (1 cos x)
cos x
.
Ahora procedemos a calcular el l mite propuesto
lm
x0
sen x tg x
x
3
= lm
x0
sen x (1 cos x)
cos x x
3
= lm
x0
x
x
2
2
cos x x
3
= lm
x0
1
2 cos x
=
1
2
,
donde se han sustituido sen x por x y (1 cos x) por
x
2
2
. Se han obtenido
dos resultados diferentes, pero es obvio cual es el correcto :
1
2
. En el calculo
del lmite propuesto por el primer metodo, se ha hecho una sustitucion que
no esta justicada: se ha sustituido tg x por sen x en una diferencia y solo
hemos demostrado que las sustituciones son correctas en los productos,
que es precisamente lo que se ha hecho en la segunda forma.
0.20. Continuidad de funciones.
Sea f : D R y x
0
D, diremos que f es continua en x
0
si existe
lm
xx
0
f(x) y su valor es precisamente f(x
0
). Por tanto, la continuidad de
f en x
0
signica que, tomando x en un entorno (x
0
r, x
0
+ r) con r
sucientemente peque no, f(x) estara tan proxima como queramos a f(x
0
).
Ejemplos 0.20.1. a) f(x) =
1
x
. En este caso D(f) = {x R : x = 0}.
Entonces 0 / D(f) y f no puede ser continua en x
0
= 0.
b) Sea f la funcion denida por f(x) = 1, si x > 0 y f(x) = 1, si x 0.
Ahora D(f) = R, pero f tampoco es continua en x
0
= 0. En efecto, notese
que lm
x0
+
f(x) = 1 y lm
x0

f(x) = 1. Por tanto, no existe lm

x0
f(x).
c) Sea f la funcion denida por f(x) =
senx
x
, si x = 0 y f(0) = 1.Hemos
visto que lm
x0
sen x
x
= 1. Por tanto, f es continua en x
0
= 0.
43
A continuacion recogemos, sin demostracion, algunas propiedades de las
funciones continuas que usaremos a lo largo del curso relativas al compor-
tamiento en relacion con las operaciones con funciones y a la continuidad
de las funciones elementales:
1) La suma, el producto, el cociente (si el denominador no se anula en
el punto en cuestion) y la composicion de funciones continuas tambien es
continua.
2) Todas las funciones elementales son continuas en cada punto de sus
respectivos dominios.
3) Si f es continua en x
0
y f(x
0
) = 0, existe un entorno de x
0
, sucien-
temente peque no, tal que f(x) tiene el mismo signo que f(x
0
), cualquiera
que sea x en dicho entorno.
4) Funciones continuas y lmite conmutan. Si lm
xx
0
f(x) = y
0
y g es con-
tinua en y
0
, entonces
lm
xx
0
g(f(x)) = g
_
lm
xx
0
f(x)
_
= g(y
0
).
Ejemplos 0.20.2. a) Sea f(x) =
e
x
x
2
+1
. fes cociente de dos funciones
continuas y el denominador, x
2
+ 1, no se anula nunca. Por tanto, f es
continua en cada punto de R.
b) f(x) =
x
x
2
1
.Por la misma razon anterior, f es continua en todo punto
de R, salvo en los puntos 1 y -1, para los que el denominador se anula.
c) Calcular lm
x0
log
_
x
2
+ 1
x
4
+ 1
_
. Como la funcion logaritmo es continua en
x
0
= 1, conmutan lmite y logartimo y podemos poner
lm
x0
log
_
x
2
+ 1
x
4
+ 1
_
= log
_
lm
x0
x
2
+ 1
x
4
+ 1
_
= log 1 = 0.
44
0.21. Discontinuidades
Si una funcion no es continua en x
0
, se dira que en x
0
existe una discon-
tinuidad de la funcion. Las discontinuidades se clasican, atendiendo a
las causas concretas, en los siguientes tipos:
- Evitables. Se dice que x
0
es una discontinuidad evitable de f, si existe y es
nito lm
xx
0
f(x), pero su valor no coincide con f(x
0
), o bien x
0
/ D(f). El
nombre hace referencia al hecho de que se puede evitar la discontinuidad
redeniendo f en x
0
. Concretamente, poniendo f(x
0
) = lm
xx
0
f(x); de esta
forma, la nueva funcion resulta continua en x
0
.
- De salto nito. Se dice que x
0
es una discontinuidad de salto nito, si
existen, son nitos y distintos los dos lmites laterales de f en x
0
. Los
valores de estos lmites se denotan por f(x
0
+) y f(x
0
) y la diferencia
f(x
0
+)f(x
0
) se llama salto de la funcion en x
0
(es el salto que hay que
dar para ir desde un punto de la graca situado a la derecha de (x
0
, f(x
0
))
hasta otro situado a la izquierda).
- Innita. Si existen ambos lmites laterales, pero al menos uno de ellos es
innito.
- Esencial. Si no existe alguno de los lmites laterales.
Ejemplos 0.21.1. a) f(x) = e
1
x
, si x = 0, y f(0) = 0. Se calculan los
lmites laterales: lm
x0
+
f(x) = e
+
= + y lm
x0

f(x) = e

= 0. Por
tanto, 0 es una discontinuidad de tipo innito.
b) f(x) =
x+1
x
2
1
.El denominador se anula para x = 1, por tanto, f posee
dos puntos de discontinuidad; para los restantes valores de x, f es continua
por ser cociente de dos funciones polinomicas. En x = 1, la discontinuidad
es de tipo innito, pues lm
x1
f(x) =
2
0
= . En x = 1, la discontinuidad
es evitable, pues existe y es nito
45
lm
x1
f(x) = lm
x1
x + 1
(x + 1) (x 1)
= lm
x1
1
x 1
=
1
2
.
0.22. Funciones continuas en un intervalo.
Teoremas fundamentales.
En este apartado se estudian las propiedades fundamentales de las fun-
ciones denidas y continuas en un intervalo [a, b], cerrado y acotado. Des-
de un punto de vista intuitivo, podemos decir que las gracas de estas
funciones, por ser continuas en cada punto de [a, b], se pueden dibujar
sin levantar el lapiz del papel; es decir, la curva de ecuacion y = f(x)
(a < x < b) es un trazo continuo desde (a, f(a)) hasta (b, f(b)).
El primer resultado del que vamos a ocuparnos es el llamado Teorema de
Bolzano. La idea, intuitivamente, es muy simple: si una curva es de trazo
continuo y el origen (a, f(a)) esta por encima del eje OX, mientras que
el extremo (b, f(b)) esta por debajo, necesariamente la curva debe cortar
al eje OX en alg un punto (c, f(c)) = (c, 0), con c (a, b). El enunciado
preciso es el siguiente:
Teorema 0.22.1. (Bolzano). Sea f : [a, b] R continua en [a, b]. Si
f(a) f(b) < 0, entonces existe c (a, b), tal que f(c) = 0.
Notese que la condicion f(a) f(b) < 0 equivale a decir que f toma valores
de signo opuesto en a y b. El teorema de Bolzano se usara para probar
otros resultados fundamentales en este apartado, pero ademas nos ofrece
un metodo util para encontrar valores aproximados de las races de una
ecuacion f(x) = 0.
Ejemplo 0.22.2. Encontrar un valor aproximado de las races de la
46
ecuacion x
3
+x+1 = 0.En este caso, es facil deducir por tanteo que existe
una raz en el intervalo [1, 0], pues f(1) = 1 < 0 y f(0) = 1 > 0.
El teorema de Bolzano, aplicado a la funcion f(x) = x
3
+ x + 1, nos
asegura que existe una raz de la ecuacion en el intervalo (1, 0). Aho-
ra podemos dividir el intervalo por la mitad y ver en que parte esta la
raz. Para ello, vemos el signo de f(
1
2
). Un calculo sencillo nos da
f(
1
2
) =
5
8
+ 1 =
3
8
> 0. Por tanto, f toma valores de signo distinto en
los extremos del nuevo intervalo [1,
1
2
]. Procediendo de esta manera, y
con ayuda de una calculadora, vamos reduciendo el tama no del intervalo
donde se encuentra la raz y, en denitiva, puede determinarse esta con
la aproximacion que se precise. Con tecnicas del calculo diferencial, que
veremos enseguida, puede comprobarse que no hay mas races. Concreta-
mente, basta calcular la derivada f

(x) = 3x
2
+1 y estudiar el signo. Como
la derivada es siempre positiva, la funcion f es estrictamente creciente en
R y, por tanto, solo puede tomar el valor 0 una vez.
El resultado siguiente tambien es muy intuitivo, si tenemos en mente el
hecho comentado anteriormente de que la graca de las funciones que
estamos considerando en este apartado son curvas de trazo continuo.
Teorema 0.22.3. (Bolzano-Weierstrass). Toda funcion denida y con-
tinua en un intervalo [a, b] es acotada.
Recordemos que f se dice acotada en [a, b] si existen constantes m y M
tales que m f(x) M, para cada x [a, b]. Esto signica, desde el
punto de vista graco, que la graca de la funcion esta comprendida entre
las rectas horizontales y = m e y = M.
Teorema 0.22.4. (Existencia de extremos absolutos). Si f es una funcion
denida y continua en un intervalo [a, b], entonces f alcanza un maximo
y un mnimo absolutos en [a, b].
47
Nota 0.22.5. El teorema anterior arma que deben existir dos puntos
x
min
y x
max
en [a, b], tales que f(x
min
) f(x), para cada x en [a, b] y
f(x
max
) f(x), para cada x en el intervalo.
DEMOSTRACI

ON: Como la prueba es similar, solo demostramos que f

alcanza un maximo absoluto en [a, b]. Por el teorema anterior, el conjunto
imagen f([a, b]) = {f(x) : a x b} es acotado y, en particular, acotado
superiormente. Entonces, por la propiedad del supremo, existe el supremo
s de dicho conjunto.

Este es el candidato a maximo absoluto de f. Pero
necesitamos probar que se alcanza; es decir que existe c [a, b], tal que
f(c) = s. Vamos a razonar por reduccion al absurdo: suponemos que no
existe tal c; entonces la funcion auxiliar g(x) =
1
sf(x)
es continua en [a, b]
(como cociente de dos que lo son y con el denominador distinto de 0 en
[a, b]). Aplicamos a g el teorema de acotacion anterior, que nos asegura
que el conjunto imagen de g es acotado, Por tanto, existe M > 0 (pues,
g es positiva), tal que g(x) M, para cada x [a, b]. Es decir, tenemos
1
sf(x)
M, para cada x [a, b], de donde sigue que f(x) s
1
M
, para
todo x [a, b]. Esto expresa que el n umero s
1
M
es cota superior del
conjunto imagen de f, lo que es imposible, pues habra una cota superior
menor que el supremo. Por tanto, s se alcanza por f.
Ejemplo 0.22.6. Sea f(x) =
1
x
, siendo x (0, 1]. f es continua en cada
punto de (0, 1], pero tiene una discontinuidad de tipo innito en el origen.
Por tanto, f(x) se hace tan grande como se quiera sin mas que tomar x
proximo a 0. Es decir, f no esa acotada superiormente en (0, 1]. Notese
que este ejemplo no entra en contradiccion con el teorema de acotacion
ni con el anterior, pues f no cumple todas las condiciones que se exigen
en dichos teoremas. En concreto, el intervalo debe ser cerrado y acotado
y (0, 1] no es un intervalo cerrado.
48
Terminamos el apartado probando que el conjunto imagen f([a, b]) es un
intervalo cerrado y acotado. Concretamente, el intervalo [m, M], donde m
y M denotan el mnimo y el maximo absolutos de f, respectivamente.
Teorema 0.22.7. (De los valores intermedios). Si f : [a, b] R es con-
tinua en [a, b], entonces f toma en [a, b] todos los valores comprendidos
entre su mnimo y su maximo absolutos. Es decir, para cada y
0
[m, M],
existe x
0
[a, b], tal que f(x
0
) = y
0
.
DEMOSTRACI

ON: Sean x
min
y x
max
dos valores donde f alcanza su mn-
imo y su maximo absolutos. Vamos a probar que todo y
0
perteneciente al
intervalo [m, M] es alcanzado por f en el intervalo I determinado por x
min
y x
max
. Si no fuera as, consideramos la funcion auxiliar g(x) = f(x) y
0
.
Esta funcion es continua en el intervalo I y toma valores de signos opuestos
en los extremos de I, que son los puntos x
min
y x
max
. Por el teorema de
Bolzano, existe x
0
I, tal que g(x
0
) = 0; es decir, f(x
0
) = y
0
.
Ejemplo 0.22.8. Sea f : [a, b] R continua en [a, b]. Si x
1
, x
2
, .., x
n
son
puntos de [a, b], demostrar que existe c [a, b] tal que f(c) es igual a la
media aritmetica de los n umeros f(x
i
).
De las desigualdades m f(x
i
) M (i = 1, 2, .., n), se sigue que n m

i
f(x
i
) n M (sumando las desigualdades en i = 1, 2, .., n). Por tanto,
dividiendo por n miembro a miembro, obtenemos m

i
f(x
i
)
n
M.
Ahora basta acudir al Teorema de los valores intermedios para concluir la
existencia del c deseado.
PROBLEMAS PROPUESTOS
1. Calcular los lmites siguientes:
49
lm
x0
e
ax
e
bx
x
, lm
x+
e
x
+ sen x
e
x
+ cos x
, lm
x0
tg
2
x
1 cos
2
x
, lm
x1

x 1
x 1
lm
x+
x

x
x
2
+ 1
, lm
x0
(1 + sen x)
1
x
, lm
x0+
(1 + x
2
)
1

x
, lm
x
_
x
x + 1
_
x
.
Soluciones: a b, 1, 1, 1/2, 0, e, 1, e
1
.
2. Sea f(x) =
1
1+e
1
x
si x = 0 y f(0) = 1. Estudiar el tipo de discontinuidad
de f en el origen.
Solucion: Los lmites laterales son nitos pero distintos: f(0+) = 0 y
f(0) = 1. Discontinuidad de salto nito.
3. Sea f(x) =

x+22
x2
si x = 2 y f(2) =
1
4
. Estudiar el tipo de discon-
tinuidad de f en x
0
= 2.
Solucion: Continua en x = 2.
4. Calcular lm
x+
log(x
2
+ 2)
log(x
3
+ 4)
.
Solucion: 2/3.
5. Estudiar la continuidad en el origen de las siguientes funciones:
a) f(x) =
_
x sen(1/x), si x = 0
0, si x = 0
y b) f(x) =
_
sen(1/x), si x = 0
0, si x = 0
.
6. Estudiar la continuidad de la funcion f(x) =
x
3
3x
2
+3x1
x
2
+x2
.
Solucion: Continuidad evitable en x = 1, de tipo innito en x = 2 y
en los restantes puntos continua.
7. Estudiar la continuidad de la funcion f(x) = x
2
sen(1/x), si x = 0, y
f(0) = 0.
50
Evaluacin Control n 1
I) Determine si las siguientes afirmaciones son verdaderas o falsas. Justifique en
AMBOS CASOS con un ejemplo.
a) La sucesin

= (1)

es acotada y convergente.
b) Si existe lim

(() + ()) y existe lim

() entonces existe el lmite

cuando lim

().
c) Si existe lim

() entonces () es continua en = .
II) Calcular:
a) lim

cos()
b) lim

+2

+ 3

++

, =
c) lim

d) lim

BUENA SUERTE!!