2.

Sucesiones, lmites y continuidad en R

2.1 Sucesiones de nmeros reales
{an } = a1 , a2 , ..., an , ... es una sucesin: a cada natural n corresponde un real an .
Matemticamente, como una funcin asigna a cada elemento de un conjunto un nico elemento de otro:
a:NR
Def. Una sucesin de nmeros reales es una funcin de N en R n a(n) an
Una sucesin tiende hacia a si en todo entorno de a , por pequeo que sea, estn casi todos los trminos
de la sucesin (todos salvo un nmero finito). Por ejemplo { n1 } = 1 , 21 , 13 , ... tiende hacia 0 ya que
fijado un entorno cualquiera del origen todos los trminos de la sucesin a partir de uno dado acaban
metindose dentro. Precisando:
{an } tiene por lmite a (o tiende hacia a o converge hacia a ) si para todo >0 existe
Def. un nmero natural N tal que para todo natural n N es |an a| < . Se representa por
lm an = a an a . Si una sucesin {an } no es convergente se dice divergente.
n n

Esta definicin es la primera de las definiciones rigurosas de lmite de aspecto similar que
veremos en los apuntes. Hagamos unas cuantas observaciones sobre ella:
Decir que |an a| < es equivalente a que an B(a, ) . Para todo hemos de encontrar un
N tal que aN , aN+1 , aN+2 , ... estn dentro del entorno.
El N no es nico: si los an B(a, ) para nN , tambin estn dentro para nN si N N .
No se trata de hallar el menor N , basta con dar uno para el que se cumpla.
En sucesiones escribiremos simplemente an a , pues slo tiene sentido el lmite para n
(en funciones, la x podr tender a 0 , a , a ,. . . y s habr que precisarlo).

Ej. Formalicemos que 1n 0 : dado cualquier (por pequeo que sea) 1/ N

existe N tal que N1 < . Por tanto, si n N , | n1 0| N1 < .
( )
Se ve que N depende del dado (si = 0.1, basta tomar N = 11, - 0
pero si = 0.001 debemos tomar N = 1001 o un nmero mayor).

Ej. La sucesin {(1)n } = 1, 1, 1, 1, ... diverge, pues est claro que no todos sus trminos a
partir de un N estn en todo entorno de 1 , ni de 1 , ni de cualquier otro real. Aunque haya
infinitos trminos en cualquier entorno de 1 (por ejemplo) otros infinitos se escapan. Si = 2
todos los an pertenecen al entorno B(1, 2) , pero esto debe ocurrir y no slo para grandes.

El clculo de lmites con y N es, en general, complicado. Pero, gracias a los teoremas que veremos
(demostrados utilizando los ), slo en contadas ocasiones y para sucesiones muy extraas deberemos
en el futuro acudir a la definicin. Para manejar sta (en ejemplos y en teoremas) se suele partir de lo que
uno quiere hacer pequeo ( |an a| ) y, tras algunos < (la desigualdad triangular suele aparecer), se
llega a una expresin de la que sea ya fcil decir para qu n es < :
n
2 n+5

Ej. Probemos slo con la definicin (pronto ser innecesaria) que {an } = n+1
2.
 n
 |5n 2|

 2 n+5 5n +2 3
 n+1 2  = n+1
n
n < n > n > 92
3

Por tanto, dado cualquier , si N es un natural > 9/ 2 , para nN se cumple que |an 2| < .
[No es la nica forma de precisar el N, podramos, por ejemplo, no haber quitado el 1 del
denominador y habramos llegado a otro N; lo que, desde luego, no funcionara sera empezar
haciendo |an 2| |an |+2 , pues no habra forma de hacer esto menor que cualquier ].

23
Teorema: {an } convergente {an } acotada.
Sea = 1 (por fijar un nmero); sabemos que N tal que si n N |an ||a| |an a| < 1

|an ||a|+1 . Por tanto, llamando M = mx |a1 |, . . . , |aN1 |, |a|+1 se tiene |an |M n .
No es cierto que toda {an } acotada sea convergente. Por ejemplo, {(1)n } es acotada y diverge.
Lo que s se deduce del teorema (no q no p) es que diverge seguro una sucesin no acotada.
Definimos ahora un par de tipos importantes de sucesiones divergentes (y no acotadas):


{an } diverge hacia + n
lm an = si K N / n N se cumple an K .
Def.

{an } diverge hacia n
lm an = si K N / n N se cumple an K .

[+ y son slo smbolos, no nmeros; estas sucesiones no convergen a ningn nmero real].
n2 +1 2
Ej. 2n , pues K , n 2n+1 2n > K si n N con N cualquier natural 2K .
1, 0, 2, 0, 3, 0, 4, ... no diverge hacia . A pesar de contener trminos tan pequeos
como queramos, no es cierto que dado cualquier K queden a su izquierda todos los trminos
a partir de un N (para los K < 0 es evidente que es falso). Claramente, tampoco tiende a 0 .

{an } es creciente si an an+1 n . {an } es decreciente si an an+1 n .

Def.
Cualquiera de las dos se dice montona.

Ej. 13, 23, 33, 43, 53, . . . (no acotada, divergente hacia +) es creciente.
1, 1, 1/2, 1/2, 1/3, 1/3, 1/4, 1/4, ... es decreciente (y tiende hacia 0 ).

{an } creciente y acotada superiormente {an } convergente.

