Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

1
Parte I
Lmite y Continuidad
1. Lmite de sucesiones
1.1. Convergencia de sucesiones
Trabajaremos, en general, en un espacio mtrico (E, d) .
Una sucesin de puntos de E es una funcin x : N E, n x(n), donde
interesa considerar sus imgenes ordenadas segn los nmeros naturales, como se
indica
x(1) , x(2) , ..., x(n) ....
La notacin de los trminos de una sucesin, as como de ella misma es
x
n
= x(n) (los trminos) y {x
n
}
nN
(la sucesin)
Tambin se considerar el conjunto formado por los trminos de la sucesin {x
n
: n N}
llamado campo de variabilidad de {x
n
}
nN
No confundir la sucesin con su campo de variabilidad. La sucesin tiene innitos
trminos (tantos como nmeros naturales), mientras que su campo de variabilidad
podra ser nito.
Denicin 1 La sucesin {x
n
} de puntos de E converge al punto x E ssi para
cada > 0 existe N

N tal que
n : n N

= d (x
n
, x) <
Note que: d (x
n
, x) < x
n
B (x, ). Luego la condicin indica que a partir
del ndice N

en adelante, todos los trminos de la sucesin estn en la bola abierta

de centro x y radio . O tambin, fuera de la bola B (x, ) slo hay un nmero nito
de trminos de la sucesin.
Para representar la convergencia de la sucesin {x
n
} al punto x se escribe
lm
n
x
n
= x o tambin x
n
x
En caso que no exista x E satisfaciendo la condicin de la denicin, se dice
que la sucesin diverge.
Queda de ejercicio probar que:
a) lmx
n
= x lmx
n
= y = x = y (el lmite, cuando existe, es nico)
b) Si x es un punto de acumulacin del conjunto A, entonces existe una sucesin
{x
n
} de puntos distintos de A tal que lmx
n
= x
Una sucesin {x
n
} se dice acotada cuando su campo de variabilidad es un con-
junto acotado. Esto es, el conjunto est incluido en alguna bola abierta.
2
Proposicin 2 Toda sucesin convergente es acotada.
Dem. Sea {x
n
} con x
n
x. Entonces existe N tal que
n : n N d (x
n
, x) < 1
Ahora, eligiendo r = max {1, d (x
1
, x) , ..., d (x
N1
, x)} se tiene que
{x
n
: n 1} B (x, r + 1)
lo que muestra que la sucesin es acotada.
Es fcil mostrar que en R la sucesin x
n
= (1)
n
, n 1; es acotada y no es
convergente. O sea, acotada no implica convergente.
Los siguientes son ejercicios donde se establecen los lmites de algunas sucesiones
importantes de nmeros reales. Todas estas demostraciones deben ser entendidas.
1. Si p > 0, entonces lm
n
1
n
p
= 0 .
Dado > 0, basta tomar N > (1/)
1/p
y se tiene
n : n N

1
n
p
0

=
1
n
p
<
1
N
p
<
2. Si p > 0, entonces lm
n
n

p = 1.
Para el caso p > 1, tomamos a
n
=
n

p 1. Se tiene entonces que a

n
> 0 y por
el teorema del binomio
1 + na
n
(1 + a
n
)
n
= p
as que
0 < a
n

p 1
n
lo que muestra que
lma
n
= 0 y luego lm
n

p = 1
Para el caso p = 1 es trivial y para 0 < p < 1 se le aplica lo anterior al
recproco de p.
3. lm
n
n

n = 1
Sea a
n
=
n

n 1. Se tiene entonces que a

n
> 0 y por el teorema del binomio
n = (1 + a
n
)
n

n(n 1)
2
a
2
n
3
luego
0 a
n

_
2
n 1
(n 2)
y as
lma
n
= 0 y lm
n

n = 1
4. Si p > 0 y R , entonces lm
n
n

(1 + p)
n
= 0.
Se elije un natural k > . Para n > 2k, se tiene
(1 + p)
n
>
_
n
k
_
p
k
=
n(n 1) ... (n k + 1)
k!
p
k
>
n
k
p
k
2
k
k!
luego
0 <
n

(1 + p)
n
<
2
k
k!
p
k
n
k
y nalmente, dado que k < 0 lm
n
n
k
= 0
lm
n
n

