2.

Sucesiones, lmites y continuidad en R

2.1 Sucesiones de nmeros reales
{a
n
} = a
1
, a
2
, ..., a
n
, ... es una sucesin: a cada natural n corresponde un real a
n
.
Matemticamente, como una funcin asigna a cada elemento de un conjunto un nico elemento de otro:
Def. Una sucesin de nmeros reales es una funcin de N en R
a : NR
n a(n)a
n
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 nito). Por ejemplo {
1
n
} = 1,
1
2
,
1
3
, ... tiende hacia 0 ya que
jado un entorno cualquiera del origen todos los trminos de la sucesin a partir de uno dado acaban
metindose dentro. Precisando:
Def.
{a
n
} tiene por lmite a (o tiende hacia a o converge hacia a ) si para todo >0 existe
un nmero natural N tal que para todo natural nN es |a
n
a| < . Se representa por
lm
n
a
n
= a a
n

n
a . Si una sucesin {a
n
} no es convergente se dice divergente.
Esta denicin es la primera de las deniciones rigurosas de lmite de aspecto similar que
veremos en los apuntes. Hagamos unas cuantas observaciones sobre ella:
Decir que |a
n
a| < es equivalente a que a
n
B(a, ) . Para todo hemos de encontrar un
N tal que a
N
, a
N+1
, a
N+2
, ... estn dentro del entorno.
El N no es nico: si los a
n
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 a
n
a , pues slo tiene sentido el lmite para n
(en funciones, la x podr tender a 0 , a , a ,. . . y s habr que precisarlo).
( )
1/
-
0
N
Ej. Formalicemos que
1
n
0 : dado cualquier (por pequeo que sea)
existe N tal que
1
N
< . Por tanto, si nN , |
1
n
0|
1
N
< .
Se ve que N depende del dado (si =0.1, basta tomar N=11,
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
innitos trminos en cualquier entorno de 1 (por ejemplo) otros innitos se escapan. Si =2
todos los a
n
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 denicin. Para manejar sta (en ejemplos y en teoremas) se suele partir de lo que
uno quiere hacer pequeo ( |a
n
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 < :
Ej. Probemos slo con la denicin (pronto ser innecesaria) que {a
n
} =
_
2

n+5
n

n+1
_
2 .

n+5
n

n+1
2

=
|5
n
2|

n+1

5
n
+2

n

3

n
<

n >
3

n >
9

2
Por tanto, dado cualquier , si N es un natural > 9/
2
, para nN se cumple que |a
n
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 |a
n
2| |a
n
|+2 , pues no habra forma de hacer esto menor que cualquier ].
21
Teorema: {a
n
} convergente {a
n
} acotada.
Sea =1 (por jar un nmero); sabemos que N tal que si nN
|a
n
||a| |a
n
a| <1 |a
n
| |a|+1 .
Por tanto, llamando M=mx
_
|a
1
|, . . . , |a
N1
|, |a|+1
_
se tiene |a
n
| M n .
No es cierto que toda {a
n
} acotada sea convergente. Por ejemplo, {(1)
n
} es acotada y diverge.
Lo que s se deduce del teorema (noq no p) es que diverge seguro una sucesin no acotada.
Denimos ahora un par de tipos importantes de sucesiones divergentes (y no acotadas):
Def.
{a
n
} diverge hacia +
_
lm
n
a
n
=
_
si K N / nN se cumple a
n
K .
{a
n
} diverge hacia
_
lm
n
a
n
=
_
si K N / nN se cumple a
n
K .
[+ y son slo smbolos, no nmeros; estas sucesiones no convergen a ningn nmero real].
Ej.
n
2
+1
2n
, pues K,
n
2
+1
2n

n
2
> K si nN 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 .
Def.
{a
n
} es creciente si a
n
a
n+1
n . {a
n
} es decreciente si a
n
a
n+1
n .
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 ).
Teorema:
{a
n
} creciente y acotada superiormente {a
n
} convergente.
{a
n
} decreciente y acotada inferiormente {a
n
} convergente.
N
a
(
a a-
El axioma del extremo superior asegura que {a
n
} tiene supremo
al que llamamos a . Veamos que a es el lmite de {a
n
} :
Sea >0 , N tal que a
N
>a (si no, habra cotas ms
pequeas que a ). Por tanto, si nN , a a
n
a
N
> a
|a
n
a| = aa
n
< . [Anloga la otra].
Dada una sucesin {a
n
}, se llama subsucesin de {a
n
} a cualquier sucesin formada escogiendo
ordenadamente innitos trminos de {a
n
} , es decir:
Def. {a
n
j
}=a
n
1
, a
n
2
, con los n
j
N tales que n
1
<n
2
< es subsucesin de {a
n
} .
Ej.
1
2
,
1
4
,
1
6
,
1
8
,
1
10
. . . , 1,
1
11
,
1
111
,
1
1111
,
1
11111
. . .
1
25
,
1
26
,
1
27
,
1
28
, . . . son subsucesiones de {
1
n
} .
No lo es, en cambio,
1
2
, 1,
1
4
,
1
3
,
1
6
,
1
5
, . . . , formada con elementos desordenados de {
1
n
} .
Est claro que si {a
n
} a tambin cualquier subsucesin suya {a
n
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 innitos lmites distintos
(a cada nmero natural), otras que divergen a + y otras que no tienen lmite ni nito ni innito;
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 {a
n
} es acotada veremos que s podemos sacar alguna conclusin].
22
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).
Teorema:
Si {a
n
} a y {b
n
} b entonces:
{a
n
+b
n
} a+b , {a
n
b
n
} ab , {a
n
b
n
} ab , y si b=0 , {
a
n
b
n
}
a
b
.
+) Dado , N
a
/n N
a
|a
n
a| <

