Introducci on al Analisis Real

Notas de Clase - Semestre 01-2012

Universidad Nacional de Colombia
Sede Medelln
Escuela de Matematicas
Profesor
Eddye Bustamante (eabusta0@unal.edu.co), ocina: 43-218.
Horario de asesora: martes y jueves, 9:30 am a 11:30 am.
Bibliografa
Apostol. Mathematical Analysis. Segunda Edicion, Addison-Wesley. 1974.
Rosenlicht, M. Introduction to Analysis. Dover Publications. 1968.
Rudin, W. Principles of Mathematical Analysis. Tercera Edicion. McGraw-Hill International Editions.
1976.
Progama Detallado del Curso
Clase No. Tema
Captulo 1: El Sistema de los N umeros Reales y de los N umeros Complejos
1 Axiomas de campo y algunas consecuencias importantes.
2 Axioma de orden y algunas consecuencias importantes. N umeros naturales, enteros, racionales
e irracionales. Exponenciacion con exponentes enteros.
3 Valor Absoluto. Representaci on geometrica de los n umeros reales. Intervalos. Propiedad de
la mnima cota superior (axioma del supremo) y algunas consecuencias importantes.
4 Existencia de races cuadradas. Representacion decimal de los n umeros reales. Mas y menos
innito y el sistema extendido de los n umeros reales.
5 El campo de los complejos. Espacios euclideanos.
Captulo 2: Algunas Nociones Basicas de Teora de Conjuntos
6 Conjuntos nitos, contables y no contables.
Captulo 3: Elementos de Topologa Basica
7 Espacios metricos. Bolas abiertas y cerradas. Conjuntos abiertos.
8 Puntos interiores e interior de un conjunto. Resultados sobre conjuntos
abiertos. Conjuntos cerrados.
9 Conjuntos cerrados. Puntos de acumulacion y clausura de un conjunto. Resultados sobre
conjuntos cerrados.
10 Teorema de Bolzano-Weierstrass. Teorema de interseccion de Cantor.
11 Teorema de cubrimiento de Lindelof. Teorema de cubrimiento de Heine-Borel.
12 Compacidad. Resultados sobre compacidad.
13 Teorema de Bolzano-Weierstrass en espacios metricos compactos. Teorema de la interseccion
de Cantor en espacios metricos compactos.
Captulo 4: Lmites y Continuidad
14 Sucesiones convergentes. Subsucesiones. Sucesiones acotadas.
15 Sucesiones monotonas. Sucesiones de Cauchy. Espacios metricos completos.
16 Resultados sobre espacios metricos completos. Lmite de una funcion. Lmites de funciones
vectoriales.
17 Funciones continuas. Continuidad de funciones compuestas. Continuidad de funciones con
valores vectoriales.
i
18 Continuidad e imagen inversa de conjuntos abiertos y cerrados. Funciones continuas sobre
conjuntos compactos. Teorema del valor extremo.
19 Teorema de Bolzano. Teorema del valor intermedio. Conexidad.
20 Continuidad y conexidad. Teorema del valor intermedio para funciones reales, continuas.
21 Arco conexidad. Continuidad Uniforme.
22 Continuidad uniforme y conjuntos compactos. Teorema de Heine. Teorema de punto jo para
contracciones. Teorema de punto jo de Banach. Discontinuidades de funciones con valores
reales.
Captulo 5: Derivadas
23 Derivadas y continuidad.