Teorema:
{an } decreciente y acotada inferiormente {an } convergente.
aN
El axioma del extremo superior asegura que {an } tiene supremo
al que llamamos a . Veamos que a es el lmite de {an } : (
a- a
Sea > 0 , N tal que aN > a (si no, habra cotas menores
que a ). Por tanto, si n N , a an aN > a |an a| = aan < . [Anloga la otra].
Dada una sucesin {an }, se llama subsucesin de {an } a cualquier sucesin formada escogiendo
ordenadamente infinitos trminos de {an } , es decir:
Def. {an j } = an1 , an2 , con los n j N tales que n1 < n2 < es subsucesin de {an } .

Ej. 12 , 14 , 16 , 81 , 10
1 1
. . . , 1, 11 1
, 111 1
, 1111 1
, 11111 1 1 1 1
. . . 25 , 26 , 27 , 28 , . . . son subsucesiones de { 1n } .
1 1 1 1 1
No lo es, en cambio, 2 , 1, 4 , 3 , 6 , 5 , . . . , formada con elementos desordenados de { n1 } .
Est claro que si {an } a tambin cualquier subsucesin suya {an j } a . Por tanto, una
forma de probar que una sucesin no tiene lmite es encontrar dos subsucesiones suyas
que converjan hacia lmites distintos o alguna subsucesin que no converja.
[A las subsucesiones de las sucesiones divergentes pueden pasarle, sin embargo, todo tipo de cosas.
Por ejemplo, 1, 1, 2, 1, 2, 3, 1, 2, 3, 4, ... tiene subsucesiones convergentes a infinitos lmites distintos
(a cada nmero natural), otras que divergen a + y otras que no tienen lmite ni finito ni infinito;
1, 0, 2, 0, 3, 0, 4, ... tiene subsucesiones que tienden a 0 y otras a ; 1, 2, 3, 4, ... no tiene
subsucesiones convergentes... Si {an } es acotada veremos que s podemos sacar alguna conclusin].

Con los siguientes teoremas podremos calcular un montn de lmites de sucesiones sin usar
y N (slo los ms sencillos, otros exigen tcnicas de lmites de funciones y habr que esperar).

24
 Si {an } a y {bn } b entonces:
Teorema:
{an + bn } a+b , {an bn } ab , {an bn } ab , y si b 6= 0 , { abnn } ab .

+) casi igual ) . Dado , Na / n Na |an a| < y Nb / n Nb |bn b| <

2 2 .
Por tanto, |an + bn (a + b)| |an a| + |bn b| < , si n N = mx{Na , Nb } .
) |an bn ab| = |an bn abn + abn ab| |an a||bn | + |bn b||a| . Hagamos pequeo esto:

{bn } b dado , Nb tal que n Nb |bn b| < 2|a| , suponiendo a 6= 0 .

{bn } convergente acotada: B con |bn |<B ; como {an }a , Na / nNa |ana|< 2B .
|a|

Por tanto: |an bn ab| < B
2B + 2|a| = . Si a = 0 , |bn b||a| = 0 < 2 .

/ )  bann ab  = |ban ab+ababn| |a||b|K

 
|bbn | < K
2K + 2|a||b|K = , si n N = mx{N1 , N2 , N3 } donde:
como {bn } b 6= 0 , N1 / n N1 |bn | K > 0 ; como {bn } b , N2 / n N2
|b|K K
|bn b| < 2|a| ; y como {an } a , N3 / n N3 |an a| < 2 .

Las operaciones que involucran las sucesiones que tienden a + o son slo un poco ms
complicadas y vienen a formalizar la forma intuitiva en que se trabaja con los infinitos:
Sean {cn } 0 , {pn } p > 0 , {qn } q < 0 , {an } acotada , {in } .
Teorema: Entonces: {an + in } , {an in } , {cn an } 0 , {an /in } 0 ,
{pn in } , {qn in } , {in /pn } , {in /qn } , . . .
 
como {cn }, {pn } y {qn } estn acotadas, los resultados con {an } son tambin ciertos con ellas .
Probemos para cansarnos poco slo un par de ellas, por ejemplo la primera y la ltima:
Sea |an | A , K , an + in in A K , pues in K + A , si n es suficientemente grande.
Si n grande in > 0 y Q/Q < qn < 0 K , in /qn < in /Q < K , pues in > QK si n grande.

Podemos abreviar este teorema (pero recordando que es slo una notacin!) escribiendo:
acot = , 0 acot=0 , acot
= 0 , (1) = , 1 = , . . .

Tambin es cierto: + = ", () = ", (1) () = ", . . .

Es tentador escribir 10 = " , pero es falso en general {(1)n /n} 0 y {(1)n n} no



tiene lmite . S es cierto que: {pn } p > 0 , {cn } 0 y cn > 0 {pn /cn } .

Los lmites con potencias se deducirn de los lmites de funciones, pues probaremos teoremas
que realacionarn unos y otros. Por ahora, admitimos:
Sean {bn } b , {pn } p > 0 , {qn } q < 0 , {in } . Entonces:
Teorema:  n si p > 1
pn n pb , inpn , inqn 0 , pnin 0 si 0 < p < 1 .
 b  


Por ejemplo, el primero ser consecuencia de la continuidad de f (x)g(x) si f > 0 y f , g continuas .


Podramos resumir: 1 = , 1 = 0 , 2 = (1/2) = 0 .

Obsrvese que en ninguna la base es negativa no est ()1 ni (2) : las potencias reales
 

o racionales pueden no existir la sucesin (2)1/2n , por ejemplo, no existe para ningn n .
  

25
A pesar de tanto teorema an quedan las llamadas indeterminaciones que resumimos:

, 0 , 00 ,

, 1 , 00 , 0

Hay que leerlas en trminos de sucesiones. Segn la primera, si dos sucesiones no se puede, en
principio, decir hacia qu tiende su diferencia por ejemplo: nn2 , nn 0 y n2 n .

Para resolver algunas bastar un truco algebraico como los de los ejemplos siguientes, pero en otros
casos se necesitar LHpital o Taylor para hallar los lmites. Observemos que las tres de potencias
(por la definicin general de pb ) son en esencia del tipo 0 : elog 1 , elog 0 0 , elog 0 .

Ej. Gracias a todo el trabajo con los ahora ya casi nunca habr que acudir a la definicin.
n2 +(1)n 1/n+(1)n /n3 0+0 n3 +(1)n 1+(1)n /n3
3 = 3+0 =0 , = 1+0 1
03 = 3 ,
2n3n 2/n2 3 2n3n 3 2/n2 3
n4 +(1)n n+(1)n /n3
= +0
03 = .
2n3n3 2/n2 3
[Las tres son indeterminaciones y hemos reescrito la sucesin dividiendo por la potencia mayor
del denominador. Y hemos utilizado varios teoremas: n3 =n(nn) porque el producto de dos
sucesiones que tienden a tiende a ; (1)n /n3 0 pues acotado/ = 0" ; 1+(1)n /n3 1
porque suma de sucesiones tiende a la suma de los lmites; lmites de cocientes, ...].
[No se divide por la mayor potencia del numerador para evitar la posible aparicin de expresiones
del tipo 1/0 que son fuente de errores; otra forma vlida de actuar es sacar factor comn la
potencia dominante del numerador y denominador].