2
y N
b
/n N
b
|b
n
b| <

2
.
Por tanto, |a
n
+b
n
(a+b)| |a
n
a| +|b
n
b| < , si nN=mx{N
a
, N
b
} .
) Casi igual que +).
) |a
n
b
n
ab| =|a
n
b
n
ab
n
+ab
n
ab| |a
n
a||b
n
| +|b
n
b||a| . Hagamos pequeo esto:
{b
n
} b dado , N
b
tal que nN
b
|b
n
b| <

2|a|
si a=0
(y si a=0 , |b
n
b||a| =0<

2
);
{b
n
} convergente est acotada: B tal que |b
n
| <B; y como {a
n
} a , N
a
/ nN
a

|a
n
a| <

2B
. Por tanto: |a
n
b
n
ab| <
B
2B
+
|a|
2|a|
= .
/ )

a
n
b
n

a
b

=
|ba
n
ab+abab
n
|
|bb
n
|
<
K
2K
+
|a||b|K
2|a||b|K
= , si n N =mx{N
1
, N
2
, N
3
} donde:
como {b
n
} b = 0 , N
1
/ n N
1
|b
n
| K > 0 ; como {b
n
} b , N
2
/ n N
2
|b
n
b| <
|b|K
2|a|
; y como {a
n
} a , N
3
/ n N
3
|a
n
a| <
K
2
.
Las operaciones que involucran las sucesiones que tienden a + o son slo algo ms com-
plicadas y vienen a formalizar la forma intuitiva en que se trabaja con los innitos:
Teorema:
Sean {c
n
} 0 , {p
n
} p > 0 , {q
n
} q < 0 , {a
n
} acotada , {i
n
} .
Entonces: {a
n
+i
n
} , {a
n
i
n
} , {c
n
a
n
} 0 , {a
n
/i
n
} 0 ,
{p
n
i
n
} , {q
n
i
n
} , {i
n
/p
n
} , {i
n
/q
n
} , . . .
[como {c
n
}, {p
n
} y {q
n
} estn acotadas, los resultados con {a
n
} son tambin ciertos con ellas]
Probemos para cansarnos poco slo un par de ellas, por ejemplo la primera y la ltima:
Sea |a
n
| A , K, a
n
+i
n
i
n
A K , pues i
n
K+A , si n es sucientemente grande.
Si n grande i
n
>0 y Q/Q<q
n
<0 K , i
n
/q
n
<i
n
/Q<K , pues i
n
>QK si n grande.
Podemos abreviar este teorema (pero recordando que es slo una notacin!) escribiendo:
acot = , 0 acot=0 ,
acot

= 0 , (1) = ,

1
= , . . .
y tambin es cierto: + =", () =", (1) () =", ...
Es tentador escribir 1/0 =" , pero es falso en general
_
{(1)
n
/n} 0 y {(1)
n
n} no
tiene lmite

. S es cierto que si {p
n
} p>0 , {c
n
} 0 y c
n
>0 entonces p
n
/c
n
.
Los lmites con potencias se deducirn de los lmites de funciones. Por ahora, admitimos:
Teorema:
Sean {b
n
} b , {p
n
} p>0 , {q
n
} q<0 , {i
n
} . Entonces:
_
p
b
n
n
_
p
b
,
_
i
p
n
n
_
,
_
i
q
n
n
_
0 ,
_
p
i
n
n
_

_
si p>1
0 si 0<p<1
.
Podramos resumir:
1
= ,
1
= 0 , 2

= (
1
2
)

= 0 .
Obsrvese que en ninguna la base es negativa [por ejemplo, no est escrito ()
1
ni (2)

]:
las potencias racionales (y menos las reales, denidas a travs del logaritmo) pueden no existir
[la sucesin {(2)
1/2n
} , por ejemplo, no existe para ningn n ].
[Cuando veamos que senx , cosx , logx , . . . son continuas en todo su dominio podremos decir que
si {b
n
} b entonces: {senb
n
} senb , {cosb
n
} cosb , {logb
n
} logb (b>0) , . . . ].
23
A pesar de tanto teorema an quedan las llamadas indeterminaciones que resumimos:
, 0 ,
0
0
,

, 1

