Notas de Clase (Análisis)

Introduccion al Analisis Real
Notas de Clase - Semestre 02-2016
Universidad Nacional de Colombia

Sede Medelln
Escuela de Matematicas
Profesor
Eddye Bustamante (eabusta0@unal.edu.co), oficina: 43-218.
Horario de asesora: martes y jueves, 10:00 am a 12:00 m.
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 Numeros Reales y de los Numeros Complejos
Axiomas de campo y algunas consecuencias importantes.
Axioma de orden y algunas consecuencias importantes. Numeros naturales, enteros, racionales
e irracionales. Exponenciacion con exponentes enteros.
1 Valor Absoluto. Representacion geometrica de los numeros reales. Intervalos. Propiedad de
la mnima cota superior (axioma del supremo) y algunas consecuencias importantes.
2 Existencia de races cuadradas. Representacion decimal de los numeros reales. Mas y menos
infinito y el sistema extendido de los numeros reales.
3 El campo de los complejos. Espacios euclideanos.
Captulo 2: Algunas Nociones Basicas de Teora de Conjuntos
4 Conjuntos finitos, contables y no contables.
Captulo 3: Elementos de Topologa Basica
5 Espacios metricos. Bolas abiertas y cerradas. Conjuntos abiertos.
6 Puntos interiores e interior de un conjunto. Resultados sobre conjuntos
abiertos. Conjuntos cerrados.
7 Conjuntos cerrados. Puntos de acumulacion y clausura de un conjunto. Resultados sobre
conjuntos cerrados.
8 Teorema de Bolzano-Weierstrass. Teorema de interseccion de Cantor.
9 Teorema de cubrimiento de Lindelof. Teorema de cubrimiento de Heine-Borel.
10 Compacidad. Resultados sobre compacidad.
11 Teorema de Bolzano-Weierstrass en espacios metricos compactos. Teorema de la interseccion
de Cantor en espacios metricos compactos.
Captulo 4: Lmites y Continuidad
12 Sucesiones convergentes. Subsucesiones. Sucesiones acotadas.
13 Sucesiones monotonas. Sucesiones de Cauchy. Espacios metricos completos.
14 Resultados sobre espacios metricos completos. Lmite de una funcion. Lmites de funciones
vectoriales.
15 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.
16 Teorema de Bolzano. Teorema del valor intermedio. Conexidad.
17 Continuidad y conexidad. Teorema del valor intermedio para funciones reales, continuas.
18 Arco conexidad. Continuidad Uniforme.
19 Continuidad uniforme y conjuntos compactos. Teorema de Heine. Teorema de punto fijo para
contracciones. Teorema de punto fijo de Banach. Discontinuidades de funciones con valores
reales.
Captulo 5: Derivadas
20 Derivadas y continuidad. Algebra de derivadas.
21 La regla de la cadena. Derivadas unilaterales y derivadas infinitas. Funciones con derivada
diferente de cero.
22 Derivadas iguales a cero y extremos locales. Teorema de Rolle. Teorema del valor medio
para derivadas.
23 Teorema del valor intermedio para derivadas.
24 Regla de LHopital. Formula de Taylor. Derivadas de funciones vectoriales.
Evaluacion
Se realizaran 4 examenes parciales de igual valor de acuerdo a la informacion de la siguiente tabla.
Primer parcial Jueves 25 de agosto Captulos 1 y 2

Segundo parcial Jueves 15 de septiembre Captulo 3
Tercer parcial Jueves 27 de octubre Captulo 4
Cuarto parcial Jueves 17 de noviembre Captulo 5
ii
Captulo 1
El Sistema de los Numeros Reales

y de los Numeros Complejos
En el presente captulo estudiaremos, inicialmente, algunas propiedades de los numeros reales (R) como conse-
cuencia de ciertos axiomas. Mas adelante definiremos el conjunto de los numeros complejos (C) y estudiaremos
unas pocas propiedades basicas, dejando un estudio mas profundo a un curso de Analisis Complejo. Al final 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 numeros reales supondremos la existencia de dos operaciones, llamadas adicion
(o suma) y multiplicacion (o producto), tales que para cada par de numeros reales a y b, la suma a + b y el
producto a b son numeros 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 a1 , tal que a a1 = 1.
Algunas consecuencias de los axiomas de campo
F1. En una suma o producto de varios numeros reales los parentesis pueden ser omitidos. Esto, como conse-
cuencia de la propiedad asociativa.
F2. En una suma o producto de varios numeros 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 x1 y x2 son soluciones de la ecuacion. Entonces se cumple que x1 +a = b
y x2 + a = b. Por lo tanto,
x1 + a = x2 + a
(x1 + a) + (a) = (x2 + a) + (a)
x1 + (a + (a)) = xa + (a + (a))
x1 + 0 = x2 + 0
x1 = x2 .
F4. Dados a, b R con a 6= 0, la ecuacion xa = b tiene solucion unica dada por x = b a1 . (En adelante
escribiremos ab en lugar de b a1 . En particular a1 = a1 ).
Para ver que b a1 es solucion de la ecuacion observemos que (ba1 )a = b(a1 a) = b 1 = b.
Para la unicidad, supongamos que x1 y x2 son soluciones de la ecuacion. Entonces se cumple que x1 a = b
y x2 a = b. Por lo tanto,
x1 a = x2 a
(x1 a)a1 = (x2 a)a1
x1 (aa1 ) = x2 (aa1 )
x1 1 = x2 1
x1 = x2 .
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, segun 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. (a1 )1 = a para todo a R tal que a 6= 0. Esto se sigue facilmente de F4 y del hecho que (a1 )1 y a
son soluciones de la ecuacion x a1 = 1. (Observemos que, como a a1 = 1, entonces a1 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 = a1 b1 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 a1 b1 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 a
= (ac)(bc)1 = acb1 c1 = ab1 = ,
bc b
a c 1 1 1 ac
= (ab )(cd ) = ac(bd) = ,
b d bd
a c ad bc ad + bc
+ = + = (ad)(bd) + (bc)(bd)1 = (ad + bc)(bd)1 =
1
.
b d bd bd 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

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 afirmaciones 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 significaran 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 afirmaciones 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 significa 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:
(numero positivo)+(numero positivo)=(numero positivo),
(numero negativo)+(numero negativo)=(numero negativo),
(numero positivo)(numero positivo)=(numero positivo),
(numero positivo)(numero negativo)=(numero negativo),
(numero negativo)(numero negativo)=(numero positivo).
O6. Para todo a R tenemos que a2 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 a2 > 0. Ademas la suma de elementos positivos es positivo.
Como consecuencia especial notemos que 1 = 12 > 0.
1 1
O7. Si a > 0, entonces a > 0. Este hecho se sigue de a a = 1 > 0 y las reglas de los signos para el producto.
O8. Si a > b > 0, entonces a1 < 1b . 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 simplificarse es 1b > a1 .
3
O9. Numeros naturales. Definamos 2 := 1 + 1, 3 := 2 + 1, 4 := 3 + 1, etc. y definamos el conjunto de los
numeros naturales por N := {1, 2, 3, ...}. Como 1 > 0 se sigue que 0 < 1 < 2 < 3 < .
Por la forma en que esta definido, el conjunto de los numeros 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 numero natural tiene un sucesor inmediato y dos numeros naturales distintos tienen dos sucesores
inmediatos distintos.
Los numeros naturales cumplen las reglas usuales para la suma y el producto.
Al conjunto de los numeros naturales tambien se le conoce como enteros positivos y se representa por Z+ .
Numeros enteros. Definiremos el conjunto de los numeros 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.
Numeros racionales. Llamaremos numeros racionales a los elementos de los reales que pueden ser escritos
en la forma ab , con a, b Z y b 6= 0. El smbolo que emplearemos para denominar a los numeros racionales
es Q.
La relacion de orden entre dos numeros racionales puede ser determinada escribiendo los dos numeros con
un denominador comun.
Numeros irracionales. Llamaremos numeros iracionales a aquellos numeros 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 21 R+ .
Definamos 0 := 21 (a b) R+ . Por hipotesis a b + 0 , pero
1 a+b 2a
b + 0 = b + (a b) = < < a.
2 2 2
O sea que b + 0 < a. Esto es absurdo. Se sigue que a b.
1.3 Exponenciacion con Exponentes Enteros

Si a R y n N definimos an = a a a a (n veces) y si a 6= 0 definimos a0 = 1, an = a1n .

De estas definiciones se sigue inmediatamente que am an = am+n , (am )n = amn ; (ab)m = am bm .
1.4 Valor Absoluto

Si a R, definimos

a si a > 0,
|x| := 0 si a = 0, (1)
a si a < 0.

4
Claramente, de la definicion 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 = a2 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 solo 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 definicion 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
|x1 + x2 + x3 + xn | |x1 | + |x2 | + |x3 | + |xn |,
para todo x1 , x2 , x3 , xn 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 Representacion Geometrica de los Numeros Reales

(Apostol, Seccion 1.4)
Los numeros 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 numero real y
cada numero 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
El conjunto de todos los puntos que se encuentran entre a y b es llamado intervalo.
Definicion. Sean a, b R tales que a < b. Definimos 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 definidos en forma similar, empleando las desigualdades a < x b
y a x < b.
Los intervalos infinitos se defininen 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

Sea S R. Una cota superior de S es un numero 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 = sup S).
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 = sup S.
Analogamente se definen: cota inferior, maxima cota inferior (infimo) 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).
1
2. Para todo > 0 existe n N tal que n < . (En otras palabras, existen racionales positivos arbitrariamente
pequenos).
3. Para todo x R existe n Z tal que n x < n + 1.