q q
n3 1 n
1
n n14 1n n3/2 1 n13 1n 1
Ej. an = 2 = 7
00
50 = 0 , o bien, an = n2 7
0 =0.
5n 7 n 5 5 5
n n n n

Aqu hemos utilizado adems que an a y = , casos particulares de los lmites
de potencias vistos (y que no son difciles de probar directamente) .

Como se ve, para calcular lmites de cocientes de polinomios o races de ellos basta comparar
los trminos con la mxima potencia de numerador y denominador (y se pueden hacer a ojo:
si el numerador es ms pequeo, el cociente 0 , si ambos son del mismo orden aparecen los
coeficientes de los trminos ms gordos y si el numerador es mayor el lmite ser + o infinito).
1
n 3 + n cos n 0 acot0 , pues numerador 3 + 0 = 3 .
h
Ej. (1)n 3n+cos n
i
2 n = (1) n + en denominador +0 =
n + ne

pares 13
h i
13n
Ej. (1)n+1 n+1 diverge, ya que tiene subsucesiones con distintos lmites impares 13 .

n3 1 2n = n n n2 2 (2) = " . O sacando factor comn n3/2 .
   

Ej.
q 1 arctan n   
n + arctan n n = n n + n2 1 ( 0 1) = " , arctan n est acotado .
 
Hemos sacado factor comn (lo habitual para ) para dejar claro qu trmino mandaba .

[ n n1][ n+ n1] 1
Ej. n n1 = = 0.
n+ n1 n+ n1
[Los eran del mismo orden y hemos tenido que racionalizar; sacar factor comn daba 0 ].

n 4 n 4 1
Ej. (n7)! = (n7)(n8)(n9)(n10) (n11)! 1 0 = 0 . [El factorial crece muy muy deprisa].

n(n+1) [El nmero de sumandos crece con n ; no es cierto que

Ej. 1 +2 + n = 1
.
n +1 2
2(n +1) 2 como n/n2 0 nuestra sucesin tambin lo haga].

26
 
Adems de los lmites de potencias,otros sern consecuencia de los de funciones se ver que si
f es continua lm f (an ) = f (lm an ) . Por ejemplo, de la continuidad de las funciones se infiere:

{an } a {cos an } cos a , {sen an } sen a , {log an } log a (an > 0) , . . .

n n n
Ej. lm cos n+1 = cos 0 = 1 , pues n+1 0 ; {sen 2n+1 } sen 2 = 1 ; {log n+5
n } log 1 = 0 .
n

Otro teorema que probaremos ser: f (x) L f (n) L .

x n

arctan n arctan n
Ej. n1/n n = (/2)
 
1/n 1 1 , pues arctan n 2 , ya que arctan x 2 .
e n e
1 x
n
Si se divide por n se puede caer en el error de escribir 10 = .
 

Admitimos estos otros lmites indeterminados de sucesiones (por ahora sabemos calcular pocos)
porque los necesitaremos en las series del captulo 4 (exigen resultados de derivadas):
log n
(1+cn )1/cn e , si {cn } 0 .

na 0 , a > 0 ; n1;
n

log x 1/x
El primero (
), ser consecuencia de que: lm xa = lm a1 = 0.
x LH x ax
De l se obtiene el segundo ( 0 ): x1/x = elog x/x e0 = 1 .
x
1/x
El ltimo ( 1 ) se deducir del lmite (1+x) = elog(1+x)/x e .
x0
En vez de utilizar integrales, se puede definir el nmero e
n
como el lmite de la sucesin creciente y acotada (1+ 1n ) .

Hallemos los lmites de alguna sucesin ms utilizando los anteriores y/o resultados ya vistos:

3
n + log n 1 + n1/3 log n
Ej. 3 =
3 1 [hemos admitido que log n es mucho menor que na , a > 0 ].
n + log n 1 + n1 log n

3 n
(acot+)3 = 3 = " n1/(n1) = (n1/n ) n1 11 = 1 ;

Ej. (1)n + n
 
;
3
1/n
n1/n1 1 = 0" ; (7n3 1)1/n = n1/n 7 n13 13 70 = 1 .


c
primero y tercero son fciles; en los otros usamos (ab ) = abc y el lmite admitido n1/n 1 .
 

2
h i 2
6n+1 n
h i 2 h
3n2 +1 n
(3n2 +2) i 3nn2 +2
Ej. 3n+2 2 = 21 = 0 ;
3n2 +2
= 1 3n21+2 e1/3 .
El primero otra vez era sencillo, pero como 1 es indeterminado, en el segundo buscamos


el nmero e identificando la {cn } 0 y poniendo lo que sobra fuera del corchete .

n + 2n+1 1 + 2(2/3)n
Ej. 3n+1 1+0 1
dividiendo por la potencia que manda 3n o por 3n+1 .


n = 3 + (2/3)n 3+0 = 3
3 +2

Ej. Hallemos el lmite de an para todos los a R sin hacer uso de teoremas no demostrados:
si a>1 , a=1+h , con h>0 an = (1+h)n =1+nh+ >nh>K , K si n gordo an ;
si a = 1 , {1n } = 1, 1, 1, ... 1 ; si a = 0 , {0n } = 0, 0, 0, ... 0 (no son indeterminaciones);
1 1
si a(0, 1) , 1/a>1 , an = (1/a) n n n
n = 0 ; si a(1, 0) , a =(1) (a) acot0 = 0 ;

si a = 1 , {(1)n } = 1, 1, 1, 1, ... diverge;

si a < 1 , como (a)n , an = (1)n (a)n toma valores grandes positivos y negativos
diverge (ni siquiera tiende a + o ).