, 0
0
,
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: nn
2
, nn 0 y n
2
n ).
Para resolver algunas bastar un truco algebraico como los de los ejemplos siguientes, pero en otros
casos, insistimos, se necesitar LHpital o Taylor para halla los lmites. Observemos que las tres de
potencias (por la denicin general de p
b
) son en esencia del tipo 0 : e
log1
, e
log0 0
, e
log 0
.
Ej. Gracias a todo el trabajo con los ahora ya casi nunca habr que acudir a la denicin.
n
2
+(1)
n
3n
3
+2n
=
1/n+(1)
n
/n
3
3+2/n
2

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

1+0
3+0
=
1
3
,
n
4
+(1)
n
3n
3
+2n
=
n+(1)
n
/n
3
3+2/n
2

+0
3+0
= .
[Las tres son indeterminaciones y hay que reescribir la sucesin; en el clculo hemos utilizado
varios teoremas: n
3
= n (n n) porque el producto de dos sucesiones que tienden a
tiende a ; (1)
n
/n
3
0 porque acotado/ = 0" ; 1 + (1)
n
/n
3
1 porque la suma de
sucesiones tiende a la suma de los lmites; lmites de cocientes, ms lmites con ...].
Ej.

n
3
1n
5n
2
7

n
=
_
1
1
n
3

1

n
5

n
7
n

10
50
=0 , o bien,

n
3
1n
5n
2
7

n
=
_
1
n

1
n
4

1
n
5
7
n

00
50
=0 .
[Aqu hemos utilizado adems que lm

a
n
=

lma
n
y

= que son casos particulares

de los lmites de potencias vistos; lo probaremos directamente en problemas].
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
coecientes de los trminos ms gordos y si el denominador es mayor el lmite ser + o innito).
Ej. (1)
n
13n
n+1
diverge, pues hay subsucesiones con distintos lmites
_
pares 13
impares 13
_
.
Ej.

n
3
1n = n
_
_
n
1
n
2
1

(1) =" .
[Hemos sacado factor comn (lo habitual para ) para dejar claro que trmino mandaba].
Ej.

n

n1 =
[

n1][

n+

n1]

n+

n1
=
1

n+

n1
0 .
[Los eran del mismo orden y ha habido que racionalizar; sacar factor comn no serva aqu].
Ej.
_
(1)
n
+

n

3
(acot+)
3
=
3
=" .
Ej.
n
2
(n7)!
=
n
2
(n7)(n8)
1
(n9)!
1 0 = 0 . Ej.
3
n
+2
n+1
3
n+1
+2
n
=
1+2(2/3)
n
3+(2/3)
n

1+0
3+0
=
1
3
.
Ej.
1+ +n
n
2
+1
=
n(n+1)
2(n
2
+1)

1
2
.
[El nmero de sumandos crece con n ; no es cierto que
como n/n
2
0 nuestra sucesin tambin lo haga].
Ej. Hallemos el lmite de a
n
para todos los aR sin hacer uso de teoremas no demostrados:
si a>1 , a=1+h , con h>0 a
n
= (1+h)
n
=1+nh+ >nh>K , K si n gordo a
n
;
si a=1 , {1
n
}=1, 1, 1, ... 1 ; si a=0 , {0
n
}=0, 0, 0, ... 0 (no son indeterminaciones);
si a(0, 1) , 1/a>1 , a
n
=
1
(1/a)
n

1

=0 ; si a(1, 0) , a
n
=(1)
n
(a)
n
acot0 =0 ;
si a=1 , {(1)
n
}=1, 1, 1, 1, ... diverge;
si a<1 , como (a)
n
, a
n
=(1)
n
(a)
n
toma valores grandes positivos y negativos
diverge (ni siquiera tiende a + o ).
24
Otros temas ms tericos de sucesiones.
Damos para acabar deniciones 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.
[ ]
0
b
0
c
1
b 1
c ] [
2
b
2
c [ ]
[
3
b
3
c ]
Como {a
n
} es acotada, existe un intervalo cerrado [c
0
, b
0
] {a
n
} . Di-
vidimos [c
0
, b
0
] en otros dos iguales. En uno de ellos, al menos, hay
innitos trminos de {a
n
}. Le llamamos [c
1
, b
1
] . Volvemos a dividir y
a elegir [c
2
, b
2
] con innitos a
n
... Tenemos as una sucesin de interva-
los [c
k
, b
k
] , cada uno con innitos trminos de la sucesin. La sucesin
c
0
, c
1
, ... es creciente y acotada superiormente por b
0
. La b
0
, b
1
, ... es
decreciente y acotada inferiormente por c
0
. 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 {a
n
} que tiende hacia a : elegimos a
n
0
[c
0
, b
0
] , a
n
1
[c
1
, b
1
] con n
1
>n
0
(podemos, pues hay
innitos a
n
en [c
n
1
, b
1
] ),... No es difcil formalizar que a
n
j
a .
Ej. {senn} = 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 denicin tampoco tendr mucha utilidad prctica para nosotros:
Def. {a
n
} es sucesin de Cauchy si NN tal que n, mN se tiene que |a
n
a
m
| < .
[la diferencia entre dos trminos sucientemente altos es tan pequea como queramos]
Parece claro que si todos {a
n
} 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: {a
n
} converge {a
n
} es de Cauchy
) N / kN |a
k
a| <