(1 + p)
n
= 0
5. Si |x| < 1, entonces lm
n
x
n
= 0.
Basta tomar = 0 en la parte anterior (4).
En el espacio vectorial eucldeo R
k
(en particular R) se tienen los conocidos
teoremas sobre lgebra de lmites (del clculo).
Teorema 3 (En R) Si lmx
n
= x lmy
n
= y, entonces
a) lm(x
n
+ y
n
) = x + y
b) lm(c x
n
) = c x
c) lm(x
n
y
n
) = x y
d) lm
_
1
xn
_
=
1
x
, siempre que x = 0
Teorema 4 (En R
k
) Sea X
n
= (x
n1
, x
n2
, ..., x
nk
) una sucesin en R
k
y X = (x
1
, x
2
, ..., x
k
)
un punto de R
k
. Se tiene entonces
lmX
n
= X j : lm
n
x
nj
= x
j
Adems, si lmX
n
= X , lmY
n
= Y y lmc
n
= c, entonces
lm(X
n
+ Y
n
) = X + Y , lm(X
n
Y
n
) = X Y , lm(c
n
X
n
) = c X
Las demostraciones de estos resultados se dejan de tarea para desarrollar en el
sitio web del curso
4
1.2. Subsucesiones
Las subsucesiones de una sucesin {x
n
}
n1
se denen haciendo uso de una suce-
sin creciente de nmeros naturales {n
k
}
k1
. En efecto, si
n
1
< n
2
< ... < n
k
< ...
es una sucesin de naturales, entonces
x
n
1
, x
n
2
, ..., x
n
k
, ...
es una subsucesin de la sucesin {x
n
}
n1
Un resultado evidente es
{x
n
} converge a x toda subsucesin {x
n
k
}
k
de {x
n
}
n
converge a x
Teorema 5 Toda sucesin acotada en R
k
posee una subsucesin convergente.
Dem. Tarea
Teorema 6 Dada una sucesin {x
n
} en un espacio mtrico E, el conjunto
_
y E : subsucesin {x
n
k
} con lm
k
= y
_
es cerrado en E.
Dem. Tarea
2. Lmite de funciones
2.1. Denicin y propiedades
En lo que sigue X e Y sern espacios mtricos, E X y f : E Y , x f (x)
una funcin denida en el subconjunto E.
Denicin 7 Sea p un punto de acumulacin de E y q Y . Se dice que el lmite
de f (x) cuando x tiende al punto p es q ssi
> 0 , > 0 tal que, x E : 0 < d
X
(x, p) < = d
Y
(f (x) , q) <
Se escribe en este caso: lm
xp
f (x) = q.
Es importante notar que p X no necesita pertenecer a E. O sea, f podra no
estar denida en p. Adems, en el caso que p E es posible que f (p) = lm
xp
f (x)
Queda de ejercicio escribir la denicin anterior para f : I R R , donde R
tiene la mtrica usual.
5
Teorema 8 En el contexto de la denicin anterior, lm
xp
f (x) = q ssi
Para toda sucesin (p
n
) en E con p
n
= p y lm
n
p
n
= p se tiene que
lm
n
f (p
n
) = q
Dem. (=) Sea (p
n
) sucesin en E con p
n
= p y lm
n
p
n
= p.
Se debe probar que lm
n
f (p
n
) = q.
Sea > 0. Por hiptesis existe > 0 tal que
x E : 0 < d
X
(x, p) < = d
Y
(f (x) , q) <
Para el > 0, existe natural N tal que
n : n N = d
X
(p
n
, p) <
= d
Y
(f (p
n
) , q) <
lo que muestra que lm
n
f (p
n
) = q.
(=) se demuestra el contrarecproco.
Teorema 9 (lgebra de lmites) Sean f, g : E R con lm
xp
f (x) = L y
lm
xp
g (x) = M. Se tiene entonces:
1) lm
xp
[f (x) + g (x)] = L + M
2) lm
xp
[f (x) g (x)] = L M
3) lm
xp
[f (x) /g (x)] = L/M, cuando M = 0
Dem. Tarea.
3. Continuidad
Denicin 10 Sean X e Y espacios mtricos, E X y f : E Y . Para p E
se dice que f es continua en el punto p ssi
Para cada > 0, existe > 0 tal que
x : x E , d
X
(x, p) < = d
Y
(f (x) , f (p)) <
Adems, si f es continua en todo punto p E, se dice que f es continua en E.
Note que con esta denicin, f ser continua en cualquier punto aislado p de E.
Adems, si p es un punto de acumulacin de E, entonces
f es continua en p lm
xp
f (x) = f (p)
6
Teorema 11 Sean f : E X Y , g : F Y Z tales que g f est denida.
Si f es continua en p y g es continua en f (p), entonces g f es continua en p.
Dem. Sea > 0.
Como g es continua en f (p), existe > 0 tal que
y : y F , d
Y
(y, f (p)) < = d
Z
(g (y) , g (f (p))) <
Ahora, de la continuidad de f en p, para el > 0 anterior, existe > 0 tal que
x : x E , d
X
(x, p) < = d
Y
(f (x) , f (p)) <
= d
Z
(g (f (x)) , g (f (p))) <
lo que muestra que g f es continua en p.
Teorema 12 Sea f : X Y
f es continua en X V Y, V abierto: f
1
(V ) es abierto de X
Dem. (=)Hiptesis.- f continua en X.
Sea V abierto en Y y x f
1
(V ) . Se tiene entonces que f (x) V y existe
> 0 tal que B (f (x) , ) V.
Para este existe > 0 tal que
x : d
X
(y, x) < = d
Y
(f (y) , f (x)) <
= f (y) B
= y f
1
(V )
As, B (x, ) f
1
(V ) lo que muestra que f
1
(V ) es abierto en X.
(=)Hiptesis.- V Y, V abierto: f
1
(V ) es abierto de X
Sea p X y probemos que f es continua en p.
Sea > 0. V = B (f (p) , ) es un abierto de Y y luego por hiptesis, f
1
(B (f (p) , ))
es abierto en X y contiene a p.
Luego existe > 0 tal que B (p, ) f
1
(B (f (p) , )). Esto signica que:
x X : x B (p, ) = x f
1
(B (f (p) , ))
= f (x) B (f (p) , )
= d
Y
(f (x) , f (p)) <
c.q.d.
7
4. Continuidad y compacidad
El siguiente teorema establece que la imagen de un compacto por una aplicacin
continua es un conjunto compacto. Es decir, la compacidad se preserva por funciones
continuas.
Teorema 13 Si f : X Y una aplicacin continua, donde X es un espacio mtrico
compacto, entonces su imagen f (X) es un conjunto compacto en Y.
Dem. Para probar que f (X) es un compacto, escogemos un cubrimiento abierto
{V

}
I
de dicho conjunto.
Como f es continua, los conjunto f
1
(V

) son abiertos en X y adems es claro