27
Otros temas ms tericos de sucesiones
Damos para acabar definiciones y teoremas importantes en matemticas avanzadas (las usaremos en las
demostraciones de 2.3). El primer teorema es uno de esos tpicos de matemticas que aseguran que existe
algo pero no dicen ni cmo es ese algo ni cmo buscarlo (y parecen no servir para nada):
Teorema: Toda sucesin acotada posee una subsucesin convergente.
Como {an } es acotada, existe un intervalo cerrado [c0 , b0 ] {an } . Di- c [ ] b0
0
vidimos [c0 , b0 ] en otros dos iguales. En uno de ellos, al menos, hay
infinitos trminos de {an }. Le llamamos [c1 , b1 ] . Volvemos a dividir y c1[ ]b 1
a elegir [c2 , b2 ] con infinitos an ... Tenemos as una sucesin de interva- c2 [ ] b2
los [ck , bk ] , cada uno con infinitos trminos de la sucesin. La sucesin
c0 , c1 , ... es creciente y acotada superiormente por b0 . La b0 , b1 , ... es c3[ ]b 3
decreciente y acotada inferiormente por c0 . As ambas tienen lmite y
es intuitivamente claro que el lmite de las dos es el mismo. Le llamamos a . Construimos una subsuce-
sin de {an } que tiende hacia a : elegimos an0 [c0 , b0 ] , an1 [c1 , b1 ] con n1 > n0 (podemos, pues hay
infinitos an en [cn1 , b1 ] ),... No es difcil formalizar que an j a .

Ej. {sen n} = 0.841.., 0.909.., 0.141.., 0.757.., 0.959.., 0.279.., 0.656.., 0.989.., 0.412.., . . .
[funciones trigonomtricas siempre en radianes]; parece no tener lmite y se prueba (es difcil)
que es as. Como es acotada, tendr subsucesiones convergentes, pero no sabemos cules.

La siguiente definicin tampoco tendr mucha utilidad prctica para nosotros:

Def. {an } es sucesin de Cauchy si N N tal que n, m N se tiene que |an am | < .
[la diferencia entre dos trminos suficientemente altos es tan pequea como queramos]
Parece claro que si todos {an } se acercan a un lmite se acercarn tambin entre s, es decir, que toda
sucesin convergente ser de Cauchy. Lo contrario tambin es cierto para las sucesiones en R:
Teorema: {an } converge {an } es de Cauchy

) N / k N |ak a| < 2 ; as pues, si n, m N, |an am | |an a| + |am a| < 2 + 2 = .
) Se puede probar que: {an } de Cauchy {an } acotada (la demostracin es parecida a la
de las convergentes). Por lo tanto, existe subsucesin {an j } convergente hacia algn real a .
Veamos que toda la sucesin {an } tiende hacia ese a :

{an } de Cauchy N1 tal que n, n j N1 |an an j | < 2 .

{an j } convergente N2 tal que n j N2 |an j a| < 2 .

Por tanto: |an a| |an an j | + |an j a| < + = si n N = mx{N1 , N2 } .
2 2