2
; as pues, si n, mN, |a
n
a
m
| |a
n
a| +|a
m
a| <

2
+

2
= .
) Se puede probar que: {a
n
} de Cauchy {a
n
} acotada (la demostracin es parecida a la
de las convergentes). Por lo tanto, existe subsucesin {a
n
j
} convergente hacia algn real a .
Veamos que toda la sucesin {a
n
} tiende hacia ese a :
{a
n
} de Cauchy N
1
tal que n, n
j
N
1
|a
n
a
n
j
| <

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

2
.
Por tanto: |a
n
a| |a
n
a
n
j
| +|a
n
j
a| <

2
+

2
= si n N=mx{N
1
, N
2
} .
Un conjunto se dice completo si toda sucesin de Cauchy converge hacia un elemento del propio
conjunto. Acabamos de ver que Rlo es. Pero, por ejemplo, Qno 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 denicin de conjunto completo es importante en anlisis funcional.
El ltimo resultado relaciona conjuntos cerrados y sucesiones y lo utilizaremos en demostraciones:
Teorema: Si {a
n
} a y {a
n
}A cerrado aA.
Pues el lmite de una sucesin, si tiene innitos trminos distintos, es un punto de acumulacin
de ella, y, por tanto, tambin de A que es cerrado. Y si {a
n
} toma slo un nmero nito de
valores, debe ser a
n
= a a partir de un N, con lo que, claramente, a A.
[Para abiertos es falso: hay {a
n
}A abierto cuyo lmite / A, como le ocurre a {
1
n
}(0, 1) ].
25
2.2 Lmites de funciones y funciones continuas
Def.
f tiende a L (o tiene por lmite L ) cuando x tiende hacia a si
>0 >0 tal que si x cumple 0<|xa| < entonces | f (x)L| < .
Esto se representa: f (x)
xa
L o bien lm
xa
f (x) = L .
[Es decir, >0 >0 tal que si x B

(a, ) f (x) B(L, ) ].

[En la denicin est implcito que a es punto interior de domf {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 denida en el punto; esto si lo tendremos en cuenta para la denicin de continuidad, pero
el lmite ms importante del clculo, la derivada, ser de este tipo].
Grcamente: Para todo debe ser posible encontrar
tal que est dentro de la banda
[evidentemente el no es nico: si hemos encontrado
un nos vale tambin cualquier

ms pequeo].
L+!
L !
a a+
L
a " "
Ej. f
1
(x) = x
2
. Grcamente parece claro que lm
xa
f
1
(x) = a
2
a . Comprobmoslo para a=0 :
Dado cualquier debe ser |x
2
0
2
| =|x|
2
< si |x0| =|x| es
sucientemente pequeo. Tomando =

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

x . Comprobemos que f
2
(x)
x4
6 = f
2
(4) [esto signicar f
2
continua en x=4 ].
| f
2
(x)6| =|x4+

x 2| |x4| +|

x 2| =|x4| +
|x4|

x+2
|x4| +
|x4|
2
=
3
2
|x4|
Por tanto, escogiendo =
2
3
(o cualquier ms pequeo) garantizamos que | f
2
(x)6| .
[No podemos hablar del lmite de f
2
para x0 por no ser el punto interior al dominio {x0} .
Ej. f
3
(x) = x
3
arctan
1
x
. Esta funcin no est denida en 0 , pero veamos que f
3
(x) 0 si x 0 .
Como |x
3
arctan
1
x
|

2
|x
3
| =

2
|x|
3
, bastar tomar |x| < =
3
_
2

para que |x
3
arctan
1
x
| < .
[Como siempre, trabajamos con estas deniciones partiendo de lo que se quiere hacer pequeo y
utilizando desigualdades crecientes hasta que sea claro el que garantiza que lo inicial es < ].
Ej. f
4
(x) =
_
1 si x < 0
1 si x > 0
. Es claro que f
4
(x)
xa
_
1 si a < 0
1 si a > 0
(basta tomar <|a| ).
Pero no hay lmite si x 0 . Para <1 hay x con |x| < para los que
| f
4
(x)L| , por pequeo que sea , sea L=1 , L=1 u otro real.
[La negacin de que f L si x a es esta armacin: 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 que todos los estudiantes que se examinan suspenden)].
Pero f
4
se acerca a 1 1 cuando x 0 si slo miramos los x positivos o negativos.
Este ejemplo y lo dicho sobre el dominio de f
2
nos lleva a denir los lmites laterales:
26
Def.
f L por la derecha (izquierda) cuando xa
_
lm
xa
+
f (x)=L ( lm
xa

f (x)=L )

si >0 >0 tal que si x cumple 0<xa< ( 0<ax< ) | f (x)L| < .

Como 0 <|x a| < 0 < x a < y 0 < ax < , es inmediato que:
Teorema: lm
xa
f (x) = L existen lm
xa
+
f (x) y lm
xa

f (x) , y coinciden con L

Por tanto, si no existe un lmite lateral, o si existiendo no coinciden, no existe el lmite.
Ej. f
4
(x)
x0
+
1 , pues , para cualquier que escojamos, si 0 < x < es | f
4
(x) 1| = 0 < .
f
4
(x)
x0
+
1 , pues para cualquier , 0 <x< <x<0 | f
4
(x)(1)| =0 < .
Esto prueba que no existe el lm
x0
f
4
(x) .
_
S existen lm
x1

f
4
(x) = lm
x1
+
f
4
(x) = 1 = lm
x1
f
4
(x)

.
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:
Teorema:
lm
xa
f (x) = L toda sucesin {a
n
}domf {a} con {a
n
}
n
a
satisface { f (a
n
)}
n
L .
L
a
) Sabemos que / si 0<|xa| < | f (x)L| < .
Como a
n
a , N / nN |a
n
a| < | f (a
n
)L| <,
con lo que { f (a
n
)} L .
) Si f (x) no tiende a L existe >0 tal que para todo >0
existe algn x con 0 <|x a| < pero | f (x) L| > .
En particular, para todo n existe algn a
n
con 0 <|a
n
a| <
1
n
pero | f (a
n
) L| > :
existe, pues, {a
n
} que converge hacia a pero con { f (a
n
)} L.
Gracias al teorema, para ver que una f no tiene lmite en a bastar encontrar una {a
n
}
(formada por puntos de domf ) que tienda hacia a y tal que {f (a
n
)} diverja, o bien encontrar
dos sucesiones {a
n
} y {b
n
} tales que { f (a
n
)} y { f (b
n
)} 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 denicin:
Ej. Como a
n
=
(1)
n
n
0 pero { f
4
(a
n
)} =1, 1, 1, 1, ... diverge f
4
no tiene lmite en x=0 .
[Para otras b
n
0 s tiene lmite { f
4
(b
n
)} (por ejemplo, para cualquier {b
n
} con b
n
>0 dicho
lmite es 1 ); pero el teorema pide que todas converjan y que el lmite de todas sea el mismo].
Ej. f
5
(x) =
_
1 si x racional
0 si x irracional
1
a
. Intuitivamente parece claro que f
5
no tiene lmite para ningn a (ra-
cional o irracional). Por ejemplo, no puede tender f
5
hacia
1 cuando x a pues por pequeo que sea el hay x
del entorno (los irracionales) con | f
5
(x)1| > (para los
<1 ). Lo mismo sucede con otros posibles lmites. Esto es
mucho ms fcil de formalizar con sucesiones: f
5
no tiene
lmite en a pues si {a
n
} es una sucesin de racionales y
{b
n
} de irracionales tendiendo hacia a , se tiene que f
5
(a
n
) 1 mientras que f
5
(b
n
) 0 . (Estas
sucesiones siempre existen, pues en todo entorno de a hay innitos racionales e irracionales).
27
Las siguientes deniciones 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
x
f (x)=L
_
lm
x
f (x)=L