n n+1
4. Para todo x R y todo N N existe n Z tal que N x< N .
5. Si x R y > 0 entonces existe r Q tal que |x r| < . (En otras palabras, un numero real puede ser
aproximado, tan cerca como se desee, por un numero 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 = sup Z. 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 = sup Z,
lo cual es absurdo ya que Z no puede tener una cota superior menor que a. Se sigue entonces la afirmacion
1.
1 1
2. Sea > 0, entonces R. Por 1 existe n Z tal que n > > 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.
n 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 x< N .
5. Sea x R y > 0. Por 2 existe N N tal que N1 < . Ademas, por 4, existe n N tal que n
N x< n+1
N .
n
Por lo tanto < 0 x N < n+1 n 1 n
N N = N < . Es decir |x N | < .
1.8 Existencia de Races Cuadradas

Definicion. Dado a R diremos que x R es una raz cuadrada de a si x2 = a.

Teorema 4. (Rosenlicht, Seccion II.4). Todo numero real positivo tiene una unica raz cuadrada positiva.
Prueba. Existencia: Sean a > 0 y S := {x R : x 0, x2 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 = sup S. 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 < s2 a y como
y+ / S pues y + > y = sup S, 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 y1 , y2 R+ tales que y12 = a y y22 = a. Supongamos, razonando por el absurdo, que y1 6= y2 .
Sin perdida de generalidad supongamos que y1 < y2 . Entonces a = y12 < y22 = a. Es decir, a < a, lo cual es
absurdo. Se sigue que y1 = y2 .

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 m2 k con m, k N y m, k > 1). Razonando por el absurdo supongamos

que n = ab donde a, b N son primos relativos (no tienen factor comun a excepcion del 1). Entonces nb2 = a2
y entonces a2 es multiplo de n, lo cual implica que a es multiplo 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 ecuacion nb2 = a2 se convierte en nb2 = c2 n2 o b2 = nc2 y entonces b es

multiplo 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 = m2 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 numero k
tambien sera racional, contradiciendo la primera parte de la prueba.

Del anterior teorema podemos ver que I 6= pues 2 I.
1.9 Representacion Decimal de los Numeros Reales

(Apostol, Secciones 1.15, 1.16 y 1.17)
Un numero real de la forma

a1 a2 an
r = a0 + + + + n, (4)
10 102 10
donde a0 N y a1 , an Z son tales que 0 ai 9, usualmente es escrito en una forma mas breve como
r = a0 . a1 a2 an .
8
A esta forma se le conoce como representacion decimal finita de r. Por ejemplo
2 9 3 4
1+ + 2 + 3 + 4 = 1.2934.
10 10 10 10
Los numeros reales que son representables de la forma (4) necesariamente son racionales; sin embargo, no todos
los racionales tienen una representacion racional finita (considere por ejemplo 31 ).
Teorema 6. (Aproximaciones Decimales Finitas Para los Numeros Reales). (Apostol, Teorema 1.20). Sea
x 0 entonces para todo n N existe un decimal finito rn = a0 . a1 a2 an tal que
1
rn x < rn + .
10n
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 a0 := sup S. Facilmente puede verse que a0 S (a0 es llamado el
mayor entero en x y es denotado [x]). Claramente
a0 x < a0 + 1.
Definamos ahora a1 := [10x 10a0 ]. Como 0 10x 10a0 = 10(x a0 ) < 10 entonces 0 a1 9 y
a1 10x 10a0 < a1 + 1.
En otras palabras, a1 es el entero mas grande que satisface

a1 a1 + 1
a0 + x < a0 + .
10 10
Continuando con este procedimiento, despues de escoger a1 , an1 con 0 ai 9, definimos an como el
entero mas grande que satisface
a1 an a1 an + 1
a0 + + + n x < a0 + + + . (5)
10 10 10 10n
Entonces 0 an 9 y
1
rn x < rn + ,
10n
donde rn = a0 . a1 an .
Facilmente se puede verificar que x es el supremo de el conjunto de racionales r1 , r2 , . . .
Representacion Decimal Infinita de los Numeros Naturales
Los enteros a0 , a1 , a2 . . . obtenidos en la prueba del teorema anterior pueden ser empleados para definir una
representacion decimal infinita de x: x = a0 . a1 a2 . Con esto damos a entender que an es el entero mas
grande que satisface (5). Por ejemplo, si x = 81 entonces a0 = 0, a1 = 1, a2 = 2, a3 = 5 y an = 0 para todo
n 4. Por lo tanto podemos escribir
1
= 0.125000
8
Si intercambiamos los signos de desigualdad y < en (5) obtenemos una definicion un poco diferente de la
representacion decimal. Los decimales finitos rn satisfacen rn < x rn + 10n aunque los dgitos a0 , a1 , a2 , . . .
no tienen que ser, necesariamente, los mismos que en (5). Por ejemplo, si aplicamos esta segunda definicion a
x = 18 tenemos
1
= 0.124999
8
Que un numero real pueda tener dos representaciones decimales diferentes es un reflejo de que dos conjuntos
diferentes de numeros reales puedan tener el mismo supremo.
9
1.10 Mas y Menos Infinito y el Sistema Extendido de los Numeros Reales
Definicion. Llamaremos Sistema Extendido de los Numeros Reales y lo denotaremos R al conjunto de los
numeros 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

Definicion. (Rudin, Definicion 1.24). Un numero complejo es un par ordenado (a, b) de numeros reales. Si
x := (a, b) y y := (c, d) son dos numeros complejos entonces escribimos x = y si y solo si a = c y b = d. Ademas,
definimos
x + y = (a + c, b + d) y xy = (ac bd, ad + bc).
Teorema 7. (Rudin, Teoremas 1.25 y 1.26).
1. De las definiciones de adicion y multiplicacion se sigue que el conjunto de los numeros 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 numeros 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 definiciones de adicion
y multiplicacion para numeros complejos.
De la parte 2 del teorema anterior se ve que los numeros complejos de la forma (a, 0) tienen las mismas
propiedades aritmeticas que la de los correspondientes numeros reales a. De esta forma podemos considerar a
R como un subconjunto de C.
Definicion. (Rudin, Definicion 1.27). Definiremos el numero complejo i como el par ordenado (0, 1).
10
Teorema 8. (Rudin, Teoremas 1.28 y 1.29)
1. i2 = 1.
2. Si a, b R entonces (a, b) = a + bi.

Prueba.
1. i2 = 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).
Definicion (Rudin, Definicion 1.30) Si a, b R y z := a + bi entonces el numero complejo z := a bi es llamado

el conjugado de z. Ademas, llamamos parte real y parte imaginaria de z a los numeros 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) = (a2 + b2 , ab + ab) = (a2 + b2 , 0) = a2 + b2 .

Luego zz > 0 si z 6= 0 y zz = 0 si z = 0.

Si z C, su valor absoluto (o modulo), es|z| = zz. Notemos que si
Definicion. (Rudin, Definicion 1.32).
x R entonces x = x y entonces |x| = x2 . Ademas, si z = a + bi entonces |z| = a2 + b2 .
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 x1 , x2 , ..., xn C escribimos

n
X
x1 + x2 + xn = xj .
j=1
11
Teorema 11. (Desigualdad de Cauchy-Schwarz). (Rudin, Teorema 1.35). Si a1 , a2 , ..., an C y b1 , b2 , ..., bn
C entonces
n
X n
X n
X
| aj bj |2 |aj |2 |bj |2 .
j=1 j=1 j=1
Prueba. Sean
n
X n
X n
X
2 2
A := |aj | , B := |bj | y C := aj bj .
j=1 j=1 j=1
Si B = 0 entonces b1 = b2 = = bn = 0 y se cumple trivialmente la desigualdad.

Supongamos entonces que B > 0.
n
X n
X n
X
|Baj Cbj |2 = (Baj Cbj )(Baj Cbj ) = (Baj Cbj )(Baj Cbj )
j=1 j=1 j=1
Xn
= (B 2 |aj |2 BCaj bj BCaj bj + |C|2 |bj |2 )
j=1
n
X n
X n
X n
X
= B2 |aj |2 BC aj bj BC aj bj + |C|2 |bj |2
j=1 j=1 j=1 j=1
2 2
= AB BCC BCC + |C| 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 n
X n
X
| aj bj |2 |aj |2 |bj |2 .
j=1 j=1 j=1
1.12 Espacios Euclideanos
Definiciones. (Rudin, Definiciones 1.36). Para k N definimos Rk al conjunto de todas las k-tuplas ordenadas
x := (x1 , ...xk ), donde x1 , ..., xk R son llamados coordenadas de x.
Si x := (x1 , ..., xk ), y := (y1 , ..., yk ) y R. Entonces
x + y := (x1 + y1 , ..., xk + yk ), x = (x1 , ..., yk ).
Estas dos operaciones satisfacen las leyes conmutativa, asociativa y distributiva. Ademas Rk es un espacio
vectorial sobre el campo de los reales.
El cero de Rk es el elemento que tiene 0 R en todas sus coordenadas.
Producto Interno (o Producto Escalar)
Si x := (x1 , ..., xk ) y y := (y1 , ..., yk ) definimos el producto interno de y y y por

