Академический Документы
Профессиональный Документы
Культура Документы
{an } 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 n N es |an a| < . Se representa por
Def.
lm an = a an a . Si una sucesin {an } no es convergente se dice divergente.
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)
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,
pero si = 0.001 debemos tomar N = 1001 o un nmero mayor).
1/ N
- 0
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 < :
2 n+5
Ej. Probemos slo con la definicin (pronto ser innecesaria) que {an } =
n+1
n
2 n+5
|5n 2|
5n
+2
3
3
2.
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:
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].
Ej.
Def.
n2 +1
2n
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:
aN
No lo es, en cambio,
1
1 1 1 1
2 , 1, 4 , 3 , 6 , 5 , . . .
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
Teorema:
+) casi igual ) . Dado , Na / n Na |an a| <
y Nb / n Nb |bn b| <
{bn } convergente acotada: B con |bn |<B ; como {an }a , Na / nNa |ana|< 2B
.
|a|
Por tanto: |an bn ab| < B
Si a = 0 , |bn b||a| = 0 < 2 .
2B + 2|a| = .
|a||b|K
n|
/ ) bann ab = |ban ab+abab
< K
2K + 2|a||b|K = , si n N = mx{N1 , N2 , N3 } donde:
|bbn |
|b|K
2|a|
K
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:
Los lmites con potencias se deducirn de los lmites de funciones, pues probaremos teoremas
que realacionarn unos y otros. Por ahora, admitimos:
Teorema:
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
, 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
=
3+0
=0 ,
3
2n3n
2/n2 3
1+(1)n /n3
n3 +(1)n
1
=
1+0
3
03 = 3 ,
2n3n
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].
n3 1 n
Ej. an = 2 =
5n 7 n
1
n
n14 1n
n n
n3/2
00
50 = 0 , o bien, an = n2
q
1 n13 1n
5
n n
1
=0.
5
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).
h
i
1
n
n 3 + n cos n 0 acot0 , pues numerador 3 + 0 = 3 .
Ej. (1)n 3n+cos
=
(1)
2
n
n + en
denominador +0 =
n + ne
h
i
pares 13
13n
Ej. (1)n+1 n+1
diverge, ya que tiene subsucesiones con distintos lmites impares 13 .
Ej.
n3 1 2n = n n n2 2 (2) = " . O sacando factor comn n3/2 .
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 .
Ej.
[ n n1][
n+ n1]
n n1 =
=
n+ n1
0.
n+ n1
[Los eran del mismo orden y hemos tenido que racionalizar; sacar factor comn daba 0 ].
4
n
n
1
Ej. (n7)!
= (n7)(n8)(n9)(n10)
(n11)! 1 0 = 0 . [El factorial crece muy muy deprisa].
n(n+1)
Ej. 1 +2 + n =
2
n +1
2(n +1)
1
2
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
= cos 0 = 1 , pues
Ej. lm cos n+1
n
n
n+1
f (x) L f (n) L .
n
0 ; {sen 2n+1
} sen 2 = 1 ; {log n+5
n } log 1 = 0 .
n arctan n
1/n
e
n
, pues arctan n 2 , ya que arctan x 2 .
(/2)
1 1
x
1
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
n
n1;
(1+cn )1/cn e , si {cn } 0 .
na 0 , a > 0 ;
1/x
log x
El primero (
), ser consecuencia de que: lm xa = lm
x
a1
LH x ax
= 0.
( 1 )
1/x
x
= elog(1+x)/x e .
x0
3
n + log n
1 + n1/3 log n
=
1 [hemos admitido que log n es mucho menor que na , a > 0 ].
3
n + log n
1 + n1 log n
Ej. 3
3
Ej. (1)n + n
n1/n1 1 = 0" ;
n1/(n1) = (n1/n ) n1 11 = 1 ;
1/n
3
(7n3 1)1/n = n1/n 7 n13
13 70 = 1 .
(acot+)3 = 3 = "
c
primero y tercero son fciles; en los otros usamos (ab ) = abc y el lmite admitido n1/n 1 .
Ej.
i 2
6n+1 n
2 = 21 = 0 ;
3n+2
i 2 h
3n2 +1 n
=
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
= 3 + (2/3)n
Ej. 3n+1
n
3
+2
1+0
3+0
1
3
dividiendo por la potencia que manda 3n o por 3n+1 .
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
n
n
n
si a(0, 1) , 1/a>1 , an = (1/a)
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
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:
) N / k N |ak a| <
) 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 | <
{an j } convergente N2 tal que n j N2 |an j 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 .
[Para abiertos es falso: hay {an } A abierto cuyo lmite
/ A , como le ocurre a { n1 } (0, 1) ].
28
[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
tal que
L+!
L
L!
a " a a+ "
3
|x4| + |x4|
| f2 (x)6| = |x4 + x 2| |x4| + | x 2| = |x4| + |x4|
2 = 2 |x4|
x +2
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
1
3
Como |x3 arctan 1x | 2 |x3 | = 2 |x|3 , bastar tomar |x| < = 3 2
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 < ].
Ej. f4 (x) =
1 si x < 0
. Es claro que f4 (x)
1 si x > 0
xa
1 si a < 0
(basta tomar < |a| ).
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
xa+
xa
x0
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:
Teorema:
xa
satisface { f (an )} L .
n
(1)n
n
[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].
Ej. f5 (x) =
1
si x racional
. Intuitivamente parece claro que f5 no tiene lmite para ningn a (ra0 si x irracional
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
lm f (x) = [ ] si K > 0 tal que si 0 < |xa| < f (x) > K [ f (x) < K ]
Def.
xa
Def.
xa
f (x)
xa
f (x) L
x
L
a
1
x
0 si x pues > 0 M = 1 tal que si x > 1 1x 0 < ,
Ej. f7 (x) =
x0
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 .
f (x) L f (n) L .
x
xa
Teorema:
xa
xa
Si adems M 6= 0
Lo anterior es vlido si se sustituye a
f
ML
g xa
por a+ ,
xa
.
a , + .
31
f (x) = c : > 0 vale cualquier para que |xa| < |cc| = 0 < .
f (x) = x : > 0 basta tomar = para que |xa| < = |xa| < .
f3 (x) = x3 arctan 1x
f3 (0) = 0 s lo es, pues vimos que f3 (x) 0 . Si fuese f3 (0) = 7 sera discontinua.
x0
[Por tanto n
lm f (an ) = f ( lm an ) si f es continua (no, si es discontinua)].
n
Teorema:
(propiedad
de lmites)
xa
an a
Teorema:
g cont. en a
g(an ) g(a)
f cont. en g(a)
f (a+ e)
f(a)
f(a e)
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 (a)+ f (a+) , f (a) f (a)
[porque f 1 creciente].
Hemos definido continuidad en un punto. En intervalos las definiciones son de este tipo:
Def.
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 .
n
Las races x son continuas en su dominio: R si n impar, R+ si n par (en x = 0 hablamos
tan x = sen
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
R
log x 1x dtt es continua x > 0 . De ah deducimos la continuidad de las dems:
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).
Ej. f8 (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 (demostrables basndose en ellas y los teoremas que relacionan funciones y sucesiones o directamente):
c = , acot = , + = , () = , 0 acot = 0 ,
p
c
= 0 , acot
= 0 , p () = (p > 0) , p = (p > 0) , 0 = (p > 0) ,
m
f
(x)
=
.
8
1
p
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
tanx
x
x0
sen x
x
sen (x)
x
senx
1
sen(/2)
/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].
x
acot
Ej. lm sen
x = 0 , pues sabemos que = 0 .
x
De cada lmite de funciones se deducen infinitos lmites de sucesiones. Del indeterminado anterior:
Ej.
sen(1/n2 )
x
lm n2 sen n12 = lm 1/n2 = 1 , puesto que n12 0 y g(x) = sen
x 1 cuando x 0 .
n
nk n2 sen n1
, para i) k = 2 , ii) k = 1 .
n n arctan n
n (1 sen 1n )
2/3
n
arctan n
(10)
0/2
= [ sen x es continua en x = 0 ].
1 n sen 1n
sen 1
11
0/2
= 0 , pues 1 n 1 .
arctan n
n
n2/3
tg(a)
0
0
x5
Otro que exige algo de ingenio (pero que ser muy fcil con los desarrollos de Taylor):
2
2x
x
lm 1 xcos
= lm 1 + 1cos x lm 1 xcos
= 12 lm senx x = 12 .
2
2
x0
Complicndolo un poco:
x0
2
lm tan x
x0 x
x0
2
lm sen2x lm cosx x2
x0 x
x0
x0
= 1 01 = 0 .
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
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)]
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 :
no es cota
Si f (c) < 0 / f (x) < 0 en (c , c + )
de A
c
y c no sera cota de A .
cota ms
Si f (c) > 0 / f (x) > 0 en (c , c + )
pequea
y habra cotas menores.
En ninguno de los dos casos c podra ser el supremo de A .
a
b
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
que tomarlos, como muestran los dibujos de la izquierda].
a
a
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] .
Teorema:
)1
35
Teorema:
M
m
a
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].
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
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)| < .
3
4
< pero | 1y 1x | =
1
x
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