si >0 M tal que si x>M [ x<M ] | f (x)L| <

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

f (x) = , lm
x
f (x) = , ... ]
Un par de interpretaciones geomtricas: f (x)
xa

f (x)
x
L
L
M
a
K
Ej. La funcin f
6
(x) =
1
x
0 si x pues >0 M=
1

tal que si x>

1

1
x
0

< ,
y tiende a cuando x 0
+
pues K =
1
K
tal que si 0 < x 0 <
1
K

1
x
> K .
_
Anlogamente se vera que f
6

x
0 y que f
6

x0

. No existe el lm
x0
f
6
(x)

.
Ej. f
7
(x) =
3

x +thx
x
, porque K M tal que f
7
(x) >
3

x 1 > K si x>M=(K+1)
3
.
Se pueden probar relaciones entre estos nuevos lmites y los de sucesiones. Por ejemplo:
Teorema:
lm
x
f (x) = L toda sucesin {a
n
} domf con a
n

n
cumple f (a
n
)
n
L
En particular, como la sucesin {n} , deducimos que f (x)
x
L f (n)
n
L .
Teorema:
lm
xa
f (x) = toda sucesin {a
n
}domf {a} con a
n

n
a cumple f (a
n
)
n

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

Teorema:
f (x)
xa
L , g(x)
xa
M f g
xa
LM , f g
xa
L M .
Si adems M=0
f
g

xa
L
M
.
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 a
n
a , a
n
= a . Por tender la suma de sucesiones a la suma de los lmites:
lm
n
( f g)(a
n
) = lm
n
f (a
n
) lm
n
g(a
n
) = LM lm
n
( f g)(x) = LM .
28
La continuidad se dene usando el concepto de lmite. Ahora importa el valor de f (a) :
Def.
f es continua en un punto a (interior al dominio de f ) si lm
xa
f (x) = f (a) ,
es decir, 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]
a
c
a
a
Ej. Tres sencillas funciones continuas en cualquier punto a son:
f (x)=c : >0 vale cualquier para que |xa| < |cc| =0<.
f (x)=x : >0 basta tomar = para que |xa| < = |xa| <.
f (x)=|x| : >0 tomando = es ||x||a|| |xa| < si |xa| <.
Ej. f
3
(x)=x
3
arctan
1
x
no es continua en 0 , pues no est denida f
3
(0) . Pero si denimos
f
3
(0)=0 s lo es, pues vimos que f
3
(x)
x0
0 . Si fuese f
3
(0)=7 sera discontinua.
f
4
no puede hacerse continua en 0 deniendo adecuadamente f
4
(0), pues no existe lm
x0
f
4
(x) .
El teorema similar de lmites nos da la caracterizacin de la continuidad con sucesiones:
Teorema:
f es continua en a toda sucesin {a
n
}domf con a
n