Un conjunto se dice completo si toda sucesin de Cauchy converge hacia un elemento del propio
conjunto. Acabamos de ver que R lo es. Pero, por ejemplo, Q no lo es: hay sucesiones de Cauchy
en Q que no convergen a un racional (como la 3, 3.1, 3.14, 3.141, 3.1415, 3.14159, ... obtenida
aadiendo decimales de , que es de Cauchy pero su lmite se escapa de Q). Ello se debe a la
inexistencia en Q del axioma del extremo superior (por esta misma razn, en Q hay sucesiones
montonas y acotadas sin lmite en Q o sucesiones acotadas sin subsucesiones convergentes en
Q). La definicin de conjunto completo es importante en anlisis funcional.
El ltimo resultado relaciona conjuntos cerrados y sucesiones y lo utilizaremos en demostraciones:
Teorema: Si {an } a y {an } A cerrado a A .
Pues el lmite de una sucesin, si tiene infinitos trminos distintos, es un punto de acumulacin
de ella, y, por tanto, tambin de A que es cerrado. Y si {an } toma slo un nmero finito de
valores, debe ser an = a a partir de un N, con lo que, claramente, a A .
/ A , como le ocurre a { n1 } (0, 1) ].
[Para abiertos es falso: hay {an } A abierto cuyo lmite

28
2.2 Lmites de funciones y funciones continuas
f tiende a L (o tiene por lmite L ) cuando x tiende hacia a si
Def. > 0 > 0 tal que si x cumple 0 < |xa| < entonces | f (x)L| < .
Esto se representa: f (x) L o bien lm f (x) = L .
xa xa

Es decir, > 0 > 0 tal que si x B (a, ) f (x) B(L, ) .


[En la definicin est implcito que a es punto interior de dom f {a} para que f tenga sentido
en B (a, ) ; tambin est claro que no importa nada el valor de f en a , ni siquiera si f est o
no definida en el punto; esto si lo tendremos en cuenta para la definicin de continuidad, pero
el lmite ms importante del clculo, la derivada, ser de este tipo].

Grficamente: Para todo debe ser posible encontrar L+!

L
tal que est dentro de la banda
L!

[evidentemente el no es nico: si hemos encontrado a " a a+ "

un nos vale tambin cualquier ms pequeo].

Ej. f1 (x) = x2 . Grficamente parece claro que lm f1 (x) = a2 a . Comprobmoslo para a = 0 :

xa
Dado cualquier debe ser |x2 02 | = |x|2 < si |x0| = |x| es

suficientemente pequeo. Tomando = se tiene que:
0 < |x| < |x|2 < .
Para otros a no es fcil hallar el lmite utilizando simplemente la
definicin, pero ser un lmite trivial cuando dispongamos de los
teoremas que veremos. Lo mismo podemos decir del siguiente:

Ej. f2 (x) = x + x . Comprobemos que f2 (x) 6 = f2 (4) [esto significar f2 continua en x = 4 ].
x4

| f2 (x)6| = |x4 + x 2| |x4| + | x 2| = |x4| + |x4|
x +2
|x4| + |x4| 3
2 = 2 |x4|

Por tanto, escogiendo = 23 (o cualquier ms pequeo) garantizamos que | f2 (x)6| .

[No podemos hablar del lmite de f2 para x 0 por no ser el punto interior al dominio {x 0} .

Ej. f3 (x) = x3 arctan 1x . Esta funcin no est definida en 0 , pero veamos que f3 (x) 0 si x 0 .
q
Como |x3 arctan 1x | 2 |x3 | = 2 |x|3 , bastar tomar |x| < = 3 2 3 1
para que |x arctan x | < .
[Como siempre, trabajamos con estas definiciones partiendo de lo que se quiere hacer pequeo y
utilizando desigualdades crecientes hasta que sea claro el que garantiza que lo inicial es < ].
 
1 si x < 0 1 si a < 0
Ej. f4 (x) = . Es claro que f4 (x) (basta tomar < |a| ).
1 si x > 0 xa 1 si a > 0

Pero no hay lmite si x 0 . Para < 1 hay x con |x| < para los que
| f4 (x)L| , por pequeo que sea , sea L = 1 , L = 1 u otro real.
Sin embargo, f4 se acerca a 1 1 cuando x 0 si slo miramos los x positivos o negativos.
[La negacin de que f L si x a es esta afirmacin: existe un tal que para todo
existen x con |xa| < pero cumpliendo | f (x)L| (la negacin de que en toda
clase hay algn estudiante que, si se examina, aprueba, es que hay una clase en la que
todos los estudiantes que se examinan suspenden)].

29
El ltimo ejemplo y lo dicho sobre el dominio de f2 nos lleva a definir los lmites laterales:


f L por la derecha (izquierda) cuando x a lm+ f (x) = L lm f (x) = L
Def. xa xa
si >0 >0 tal que si x cumple 0<xa< ( 0<ax< ) | f (x)L|< .

Como 0 < |x a| < 0 < x a < y 0 < a x < , es inmediato que:

Teorema: lm f (x) = L existen lm f (x) y lm f (x) , y coinciden con L .
xa xa+ xa

Por tanto, si no existe un lmite lateral, o si existiendo no coinciden, no existe el lmite.

Ej. f4 (x) 1 , pues , para cualquier que escojamos, si 0 < x < es | f4 (x) 1| = 0 < .
x0+
f4 (x) 1 , pues para cualquier , 0 <x< <x< 0 | f4 (x) (1)| = 0 < .
x0
 
Esto prueba que no existe el lm f4 (x) . S existen lm f4 (x) = lm f4 (x) = 1 = lm f4 (x) .
x0 x1 x1+ x1

En general, para ver si f tiene lmite no ser necesario calcular los laterales. Slo lo haremos
cuando la f sea diferente a ambos lados de a (como en el ejemplo anterior en x = 0 ).
Este teorema ser muy til para demostrar fcilmente bastantes otros usando las propiedades de
las sucesiones y, en el futuro, para calcular lmites de sucesiones que an no sabemos hacer:
lm f (x) = L toda sucesin {an } dom f {a} con {an } a
xa n
Teorema:
satisface { f (an )} L .
n

) Sabemos que / si 0 < |xa| < | f (x)L| < .

Como an a , N / n N |an a| < | f (an )L| < ,
L
con lo que la sucesin { f (an )} L .
) Si f (x) no tiende a L existe > 0 tal que para todo > 0 a
existe algn x con 0 < |xa| < pero con | f (x)L| > .
En particular, para todo n existe algn an con 0 < |an a| < n1 pero | f (an ) L| > :
existe, pues, {an } que converge hacia a pero con { f (an )}
6 L.
Gracias al teorema, para ver que una f no tiene lmite en a bastar encontrar una {an }
(formada por puntos de dom f ) que tienda hacia a y tal que { f (an )} diverja, o bien encontrar
dos sucesiones {an } y {bn } tales que { f (an )} y { f (bn )} tiendan hacia distintos lmites. Esto
puede permitir formalizar de forma sencilla la no existencia de lmites sin tener que acudir a la
negacin de la definicin:
(1)n
Ej. Como an = n 0 pero { f4 (an )} = 1, 1, 1, 1, ... diverge f4 no tiene lmite en x=0 .
[Para otras bn 0 s tiene lmite { f4 (bn )} (por ejemplo, para cualquier {bn } con bn >0 dicho
lmite es 1 ); pero el teorema pide que todas converjan y que el lmite de todas sea el mismo].
1 si x racional
Ej. f5 (x) = . Intuitivamente parece claro que f5 no tiene lmite para ningn a (ra-
0 si x irracional
cional o irracional). Por ejemplo, no puede tender f5 hacia
1
1 cuando x a pues por pequeo que sea el hay x
del entorno (los irracionales) con | f5 (x)1| > (para los
<1 ). Lo mismo sucede con otros posibles lmites. Esto es
a mucho ms fcil de formalizar con sucesiones: f5 no tiene
lmite en a pues si {an } es una sucesin de racionales y
{bn } de irracionales tendiendo hacia a , se tiene que f5 (an ) 1 mientras que f5 (bn ) 0 . (Estas
sucesiones siempre existen, pues en todo entorno de a hay infinitos racionales e irracionales).

30
Las siguientes definiciones incluyen "" (no son lmites normales; como siempre es slo
un smbolo; en sentido estricto no tiene lmite una f que tiende a + o a ):
 
Def. lm f (x) = L lm f (x) = L si > 0 M tal que si x > M [ x < M ] | f (x)L| <
x x

Def. lm f (x) = [ ] si K > 0 tal que si 0 < |xa| < f (x) > K [ f (x) < K ]
xa

Def. lm f (x) = si K M tal que si x > M f (x) > K

x

[Anlogamente lm f (x) = , lm f (x) = , ... ]

xa x

Un par de interpretaciones geomtricas: K f (x)

xa

f (x) L
x

M a

1
0 si x pues > 0 M = 1 tal que si x > 1  1x 0 < ,
 
Ej. La funcin f6 (x) = x

y tiende a cuando x 0+ pues K = K1 tal que si 0 < x 0 < K1 1x > K .

 
Anlogamente se vera que f6 0 y que f6 . No existe el lm f6 (x) .
x x0 x0

Ej. f7 (x) = 3
x + th x , porque K M tal que f7 (x) > 3 x 1 > K si x > M = (K+1)3 .
x

Se pueden probar relaciones entre estos nuevos lmites y los de sucesiones. Por ejemplo:
Teorema:
lm f (x) = L toda sucesin {an } dom f con an cumple f (an ) L .
x n n

En particular, como la sucesin {n} , deducimos que f (x) L f (n) L .

x n

La afirmacin contraria a la anterior es claramente falsa.

Por ejemplo, para f (x) = sen x es { f (n)} = 0, 0, 0 ,
pero ni 0 ni ningn otro L es el mite de f cuando x .
Teorema:
lm f (x) = toda sucesin {an } dom f {a} con an a cumple f (an ) .
xa n n

