You are on page 1of 3

lica de Chile

Pontificia Universidad Cato

Facultad de Matematicas
tica
Departamento de Matema
Segundo Semestre de 2013

C
alculo I - MAT 1116
23 de septiembre de 2013

1.

Series

2.

Continuidad

2.5.

Funci
on exponencial y continuidad uniforme

Referencias: [CJ71, 1.S.2, p. 123], [Kit68, 5.5, pp. 192194].


Definici
on. Decimos que f (x) es uniformemente continua en un conjunto E R si para
todo > 0 existe un = () > 0 independiente de x e y tal que |f (x) f (y)| < siempre
que |x y| < .
Ejemplo. x1 no es uniformemente continua en (0, 1). Tomando  = 21 , si x1 fuera uniformemente
continua en (0, 1) debera existir un > 0 tal que |x y| < | x1 y1 | < 12 . Lo anterior
1
1
debera cumplirse, en particular, para x = n1 e y = n+1
. Vemos que |x y| = n(n+1)
, de modo
que si n es lo suficientemente grande tendremos que |x y| < . Sin embargo, no se cumple
que | x1 y1 | < 12 porque | 11 11 | = 1.
n+1

Si la definicion de continuidad uniforme es tan parecida a la definicion de continuidad,


y si ya habamos demostrado que x1 es continua en (0, ), por que no podemos demostrar
que es uniformemente continua? Cual es la diferencia entre las dos definiciones?
Recordemos la demostracion de la continuidad de x1 alrededor de un x0 > 0 cualquiera:


1

1
= |x x0 | |x x0 |
(si x x0 )
(1)
x x0
|x||x0 |
|x0 |2
luego si = x20 y |x x0 | < , esperamos que | x1 x10 | < . La razon por la que la
continuidad de x1 es que el depende de x0 (es cada vez mas peque
no a medida que x0 0).
Continuidad de la exponencial
n
Sea a > 1. Si x = m
, n, m N, definimos

ax := ( m a) ( m a) ( m a) .
|
{z
}
n veces

(2)

n
Si x = 0, definimos ax := 1. Si x = m
, n, m N, definimos ax :=
hemos definido ax para todo x Q.
Como definir ax si x R \ Q? Lo definimos como

1
.
an/m

De esta manera

ax := lm axk ,
k

(3)

donde {xk }kN es cualquier sucesion de n


umeros racionales que converge a x. Para que esta
sea una buena definicion, debemos demostrar
1. si {xk } es una sucesion de racionales que converge a x entonces la sucesion {axk }kN
tiene un lmite cuando k .
2. que si dos sucesiones {xk } e {yk } de n
umeros racionales convergen a x entonces las
yk
xk
sucesiones {a } y {a } convergen al mismo lmite.
Demostraremos las dos cosas a partir de la siguiente propiedad: Sea b Q un n
umero
ab (a1)
fijo. Dado > 0, sea N N cualquier entero positivo mayor que
y llamemos a

1
= N . Si x, y Q, x < y b y |x y| < se tiene que
1

|ax ay | = ax (ayx 1) ab (a N 1)
a1
= ab 1
1
1
1
(a N )N 1 + (a N )N 2 + + (a N )2 + (a N ) + 1
ab (a 1)
ab (a 1)
=
< .

1 + 1 + + 1 + 1
N

(4)
(5)
(6)

Hemos demostrado que


> 0 > 0 : (x, y Q (, b] |x y| < ) |ax ay | < ,

(7)

i.e. que ax es uniformemente continua en Q (, b]. Es esta continuidad uniforme la que


nos permitira extender ax a todos los reales. Demostremos las dos propiedades mencionadas
anteriormente.
1. Sea > 0. Sea el valor N1 obtenido en (7). Si xk x entonces existe k0 N tal que
k, j > k0 |xk xj | < . Por lo tanto, k, j > k0 |axk axj | < , gracias a (7). Se
concluye que {axk }kN es una sucesion de Cauchy, lo cual implica que ella converge.
2. Sean {xk } e {yk } dos sucesiones que convergen a un mismo valor x < b. Dado > 0
existe k0 N tal que |xk x| < 2 e |yk x| < 2 para todo k > k0 . Esto implica que
|xk yk | < k > k0 . En virtud de (7) tenemos entonces que |axk ayk | < para
todo k > k0 . Pasando al lmite obtenemos que | lm axk lm ayk | . Como esto debe
cumplirse para todo > 0 se concluye que lm axk = lm ayk .
Ahora que hemos definido ax para todo x R, demostremos que es una funcion continua.
Sea > 0 arbitrario. Sea el valor de (7). Si x < y < b, |x y| < , xk x e yk y, existe
2

k0 N tal que |xk yk | < para todo k > k0 . A partir de (7) se sigue que |axk ayk | < para
todo k > k0 . Tomando el lmite cuando k obtenemos que |ax ay | . Se concluye
que |x y| < |ax ay | < , i.e. ax es continua.
Como corolario se obtiene tambien que log x es continua por ser la inversa de una funcion
continua creciente.
La nocion de continuidad uniforme sera importante en los siguientes cursos de Calculo
a la hora de definir integrales y sumas de Riemann inferiores y superiores. En esos cursos
invocaran el siguiente teorema:
Teorema 2.5.1 ([CJ71], 1.S.2, pp. 123-124). Toda funcion continua en un intervalo cerrado
y acotado [a, b] es uniformemente continua en ese intervalo.
Demostracion. Si f no fuese uniformemente continua en [a, b] existira > 0 fijo y puntos
x, [a, b], arbitrariamente cercanos uno del otro, para los cuales |f (x)f ()| . Entonces
sera posible para cualquier n elegir puntos xn , n en [a, b] para los cuales |f (xn )f (n )| y
umeros, podra encontrarse
|xn n | < n1 . Puesto que los xn forman una sucesion acotada de n
una subsucesion convergente a un punto del intervalo (Heine-Borel). Los correspondientes
valores n convergeran tambien a : puesto que f es continua en se encontrara que
= lm f (xn ) = lm f (n ) para n tendiendo a infinito en la subsucesion, lo cual es imposible
si |f (xn ) f (n )| para todo n.

Referencias
[CJ71] Richard Courant y Fritz John. Introduccion al Calculo y al Analisis Matem
atico,
volumen 1. Limusa, Mexico, 1971.
[Kit68] Joseph Kitchen. Calculus of one variable. Addison-Wesley, 1968.