n
a cumple f (a
n
)
n
f (a)
[por tanto lm
n
f (a
n
) = f ( lm
n
a
n
) si f es continua (no, si es discontinua)]
De los teoremas para los lmites de funciones se deduce tambin:
Teorema:
Si f y g son continuas en a entonces f +g , f g , f g son continuas
en a . Si adems g(a) = 0 , tambin f /g es continua en a .
Por ejemplo, lm
xa
( f g)(x) =
(propiedad
de lmites)
= lm
xa
f (x) lm
xa
g(x) = f (a) g(a) . Las otras igual.
[Se podran probar directamente a partir de la denicin; 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 |x a| <
1
, |g(x) g(a)| <

2
si |x a| <
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 .
a
n
a
g cont. en a
g(a
n
) g(a)
f cont. en g(a)
( f g)(a
n
) = f (g(a
n
)) f (g(a)) = ( f g)(a)
Teorema:
f continua en a y estrictamente montona en un entorno de a
f
1
continua en f (a) .
f(a+!)
a+! a ! a
f(a)
f(a !)
"
Sea f estrictamente creciente (si fuera decreciente, sera anlogo).
buscamos tal que |yf (a)| < | f
1
(y) a| <
[o sea, f (a) <y< f (a)+ a < f
1
(y) < a+ ].
El dibujo sugiere =mn{ f (a+)f (a), f (a)f (a)}>0 .
Entonces: f (a) < y < f (a) + f (a) < y < f (a+)
_
porque f (a)+ f (a+) , f (a) f (a)

a < f
1
(y)<a+ [porque f
1
creciente].
29
Hemos denido la continuidad en un punto. En intervalos:
Def.
f es continua en (a, b) si es continua en todo x de (a, b) .
f es continua en [a, b] si es continua en (a, b) , lm
xa
+
f (x)= f (a) y lm
xb

f (x)= f (b) .
[No podemos decir simplemente continua en todo x[a, b], pues a y b no son puntos interiores].
Comprobemos que
todas las funciones elementales (de 1.4) son continuas en su dominio
Los polinomios P(x) = a
0
x
n
+a
1
x
n1
+ +a
n
son continuos en todo R
(ya que son sumas y productos de funciones continuas en todo a de R).
Las funciones racionales
_
cocientes de polinomios
P(x)
Q(x)
_
son continuas a con Q(a)=0 .
Las races
n

x son continuas en su dominio: R si n impar, R

+
si n par (en x=0 hablamos
de lm
x0
+
2n

x ), por ser inversas de funciones estrictamente crecientes y continuas.

Las funciones trigonomtricas y sus inversas tambin son continuas en su dominio:
Comencemos probando que f (x) = senx es continua aR : >0 , si |xa| < =
se cumple: | senx sena| =|2sen
xa
2
cos
x+a
2
| 2| sen
xa
2
| 2
|xa|
2
< .
cosx = sen(x+

2
) es continua a por ser composicin de funciones continuas a .
tanx =
senx
cosx
es continua si cosx=0 , es decir, si x=

2
+k , kZ.
arcsenx , arccosx en [1, 1] y arctanx x son inversas de montonas continuas.
Para probar la continuidad de exponenciales y logaritmos, con la denicin dada, hay que
esperar al estudio de las integrales. El teorema fundamental de clculo integral que probaremos
en 5.2 asegurar que
logx
_
x
1
dt
t
es continua x > 0 . De ah deducimos la continuidad de las dems:
e
x
es continua en R por ser inversa de continua. Y por ser composicin de continuas:
x
b
e
blogx
continua en (0, ) [si b>0 en [0, ) , tomando 0 como su valor en 0 ],
b
x
e
xlogb
(b>0) continua x , log
b
x
logx
logb
(b>0, b=1) continua x > 0 .
Las funciones hiperblicas, que son sumas, diferencias y cocientes con denominadores no
nulos de funciones continuas, son tambin continuas en todo su dominio R.
Combinando todo lo anterior podemos armar que muchsimas funciones son continuas en casi
todos los puntos sin necesidad de aplicar la denicin (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).
Ej. f
8
(x) =
e
x/(x1)
+arctan[log(x
2
+1)] cos
3
x +
4

x
shx [3+arcsen
x
3
]
es continua en (0, 1) (1, 3] :
el numerador lo es en [0, ) {1} , pues arctan[log(x
2
+1)] cos
3
x es continua
en R(suma de composiciones de continuas), la raz en R
+
y la exponencial si x=1 ;
el denominador es continuo en [3, 3] (por el arcsen
x
3
) y slo se anula en 0
( arcsen como mucho vale

2
y slo sh0 = 0 ).
30
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: f
8
(x) f
8
(2) si x 2 , por ejemplo, por ser
f
8
continua en 2 . Tambin son sencillos algunos lmites con innitos, utilizando propiedades
anlogas a las de sucesiones (demostrables basndose en aquellas, y utilizando los teoremas que
relacionan lmites de funciones y de sucesiones (o directamente)) que podemos esquematizar:
c = , acot = , + = , = , 0 acot =0 ,

=0 ,
acot

=0 , p ()= (p>0) ,

p
= (p>0) ,
p
0
= (p>0) ,
log(+0) = , log() = , e

= , e

= 0 , arctan() =

2
, . . .
Como siempre, hay que leerlo en sentido de lmites; por ejemplo, c= signica
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 ) signica aqu que f 0 siendo f >0 ( f <0 ).
_
Con esto, se tiene que lm
x1
+
f
8
(x) =
_
c+
p
_
y lm
x1