Como consecuencia de los lmites de sucesiones se puede demostrar ahora fcilmente:

f (x) L , g(x) M f g L M , f g L M .
xa xa xa xa
f
Teorema: Si adems M 6= 0 ML
g xa .
Lo anterior es vlido si se sustituye a por a+ , a , + .
Todas se demuestran igual, relacionando sucesiones y funciones. Por ejemplo, la primera:
Sea cualquier an a , an 6= a . Por tender la suma de sucesiones a la suma de los lmites:
lm ( f g)(an ) = lm f (an ) lm g(an ) = L M lm ( f g)(x) = L M .
n n n n

31
La continuidad se define usando el concepto de lmite. Ahora s importa el valor de f (a) :
f es continua en un punto a interior al dominio de f si lm f (x) = f (a) , o sea,
Def. xa
si > 0 > 0 tal que si x cumple |x a| < entonces | f (x) f (a)| < .
[Luego f no es continua si no existe lmite o no existe f (a) o si existiendo no coinciden].
Ej. Tres sencillas funciones continuas en cualquier punto a son: c

f (x) = c : > 0 vale cualquier para que |xa| < |cc| = 0 < . a

f (x) = x : > 0 basta tomar = para que |xa| < = |xa| < . a

f (x) = |x| : > 0 tomando = es ||x||a|| |xa| < si |xa| < . a

Ej. f3 (x) = x3 arctan 1x no es continua en 0 , pues no est definida f3 (0) . Pero si definimos
f3 (0) = 0 s lo es, pues vimos que f3 (x) 0 . Si fuese f3 (0) = 7 sera discontinua.
x0
f4 no puede hacerse continua en 0 definiendo adecuadamente f4 (0), pues no existe lm f4 (x) .
x0

De los teoremas para lmites se deducen:

Teorema:
f es continua en a toda sucesin {an } dom f con an a cumple f (an ) f (a) .
n n

lm f (an ) = f ( lm an ) si f es continua (no, si es discontinua)].