Algebra de derivadas.
24 La regla de la cadena. Derivadas unilaterales y derivadas innitas. Funciones con derivada
diferente de cero.
25 Derivadas iguales a cero y extremos locales. Teorema de Rolle. Teorema del valor medio
para derivadas.
26 Teorema del valor intermedio para derivadas.
27 Regla de LHopital. Formula de Taylor. Derivadas de funciones vectoriales.
Evaluaci on
Se realizaran 4 examenes parciales de igual valor de acuerdo a la informacion de la siguiente tabla.
Primer parcial Sabado 24 de marzo Captulos 1 y 2 (clases 1 a 6)
Segundo parcial Sabado 28 de abril Captulo 3 (clases 7 a 13)
Tercer parcial Sabado 2 de junio Captulo 4 (clases 14 a 22)
Cuarto parcial Sabado 16 de junio Captulo 5 (clases 23 a 27)
ii
Captulo 1
El Sistema de los N umeros Reales
y de los N umeros Complejos
En el presente captulo estudiaremos, inicialmente, algunas propiedades de los n umeros reales (R) como conse-
cuencia de ciertos axiomas. Mas adelante deniremos el conjunto de los n umeros complejos (C) y estudiaremos
unas pocas propiedades basicas, dejando un estudio mas profundo a un curso de Analisis Complejo. Al nal del
captulo generalizaremos algunas de las propiedades vistas para los reales y los complejos a espacios Euclideanos.
1.1 Axiomas o Propiedades de Campo
(Rosenlicht, Seccion II.1)
Junto con el conjunto R de los n umeros reales supondremos la existencia de dos operaciones, llamadas adicion
(o suma) y multiplicacion (o producto), tales que para cada par de n umeros reales a y b, la suma a + b y el
producto a b son n umeros reales determinados en forma unica por a y b satisfaciendo los siguientes axiomas.
Propiedad I. (Conmutativa). Para todo a, b R, tenemos que a +b = b +a y a b = b a.
Propiedad II. (Asociativa). Para todo a, b, c R, tenemos que (a +b) +c = a + (b +c) y (a b) c = a (b c).
Propiedad III. (Distributiva). Para todo a, b, c R, tenemos que a (b +c) = a b +a c.
Propiedad IV. (Existencia de elementos neutros). Existen dos elementos distintos: 0 y 1 de los reales tales que
para todo a R tenemos que a + 0 = a y a 1 = a.
Propiedad V. (Existencia de inversos aditivos y multiplicativos). Para todo a R existe un elemento de los
reales, denotado a, tal que a + (a) = 0, y para todo a R distinto de cero existe un elemento de los reales,
denotado a
1
, tal que a a
1
= 1.
Algunas consecuencias de los axiomas de campo
F1. En una suma o producto de varios n umeros reales los parentesis pueden ser omitidos. Esto, como conse-
cuencia de la propiedad asociativa.
F2. En una suma o producto de varios n umeros reales el orden de los terminos es indiferente. Esto, como
consecuencia de la propiedad conmutativa.
1
F3. Dados a, b R, la ecuacion x+a = b tiene solucion unica dada por x = b+(a). (En adelante escribiremos
b a en lugar de b + (a).
Observemos que (b a) + a = b + (a + a) = b + 0 = b. Con esto tenemos que b a es solucion de la
ecuacion.
Para la unicidad, supongamos que x
1
y x
2
son soluciones de la ecuacion. Entonces se cumple que x
1
+a = b
y x
2
+a = b. Por lo tanto,
x
1
+a = x
2
+a
(x
1
+a) + (a) = (x
2
+a) + (a)
x
1
+ (a + (a)) = x
a
+ (a + (a))
x
1
+ 0 = x
2
+ 0
x
1
= x
2
.
F4. Dados a, b R con a 6= 0, la ecuacion xa = b tiene solucion unica dada por x = b a
1
. (En adelante
escribiremos
b
a
en lugar de b a
1
. En particular a
1
=
1
a
).
Para ver que b a
1
es solucion de la ecuacion observemos que (ba
1
)a = b(a
1
a) = b 1 = b.
Para la unicidad, supongamos que x
1
y x
2
son soluciones de la ecuacion. Entonces se cumple que x
1
a = b
y x
2
a = b. Por lo tanto,
x
1
a = x
2
a
(x
1
a)a
1
= (x
2
a)a
1
x
1
(aa
1
) = x
2
(aa
1
)
x
1
1 = x
2
1
x
1
= x
2
.
F5. Para todo a R tenemos que a 0 = 0. Para ver esto consideremos la ecuacion x +a 0 = a 0.
a 0 es solucion de la ecuacion ya que
a 0 +a 0 = a(0 + 0) = a 0,
ademas 0 es solucion de la ecuacion ya que
0 +a 0 = a 0.
Entonces, seg un F3 tales soluciones deben ser iguales.
F6. (a) = a para todo a R. Esto se sigue facilmente de F3 y del hecho que (a) y a son soluciones de
la ecuacion x + (a) = 0.
F7. (a
1
)
1
= a para todo a R tal que a 6= 0. Esto se sigue facilmente de F4 y del hecho que (a
1
)
1
y a
son soluciones de la ecuacion x a
1
= 1. (Observemos que, como a a
1
= 1, entonces a
1
6= 0).
F8. (a + b) = (a) + (b) para todo a, b R. Esto se sigue facilmente de F3 y del hecho que (a + b) y
(a) + (b) son soluciones de la ecuacion x + (a +b) = 0.
F9. (ab)
1
= a
1
b
1
para todo a, b R tales que a 6= 0 y b 6= 0. Esto se sigue facilmente de F4 y del hecho
que (ab)
1
y a
1
b
1
son soluciones de la ecuacion x(ab) = 1. (Observemos que, como a 6= 0 y b 6= 0,
entonces ab 6= 0 y (ab)
1
6= 0).
De F9, se siguen las reglas usuales para operar con fracciones:
ac
bc
= (ac)(bc)
1
= acb
1
c
1
= ab
1
=
a
b
,
a
b

c
d
= (ab
1
)(cd
1
) = ac(bd)
1
=
ac
bd
,
a
b
+
c
d
=
ad
bd
+
bc
bd
= (ad)(bd)
1
+ (bc)(bd)
1
= (ad +bc)(bd)
1
=
ad +bc
bd
.
2
F10. a = (1)a para todo a R. Esto se sigue facilmente de F3 y del hecho que a y (1)a son soluciones
de la ecuacion x +a = 0.
Dos consecuencias importantes de F10 son: a(b) = ab y (a)(b) = ab.
1.2 Axioma o Propiedad de Orden
(Rosenlicht, Seccion II.2)
Propiedad VI. Existe un subconjunto R
+
de R tal que
(1) si a, b R
+
, entonces a +b, a b R
+
y
(2) para todo a R, una y solo una de las siguientes armaciones es cierta: a R
+
, a = 0 o a R
+
.
A los elementos a R tales que a R
+
los llamaremos positivos y a los tales que a R
+
los llamaremos
negativos.
Para a, b R tales que a b R
+
diremos que a es mayor que b y escribiremos a > b (o tambien b < a y
diremos que b es menor que a). Las expresiones a b o b a signicaran que a > b o a = b.
Algunas consecuencias del axioma de orden
O1. (Tricotoma). Si a, b R entonces una y solo una de las siguientes armaciones es cierta: a > b, a = b o
a < b. Esto es claro si aplicamos la parte (2) del axioma de orden a a b.
O2. (Transitividad). Si a > b y b > c entonces a > c. Esto es claro ya que a b R
+
, b c R
+
, lo cual
implica que a c = (a b) + (b c) R
+
.
O3. Si a > b y c d entonces a + c > b + d. Para ver esto basta tener en cuenta que a b R
+
y
c d R
+
{0}, luego (a +c) (b +d) = (a b) + (c d) R
+
.
O4. Si a > b > 0 (lo cual signica que a > b y b > 0) y c d > 0, entonces ac > bd. Esto es cierto ya que
a b R
+
y c R
+
, luego (ac bc) = (a b)c R
+
y similarmente (bc bd) R
+
{0}, por lo tanto,
ac bd = (ac bc) + (bc bd) R
+
.
O5. Las siguientes reglas de los signos para la suma y el producto se siguen inmediatamente de F10 y la
propiedad VI:
(n umero positivo)+(n umero positivo)=(n umero positivo),
(n umero negativo)+(n umero negativo)=(n umero negativo),
(n umero positivo)(n umero positivo)=(n umero positivo),
(n umero positivo)(n umero negativo)=(n umero negativo),
(n umero negativo)(n umero negativo)=(n umero positivo).
O6. Para todo a R tenemos que a
2
0, con la igualdad solo si a = 0; mas general, la suma de los cuadrados
de varios elementos de R es siempre mayor o igual que cero, con la igualdad solo si todos los elementos
en cuestion son cero.
Observemos que si a 6= 0, de O5, se sigue que a
2
> 0. Ademas la suma de elementos positivos es positivo.
Como consecuencia especial notemos que 1 = 1
2
> 0.
O7. Si a > 0, entonces
1
a
> 0. Este hecho se sigue de a
1
a
= 1 > 0 y las reglas de los signos para el producto.
O8. Si a > b > 0, entonces
1
a
<
1
b
. Esto se sigue facilmente pues ab > 0 y entonces, de O7, (ab)
1
> 0, as que
(ab)
1
a > (ab)
1
b, lo cual al simplicarse es
1
b
>
1
a
.
3
O9. N umeros naturales. Denamos 2 := 1 + 1, 3 := 2 + 1, 4 := 3 + 1, etc. y denamos el conjunto de los
n umeros naturales por N := {1, 2, 3, ...}. Como 1 > 0 se sigue que 0 < 1 < 2 < 3 < .
Por la forma en que esta denido, el conjunto de los n umeros naturales satisface la propiedad de trico-
toma. Ademas, si a, b, c N son tales que a < b y b < c entonces a < c.
Todo n umero natural tiene un sucesor inmediato y dos n umeros naturales distintos tienen dos sucesores
inmediatos distintos.
Los n umeros naturales cumplen las reglas usuales para la suma y el producto.
Al conjunto de los n umeros naturales tambien se le conoce como enteros positivos y se representa por Z
+
.
N umeros enteros. Deniremos el conjunto de los n umeros enteros como la union de los enteros positivos
(Z
+
), los negativos de los enteros positivos, o enteros negativos, representados por Z

y el cero. El smbolo
que emplearemos para representar los enteros es Z.
Los enteros estan ordenados de la siguiente forma: < 2 < 1 < 0 < 1 < 2 < y cumplen las reglas
usuales para la suma y el producto.
N umeros racionales. Llamaremos n umeros racionales a los elementos de los reales que pueden ser escritos
en la forma
a
b
, con a, b Z y b 6= 0. El smbolo que emplearemos para denominar a los n umeros racionales
es Q.
La relacion de orden entre dos n umeros racionales puede ser determinada escribiendo los dos n umeros con
un denominador com un.
N umeros irracionales. Llamaremos n umeros iracionales a aquellos n umeros reales que no son racionales y
el smbolo que emplearemos para denominarlos es I. (Mas adelante veremos que en realidad I 6= ).
Teorema 1. (Apostol, Teorema 1.1). Sean a, b R tales que a b + para todo > 0. Entonces a b.
Prueba. Razonemos por el absurdo y supongamos que a no es menor o igual que b. Por la propiedad de
tricotoma a > b y con esto a b R
+
. Ahora, como 2 = 1 + 1 y 1 R
+
entonces 2 R
+
y debido a la
propiedad O7 se tiene que
1
2
R
+
.
Denamos
0
:=
1
2
(a b) R
+
. Por hipotesis a b +
0
, pero
b +
0
= b +
1
2
(a b) =
a +b
2
<
2a
2
< a.
O sea que b +
0
< a. Esto es absurdo. Se sigue que a b.
1.3 Exponenciacion con Exponentes Enteros
(Rosenlicht, Seccion II.2)
Si a R y n N denimos a
n
= a a a a (n veces) y si a 6= 0 denimos a
0
= 1, a
n
=
1
a
n
.
De estas deniciones se sigue inmediatamente que a
m
a
n
= a
m+n
, (a
m
)
n
= a
mn
; (ab)
m
= a
m
b
m
.
1.4 Valor Absoluto
(Rosenlicht, Seccion II.2)
Si a R, denimos
|x| :=

a si a > 0,
0 si a = 0,
a si a < 0.
(1)
4
Claramente, de la denicion de valor absoluto, se sigue que |a| 0 para todo a R, |a| = 0 si y solo si a = 0,
|ab| = |a||b| para todo a, b R, y |a|
2
= a
2
para todo a R.
Teorema 2. (Propiedades del Valor Absoluto). (Apostol, Teoremas 1.21 y 1.22).
1. Si a > 0 y x R entonces |x| a si y s olo si a x a.
2. Si x, y R entonces |x +y| |x| + |y| (Desigualdad Triangular).
3. si x, y R entonces |x y| ||x| |y||.
Prueba.
1. Sean a 0 y x R. De la denicion de valor absoluto se tiene que |x| x |x|.
Si suponemos que |x| a entonces a |x| x |x| a.
Supongamos ahora que a x a. Para x 0 tenemos que |x| = x a y para x < 0 tenemos que
|x| = x a. En cualquier situacion |x| a.
2. Sean x, y R. Sabemos que |x| x |x| y que |y| y |y|. Sumando lo anterior obtenemos
(|x| + |y|) x +y |x| + |y|.
Luego, de 1 se sigue que |x +y| |x| + |y|.
3. Sean x, y R. Empleando 2 tenemos que |x| = |(x y) +y| |x y| + |y|, por lo tanto
|x y| |x| |y|.
Ademas, empleando nuevamente 2, |y| = |x + (y x)| |x| + |y x| = |x| + |x y|, por lo tanto
|x| |y| |x y|.
De lo anterior se sigue que
|x y| |x| |y| |x y|
y entonces de 1 tenemos que |x y| ||x| |y||.
Observaciones
Facilmente puede probarse, empleando induccion, que
|x
1
+x
2
+x
3
+ x
n
| |x
1
| + |x
2
| + |x
3
| + |x
n
|,
para todo x
1
, x
2
, x
3
, x
n
R.
Aunque es trivial, un hecho que en algunas ocasiones es muy util es el siguiente: para todo x, a R y
> 0 se sigue que |x a| si y solo si a x a +.
1.5 Representaci on Geometrica de los N umeros Reales
(Apostol, Seccion 1.4)
Los n umeros reales son representados frecuentemente como puntos sobre una lnea (llamada lnea real, recta
numerica o eje real). Un punto es seleccionado para representar el 0 y otro a la derecha para representar el 1.
Esta escogencia determina la escala. A cada punto de la recta real le corresponde un y solo un n umero real y
cada n umero real esta representado por un y solo un punto sobre la recta.
La relacion de orden tiene la siguiente interpretacion: si x < y, el punto x se encontrara a la izquierda del punto
y en la recta. Los reales positivos se encuentran a la derecha del 0 y los reales negativos a la izquierda del 0. Si
a < b, un punto x satisface las desigualdades a < x < b si y solo si x esta entre a y b en la recta.
5
1.6 Intervalos
(Apostol, Seccion 1.5)
El conjunto de todos los puntos que se encuentran entre a y b es llamado intervalo.
Denicion. Sean a, b R tales que a < b. Denimos el intervalo abierto (a, b) y el intervalo cerrado [a, b],
respectivamente, por
(a, b) := {x : a < x < b}, [a, b] := {x : a x b}.
Los intervalos semiabiertos (a, b] y [a, b) son denidos en forma similar, empleando las desigualdades a < x b
y a x < b.
Los intervalos innitos se deninen de la siguiente forma:
(a, +) := {x : x > a}, [a, +) := {x : x a},
(, a) := {x : x < a}, (, a] := {x : x a}.
Algunas veces nos referiremos a la recta real como el intervalo abierto (a, b).
1.7 Propiedad de la Mnima Cota Superior
(Rosenlicht, Seccion II.3)
Sea S R. Una cota superior de S es un n umero a R tal que s a para todo s S. Si S tiene una cota
superior decimos que S es acotado superiormente.
Llamamos a y R una mnima cota superior de S si
(1) y es una cota superior de S y
(2) para todo a que sea cota superior de S se tiene que y a.
De lo anterior se sigue que si un conjunto S tiene una mnima cota superior, esta es unica y la denotamos sup S
(supremo de S).
Si S R tiene supremo y x R es tal que x < sup S entonces existe s S tal que x < s sup S (propiedad
de aproximacion).
Si S R contiene un elemento que es mayor que todos los demas, este es el sup S (max S = supS).
Si S R tiene supremo, no necesariamente sup S S.
Axioma del Supremo. Si S R y S 6= es tal que S es acotado superiormente entonces existe y R (no
necesariamente en S) tal que y = supS.
Analogamente se denen: cota inferior, maxima cota inferior (inmo) y mnimo. Ademas, del Axioma del
Supremo se sigue facilmente que si S R y S 6= es tal que S es acotado inferiormente entonces existe w R
(no necesariamente en S) tal que w = inf S. (Se toma S
0
:= {x R : x S}. S
0
es no vaco y acotado
superiormente pues si a es cota inferior de S, a es cota superior de S
0
, luego existe y tal que y = sup S
0
. Tal
y es tal que y = inf S).
6
Teorema 3. (Algunas consecuencias de la Propiedad de la Mnima Cota Superior). (Rosenlicht, Seccion II.3)
1. Para todo x R existe n Z tal que n > x. (En otras palabras, existen enteros arbitrariamente grandes).
2. Para todo > 0 existe n N tal que
1
n
< . (En otras palabras, existen racionales positivos arbitrariamente
peque nos).
3. Para todo x R existe n Z tal que n x < n + 1.
4. Para todo x R y todo N N existe n Z tal que
n
N
x <
n+1
N
.
5. Si x R y > 0 entonces existe r Q tal que |x r| < . (En otras palabras, un n umero real puede ser
aproximado, tan cerca como se desee, por un n umero racional).
Prueba.
1. Supongamos, razonando por el absurdo, que existe x R, tal que para todo n Z, x n. Se tiene
entonces que Z es un conjunto acotado superiormente. Como Z 6= ya que 1 Z entonces, por el axioma
del supremo, existe a R tal que a = supZ. Sea m Z arbitrario. Como m+1 Z entonces m+1 a y
m a 1. Como m es un entero arbitrario entonces a 1 es cota superior de Z, pero, a 1 < a = supZ,
lo cual es absurdo ya que Z no puede tener una cota superior menor que a. Se sigue entonces la armacion
1.
2. Sea > 0, entonces
1

R. Por 1 existe n Z tal que n >

1

> 0 y con esto, en realidad n N. Luego

1
n
< .
3. Sea x R, entonces |x| R. Por 1, existe N Z tal que N > |x|. De esta forma N < x < N. Sea
n := max{m Z : N m N, m x}. Entonces se cumple que n x < n + 1.
4. Sean x R y N N. xN R, luego, por 3, existe n Z tal que n xN < n+1. Con esto
n
N
x <
n+1
N
.
5. Sea x R y > 0. Por 2 existe N N tal que
1
N
< . Ademas, por 4, existe n N tal que
n
N
x <
n+1
N
.
Por lo tanto < 0 x
n
N
<
n+1
N

n
N
=
1
N
< . Es decir |x
n
N
| < .
1.8 Existencia de Races Cuadradas
(Rosenlicht, Seccion II.4)
Denicion. Dado a R diremos que x R es una raz cuadrada de a si x
2
= a.
Teorema 4. (Rosenlicht, Seccion II.4). Todo n umero real positivo tiene una unica raz cuadrada positiva.
Prueba. Existencia: Sean a > 0 y S := {x R : x 0, x
2
a}. Observemos que S 6= ya que 0 S y
ademas que S es acotado superiormente, ya que si z > max{a, 1} entonces z
2
= z z > z 1 = z > a. Entonces,
por el Axioma del Supremo existe y R tal que y = supS. Probaremos que y
2
= a.
En primer lugar veamos que y > 0. En efecto, min{1, a} > 0 y ademas min{1, a} S, luego 0 < min{1, a}
sup S = y.
Ahora, si > 0 es tal que < y, entonces 0 < y < y < y + y se tiene que
(y )
2
< y
2
< (y +)
2
. (2)
Por la propiedad de aproximacion al supremo existe s S tal que y < s, luego (y )
2
< s
2
a y como
y + / S pues y + > y = supS, entonces (y +)
2
> a. De lo anterior tenemos que (y )
2
< a < (y +)
2
, lo
cual es equivalente a
(y +)
2
< a < (y )
2
. (3)
7
De (2) y (3) obtenemos que
(y )
2
(y +)
2
<y
2
a < (y +)
2
(y )
2
y
2
2y +
2
y
2
2y
2
<y
2
a < y
2
+ 2y +
2
y
2
+ 2y
2
4y <y
2
a < 4y
|y
2
a| < 4y,
para todo > 0 tal que < y.
Sea e > 0, entonces si tomamos > 0 tal que < min{

4y
, y} tenemos que 4y < y < y, luego
|y
2
a| < 4y < e.
Por lo tanto |y
2
a| 0. Pero |y
2
a| 0, entonces |y
2
a| = 0 y con eso y
2
= a.
Unicidad: Sean y
1
, y
2
R
+
tales que y
2
1
= a y y
2
2
= a. Supongamos, razonando por el absurdo, que y
1
6= y
2
.
Sin perdida de generalidad supongamos que y
1
< y
2
. Entonces a = y
2
1
< y
2
2
= a. Es decir, a < a, lo cual es
absurdo. Se sigue que y
1
= y
2
.
Denotaremos

a a la unica raz cuadrada positiva de a, para a R
+
.
Concluimos entonces que todo a R
+
tiene exactamente dos races cuadradas:

a y

a y que si a = 0
entonces, la unica raz cuadrada es 0.
Observemos que R
+
= {a R
+
: y R, y 6= 0, y
2
= a}.
Teorema 5. (Apostol, Teorema 1.10). Si n N no es un cuadrado perfecto, entonces

n I.
Prueba. En primer lugar supongamos que n no contiene un factor cuadrado mayor que 1 (esto es, que no es
posible escribir a n como el producto m
2
k con m, k N y m, k > 1). Razonando por el absurdo supongamos
que

n =
a
b
donde a, b N son primos relativos (no tienen factor com un a excepcion del 1). Entonces nb
2
= a
2
y entonces a
2
es m ultiplo de n, lo cual implica que a es m ultiplo de n (esto se ve facilmente descomponiendo
a en factores primos y teniendo en cuenta que n no tiene factores cuadrados mayores que 1). De esta forma,
a = cn donde c N. Por lo tanto, la ecuaci on nb
2
= a
2
se convierte en nb
2
= c
2
n
2
o b
2
= nc
2
y entonces b es
m ultiplo de n, lo cual es absurdo pues a y b son primos relativos. Concluimos que, en este caso,

n I.
Ahora, si n tiene un factor cuadrado entonces podemos escribir n = m
2
k, con m, k N y m, k > 1, en donde
k no contiene un factor cuadrado mayor que 1. Entonces

n = m

k. Si

n fuera racional el n umero

k
tambien sera racional, contradiciendo la primera parte de la prueba.
Del anterior teorema podemos ver que I 6= pues

2 I.
1.9 Representaci on Decimal de los N umeros Reales
(Apostol, Secciones 1.15, 1.16 y 1.17)
Un n umero real de la forma
r = a
0
+
a
1
10
+
a
2
10
2
+ +
a
n
10
n
, (4)
donde a
0
N y a
1
, a
n
Z son tales que 0 a
i
9, usualmente es escrito en una forma mas breve como
r = a
0
. a
1
a
2
a
n
.
8
A esta forma se le conoce como representacion decimal nita de r. Por ejemplo
1 +
2
10
+
9
10
2
+
3
10
3
+
4
10
4
= 1.2934.
Los n umeros reales que son representables de la forma (4) necesariamente son racionales; sin embargo, no todos
los racionales tienen una representacion racional nita (considere por ejemplo
1
3
).
Teorema 6. (Aproximaciones Decimales Finitas Para los N umeros Reales). (Apostol, Teorema 1.20). Sea
x 0 entonces para todo n N existe un decimal nito r
n
= a
0
. a
1
a
2
a
n
tal que
r
n
x < r
n
+
1
10
n
.
Prueba. Sean x 0 y S := {z Z : 0 z x}. S 6= pues 0 S, ademas, S es acotado superiormente por
x, entonces por el axioma del supremo existe a
0
:= supS. Facilmente puede verse que a
0
S (a
0
es llamado el
mayor entero en x y es denotado [x]). Claramente
a
0
x < a
0
+ 1.
Denamos ahora a
1
:= [10x 10a
0
]. Como 0 10x 10a
0
= 10(x a
0
) < 10 entonces 0 a
1
9 y
a
1
10x 10a
0
< a
1
+ 1.
En otras palabras, a
1
es el entero mas grande que satisface
a
0
+
a
1
10
x < a
0
+
a
1
+ 1
10
.
Continuando con este procedimiento, despues de escoger a
1
, a
n1
con 0 a
i
9, denimos a
n
como el
entero mas grande que satisface
a
0
+
a
1
10
+ +
a
n
10
n
x < a
0
+
a
1
10
+ +
a
n
+ 1
10
n
. (5)
Entonces 0 a
n
9 y
r
n
x < r
n
+
1
10
n
,
donde r
n
= a
0
. a
1
a
n
.
Facilmente se puede vericar que x es el supremo de el conjunto de racionales r
1
, r
2
, . . .
Representacion Decimal Innita de los N umeros Naturales
Los enteros a
0
, a
1
, a
2
. . . obtenidos en la prueba del teorema anterior pueden ser empleados para denir una
representacion decimal innita de x: x = a
0
. a
1
a
2
. Con esto damos a entender que a
n
es el entero mas
grande que satisface (5). Por ejemplo, si x =
1
8
entonces a
0
= 0, a
1
= 1, a
2
= 2, a
3
= 5 y a
n
= 0 para todo
n 4. Por lo tanto podemos escribir
1
8
= 0.125000
Si intercambiamos los signos de desigualdad y < en (5) obtenemos una denicion un poco diferente de la
representacion decimal. Los decimales nitos r
n
satisfacen r
n
< x r
n
+10
n
aunque los dgitos a
0
, a
1
, a
2
, . . .
no tienen que ser, necesariamente, los mismos que en (5). Por ejemplo, si aplicamos esta segunda denicion a
x =
1
8
tenemos
1
8
= 0.124999
Que un n umero real pueda tener dos representaciones decimales diferentes es un reejo de que dos conjuntos
diferentes de n umeros reales puedan tener el mismo supremo.
9
1.10 Mas y Menos Innito y el Sistema Extendido de los N umeros Reales
(Apostol, Seccion 1.20)
Denicion. Llamaremos Sistema Extendido de los N umeros Reales y lo denotaremos R

al conjunto de los
n umeros reales R junto con los smbolos + y los cuales satisfacen las siguientes propiedades.
(a) Si x R entonces
x + (+) = +, x + () = , x (+) = , x () = +,
x
(+)
=
x
()
= 0.
(b) Si x > 0 entonces
x(+) = +, x() = .
(c) Si x < 0 entonces
x(+) = , x() = +.
(d) (+) + (+) = (+)(+) = ()() = +, () + () = (+)() = .
(e) Si x R entonces < x < +.
Ademas, denotaremos a R por (, +) y a R

por [, +].
1.11 El Campo de los Complejos
Denicion. (Rudin, Denicion 1.24). Un n umero complejo es un par ordenado (a, b) de n umeros reales. Si
x := (a, b) y y := (c, d) son dos n umeros complejos entonces escribimos x = y si y solo si a = c y b = d. Ademas,
denimos
x +y = (a +c, b +d) y xy = (ac bd, ad +bc).
Teorema 7. (Rudin, Teoremas 1.25 y 1.26).
1. De las deniciones de adicion y multiplicacion se sigue que el conjunto de los n umeros complejos, de-
notado C, es un campo (cumple los axiomas de campo) con (0, 0) y (1, 0) haciendo las veces de 0 y 1
respectivamente.
2. Para todo par de n umeros reales a y b tenemos que (a, 0) + (b, 0) = (a +b, 0) y (a, 0)(b, 0) = (ab, 0).
Prueba. La parte 1 se deja como ejercicio y la parte 2 se sigue inmediatamente de las deniciones de adicion
y multiplicacion para n umeros complejos.
De la parte 2 del teorema anterior se ve que los n umeros complejos de la forma (a, 0) tienen las mismas
propiedades aritmeticas que la de los correspondientes n umeros reales a. De esta forma podemos considerar a
R como un subconjunto de C.
Denicion. (Rudin, Denicion 1.27). Deniremos el n umero complejo i como el par ordenado (0, 1).
10
Teorema 8. (Rudin, Teoremas 1.28 y 1.29)
1. i
2
= 1.
2. Si a, b R entonces (a, b) = a +bi.
Prueba.
1. i
2
= i i = (0, 1)(0, 1) = (0 1, 0 + 0) = (1, 0) = 1.
2. a +bi = (a, 0) + (b, 0)(0, 1) = (a, 0) + (0, b) = (a, b).
Denicion (Rudin, Denicion 1.30) Si a, b R y z := a+bi entonces el n umero complejo z := abi es llamado
el conjugado de z. Ademas, llamamos parte real y parte imaginaria de z a los n umeros a y b respectivamente.
Escribimos a = Re(z) y b = Im(z).
Teorema 9. (Rudin, Teorema 1.31). Si z, w C entonces
1. z +w = z +w.
2. z w = z w.
3. z +z = 2Re(z) y z z = 2iIm(z).
4. zz es real y positivo (excepto cuando z = 0).
Prueba. Sean z := a +bi y w := c +di.
1. z +w = (a, b) + (c, d) = (a +c, b +d) = (a +c, b d) = (a, b) + (c, d) = z +w.
2. z w = (a, b)(c, d) = (ac bd, ad +bc) = (ac bd, ad bc) = (a, b)(c, d) = z w.
3. z +z = (a, b) + (a, b) = (a, b) + (a, b) = (2a, 0) = 2a = 2Re(z),
z z = (a, b) (a, b) = (a, b) (a, b) = (0, 2b) = 2bi = 2iIm(z).
4. zz = (a, b)(a, b) = (a, b)(a, b) = (a
2
+b
2
, ab +ab) = (a
2
+b
2
, 0) = a
2
+b
2
.
Luego zz > 0 si z 6= 0 y zz = 0 si z = 0.
Denicion. (Rudin, Denicion 1.32). Si z C, su valor absoluto (o modulo), es |z| =

zz. Notemos que si

x R entonces x = x y entonces |x| =

x
2
. Ademas, si z = a +bi entonces |z| =

a
2
+b
2
.
Teorema 10. (Rudin, Teorema 1.33). Sean z, w C entonces
1. |z| > 0 a menos que z = 0. |0| = 0.
2. |z| = |z|.
3. |zw| = |z||w|.
4. |Re(z)| |z|.
5. |z +w| |z| + |w|.
Prueba. Ejercicio.
Notacion. (Rudin, Notacion 1.34). Para x
1
, x
2
, ..., x
n
C escribimos
x
1
+x
2
+ x
n
=
n
X
j=1
x
j
.
11
Teorema 11. (Desigualdad de Cauchy-Schwarz). (Rudin, Teorema 1.35). Si a
1
, a
2
, ..., a
n
C y b
1
, b
2
, ..., b
n

C entonces
|
n
X
j=1
a
j
b
j
|
2

n
X
j=1
|a
j
|
2

n
X
j=1
|b
j
|
2
.
Prueba. Sean
A :=
n
X
j=1
|a
j
|
2
, B :=
n
X
j=1
|b
j
|
2
y C :=
n
X
j=1
a
j
b
j
.
Si B = 0 entonces b
1
= b
2
= = b
n
= 0 y se cumple trivialmente la desigualdad.
Supongamos entonces que B > 0.
n
X
j=1
|Ba
j
Cb
j
|
2
=
n
X
j=1
(Ba
j
Cb
j
)(Ba
j
Cb
j
) =
n
X
j=1
(Ba
j
Cb
j
)(Ba
j
Cb
j
)
=
n
X
j=1
(B
2
|a
j
|
2
BCa
j
b
j
BCa
j
b
j
+ |C|
2
|b
j
|
2
)
= B
2
n
X
j=1
|a
j
|
2
BC
n
X
j=1
a
j
b
j
BC
n
X
j=1
a
j
b
j
+ |C|
2
n
X
j=1
|b
j
|
2
= AB
2
BCC BCC + |C|
2
B
= B(AB |C|
2
).
Luego B(AB |C|
2
) 0. Como B > 0 entonces AB |C|
2
0. Con esto |C|
2
AB. Es decir
|
n
X
j=1
a
j
b
j
|
2

n
X
j=1
|a
j
|
2

n
X
j=1
|b
j
|
2
.
1.12 Espacios Euclideanos
Deniciones. (Rudin, Deniciones 1.36). Para k N denimos R
k
al conjunto de todas las k-tuplas ordenadas
x := (x
1
, ...x
k
), donde x
1
, ..., x
k
R son llamados coordenadas de x.
Si x := (x
1
, ..., x
k
), y := (y
1
, ..., y
k
) y R. Entonces
x +y := (x
1
+y
1
, ..., x
k
+y
k
), x = (x
1
, ..., y
k
).
Estas dos operaciones satisfacen las leyes conmutativa, asociativa y distributiva. Ademas R
k
es un espacio
vectorial sobre el campo de los reales.
El cero de R
k
es el elemento que tiene 0 R en todas sus coordenadas.
Producto Interno (o Producto Escalar)
Si x := (x
1
, ..., x
k
) y y := (y
1
, ..., y
k
) denimos el producto interno de y y y por
x y :=
k
X
j=1
x
j
y
j
,
y la norma de x por
kxk :=
p
(x x).
Al espacio vectoarial R
k
con el producto interno y la norma denida se le conoce como espacio eucldeo k-
dimensional.
12
Teorema 12. (Rudin, Teorema 1.37). Sean x, y, z R
k
y R entonces
1. kxk 0.
2. kxk = 0 si y s olo si x = 0.
3. kxk = ||kxk.
4. kx yk kxkkyk.
5. kx +yk kxk +kyk.
6. kx zk kx yk +ky zk.
Prueba. Ejercicio.
13
Captulo 2
Algunas Nociones Basicas
de Teora de Conjuntos
En el presente captulo estudiaremos los conceptos de funcion, sucesion, subsucesion, conjuntos nitos e innitos
y algunos resultados concernientes a ellos.
2.1 Conjuntos Finitos, Contables y no Contables
Deniciones (Rudin, Deniciones 2.1, 2.2 y 2.3) Consideremos dos conjuntos A y B y supongamos que cada
elemento x de A tiene asociado un elemento de B el cual denotaremos por f(x). Entonces decimos que f es
una funcion de A en B. Emplearemos la notacion f : A B. El conjunto A es llamado dominio de f y lo
denotamos D(f). Los elementos f(x) son llamados valores de f y al conjunto de todos los valores de f se le
llama rango de f (denotado R(f)).
Sean A y B dos conjuntos y sea f : A B. Si E A entonces denotaremos f(E) al conjunto de todos los
elementos f(x) tales que x E y lo llamaremos imagen de E bajo la funcion f. Claramente, empeando esta
notacion, f(A) = R(f) y f(A) B.
Si E B, f
1
denotara al conjunto de todos los x A tales que f(x) E y lo llamaremos la imagen inversa de
E bajo f. Si y B, f
1
(y) es el conjunto de todos los x A tales que f(x) = y. Si, para todo y B, f
1
(y)
es un conjunto unitario o el conjunto vaco entonces decimos que f es una funcion uno a uno de A en B. Esto
tambien puede ser expresado como sigue: f es uno a uno de A en B si f(x
1
) 6= f(x
2
) siempre que x
1
6= x
2
para
x
1
, x
2
A.
Observemos que en el caso en que f : A B es una funcion uno a uno, podemos denir una nueva funcion
f
1
: R(f) A de la siguiente forma:
f
1
(y) = x donde x es tal que f(x) = y.
A tal funcion la llamamos inversa de f.
Si A y B son dos conjuntos tales que existe una funcion f, uno a uno, cuyo dominio es A y cuyo rango es
B entonces decimos que A y B son equivalentes y escribimos A B. Esta relacion satisface las siguientes
propiedades.
1. A A (reexividad).
2. Si A B entonces B A (simetra).
3. Si A B y B C entonces A C (transitividad).
Toda relacion que cumpla estas tres propiedades es llamada relacion de equivalencia.
14
Para n N denamos J
n
:= {1, 2, . . . n}. Si A es un conjunto entonces
(a) A es nito si A J
n
para alg un n (el conjunto vaco tambien es considerado nito).
(b) A es innito si no es nito.
(c) A es contable si A N.
(d) A es no contable si no es ni nito ni contable.
(e) A es a lo sumo contable si es nito o es contable.
Ejemplo. (Rudin, Ejemplo 2.5). Z es contable ya que podemos denir la siguiente funcion uno a uno entre Z
y N:
1 70, 2 71, 3 71, 4 72, 5 72, . . . .
La formula explcita para esta funcion f : N Z es
f(n) :=

n
2
si n es par,

n 1
2
si n es impar.
Denicion. (Rudin, Denicion 2.7). Denimos sucesion a una funcion f cuyo dominio es N. Si f(n) = x
n
es usual denotar a la sucesion por el smbolo {x
n
}, o algunas veces por x
1
, x
2
, x
3
, . . . Los valores de f, es
decir, los elementos x
n
son llamados terminos de la sucesion. Si A es un conjunto y x
n
A para todo n N
entonces decimos que {x
n
} es una sucesion en A o una sucesion de elementos de A. Como todo conjunto con-
table es el rango de una funcion uno a uno denida sobre N entonces podemos decir que todo conjunto contable
es el rango de una sucesion o, en otras palabras, que todo conjunto contable puede ser arreglado en una sucesion.
Teorema 1. (Rudin, Teorema 2.8). Todo subconjunto innito de un conjunto contable A es contable.
Prueba. Sea E A un conjunto innito. Arreglemos los elementos de A en una sucesion {x
n
} y construyamos
la sucesion {n
k
} de la siguiente forma: sea n
1
el menor entero positivo tal que x
n
1
E. Despues de haber
escogido n
1
, . . . , n
k1
(k = 2, 3, 4, . . . ) sea n
k
el menor entero mayor que n
k1
tal que x
n
k
E. Deniendo
f(k) := x
n
k
(k = 1, 2, 3, . . . ) obtenemos una correspondencia uno a uno entre E y N. Luego E es contable.
Denicion. (Rudin, Denicion 2.9). Sean A y dos conjuntos y supongamos que cada elemento de A tiene
asociado un subconjunto de el cual denotaremos por E

.
Al conjunto cuyos elementos son los conjuntos E

lo denotaremos por {E

}
A
o simplemente {E

}. En vez
de estar hablando de conjuntos de conjuntos, frecuentemente hablaremos de una coleccion de conjuntos o una
familia de conjuntos.
Deniremos la union de los conjuntos E

como el conjunto S tal que x S si y solo si x E

por lo menos
para un A y emplearemos la notacion
S =
[
A
E

.
Si A := {1, 2, . . . , n}, usualmente escribiremos
S =
n
[
m=1
E
m
o
S = E
1
E
2
E
n
.
Si A = N, la notacion usual es
S =

[
m=1
E
m
.
15
Denimos la interseccion de los conjuntos E

como el conjunto P tal que x P si y solo si x E

para todo
A y empleamos la notacion
P =
\
A
E

o
P =
n
\
m=1
E
m
= E
1
E
2
E
n
o
P =

\
m=1
E
m
,
como en las uniones.
Teorema 2. (Rudin, Teorema 2.12). Sea {E
n
} una coleccion de conjuntos contables y sea
S =

[
n=1
E
n
.
Entonces S es contable.
Prueba. Para cada E
n
consideremos la sucesion {x
nk
}, k = 1, 2, 3, . . . con los elementos de de E
n
. En el
siguiente arreglo se muestra en la n-esima la los elementos de E
n
.
x
11
x
12
x
13
x
14

x
21
x
22
x
23
x
24

x
31
x
32
x
33
x
34

x
41
x
42
x
43
x
44

.
.
.
.
.
.
.
.
.
.
.
.
El arreglo contiene todos los elementos de S. Consideremos entonces la sucesion
x
11
, x
21
, x
12
, x
31
, x
22
, x
13
, x
41
, x
32
, x
23
, x
14
, . . .
Si dos de los conjuntos E
n
tienen elementos en com un, estos apareceran mas de una vez en la sucesion anterior.
Luego existe T N tal que S T lo cual muestra que S es a lo sumo contable. Como E
1
S y E
1
es innito
entonces S es innito. Con lo anterior S es contable.
Corolario 3. Sea A un conjunto a lo sumo contable tal que para todo A, B

es a lo sumo contable. Sea

T :=
[
A
B

.
Entonces T es a lo sumo contable.
Prueba. Inmediata del teorema anterior.
Teorema 4. (Rudin, Teorema 2.13). Sea A un conjunto contable y sea B
n
el conjunto de las n-tuplas
(a
1
, . . . , a
n
) donde a
k
A para k = 1, . . . n y los elementos a
1
, . . . , a
n
no tienen que ser necesariamente di-
ferentes. Entonces B
n
es contable.
Prueba. Realizaremos la prueba por induccion.
Como B
1
= A entonces B
1
es contable. Supongamos que B
n1
es contable. Los elementos de B
n
son de la
forma (b, a) con b B
n1
y a A.
Para cada b jo el conjunto de pares ordenados (b, a) es equivalente a A y entonces es contable. Por lo tanto
B
n
es es la union contable de conjuntos contables luego B
n
es contable.
16
Corolario 5. El conjunto de los n umeros racionales es contable.
Prueba. Aplicando el teorema anterior con n = 2 notando que cada racional r es de la forma
b
a
donde a y b
son enteros obtenemos que el conjunto de pares ordenados (a, b) y por lo tanto el conjunto de fracciones
b
a
es
contable.
Teorema 6. (Rudin, Teorema 2.14). Sea A el conjunto de todas las sucesiones cuyos elementos son los dgitos
0 y 1. Entonces A es no contable.
(Los elementos de A son sucesiones de la forma 0, 1, 0, 0, 1, 1, 0, 1, 1, . . . ).
Prueba. Sea E un subconjunto contable de A. E es de la forma {s
1
, s
2
, . . . } en donde s
i
es una sucesion de
unos y ceros para todo i N. Construyamos una sucesion s de la siguiente forma. Si el n-esimo dgito en s
n
es
1 ponemos 0 en el n-esimo dgito de s y viceversa. Entonces la sucesion s diere de todos los elementos de E
por lo menos en un dgito. Por lo tanto s / E. Pero claramente s A as que E es un subconjunto propio de
A.
Hemos mostrado que todo conjunto contable de A es un subconjunto propio de A. Se sigue que A es no contable
pues de lo contrario A sera un subconjunto propio de A lo cual es absurdo.
Corolario 7. (Apostol, Teorema 2.17). El conjunto de los n umeros reales es no contable.
Prueba. Consideremos el subconjunto de los n umeros reales conformado por todos aquellos n umeros cuya
representacion decimal innita es tal que en la parte decimal solo hay ceros o unos. Por el teorema anterior
este conjunto es no contable luego el conjunto de los n umeros reales es no contable.
17
Captulo 3
Elementos de Topologa Basica
En el presente captulo estudiaremos los conceptos de espacio metrico, conjunto abierto, conjunto cerrado,
conjunto compacto y algunas propiedades importantes.
3.1 Espacios Metricos
(Rosenlicht, Seccion III.1)
Denicion. Un espacio metrico es un conjunto E, junto con una funcion d la cual asocia a cada par de
elementos p, q E un n umero real d(p, q) tal que
1. d(p, q) 0 para todo p, q E.
2. d(p, q) = 0 si y solo si p = q.
3. d(p, q) = d(q, p) para todo p, q E.
4. d(p, r) d(p, q) +d(q, r) para todo p, q, r E (desigualdad triangular).
De esta forma, un espacio metrico es un par ordenado (E, d) donde E es un conjunto y d es una funcion
d : E E R que satisface 1 a 4. Los elementos de E son llamados puntos de E y a la funcion d se le llama
metrica.
Ejemplos
1. E = R, d(p, q) = |p q| (metrica eucldea para R).
2. Para k N, E = R
k
, d = kp qk (metrica eucldea para R
k
).
3. Si E es un espacio metrico y E
1
es subconjunto de E entonces E
1
con la metrica d es un espacio metrico.
Decimos que (E
1
, d) es subespacio de (E, d).
4. Sea E un conjunto arbitrario y, para p, q E, denamos
d(p, q) :=

0 si p = q,
1 si p 6= q.
(E, d) es un espacio metrico. En efecto, si p, q E entonces d(p, q) min{0, 1} 0 y ademas, claramente
d(p, q) = 0 si y solo si p = q y d(p, q) = d(q, p). Ahora, con respecto a la desigualdad triangular, si
p, q, r E, consideremos los siguientes casos:
(a) Si p = r entonces d(p, r) = 0 min{0, 2} d(p, q) +d(q, r).
(b) Si p = q y q 6= r entonces d(p, r) = 1 = d(p, q) + 1 = d(p, q) +d(q, r).
18
(c) Si p 6= q, q 6= r y p 6= r entonces d(p, r) = 1 < 1 + 1 = d(p, q) +d(q, r).
De (a), (b) y (c) se sigue la desigualdad triangular. Luego (E, d) es un espacio metrico. A d se le denomina
metrica discreta en E.
Teorema 1. (Rosenlicht, Seccion III.1)
1. Si p
1
, . . . p
n
son puntos del espacio metrico (E, d) entonces
d(p
1
, p
n
) d(p
1
, p
2
) +d(p
2
, p
3
) + d(p
n1
, p
n
).
2. Si p, q, r son puntos del espacio metrico (E, d) entonces
|d(p, r) d(q, r)| d(p, q).
Prueba.
1. d(p
1
, p
n
) d(p
1
, p
2
) +d(p
2
, p
n
) d(p
1
, p
2
) +d(p
2
, p
3
) +d(p
3
, p
n
)
d(p
1
, p
2
) +d(p
2
, p
3
) + d(p
n1
, p
n
).
2. d(p, r) d(p, q) +d(q, r) luego
d(p, r) d(q, r) d(p, q). (1)
d(q, r) d(q, p) +d(p, r) luego
d(p, r) d(q, r) d(p, q). (2)
De (1) y (2) se sigue que d(p, q) d(p, r) d(q, r) d(p, q). Por lo tanto |d(p, r) d(q, r)| d(p, q).
3.2 Conjuntos Abiertos y Cerrados
(Rosenlicht, Seccion III.2)
Deniciones. Sean (E, d) un espacio metrico, p
0
E y r > 0 un n umero real. Entonces la bola abierta en E
de centro p
0
y radio r es el subconjunto de E dado por
B(p
0
, r) := {p E : d(p
0
, p) < r}.
La bola cerrada en E con centro en p
0
y radio r es
B(p
0
, r) := {p E : d(p
0
, p) r}.
(En caso de confusion con respecto al espacio en el cual se este trabajando escribiremos este como subndice:
B
E
(p
0
, r)).
En (R
3
, d), donde d es la metrica eucldea, una bola abierta es el interior de una esfera y una bola cerrada es el
interior de una esfera junto con su supercie.
En (R
2
, d), donde d es la metrica eucldea, una boal abierta es el interior de un crculo y una bola cerrada es el
interior de un crculo junto con su circunferencia.
19
En (R, d), donde d es la metrica eucldea, una bola abierta es un intervalo abierto (a, b) con a, b R y una bola
cerrada es un intervalo cerrado [a, b] con a, b R. Esto debido a que si a < x < b, entonces
a
a +b
2
< x
a +b
2
< b
a +b
2

a b
2
< x
a b
2
<
b a
2

b a
2
< x
a +b
2
<
b a
2
,
lo cual es equivalente a
|x
a +b
2
| <
b a
2
.
Es decir
(a, b) = {x R : a < x < b} = {x R : |x
a +b
2
| <
b a
2
}.
O sea que el intervalo abierto (a, b) es la bola abierta con centro en
a+b
2
y radio
ba
2
.
En forma analoga, el intervalo cerrado [a, b] es la bola cerrada con centro en
a+b
2
y radio
ba
2
.
Ademas, toda bola abierta (o cerrada) en (R, d) con centro en p
0
y radio r es un intervalo abierto de la forma
(p
0
r, p
0
+r) (o cerrado de la forma [p
0
r, p
0
+r]).
En otros espacios metricos las bolas pueden diferir de las bolas usuales. Por ejemplo en (E, d) donde
E := {x R
2
: x > 0, y > 0}; d(x, y) := kx yk
una bola cerrada puede ser la siguiente.
Aqu, B
E
(p
0
, r) = B
R
2(p
0
, r) E.
Denicion. (Apostol, Deniciones 3.5 y 3.6). Sea (E, d) un espacio metrico y S E. Si p S es tal que
existe r > 0 para el cual B(p, r) S entonces diremos que p es un punto interior de S. Ademas si todos los
puntos de S son puntos interiores diremos que S es un conjunto abierto en el espacio metrico.
En otras palabras, S es abierto si para todo x S existe una bola abierta, centrada en x, totalmente contenida
en S.
Teorema 2. (Rosenlicht, Seccion III.2). Sea (E, d) un espacio metrico.
1. E es abierto.
2. E es abierto en E.
3. La uni on de cualquier coleccion de subconjuntos abiertos de E es abierta en E.
4. La interseccion de un n umero nito de subconjuntos abiertos de E es abierta.
Prueba.
1. Como no existe p entonces se sigue que para todo p existe r > 0 tal que B(p, r) .
20
2. Como toda bola en E esta contenida en E entonces se sigue que E es abierto en E.
3. En una union de conjuntos abiertos, dado un punto, este se encuentra en alguno de los conjuntos abiertos
de la union, luego existe una bola abierta contenida en tal abierto y por lo tanto en la union.
4. Sean S
1
, . . . , S
n
conjuntos abiertos en E y p
n
T
i=1
S
i
. Entonces, para todo i {1, . . . , n} existe r
i
tal que
B(p, r
i
) S. Sea r := min{r
i
: i = 1, . . . , n}. Entonces B(p, r)
n
T
S
i
i=1
ya que si existiera y B(p, r) tal
que y /
n
T
i=1
S
i
entonces existira k {1, , . . . , n} tal que y / S
k
, lo cual sera absurdo.
Teorema 3. (Rosenlicht, Seccion III.2). Sea (E, d) un espacio metrico. Entonces toda bola abierta en E es un
conjunto abierto.
Prueba. Sea S := B(p, r) una bola abierta en E y sea p
0
S. Veamos que existe r
0
tal que B(p
0
, r
0
) S.
Como p
0
S entonces d(p, p
0
) < r y r d(p, p
0
) > 0. Sea r
0
:= r d(p, p
0
) y q B(p
0
, r
0
). Por la desigualdad
triangular
d(p, q) d(p, p
0
) +d(p
0
, q) < d(p, p
0
) +r
0
= d(p, p
0
) +r d(p, p
0
) = r.
Luego q S. Es decir B(p
0
, r
0
) S.
Teorema 4. (Apostol, Teorema 3.33). Sean (E, d) un espacio metrico, S E y X S. Entonces X es abierto
en (S, d) si y s olo si X = A S para alg un conjunto A abierto en (E, d).
Prueba. Supongamos que A es abierto en (E, d) y denamos X := A S. Si x X entonces x A luego
existe r > 0 tal que B
E
(x, r) A. De esta forma, B
S
(x, r) := B
E
(x, r) S A S = X, con lo cual X es
abierto en (S, d).
Supongamos ahora que X es abierto en (S, d) y mostremos que X = AS para alg un conjunto abierto A E.
Para todo x X existe r
x
> 0 tal que B
S
(x,
x
r) X, en donde B
S
(x, r
x
) = B
E
(x, r
x
) S. Denamos
A :=
[
xX
B
E
(x, r
x
).
Entonces A es abierto en (E, d) y A S = X.
21
Teorema 5. (Rosenlicht, Seccion III.2). Sea (E, d) un espacio metrico y S E. S es abierto en (E, d) si y
s olo si S es union de bolas abiertas en (E, d).
Prueba. Sea S abierto en (E, d). Por cada x S existe r
x
> 0 tal que B(x, r
x
) S. Luego S =
S
xS
B(x, r
x
).
Supongamos ahora que S =
S
iI
B(x
i
, r
x
i
). Entonces S es abierto ya que toda union de abiertos es abierto.
Denicion. Un subconjunto S de un espacio metrico (E, d) es cerrado si su complemento, S
c
, es abierto.
Teorema 6. (Rosenlicht, Seccion III.2). En todo espacio metrico una bola cerrada es un conjunto cerrado.
Prueba. Sea (E, d) un espacio metrico y S := B(p
0
, r) una bola cerrada en (E, d). Sea p S
c
.
Entonces d(p
0
, p) > r, luego d(p
0
, p) r > 0. Consideremos la bola abierta B(p, r
0
) donde r
0
:= d(p
0
, p) r.
Probemos que B(p, r
0
) S
c
y con esto S
c
es abierto. Sea q B(p, r
0
). Entonces d(p, q) < r
0
= d(p
0
, p) r.
Por lo tanto
r < d(p
0
, p) d(p, q) d(p
0
, q) +d(q, p) d(p, q) = d(p
0
, q).
Luego q S
c
y con esto B(p, r
0
) S
c
. Por lo tanto S
c
es abierto.
Teorema 7. (Rosenlicht, Seccion III.2). Sea (E, d) un espacio metrico.
1. E es cerrado.
2. E es cerrado.
3. La interseccion de cualquier coleccion de subconjuntos cerrados de E es cerrado.
4. La uni on de un n umero nito de subconjuntos cerrados de E es cerrrado.
Prueba.
1. E
c
= E que es abierto. Luego E es cerrado.
2.
c
= E que es abierto. Luego es cerrado.
3. El complemento de una interseccion de cerrados es una union de abiertos, la cual es un conjunto abierto.
4. El complemento de una union nita de cerrados es una interseccion nita de abiertos, la cual es un
conjunto abierto.
Teorema 8. (Apostol, Teorema 3.34). Sean (E, d) un espacio metrico, S E y Y S. Entonces Y es cerrado
en (S, d) si y s olo si Y = B S para alg un conjunto B cerrado en (E, d).
22
Prueba. Si Y = B S para alg un B cerrado en (E, d) entonces B
c
es abierto en (E, d) y con esto B
c
S es
abierto en (S, d). Como Y es el complemento en (S, d) de B
c
S entonces Y es cerrado en (S, d).
Ahora, si Y es cerrado en (S, d) entonces X := S Y es abierto en (S, d). Por lo tanto existe A, abierto en
(E, d), tal que X = A S y
Y = S X = S (A S) = S A = S (E A) S B,
donde B es cerrado en (E, d).
Observaciones
Para todo par de puntos p, q de un espacio metrico (E, d), p 6= q, existe r > 0 tal que q / B(p, r) (por
ejemplo r =
d(p,q)
2
). Por lo tanto todo punto de E es la interseccion de todas las bolas cerradas que lo
contienen y entonces todo punto es un conjunto cerrado en E.
Todo subconjunto nito de un espacio metrico (E, d) es cerrado en E por ser la union nita de puntos.
Sea (E, d) un espacio metrico, p
0
E y r > 0. B(p
0
, r)
c
es cerrado en E y B(p
0
, r) es cerrado en E. Luego,
la esfera de centro en p
0
y radio r, denida por S(p
0
, r) := {x E : d(x, p
0
) = r} = B(p
0
, r)
c
B(p
0
, r)
es un conjunto cerrado en E.
Hay subconjuntos de un espacio metrico que no son ni abiertos ni cerrados. Por ejemplo, si consideramos
(R, d) donde d es la metrica eucldea y ademas a, b R con a < b entonces (a, b] no es ni abierto ni cerrado
en R ya que toda bola abierta con centro en b tiene innitos puntos que no estan en (a, b] y toda bola
abierta con centro en a tiene innitos puntos que no estan en (a, b]
c
.
Para todo k N, a R
k
, i N, el conjunto
A
i
:= {x = (x
1
, . . . , x
k
) R
k
: x
i
> a}
es un conjunto abierto en R
k
(considerando el espacio metrico (R
k
, d), donde d es la metrica eucldea).
En efecto, sea x := (x
1
, . . . , x
k
) A
i
.
Observemos que B(x, r) con r := x
i
a esta contenida en A
i
. Sea y := (y
1
, . . . , y
k
) B(y, r) entonces
(x
i
y
i
)
2
(x
1
y
1
)
2
+ + (x
i
y
i
)
2
+ + (x
k
y
k
)
2
.
Por lo tanto |x
i
y
i
| d(x, y) < a. Lo cual es equivalente a a < x
i
y
i
< a. Entonces y
i
a > 0.
Con lo anterior q A
i
, B(p, r) A
i
y A
i
es abierto. Similarmente {x = (x
1
, . . . , x
k
) R
k
: x
i
< a} es
abierto en R
k
.
23
De lo anterior se sigue que los conjuntos de la forma
{x = (x
1
, . . . , x
k
) R
k
: x
i
a} = {x = (x
1
, . . . , x
k
) : x > a}
c
son cerrados en R
k
y que los conjuntos de la forma
{x = (x
1
, . . . , x
k
) R
k
: x
i
a} = {x = (x
1
, . . . , x
k
) : x < a}
c
son cerrados en R
k
.
Ademas, dados a = (a
1
, . . . , a
k
); b = (b
1
, . . . , b
k
) R
k
, el conjunto
{x = (x
1
, . . . , x
k
) R
k
: a
i
< x
i
< b
i
}
es abierto por ser la interseccion de 2k conjuntos abiertos. A este tipo de conjuntos se les denomina
intervalos abiertos en R
k
. Analogamente, llamamos intervalos cerrados en R
k
a los conjuntos de la forma
{x = (x
1
, . . . , x
k
) R
k
: a
i
x
i
b
i
}
por ser la interseccion de 2k conjuntos cerrados en R
k
.
Denicion. (Apostol, Denicion 3.16). Sea (E, d) un espacio metrico y S E. Decimos que x es un punto de
acumulacion de S (o punto lmite de S) si para todo r > 0 la bola abierta B(x, r) contiene al menos un punto
de S diferente de x. Al conjunto de todos los puntos de acumulacion de S lo denotaremos S
0
.
Ejemplos
1. El conjunto {1/n : n N} tiene a cero como unico punto de acumulacion.
2. Para Q, todo x R es punto de acumulacion.
3. Para a, b R con a < b todo x [a, b] es punto de acumulacion de (a, b).
Teorema 9. (Apostol, Teorema 3.17). Sea (E, d) un espacio metrico y S E. Si x es un punto de acumulacion
de S entonces para todo r > 0, B(x, r) tiene innitos puntos de S.
Prueba. Sea x un punto de acumulacion de S. Razonando por el absurdo supongamos que existe r tal que
B(x, r) tiene un n umero nito de puntos de S a
1
, . . . , a
n
, n N. Sea r
0
:= min{d(x, a
i
) : i = 1, . . . , n}. Entonces
B(x, r) = {x}. Lo cual es absurdo ya que x es punto de acumulacion de S.
Del anterior resultado se sigue que un conjunto nito no tiene puntos de acumulacion.
Denicion. (Apostol, Denicion 3.19). Denimos clausura de un conjunto S y la denotamos S a la union
S := S S
0
, donde S
0
es el conjunto de los puntos de acumulacion de S.
Teorema 10. (Apostol, Teorema 3.22). Sea (E, d) un espacio metrico. S E es cerrado en E si y s olo si S
contiene todos sus puntos de acumulacion.
Prueba. Supongamos que S E es cerrado en E. Sea x un punto de acumulacion de S. Razonando por el
absurdo supongamos que x / S. Entonces x S
c
donde S
c
es abierto en E. Por lo tanto existe r > 0 tal que
B(x, r) S
c
lo cual es absurdo ya que B(x, r) contiene innitos puntos de S. Se sigue que S contiene todos
sus puntos de acumulacion.
Supongamos ahora que S contiene todos sus puntos de acumulacion. Sea x S
c
entonces x no es punto de
acumulacion de S. Razonando por el absurdo supongamos que para todo r > 0 existe y B(x, r) tal que
y S. Entonces x es punto de acumulacion de S, lo cual es una contradiccion. Se sigue que existe r > 0 tal
que B(x, r) S
c
. Luego S
c
es abierto y S es cerrado.
24
3.3 El Teorema de Bolzano-Weierstrass
(Apostol, Seccion 3.8)
Denicion. (Apostol, Denicion 3.23). Sea (E, d) un espacio metrico. Sea S E. Decimos que S es acotado
si existen a E y r > 0 tales que la bola (abierta o cerrada) con centro en a y radio r contiene a S.
Claramente, en R un conjunto es acotado si y solo si es acotado superior e inferiormente.
Teorema 11. (Bolzano-Weierstrass). (Apostol, Teorema 3.24). Consideremos el espacio metrico (R
k
, d) donde
d es la metrica eucldea. Si S R
k
es un conjunto innito y acotado entonces existe por lo menos un punto en
R
k
que es punto de acumulacion de S.
Prueba. Como S es acotado existe a > 0 tal que S B(0, a) J
1
donde
J
1
:={x = (x
1
, . . . , x
k
) R
k
: a x
j
a, j = 1, . . . , k}
=(a, a) (a, a)
I
(1)
1
I
(1)
n
.
Realicemos una biseccion de cada I
(1)
j
para obtener dos intervalos I
(1)
j,A
, I
(1)
j,B
para j = 1, . . . , k. Obtenemos as 2
k
intervalos cerrados en R
k
y alguno de ellos debe contener innitos puntos de S. Denotemos J
2
:= I
(2)
1
I
(2)
k
a uno de estos intervalos que tiene innitos puntos de S. Procedemos con J
2
como se hizo con J
1
para obtener
J
3
, el cual contiene innitos puntos de S.
Si continuamos con este procedimiento obtenemos una coleccion contable de intervalos en R
k
, {J
1
, J
2
, J
3
, . . . }
donde cada J
i
, i N, contiene innitos puntos de S, y puede ser expresado de la forma J
i
= I
(i)
1
I
(i)
k
donde I
(i)
j
= [a
(i)
j
, b
(i)
j
].
Puede observarse que
b
(i)
j
a
(i)
j
=
a
2
i2
.
Ademas, para cada j {1, . . . , k} debe cumplirse que sup
iN
{a
(i)
j
} = inf
iN
{b
(i)
j
}.
Denamos t
j
:= sup
iN
{a
(i)
j
}. Luego t := (t
1
, . . . , t
k
) es un punto de acumulacion de S. En efecto, sea r > 0; como
t
T
iN
J
i
entonces tomando i
0
sucientemente grande de tal forma que
a
2
i
0
2
<
r
2
, obtenemos que J
i
0
B(t, r)
y como J
i
0
contiene innitos puntos de S entonces t es punto de acumulacion de S.
25
3.4 Teorema de Intersecci on de Cantor
(Apostol, Seccion 3.9)
Teorema 12. (Interseccion de Cantor). (Apostol, Teorema 3.25). Sea {Q
1
, Q
2
, . . . } una coleccion contable de
conjuntos no vacos en R
n
, para n N, tales que
1. Q
k+1
Q
k
, para k = 1, 2, 3, . . .
2. Todo Q
k
es cerrado y Q
1
es acotado.
Entonces la interseccion

T
k=1
Q
k
es un conjunto cerrado y no vaco.
Prueba. Sabemos que

T
k=1
Q
k
es cerrado pues la interseccion de conjuntos cerrados es un conjunto cerrado.
Debemos probar entonces que existe x

T
k=1
Q
k
.
Si alguno de los Q
k
es un conjunto nito la prueba es trivial. Supongamos entonces que Q
k
es innito para
todo K N.
Sea A := {x
1
, x
2
, . . . } donde x
k
Q
k
para cada k N y x
i
6= x
j
para todo i, j N tales que i 6= j. Como
A Q
1
, A es innito y Q
1
es acotado entonces por el teorema de Bolzano-Weierstrass existe x R
k
tal que x
es punto de acumulacion de A. Probemos que x

T
k=1
Q
k
. Sea i N arbitrario y sea r > 0. Como x es punto
de acumulacion de A entonces B(x, r) {x} tiene innitos puntos de A, luego existe m N, m > l tal que
x
m
B(x, r) {x} y como x
m
Q
m
Q
l
entonces podemos concluir que x es punto de acumulacion de Q
l
y como Q
l
es cerrado entonces x Q
l
. Ahora, como l fue elegido arbitrariamente entonces x

T
k=1
Q
k
. Luego

T
k=1
Q
k
es no vaco.
3.5 Teorema de Cubrimiento de Lindelof
(Apostol, Seccion 3.10)
Denicion. (Apostol, Denicion 3.26). Una coleccion F de conjuntos se dice un cubrimiento de un conjunto
dado S si S
S
AF
A. Ademas, si F es una coleccion de conjuntos abiertos entonces diremos que F es un
cubrimiento abierto de S.
Ejemplos
1. Para n N, n 2 sea F
n
:= {x R : 1/n < x < 2/n}. La coleccion {f
n
}

n=2
es un cubrimiento abierto
del intervalo (0, 1).
2. La coleccion de todos los intervalos de la forma (a, b) con a, b R es un cubrimiento abierto de R el cual
es no contable. Esta coleccion contiene la coleccion {F
n
}
nZ
donde F
n
:= {x R : n < x < 2n} para
n Z, la cual es un cubrimiento contable de R.
3. Sea S := {(x, y) R
2
: x > 0, y > 0}. La coleccion de bolas abiertas con centro en (x, x) y radio x, donde
x > 0 es un cubrimiento abierto de S, el cual es no contable.
26
Teorema 13. (Apostol, Teorema 3.27). Sea G := {A
1
, A
2
, . . . } la coleccion contable de bolas en R
n
(n N)
con radio un n umero racional y centro en puntos con coordenadas racionales. Supongamos que x R
n
y sea S
un conjunto abierto en R
n
el cual contiene a x. Entonces existe k N tal que x A
k
S.
Prueba. Sean x := (x
1
, . . . , x
n
) R
n
y S un abierto de R
n
tal que x S. Como S es abierto, existe r > 0
tal que B(x, r) S. Para cada k {1, . . . , n} denamos y
k
Q tal que |y
k
x
k
| <
r
4n
. Entonces si denimos
y := (y
1
, . . . , y
n
) tenemos que
ky xk |y
1
x
1
| + + |y
n
x
n
| <
r
4n
+ +
r
4n
=
nr
4n
=
r
4
.
Sea q Q tal que
r
4
< q <
r
2
. Entonces x B(y, q) y ademas B(y, q) B(x, r) S. Por lo tanto
x B(y, q) S. Donde B(y, q) = A
k
para alg un k N.
Teorema 14. (Cubrimiento de Lindelof ). (Apostol, Teorema 3.28). Sean A R
n
y F un cubrimiento abierto
de A. Entonces existe una subcoleccion a lo sumo contable de F la cual cubre a A.
Prueba. Sea G := {A
1
, A
2
, . . . } la colecci on contable de todas las bolas abiertas que tienen por centro un
punto de R
n
con coordenadas racionales y radio un n umero racional.
Supongamos que x A. Entonces existe un conjunto abierto S F tal que x S. Por el teorema anterior,
existe k N, tal que x A
k
S. Realizando este procedimiento con todos los elementos de A obtenemos una
subcoleccion de G (obviamente contable) que cubre al conjunto A. Si por cada bola B(q, r) de tal subcoleccion
elegimos un conjunto S F tal que B(q, r) S entonces logramos obtener una subcoleccion de F contable que
cubre a A.
3.6 Teorema de Cubrimiento de Heine-Borel
(Apostol, Seccion 3.11)
Teorema 15. (Heine-Borel). (Apostol, Teorema 3.29). Sea F un cubrimiento abierto de un conjunto cerrado
y acotado A R
n
(n N). Entonces existe una subcoleccion nita de F que tambien cubre a A.
Prueba. Por el Teorema de Lindelof existe una subcoleccion {I
1
, I
2
, . . . } a lo sumo contable de F que cubre
a A. Dado m N denamos el abierto S
m
:=

S
I
k
k=1
. Mostremos que existe j N tal que A S
j
. Con esto
{I
1
, . . . , I
j
} sera una subcoleccion nita de F que cubre a A.
Denamos, para m N, Q
m
:= A S
c
m
. Claramente para todo m N, Q
m
es cerrado por ser interseccion de
tres conjuntos cerrados, y acotado puesto que A es acotado. Ademas se cumple que Q
m+1
Q
m
para todo
m N. Razonando por el absurdo supongamos que para todo m N existe y A tal que y / S
m
. Entonces
Q
m
6= para todo m N. Aplicando el teorema de interseccion de Cantor se sigue que
T
mN
Q
m
6= , es decir,
existe z R
n
tal que z Q
m
para todo m N. Tal z es un elemento que esta en A y no est a en ning un S
m
.
Esto es absurdo ya que A

S
m=1
S
m
.
27
3.7 Compacidad
(Apostol, Seccion 3.12)
Denicion. Sea (E, d) un espacio metrico. Decimos que S E es un conjunto compacto si y solo si todo
cubrimiento abierto de S contiene un cubrimiento nito de S.
De la denicion es claro que cualquier conjunto nito en un espacio metrico es compacto. Tambien es facil
dar un ejemplo de un conjunto que no sea compacto, por ejemplo (0, 1) no es compacto en R con la metrica
eucldea, ya que {(
1
n
, 1)}
nN
es un cubrimiento abierto para el cual ninguna subcoleccion nita cubre a (0, 1).
Diremos que un espacio metrico (E, d) es compacto si E es compacto.
Teorema 16. . (Apostol, Teorema 3.31). Consideremos el espacio metrico (R
n
, d) (n N). Sea S R
n
.
Entonces las siguientes armaciones son equivalentes.
(a) S es compacto.
(b) S es cerrado y acotado.
(c) Todo subconjunto innito de S tiene un punto de acumulacion en S.
Prueba. (b) (a): Es exactamente el Teorema de Heine-Borel.
(a) (b): Sea S R
n
compacto. Sea F :=
S
xS
B(x, 1). Claramente S F. Es decir, F es cubrimiento
abierto de S. Como S es compacto entonces existe una subcoleccion nita de S que tambien cubre a S. Este
cubrimiento es acotado por ser union nita de bolas, las cuales son acotadas, luego S es acotado.
Probemos ahora que S es cerrado. Razonando por el absurdo supongamos que S no es cerrado, entonces existe
y R
n
tal que y es punto de acumulacion de S y tal que y / S. Sea r
x
:=
kx yk
2
> 0 para x S.
Claramente {B(x, r
x
) : x S} es un cubrimiento abierto de S. Como S es compacto entonces existe una
subcoleccion nita F de estas bolas. F tiene entonces la siguiente forma: F = {B(x
i
, r
i
) : i = 1, . . . , k} (k N).
Sea r := min{r
i
: i = 1, . . . , k} y z B(y, r) tal que z 6= y. Consideremos una bola aribitraria B(x
j
, r
j
) de la
subcoleccion. Entonces
kx
i
zk = kx
i
y +y zk = k(x
i
y) (z y)k kx
i
yk kz yk = 2r
i
kz yk.
Pero como kz yk < r entonces kz yk > r y as
kx
i
zk >2r
i
r 2r r = r
kx
i
zk >r.
Hemos probado entonces que z / B(x
i
, r) y como z y B(x
i
, r) son arbitrarios y {B(x
i
, r)}
k
i=1
es un cubrimiento
de S concluimos que B(y, r) S = , lo cual es absurdo ya que y es punto de acumulacion de S. Por lo tanto
S es cerrado.
28
(b) (c): Supongamos que S es cerrado y acotado. Sea A un subconjunto innito de S, entonces A tambien
es acotado. Por el Teorema de Bolzano-Weierstrass A tiene un punto de acumulacion y R
n
. Como A S
entonces y es punto de acumulacion de S. Ademas, como S es cerrado entonces y S.
(c) (b): Supongamos que todo subconjunto innito de S tiene un punto de acumulacion en S.
En primer lugar probemos que S es acotado. Razonando por el absurdo supongamos que S no es acotado,
entonces para cada m N existe x
m
S tal que kx
m
k > m. Sea T := {x
1
, x
2
, . . . } S. Entonces T tiene un
punto de acumulacion y S. Sea k N tal que k > 1 +kyk. Como y es punto de acumulacion de T entonces
cualquier bola abierta centrada en y contiene innitos puntos de T

:= {x
k+1
, x
k+2
, . . . }. Sin embargo, si i N
es tal que i > k entonces
kx
i
yk kx
i
k ky
i
k > i kyk > k kyk > 1.
Luego B(y, 1) T

= lo cual es absurdo. Concluimos que S es acotado.

En segundo lugar probemos que S es cerrado. Sea x R
n
un punto de acumulacion de S. Para k N sea
x
k
B(x,
1
k
) de tal forma que x
i
6= x
j
para todo i 6= j (i, j N) (esto es posible puesto que toda bola
abierta centrada en x contiene innitos puntos de S). De esta forma, x tambien es punto de acumulacion
de T := {x
1
, x
2
, x
3
, . . . }. Como T S es un conjunto innito entonces T tiene por lo menos un punto de
acumulacion en S. Veamos que x es en realidad el unico punto de acumulacion de T. Sea y R
n
tal que y 6= x.
Para cada k N
ky xk = ky x
k
+x
k
xk
ky x
k
k +kx
k
xk
ky x
k
k +
1
k
.
Sabemos que existe k
0
N tal que
1
k
<
1
2
ky xk para todo k > k
0
, luego
ky xk < ky x
k
k +
1
2
ky xk
ky x
k
k >
1
2
ky xk.
Es decir, todas las bolas centradas en y cuyo radio sea menor que
1
k
0
no tienen puntos de T. Con esto, y no es
punto de acumulacion de T y entonces x es el unico punto de acumulacion de T el cual esta en S. Concluimos
que S es cerrado.
Observaciones
En general, en cualquier espacio metrico, no es cierto que un conjunto cerrado y acotado sea compacto.
Por ejemplo, en (Q, d) donde d es la metrica eucldea, dados a, b I con a < b, el conjunto A := (a, b) Q,
es decir, el conjunto de todos los racionales contenidos en (a, b), es un conjunto que no es compacto.
Todo intervalo cerrado en R
n
es compacto.
29
3.8 Teorema de Bolzano-Weierstrass en Espacios Metricos Compactos
Teorema 17. (Apostol, Teorema 3.38ii). Todo subconjunto innito de un espacio metrico compacto tiene al
menos un punto de acumulacion.
Prueba. Sean (E, d) un espacio metrico y A E innito. Razonando por el absurdo supongamos que A no
tiene puntos de acumulacion en E. Entonces dado x E arbitrario existe r
x
> 0 tal que B(x, r
x
) A contiene
a lo sumo un punto de A (el centro). Como {B(x, r
x
) : x E} es un cubrimiento abierto de E y E es compacto
entonces existen x
1
, x
2
, . . . , x
k
E tales que
k
S
i=1
B(x
i
, r
x
i
) = E. Pero A = A
k
S
i=1
[B(x
i
, r
x
i
) A] el cual es un
conjunto que tiene a lo sumo k elementos. Esto es absurdo ya que A es innito. Conlcuimos que A tiene al
menos un punto de acumulacion en E.
Teorema 18. (Apostol, Teorema 3.38). Sea (E, d) un espacio metrico y sea S E un conjunto compacto
entonces
1. S es cerrado y acotado.
2. Todo subconjunto innito de S tiene un punto de acumulacion en S.
Prueba.
1. Es la misma prueba que en R
n
.
2. Se sigue del teorema de Bolzano-Weierstrass en espacios metricos compactos.
Teorema 19. (Apostol, Teorema 3.39). Sea (E, d) un espacio metrico compacto y S E un conjunto cerrado.
entonces S es compacto.
Prueba. Sea F un cubrimiento abierto de S. Entonces S
S
AF
A. Mostremos que un n umero nito de
conjuntos de la coleccion F cubren a S. Como S es cerrado entonces S
c
es abierto y F S
c
es un cubrimiento
abierto de E y como E es compacto entonces existe un subcubrimiento nito, para el cual podemos suponer
que S
c
es un abierto de tal subcubrimiento. De esta forma
E = A
1
A
2
A
k
S
c
.
Este cubrimiento tambien cubre a S y como S
c
no tiene puntos de S entonces S
k
S
i=1
A
i
. Luego S es compacto.
Teorema 20. (De la Interseccion de Cantor en Espacios Metricos Compactos). (Rosenlicht, Seccion III.5). Sea
{S
n
} una sucesion de subconjuntos cerrados no vacos de un espacio metrico compacto (E, d) tal que S
n+1
S
n
para todo n N. Entonces

T
n=1
S
n
6= .
Prueba. Razonando por el absurdo supongamos que

T
n=1
S
n
= . Se tiene entonces que (

T
n=1
S
n
)
c
= E y con
eso

S
n=1
(S
n
)
c
= E. Es decir {(S
n
)
c
} es un cubrimiento abierto de E y como E es compacto entonces existe un
subcubrimiento nito {(S
n
j
)
c
}
k
j=1
de E.
Como S
n
k
S
n
k1
S
n
2
S
n
1
entonces (S
n
1
)
c
(S
n
2
)
c
(S
n
k
)
c
. Luego E (S
n
k
)
c
y as
S
n
k
. Esto es absurdo ya que S
n
6= para todo n N. Concluimos que

T
n=1
S
n
6= .
30
Captulo 4
Lmites y Continuidad
En el presente captulo estudiaremos los conceptos de sucesion, lmites de funciones con valor real y vectorial,
funciones continuas, conexidad, continuidad uniforme y algunas propiedades importantes.
4.1 Sucesiones Convergentes
(Rosenlicht, Seccion III.3)
Denicion. Sea {p
n
} una sucesion de puntos en un espacio metrico (E, d). Decimos que la sucesion converge
si existe un punto p en E con la siguiente propiedad:
Para todo > 0 existe un n umero natural N tal que d(p
n
, p) < para todo n N.
(Tambien decimos que {p
n
} converge a p y escribimos p
n
p cuando n o simplemente p
n
p).
Si no existe tal p en E decimos que {p
n
} diverge.
De la denicion de convergencia se sigue que
p
n
p d(p
n
, p) 0,
donde la convergencia de {d(p
n
, p)} ocurre en (R, d) siendo d la metrica eucldea.
Observaciones
Una sucesion puede ser convergente en un espacio metrico (E, d) pero divergente en un subespacio de
(E, d). Por ejemplo, en (R, d), donde d es la metrica eucldea, la sucesion
x
1
= 3, x
2
= 3.1, x
3
= 3.14, x
4
= 3.141, x
5
= 3.1415, x
6
= 3.14159, . . .
es una sucesion convergente y su lmite es . Sin embargo, en (Q, d) esta sucesion es divergente.
En una sucesion convergente, no necesariamente, a medida que n crece, los puntos se acercan mas y mas
al lmite. Por ejemplo, en (R, d), donde d es la metrica eucldea, la sucesion
1,
1
3
,
1
2
,
1
5
,
1
4
,
1
7
,
1
6
,
1
9
,
1
8
, . . .
converge a cero; sin embargo, los puntos se acercan y se alejan del cero a medida que n crece.
En una sucesion todos los puntos podran ser iguales al lmite.
31
Teorema 1. (Rosenlicht, Seccion III.3). El lmite de una sucesion convergente es unico.
Prueba. Sea (E, d) un espacio metrico y {p
n
} una sucesion convergente en (E, d). Supongamos que existen
p, q E, p 6= q, tales que p
n
p y p
n
q. Entonces para todo > 0 existen N, N
0
N tales que si
M := max{N, N
0
} y n M entonces d(p
n
, p) < y d(p
n
, q) < . Por la desigualdad triangular
d(p, q) d(p, p
n
) +d(p
n
, q) < + = 2.
Tomemos :=
d(p, q)
4
> 0. Entonces existe M N tal que para todo n N
d(p, q) < 2
d(p, q)
4
=
d(p, q)
2
,
lo cual es absurdo. Concluimos que p = q.
De esta forma, si una sucesion es convergente, tiene sentido hablar de el lmite de la sucesion, al cual
denotaremos lim
n
p
n
.
Denicion. Sea {a
n
} una sucesion en un espacio metrico. Si n
1
, n
2
, n
3
, . . . es una sucesion de n umeros naturales
estrictamente creciente (n
1
< n
2
< n
3
< ) entonces la sucesion a
n
1
, a
n
2
, a
n
3
, . . . es llamada una subsucesion
de {a
n
} y la denotamos {a
n
k
}.
Teorema 2. (Rosenlicht, Secci on III.3). Toda subsucesion de una sucesion convergente, en un espacio metrico,
converge al mismo lmite.
Prueba. Sea (E, d) un espacio metrico y {p
n
} una sucesion convergente en (E, d) con p := lim
n
p
n
. Dado
> 0 existe N N tal que para todo m N, d(p, p
m
) < . Consideremos una subsucesion {p
n
k
} arbitraria.
Observemos que k n
k
para todo k N, luego si k N entonces n
k
N y con eso d(p, p
n
k
) < . Por lo tanto
p
n
k
p.
Denicion. Decimos que una sucesion {p
n
} es acotada en un espacio metrico (E, d) si el conjunto {p
1
, p
2
, . . . }
es acotado en (E, d).
Teorema 3. (Apostol, Teorema 4.3 a). Sea (E, d) un espacio metrico y {p
n
} una sucesion convergente en
(E, d) entonces {p
n
} es acotada.
Prueba. Sea p := lim
n
p
n
. Para = 1 existe N N tal que para todo n N, d(p
n
, p) < 1. Sea r :=
max{d(p, p
1
), d(p, p
2
), . . . , d(p, p
N
), 1}. Entonces {p
n
} B(p, r).
Teorema 4. (Rosenlicht, Seccion III.3). Sea S un subconjunto de un espacio metrico (E, d). Entonces, S es
cerrado si y solo si para toda sucesion {p
n
} en S que es convergente en E se tiene que lim
n
p
n
S.
Prueba. Supongamos que S es cerrado y que {p
n
} es una sucesion en S tal que lim
n
p
n
= p E. Razonando
por el absurdo supongamos que p / S entonces p S
c
. Como S
c
es abierto existe > 0 tal que B(p, ) S
c
.
Pero, para tal existe N N tal que si n N, d(p, p
n
) < , es decir, p
n
B(p, ) S
c
para todo n N. Lo
cual es absurdo. Concluimos que p S.
Supongamos ahora que toda sucesion {p
n
} en S convergente en E es tal que p := lim
n
p
n
S y razonando
por el absurdo supongamos que S no es cerrado. Entonces S
c
no es abierto. Sea p S
c
. Para p
k
B(p,
1
k
)
tal que p
k
/ S
c
(p
k
S). Observemos que {p
k
} es una sucesion en S tal que lim
n
p
k
= p / S lo cual es una
contradiccion. Por lo tanto S es cerrado.
Como el espacio metrico (R, d), donde d es la metrica eucldea, tiene algunas propiedades especiales que no
tienen otros espacios metricos (sus elementos pueden ser sumados, restados y ademas estan ordenados), veremos
algunas propiedades relevantes de las sucesiones de n umeros reales.
32
Teorema 5. (Rosenlicht, Seccion III.3). Si {a
n
} y {b
n
} son sucesiones convergentes en (R, d), donde d es la
metrica eucldea y a
n
a, b
n
b, entonces lim
n
(a
n
+b
n
) = a +b, lim
n
(a
n
b
n
) = a b, lim
n
(a
n
b
n
) = ab y
si b 6= 0 para todo n N entonces lim
n
a
n
b
n
=
a
b
.
Prueba.
Sea > 0. Para

2
existe N
1
N tal que si b N
1
entonces |a a
n
| <

2
. Ademas, existe N
2
N tal que
si n N
2
entonces |b b
n
| <

2
. Denamos N := max{N
1
, N
2
}. Entonces para todo n N se tiene que
|(a +b) (a
n
+b
n
)| = |(a a
n
) + (b b
n
)| |a a
n
| + |b b
n
| <

2
+

2
= .
Luego a
n
+b
n
a +b.
Como {a
n
} y {b
n
} son convergentes entonces son acotadas. Por lo tanto existe M > 0 tal que |a
n
| < M
y |b
n
| < M para todo n N. Es decir, a
n
, b
n
B(0, M) B(0, M) y como B(0, M) es cerrada entonces
a, b B(0, M) y con eso |a| M y |b| M.
Sea > 0. Para

2M
existe N N tal que si n N entonces |a a
n
| <

2M
y |b b
n
| <

2M
. Luego, si
n N tenemos que
|ab a
n
b
n
| = |ab ab
n
+ab
n
a
n
b
n
| = |a(b b
n
) +b
n
(a a
n
)|
|a||b b
n
| + |b
n
||a a
n
| < M

2M
+M

2M
= .
Por lo tanto a
n
b
n
ab.
Observemos que la sucesion 1, 1, 1, . . . converge a 1. Entonces del resultado anterior se sigue que
lim
n
(b
n
) = b. Por lo tanto
lim
n
(a
n
b
n
) = lim
n
(a
n
+ (b
n
)) = a + (b) = a b.
Sea > 0. Para min

|b|
2
,
|b|
2

existe n N tal que si n N entonces |b b

n
| < min

|b|
2
,
|b|
2

. De
esta forma, si n N, tenemos que
|b
n
| = |b (b b
n
)| |b| |b b
n
| > |b|
|b|
2
=
|b|
2
,
y con eso
|
1
b

1
b
n
| = |
b
n
b
bb
n
| <
|b|
2

2
|b|
|b|
2
= .
Por lo tanto
1
b
n

1
b
. As, lim
n
a
n
b
n
= lim
n
a
n
1
b
n
= a
1
b
=
a
b
.
Teorema 6. (Rosenlicht, Secci on III.3). Si {a
n
} y {b
n
} son sucesiones convergentes de n umeros reales tales
que a
n
a y b
n
b y ademas a
n
b
n
para todo n N entonces a b.
Prueba. Observemos que b a = lim
n
b
n
lim
n
a
n
= lim
n
(b
n
a
n
). tenemos entonces la sucesion {a
n
b
n
}
en S := {x R : x 0} convergente en R. Como S es cerrado en R entonces lim
n
(b
n
a
n
) = b a S. Es
decir, b a 0 y con eso a b.
Denicion. Una sucesion de n umeros reales {a
n
} es creciente si a
1
a
2
a
3
a
4
y es decreciente si
a
1
a
2
a
3
a
4

Decimos que una sucesion de n umeros reales es monotona si es creciente o decreciente.
33
Teorema 7. (Rosenlicht, Seccion III.3). Toda sucesion monotona, acotada, de n umeros reales es convergente.
Prueba. Sea {a
n
} una sucesion monotona, acotada, de n umeros reales. Sin perdida de generalidad supongamos
que {a
n
} es creciente. Como T := {a
1
, a
2
, . . . } es un conjunto acotado superiormente entonces existe a R
tal que a = sup T. Probaremos que a
n
a. Sea > 0, entonces existe N N tal que a < a
N
. Ademas,
como la sucesion es creciente, se tiene que a
n
a
N
para todo n N, luego a < a
N
a
n
y como a es cota
superior de T entonces a
n
a para todo n N. De esta forma a < a
n
a < a + para todo n N. Es
decir, |a
n
a| < . Por lo tanto a
n
a.
Ejemplo. Pruebe que si a R, |a| < 1 entonces lim
n
a
n
= 0.
Prueba. Supongamos que a 0. Observemos que {a
n
} es decreciente ya que a
n
a
n+1
= a
n
(1 a) 0 para
todo n N. Ademas a
n
0 para todo n N. Luego {a
n
} es acotada. Por la proposicion anterior existe x 0
tal que x = lim
n
a
n
. Entonces
ax = a lim
n
a
n
= lim
n
a
n+1
= lim
n
a
n
= x.
Es decir, ax = x con lo cual (a 1)x = 0 y x = 0.
Para el caso a < 0 observemos que dado > 0 existe N N tal que si n N entonces |(a)
n
0| < , lo cual
es equivalente a | a|
n
< y tambien a |a|
n
< y a |a
n
0| < . Luego a
n
0.
4.2 Espacios Metricos Completos
(Rosenlicht, Seccion III.4)
Denicion. Una sucesion {p
n
} en un espacio metrico es una sucesion de Cauchy si, dado > 0, existe N N
tal que d(p
n
, p
m
) < para todo m, n > N.
Teorema 8. (Rosenlicht, Seccion III.4). Toda sucesion convergente en un espacio metrico es de Cauchy.
Prueba. Sea {a
n
} una sucesion en un espacio metrico (E, d) tal que a
n
a E. Sea > 0 entonces existe
N N tal que d(a
n
, a) <

2
para todo n > N. Por lo tanto, si n, m > N tenemos que
d(a
n
, a
m
) d(a
n
, a) +d(a
m
, a) < .
Observacion. El recproco de este teorema no es, en general, cierto. Por ejemplo {a
n
} donde a
n
:=
1
n
para
cada n N, en R {0} es Cauchy pero no es convergente en R {0}.
Teorema 9. (Rosenlicht, Seccion III.4). Toda subsucesi on de una sucesi on de Cauchy tambien es de Cauchy.
Prueba. Se usa el mismo argumento que se uso en la prueba de que toda subsucesion convergente es convergente.
Teorema 10. (Rosenlicht, Seccion III.4). Toda sucesi on de Cauchy es acotada.
Prueba. Sea {a
n
} una sucesion de Cauchy en un espacio metrico (E, d). Sea = 1, entonces existe N N tal
que para todo m, n > N se tiene que d(a
m
, a
n
) < 1. Sea entonces n > N jo y sea
T := max{d(a
n
, a
1
), d(a
n
, a
2
), . . . , d(a
n
, a
N
), 1}.
Entonces todos los elementos de la sucesion estan en la bola B(a
n
, T) luego {a
n
} es acotada.
Teorema 11. (Rosenlicht, Seccion III.4). Toda sucesion de Cauchy que tiene una subsucesion convergente es
a su vez convergente.
34
Prueba. Sea {a
n
} una sucesion de Cauchy en un espacio metrico (E, d) tal que la subsucesion {a
n
k
} es
convergente, donde a E es el lmite (a
n
k
a). Sea > 0, entonces existe N N tal que para todo m, n > N,
d(a
n
, a
m
) <

2
. Como a
n
k
a entonces existe a
n
con n > N tal que a
n
{a
n
k
} y tal que d(a
n
, a) <

2
. De esta
forma, dado n > N, tenemos que
d(a
n
, a) d(a
n
, a
n
) +d(a
n
, a) < .
Denicion. Un espacio metrico (E, d) es completo si toda sucesion de Cauchy de puntos en (E, d) converge a
un punto de E.
Teorema 12. (Rosenlicht, Seccion III.4). Un subconjunto cerrado de un espacio metrico completo es un espacio
metrico completo.
Prueba. Sea (E, d) un espacio metrico completo. Sea A E un conjunto cerrado. Sea {a
n
} una sucesion de
Cauchy en A. Luego, {a
n
} es Cauchy en E. Por lo tanto existe a E tal que a
n
a y como A es cerrado en
E entonces a A. Luego (A, d) es completo.
Teorema 13. (Rosenlicht, Seccion III.4). R
n
es completo para todo n N.
Prueba. Sea {a
n
} una sucesion de Cauchy en R
n
. Entonces {a
n
} es acotada. Si T := {a
1
, a
2
, . . . } es un
conjunto nito entonces alguno de los puntos de la sucesion se debe repetir innitas veces y como la sucesion
es de Cauchy tal punto es el lmite de la sucesion el cual esta en R
n
.
Supongamos entonces que T es innito. Entonces, por el teorema de Bolzano-Weierstrass existe a R
n
tal que
a es punto de acumulacion de T. Probemos que a
n
a. Sea > 0. Como {a
n
} es de Cauchy entonces existe
N N tal que si m, n N entonces ka
m
a
n
k <

2
. Como a es punto de acumulacion de T existe n N tal
que ka
n
ak <

2
. De esta forma si n N se tiene que ka
n
ak ka
n
a
a
k +ka
n
ak <

2
+

2
= . Luego
a
n
a.
Teorema 14. (Rosenlicht, Seccion III.5). Un espacio metrico compacto es completo.
Prueba. La prueba es analoga a la prueba del teorema anterior empleando el Teorema de Bolzano-Weierstrass
en espacios metricos compactos.
4.3 Lmite de una Funci on
(Apostol, Seccion 4.5)
En esta seccion consideraremos dos espacios metricos (S, d
S
) y (T, d
T
) y para A S una funcion f : A T.
Denicion. Si p es un punto de acumulacion de A y b T, escribimos lim
xp
f(x) = b, o tambien f(x) b, si
para todo > 0 existe > 0 tal que d
T
(f(x), b) < cuando x A, x 6= p y d
S
(x, p) < .
Esta denicion tambien puede formularse en terminos de bolas, de la siguiente forma: lim
xp
f(x) = b si y solo si
para toda bola abierta centrada en b, B
T
(b), existe una bola abierta centrada en p, B
S
(p), tal que B
S
(p) A
no es vaco y tal que f(x) B
T
(b) cuando x B
S
(p) A, x 6= p.
Teorema 15. (Apostol, Teorema 4.12). Sea p un punto de acumulacion de A y sea b T. Entonces lim
xp
f(x) = b
si y s olo si lim
n
f(x
n
) = b para toda sucesion {x
n
} de puntos en A{p} que converge a p.
Prueba. Supongamos que lim
xp
f(x) = b. Sea {x
n
} una sucesion en A {p} tal que x
n
p. Sea > 0. Como
lim
xp
f(x) = b entonces existe > 0 tal que si x A {p} es tal que d
S
(x, p) < entonces d
T
(f(x), b) < .
Ahora, como x
n
p entonces para tal existe N N tal que si n N se tiene que d
S
(x
n
, p) < . Por lo tanto
35
d
T
(f(x
n
), b) < . Con esto, lim
n
f(x
n
) = b.
Supongamos ahora que toda sucesion {x
n
} en A{p} es tal que x
n
p. Razonando por el absurdo supongamos
que lim
xp
f(x) 6= b. Entonces existe > 0 tal que para todo > 0 existe x A {p} tal que d
S
(x, p) < y
d
T
(f(x), b) . De esta forma si n N entonces tomando =
1
n
existe x
n
A {p} tal que d
S
(x
n
, p) < y
d
T
(f(x
n
), b) con lo cual {f(x
n
)} no converge a b lo cual es absurdo. Por lo tanto lim
xp
f(x) = p.
Observaciones
Del anterior resultado y la unicidad del lmite de sucesiones se sigue que el lmite de una funcion es unico.
Del anterior resultado y del resultado conocido para el lmite de una suma, resta o producto de sucesiones
se sigue que si lim
xp
f(x) = a y lim
xp
g(x) = b entonces lim
xp
[f(x) g(x)] = a b y lim
xp
[f(x)g(x)] = ab.
Si adicionalmente b 6= 0, del resultado conocido para el lmite del cociente de sucesiones, se sigue que
lim
xp
f(x)
g(x)
=
a
b
. (Para esto debemos tener presente que si lim
xp
g(x) 6= 0 entonces existe
0
> 0 tal que si
x B(p,
0
) A, x 6= p, entonces g(x) 6= 0).
4.4 Lmite de Funciones Vectoriales
(Apostol, Seccion 4.7)
Teorema 16. (Apostol, Teorema 4.14). Sean f : A R
k
y g : A R
k
para k N. Sea p un punto de
acumulacion de A y supongamos que lim
xp
f(x) = a R
k
y lim
xp
g(x) = b R
k
. Entonces
1. lim
xp
[f(x) +g(x)] = a +b.
2. lim
xp
f(x) = a para todo R.
3. lim
xp
[f(x) g(x)] = a b.
4. lim
xp
kf(x)k = kak.
Prueba.
1. Sea > 0. Existe > 0 tal que si x A {p} es tal que d(x, p) < entonces kf(x) ak <

2
y
kg(x) bk <

2
. De esta forma si x A{p} es tal que d(x, p) < entonces
kf(x) +g(x) (a +b)k = kf(x) a +g(x) bk kf(x) ak +kg(x) bk < .
Luego lim
xp
[f(x) +g(x)] = a +b.
2. Sea > 0. Existe > 0 tal que si x A {p} es tal que d(x, p) < entonces kf(x) ak <

||
. Por lo
tanto si x A{p} es tal que d(x, p) < se tiene que
kf(x) ak = k(f(x) a)k = ||kf(x) ak ||

||
= .
Por lo tanto lim
xp
f(x) = a.
36
3. Como f : A R
k
y g : A R
k
entonces para x A, f(x) = (f
1
(x), . . . , f
k
(x)) y g(x) = (g
1
(x), . . . , g
k
(x)).
Ademas f(x) g(x) = f
1
(x)g
1
(x) + +f
k
(x)g
k
(x). De otra parte, si a := (a
1
, . . . , a
k
) y b := (b
1
, . . . , b
k
)
entonces para todo x A se tiene que |f
i
(x) a
i
| kf(x) ak y |g
i
(x) b
i
| kg(x) bk para todo
i = 1, . . . , k. Por lo tanto lim
xp
f
i
(x) = a
i
y lim
xp
g
i
(x) = b
i
para todo i = 1, . . . , k. De esta forma
lim
xp
f(x) g(x) = lim
xp
f
1
(x)g
1
(x) + + lim
xp
f
k
(x)g
k
(x)
= lim
xp
f
1
(x)lim
xp
g
1
(x) + + f
xp
k
(x)g
k
(x)
= a
1
b
1
+ a
k
b
k
= a b.
4. Como para todo x A se tiene que kf(x) ak |kf(x)k kak| entonces lim
xp
kf(x)k = kak.
4.5 Funciones Continuas
(Apostol, Seccion 4.8)
Denicion. Sean (S, d
S
) y (T, d
T
) espacios metricos y f : S T. Decimos que f es continua en p S si para
todo > 0 existe > 0 tal que d
T
(f(x), f(p)) < cuando d
S
(x, p) < .
Si f es continua en cada punto de un conjunto A S entonces decimos que f es continua en A.
Esta denicion tambien puede darse en terminos de bolas: Una funcion f es continua en p si y solo si para todo
> 0 existe > 0 tal que f(B
S
(p, )) B
T
(f(p), ).
Observaciones
Si una funcion f es continua en un punto p S y p es punto de acumulacion de S entonces lim
xp
f(x) = f(p).
Si p es un punto aislado de S entonces cualquier funcion denida sobre p es continua en p.
Teorema 17. (Apostol, Teorema 4.16). Sean (S, d
S
) y (T, d
T
) espacios metricos y f : S T. Sea adem as
p S. Entonces f es continua en p si y solo si para toda sucesion {x
n
} en S tal que x
n
p en (S, d
S
) se tiene
que f(x
n
) f(p) en (T, d
T
).
Prueba. Supongamos que f es continua en p. Entonces el resultado se sigue de las observaciones anteriores.
Supongamos ahora que p es punto de acumulacion de S y que para toda sucesion {x
n
} en S tal que x
n
p
en (S, d
S
) se tiene que f(x
n
) f(p). Entonces lim
xp
f(x) = f(p) y de este hecho se sigue facilmente que f es
continua en p.
Nota: La continuidad de una funcion f en un punto p es llamada una propiedad local de f ya que depende del
comportamiento de f en las cercanas de p.
37
4.6 Continuidad de Funciones Compuestas
(Apostol, Seccion 4.9)
Teorema 18. (Apostol, Teorema 4.17). Sean (S, d
S
), (T, d
T
) y (U, d
U
) espacios metricos. Sean f : S T y
g : T U y h la funcion compuesta denida sobre S por la ecuacion h(x) := g(f(x)) para x S. Si f es
continua en p y g es continua en f(p) entonces h es continua en p.
Prueba. Sea > 0. Como g es continua en f(p) entonces existe > 0 tal que g(B
T
(f(p), )) B
U
(g(f(p)), ).
Ademas, como f es continua en p, para tal existe
0
> 0 tal que f(B
S
(p,
0
)) B
T
(f(p), ). De esta forma
h(B
S
(p,
0
)) = g(f(B
S
(p,
0
))) B
U
(g(f(p), )) = B
U
(h(p), ),
es decir, h es continua en p.
4.7 Continuidad de Funciones con Valores Vectoriales
(Apostol, Seccion 4.10)
Del resultado obtenido para lmites de funciones vectoriales facilmente se sigue el siguiente resultado.
Teorema 19. (Apostol, Teorema 4.19). Sea (S, d
S
) un espacio metrico y f, g : S R
n
, con n N, funciones
continuas en p S. Entonces f +g, f (para R), f g y kfk son funciones continuas en p.
Teorema 20. (Apostol, Teorema 4.20). Sea (S, d
S
) un espacio metrico y f
1
, . . . , f
n
: A S R. Ademas sean
f := (f
1
, . . . , f
n
) y p A, entonces f es continua en p si y s olo si f
i
es continua en p, para todo i = 1, . . . , n.
Prueba. Si p es un punto aislado de A entonces trivialmente el resultado es cierto. Supongamos entonces que
p es un punto de acumulacion de A.
Supongamos que f es continua en p. Como |f
i
(x) f
i
(p)| kf(x) f(p)k para todo x A y todo i = 1, . . . , n
entonces es claro que f
i
es continua en p para todo i = 1, . . . , n.
Supongamos ahora que f
i
es continua en p para todo i = 1, . . . , n. Entonces dado > 0 existe, para cada
i = 1, . . . , n,
i
> 0 tal que si d(x, p) <
i
entonces |f
i
(x) f
i
(p)| <

n
. De esta forma si := min{
1
, . . . ,
n
}
y d(x, p) < entonces
kf(x) f(p)k =
p
|f
1
(x) f
1
(p)|
2
+ + |f
n
(x) f
n
(p)|
2
<
r

2
n
+ +

2
n
= .
luego f es continua en p.
4.8 Continuidad e Imagen Inversa de Conjuntos Abiertos y Cerrados
(Apostol, Seccion 4.12)
Teorema 21. (Apostol, Teorema 4.22). Sean (S, d
S
) y (T, d
T
) espacios metricos y f : S T. Si X S y
Y T entonces
1. Si X = f
1
(Y ) entonces f(X) Y .
2. Si Y = f(X) entonces X f
1
(Y ).
38
Prueba. El enunciado de este teorema se sigue directamente de la denicion de f(X) y f
1
(Y ).
Observaciones
No es cierto en general que si Y = f(x) entonces X = f
1
(Y ).
f(f
1
(Y )) Y y x f
1
(f(X)).
Si A, B T entonces f
1
(A B) = f
1
(A) f
1
(B).
Teorema 22. (Apostol, Teorema 4.23). Sean (S, d
S
) y (T, d
T
) espacios metricos y f : S T. f es continua
en S si y solo si para todo conjunto abierto Y T se tiene que f
1
(Y ) es abierto en (S, d
S
).
Prueba. Supongamos que f es continua y que Y es un abierto en (T, d
T
). Sea p f
1
(Y ). Veamos que p es
un punto interior de f
1
(Y ). Sea y := f(p). Como Y es abierto en (T, d
T
) existe > 0 tal que B
T
(y, ) Y .
Ahora, como f es continua existe > 0 tal que f(B
S
(p, )) B
T
(y, ). Luego
f
1
(f(B
S
(p, ))) f
1
(B
T
(y, )) f
1
(Y )
y como B
S
(p, ) f
1
(f(B
S
(p, ))) entonces B
S
(p, ) f
1
(Y ). Con lo cual p es punto interior de f
1
(Y ).
Supongamos ahora que f
1
(Y ) es abierto en (S, d
S
) para todo conjunto Y T abierto en (T, d
T
). Sean
p S y y := f(p). Veamos que f es continua en p. Sea > 0. B
T
(y, ) es un abierto en (S, d
S
). Ademas
p f
1
(B
T
(y, )), por lo tanto existe > 0 tal que B
S
(p, ) f
1
(B
T
(y, )) luego
f(B
S
(p, )) f(f
1
(B
T
(y, ))) B
T
(y, ).
Con esto f es continua en p. Como p S es un punto arbitrario entonces f es continua en S.
Teorema 23. (Apostol, Teorema 4.24). Sean (S, d
S
) y (T, d
T
) espacios metricos y f : S T. f es continua
en S si y s olo si para todo Y cerrado en (T, d
T
) se tiene que f
1
(Y ) es cerrado en (S, d
S
).
Prueba. Si Y es cerrado en (T, d
T
) entonces Y
c
es abierto en (T, d
T
). Ademas f
1
(Y
c
) = [f
1
(Y )]
c
. Por lo
tanto, del teorema anterior se sigue facilmente la armacion.
Observaciones
No es cierto en general que si X S es abierto y f es continua entonces f(X) es abireto. Por ejemplo la
funcion f : R R denida por f(x) := a R, es continua, R es abierto y f(R) = {a} no es abierto.
Tampoco es cierto en general que si X S es cerrado y f es continua entonces f(X) es cerrado. Por
ejemplo la funcion fR R denida por f(x) := tan
1
(x) es continua, R es cerrado y f(R) = (

2
,

2
) no
es cerrado.
4.9 Funciones Continuas Sobre Conjuntos Compactos
(Apostol, Seccion 4.13)
Teorema 24. (Apostol, Teorema 4.25). Sean (S, d
S
) y (T, d
T
) espacios metricos, f : S T y X S un
conjunto compacto. Si f es continua en X entonces f(X) es compacto.
Prueba. Sea F un cubrimiento abierto de f(X). Entones f(X)
S
AF
A. Como f es continua en el subespacio
(X, d
S
) entonces f
1
(A) es abierto en (X, d
S
) para todo A F. Es decir, {f
1
(A) : A F} es un cubrimiento
abierto de X y como X es compacto existen A
1
, . . . , A
k
F tales que X
k
S
i=1
f
1
(A
i
) y entonces
f(X) f(f
1
(A
1
) f
1
(A
k
)).
39
Pero
f(f
1
(A
1
) f
1
(A
k
)) = f(f
1
(A
1
)) f(f
1
(A
k
)) A
1
A
k
.
Es decir, existe una subcoleccion nita de F que cubre a f(X). Por lo tanto f(X) es compacto.
Denicion. Sean (S, d
S
) y (T, d
T
) espacios metricos y f : S T. Decimos que f es acotada si f(S) es un
conjunto acotado en (T, d
T
). Es decir, si existen a T y M > 0 tales que f(S) B
T
(a, M).
Del teorema anterior se sigue inmediatamente el siguiente teorema.
Teorema 25. (Apostol, Teorema 4.27). Sean (S, d
S
) y (T, d
T
) espacios metricos y f : S T. Si X S es
compacto y f es continua en X entonces f es acotada sobre X.
Teorema 26. (Teorema del Valor Extremo). (Apostol, Teorema 4.28). Sea (S, d
S
) un espacio metrico y
f : S R. Sea X S compacto y no vaco. Si f es continua en X entonces existen p, q X tales que
f(p) = inf f(X) y f(q) = sup f(X).
Nota. Como f(p) f(x) f(q) para todo x X entonces a f(p) y f(q) se les llama mnimo y maximo
absolutos de f en X.
Prueba. Como X es compacto y f es continua en X entonces f(X) es compacto y en particular es cerrado y
acotado en R. Por el hecho de ser acotado y ademas no vaco (ya que X 6= ) se tiene que existen m, n R
tales que m = inf f(X) y n = sup f(X). Ahora, como f(X) es cerrado entonces m, n f(X) y as existen
p, q X tales que f(p) = m = inf f(X) y f(q) = n = supf(X).
Teorema 27. (Apostol, Teorema 4.29). Sean (S, d
S
) y (T, d
T
) espacios metricos y f : S T una funcion uno
a uno. Si S es compacto y f es continua en S entonces f
1
es continua en f(S).
Prueba. Sea X S cerrado. Como S es compacto entonces X es compacto. Ahora, como f es continua en
S entonces es continua en X y as f(X) es compacto y en particular cerrado. Por lo tanto f
1
es continua en
f(S).
4.10 Homeomorsmos
(Apostol, Seccion 4.14)
Denicion. Sean (S, d
S
) y (T, d
T
) espacios metricos y f : S T una funcion uno a uno. Si f es continua en
S y f
1
es continua en f(S) entonces f es llamada un homeomorsmo y los espacios metricos (S, d
S
) y (T, d
T
)
son llamados homeomorfos.
Observaciones
Si f es un homeomorsmo entonces tambien lo es f
1
.
Los homeomorsmos envan abiertos en abiertos y cerrados en cerrados.
Una propiedad de un conjunto que permanece invariante bajo homeomormos es llamada propiedad
topologica. Por lo tanto, las propiedades de un conjunto de ser abierto, cerrado o compacto son propiedades
topologicas.
Si f es un homeomorsmo tal que d
T
(f(x), f(y)) = d
S
(x, y) para todo x, y S decimos que f es una
isometra y que los espacios metricos (S, d
S
) y (T, d
T
) son isometricos.
40
4.11 Teorema de Bolzano
(Apostol, Seccion 4.15)
Teorema 28. (Apostol, Teorema 4.31). Sea f : [a, b] R. Si f es continua en c [a, b] y f(c) 6= 0 entonces
existe > 0 tal que f(x) tiene el mismo signo que f(c) para todo x B(c, ) [a, b].
Prueba. Supongamos que f(c) > 0. Para todo > 0 existe > 0 tal que f(c) < f(x) < f(c) + para todo
x B(c, ) S. Tomemos
0
> 0 correspondiente a
0
=
f(c)
2
, el cual es positivo. Entonces tenemos que
1
2
f(c) < f(x) <
3
2
f(c)
para todo x B(c, ) S. De esta forma f(x) tiene el mismo signo que f(c) en B(c, ) S.
En el caso que f(c) < 0 la prueba es similar.
Teorema 29. (Bolzano). (Apostol, Teorema 4.32). Sea f : [a, b] R una funcion continua tal que f(a) y f(b)
tienen signos opuestos (f(a)f(b) < 0). Entonces existe por lo menos un valor c (a, b) tal que f(c) = 0.
Prueba. Sin perdidad de generalidad supongamos que f(a) > 0 y f(b) < 0. Sea A := {x [a, b] : f(x) 0}.
A es no vaco pues a A y ademas es acotado superiormente pues b x para todo x A, por lo tanto existe
s (a, b) tal que s = supA. Supongamos, razonando por el absurdo, que f(s) 6= 0, entonces existe > 0 tal que
f(x) tiene el mismo signo que f(s) para todo x B(s, ). Si f(s) > 0 entonces f(s +

2
) > 0 lo cual contradice
el hecho de que s = supA y si f(s) < 0 entonces f(s

2
) < 0 y con eso s

2
es cota superior de A, lo cual es
absurdo ya que s es la mnima cota superior de A. Por lo tanto f(s) = 0.
Teorema 30. (Teorema del Valor Intermedio). (Apostol, Teorema 4.33). Sea f : [a, b] R una funcion
continua y sean , [a, b] tales que < y f() 6= f(). Entonces f toma todos los valores entre f() y
f() en (, ).
Prueba. Sea k un n umero real entre f() y f() (k 6= f(), k 6= f()). Consideremos la funcion g : [, ] R
denida por g(x) = f(x) k. Por el Teorema de Bolzano existe c (, ) tal que g(c) = 0, es decir f(c) k = 0
o f(c) = k.
Observacion. Si f : [a, b] R es continua entonces sabemos que existen p, q [a, b] tales que p = inf(f([a, b]))
y q = sup(f([a, b])). Por lo tanto, como f toma todos los valores entre f(p) y f(q), se sigue que
f([a, b]) = [inf(f([a, b])), sup(f([a, b]))].
4.12 Conexidad
(Rosenlicht, Seccion III.6)
Denicion. Sea (E, d) un espacio metrico. Decimos que (E, d) es disconexo si E = A B donde A y B son
conjuntos abiertos, disjuntos, no vacos en (E, d).
Si un espacio metrico no es disconexo diremos que es conexo.
Nota. Un subconjunto X de un espacio metrico (E, d) es conexo si visto como subespacio de (E, d) es un
espacio metrico conexo.
Ejemplos
1. (S, d) donde S = R {0} y d es la metrica eucldea es un espacio metrico disconexo pues S = (, 0)
(0, ) y (, 0) y (0, ) son abiertos y disjuntos.
41
2. El conjunto Q visto como subespacio de (R, d), donde d es la metrica eucldea, es un conjunto disconexo
ya que Q = A B para A := {x Q : x <

2} y B := {x Q : x >

2}. Similarmente cualquier bola

abierta en Q es disconexa.
3. Todo espacio metrico (E, d) contiene conjuntos conexos. Por ejemplo, si x E, {x} es un conjunto conexo.
Teorema 31. (Rosenlicht, Seccion III.6). Consideremos el espacio metrico (R, d) donde d es la metrica
eucldea. Sean S R y a, b S tales que a < b. Si existe c (a, b) tal que c / S entonces S es disconexo.
Prueba. S = [S {x R : x < c}] [S {x R : x > c}] A B donde A y B son conjuntos abiertos en
(S, d). Ademas A y B son disjuntos y A, B 6= ya que a A y b B. Por lo tanto S es disconexo.
Teorema 32. (Rosenlicht, Seccion III.6). Sea {S
i
}
iI
una coleccion de subconjuntos conexos de un espacio
metrico (E, d). Supongamos que existe i
0
I tal que S
i
S
i
0
6= para todo i I. Entonces
S
iI
S
i
es conexo.
Prueba. Sea S :=
S
iI
S
i
y consideremos el espacio metrico (S, d). Sean A, B S abiertos disjuntos en (S, d)
tales que S = A B. Debemos entonces probar que A = S o A = . Para cada i I, S
i
= (A S
i
) (B S
i
).
Por lo tanto S
i
es la union de dos abiertos disjuntos: (AS
i
), (B S
i
) en (S
i
, d) y como S
i
es conexo entonces
(A S
i
) = o (A S
i
) = S
i
. Es decir, S
i
esta completamente contenido en A o esta completamente por fuera
de A. Para el caso de i
0
supongamos que S
i
0
A. Como S
i
0
S
i
6= para todo i I entonces S
i
A para
todo i I. S =
S
iI
S
i
A y S B = . Luego S = A y B = en (S, d).
Teorema 33. (Rosenlicht, Secci on III.6). Sea S R tal que para todo a, b S se tiene que [a, b] S. Entonces
S es conexo.
Prueba. Razonando por el absurdo supongamos que S no es conexo. Entonces existen A, B disjuntos, no
vacos, abiertos en S tales que S = A B. Sean a A y b B (sin perdida de generalidad supongamos que
a < b), entonces [a, b] S. Sean A
1
:= A[a, b] y B
1
:= B[a, b]. B
1
es abierto en [a, b] por ser la interseccion
de los abiertos B y [a, b] en [a, b]. Por lo tanto A
1
que es el complemento de B
1
en [a, b] es cerrado en [a, b] y
en consecuencia cerrado en R (tomese y R tal que y sea punto de acumulacion de A
1
entonces y tambien es
punto de acumulacion de [a, b] y como [a, b] es cerrado en R se tiene que y [a, b]. De esta forma y es un punto
de acumulacion de A
1
que est a en [a, b] y como A
1
es cerrado en [a, b] entonces y A
1
. As, A
1
es cerrado en
R). Ademas A
1
es acotada superiormente (b es cota superior de A
1
) y es no vaco (a A
1
) luego existe c A
1
tal que c = max A
1
. De otra parte, A
1
es abierto en [a, b], entonces existe una bola abierta en [a, b], centrada
en c, contenida en A
1
. Luego existen elementos en A
1
mayores que c. Esto es absurdo. Concluimos que S es
conexo.
Observacion. Del resultado anterior se sigue que R es conexo y que intervalos de la forma (a, b), [a, b), (a, b],
[a, b], (, b), (, b], (a, ) y [a, ) (con a < b) son conexos.
4.13 Continuidad y Conexidad
(Apostol, Seccion 4.16)
Denicion. Sea (S, d) un espacio metrico y f : S R una funcion continua. Decimos que f es una funcion
bivaluada si f(S) {0, 1}.
Teorema 34. (Apostol, Teorema 4.36). Un espacio metrico (S, d) es conexo si y solo si toda funcion bivaluada
denida sobre S es constante.
Prueba. Supongamos que (S, d) es conexo. Sea f : S R una funcion bivaluada y sean
A := f
1
({0}) = f
1
((0.2, 0.2))
42
y
B := f
1
({1}) = f
1
((0.8, 1.2)).
Por lo tanto A y B son disjuntos y abiertos en S y ademas S = A B. Como S es conexo entonces A = o
B = , es decir f(x) = 0 para todo x S o f(x) = 1 para todo x S.
Supongamos ahora que toda funcion bivaluada denida sobre S es constante. Razonando por el absurdo
supongamos que S es disconexo, entonces existen A, B S, no vacos, disjuntos y abiertos en S tales que
S = AB. Denamos f : S R de la siguiente forma: f(x) = 0 para todo x A y f(x) = 1 para todo x B.
Observemos que dado V abierto en R se tiene que f
1
(V ) = S, f
1
(V ) = A, f
1
(V ) = B o f
1
(V ) = y
como A, B, S y son conjuntos abiertos en S entonces f es continua. Por lo tanto f es una funcion bivaluada
no constante denida sobre S lo cual es absurdo. Se sigue que S es conexo.
Teorema 35. (Apostol, Teorema 4.37). Sean (S, d
S
) y (M, d
M
) dos espacios metricos y sea X un subconjunto
conexo de S. Si f : S M es continua en X entonces f(X) es un subconjunto conexo de M.
Prueba. Sea g : f(X) R una funcion bivaluada. Veamos que g es constante. En efecto, consideremos
h : X R denida por h(x) := g(f(x)) para todo x X, entonces h es continua en X y h(X) {0, 1}, por
lo tanto h es bivaluada. Como X es conexo entonces h es constante y con eso g es constante en f(X). Luego
f(X) es conexo.
Observaciones. Sea X un intervalo en R. Entonces X es conexo. Por lo tanto,
Si f : X R es continua entonces f(X) es un intervalo en R.
Si f : X R
n
es continua entonces f(x) es una curva en R
n
, la cual es conexa.
Teorema 36. (Teorema del Valor Intermedio Para Funciones Reales, Continuas). (Apostol, Teorema 4.38).
Sea S R
n
un conjunto conexo y f : S R continua. Si f toma dos valores distintos a, b R entonces dado
c entre a y b, (c 6= a y c 6= b) existe x S tal que f(x) = c.
Prueba. f(S) es conexo en R, por lo tanto f(S) es un intervalo que contiene a a y a b. Si c 6= f(S) entonces
f(S) no sera conexo.
4.14 Componentes de un Espacio Metrico
(Apostol, Seccion 4.17)
Recordemos que si una coleccion de conjuntos conexos {S
i
}
iI
es tal que existe i
0
I para el cual S
i
S
i
0
6=
entonces
S
iI
S
i
es conexo.
Denicion. Todo punto x de un espacio metrico (S, d) pertenece por lo menos a un subconjunto conexo de S,
(x {x} y {x} es conexo). Entonces la union de todos los subconjuntos conexos de S que contienen a x es un
conjunto conexo. Llamaremos a esta union componente de S y la denotaremos U(x). Por lo tanto, U(x) es el
subconjunto conexo maximal de S que contiene a x.
Teorema 37. (Apostol, Teorema 4.40). Cada punto de un espacio metrico (S, d) pertenece a un y solo un
componente de S. En otras palabras, los componentes de S forman una coleccion de conjuntos disjuntos cuya
union es S.
Prueba. Dos componentes distintas no pueden contener un mismo punto x ya que su union sera un conexo
mas grande que contiene a x.
43
4.15 Arco Conexidad
(Apostol, Seccion 4.18)
Denicion. Sea (S, d) un espacio metrico. Decimos que (S, d) es arco conexo si para todo par de puntos
a, b S existe una funcion continua f : [0, 1] S tal que f(0) = a y f(1) = b.
Notas
Tal funcion es llamada camino de a a b Si f(0) 6= f(1) la imagen de [0, 1] bajo f es llamada arco que une
a y b. Por lo tanto S es arco conexo si todo par de puntos en S pueden ser unidos por un arco en S.
Si f(t) = tb + (1 t)a para 0 t 1, la curva que une a y b es llamada segmento de lnea.
Observaciones
Las bolas abiertas y cerradas en R
n
son conjuntos arco conexos.
No todo conjunto conexo es arco conexo.
Teorema 38. (Apostol, Teorema 4.42). Sea (S, d) un espacio metrico arco conexo entonces (S, d) es conexo.
Prueba. Sean g una funcion bivaluada denida sobre S y a S. Sea x S, x 6= a. Como S es arco conexo
existe f : [0, 1] S continua tal que f(0) = a y f(1) = x. De esta forma el arco := f([0, 1]) es conexo y
entonces g debe ser constante sobre . As, g(x) = g(a) y como x es arbitrario entonces g(x) = g(a) para todo
x S. Por lo tanto S es conexo.
Teorema 39. (Apostol, Teorema 4.43). Sean S R
n
tal que S es abierto en R
n
y ademas conexo entonces S
es arco conexo.
Prueba. Sea x S. Veamos que x puede ser unido a cualquier elemento y S por medio de un arco en S. Para
esto denimos A := {y S : arco en S que une a x y y} y B := SA. De esta forma AB = S y AB = .
Probaremos que A y B son abiertos en S.
Sea a A y un arco que une a a con x. Como S es abierto existe > 0 tal que B(a, ) S. Cualquier punto
de B(a, ) puede ser unido con un segmento de lnea a a, luego existe un arco en S que lo une a x. Con esto,
cada punto de B(a, ) est a en A. Por lo tanto A es abierto.
Probemos que B es abierto. Sea b B. Como S es abierto existe > 0 tal que B(b, ) S. Observemos que si
existiera z B(b, ) tal que z / B (z A) entonces existira un arco uniendo a x con z y por lo tanto con b
y en este caso b / B. De esta forma B(b, ) B y B es abierto.
Como S = A B, S es conexo y x A entonces se sigue que B = y A = S. Es decir, todos los puntos de S
se pueden unir mediante un arco con x. Por lo tanto, dados z, w S, existen arcos en S que unen a z con x y
a w con x. Luego existe un arco en S que une a z con w. Concluimos que S es arco conexo.
Teorema 40. (Apostol, Teorema 4.44). Cada conjunto abierto S R
n
puede ser expresado en una y solo una
forma como una union disjunta y a lo sumo contable de conjuntos abiertos y conexos.
Prueba. Sabemos que las componentes de S forman una coleccion unica de conjuntos disjuntos cuya union es
S. Observemos que si T es una componente de S entonces T es abierto en R
n
ya que dado x T existe > 0
tal que B(x, ) S y como B(x, ) es conexo entonces B(x, ) T. Por el teorema de Lindelof esta coleccion
de componentes es a lo sumo contable.
Denicion. Sea A R
n
. Decimos que A es una region si es la union de un abierto conexo con algunos,
ninguno o todos sus puntos de frontera. Si ning un punto de frontera es incluido entonces la region se llama
region abierta, o dominio, y si todos son incluidos se llama region cerrada.
44
4.16 Continuidad Uniforme
(Apostol, Seccion 4.19)
Denicion. Sean (S, d
S
) y (T, d
T
) espacios metricos y f : S T. Decimos que f es uniformemente continua
en un subconjunto A de S si se cumple que para todo > 0 existe > 0 (dependiendo solo de ) tal que si
x A y p A entonces d
T
(f(x), f(p)) < cuando d
S
(x, p) < .
Ejemplos.
1. f(x) =
1
x
es continua en (0, 1] pero no es uniformemente continua en (0, 1]. Para ver esto ultimo tomemos
= 10 y supongamos que existe 0 < < 1 tal que |f(x) f(p)| < cuando x, p (0, 1] y |x p| < . Sea
x := y p :=

11
. Claramente
x, p (0, 1] y |x p| = |

11
| =
10
11
< .
Sin embargo
|f(x) f(p)| = |
1
x

1
p
| = |
1

1
1
| = |
10

| =
10

> 10.
2. La funcion f(x) = x
2
es continua y uniformemente continua en (0, 1]. Para ver esto ultimo observemos
que si p, x (0, 1] entonces
|f(x) f(p)| = |x
2
p
2
| = |(x +p)(x p)| = (x +p)|x p| < 2|x p|.
De esta forma dado > 0, con :=

2
, si x, p (0, 1] son tales que |xp| < =

2
entonces |f(x)f(p)| < .
4.17 Continuidad Uniforme y Conjuntos Compactos
(Apostol, Seccion 4.20)
Claramente de la denicion de continuidad uniforme se tiene que si una funcion es uniformemente continua en
un conjunto A entonces es continua en A. Veamos ahora que si A es compacto entonces continuidad implica
continuidad uniforme.
Teorema 41. (Heine). (Apostol, Teorema 4.47). Sean (S, d
S
) y (T, d
T
) espacios metricos y f : S T una
funcion continua en A S. Si A es compacto entonces f es uniformemente continua en A.
Prueba. Sea > 0. Para cada a A existe una bola B
S
(a, r
a
) tal que si x B
S
(a, r
a
) A entonces
d
T
(f(x), f(a)) <

2
. Consideremos la colecci on de bolas F := {B
S
(a,
r
a
2
) : a A}. F es un cubrimiento abierto
en A y como A es compacto entonces existen B
S
(a
1
,
r
a
1
2
), . . . , B
S
(a
m
,
r
am
2
) tales que
A
m
[
k=1
B
S
(a
k
,
r
a
k
2
).
Observemos que si x B
S
(a
k
, r
a
k
) A entonces d
T
(f(x), f(a
k
)) <

2
. Sea := min{
r
a
1
2
, . . . ,
r
a
k
2
}. Mostremos
que tal funciona en la denicion de continuidad uniforme. Sean x, p A tales que d
S
(x, p) < . Como
A
m
S
k=1
B
S
(a
k
,
r
a
k
2
) entonces existe l {1, . . . , m} tal que x B
S
(a
l
,
r
a
l
2
), luego d
T
(f(x), f(a
l
)) <

2
.
45
Por la desigualdad triangular
d
S
(p, a
l
) d
S
(p, x) +d
S
(x, a
l
) < +
r
a
l
2

r
a
l
2
+
r
a
l
2
= r
a
l
,
por lo tanto p B
S
(a
l
, r
a
l
) y entonces d
T
(f(p), f(a
l
)) <

2
.
Empleando nuevamente la desigualdad triangular tenemos que
d
T
(f(x), f(p)) d
T
(f(x), f(a
l
)) +d
T
(f(a
l
), f(p)) <

2
+

2
= .
Concluimos entonces que f es uniformemente continua en A.
4.18 Teorema de Punto Fijo Para Contracciones
(Apostol, Seccion 4.21)
Denicion. Sea (S, d) un espacio metrico y f : S S. Un punto p S es llamado punto jo de f si f(p) = p.
La funcion f es llamada contraccion de S si existe 0 < < 1 (llamada constante de contraccion) tal que
d(f(x), f(y)) d(x, y) para todo x, y S.
Claramente si f es una contraccion de S entonces f es uniformemente continua en S.
Teorema 42. (Punto Fijo de Banach). (Apostol, Teorema 4.48). Sea (S, d) un espacio metrico completo y
f : S S. Si f es una contraccion de S entonces f tiene un unico punto jo.
Prueba.
Unicidad. Supongamos que p y p
0
son puntos jos de f, entonces d(p, p
0
) = d(f(p), f(p
0
)) d(p, p
0
),
donde es la constante de contraccion. Luego d(p, p
0
)(1 ) 0 y como 0 < < 1 entonces d(p, p
0
) 0
con lo cual d(p, p
0
) = 0 y p = p
0
.
Existencia. Sea x S. Denamos una sucesion {p
n
} de la siguiente forma: p
0
:= x, p
n+1
:= f(p
n
), para
n = 0, 1, 2, . . . (es decir x, f(x), f(f(x)), f(f(f(x))),. . . ). Veamos que p
n
converge a un punto jo de f.
Para esto, en primer lugar, probemos que {p
n
} es una sucesion de Cauchy. Sea n N, entonces
d(p
n+1
, p
n
) = d(f(p
n
), f(p
n1
)) d(p
n
, p
n1
) = d(f(p
n1
), f(p
n2
))

2
d(f(p
n1
), f(p
n2
))
n
d(p
1
, p
0
)
n
C.
Sea m N, m > n. Empleando la desigualdad triangular obtenemos
d(p
m
, p
n
) d(p
m
, p
m1
) +d(p
m1
, p
m2
) + +d(p
n+1
, p
n
)
C
m1
+C
m2
+ +C
n
= C

m
+
m1
+ +
n+1

m1

m2

n+1

n
1
= C

n
1
= C

n
(
mn
1)
1
= C

n
(1
mn
)
1
< C

n
1
.
Luego d(p
m
, p
n
) 0 cuando n . Por lo tanto, dado > 0, existe N N tal que si n > N y
m > N entonces |d(p
m
, p
n
) 0| < , es decir, d(p
m
, p
n
) < . De esta forma {p
n
} es una sucesion de
Cauchy. Ahora, como S es completo entonces existe p S tal que p
n
p. Por la continuidad de f,
f(p) = f( lim
n
p
n
) = lim
n
f(p
n
) = lim
n
p
n+1
= p. As, p es punto jo de f.
46
4.19 Discontinuidades de Funciones con Valores Reales
(Apostol, Seccion 4.22)
Deniciones. Sean f : (a, b) R y c [a, b). Si f(x) A R cuando x c a traves de valores mayores que
c decimos que A es el lmite lateral derecho de f en c y escribimos lim
xc+
f(x) = A o tambien f(c+) = A. Esto
signica que dado > 0 existe > 0 tal que |f(x) f(c+)| < cuando c < x < c + < b.
f no tiene, necesariamente, que estar denida en c. Si f esta denida en c y f(c+) = f(c) decimos que f es
continua por la derecha de c.
Lmites y continuidad por la izquierda de c se denen en forma analoga.
(Observemos que si a < c < b entonces f es continua en c si y solo si f(c) = f(c+) = f(c)).
Decimos que c es un punto de discontinuidad de f si f no es continua en c. En este caso se satisface alguna de
las siguientes condiciones.
(a) f(c+) o f(c) no existe.
(b) f(c+) y f(c) existen pero f(c+) 6= f(c).
(c) f(c+) y f(c) existen y f(c+) = f(c) 6= f(c).
En el caso (c) decimos que c es una discontinuidad removible mientras que en los casos (a) y (b) decimos que
la discontinuidad no es removible o que es esencial.
Sean f : [a, b] R y c (a, b). Si f(c+) y f(c) existen entonces
(a) f(c) f(c) es llamado salto a la izquierda de f en c.
(b) f(c+) f(c) es llamado salto a la derecha de f en c.
(c) f(c+) f(c) es llamado salto de f en c.
Si alguno de estos n umeros es distinto de cero entonces decimos que c es una discontinuidad por salto de f.
Para a solo se considera la discontinuidad por salto a derecha y para b la discontinuidad por salto a izquierda.
4.20 Funciones Monotonas
(Apostol, Seccion 4.23)
Denicion. Sea f : S R R. Decimos que f es creciente (o no decreciente) en S si para todo x, y S
con x < y se tiene que f(x) f(y) (si f(x) < f(y) decimos que f es estrictamente creciente en S). En forma
analoga se denen las funciones decrecientes y estrictamente crecientes.
Decimos que una funcion es monotona si es creciente o decreciente.
Teorema 43. (Apostol, Teorema 4.51). Si f es creciente en [a, b] entonces f(c+) y f(c) existen para todo
c (a, b) y f(c) f(c) f(c+). Ademas f(a) f(a+) y f(b) f(b).
Prueba. Sean c (a, b) y A := {f(x) : a < x < c}. Como f es creciente entonces A es acotado superiormente
por f(c). Sea := supA entonces f(c). Probemos que f(c) existe y que f(c) = .
47
Sea > 0. Por la propiedad de aproximacion al supremo existe f(x
1
) A tal que < f(x
1
) .
Como f es creciente entonces para todo x (x
1
, c) se tiene que < f(x) , lo cual es equivalente a
< f(x) 0 < , es decir |f(x) | < . Sea := c x
1
. Por lo tanto, si c < x < c se sigue que
|f(x) | < . Luego f(c) = .
La prueba de f(c) f(c+), f(a) f(a+) y f(b) f(b) es similar.
Teorema 44. (Apostol, Teorema 4.52). Sea f estrictamente creciente en S R. Entonces f
1
existe y es
estrictamente creciente en f(S).
Prueba. Como f es estrictamente creciente entonces es 1 a 1 en S, por lo tanto f
1
existe. Razonando por
el absurdo supongamos que f
1
no es estrictamente creciente, entonces existen y
1
, y
2
f(S) tales que y
1
< y
2
y f
1
(y
1
) f
1
(y
2
). Ahora, como f es estrictamente creciente entonces f(f
1
(y
1
)) f(f
1
(y
2
)), es decir
y
1
y
2
, lo cual es absurdo. Por lo tanto f
1
es estrictamente creciente.
Teorema 45. (Apostol, Teorema 4.53). Sea f estrictamente creciente y continua en un intervalo [a, b]. En-
tonces f
1
es continua y estrictamente creciente en [f(a), f(b)].
Prueba. f
1
es estrictamente creciente por el teorema anterior. Ademas f
1
es continua pues [a, b] es compacto.
48
Captulo 5
Derivadas
En el presente captulo estudiaremos el concepto de derivada y algunas consecuencias importantes, tales como
el teorema del valor medio, la formula de Taylor, entre otras.
Denicion. Sea f denida en un intervalo (a, b) y supongamos que c (a, b). Entonces decimos que f es
diferenciable en c cuando lim
xc
f(x) f(c)
x c
existe. El lmite, denotado por f
0
(c), es llamado derivada de f en c.
Este proceso de lmite dene una nueva funcion f
0
, cuyo dominio consiste de aquellos puntos de (a, b) en los
cuales f es diferenciable. La funcion f
0
es llamada primera derivada de f. Similarmente, denimos la nesima
derivada de f, denotada f
(n)
, como la primera derivada de f
(n1)
para n = 2, 3, . . .
Otras notaciones: f
0
(c) = Df(c) =
df
dx
(c) =
dy
dx

x=c
para y = f(x).
5.1 Derivadas y Continuidad
Teorema 1. (Apostol, Teorema 5.2) Si f esta denida en (a, b) y es diferenciable en c (a, b), entonces
existe una funci on f

(que depende de f y de c) la cual es continua en c y la cual satisface la ecuacion

f(x) f(c) = (x c)f

(x) para todo x (a, b), con f

(c) = f
0
(c). Ademas, si existe una funcion f

, continua
en c, la cual satisface f(x) f(c) = (x c)f

(x), entonces f es diferenciable en c y f

0
(c) = f

(c).
Prueba. Si f
0
(c) existe, sea f

: (a, b) R, denida por

f

(x) :=

f(x) f(c)
x c
si x 6= c,
f
0
(c) si x = c.
Claramente f

es continua en c, f(x) f(c) = (x c)f

(x) para todo x (a, b) y f

(c) = f
0
(c).
Ahora, si f(x) f(c) = (x c)f

(x) para alguna funcion f

continua en c, para todo x (a, b) entonces

f(x) f(c)
x c
= f

(x)
para x (a, b), x 6= c y entonces
lim
xc
f(x) f(c)
x c
= f

(c),
con lo cual f
0
(c) = f

(c).
49
Teorema 2. (Apostol, Teorema 5.3). Si f es diferenciable en c entonces f es continua en c.
Prueba.
f(x) f(c) = (x c)
f(x) f(c)
x c
para todo x (a, b), x 6= c. Luego
lim
xc
[f(x) f(c)] = lim
xc
(x c)lim
xc
f(x) f(c)
x c
= 0 f
0
(c) = 0.
Con esto, f es continua en c.
5.2

Algebra de Derivadas
Teorema 3. (Apostol, Teorema 5.4). Sean f, g : (a, b) R diferenciables en c (a, b). Entonces f +g, f g
y f g son diferenciables en c. Ademas, si g(c) 6= 0 entonces
f
g
es diferenciable en c. Las derivadas en c estan
dadas por las siguientes formulas.
1. (f g)
0
(c) = f
0
(c) g
0
(c).
2. (f g)
0
(c) = f(c) g
0
(c) +f
0
(c) g(c).
3.

f
g

0
(c) =
g(c) f
0
(c) f(c) g
0
(c)
[g(c)]
2
Prueba.
1. Inmediata del lmite de una suma y de una resta.
2. Tenemos que
lim
xc
(f g)(x) (f g)(c)
x c
= lim
xc
f(x) g(x) f(x) f(c) +f(x) g(c) f(c) g(c)
x c
= lim
xc
f(x)[g(x) g(c)] +g(c)[f(x) f(c)]
x c
= lim
xc
f(x) lim
xc
g(x) g(c)
x c
+g(c) lim
xc
f(x) f(c)
x c
= f(c) g
0
(c) +f
0
(c) g(c).
3. Similar a 2.
Observaciones
De la denicion se ve que si f es constante en (a, b) entonces f
0
= 0 en (a, b).
Si f(x) = x entonces f
0
= 1 para todo x.
Facilmente, de 2, empleando induccion, se sigue que si f(x) = x
n
para todo n N entonces f
0
(x) = nx
n1
.
Todo polinomio tiene derivada en R y toda funcion racional tiene derivada en su dominio.
50
5.3 La Regla de la Cadena
Teorema 4. (Apostol, Teorema 5.5). Sean S R un intervalo abierto, f : S R y g : f(S) R. Considere-
mos la funcion g f : S R denida por (g f)(x) = g(f(x)).
Supongamos que existe c S tal que f(c) es un punto interior de f(S). Si f es diferenciable en c y g es
diferenciable en f(c) entonces g f es diferenciable en c y (g f)
0
(c) = g
0
(f(c)) f
0
(c).
Prueba. Como f es diferenciable en c y g es diferenciable en f(c) entonces existen f

y g

continuas en c y
f(c), respectivamente, tales que f(x)f(c) = (xc)f

(x) para todo x (a, b) y g(y)g(f(c)) = (yf(c))g

(y)
para todo y T donde T es un cierto intervalo abierto contenido en f(S) y que contiene a f(c). Sea x S tal
que y := f(x) T. Entonces
g(f(x)) g(f(c)) = [f(x) f(c)]g

(f(x)) = (x c)f

(x)g

(f(x)).
Por el teorema de continuidad para funciones compuestas se tiene que
lim
xc
g(f(x)) g(f(c))
x c
= lim
xc
f

(x)g

(f(x)) = lim
xc
f

(x)lim
xc
g

(f(x))
= f

(c)g

lim
xc
f(x)

= f

(c)g

(f(c)) = f
0
(c)g
0
(f(c)).
5.4 Derivadas Unilaterales y Derivadas Innitas
Deniciones. Sean (X, d) un espacio metrico, A X, p X punto de acumulacion de A y f : A R.
(i) Diremos que lim
xp
f(x) = +si para todo M R existe > 0 tal que si x A{p} y d(x, p) < entonces
f(x) > M.
(ii) Diremos que lim
xp
f(x) = si para todo M R existe > 0 tal que si x A{p} y d(x, p) < entonces
f(x) < M.
Denicion. Sean S R un intervalo cerrado, f : S R, c S y f continua en c. Decimos que f tiene
derivada por la derecha de c si lim
xc
+
f(x) f(c)
x c
existe como un valor nito o si el lmite es + o . Este
lmite sera denotado f
0
+
(c).
Las derivadas por la izquierda se denen analogamente y se denotan f
0

(c).
Adicionalmente, si c es un punto interior de S entonces decimos que f tiene derivada f
0
(c) = + si se cumple
que f
0
+
(c) = f
0

(c) = + y que f
0
(c) = si f
0
+
(c) = f
0

(c) = .
5.5 Funciones con Derivada Diferente de Cero
Teorema 5. (Apostol, Teorema 5.7). Sean f : (a, b) R y c (a, b) tales que f
0
(c) > 0 o f
0
(c) = +entonces
existe > 0 tal que f es estrictamente creciente en B(c, ) (a, b).
Prueba. Si f
0
(c) > 0 entonces existe f

continua en c tal que f

(c) = f
0
(c) y f(x) f(c) = (x c)f

(x) para
todo x (a, b). Como f es continua en c entonces existe > 0 tal que f

(x) tiene el mismo signo que f

(c)
para todo x B(c, ) (a, b). De esta forma, para x B(c, ), si x > c, f(x) f(c) > 0 con lo cual f(x) > f(c)
y si x < c, f(x) f(c) < 0 con lo cual f(x) < f(c).
51
Ahora, si f
0
(c) = + entonces existe > 0 tal que si x B(c, ) {c} se tiene que
f(x) f(c)
x c
> 1. Con esto,
se sigue el resultado.
Observacion. Si f
0
(c) < 0 o f
0
(c) = se sigue un resultado similar.
5.6 Derivadas Iguales a Cero y Extremos Locales
Deniicion. Sea f una funcion de valor real denida en un subconjunto S de un espacio metrico (M, d) y
sea a S. Decimos que f tiene un maximo local en a si existe > 0 tal que f(x) f(a) para todo x B(a, )S.
Si f(x) f(a) para todo x B(a, ) S entonces decimos que f tiene un mnimo local en a.
Nota. Un maximo local en a es el maximo absoluto de f en B(a, ) S. Si f tiene un maximo absoluto en
a entonces a es maximo local, sin embargo, f puede tener maximos locales en muchos puntos de S sin tener
maximo absoluto en S.
Teorema 6. (Apostol, Teorema 5.9). Sean f : (a, b) R y c (a, b) tales que f tiene un maximo local o un
mnimo local en c. Si f tiene derivada en c entonces f
0
(c) = 0.
Prueba. Si f
0
(c) > 0 o f
0
(c) = + entonces f no puede tener extremos locales en c por el teorema anterior.
Similarmente f
0
no puede ser negativa o en c por la misma razon. De tal forma que f
0
(c) = 0.
Observacion. El recproco de este teorema no es cierto (tome por ejemplo f(x) = x
3
en x = 0).
5.7 Teorema de Rolle
Teorema 7. (Rolle). (Apostol, Teorema 5.10). Sea f : [a, b] R continua con derivada (nita o innita) en
todo punto de (a, b) y tal que f(a) = f(b). Entonces existe por lo menos un c (a, b) tal que f
0
(c) = 0.
Prueba. Supongamos, razonando por el absurdo, que f
0
(x) 6= 0 para todo x (a, b). Como f es continua en
[a, b] entonces f tiene maximo y mnimo en alg un punto de [a, b]. Tales valores no pueden alcanzarse en (a, b)
ya que f
0
(x) 6= 0 para todo x (a, b), de tal forma que el maximo y el mnimo se encuentran en a y b. Ahora,
como f(a) = f(b) entonces f debe ser constante en [a, b] y con eso f
0
(x) = 0 para todo x (a, b), lo cual es
absurdo. Por lo tanto existe c (a, b) tal que f
0
(c) = 0.
5.8 Teorema del Valor Medio Para Derivadas
Teorema 8. (Generalizado del Valor Medio). (Apostol, Teorema 5.11). Sean f, g : [a, b] R continuas y con
derivada (nita o innita) en todo punto de (a, b). Supongamos que no existe x (a, b) para el cual f
0
(x) y
g
0
(x) sean innitas a la vez. Entonces existe c (a, b) tal que
f
0
(c)[g(b) g(a)] = g
0
(c)[f(b) f(a)].
Prueba. Sea
h(x) := f(x)[g(b) g(a)] g(x)[f(b) f(a)].
Entonces h
0
(x) es nita si f
0
(x) y g
0
(x) son nitas a la vez y h
0
(x) es innita si exactamente una de las dos
(f
0
(x) o g
0
(x)) es innita.
h es continua en [a, b] y diferenciable en (a, b), luego, por el Teorema de Rolle existe c (a, b) tal que h
0
(c) = 0,
es decir, tal que
f
0
(c)[g(b) g(a)] = g
0
(c)[f(b) f(a)].
52
Corolario 9. (Teorema del Valor Medio). (Apostol, Teorema 5.11). Sea f : [a, b] R continua con derivada
(nita o innita) en todo punto de (a, b). Entonces existe c (a, b) tal que
f(b) f(a) = f
0
(c)(b a).
Prueba. Tomese g(x) = x en el Teorema Generalizado del Valor Medio.
Corolario 10. (Apostol, Teorema 5.13). Sean f, g : [a, b] R con derivadas (nitas o innitas) en (a, b).
Supongamos que f(a+), g(a+), f(b), g(b) existen y son nitos. Supongamos ademas que no existe x (a, b)
para el cual f
0
(x) y g
0
(x) sean innitos a la vez. Entonces existe c (a, b) tal que
f
0
(c)[g(b) g(a+)] = g
0
(c)[f(b) f(a+)].
Prueba. Denamos F, G : [a, b] R de la siguiente forma
F(x) :=

f(a+) si x = a,
f(x) si x (a, b),
f(b) si x = b,
G(x) :=

g(a+) si x = a,
g(x) si x (a, b),
g(b) si x = b.
Aplicando el Teorema Generalizado del Valor Medio a F y G se sigue el resultado.
Teorema 11. (Apostol, Teorema 5.14). Sea f : [a, b] R continua, con derivada (nita o innita) en (a, b).
1. Si f
0
toma solo valores positivos (incluido +) en (a, b) entonces f es estrictamente creciente en [a, b].
2. Si f
0
toma solo valores negativos (incluido ) en (a, b) entonces f es estrictamente decreciente en [a, b].
3. Si f
0
es cero en (a, b) entonces f es constante en [a, b].
Prueba. Sean x, y [a, b], con x < y. Por el Teorema del Valor Medio existe c (x, y) tal que
f(y) f(x) = f
0
(c)(y x).
De lo anterior se sigue el resultado.
5.9 Teorema del Valor Intermedio Para Derivadas
Teorema 12. (del Valor Intermedio Para Derivadas). (Rudin, Teorema 5.12). Sea f : [a, b] R diferenciable
en [a, b]. Si c es un n umero real entre f
0
(a) y f
0
(b) entonces existe por lo menos un punto x (a, b) tal que
f
0
(x) = c.
Prueba. Supongamos, sin perdida de generalidad, que f
0
(a) < c < f
0
(b). Sea g : [a, b] R denida por
g(t) = f(t) ct. Observemos que g es continua en [a, b] , por lo tanto, por el Teorema del Valor Extremo,
alcanza su maximo en alg un punto de [a, b]. Como f
0
(a) < c entonces g
0
(a) = f
0
(a) c < 0 y entonces
g(a) > g(t
1
) para cierto t
1
(a, b) y en forma similar g(b) > g(t
2
) para cierto t
2
(a, b), de tal forma que g
alcanza su mnimo en un punto x (a, b). Con lo anterior g
0
(x) = 0, es decir, f
0
(x) c = 0, luego f
0
(x) = c.
Corolario 13. (Apostol, Teorema 5.18). Sea f : (a, b) R diferenciable. Si f
0
es monotona en (a, b) entonces
f
0
es continua en (a, b).
Prueba. Razonando por el absurdo supongamos que f
0
es discontinua en c (a, b). Sea [, ] (a, b) tal que
c (, ). Como f
0
es monotona en [, ] entonces la discontinuidad de f
0
en c es una discontinuidad por salto
(resultado visto antes). Por lo tanto f
0
omite alg un valor entre f
0
() y f
0
() contradiciendo el Teorema del
Valor Intermedio Para Derivadas. Luego, f
0
es continua en (a, b).
53
Teorema 14. (Regla de LHopital) Sean f : [a, b] R y g : [a, b] R funciones continuas con derivada nita
en cada punto de (a, b) tales que f(a) = g(a) = 0. Si para cierto
0
> 0, g(x) 6= 0 y g
0
(x) 6= 0 en (a, a +
0
) y
existe lim
xa
+
f
0
(x)
g
0
(x)
(en R) entonces
lim
xa
+
f(x)
g(x)
= lim
xa
+
f
0
(x)
g
0
(x)
.
Prueba. Sea L := lim
xa
+
f
0
(x)
g
0
(x)
. Dado > 0 existe > 0 ( >
0
) tal que si a < x < a + entonces

f
0
(x)
g
0
(x)
L

< . Por el Teorema Generalizado del Valor Medio, dado x (a, a +), existe c (a, x) tal que
f
0
(c)[g(x) g(a)] = g
0
(c)[f(x) f(a)].
Ahora, como f(a) = g(a) = 0, g
0
(c) 6= 0 y g(x) 6= 0 entonces
f(x)
g(x)
=
f
0
(c)
g
0
(c)
y as

f(x)
g(x)
L

f
0
(c)
g
0
(c)
L

< .
Por lo tanto lim
xa
+
f(x)
g(x)
= L.
5.10 F ormula de Taylor
Teorema 15. (Apostol, Teorema 5.20). Sean f, g : [a, b] R con n N derivadas nitas en (a, b) y n 1
derivadas continuas en [a, b]. Supongamos que c [a, b]. Entonces, para todo x [a, b], x 6= c, existe x
1
(x, c)
tal que
"
f(x)
n1
X
k=0
f
(k)
(c)
k!
(x c)
k
#
g
(n)
(x
1
) = f
(n)
(x
1
)
"
g(x)
n1
X
k=0
g
(k)
(c)
k!
(x c)
k
#
Prueba. Por simplicidad supongamos que c < b y que x > c. Fijemos x y denamos F, G : [c, x] R por
F(t) := f(t) +
n1
X
k=1
f
(k)
(t)
k!
(x t)
k
, G(t) := g(t) +
n1
X
k=1
g
(k)
(t)
k!
(x t)
k
.
Entonces F y G son continuas en [c, x] y tienen derivada nita en (c, x). Por el Teorema del Valor Medio
Generalizado existe x
1
(c, x) tal que
F
0
(x
1
)[G(x) G(c)] = G
0
(x
1
)[F(x) F(c)].
Observemos que F(x) = f(x) y G(x) = g(x). Entonces
F
0
(x
1
)[g(x) G(c)] = G
0
(x
1
)[f(x) f(c)]. (1)
Calculemos F
0
(x
1
) y G
0
(x
1
).
F
0
(t) =f
0
(t) +
f
00
(x
1
)
1!
(x t) +
f
0
(t)
1!
(1) +
f
000
(t)
2!
(x t)
2
+ 2
f
00
(t)
2!
(x t)(1) +
f
(4)
(t)
3!
(x t)
3
+ 3
f
000
(t)
3!
(x t)
2
(1) + +
f
(n)
(t)
(n 1)!
(x t)
n1
+ (n 1)
f
(n1)
(t)
(n 1)!
(x t)
n2
(1)
=
f
(n)
(t)
(n 1)!
(x t)
n1
.
54
Por lo tanto
F
0
(x
1
) =
f
(n)
(x
1
)
(n 1)!
(x x
1
)
n1
. (2)
Y analogamente
G
0
(x
1
) =
g
(n)
(x
1
)
(n 1)!
(x x
1
)
n1
. (3)
Se sigue entonces, de (1), (2) y (3), que
f
(n)
(x
1
)
(n 1)!
(x x
1
)
n1
"
g(x) g(c)
n1
X
k=1
g
(k)
(c)
k!
(x c)
k
#
=
g
(n)
(x
1
)
(n 1)!
(x x
1
)
n1
"
f(x) f(c)
n1
X
k=1
f
(k)
(c)
k!
(x c)
k
#
f
(n)
(x
1
)
"
g(x) g(c)
n1
X
k=1
g
(k)
(c)
k!
(x c)
k
#
=g
(n)
(x
1
)
"
f(x) f(c)
n1
X
k=1
f
(k)
(c)
k!
(x c)
k
#
Teorema 16. (Taylor). (Apostol, Teorema 5.19). Sea f : [a, b] R con n N derivadas nitas en (a, b) y
n 1 derivadas continuas en [a, b]. Supongamos que c [a, b]. Entonces, para todo x [a, b], x 6= c, existe
x
1
(x, c) tal que
f(x) = f(c) +
n1
X
k=1
f
(k)
(c)
k!
(x c)
k
+
f
(n)
(x
1
)
n!
(x c)
n
.
Prueba. Sea g(x) = (x c)
n
. Entonces g
(k)
(c) = 0 para todo k {0, . . . , n 1} y g
(n)
(x) = n! Aplicando el
teorema anterior obtenemos
"
f(x)
n1
X
k=0
f
(k)
(c)
k!
(x c)
k
#
n! = f
(n)
(x
1
)[(x c)
n
0].
Luego
f(x) =
f
(n)
(x
1
)
n!
(x c)
n
+
n1
X
k=0
f
(k)
(c)
k!
(x c)
k
=f(c) +
n1
X
k=1
f
(k)
(c)
k!
(x c)
k
+
f
(n)
(x
1
)
n!
(x c)
n
.
5.11 Derivadas de Funciones Vectoriales
Denicion. Sea f : (a, b) R
n
. Entonces f = (f
1
, . . . , f
n
) donde f
k
: (a, b) R para k = 1, . . . , n.
Decimos que f es diferenciable en c (a, b) si f
k
es diferenciable en c para todo k = 1, . . . , n, y denimos
f
0
(c) = (f
0
1
(c), . . . , f
0
n
(c)).
55
Facilmente se puede probar el siguiente par de resultados.
Teorema 17. (Apostol, Secci on 5.13). Sean f, g : (a, b) R
n
funciones diferenciables en c (a, b) y sea
R. Entonces f +g, f y f g son diferenciables en c y se cumple que
1. (f +g)
0
(c) = f
0
(c) +g
0
(c).
2. (f)
0
(c) = f
0
(c).
3. (f g)
0
(c) = f
0
(c) g(c) +f(c) g
0
(c).
Teorema 18. (Apostol, Seccion 5.13). Sean f una funci on vectorial y u una funci on de valor real. Si el
dominio de f contiene una bola abierta centrada en u(c) para alg un c en el dominio de u y si u
0
(c) y f
0
(u(c))
existen entonces la funcion compuesta g denida por g(x) = f(u(x)) es diferenciable en c y se tiene que
g
0
(c) = f
0
(u(c))u
0
(c).
56