f
8
(x) =
arctan[log2] cos
3
1+1
sh1[ 3+arcsen
1
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 f
8
cuando
x 0
+
, que es de la forma
0
0
). Recordamos que las indeterminaciones son:
, 0 ,
0
0
,

, 1

, 0
0
,
0
El siguiente teorema permite calcular un lmite indeterminado que pronto necesitaremos:
Teorema:
Si f (x) g(x) h(x) y lm f =lmh =L lmg =L .
( x a, a
+
, a

, + , todos valen)
L < f (x) g(x) h(x) < L+ |g(x)L| < ,
y los < de los extremos se dan pues f , h L .
Calculemos el siguiente lmite indeterminado (que ser inmediato con LHpital o Taylor), usan-
do slo propiedades trigonomtricas (basadas en la no muy rigurosa denicin de senx , que ya
hemos dicho que aceptamos) y el teorema anterior:
0
x
senx
tanx
1
senx
x

x0
1 . Si x>0 , por el signicado geomtrico de senx y tanx :
senx<x<
senx
cosx
1<
x
senx
<
1
cosx
cosx<
senx
x
<1 .
Como cosx
x0
+
1 , el teorema anterior prueba el lmite para x>0 .
Si x<0 , por ser
senx
x
=
sen(x)
x
, reducimos el lmite al anterior.
Mucho ms fciles de calcular seran (no son indeterminados):
Ej. lm
x

2
senx
x
=
sen(/2)
/2
=
2

, por ser esta funcin continua en 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 senx y x son
continuas y que el cociente de continuas con denominador no nulo tambin lo es].
Ej. lm
x
senx
x
= 0 , pues sabemos que
acot

= 0 .
31
Hallando lmites ser, en ocasiones, conveniente realizar cambios de variable como:
Teorema:
[ t =g(x)]
g continua en a , g(x)=g(a) si x=a y lm
tg(a)
f (t)=L lm
xa
f (g(x))=L
[Casi igual que la demostracin de la continuidad de f g ].
Ej. Con este teorema podemos deducir del lmite indeterminado hallado algn otro del tipo
0
0
:
lm
x5
sen(x+5)
x +5
= 1
_
t = g(x) = x+5 es continua, no se anula si x=5 y
sent
t
1

.
Otro que exige algo de ingenio (pero que ser muy fcil con los desarrollos de Taylor):
lm
x0
1cosx
x
2
= lm
x0
1
1+cosx
lm
x0
1cos
2
x
x
2
=
1
2
lm
x0
_
senx
x
_
2
=
1
2
.
Complicndolo un poco: lm
x0
tan(x
2
)
x
= lm
x0
sen(x
2
)
x
2
lm
x0
x
cos(x
2
)
= 1
0
1
= 0 .
Como ningn teorema nos dice nada sobre el siguiente, tendremos que acudir a la denicin:
lm
x
tan(x
2
)
x
no existe porque la funcin se va a innitas veces
_
si x = [

2
+k]
1/2
_
y por tanto su grca se sale de la banda limitada por y = L+ e y = L sea cul sea el L .
De cada lmite de funciones se deducen innitos lmites de sucesiones, por los teoremas que
los relacionan (pero por ahora solo sabemos calcular muy pocos indeterminados). Por ejemplo:
Ej. lm
n
cos

n
n+1
= 1 , porque

n
n+1
0 , cosx es continua en x=0 y cos0=1 .
Por razones anlogas: {sen
n
2n+1
} sen

2
= 1 , {log
n+5
n
} log1 = 0 , . . .
Ej. lm
n
n
2
sen
1
n
2
= 1 , puesto que
1
n
2
0 y g(x) =
sen(x)
x
1 cuando x 0 .
Admitimos ahora estos lmites de sucesiones que necesitaremos en series (no son calculables an):
logn
n
a
0 , a > 0 ;
n

n 1 ;
_
(1+c
n
)
1/c
n
_
e , si {c
n
} 0
_
El primero (

), ser consecuencia de que: lm

x
logx
x
a
=
LH
lm
x
1/x
ax
a1
= 0 . De l sale el segundo:
x
1/x
= e
logx/x
e
0
=1 . El ltimo ( 1

) se deducir de que (1+x)

1/x