[Por tanto n n

Si f y g son continuas en a entonces f +g , f g , f g son continuas en a .

Teorema:
Si adems g(a) 6= 0 , tambin f /g es continua en a .
(propiedad
Por ejemplo, lm ( f g)(x) = de lmites)
= lm f (x) lm g(x) = f (a) g(a) . Las otras igual.
xa xa xa
[Se podran probar directamente a partir de la definicin; la de la suma por ejemplo:
, | f (x)+g(x) f (a)g(a)| | f (x) f (a)| + |g(x)g(a)| < si |xa| < = mn{1 , 2 } ,
siendo 1 y 2 tales que: | f (x) f (a)| < 2 si |xa| < 1 , |g(x)g(a)| < 2 si |xa| < 2 ,
y estos existen por ser f y g continuas en a ].

Teorema: g continua en a y f continua en g(a) f g continua en a .

an a = g(an ) g(a) = ( f g)(an ) = f (g(an )) f (g(a)) = ( f g)(a) .
g cont. en a f cont. en g(a)

f continua en a y estrictamente montona en un

Teorema:
entorno de a f 1 continua en f (a) .
f (a+ e)
Sea f estrictamente creciente (anlogo si fuera decreciente).
f(a)
f(a e) d
buscamos tal que |y f (a)| < | f 1 (y) a| <
1
[o sea, f (a) < y < f (a)+ a < f (y) < a + ].
a e a a+e
El dibujo sugiere = mn{ f (a+) f (a), f (a) f (a)} > 0 .
Entonces: f (a) < y < f (a)+ f (a) < y < f (a+) a < f 1 (y) < a+ .

[porque f 1 creciente].

porque f (a)+ f (a+) , f (a) f (a)

Hemos definido continuidad en un punto. En intervalos las definiciones son de este tipo:
f es continua en (a, b) si es continua en todo x de (a, b) .
Def. f es continua en [a, b] si es continua en (a, b) , lm+ f (x) = f (a) y lm f (x) = f (b) .
xa xb

[No podemos decir simplemente continua en todo x [a, b], pues a y b no son puntos interiores].

32
Probemos que todas las funciones elementales (de 1.4) son continuas en su dominio.
Los polinomios P(x) = a0 xn + a1 xn1 + + an son continuos en todo R
(ya que son sumas y productos de funciones continuas en todo a de R).
P(x)

Las funciones racionales cocientes de polinomios Q(x) son continuas a con Q(a) 6= 0 .

Las races x son continuas en su dominio: R si n impar, R+ si n par (en x = 0 hablamos
n

de lm+ 2n x ), por ser inversas de funciones estrictamente crecientes y continuas.
x0
Las funciones trigonomtricas y sus inversas tambin son continuas en su dominio:
Comencemos probando que f (x) = sen x es continua a R : > 0 , si |xa| < =
|xa|
se cumple: | sen x sen a| = |2 sen xa x+a xa
2 cos 2 | 2| sen 2 | 2 2 < .
cos x = sen (x+ 2 ) es continua a por ser composicin de funciones continuas a .
tan x = sen x
cos x es continua si cos x 6= 0 , es decir, si x 6= 2 +k , k Z .
arc sen x , arc cos x en [1, 1] y arctan x x son inversas de montonas continuas.
Para probar la continuidad de exponenciales y logaritmos debemos esperar al estudio de las
integrales. El teorema fundamental de clculo integral que demostraremos en 5.2 asegurar que
log x 1x dtt es continua x > 0 . De ah deducimos la continuidad de las dems:
R

ex es continua en R por ser inversa de continua. Y por ser composicin de continuas:

xb eb log x continua en (0, ) si b > 0 en [0, ) , tomando 0 como su valor en 0 ,
 
log x
bx ex log b ( b > 0 ) continua x , logb x log b ( b > 0, b 6= 1 ) continua x > 0 .
Las funciones hiperblicas, sumas, diferencias y cocientes con denominadores no nulos de
funciones continuas, son tambin continuas en todo su dominio R.
Con todo lo anterior podemos afirmar que muchsimas funciones son continuas en casi todos los puntos
sin usar la definicin (el trabajo con los lo hemos hecho en los teoremas, sobre todo en sucesiones, y
slo para funciones muy raras habr que acudir a ella).

ex/(x1) + arctan[log(x2 +1)] cos3 x + 4 x
Ej. f8 (x) = x es continua en (0, 1) (1, 3] :
[3 + arc sen 3 ] sh x
el numerador lo es en [0, ) {1} , pues arctan [log (x2 +1)] cos3 x es continua en R (suma de
composiciones de continuas), la raz en R+ y la exponencial si x6= 1 ; el denominador es continuo
en [3, 3] (por el arc sen 3x ) y slo se anula en 0 ( arcsen como mucho vale 2 y slo sh 0 = 0 ).
Con tantas funciones continuas el clculo de lmites es casi siempre un clculo tonto, pues basta sustituir
x por a en la expresin de la funcin: f8 (x) f8 (2) si x 2 , por ejemplo, por ser f8 continua en 2 .
Tambin son sencillos algunos lmites con infinitos, utilizando propiedades como las de sucesiones (de-
mostrables basndose en ellas y los teoremas que relacionan funciones y sucesiones o directamente):

c = , acot = , + = , () = , 0 acot = 0 ,
c
= 0 , acot p
= 0 , p () = (p > 0) , p = (p > 0) , 0 = (p > 0) ,
log (+0) = , log () = , e = , e = 0 , arctan () = 2 , . . .

Como siempre, hay que leerlo en sentido de lmites; por ejemplo, c = significa que si f
tiende a c y g hacia + (cuando x a , a+ , a , + ), la suma f +g , respectivamente,
tiende a + . La notacin +0 ( 0 ) significa aqu que f 0 siendo f > 0 ( f < 0 ).
i
arctan [log 2]cos3 1+1
h
Con esto, se tiene que lm+ f8 (x) = c+


p y l
m f 8 (x) = 1 .
x1 x1 sh 1 [ 3+arc sen 3 ]

Como en sucesiones, a pesar de tanto teorema quedan lmites difciles: los indeterminados, la mayora
de los cuales (los que no admitan trucos algebraicos como los de sucesiones) slo sabremos hallar una
vez que estudiemos las derivadas (por ejemplo, el lmite de f8 cuando x 0+ , que es de la forma 00 ).

33
El siguiente teorema permite calcular un lmite indeterminado que pronto necesitaremos:
Si f (x) g(x) h(x) y lm f = lm h = L lm g = L .
Teorema:
( x a , a+ , a , + , todos valen).
Como f , h L , es L < f (x) g(x) h(x) < L+ |g(x)L| < .
Deducimos el siguiente lmite indeterminado (ser inmediato con LHpital o Taylor), usando
slo propiedades trigonomtricas (basadas en la no muy rigurosa definicin dada de sen x ):
sen x
1 . Si x > 0 , por el significado geomtrico de sen x y tan x :
x x0
sen x x 1 sen x tanx
sen x < x < cos x 1 < sen x < cos x cos x < x < 1 . senx
x
Como cos x +1 , el teorema anterior prueba el lmite para x > 0 . 0 1
x0
sen x sen (x)
Si x < 0 , por ser x = x , reducimos el lmite al anterior.

Mucho ms fciles de calcular seran (no son indeterminados):

Ej. lm sen x
x =
sen(/2)
/2 = 2
, por ser esta funcin continua en x = 2 .
x 2
[Hay una idea errnea que suele estar muy extendida: esta funcin (como otras) no es
continua en el punto porque al sustituir x por 2 salga f ( 2 ) (faltara ms). Lo es (y por
eso es fcil el lmite y basta con sustituir) porque se ha demostrado que sen x y x son
continuas y que el cociente de continuas con denominador no nulo tambin lo es].
Ej. lm sen x acot
x = 0 , pues sabemos que = 0 .
x

De cada lmite de funciones se deducen infinitos lmites de sucesiones. Del indeterminado anterior:
sen(1/n2 )
Ej. lm n2 sen n12 = lm 1/n2 = 1 , puesto que n12 0 y g(x) = sen x
x 1 cuando x 0 .
n n

nk n2 sen n1
Ej. Calculemos el lmite de la sucesin an =
3 , para i) k = 2 , ii) k = 1 .
n n arctan n
n (1 sen 1n ) (10)
Si k = 2 , an = 2/3 0/2 = [ sen x es continua en x = 0 ].
n arctan n
1 n sen 1n 11 sen 1
Si k = 1 , an = 0/2 = 0 , pues 1 n 1 .
n2/3 arctan n n

Hallando lmites ser, en ocasiones, conveniente realizar cambios de variable como:

Teorema:
[t = g(x) ]
g continua en a , g(x) 6= g(a) si x 6= a y lm f (t) = L lm f (g(x)) = L
tg(a) xa

[Casi igual que la demostracin de la continuidad de f g ].

0
Ej. Con este teorema podemos deducir del lmite indeterminado hallado algn otro del tipo 0 :
sen (x+5)  sent

lm
x5 x+5 = 1 t = g(x) = x+5 es continua, no se anula si x 6= 5 y t 1 .
Otro que exige algo de ingenio (pero que ser muy fcil con los desarrollos de Taylor):
2x
2
lm 1 xcos
2
x
= lm 1 + 1cos x lm 1 xcos
2 = 12 lm senx x = 12 .
x0 x0 x0 x0
2 2
Complicndolo un poco: lm tan x = lm sen2x lm cosx x2 = 1 01 = 0 .
x0 x x0 x x0

Como ningn teorema nos dice nada sobre el siguiente, tendremos que acudir a la definicin:
2 1/2

lm tanxx no existe porque la funcin se va a infinitas veces si x = [ 2 +k]
x
y por tanto su grfica se sale de la banda limitada por y = L+ e y = L sea cul sea el L .

34
2.3 Teoremas sobre funciones continuas en intervalos
Teorema:
f continua en c y f (c) > 0 [< 0] > 0 tal que f (x) > 0 [< 0] si x (c , c + )
Dado = f (c) , > 0/ si |x c| < | f (x) f (c)| < f (c)
f (x) f (c) > f (c) f (x) > 0 [si f (c) < 0 tomamos = f (c)]
c
Teorema de Bolzano para funciones continuas:
f continua en [a, b] , f (a) < 0 < f (b) existe algn c (a, b) tal que f (c) = 0 .
[La grfica corta el eje x en algn punto (el teorema no dice dnde), quizs en ms de uno].