que X

I
f
1
(V

) .
Ahora, dado que X es compacto, existen ndices
1
, ...,
n
tales que
X f
1
(V

1
) ... f
1
(V
n
)
De aqu se sigue que
f (X) f
_
f
1
(V

1
) ... f
1
(V
n
)
_
= f
_
f
1
(V

1
)
_
... f
_
f
1
(V
n
)
_
V

1
... V
n
lo que muestra que el cubrimiento escogido posee un subcubrimiento nito.
As, f (X) es un conjunto compacto.
Una consecuencia importante de este teorema es el llamado teorema de los valores
extremos que se estudia y utiliza en los curso iniciales de Clculo.
Corolario 14 Para una funcin continua f : X R
k
, con X compacto, se tiene
que (su recorrido) f (X) es un conjunto cerrado y acotado de R
k
.
Corolario 15 Sea f : X R una funcin continua, con X compacto y sean M =
sup
xX
f (x) y m = nf
xX
(x). Existen puntos p, q X tales que f (p) = m y f (q) = M.
Este ltimo resultado establece que existen p, q X tales que x X : f (p)
f (x) f (q). O sea , p es el punto de mnimo absoluto de f y q es el mximo
absoluto.
8
4.1. Continuidad uniforme
Existe un concepto de regularidad para funciones que es ms exigente que la
continuidad (simple) y se denomina continuidad uniforme. En estudios posteriores
se entender su importancia.
Denicin 16 Sea f : X Y . Se dice que f es uniformemente continua en
A, A X ssi para cada > 0, > 0 tal que
x, y A : d
X
(x, y) < = d
Y
(f (x) , f (y)) <
Cul es la diferencia entre los conceptos de continuidad y continuidad uniforme?
Considere una funcin f que es continua en (todo punto de) su dominio X y sea
> 0 dado:
para p
1
X (f es continua en p
1
),
1
= (, p
1
) tal que
x X : d
X
(x, p
1
) <
1
= d
Y
(f (x) , f (p
1
)) <
para p
2
X (f es continua en p
2
),
2
= (, p
2
) tal que
x X : d
X
(x, p
2
) <
2
= d
Y
(f (x) , f (p
2
)) <
y en general,
1
=
2
. O sea, el depende tanto de como tambin del punto
p.
Sin embargo, si f es uniformemente continua en X, para el > 0 dado, existe
un > 0 que sirve para todo punto p X.
De la denicin es claro que toda funcin uniformemente continua es continua
(es decir, la continuidad uniforme es ms exigente que la continuidad (simple).
Sin embargo el siguiente teorema muestra que sobre un dominio compacto, los
dos conceptos coinciden.
Teorema 17 Si f : X Y es continua en el compacto X, entonces f es uniforme-
mente continua.
Dem. Sea > 0. Como f es continua en cada punto de su dominio, para cada
p X existe (p) > 0 tal que
x X : d
X
(x, p) < (p) = d
Y
(f (x) , f (p)) <

2
Consideramos el cubrimiento abierto de X dado por: B
_
p,
1
2
(p)
_
, con p X ;
y extraemos un subcubrimiento nito
X B
_
p
1
,
1
2
(p
1
)
_
... B
_
p
n
,
1
2
(p
n
)
_
9
Ahora se escoge =
1
2
mn{ (p
1
) , ..., (p
n
)} y se verica:
Para x, y X con d
X
(x, y) < ,se tiene x B
_
p
m
,
1
2
(p
m
)
_
para algn m,
luego
d
X
(x, p
m
) <
1
2
(p
m
) = d
Y
(f (x) , f (p
m
)) <

2
d
X
(y, p
m
) d
X
(y, x) + d
X
(x, p
m
) < +
1
2
(p
m
) < (p
m
)
= d
Y
(f (y) , f (p
m
)) <

2
y as
d
Y
(f (x) , f (y)) d
Y
(f (x) , f (p
m
)) + d
Y
(f (y) , f (p
m
)) <
c.q.d
5. Continuidad y conexidad
Al igual que la compacidad, la conexidad es una caracterstica que se preserva
por las aplicaciones continuas.
Teorema 18 Si f : X Y es continua y X es conexo, entonces f (X) es conexo.
Dem. Tarea
Corolario 19 Teorema del valor intermedio para funciones reales) Si f : [a, b] R
es continua y d est entre f (a) y f(b), entonces existe c [a, b] tal que f (c) = d.
Dem. Tarea
6. Funciones montonas
Para una funcin f : ]a, b[ R, se dice que ella es montona creciente ssi
x, y ]a, b[ : x < y = f (x) f (y)
En forma anloga se dene funcin montona decreciente.
El siguiente teorema establece que para una funcin montona siempre existen
los lmites laterales, x ]a, b[ :
f
_
x
+
_
= lm
tx
+
f (t) , f
_
x

_
= lm
tx

f (t)
y luego, en el caso de discontinuidad sta ser una discontinuidad de salto.
10
Teorema 20 Sea f : ]a, b[ R montona creciente. Para cualquier x ]a, b[ se
tiene
sup
t<x
f (t) = f
_
x

_
f (x) f
_
x
+
_
=nf
t>x
f (t)
Adems, si x < y, entonces f (x
+
) f (y

) .
Dem. Considere x jo en ]a, b[. El conjunto {f (t) : a < t < x} es acotado supe-
riormente por f (x) , luego existe A = sup {f (t) : a < t < x} con A f (x). Se debe
probar que A = f (x

) .
Sea > 0. De la denicin de supremo, existe > 0 tal que a < x < x y
A < f (x ) A
Ahora, como f es creciente
t : x < t < x = A < f (x ) < f (t) A
= |f (t) A| <
lo que muestra que A = f (x

) y f (x

) f (x) .
El resto de la demostracin queda de ejercicio.
Corolario 21 Sea f : ]a, b[ R montona. El conjunto de puntos de discon-
tinuidad de f es a lo sumo numerable.
Dem. Suponiendo f creciente, sea D el conjunto de puntos de discontinuidad de
f. Para cada x D se puede escoger un racional r (x) con f (x

) < r (x) < f (x

+
).
Falta justicar que la funcin r : D Q, x r (x) es inyectiva y as D es a lo
sumo numerable.