x0
e . En vez de con inte-
grales, se puede denir el nmero e como el lmite de la sucesin creciente y acotada (1+
1
n
)
n

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

n+logn
3

n+logn
=
1+
logn
3

n
3
_
1+
logn
n
1
[pues hemos admitido que logn es
mucho ms pequeo que n
a
, a>0 ].
Ej. n
1/n1

1
= 0" ; n
1/(n1)
= (n
1/n
)
n
n1
1
1
= 1 ;
(7n
3
1)
1/n
=
_
n
1/n
_
3
_
7
1
n
3
_
1/n
1
3
7
0
= 1 ;
[el primero no es indeterminado; en los otros usamos (a
b
)
c
=a
bc
y el lmite admitido n
1/n
1].
Ej.
_
6n+1
3n+2
_
n
2
2

=
1
2

= 0 ;
_
3n
2
+1
3n
2
+2
_
n
2
=
_
_
1
1
3n
2
+2
_
(3n
2
+2)
_
n
2
3n
2
+2
e
1/3
;
[el primero otra vez era sencillo, pero como 1

es indeterminado, en el segundo buscamos

el nmero e identicando la {c
n
} 0 y poniendo lo que sobra fuera del corchete].
32
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 grca corta el eje x en algn punto (el teorema no dice dnde), quizs en ms de uno].
a
b
Sea A =
_
x[a, b] : f (x)0
_
= (aA) y acotado superiormente
(por b) existe c =sup A. Probemos que f (c)=0 :
c
cota ms
pequea
c
no es cota
de A
Si f (c)<0 /f (x)<0 en (c , c +)
y c no sera cota de A.
Si f (c)>0 / f (x)>0 en (c , 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) .
a
b a b
[Normalmente tomar ms y si f no es continua, no tiene
que tomarlos, como muestran los dibujos de la izquierda].
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 AR si lo est el conjunto f (A) = { f (x) : x A}
y se dene valor mximo de f en A como el mximo del conjunto f (A) (en caso de que
exista). Anlogamente se dene valor mnimo de f en A.
a b
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] .
Teorema: f continua en [a, b] f acotada en [a, b] .
Si f no estuviese acotada superiormente podramos escoger un x
n
I [a, b] con f (x
n
) >n
para cada n N. Como {x
n
} acotada, existe {x
n
j
} x
o
I (por ser cerrado). Como f es
continua en x
o
tendramos f (x
n
j
) f (x
o
) , lo que es imposible pues { f (x
n
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, ) :
Ej. f (x)=
1
x
es continua pero no acotada en (0, 1)
y le pasa lo mismo a f (x) = x en [0, ) .
0 1
( )
x
33
Teorema: f continua en [a, b] existen los valores mximo y mnimo de f en [a, b] .
O sea, existen y, z[a, b] tales que
f (z) f (x) f (y) para todo x[a, b] .
[Estos y, z pueden no ser nicos, desde luego]. a b
M
m
Sea M=sup f (I) . Existe {y
n
}I tal que M
1
n
< f (y
n
) M n f (y
n
) M . Podra {y
n
}
no converger pero, siendo acotada, hay seguro una {y
n
j
} subsucesin convergente hacia un yI .
Como f continua en I , f (y)=lm f (y
n
j
)=M y, por tanto, el supremo pertenece a f (I) .
Anlogamente, o considerando f , se ve que el nmo 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 .
[Denimos 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 xI y existe un (, x) tal que yI si |yx| < entonces | f (y)f (x)| < .
1
1
Ej. Consideremos f (x) =
1
x
. En (0, 1) sabemos que es continua:
x y existe un tal que si |y x| < |
1
y

1
x
| < .
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
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
(el que valga para x=1 valdr para tambin para los x>1 ).
Def.
f es uniformemente continua en I si
existe un () tal que x, y I si |yx| < entonces | f (y)f (x)| < .
Ej. Acabemos de formalizar que f (x) =
1
x
no es uniformemente continua en (0, 1) :
Sea =1 . Por pequeo que sea encontramos x, y(0, 1) con |yx| < pero |
1
y

1
x
| > .
Por ejemplo, x=

4
, y= satisfacen |yx| =
3
4
< pero |
1
y

1
x
| =
3

> 1 (pues <1 ).

Formalizamos ahora que f (x) =
1
x
s es uniformemente continua en [1, ) :
= tal que x, y[1, ) con |y x| < |
1
y

1
x
| =
|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 =
1
n
tenemos {x
n
}, {y
n
}[a, b] con |y
n
x
n
| <
1
n
y | f (y
n
)f (x
n
)| n.
{x
n
} acotada {x
n
j
} convergente a un c ([a, b] por ser cerrado) f (x
n
j
) f (c) ( f es
continua). Como |y
n
j
x
n
j
| <1/n
j
0 tambin f (y
n
j
) f (c) y por tanto | f (y
n
j
)f (x
n
j
)| 0 ,
lo que est en clara contradiccin con el hecho de que | f (y
n
j
) f (x
n
j
)| n
j
.
[En la demostracin se ve que tambin este teorema ser vlido en cualquier conjunto compacto].
34