Sea A = x [a, b] : f (x) 0 6= (a A) y acotado superiormente
(por b) existe c = sup A . Probemos que f (c) = 0 : a
b
Si f (c) < 0 / f (x) < 0 en (c , c + ) no es cota
c de A
y c no sera cota de A .
cota ms
Si f (c) > 0 / f (x) > 0 en (c , c + ) pequea
c
y habra cotas menores.
En ninguno de los dos casos c podra ser el supremo de A .
Teorema:
f continua en [a, b] f toma todos los valores comprendidos entre f (a) y f (b) .

[Normalmente tomar ms y si f no es continua, no tiene

a que tomarlos, como muestran los dibujos de la izquierda].
a b b
Si f (a) < f (b) , sea p con f (a) < p < f (b) . La funcin
g = f p es continua en [a, b] con g(a) < 0 < g(b) . El teorema de Bolzano asegura que
existe c (a, b) con g(c) = 0 , es decir, con f (c) = p . Si f (a) > p > f (b) , como f es
continua y f (a) < p < f (b) c (a, b) tal que f (c) = p .
Hemos hablado de conjuntos acotados y del mximo de un conjunto, pero no de una funcin.
De modo natural, f se dice acotada en A R si lo est el conjunto f (A) = { f (x) : x A}
y se define valor mximo de f en A como el mximo del conjunto f (A) (en caso de que
exista). Anlogamente se define valor mnimo de f en A .
Ej. La funcin del dibujo (que s es acotada) no tiene valor mximo en [a, b] ,
aunque s valor mnimo (se alcanza en b y su valor es 0 ); est claro que
no es continua en [a, b] .
a b

Teorema: f continua en [a, b] f acotada en [a, b] .

Si f no estuviese acotada superiormente podramos escoger un xn I [a, b] con f (xn ) > n

para cada n N . Como {xn } acotada, existe {xn j } xo I (por ser cerrado). Como f es
continua en xo tendramos f (xn j ) f (xo ) , lo que es imposible pues { f (xn j )} no est acotada
(> n j ) y no puede converger. [Anlogamente se vera que est acotada inferiormente].

El teorema no es cierto para (a, b) [a, ) :

x
Ej. f (x) = 1x es continua pero no acotada en (0, 1)
0( )1
y le pasa lo mismo a f (x) = x en [0, ) .

35
Teorema: f continua en [a, b] existen los valores mximo y mnimo de f en [a, b] .
M O sea, existen y, z [a, b] tales que f (z) f (x) f (y) para todo x [a, b] .
m
a b
[Estos y, z pueden no ser nicos, desde luego].

Sea M =sup f (I) . Existe {yn } I tal que M n1 < f (yn ) M n f (yn ) M . Podra {yn }
no converger pero, siendo acotada, hay seguro una {yn j } subsucesin convergente hacia un yI .
Como f continua en I , f (y) = lm f (yn j ) = M y, por tanto, el supremo pertenece a f (I) .
Anlogamente, o considerando f , se ve que el nfimo tambin se alcanza.

[En la demostracin se ve que el teorema es vlido en conjuntos cerrados y acotados

(se les llama compactos y son importantes en el clculo ms avanzado)].

Tampoco este teorema es cierto sustituyendo [a, b] por (a, b) o por [a, ) :
Ej. f (x) = 1/x es continua en (0, 1) pero no alcanza su mximo ni su mnimo en (0, 1) .
Ej. f (x) = x no tiene mximo en [0, ) (su valor mnimo existe y vale 0 ).

Funciones uniformemente continuas en un intervalo I

[Definimos este concepto porque aparecer en la demostracin de algn teorema].
f era continua en I si lo era en cada x de I (lmites laterales en los posibles extremos de I ),
es decir, si x I y existe un (, x) tal que y I si |yx| < entonces | f (y) f (x)| < .
Ej. Consideremos f (x) = 1x . En (0, 1) sabemos que es continua:
x y existe un tal que si |y x| < | 1y 1x | < .
Pero dado un se ve que el que debemos tomar es ms pequeo
segn elijamos un x ms pequeo. Intuitivamente est claro que no
podemos encontrar un que valga para todos los x de (0, 1): por 1
pequeo que sea , si x es muy pequeo, la funcin tomar valores
muy diferentes en (x , x + ) . Pero para la misma f en [1, ) se
ve que dado un existe un vlido para cualquier x del intervalo 1
(el que valga para x = 1 valdr para tambin para los x > 1 ).
f es uniformemente continua en I si
Def.
existe un () tal que x, y I si |yx| < entonces | f (y) f (x)| < .

Ej. Acabemos de formalizar que f (x) = 1x no es uniformemente continua en (0, 1) :

Sea = 1 . Por pequeo que sea encontramos x, y (0, 1) con |yx| < pero | 1y 1x | > .
3
Por ejemplo, x = 4 , y = satisfacen |yx| = 4 < pero | 1y 1x | = 3
> 1 (pues < 1 ).
1
Formalizamos ahora que f (x) = s es uniformemente continua en [1, ) :
x
= tal que x, y [1, ) con |y x| < | 1y 1x | = |yx|
xy |y x| < .

Evidentemente: f uniformemente continua en I f continua en I .

La implicacin es falsa en general; aunque s es vlida cuando I = [a, b] :
Teorema: f continua en [a, b] f uniformemente continua en [a, b] .
Por reduccin al absurdo. Supongamos a la vez f continua y no uniformemente continua en [a, b].
Existe, pues, > 0 tal que > 0 podemos encontrar x, y con |yx| < pero | f (y) f (x)| .
En particular, para cada = 1n tenemos {xn }, {yn }[a, b] con |yn xn |< n1 y | f (yn ) f (xn )| n.
{xn } acotada {xn j } convergente a un c ( [a, b] por ser cerrado) f (xn j ) f (c) ( f es
continua). Como |yn j xn j | < 1/n j 0 tambin f (yn j ) f (c) y por tanto | f (yn j ) f (xn j )| 0 ,
lo que est en clara contradiccin con el hecho de que | f (yn j ) f (xn j )| n j .
[En la demostracin se ve que tambin este teorema ser vlido en cualquier conjunto compacto].

36