k
X
x y := xj yj ,
j=1
y la norma de x por p
kxk := (x x).
Al espacio vectoarial Rk con el producto interno y la norma definida se le conoce como espacio eucldeo k-
dimensional.
12
Teorema 12. (Rudin, Teorema 1.37). Sean x, y, z Rk y R entonces
1. kxk 0.
2. kxk = 0 si y solo 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 finitos e infinitos
y algunos resultados concernientes a ellos.
2.1 Conjuntos Finitos, Contables y no Contables
Definiciones (Rudin, Definiciones 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 (x1 ) 6= f (x2 ) siempre que x1 6= x2 para
x1 , x2 A.
Observemos que en el caso en que f : A B es una funcion uno a uno, podemos definir 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 (reflexividad).
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 definamos Jn := {1, 2, . . . n}. Si A es un conjunto entonces
(a) A es finito si A Jn para algun n (el conjunto vaco tambien es considerado finito).
(b) A es infinito si no es finito.
(c) A es contable si A N .
(d) A es no contable si no es ni finito ni contable.
(e) A es a lo sumo contable si es finito o es contable.

Ejemplo. (Rudin, Ejemplo 2.5). Z es contable ya que podemos definir la siguiente funcion uno a uno entre Z
y N:
1 7 0, 2 7 1, 3 7 1, 4 7 2, 5 7 2, . . . .
La formula explcita para esta funcion f : N Z es
n
si n es par,

2
f (n) :=
n 1

si n es impar.

2
Definicion. (Rudin, Definicion 2.7). Definimos sucesion a una funcion f cuyo dominio es N. Si f (n) = xn
es usual denotar a la sucesion por el smbolo {xn }, o algunas veces por x1 , x2 , x3 , . . . Los valores de f , es
decir, los elementos xn son llamados terminos de la sucesion. Si A es un conjunto y xn A para todo n N
entonces decimos que {xn } 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 definida 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 infinito de un conjunto contable A es contable.
Prueba. Sea E A un conjunto infinito. Arreglemos los elementos de A en una sucesion {xn } y construyamos
la sucesion {nk } de la siguiente forma: sea n1 el menor entero positivo tal que xn1 E. Despues de haber
escogido n1 , . . . , nk1 (k = 2, 3, 4, . . . ) sea nk el menor entero mayor que nk1 tal que xnk E. Definiendo
f (k) := xnk (k = 1, 2, 3, . . . ) obtenemos una correspondencia uno a uno entre E y N. Luego E es contable.
Definicion. (Rudin, Definicion 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.
Definiremos 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= E .
A
Si A := {1, 2, . . . , n}, usualmente escribiremos

n
[
S= Em
m=1
o
S = E1 E2 En .
Si A = N, la notacion usual es

[
S= Em .
m=1
15
Definimos 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 = E
A
o
n
\
P = Em = E1 E2 En
m=1
o

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

[
S= En .
n=1
Entonces S es contable.
Prueba. Para cada En consideremos la sucesion {xnk }, k = 1, 2, 3, . . . con los elementos de de En . En el

siguiente arreglo se muestra en la n-esima fila los elementos de En .
x11 x12 x13 x14

x21 x22 x23 x24
x31 x32 x33 x34
x41 x42 x43 x44
.. .. .. ..
. . . .
El arreglo contiene todos los elementos de S. Consideremos entonces la sucesion
x11 , x21 , x12 , x31 , x22 , x13 , x41 , x32 , x23 , x14 , . . .
Si dos de los conjuntos En tienen elementos en comun, 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 E1 S y E1 es infinito
entonces S es infinito. 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 := B .
A
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 Bn el conjunto de las n-tuplas
(a1 , . . . , an ) donde ak A para k = 1, . . . n y los elementos a1 , . . . , an no tienen que ser necesariamente di-
ferentes. Entonces Bn es contable.
Prueba. Realizaremos la prueba por induccion.

Como B1 = A entonces B1 es contable. Supongamos que Bn1 es contable. Los elementos de Bn son de la
forma (b, a) con b Bn1 y a A.
Para cada b fijo el conjunto de pares ordenados (b, a) es equivalente a A y entonces es contable. Por lo tanto
Bn es es la union contable de conjuntos contables luego Bn es contable.
16
Corolario 5. El conjunto de los numeros racionales es contable.
Prueba. Aplicando el teorema anterior con n = 2 notando que cada racional r es de la forma ab donde a y b
son enteros obtenemos que el conjunto de pares ordenados (a, b) y por lo tanto el conjunto de fracciones ab 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 {s1 , s2 , . . . } en donde si 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 sn es
1 ponemos 0 en el n-esimo dgito de s y viceversa. Entonces la sucesion s difiere 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 numeros reales es no contable.
Prueba. Consideremos el subconjunto de los numeros reales conformado por todos aquellos numeros cuya
representacion decimal infinita 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 numeros 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)
Definicion. Un espacio metrico es un conjunto E, junto con una funcion d la cual asocia a cada par de
elementos p, q E un numero 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 = Rk , d = kp qk (metrica eucldea para Rk ).
3. Si E es un espacio metrico y E1 es subconjunto de E entonces E1 con la metrica d es un espacio metrico.

Decimos que (E1 , d) es subespacio de (E, d).
4. Sea E un conjunto arbitrario y, para p, q E, definamos

0 si p = q,
d(p, q) :=
6 q.
1 si p =
(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 p1 , . . . pn son puntos del espacio metrico (E, d) entonces
d(p1 , pn ) d(p1 , p2 ) + d(p2 , p3 ) + d(pn1 , pn ).
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(p1 , pn ) d(p1 , p2 ) + d(p2 , pn ) d(p1 , p2 ) + d(p2 , p3 ) + d(p3 , pn )

d(p1 , p2 ) + d(p2 , p3 ) + d(pn1 , pn ).
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

Definiciones. Sean (E, d) un espacio metrico, p0 E y r > 0 un numero real. Entonces la bola abierta en E
de centro p0 y radio r es el subconjunto de E dado por
B(p0 , r) := {p E : d(p0 , p) < r}.
La bola cerrada en E con centro en p0 y radio r es
B(p0 , r) := {p E : d(p0 , p) r}.
(En caso de confusion con respecto al espacio en el cual se este trabajando escribiremos este como subndice:
BE (p0 , r)).
En (R3 , 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 superficie.
En (R2 , 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+b a+b a+b ab ab ba ba a+b ba

a <x <b <x < <x < ,
2 2 2 2 2 2 2 2 2
lo cual es equivalente a
a+b ba
|x |< .
2 2
Es decir
a+b ba
(a, b) = {x R : a < x < b} = {x R : |x |< }.
2 2
O sea que el intervalo abierto (a, b) es la bola abierta con centro en a+b ba
2 y radio 2 .
En forma analoga, el intervalo cerrado [a, b] es la bola cerrada con centro en 2 y radio ba
a+b
2 .
Ademas, toda bola abierta (o cerrada) en (R, d) con centro en p0 y radio r es un intervalo abierto de la forma
(p0 r, p0 + r) (o cerrado de la forma [p0 r, p0 + r]).
En otros espacios metricos las bolas pueden diferir de las bolas usuales. Por ejemplo en (E, d) donde
E := {x R2 : x > 0, y > 0}; d(x, y) := kx yk
una bola cerrada puede ser la siguiente.
Aqu, B E (p0 , r) = B R2 (p0 , r) E.
Definicion. (Apostol, Definiciones 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 union de cualquier coleccion de subconjuntos abiertos de E es abierta en E.
4. La interseccion de un numero finito 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.
n
T
4. Sean S1 , . . . , Sn conjuntos abiertos en E y p Si . Entonces, para todo i {1, . . . , n} existe ri tal que
i=1
n
T
B(p, ri ) S. Sea r := min{ri : i = 1, . . . , n}. Entonces B(p, r) Si ya que si existiera y B(p, r) tal
i=1
n
T
que y
/ Si entonces existira k {1, , . . . , n} tal que y
/ Sk , lo cual sera absurdo.
i=1
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 p0 S. Veamos que existe r0 tal que B(p0 , r0 ) S.
Como p0 S entonces d(p, p0 ) < r y r d(p, p0 ) > 0. Sea r0 := r d(p, p0 ) y q B(p0 , r0 ). Por la desigualdad
triangular
d(p, q) d(p, p0 ) + d(p0 , q) < d(p, p0 ) + r0 = d(p, p0 ) + r d(p, p0 ) = r.
Luego q S. Es decir B(p0 , r0 ) 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 solo si X = A S para algun conjunto A abierto en (E, d).
Prueba. Supongamos que A es abierto en (E, d) y definamos X := A S. Si x X entonces x A luego

existe r > 0 tal que BE (x, r) A. De esta forma, BS (x, r) := BE (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 = A S para algun conjunto abierto A E.
Para todo x X existe rx > 0 tal que BS (x,x r) X, en donde BS (x, rx ) = BE (x, rx ) S. Definamos
[
A := BE (x, rx ).
xX
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
solo si S es union de bolas abiertas en (E, d).
S
Prueba. Sea S abierto en (E, d). Por cada x S existe rx > 0 tal que B(x, rx ) S. Luego S = B(x, rx ).
S xS
Supongamos ahora que S = B(xi , rxi ). Entonces S es abierto ya que toda union de abiertos es abierto.
iI
Definicion. 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(p0 , r) una bola cerrada en (E, d). Sea p S c .
Entonces d(p0 , p) > r, luego d(p0 , p) r > 0. Consideremos la bola abierta B(p, r0 ) donde r0 := d(p0 , p) r.
Probemos que B(p, r0 ) S c y con esto S c es abierto. Sea q B(p, r0 ). Entonces d(p, q) < r0 = d(p0 , p) r.
Por lo tanto
r < d(p0 , p) d(p, q) d(p0 , q) + d(q, p) d(p, q) = d(p0 , q).
Luego q S c y con esto B(p, r0 ) 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 union de un numero finito 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 finita de cerrados es una interseccion finita 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 solo si Y = B S para algun conjunto B cerrado en (E, d).
22
Prueba. Si Y = B S para algun 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 finito de un espacio metrico (E, d) es cerrado en E por ser la union finita de puntos.
Sea (E, d) un espacio metrico, p0 E y r > 0. B(p0 , r)c es cerrado en E y B(p0 , r) es cerrado en E. Luego,
la esfera de centro en p0 y radio r, definida por S(p0 , r) := {x E : d(x, p0 ) = r} = B(p0 , r)c B(p0 , 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 infinitos puntos que no estan en (a, b] y toda bola
abierta con centro en a tiene infinitos puntos que no estan en (a, b]c .
Para todo k N, a Rk , i N, el conjunto
Ai := {x = (x1 , . . . , xk ) Rk : xi > a}
es un conjunto abierto en Rk (considerando el espacio metrico (Rk , d), donde d es la metrica eucldea).
En efecto, sea x := (x1 , . . . , xk ) Ai .
Observemos que B(x, r) con r := xi a esta contenida en Ai . Sea y := (y1 , . . . , yk ) B(y, r) entonces
(xi yi )2 (x1 y1 )2 + + (xi yi )2 + + (xk yk )2 .
Por lo tanto |xi yi | d(x, y) < a. Lo cual es equivalente a a < xi yi < a. Entonces yi a > 0.
Con lo anterior q Ai , B(p, r) Ai y Ai es abierto. Similarmente {x = (x1 , . . . , xk ) Rk : xi < a} es
abierto en Rk .
23
De lo anterior se sigue que los conjuntos de la forma
{x = (x1 , . . . , xk ) Rk : xi a} = {x = (x1 , . . . , xk ) : x > a}c
son cerrados en Rk y que los conjuntos de la forma
{x = (x1 , . . . , xk ) Rk : xi a} = {x = (x1 , . . . , xk ) : x < a}c
son cerrados en Rk .
Ademas, dados a = (a1 , . . . , ak ); b = (b1 , . . . , bk ) Rk , el conjunto
{x = (x1 , . . . , xk ) Rk : ai < xi < bi }
es abierto por ser la interseccion de 2k conjuntos abiertos. A este tipo de conjuntos se les denomina
intervalos abiertos en Rk . Analogamente, llamamos intervalos cerrados en Rk a los conjuntos de la forma
{x = (x1 , . . . , xk ) Rk : ai xi bi }
por ser la interseccion de 2k conjuntos cerrados en Rk .
Definicion. (Apostol, Definicion 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 infinitos 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 numero finito de puntos de S a1 , . . . , an , n N. Sea r0 := min{d(x, ai ) : 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 finito no tiene puntos de acumulacion.
Definicion. (Apostol, Definicion 3.19). Definimos 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 solo 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 infinitos 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
Definicion. (Apostol, Definicion 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 (Rk , d) donde
d es la metrica eucldea. Si S Rk es un conjunto infinito y acotado entonces existe por lo menos un punto en
Rk que es punto de acumulacion de S.
Prueba. Como S es acotado existe a > 0 tal que S B(0, a) J1 donde
J1 :={x = (x1 , . . . , xk ) Rk : a xj a, j = 1, . . . , k}
=(a, a) (a, a)
(1)
I1 In(1) .
(1) (1) (1)

Realicemos una biseccion de cada Ij para obtener dos intervalos Ij,A , Ij,B para j = 1, . . . , k. Obtenemos as 2k
(2) (2)
intervalos cerrados en Rk y alguno de ellos debe contener infinitos puntos de S. Denotemos J2 := I1 Ik
a uno de estos intervalos que tiene infinitos puntos de S. Procedemos con J2 como se hizo con J1 para obtener
J3 , el cual contiene infinitos puntos de S.
Si continuamos con este procedimiento obtenemos una coleccion contable de intervalos en Rk , {J1 , J2 , J3 , . . . }
(i) (i)
donde cada Ji , i N, contiene infinitos puntos de S, y puede ser expresado de la forma Ji = I1 Ik
(i) (i) (i)
donde Ij = [aj , bj ].
Puede observarse que

(i) (i) a
bj aj = .
2i2
(i) (i)
Ademas, para cada j {1, . . . , k} debe cumplirse que sup{aj } = inf {bj }.
iN iN
(i)
Definamos tj := sup{aj }. Luego t := (t1 , . . . , tk ) es un punto de acumulacion de S. En efecto, sea r > 0; como
iN
T a r
t Ji entonces tomando i0 suficientemente grande de tal forma que i0 2 < , obtenemos que Ji0 B(t, r)
iN 2 2
y como Ji0 contiene infinitos puntos de S entonces t es punto de acumulacion de S.
25
3.4 Teorema de Interseccion de Cantor
Teorema 12. (Interseccion de Cantor). (Apostol, Teorema 3.25). Sea {Q1 , Q2 , . . . } una coleccion contable de
conjuntos no vacos en Rn , para n N, tales que
1. Qk+1 Qk , para k = 1, 2, 3, . . .
2. Todo Qk es cerrado y Q1 es acotado.

T
Entonces la interseccion Qk es un conjunto cerrado y no vaco.
k=1

T
Prueba. Sabemos que Qk es cerrado pues la interseccion de conjuntos cerrados es un conjunto cerrado.
k=1

T
Debemos probar entonces que existe x Qk .
k=1
Si alguno de los Qk es un conjunto finito la prueba es trivial. Supongamos entonces que Qk es infinito para
todo K N.
Sea A := {x1 , x2 , . . . } donde xk Qk para cada k N y xi 6= xj para todo i, j N tales que i 6= j. Como
A Q1 , A es infinito y Q1 es acotado entonces por el teorema de Bolzano-Weierstrass existe x Rk tal que x

T
es punto de acumulacion de A. Probemos que x Qk . Sea i N arbitrario y sea r > 0. Como x es punto
k=1
de acumulacion de A entonces B(x, r) {x} tiene infinitos puntos de A, luego existe m N, m > l tal que
xm B(x, r) {x} y como xm Qm Ql entonces podemos concluir que x es punto de acumulacion de Ql

T
y como Ql es cerrado entonces x Ql . Ahora, como l fue elegido arbitrariamente entonces x Qk . Luego
k=1
T
Qk es no vaco.
k=1
3.5 Teorema de Cubrimiento de Lindelof

Definicion. (Apostol,
S Definicion 3.26). Una coleccion F de conjuntos se dice un cubrimiento de un conjunto
dado S si S A. Ademas, si F es una coleccion de conjuntos abiertos entonces diremos que F es un
AF
cubrimiento abierto de S.
Ejemplos
1. Para n N, n 2 sea Fn := {x R : 1/n < x < 2/n}. La coleccion {fn }

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 {Fn }nZ donde Fn := {x R : n < x < 2n} para
n Z, la cual es un cubrimiento contable de R.
3. Sea S := {(x, y) R2 : 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 := {A1 , A2 , . . . } la coleccion contable de bolas en Rn (n N)
con radio un numero racional y centro en puntos con coordenadas racionales. Supongamos que x Rn y sea S
un conjunto abierto en Rn el cual contiene a x. Entonces existe k N tal que x Ak S.
Prueba. Sean x := (x1 , . . . , xn ) Rn y S un abierto de Rn tal que x S. Como S es abierto, existe r > 0
r
tal que B(x, r) S. Para cada k {1, . . . , n} definamos yk Q tal que |yk xk | < . Entonces si definimos
4n
y := (y1 , . . . , yn ) tenemos que
r r nr r
ky xk |y1 x1 | + + |yn xn | < + + = = .
4n 4n 4n 4
Sea q Q tal que 4r < q < 2r . 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) = Ak para algun k N.
Teorema 14. (Cubrimiento de Lindelof ). (Apostol, Teorema 3.28). Sean A Rn 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 := {A1 , A2 , . . . } la coleccion contable de todas las bolas abiertas que tienen por centro un
punto de Rn con coordenadas racionales y radio un numero 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 Ak 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

Teorema 15. (Heine-Borel). (Apostol, Teorema 3.29). Sea F un cubrimiento abierto de un conjunto cerrado
y acotado A Rn (n N). Entonces existe una subcoleccion finita de F que tambien cubre a A.
Prueba. Por el Teorema de Lindelof existe una subcoleccion {I1 , I2 , . . . } a lo sumo contable de F que cubre

S
a A. Dado m N definamos el abierto Sm := Ik . Mostremos que existe j N tal que A Sj . Con esto
k=1
{I1 , . . . , Ij } sera una subcoleccion finita de F que cubre a A.
Definamos, para m N, Qm := A Sm c . Claramente para todo m N, Q es cerrado por ser interseccion de
m
tres conjuntos cerrados, y acotado puesto que A es acotado. Ademas se cumple que Qm+1 Qm para todo
m N. Razonando por el absurdo supongamos que para todo m N existe y A tal que Ty / Sm . Entonces
Qm 6= para todo m N. Aplicando el teorema de interseccion de Cantor se sigue que Qm 6= , es decir,
mN
existe z Rn tal que z Qm para todo m N. Tal z es un elemento que esta en A y no esta en ningun Sm .

S
Esto es absurdo ya que A Sm .
m=1
27
3.7 Compacidad
Definicion. 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 finito de S.
De la definicion es claro que cualquier conjunto finito 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 {( n1 , 1)}nN es un cubrimiento abierto para el cual ninguna subcoleccion finita 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 (Rn , d) (n N). Sea S Rn .
Entonces las siguientes afirmaciones son equivalentes.
(a) S es compacto.
(b) S es cerrado y acotado.
(c) Todo subconjunto infinito de S tiene un punto de acumulacion en S.

Prueba. (b) (a): Es exactamente el Teorema de Heine-Borel.
(a) (b): Sea S Rn compacto. Sea F :=

S
B(x, 1). Claramente S F . Es decir, F es cubrimiento
xS
abierto de S. Como S es compacto entonces existe una subcoleccion finita de S que tambien cubre a S. Este
cubrimiento es acotado por ser union finita 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
kx yk
y Rn tal que y es punto de acumulacion de S y tal que y / S. Sea rx := > 0 para x S.
2
Claramente {B(x, rx ) : x S} es un cubrimiento abierto de S. Como S es compacto entonces existe una

subcoleccion finita F de estas bolas. F tiene entonces la siguiente forma: F = {B(xi , ri ) : i = 1, . . . , k} (k N).
Sea r := min{ri : i = 1, . . . , k} y z B(y, r) tal que z 6= y. Consideremos una bola aribitraria B(xj , rj ) de la
subcoleccion. Entonces
kxi zk = kxi y + y zk = k(xi y) (z y)k kxi yk kz yk = 2ri kz yk.
Pero como kz yk < r entonces kz yk > r y as
kxi zk >2ri r 2r r = r
kxi zk >r.
Hemos probado entonces que z / B(xi , r) y como z y B(xi , r) son arbitrarios y {B(xi , r)}ki=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 infinito de S, entonces A tambien
es acotado. Por el Teorema de Bolzano-Weierstrass A tiene un punto de acumulacion y Rn . 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 infinito 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 xm S tal que kxm k > m. Sea T := {x1 , x2 , . . . } 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 infinitos puntos de T := {xk+1 , xk+2 , . . . }. Sin embargo, si i N
es tal que i > k entonces
kxi yk kxi k kyi 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 Rn un punto de acumulacion de S. Para k N sea
xk B(x, k1 ) de tal forma que xi 6= xj para todo i 6= j (i, j N) (esto es posible puesto que toda bola
abierta centrada en x contiene infinitos puntos de S). De esta forma, x tambien es punto de acumulacion
de T := {x1 , x2 , x3 , . . . }. Como T S es un conjunto infinito 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 Rn tal que y 6= x.
Para cada k N
ky xk = ky xk + xk xk
ky xk k + kxk xk
1
ky xk k + .
k
1
Sabemos que existe k0 N tal que k < 12 ky xk para todo k > k0 , luego
1
ky xk < ky xk k + ky xk
2
1
ky xk k > ky xk.
2
Es decir, todas las bolas centradas en y cuyo radio sea menor que k10 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 Rn es compacto.
29
3.8 Teorema de Bolzano-Weierstrass en Espacios Metricos Compactos
Teorema 17. (Apostol, Teorema 3.38ii). Todo subconjunto infinito de un espacio metrico compacto tiene al
menos un punto de acumulacion.
Prueba. Sean (E, d) un espacio metrico y A E infinito. Razonando por el absurdo supongamos que A no
tiene puntos de acumulacion en E. Entonces dado x E arbitrario existe rx > 0 tal que B(x, rx ) A contiene
a lo sumo un punto de A (el centro). Como {B(x, rx ) : x E} es un cubrimiento abierto de E y E es compacto
k
S k
S
entonces existen x1 , x2 , . . . , xk E tales que B(xi , rxi ) = E. Pero A = A [B(xi , rxi ) A] el cual es un
i=1 i=1
conjunto que tiene a lo sumo k elementos. Esto es absurdo ya que A es infinito. 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 infinito de S tiene un punto de acumulacion en S.
Prueba.
1. Es la misma prueba que en Rn .
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.
S
Prueba. Sea F un cubrimiento abierto de S. Entonces S A. Mostremos que un numero finito de
AF
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 finito, para el cual podemos suponer
que S c es un abierto de tal subcubrimiento. De esta forma
E = A1 A2 Ak S c .
k
Este cubrimiento tambien cubre a S y como S c no tiene puntos de S entonces S
S
Ai . Luego S es compacto.
i=1
Teorema 20. (De la Interseccion de Cantor en Espacios Metricos Compactos). (Rosenlicht, Seccion III.5). Sea
{Sn } una sucesion de subconjuntos cerrados no vacos de un espacio metrico compacto (E, d) tal que Sn+1 Sn

T
para todo n N. Entonces Sn 6= .
n=1

Sn )c = E y con
T T
Prueba. Razonando por el absurdo supongamos que Sn = . Se tiene entonces que (
n=1 n=1

)c )c }
S
eso (Sn = E. Es decir {(Sn es un cubrimiento abierto de E y como E es compacto entonces existe un
n=1
subcubrimiento finito {(Snj )c }kj=1 de E.
Como Snk Snk1 Sn2 Sn1 entonces (Sn1 )c (Sn2 )c (Snk )c . Luego E (Snk )c y as

T
Snk . Esto es absurdo ya que Sn 6= para todo n N. Concluimos que Sn 6= .
n=1
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

Definicion. Sea {pn } 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 numero natural N tal que d(pn , p) < para todo n N .
(Tambien decimos que {pn } converge a p y escribimos pn p cuando n o simplemente pn p).
Si no existe tal p en E decimos que {pn } diverge.
De la definicion de convergencia se sigue que
pn p d(pn , p) 0,
donde la convergencia de {d(pn , 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
x1 = 3, x2 = 3.1, x3 = 3.14, x4 = 3.141, x5 = 3.1415, x6 = 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 1 1 1 1 1 1
1, , , , , , , , , ...
3 2 5 4 7 6 9 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 {pn } una sucesion convergente en (E, d). Supongamos que existen
p, q E, p 6= q, tales que pn p y pn q. Entonces para todo > 0 existen N, N 0 N tales que si
M := max{N, N 0 } y n M entonces d(pn , p) < y d(pn , q) < . Por la desigualdad triangular
d(p, q) d(p, pn ) + d(pn , q) < + = 2.

d(p, q)
Tomemos := > 0. Entonces existe M N tal que para todo n N
4
d(p, q) d(p, q)
d(p, q) < 2 = ,
4 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 pn .
n
Definicion. Sea {an } una sucesion en un espacio metrico. Si n1 , n2 , n3 , . . . es una sucesion de numeros naturales
estrictamente creciente (n1 < n2 < n3 < ) entonces la sucesion an1 , an2 , an3 , . . . es llamada una subsucesion
de {an } y la denotamos {ank }.
Teorema 2. (Rosenlicht, Seccion III.3). Toda subsucesion de una sucesion convergente, en un espacio metrico,
converge al mismo lmite.
Prueba. Sea (E, d) un espacio metrico y {pn } una sucesion convergente en (E, d) con p := lim pn . Dado
n
> 0 existe N N tal que para todo m N , d(p, pm ) < . Consideremos una subsucesion {pnk } arbitraria.
Observemos que k nk para todo k N, luego si k N entonces nk N y con eso d(p, pnk ) < . Por lo tanto
pnk p.
Definicion. Decimos que una sucesion {pn } es acotada en un espacio metrico (E, d) si el conjunto {p1 , p2 , . . . }
es acotado en (E, d).
Teorema 3. (Apostol, Teorema 4.3 a). Sea (E, d) un espacio metrico y {pn } una sucesion convergente en
(E, d) entonces {pn } es acotada.
Prueba. Sea p := lim pn . Para = 1 existe N N tal que para todo n N , d(pn , p) < 1. Sea r :=
n
max{d(p, p1 ), d(p, p2 ), . . . , d(p, pN ), 1}. Entonces {pn } 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 {pn } en S que es convergente en E se tiene que lim pn S.
n
Prueba. Supongamos que S es cerrado y que {pn } es una sucesion en S tal que lim pn = p E. Razonando
n
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, pn ) < , es decir, pn B(p, ) S c para todo n N. Lo
cual es absurdo. Concluimos que p S.
Supongamos ahora que toda sucesion {pn } en S convergente en E es tal que p := lim pn S y razonando
n
por el absurdo supongamos que S no es cerrado. Entonces S c no es abierto. Sea p S c . Para pk B(p, k1 )
tal que pk / S c (pk S). Observemos que {pk } es una sucesion en S tal que lim pk = p
/ S lo cual es una
n
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 numeros reales.
32
Teorema 5. (Rosenlicht, Seccion III.3). Si {an } y {bn } son sucesiones convergentes en (R, d), donde d es la
metrica eucldea y an a, bn b, entonces lim (an + bn ) = a + b, lim (an bn ) = a b, lim (an bn ) = ab y
n n n
an a
si b 6= 0 para todo n N entonces lim = .
n bn b
Prueba.
Sea > 0. Para 2 existe N1 N tal que si b N1 entonces |a an | < 2 . Ademas, existe N2 N tal que
si n N2 entonces |b bn | < 2 . Definamos N := max{N1 , N2 }. Entonces para todo n N se tiene que

|(a + b) (an + bn )| = |(a an ) + (b bn )| |a an | + |b bn | < + = .
2 2
Luego an + bn a + b.
Como {an } y {bn } son convergentes entonces son acotadas. Por lo tanto existe M > 0 tal que |an | < M
y |bn | < M para todo n N. Es decir, an , bn 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 an | < 2M y |b bn | < 2M . Luego, si
n N tenemos que
|ab an bn | = |ab abn + abn an bn | = |a(b bn ) + bn (a an )|

|a||b bn | + |bn ||a an | < M +M = .
2M 2M
Por lo tanto an bn ab.
Observemos que la sucesion 1, 1, 1, . . . converge a 1. Entonces del resultado anterior se sigue que
lim (bn ) = b. Por lo tanto
n
lim (an bn ) = lim (an + (bn )) = a + (b) = a b.

n n
|b| |b|2 |b| |b|2

Sea > 0. Para min , existe n N tal que si n N entonces |b bn | < min , . De
2 2 2 2
esta forma, si n N , tenemos que
|b| |b|
|bn | = |b (b bn )| |b| |b bn | > |b| = ,
2 2
y con eso
|b|2
1 1 bn b
| |=| | < 2 = .
b bn bbn |b|
|b|
2
1 1 an 1 1 a
Por lo tanto . As, lim = lim an = a = .
bn b n bn n bn b b
Teorema 6. (Rosenlicht, Seccion III.3). Si {an } y {bn } son sucesiones convergentes de numeros reales tales
que an a y bn b y ademas an bn para todo n N entonces a b.
Prueba. Observemos que b a = lim bn lim an = lim (bn an ). tenemos entonces la sucesion {an bn }
n n n
en S := {x R : x 0} convergente en R. Como S es cerrado en R entonces lim (bn an ) = b a S. Es
n
decir, b a 0 y con eso a b.
Definicion. Una sucesion de numeros reales {an } es creciente si a1 a2 a3 a4 y es decreciente si

a1 a2 a3 a4
Decimos que una sucesion de numeros reales es monotona si es creciente o decreciente.
33
Teorema 7. (Rosenlicht, Seccion III.3). Toda sucesion monotona, acotada, de numeros reales es convergente.
Prueba. Sea {an } una sucesion monotona, acotada, de numeros reales. Sin perdida de generalidad supongamos
que {an } es creciente. Como T := {a1 , a2 , . . . } es un conjunto acotado superiormente entonces existe a R
tal que a = sup T . Probaremos que an a. Sea > 0, entonces existe N N tal que a < aN . Ademas,
como la sucesion es creciente, se tiene que an aN para todo n N , luego a < aN an y como a es cota
superior de T entonces an a para todo n N. De esta forma a < an a < a + para todo n N . Es
decir, |an a| < . Por lo tanto an a.
Ejemplo. Pruebe que si a R, |a| < 1 entonces lim an = 0.

n
Prueba. Supongamos que a 0. Observemos que {an } es decreciente ya que an an+1 = an (1 a) 0 para
todo n N. Ademas an 0 para todo n N. Luego {an } es acotada. Por la proposicion anterior existe x 0
tal que x = lim an . Entonces
n
ax = a lim an = lim an+1 = lim an = x.
n n n
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 |an 0| < . Luego an 0.
4.2 Espacios Metricos Completos

Definicion. Una sucesion {pn } en un espacio metrico es una sucesion de Cauchy si, dado > 0, existe N N
tal que d(pn , pm ) < para todo m, n > N .
Teorema 8. (Rosenlicht, Seccion III.4). Toda sucesion convergente en un espacio metrico es de Cauchy.
Prueba. Sea {an } una sucesion en un espacio metrico (E, d) tal que an a E. Sea > 0 entonces existe
N N tal que d(an , a) < 2 para todo n > N . Por lo tanto, si n, m > N tenemos que
d(an , am ) d(an , a) + d(am , a) < .
1
Observacion. El recproco de este teorema no es, en general, cierto. Por ejemplo {an } donde an := n para
cada n N, en R {0} es Cauchy pero no es convergente en R {0}.
Teorema 9. (Rosenlicht, Seccion III.4). Toda subsucesion de una sucesion 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 sucesion de Cauchy es acotada.
Prueba. Sea {an } 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(am , an ) < 1. Sea entonces n > N fijo y sea
T := max{d(an , a1 ), d(an , a2 ), . . . , d(an , aN ), 1}.
Entonces todos los elementos de la sucesion estan en la bola B(an , T ) luego {an } 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 {an } una sucesion de Cauchy en un espacio metrico (E, d) tal que la subsucesion {ank } es
convergente, donde a E es el lmite (ank a). Sea > 0, entonces existe N N tal que para todo m, n > N ,
d(an , am ) < 2 . Como ank a entonces existe an con n > N tal que an {ank } y tal que d(an , a) < 2 . De esta
forma, dado n > N , tenemos que
d(an , a) d(an , an ) + d(an , a) < .
Definicion. 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 {an } una sucesion de
Cauchy en A. Luego, {an } es Cauchy en E. Por lo tanto existe a E tal que an a y como A es cerrado en
E entonces a A. Luego (A, d) es completo.
Teorema 13. (Rosenlicht, Seccion III.4). Rn es completo para todo n N.
Prueba. Sea {an } una sucesion de Cauchy en Rn . Entonces {an } es acotada. Si T := {a1 , a2 , . . . } es un
conjunto finito entonces alguno de los puntos de la sucesion se debe repetir infinitas veces y como la sucesion
es de Cauchy tal punto es el lmite de la sucesion el cual esta en Rn .
Supongamos entonces que T es infinito. Entonces, por el teorema de Bolzano-Weierstrass existe a Rn tal que
a es punto de acumulacion de T . Probemos que an a. Sea > 0. Como {an } es de Cauchy entonces existe
N N tal que si m, n N entonces kam an k < 2 . Como a es punto de acumulacion de T existe n N tal
que kan ak < 2 . De esta forma si n N se tiene que kan ak kan aa k + kan ak < 2 + 2 = . Luego
an 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 Funcion

En esta seccion consideraremos dos espacios metricos (S, dS ) y (T, dT ) y para A S una funcion f : A T .
Definicion. Si p es un punto de acumulacion de A y b T , escribimos lim f (x) = b, o tambien f (x) b, si

xp
para todo > 0 existe > 0 tal que dT (f (x), b) < cuando x A, x 6= p y dS (x, p) < .
Esta definicion tambien puede formularse en terminos de bolas, de la siguiente forma: lim f (x) = b si y solo si
xp
para toda bola abierta centrada en b, BT (b), existe una bola abierta centrada en p, BS (p), tal que BS (p) A
no es vaco y tal que f (x) BT (b) cuando x BS (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 f (x) = b
xp
si y solo si lim f (xn ) = b para toda sucesion {xn } de puntos en A {p} que converge a p.
n
Prueba. Supongamos que lim f (x) = b. Sea {xn } una sucesion en A {p} tal que xn p. Sea > 0. Como
xp
lim f (x) = b entonces existe > 0 tal que si x A {p} es tal que dS (x, p) < entonces dT (f (x), b) < .
xp
Ahora, como xn p entonces para tal existe N N tal que si n N se tiene que dS (xn , p) < . Por lo tanto
35
dT (f (xn ), b) < . Con esto, lim f (xn ) = b.
n
Supongamos ahora que toda sucesion {xn } en A{p} es tal que xn p. Razonando por el absurdo supongamos
que lim f (x) 6= b. Entonces existe > 0 tal que para todo > 0 existe x A {p} tal que dS (x, p) < y
xp
dT (f (x), b) . De esta forma si n N entonces tomando = n1 existe xn A {p} tal que dS (xn , p) < y
dT (f (xn ), b) con lo cual {f (xn )} no converge a b lo cual es absurdo. Por lo tanto lim f (x) = p.
xp
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 f (x) = a y lim g(x) = b entonces lim [f (x) g(x)] = a b y lim [f (x)g(x)] = ab.
xp xp xp xp
Si adicionalmente b 6= 0, del resultado conocido para el lmite del cociente de sucesiones, se sigue que
f (x) a
lim = . (Para esto debemos tener presente que si lim g(x) 6= 0 entonces existe 0 > 0 tal que si
xp g(x) b xp
x B(p, 0 ) A, x 6= p, entonces g(x) 6= 0).
4.4 Lmite de Funciones Vectoriales

Teorema 16. (Apostol, Teorema 4.14). Sean f : A Rk y g : A Rk para k N. Sea p un punto de

acumulacion de A y supongamos que lim f (x) = a Rk y lim g(x) = b Rk . Entonces
xp xp
1. lim [f (x) + g(x)] = a + b.

xp
2. lim f (x) = a para todo R.

xp
3. lim [f (x) g(x)] = a b.

xp
4. lim kf (x)k = kak.

xp
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 [f (x) + g(x)] = a + b.

xp

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 f (x) = a.

xp
36
3. Como f : A Rk y g : A Rk entonces para x A, f (x) = (f1 (x), . . . , fk (x)) y g(x) = (g1 (x), . . . , gk (x)).
Ademas f (x) g(x) = f1 (x)g1 (x) + + fk (x)gk (x). De otra parte, si a := (a1 , . . . , ak ) y b := (b1 , . . . , bk )
entonces para todo x A se tiene que |fi (x) ai | kf (x) ak y |gi (x) bi | kg(x) bk para todo
i = 1, . . . , k. Por lo tanto lim fi (x) = ai y lim gi (x) = bi para todo i = 1, . . . , k. De esta forma
xp xp
lim f (x) g(x) = lim f1 (x)g1 (x) + + lim fk (x)gk (x)

xp xp xp
= lim f1 (x) lim g1 (x) + + f (x)gk (x)

xp xp xpk
= a1 b1 + ak bk
= a b.
4. Como para todo x A se tiene que kf (x) ak |kf (x)k kak| entonces lim kf (x)k = kak.
xp
4.5 Funciones Continuas

Definicion. Sean (S, dS ) y (T, dT ) espacios metricos y f : S T . Decimos que f es continua en p S si para
todo > 0 existe > 0 tal que dT (f (x), f (p)) < cuando dS (x, p) < .
Si f es continua en cada punto de un conjunto A S entonces decimos que f es continua en A.
Esta definicion 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 (BS (p, )) BT (f (p), ).
Observaciones
Si una funcion f es continua en un punto p S y p es punto de acumulacion de S entonces lim f (x) = f (p).
xp
Si p es un punto aislado de S entonces cualquier funcion definida sobre p es continua en p.
Teorema 17. (Apostol, Teorema 4.16). Sean (S, dS ) y (T, dT ) espacios metricos y f : S T . Sea ademas
p S. Entonces f es continua en p si y solo si para toda sucesion {xn } en S tal que xn p en (S, dS ) se tiene
que f (xn ) f (p) en (T, dT ).
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 {xn } en S tal que xn p
en (S, dS ) se tiene que f (xn ) f (p). Entonces lim f (x) = f (p) y de este hecho se sigue facilmente que f es
xp
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
Teorema 18. (Apostol, Teorema 4.17). Sean (S, dS ), (T, dT ) y (U, dU ) espacios metricos. Sean f : S T y
g : T U y h la funcion compuesta definida 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(BT (f (p), )) BU (g(f (p)), ).
Ademas, como f es continua en p, para tal existe 0 > 0 tal que f (BS (p, 0 )) BT (f (p), ). De esta forma
h(BS (p, 0 )) = g(f (BS (p, 0 ))) BU (g(f (p), )) = BU (h(p), ),
es decir, h es continua en p.
4.7 Continuidad de Funciones con Valores Vectoriales

Del resultado obtenido para lmites de funciones vectoriales facilmente se sigue el siguiente resultado.
Teorema 19. (Apostol, Teorema 4.19). Sea (S, dS ) un espacio metrico y f, g : S Rn , con n N, funciones
continuas en p S. Entonces f + g, f (para R), f g y kf k son funciones continuas en p.
Teorema 20. (Apostol, Teorema 4.20). Sea (S, dS ) un espacio metrico y f1 , . . . , fn : A S R. Ademas sean
f := (f1 , . . . , fn ) y p A, entonces f es continua en p si y solo si fi 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 |fi (x) fi (p)| kf (x) f (p)k para todo x A y todo i = 1, . . . , n
entonces es claro que fi es continua en p para todo i = 1, . . . , n.
Supongamos ahora que fi 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 |fi (x) fi (p)| < . De esta forma si := min{1 , . . . , n }
n
y d(x, p) < entonces
r
p 2 2
kf (x) f (p)k = |f1 (x) f1 (p)|2 + + |fn (x) fn (p)|2 < + + = .
n n
luego f es continua en p.
4.8 Continuidad e Imagen Inversa de Conjuntos Abiertos y Cerrados

Teorema 21. (Apostol, Teorema 4.22). Sean (S, dS ) y (T, dT ) 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 definicion 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, dS ) y (T, dT ) 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, dS ).
Prueba. Supongamos que f es continua y que Y es un abierto en (T, dT ). 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, dT ) existe > 0 tal que BT (y, ) Y .
Ahora, como f es continua existe > 0 tal que f (BS (p, )) BT (y, ). Luego
f 1 (f (BS (p, ))) f 1 (BT (y, )) f 1 (Y )
y como BS (p, ) f 1 (f (BS (p, ))) entonces BS (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, dS ) para todo conjunto Y T abierto en (T, dT ). Sean
p S y y := f (p). Veamos que f es continua en p. Sea > 0. BT (y, ) es un abierto en (S, dS ). Ademas
p f 1 (BT (y, )), por lo tanto existe > 0 tal que BS (p, ) f 1 (BT (y, )) luego
f (BS (p, )) f (f 1 (BT (y, ))) BT (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, dS ) y (T, dT ) espacios metricos y f : S T . f es continua
en S si y solo si para todo Y cerrado en (T, dT ) se tiene que f 1 (Y ) es cerrado en (S, dS ).
Prueba. Si Y es cerrado en (T, dT ) entonces Y c es abierto en (T, dT ). Ademas f 1 (Y c ) = [f 1 (Y )]c . Por lo
tanto, del teorema anterior se sigue facilmente la afirmacion.
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 definida 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 f R R definida por f (x) := tan1 (x) es continua, R es cerrado y f (R) = ( 2 , 2 ) no
es cerrado.
4.9 Funciones Continuas Sobre Conjuntos Compactos

Teorema 24. (Apostol, Teorema 4.25). Sean (S, dS ) y (T, dT ) espacios metricos, f : S T y X S un
conjunto compacto. Si f es continua en X entonces f (X) es compacto.
S
Prueba. Sea F un cubrimiento abierto de f (X). Entones f (X) A. Como f es continua en el subespacio
AF
(X, dS ) entonces f 1 (A) es abierto en (X, dS ) para todo A F . Es decir, {f 1 (A) : A F } es un cubrimiento
k
f 1 (Ai ) y entonces
S
abierto de X y como X es compacto existen A1 , . . . , Ak F tales que X
i=1
f (X) f (f 1 (A1 ) f 1 (Ak )).
39
Pero
f (f 1 (A1 ) f 1 (Ak )) = f (f 1 (A1 )) f (f 1 (Ak )) A1 Ak .
Es decir, existe una subcoleccion finita de F que cubre a f (X). Por lo tanto f (X) es compacto.
Definicion. Sean (S, dS ) y (T, dT ) espacios metricos y f : S T . Decimos que f es acotada si f (S) es un
conjunto acotado en (T, dT ). Es decir, si existen a T y M > 0 tales que f (S) BT (a, M ).
Del teorema anterior se sigue inmediatamente el siguiente teorema.
Teorema 25. (Apostol, Teorema 4.27). Sean (S, dS ) y (T, dT ) 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, dS ) 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 = sup f (X).
Teorema 27. (Apostol, Teorema 4.29). Sean (S, dS ) y (T, dT ) 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 Homeomorfismos
Definicion. Sean (S, dS ) y (T, dT ) 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 homeomorfismo y los espacios metricos (S, dS ) y (T, dT )
son llamados homeomorfos.
Observaciones
Si f es un homeomorfismo entonces tambien lo es f 1 .
Los homeomorfismos envan abiertos en abiertos y cerrados en cerrados.
Una propiedad de un conjunto que permanece invariante bajo homeomorfimos 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 homeomorfismo tal que dT (f (x), f (y)) = dS (x, y) para todo x, y S decimos que f es una
isometra y que los espacios metricos (S, dS ) y (T, dT ) son isometricos.
40
4.11 Teorema de Bolzano
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 3
f (c) < f (x) < f (c)
2 2
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 = sup A. 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 = sup A 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 numero real entre f () y f () (k 6= f (), k 6= f ()). Consideremos la funcion g : [, ] R

definida 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
Definicion. 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 {Si }iI una coleccion de subconjuntos conexos S de un espacio
metrico (E, d). Supongamos que existe i0 I tal que Si Si0 6= para todo i I. Entonces Si es conexo.
iI
S
Prueba. Sea S := Si y consideremos el espacio metrico (S, d). Sean A, B S abiertos disjuntos en (S, d)
iI
tales que S = A B. Debemos entonces probar que A = S o A = . Para cada i I, Si = (A Si ) (B Si ).
Por lo tanto Si es la union de dos abiertos disjuntos: (A Si ), (B Si ) en (Si , d) y como Si es conexo entonces
(A Si ) = o (A Si ) = Si . Es decir, Si esta completamente contenido en A o esta completamente por fuera
S de i0 supongamos que Si0 A. Como Si0 Si 6= para todo i I entonces Si A para
de A. Para el caso
todo i I. S = Si A y S B = . Luego S = A y B = en (S, d).
iI
Teorema 33. (Rosenlicht, Seccion 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 A1 := A [a, b] y B1 := B [a, b]. B1 es abierto en [a, b] por ser la interseccion
de los abiertos B y [a, b] en [a, b]. Por lo tanto A1 que es el complemento de B1 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 A1 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 A1 que esta en [a, b] y como A1 es cerrado en [a, b] entonces y A1 . As, A1 es cerrado en
R). Ademas A1 es acotada superiormente (b es cota superior de A1 ) y es no vaco (a A1 ) luego existe c A1
tal que c = max A1 . De otra parte, A1 es abierto en [a, b], entonces existe una bola abierta en [a, b], centrada
en c, contenida en A1 . Luego existen elementos en A1 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

Definicion. 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
definida 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 definida 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 = A B. Definamos 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 definida sobre S lo cual es absurdo. Se sigue que S es conexo.
Teorema 35. (Apostol, Teorema 4.37). Sean (S, dS ) y (M, dM ) 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 definida 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 Rn es continua entonces f (x) es una curva en Rn , la cual es conexa.
Teorema 36. (Teorema del Valor Intermedio Para Funciones Reales, Continuas). (Apostol, Teorema 4.38).
Sea S Rn 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

S que si una coleccion de conjuntos conexos {Si }iI es tal que existe i0 I para el cual Si Si0 6=
Recordemos
entonces Si es conexo.
iI
Definicion. 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
Definicion. 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 Rn 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 definida 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 Rn tal que S es abierto en Rn 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 definimos A := {y S : arco en S que une a x y y} y B := S A. 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, ) esta 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 Rn 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 Rn 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.
Definicion. Sea A Rn . Decimos que A es una region si es la union de un abierto conexo con algunos,
ninguno o todos sus puntos de frontera. Si ningun 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
Definicion. Sean (S, dS ) y (T, dT ) 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 dT (f (x), f (p)) < cuando dS (x, p) < .
Ejemplos.
1
1. f (x) = es continua en (0, 1] pero no es uniformemente continua en (0, 1]. Para ver esto ultimo tomemos
x
= 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 := . Claramente
11
10
x, p (0, 1] y |x p| = | | = < .
11 11
Sin embargo
1 1 1 1 10 10
|f (x) f (p)| = | | = | | = | |= > 10.
x p 1
2. La funcion f (x) = x2 es continua y uniformemente continua en (0, 1]. Para ver esto ultimo observemos
que si p, x (0, 1] entonces
|f (x) f (p)| = |x2 p2 | = |(x + p)(x p)| = (x + p)|x p| < 2|x p|.

De esta forma dado > 0, con := , si x, p (0, 1] son tales que |xp| < = entonces |f (x)f (p)| < .
2 2
4.17 Continuidad Uniforme y Conjuntos Compactos

Claramente de la definicion 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, dS ) y (T, dT ) 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 BS (a, ra ) tal que si x BS (a, ra ) A entonces
ra
dT (f (x), f (a)) < 2 . Consideremos la coleccion de bolas F := {BS (a, ) : a A}. F es un cubrimiento abierto
2
ra ra
en A y como A es compacto entonces existen BS (a1 , 1 ), . . . , BS (am , m ) tales que
2 2
m
[ rak
A BS (ak , ).
2
k=1
ra1 ra
Observemos que si x BS (ak , rak ) A entonces dT (f (x), f (ak )) < 2 . Sea := min{ , . . . , k }. Mostremos
2 2
que tal funciona en la definicion de continuidad uniforme. Sean x, p A tales que dS (x, p) < . Como
m ra ra
BS (ak , k ) entonces existe l {1, . . . , m} tal que x BS (al , l ), luego dT (f (x), f (al )) < 2 .
S
A
k=1 2 2
45
Por la desigualdad triangular
ral ra ra
dS (p, al ) dS (p, x) + dS (x, al ) < + l + l = ral ,
2 2 2

por lo tanto p BS (al , ral ) y entonces dT (f (p), f (al )) < .
2
Empleando nuevamente la desigualdad triangular tenemos que

dT (f (x), f (p)) dT (f (x), f (al )) + dT (f (al ), f (p)) < + = .
2 2
Concluimos entonces que f es uniformemente continua en A.
4.18 Teorema de Punto Fijo Para Contracciones

Definicion. Sea (S, d) un espacio metrico y f : S S. Un punto p S es llamado punto fijo 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 fijo.
Prueba.
Unicidad. Supongamos que p y p0 son puntos fijos de f , entonces d(p, p0 ) = d(f (p), f (p0 )) d(p, p0 ),
donde es la constante de contraccion. Luego d(p, p0 )(1 ) 0 y como 0 < < 1 entonces d(p, p0 ) 0
con lo cual d(p, p0 ) = 0 y p = p0 .
Existencia. Sea x S. Definamos una sucesion {pn } de la siguiente forma: p0 := x, pn+1 := f (pn ), para
n = 0, 1, 2, . . . (es decir x, f (x), f (f (x)), f (f (f (x))),. . . ). Veamos que pn converge a un punto fijo de f .
Para esto, en primer lugar, probemos que {pn } es una sucesion de Cauchy. Sea n N, entonces
d(pn+1 , pn ) = d(f (pn ), f (pn1 )) d(pn , pn1 ) = d(f (pn1 ), f (pn2 ))

2 d(f (pn1 ), f (pn2 )) n d(p1 , p0 ) n C.
Sea m N, m > n. Empleando la desigualdad triangular obtenemos
d(pm , pn ) d(pm , pm1 ) + d(pm1 , pm2 ) + + d(pn+1 , pn )

Cm1 + Cm2 + + Cn
m + m1 + + n+1 m1 m2 n+1 n
=C
1
m n n (mn 1) n (1 mn )
=C =C =C
1 1 1
n
<C .
1
Luego d(pm , pn ) 0 cuando n . Por lo tanto, dado > 0, existe N N tal que si n > N y
m > N entonces |d(pm , pn ) 0| < , es decir, d(pm , pn ) < . De esta forma {pn } es una sucesion de
Cauchy. Ahora, como S es completo entonces existe p S tal que pn p. Por la continuidad de f ,
f (p) = f ( lim pn ) = lim f (pn ) = lim pn+1 = p. As, p es punto fijo de f .
n n n
46
4.19 Discontinuidades de Funciones con Valores Reales
Definiciones. 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 f (x) = A o tambien f (c+) = A. Esto
xc+
significa que dado > 0 existe > 0 tal que |f (x) f (c+)| < cuando c < x < c + < b.
f no tiene, necesariamente, que estar definida en c. Si f esta definida 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 definen 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 numeros 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

Definicion. 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 definen 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 := sup A entonces f (c). Probemos que f (c) existe y que f (c) = .
47
Sea > 0. Por la propiedad de aproximacion al supremo existe f (x1 ) A tal que < f (x1 ) .
Como f es creciente entonces para todo x (x1 , c) se tiene que < f (x) , lo cual es equivalente a
< f (x) 0 < , es decir |f (x) | < . Sea := c x1 . 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 y1 , y2 f (S) tales que y1 < y2
y f 1 (y1 ) f 1 (y2 ). Ahora, como f es estrictamente creciente entonces f (f 1 (y1 )) f (f 1 (y2 )), es decir
y1 y2 , 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.
Definicion. Sea f definida en un intervalo (a, b) y supongamos que c (a, b). Entonces decimos que f es
f (x) f (c)
diferenciable en c cuando lim existe. El lmite, denotado por f 0 (c), es llamado derivada de f en c.
xc xc
Este proceso de lmite define 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, definimos la nesima
derivada de f , denotada f (n) , como la primera derivada de f (n1) para n = 2, 3, . . .

0 df dy
Otras notaciones: f (c) = Df (c) = (c) = para y = f (x).
dx dx x=c
5.1 Derivadas y Continuidad

Teorema 1. (Apostol, Teorema 5.2) Si f esta definida en (a, b) y es diferenciable en c (a, b), entonces
existe una funcion 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, definida por

f (x) f (c)
si x 6= c,
f (x) := xc
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)
= f (x)
xc
para x (a, b), x 6= c y entonces
f (x) f (c)
lim = f (c),
xc xc
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)
f (x) f (c) = (x c)
xc
para todo x (a, b), x 6= c. Luego
f (x) f (c)
lim [f (x) f (c)] = lim (x c)lim = 0 f 0 (c) = 0.
xc xc xc xc
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 fg 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).

0 g(c) f 0 (c) f (c) g 0 (c)
3. fg (c) =
[g(c)]2
Prueba.
1. Inmediata del lmite de una suma y de una resta.
2. Tenemos que
(f g)(x) (f g)(c) f (x) g(x) f (x) f (c) + f (x) g(c) f (c) g(c)
lim = lim
xc xc xc xc
f (x)[g(x) g(c)] + g(c)[f (x) f (c)]
= lim
xc xc
g(x) g(c) f (x) f (c)
= lim f (x) lim + g(c) lim
xc xc xc xc xc
0 0
= f (c) g (c) + f (c) g(c).
3. Similar a 2.
Observaciones
De la definicion 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) = xn para todo n N entonces f 0 (x) = nxn1 .
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 definida 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)) = (y f (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
g(f (x)) g(f (c))

lim = lim f (x)g (f (x)) = lim f (x)lim g (f (x))
xc xc xc

xc xc
= f (c)g lim f (x) = f (c)g (f (c)) = f 0 (c)g 0 (f (c)).

xc
5.4 Derivadas Unilaterales y Derivadas Infinitas

Definiciones. Sean (X, d) un espacio metrico, A X, p X punto de acumulacion de A y f : A R.
(i) Diremos que lim f (x) = + si para todo M R existe > 0 tal que si x A {p} y d(x, p) < entonces
xp
f (x) > M .
(ii) Diremos que lim f (x) = si para todo M R existe > 0 tal que si x A {p} y d(x, p) < entonces
xp
f (x) < M .
Definicion. Sean S R un intervalo cerrado, f : S R, c S y f continua en c. Decimos que f tiene

f (x) f (c)
derivada por la derecha de c si lim existe como un valor finito o si el lmite es + o . Este
xc+ xc
lmite sera denotado f+0 (c).
Las derivadas por la izquierda se definen analogamente y se denotan f0 (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) = f0 (c) = + y que f 0 (c) = si f+0 (c) = f0 (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
f (x) f (c)
Ahora, si f 0 (c) = + entonces existe > 0 tal que si x B(c, ) {c} se tiene que > 1. Con esto,
xc
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

Definiicion. Sea f una funcion de valor real definida 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) = x3 en x = 0).
5.7 Teorema de Rolle

Teorema 7. (Rolle). (Apostol, Teorema 5.10). Sea f : [a, b] R continua con derivada (finita o infinita) 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 algun 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 (finita o infinita) en todo punto de (a, b). Supongamos que no existe x (a, b) para el cual f 0 (x) y
g 0 (x) sean infinitas 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 h0 (x) es finita si f 0 (x) y g 0 (x) son finitas a la vez y h0 (x) es infinita si exactamente una de las dos
(f 0 (x) o g 0 (x)) es infinita.
h es continua en [a, b] y diferenciable en (a, b), luego, por el Teorema de Rolle existe c (a, b) tal que h0 (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
(finita o infinita) 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 (finitas o infinitas) en (a, b).
Supongamos que f (a+), g(a+), f (b), g(b) existen y son finitos. Supongamos ademas que no existe x (a, b)
para el cual f 0 (x) y g 0 (x) sean infinitos 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. Definamos F, G : [a, b] R de la siguiente forma

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

g(a+) si x = a,
G(x) := 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 (finita o infinita) 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 numero 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 definida 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 algun punto de [a, b]. Como f 0 (a) < c entonces g 0 (a) = f 0 (a) c < 0 y entonces
g(a) > g(t1 ) para cierto t1 (a, b) y en forma similar g(b) > g(t2 ) para cierto t2 (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 algun 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 finita
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
f 0 (x)
existe lim 0 (en R) entonces
xa+ g (x)
f (x) f 0 (x)
lim = lim 0 .
xa+ g(x) xa+ g (x)
f 0 (x)
Prueba. Sea L := lim 0 . Dado > 0 existe > 0 ( < 0 ) tal que si a < x < a + entonces
0 xa+ g (x)
f (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)].
f (x) f 0 (c)
Ahora, como f (a) = g(a) = 0, g 0 (c) 6= 0 y g(x) 6= 0 entonces = 0 y as
g(x) g (c)
0
f (x) f (c)
g(x) L = g 0 (c) L < .

f (x)
Por lo tanto lim = L.
xa+ g(x)
5.10 Formula de Taylor

Teorema 15. (Apostol, Teorema 5.20). Sean f, g : [a, b] R con n N derivadas finitas 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 x1 (x, c)
tal que
n1 n1
" # " #
X f (k) (c) X g (k) (c)
f (x) (x c)k g (n) (x1 ) = f (n) (x1 ) g(x) (x c)k
k! k!
k=0 k=0
Prueba. Por simplicidad supongamos que c < b y que x > c. Fijemos x y definamos F, G : [c, x] R por
n1 n1
X f (k) (t) X g (k) (t)
F (t) := f (t) + (x t)k , G(t) := g(t) + (x t)k .
k! k!
k=1 k=1
Entonces F y G son continuas en [c, x] y tienen derivada finita en (c, x). Por el Teorema del Valor Medio
Generalizado existe x1 (c, x) tal que
F 0 (x1 )[G(x) G(c)] = G0 (x1 )[F (x) F (c)].
Observemos que F (x) = f (x) y G(x) = g(x). Entonces
F 0 (x1 )[g(x) G(c)] = G0 (x1 )[f (x) f (c)]. (1)
Calculemos F 0 (x1 ) y G0 (x1 ).
f 00 (x1 ) f 0 (t) f 000 (t) f 00 (t) f (4) (t)

F 0 (t) =f 0 (t) + (x t) + (1) + (x t)2 + 2 (x t)(1) + (x t)3
1! 1! 2! 2! 3!
f 000 (t) f (n) (t) f (n1) (t)
+3 (x t)2 (1) + + (x t)n1 + (n 1) (x t)n2 (1)
3! (n 1)! (n 1)!
f (n) (t)
= (x t)n1 .
(n 1)!
54
Por lo tanto
f (n) (x1 )
F 0 (x1 ) = (x x1 )n1 . (2)
(n 1)!
Y analogamente
g (n) (x1 )
G0 (x1 ) = (x x1 )n1 . (3)
(n 1)!
Se sigue entonces, de (1), (2) y (3), que

n1 n1
" # " #
f (n) (x1 ) X g (k) (c) g (n) (x )
1
X f (k) (c)
(x x1 )n1 g(x) g(c) (x c)k = (x x1 )n1 f (x) f (c) (x c)k
(n 1)! k! (n 1)! k!
k=1 k=1
n1 n1
" # " #
(k)
X g (c) (k)
X f (c)
(n) k (n) k
f (x1 ) g(x) g(c) (x c) =g (x1 ) f (x) f (c) (x c)
k! k!
k=1 k=1
Teorema 16. (Taylor). (Apostol, Teorema 5.19). Sea f : [a, b] R con n N derivadas finitas 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
x1 (x, c) tal que
n1
X f (k) (c) f (n) (x1 )
f (x) = f (c) + (x c)k + (x c)n .
k! n!
k=1
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
n1
" #
X f (k) (c)
f (x) (x c) n! = f (n) (x1 )[(x c)n 0].
k
k!
k=0
Luego
n1
f (n) (x1 ) X f (k) (c)
f (x) = (x c)n + (x c)k
n! k!
k=0
n1
X f (k) (c) f (n) (x1 )
=f (c) + (x c)k + (x c)n .
k! n!
k=1
5.11 Derivadas de Funciones Vectoriales

Definicion. Sea f : (a, b) Rn . Entonces f = (f1 , . . . , fn ) donde fk : (a, b) R para k = 1, . . . , n.
Decimos que f es diferenciable en c (a, b) si fk es diferenciable en c para todo k = 1, . . . , n, y definimos
f 0 (c) = (f10 (c), . . . , fn0 (c)).
55
Facilmente se puede probar el siguiente par de resultados.
Teorema 17. (Apostol, Seccion 5.13). Sean f, g : (a, b) Rn 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 funcion vectorial y u una funcion de valor real. Si el
dominio de f contiene una bola abierta centrada en u(c) para algun c en el dominio de u y si u0 (c) y f 0 (u(c))
existen entonces la funcion compuesta g definida por g(x) = f (u(x)) es diferenciable en c y se tiene que
g 0 (c) = f 0 (u(c))u0 (c).
56

Notas de Clase (Análisis)

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Notas de Clase (Análisis)

Enviado por

Direitos autorais:

Formatos disponíveis

Introduccion al Analisis Real

Notas de Clase - Semestre 02-2016

Universidad Nacional de Colombia

Rosenlicht, M. Introduction to Analysis. Dover Publications. 1968.

Rudin, W. Principles of Mathematical Analysis. Tercera Edicion. McGraw-Hill International Editions.

Progama Detallado del Curso

Primer parcial Jueves 25 de agosto Captulos 1 y 2

El Sistema de los Numeros Reales

1.1 Axiomas o Propiedades de Campo

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.

Algunas consecuencias de los axiomas de campo

De F9, se siguen las reglas usuales para operar con fracciones:

Dos consecuencias importantes de F10 son: a(b) = ab y (a)(b) = ab.

1.2 Axioma o Propiedad de Orden

Propiedad VI. Existe un subconjunto R+ de R tal que

1.3 Exponenciacion con Exponentes Enteros

Si a R y n N definimos an = a a a a (n veces) y si a 6= 0 definimos a0 = 1, an = a1n .

1.4 Valor Absoluto

1.5 Representacion Geometrica de los Numeros Reales

El conjunto de todos los puntos que se encuentran entre a y b es llamado intervalo.

(a, +) := {x : x > a}, [a, +) := {x : x a},

1.7 Propiedad de la Mnima Cota Superior

(1) y es una cota superior de S y

(2) para todo a que sea cota superior de S se tiene que y a.

3. Para todo x R existe n Z tal que n x < n + 1.

1.8 Existencia de Races Cuadradas

Definicion. Dado a R diremos que x R es una raz cuadrada de a si x2 = a.

(y )2 < y 2 < (y + )2 . (2)

(y + )2 < a < (y )2 . (3)

(y )2 (y + )2 <y 2 a < (y + )2 (y )2

para todo  > 0 tal que  < y.

|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.

Observemos que R+ = {a R+ : y R, y 6= 0, y 2 = a}.

1.9 Representacion Decimal de los Numeros Reales

Un numero real de la forma

Prueba. Sean x 0 y S := {z Z : 0 z x}. S 6= pues 0 S, ademas, S es acotado superiormente por

a1 10x 10a0 < a1 + 1.

En otras palabras, a1 es el entero mas grande que satisface

Representacion Decimal Infinita de los Numeros Naturales

(b) Si x > 0 entonces

(c) Si x < 0 entonces

(d) (+) + (+) = (+)(+) = ()() = +, () + () = (+)() = .

(e) Si x R entonces < x < +.

Ademas, denotaremos a R por (, +) y a R por [, +].

1.11 El Campo de los Complejos

Teorema 7. (Rudin, Teoremas 1.25 y 1.26).

2. Si a, b R entonces (a, b) = a + bi.

2. a + bi = (a, 0) + (b, 0)(0, 1) = (a, 0) + (0, b) = (a, b).

Definicion (Rudin, Definicion 1.30) Si a, b R y z := a + bi entonces el numero complejo z := a bi es llamado

4. zz es real y positivo (excepto cuando z = 0).

3. z + z = (a, b) + (a, b) = (a, b) + (a, b) = (2a, 0) = 2a = 2Re(z),

4. zz = (a, b)(a, b) = (a, b)(a, b) = (a2 + b2 , ab + ab) = (a2 + b2 , 0) = a2 + b2 .

Notacion. (Rudin, Notacion 1.34). Para x1 , x2 , ..., xn C escribimos

Si B = 0 entonces b1 = b2 = = bn = 0 y se cumple trivialmente la desigualdad.

1.12 Espacios Euclideanos

x + y := (x1 + y1 , ..., xk + yk ), x = (x1 , ..., yk ).

Producto Interno (o Producto Escalar)

Si x := (x1 , ..., xk ) y y := (y1 , ..., yk ) definimos el producto interno de y y y por

Algunas Nociones Basicas

2.1 Conjuntos Finitos, Contables y no Contables

(b) A es infinito si no es finito.

(y )2 < y 2 < (y + )2 . (2)

(y + )2 < a < (y )2 . (3)

(y )2 (y + )2 <y 2 a < (y + )2 (y )2

para todo > 0 tal que < y.

|y 2 a| < 4y < e