Universidad T

ecnica Federico Santa Mar

a
Departamento de Matem

atica
Introduccion a la matematica avanzada
Apunte para el curso MAT125
Juan PEYPOUQUET
Version borrador noviembre 2011

Indice general
Parte 1. Fundamentos del analisis real 5
Captulo 1. Preliminares 7
1. Fundamentos de logica 7
2. Teora de conjuntos 9
3. Funciones 11
4. Relaciones 13
5. Estructuras Algebraicas 15
Ejercicios 16
Captulo 2. Los n umeros naturales y los enteros 19
1. Construccion del conjunto N. 19
2. Suma en N. 20
3. Multiplicacion en N. 22
Ejercicios 23
Captulo 3. Cardinalidad 25
1. Conjuntos nitos 25
2. Conjuntos numerables 27
3. Cardinalidad en conjuntos innitos 27
4. Conjuntos no numerables 28
Ejercicios 28
Captulo 4. Los n umeros racionales y reales 31
1. Los n umeros racionales 31
2. Los n umeros reales 35
Ejercicios 38
Captulo 5. Topologa 41
1. Nociones basicas de topologa general 41
2. Espacios de Hausdor 43
3. Espacios metricos 44
4. Conjuntos compactos 45
5. Conjuntos conexos 47
6. Sobre los abiertos, cerrados, compactos y conexos de R 47
Ejercicios 49
Captulo 6. Sucesiones 51
1. Conceptos basicos en espacios metricos 51
2. Sucesiones reales 52
Ejercicios 56
3
4

INDICE GENERAL
Captulo 7. Series Numericas 59
1. Resultados preliminares y ejemplos 59
2. Algunas condiciones sucientes para la convergencia 61
Ejercicios 64
Parte 1
Fundamentos del analisis real
CAPTULO 1
Preliminares
1. Fundamentos de logica
Una proposicion es una armacion a la cual se puede asignar, sin ambig uedad,
un valor de verdad; en otras palabras, decir si es cierta o falsa. Dada una
proposicon p, denotamos por p su negacion. Varias proposiciones pueden unirse
mediante conectivos para formar nuevas proposiciones que llamamos frases. Los
conectivos mas comunes son:
Disyuncion: p q se lee p o q;
Conjuncion: p q se lee p y q;
Implicacion: p q se lee p implica q, si p entonces q, p es condici on
suciente para q o tambien q es condici on necesaria para p;
Equivalencia: p q se lee p es equivalente a q, p si, y s olo si q o p
es condici on necesaria y suciente para q.
La forma como act uan estos conectivos sobre las proposiciones se ilustra en la
siguiente tabla, denominada tabla de verdad:
p q p p q p q p q p q
V V F V V V V
V F F V F F F
F V V V F V F
F F V F F V V
Una frase que siempre es cierta independientemente del valor de verdad de las
proposiciones que la conforman es una tautologa. La negacion de una tautologa
es una contradiccion.
Ejemplo 1.1. La frase p p es una tautologa pues p y p no pueden ser ambas
falsas. De manera similar, p p es una contradiccion pues no pueden ser ambas
verdaderas.
Ejemplo 1.2. Comprobaremos que (p q) (p q) es una tautologa. Para
ello construimos la tabla de verdad:
p q p p q p q (p q) (p q)
V V F V V V
V F F F F V
F V V V V V
F F V V V V
Vemos que (p q) (p q) es cierta independientemente del valor de verdad de
p y q, por lo que es una tautologa.
7
8 1. PRELIMINARES
Ejemplo 1.3. Las siguientes tautologas se conocen como las Leyes de de-
Morgan:
p q (p q) y p q (p q) .
Se deja al lector la tarea de vericar que en efecto son tautologas.
Las siguientes tautologas juegan un papel muy importante al momento de
demostrar que una proposicion es cierta. Su vericacion tambien se deja como
ejercicio para el lector.
1. Transitividad de la implicacion: [(p q) (q r)] (p r).
2. Contrarrecproco: (p q) (q p).
3. Descomposicion de la equivalencia: (p q) [(p q) (q p)].
4. Modus ponens: [p (p q)] q.
Una expresion que depende de un parametro o smbolo es una funcion proposi-
cional si al asignarse un signicado (generalmente dentro de una lista preestable-
cida de signicados posibles) a dicho parametro la expresion se convierte en una
proposicion. Por ejemplo, la expresion x es positivo es una funcion proposicional;
al reemplazar x, digamos, por 1 obtenemos una proposicion verdadera, etc.
Los cuanticadores permiten formar frases a partir de funciones proposi-
cionales:
Cuanticador universal: la frase x(p(x)) se lee para todo x se cumple
p(x), o p(x) para todo x. Es cierta cuando p(x) es cierta para todos los
smbolos que pueden asignarse al parametro x.
Cuanticador existencial: la frase x(p(x)) se lee existe x tal que p(x)
y es cierta cuando hay alg un smbolo x
0
que hace que p(x
0
) es verdadera.
! Cuanticador de existencia y unicidad: la frase !x(p(x)) se lee existe un
unico x tal que p(x) y es equivalente a
_
x(p(x))

_
xy [(p(x) p(y)) (x = y)]

.
Observaci on 1.1. Notemos que x(p(x)) x(p(x)) es una tautologa, al
igual que x(p(x)) x(p(x)).
Los axiomas son proposiciones que aceptamos como ciertas y sobre las cuales
nos basamos para construir una teora, que es la coleccion de las tautologas que
derivan de los axiomas. Las tautologas mas relevantes de una teora se llaman
teoremas. Una demostracion es el proceso que se sigue para vericar que una
proposicion es una tautologa, partiendo de los axiomas o de otras tautologas
conocidas. Un lema es una tautologa que constituye un paso intermedio en la
demostracion de un teorema. Finalmente, un corolario es una tautologa cuya
demostracion es inmediata a partir de un teorema.
2. TEOR

IA DE CONJUNTOS 9
2. Teora de conjuntos
La teora de conjuntos puede formularse de manera rigurosa a partir de una
serie de axiomas. Sin embargo, en este curso tomaremos un enfoque mas sencillo
y diremos simplemente que un conjunto es una reunion o coleccion de objetos
que llamamos elementos. Esto supone impcitamente que siempre se puede decir,
sin ambig uedad, si un elemento pertenece o no a un conjunto. En otras palabras,
la expresion x pertenece a A, que se denota por x A, es una proposicion. Su
negacion se denota por x / A. Esto se conoce como el principio de bivalencia y
lo que se pretende es evitar situaciones paradojicas como la siguiente:
Ejemplo 1.4. Denotemos por A la coleccion de todos aquellos conjuntos X
tales que X / X. Es valido preguntarse si A es un elemento de A. De la denicion
vemos que (A A) (A / A), lo cual es una contradiccion.
Si p(x) es una funcion proposicional podemos considerar la coleccion de los x
tales que p(x) es verdadera. Obtenemos un conjunto que denotamos por x : p(x).
Si X es un conjunto, por comodidad escribiremos x X : p(x) en lugar de
x : (x X) p(x). De la misma manera, cuando queramos restringir el alcance
de los cuanticadores a un determinado conjunto X usaremos las notaciones:
(x X)p(x) x[(x X) p(x)]
(x X)p(x) x[(x X) p(x)].
Axioma del vaco: Existe un conjunto, que denotamos por que no tiene ele-
mentos; es decir, tal que la proposicion x es siempre falsa. En otras palabras,
la expresion x(x / ) es una tautologa.
Dados dos conjuntos A y B, diremos que A es subconjunto de B si todo
elemento de A pertenece a B. Es decir, si la proposicion (x A) (x B) es
verdadera. Dos conjuntos son iguales si tienen los mismos elementos. En otras
palabras, A = B quiere decir que A B y B A. Tambien se puede entender de
la manera siguiente: para cada x, x A es equivalente a x B. Si A B pero
A ,= B decimos que A es un subconjunto propio de B y escribimos A B.
Escribiremos A B y A B si B A y B A, respectivamente.
Dado un conjunto X denotamos por T(X) el conjunto potencia o conjunto
de partes, que es el formado por todos los subconjuntos de X.
Ejemplo 1.5. El unico subconjunto del conjunto vaco es el mismo conjunto
vaco. Luego T() = . Observe que T() ,= .
Ejemplo 1.6. Si X = a, b, c entonces el conjunto de las partes de X es
T(X) = , a, b, c, a, b, a, c, b, c, X.
2.1. Operaciones con conjuntos. Sean A y B dos conjuntos. Denimos la
interseccion de A y B como el conjunto A B de los elementos que son comunes
a A y B. Mas precisamente,
x A B [(x A) (x B)].
10 1. PRELIMINARES
Si AB = , decimos que A y B son disjuntos. De manera similar, denimos
la union de A y B, que denotamos por A B, como la reunion de todos sus
elementos, comunes o no. En otras palabras,
x A B [(x A) (x B)].
Las operaciones de interseccion y union de conjuntos tienen las siguientes
propiedades cuya vericacion es muy sencilla y se deja como ejercicio al lector.
Proposici on 1.1. Sean A,B y C conjuntos. Entonces
i) A A = A A = A, A = A y A = ;
ii) A B = B A y A B = B A;
iii) A (B C) = (A B) C y A (B C) = (A B) C;
iv) A (B C) = (A B) (A C) y A (B C) = (A B) (A C).
Tambien es facil vericar lo siguiente:
Proposici on 1.2. Si A B y A

, entonces
A A

B B

y A A

B B

.
Demostracion. Para la primera, notemos que A A

A B pero tambien
A A

. Esto nos dice que todo elemento de A A

pertenece a la vez
a B y a B

, de donde concluimos que A A

B B

. La segunda armacion se
demuestra de manera similar.
Proposici on 1.3. Las siguientes armaciones son equivalentes:
i) A B;
ii) A B = B; y
iii) A B = A.
Una particion de un conjunto X es una representacion de X como union de
subconjuntos no vacos y distintos de X, que ademas son disjuntos dos a dos.
Ejemplo 1.7. Sea X = a, b, c, d. Los conjuntos A = a y B = b, c, d
producen una particion de X pues A B = y A B = X.
Sea X un conjunto y sea A X. El complemento de A relativo a X es
el conjunto de los elementos de X que no estan en A y lo denotamos por A
c(X)
.
Si el conjunto X esta sobreentendido (caso muy frecuente), al conjunto A
c(X)
lo
llamamos simplemente complemento de A y lo denotamos por A
c
.
Proposici on 1.4. Sea A y B subconjuntos de X. Tenemos que
i) (A
c
)
c
= A;
ii) B A si, y s olo si, A
c
B
c
;
iii) A = si, y s olo si, A
c
= X;
iv) (A B)
c
= A
c
B
c
y (A B)
c
= A
c
B
c
.
Demostracion. Las propiedades i) y ii) son consecuencia de las tautologas p p
y (p q) (q p), respectivamente. La parte iii) se desprende de i) pues A =
es equivalente a A
c
=
c
= X. Finalmente, la parte iv) se deduce al aplicar las leyes
3. FUNCIONES 11
de de Morgan.
Dados dos conjuntos A y B denimos el producto cartesiano por
A B = (a, b) : a A y b B.
Los elementos de A B se denominan pares ordenados. Si A = B el conjunto
D = (a, a) : a A
es la diagonal del conjunto A A.
3. Funciones
Sean X e Y dos conjuntos no vacos. Una funcion f : X Y es una regla que
a cada elemento x de X le asigna un elemento f(x) de Y , que llamamos imagen
de x por f. El conjunto X se denomina dominio y el conjunto Y , codominio.
Observemos que a cada elemento de X, f le asigna un elemento de Y . Es decir,
(x X)(y Y )
_
y = f(x)
_
.
Si A X, denimos
f(A) = y Y : y = f(x) para alg un x A.
El conjunto f(X) se llama imagen o recorrido de f.
Proposici on 1.5. Sea f : X Y y sean A y B subconjuntos de X. Entonces
i) f(A B) f(A) f(B);
ii) f(A B) = f(A) f(B);
iii) Si A B entonces f(A) f(B);
iv) f() = .
Demostracion. Demostraremos la propiedad i) y dejaremos las demas como ejer-
cicio. Sea y cualquier elemento de f(A B). Por denicion existe x A B tal
que f(x) = y. Como x A tenemos que f(x) f(A) y como x B deducimos que
f(x) B. Esto nos permite decir que y f(A) f(B). Como esto es valido para
cualquier y f(A B) concluimos que f(A B) f(A) f(B).
El graco de una funcion f es el conjunto
(x, y) X Y : y = f(x).
Para que un subconjunto G X Y sea el graco de alguna funcion es necesario
y suciente que para cada x X exista un unico y Y tal que (x, y) G.
Dado y Y , la imagen inversa o preimagen de y por f es el conjunto
f
1
(y) = x X : f(x) = y,
y si B Y denimos
f
1
(B) = x X : f(x) B.
Proposici on 1.6. Sea f : X Y y sean A y B subconjuntos de Y . Entonces
i) f
1
(A B) = f
1
(A) f
1
(B);
ii) f
1
(A B) = f
1
(A) f
1
(B);
iii) Si A B entonces f
1
(A) f
1
(B);
12 1. PRELIMINARES
iv) f
1
() = ;
v) f
1
(B
c
) =
_
f
1
(B)

c
;
vi) f
1
(Y ) = X.
Una funcion f es inyectiva si a elementos distintos corresponden siempre
imagenes distintas. Mas precisamente, si para x, y X se tiene que si x ,= y
entonces f(x) ,= f(y). Esto es equivalente a que si f(x) = f(y) entonces x = y.
Una funcion f es sobreyectiva si f(X) = Y . Es decir, si todo elemento del
codominio es imagen de alg un elemento del dominio.
Finalmente, f es biyectiva si es inyectiva y sobreyectiva. Si X = Y un ejem-
plo de funcion biyectiva es la funcion identidad: Id
X
: X X denida por
Id
X
(x) = x para todo x X.
3.1. Composicion e inversas. Sean f : X Y y g : Z W dos funciones
y supongamos que f(X) Z. La composicion de f y g es la funcion gf : X W
denida mediante g f(x) = g(f(x)).
Decimos que f : X Y tiene una inversa por la izquierda si existe
g : Y X tal que g f = Id
X
. De manera analoga, f tiene una inversa por
la derecha si existe g : Y X tal que f g = Id
Y
. Finalmente, f tiene inversa
si existe g : Y X tal que g f = Id
X
y f g = Id
Y
. De acuerdo con los ejercicios
8 y 9, f tiene inversa si, y solo si es biyectiva.
3.2. Restriccion y extension. Sean A X y sea f : X Y una funcion.
La restriccion de f a A es la funcion f[
A
: A Y denida mediante f[
A
(x) = f(x)
para x A.
Sean X Z y f : X Y una funcion. Una extension de f a Z es una funcion
F : Z Y tal que F(x) = f(x) para todo x X. Observemos que en este caso
F[
X
= f.
3.3. Familias. Sea f : Y una funcion. Si denotamos y

= f() decimos
que y

es una familia de elementos de Y indexada por . En este contexto,

a se le llama conjunto de ndices de la familia. Si = N (ver captulo siguiente)
decimos que la familia es una sucesion. Una familia indexada es esencialmente lo
mismo que una funcion pero en muchos casos este cambio en la notacion es util.
Si A

es una familia de conjuntos denotamos por

al conjunto
formado por los elementos que pertenecen a A

para todo . De manera similar,

denotamos por

al conjunto formado por los elementos que pertenecen a A

para alg un . Observemos que para cada se tiene que

.
4. RELACIONES 13
3.4. El axioma de eleccion. En lo que sigue tambien aceptaremos que si
tenemos una familia de conjuntos no vacos entonces podemos escoger un represen-
tante de cada uno. Este hecho puede expresarse de la siguiente manera:
Axioma de eleccion. Para cada conjunto X ,= existe una funcion
c : T(X) X
A c(A) A,
que se llama funcion de eleccion. Aunque este hecho parezca intuitivo, no hay
una manera de probar que tal funcion existe. Tampoco se puede demostrar que
no. El axioma de eleccion tiene importantes implicaciones en diversas areas de la
matematica.
4. Relaciones
Sean A y B dos conjuntos no vacos. Una relacion entre A y B es un subcon-
junto 1 AB. Si (a, b) 1 escribimos tambien a 1b y decimos que a esta rela-
cionado con b. Si (a, b) / 1escribimos a 1/ b y decimos que a no esta relacionado
con b.
4.1. Algunas clases particulares de relaciones. En todo lo que sigue
suponemos que B = A. En este caso decimos que 1 AA es una relacion en A.
i) Reexiva si a 1a para todo a A; es decir, si contiene a la diagonal
(a, a) : a A.
ii) Irreexiva si 1 no contiene ning un elemento de la diagonal.
iii) Transitiva si para a, b, c A, a 1b y b 1c implican a 1c.
iv) Simetrica si para a, b A, a 1b implica b 1a.
v) Antisimetrica si para a, b A, a 1b y b 1a implican a = b.
4.2. Relaciones de equivalencia. Una relacion es de equivalencia si es
reexiva, simetrica y transitiva.
Ejemplo 1.8. La relacion de equivalencia canonica es la igualdad.
Ejemplo 1.9. Si P es un conjunto de proposiciones, la relacion p q es una
relacion de equivalencia en P.
Ejemplo 1.10. Si X e Y son conjuntos no vacos, las siguientes son relaciones
de equivalencia en el conjunto T(X; Y ) de todas las funciones de X en Y :
i) f 1g si f(x
0
) = g(x
0
), donde x
0
es un elemento jo en X;
ii) f 1g si f(x) = g(x) salvo en una cantidad nita de puntos.
Sea 1una relacion de equivalencia en un conjunto A. Para cada a A denimos
la clase de equivalencia de a para la relacion 1 como el conjunto de los elementos
de A que estan relacionados con a:
[a] = x A : x1a.
14 1. PRELIMINARES
Este conjunto no es vaco pues a [a] por reexividad.
Proposici on 1.7. Sea 1 una relaci on de equivalencia en un conjunto A y sean
a y b dos elementos distintos de A. Entonces [a] [b] = o [a] = [b].
Demostracion. Probaremos que si [a] [b] ,= entonces [a] = [b]. Para ello tomem-
os c [a] [b]. Probaremos primero que [a] [b]. Si d [a] entonces d 1a. Pero
c 1a y por reexividad, a 1c. Luego por transitividad d 1c. Tambien sabemos que
c 1b pues c [b]. Usando una vez mas la transitividad vemos que d 1b, con lo cual
d [b]. Esto nos dice que [a] [b]. Intercambiando los papeles de a y b probamos
que [b] [a] y por lo tanto [a] = [b].
Lo anterior nos dice que una relacion de equivalencia dene una particion del
conjunto A. Al conjunto de las clases de equivalencia de A por la relacion 1 lo
llamamos conjunto cuociente de A por 1 y lo denotamos por A/1. Notemos
tambien que toda particion de un conjunto permite denir una relacion de equiva-
lencia.
4.3. Relaciones de orden. Un orden estricto es una relacion transitiva
e irreexiva. Notemos que esta denicion implica automaticamente que todo orden
estricto es una relacion antisimetrica. Si a un orden estricto le agregamos los ele-
mentos de la diagonal obtenemos un orden relativo, que es una relacion reexiva,
antisimetrica y transitiva.
Ejemplo 1.11. Consideremos el conjunto T(X) de las partes de un conjunto
X no vaco. La relacion A B es un orden relativo en T(X) y la relacion A B
es un orden estricto.
Para jar ideas, un orden relativo satisface:
i) a a 1a;
ii) a, b a 1b y b 1a si, y solo si, a = b; y
iii) a, b, c a 1b y b 1c implican a 1c.
Un orden estricto satisface:
i) a a 1/ a;
ii) a, b a 1b implica b 1/ a; y
iii) a, b, c a 1b y b 1c implican a 1c.
Observe que en ambos casos puede ocurrir que, dados a ,= b, ni a 1b ni b 1a.
En este caso decimos que a y b no son comparables mediante el orden 1.
4.3.1. Conjuntos totalmente ordenados. Un orden (relativo o estricto) es to-
tal si todos los elementos son comparables, dos a dos; es decir, dados a ,= b entonces,
o bien a 1b, o b 1a.
En el caso estricto esta propiedad se conoce como tricotoma y puede ree-
scribirse de la siguiente manera: si a, b A entonces exactamente una de las sigu-
ientes armaciones es cierta:
i) a = b;
ii) a 1b; o
5. ESTRUCTURAS ALGEBRAICAS 15
iii) b 1a.
Un conjunto totalmente ordenado es un par (X, ), donde X es un conjunto
no vaco y es un orden total estricto en X. Denotamos por _ el orden total relativo
que se obtiene al agregar a los elementos de la diagonal. Dados a, b X con a b
usaremos la siguiente notacion:
(a, b) = x X : a x b; [a, b] = x X : a _ x _ b;
[a, b) = x X : a _ x b; (a, b] = x X : a x _ b.
Los conjuntos de este tipo se llaman intervalos.
Sea A X. Decimos que b X es una cota superior de A si a _ b para todo
a A. Notemos que si b es cota superior de A y si b _ c entonces c tambien es cota
superior de A en virtud de la transitividad. Si A tiene alguna cota superior decimos
que esta acotado superiormente. De manera similar, b es una cota inferior de
A si b _ a para todo a A y si A tiene alguna cota inferior decimos que esta aco-
tado inferiormente.
Si existe s

X tal que
i) s

es una cota superior de A y

ii) si b es cota superior de A entonces s

_ b,
decimos que s

es el supremo de A y lo denotamos por s

= sup A. En otras
palaras, el supremo de A es la menor de sus cotas superiores. Notemos que, en virtud
de la tricotoma, un conjunto puede tener, a lo mas, un supremo. Si s

= sup A A,
decimos que s

es el maximo de A y escribimos s

= max A.
De manera analoga, el nmo de A, si existe, es el unico s

X tal que
i) s

es una cota inferior de A y

ii) si b es cota inferior de A entonces b _ s

.
Lo denotamos por s

=nf A. Si pertenece a A decimos que es el mnimo de A y

escribimos s

= mn A.
El conjunto X tiene la propiedad del supremo si todo subconjunto no vaco
de X que este acotado superiormente tiene supremo.
Finalmente, (X, ) esta bien ordenado si todo subconjunto de X tiene mni-
mo. En ese caso decimos que es un buen orden.
5. Estructuras Algebraicas
Sea X un conjunto no vaco. Una operacion binaria en X es una funcion
: X X X. Generalmente escribiremos xy en lugar de (x, y). Para las
operaciones binarias es com un utilizar smbolos como , , ; en lugar de letras.
Ejemplo 1.12. Aunque no las hemos estudiado a un, el lector ya debe estar
familiarizado con los conceptos de suma y multiplicacion.

Estas son operaciones
binarias en los conjuntos de n umeros (naturales, enteros, racionales, reales), que
estudiaremos mas adelante.
16 1. PRELIMINARES
Una operacion binaria en X es
conmutativa si x y = y x para todos x, y X;
asociativa si x (y z) = (x y) z para todos x, y, z X.
Para efectos de este curso, una estructura algebraica es un conjunto X dota-
do de una coleccion
1
, . . . ,
n
de operaciones binarias.
Ejemplo 1.13. Si X es N, Z, Q, R, entonces (X, +, ) es una estructura alge-
braica. Sus dos operaciones son conmutativas y asociativas. Mas adelante estudi-
aremos en mas profundidad estas estructuras.
Sean A = (X,
1
, . . . ,
n
) e = (Y,
1
, . . . ,
n
) dos estructuras algebraicas con
el mismo n umero (n) de operaciones binarias. Una funcion : X Y es un ho-
momorsmo entre las estructuras si para cada k = 1, . . . , n y para x, x

X se
tiene que (x
k
x

) = (x)
k
(x

). Se suele decir, informalmente, que los homo-

morsmos son funciones que preservan la accion de las operaciones binarias.
Si existe un homomorsmo inyectivo de A en decimos que contiene una
copia de A. Un isomorsmo es un homomorsmo biyectivo.
Sean A = (X,
1
, . . . ,
n
) e = (Y,
1
, . . . ,
n
) dos estructuras algebraicas.
Si X Y y para cada k = 1, . . . , n la restriccion de
k
a X X coincide con
k
,
decimos que A es una subestructura de . Claramente, si A es una subestructura
de , entonces contiene una copia de A. Recprocamente, si contiene una
copia de A y es el homomorsmo inyectivo correspondiente, entonces el conjunto
(X) Y dotado de las operaciones binarias
1
[
(X)
, . . . ,
n
[
(X)
resulta ser una
subestructura de . En este sentido, aunque es un abuso del lenguaje, podemos
decir que si contiene una copia de A entonces A es una subestructura de .
Ejemplo 1.14. Con la precision de lenguaje hecha arriba, veremos mas ade-
lante que (N, +, ) es una subestructura de (Z, +, ), la cual es una subestructura de
(Q, +, ), que a su vez es una subestructura de (R, +, ).
Ejercicios
Ejercicio 1. Escriba pq, p q y p q en terminos de disyunciones y negaciones.
Ejercicio 2. Sean V una proposicion verdadera y F una proposicion falsa. Verique
que las siguientes son tautologas:
1. (p p) F;
2. (p p) V ;
3. (p V ) p;
4. (p F) F;
5. (p V ) V ;
6. (p F) p;
7. (p p) p;
8. (p p) p;
EJERCICIOS 17
9. p p;
10. p p.
Ejercicio 3. Compruebe que las siguientes son tautologas:
1. p q (p q);
2. p q (p q);
3. [(p q) (q r)] (p r) (Transitividad del implica);
4. (p q) (q p) (Contrarrecproco);
5. (p q) [(p q) (q p)];
6. [p (p q)] q (Modus ponens).
Ejercicio 4. Sea A

una familia de conjuntos. Suponga lo siguiente:

i) X A

para cada ; y
ii) Si Y A

para todo entonces Y X.

Bajo estas condiciones pruebe que X =

.
Ejercicio 5. Sea f : X Y y sean A y B subconjuntos de X e Y , respectivamente.
Verique que A f
1
(f(A)) y f(f
1
(B)) B.
Ejercicio 6. Sea f : X Y . Demuestre que son equivalentes:
i) f es inyectiva;
ii) f
1
(f(A)) = A para todo A X;
iii) f tiene inversa por la izquierda.
Ejercicio 7. Sea f : X Y . Demuestre que son equivalentes:
i) f es sobreyectiva;
ii) f(f
1
(B)) = B para todo B Y ;
iii) f tiene inversa por la derecha.
Ejercicio 8. Sean (A
1
,
1
) y (A
2
,
2
) dos conjuntos (parcial o totalmente) orde-
nados. Denote A = A
1
A
2
y dena en A la relacion de la siguiente manera:
(a
1
, a
2
) (b
1
, b
2
) [(a
1

1
a
2
) (a
1
,= a
2
)] [(a
1
= a
2
) (b
1

2
b
2
)] .
Demuestre que es un orden (parcial o total, respectivamente) en A. Generalice
para el producto cartesiano de N conjuntos ordenados. Este orden se llama orden
lexicogr aco, por que?
Ejercicio 9. Pruebe que la relacion p q si p divide a q es un orden parcial en N.
Verique que esto no es cierto en Z ni en el conjunto P[Q] de todos los polinomios
con coecientes racionales. Construya una relacion de equivalencia que corrija.
es
te
problema al pasar de manera conveniente (y no trivial) al cuociente.
Ejercicio 10. Sea N N. Dena en Z la relacion a
N
b si N divide a ab. Pruebe
que es una relacion de equivalencia. Esta relacion se llama congruencia m odulo N.
En el cuociente, que denotamos por Z
N
, dena la suma m odulo N como sigue: [a]+
N
[b] = [r], donde a+b = cN+r (r es el resto de dividir a+b por N). Dena de manera
analoga el producto m odulo N,
N
, y verique que estas deniciones no dependen
de los representantes elegidos. Compruebe que son conmutativas, asociativas y que
18 1. PRELIMINARES
tienen elemento neutro. Tambien que valen la propiedad distributiva y la ley de
cancelacion para la suma, y que todo elemento de Z
N
tiene opuesto para la suma.
Finalmente, demuestre que todo elemento distinto del neutro de la suma tiene
inverso multiplicativo si, y solo si, N es primo.
Ejercicio 11. Sea X un conjunto totalmente ordenado. Pruebe que X tiene la
propiedad del supremo si, y solo si, tiene la propiedad del nmo.
CAPTULO 2
Los n umeros naturales y los enteros
1. Construccion del conjunto N.
Dado un conjunto A denimos el sucesor de A como s(A) = A A. El
conjunto N de los n umeros naturales se construye de la siguiente manera: En
primer lugar, N. Luego, agregamos s() y as sucesivamente, para cada n N
agregamos s(n). De esta forma, un conjunto pertenece a N si es vaco o si se puede
obtener a partir del vaco mediante aplicaciones sucesivas de la regla s. Usaremos
la siguiente notacion:
0 =
1 = s(0) = =
2 = s(1) = 1 1 = ,
3 = s(2) = 2 2 = , , , ...
y as sucesivamente. Notemos que cada uno contiene a todos los anteriores y por lo
tanto es distinto (de lo contrario se tendra n n). La denicion de N se traduce
en el siguiente:
Lema 2.1 (Principio de induccion). Sea X un subconjunto de N que contiene
al 0 y tal que para cada n X se cumple que s(n) X. Entonces X = N.
Observemos que n s(n) y tambien n s(n). Mas aun, para m, n N se tiene
que m n si, y solo si, m n. La regla s nos permite denir una funcion s : N N
que llamaremos funcion sucesor.
Proposici on 2.2. La funci on sucesor es inyectiva
Demostracion. Si s(n) = s(m) entonces m s(n), por lo que m n. De la misma
forma n m y as m = n.
La idea de sucesor es fundamental para la construccion de procesos secuenciales.
Esta construccion de N tambien nos permite denir la relacion < mediante:
m < n m n.
Esta relacion es irreexiva pues n / n y transitiva pues si m n y n k entonces
m n y n k. Esto nos dice que m k y por lo tanto m k. Por lo tanto, < es
un orden estricto. Este orden ademas resulta ser total. La razon es la siguiente: Si
n, m N entonces podemos obtener ambos mediante aplicaciones sucesivas de la
funcion sucesor. Supongamos que n ,= m. Si n se obtiene primero entonces m puede
construirse a partir de n mediante aplicaciones sucesivas de la funcion s. Esto nos
dice que n m y por lo tanto n < m. Denotamos por el orden relativo que se
obtiene al agregar los elementos de la diagonal. Escribiremos n > m si m < n y
19
20 2. LOS N

UMEROS NATURALES Y LOS ENTEROS

n m si m n.
La siguiente es una propiedad importante del orden en N:
Proposici on 2.3 (Principio de la buena ordenacion). Todo subconjunto no
vaco de N tiene mnimo.
Demostracion. Sea A un subconjunto no vaco de N. Si 0 A entonces 0 es el
mnimo de A. Si 0 / A consideremos el conjunto
X = n N : (m A) n m.
Este conjunto no es vaco pues 0 X. Tambien sabemos que X N pues A X
c
.
De acuerdo con el principio de induccion existe n X tal que s(n) / X. Veremos
que n es el mnimo de A. Claramente n m para todo m A pues n X, de
modo que n es cota inferior de A. Resta ver que n A. Si esto no fuera cierto,
entonces n < m para todo m A, con lo cual s(n) m para todo m A. Esto
implicara que s(n) X, lo cual es falso.
El principio de la buena ordenacion es una propiedad por demas intuitiva en
el contexto de los n umeros naturales y, como vimos, su demostracion es sencilla.
El axioma de la buena ordenacion postula que en cualquier conjunto se puede
denir un orden total para el cual todo subconjunto no vaco tiene mnimo. Esta
armacion es equivalente al axioma de eleccion.
Corolario 2.4 (Segundo principio de induccion). Sea X un subconjunto de N
que contiene al 0 y supongamos que cada vez que k X para todo k < n se cumple
que n X. Entonces X = N.
Demostracion. Si X N entonces X
c
,= . Sea m su mnimo. Entonces para todo
k < m tenemos que k X, lo que implica que m X. Esto es imposible pues
m X
c
.
Presentaremos ahora una nueva version del principio de induccion que menos
conocida pero muy util para demostrar propiedades en el producto cartesiano NN.
Proposici on 2.5 (Principio de induccion en dos variables). Suponga que X
N N tiene las siguientes propiedades:
i) Para cada n N, (n, 0) X y (0, n) X.
ii) Para cada n, m N, si (n, m), (n, s(m)) X y (s(n), m) X entonces
tambien (s(n), s(m)) X.
Entonces X = N N.
Algunos autores denen el conjunto N a partir del 1 en lugar del 0, lo cual
no tiene mayores implicaciones en la teora. En este curso usaremos la notacion
N

= N 0.
2. Suma en N.
Denimos la operacion binaria
+ : N N N
(m, n) m +n
2. SUMA EN N. 21
de la siguiente manera: En primer lugar escribiremos
m+ 0 = m.
Luego, habiendo denido m+n denimos m +s(n) mediante
m +s(n) = s(m+n).
El n umero natural m+n se llama la suma de m mas n. Por ejemplo, de la denicion
vemos que m+ 1 = s(m), que
m+ 2 = m+s(1) = s(m+ 1) = s
_
s(m)
_
,
y as sucesivamente.
Lema 2.6. Para todos m, n N se cumple que m+s(n) = s(m) +n.
Demostracion. Sea m N y consideremos el conjunto X de todos aquellos n N
tales que m + s(n) = s(m) + n. Utilizando el principio de induccion probaremos
que X = N. En primer lugar, como
m+s(0) = m+ 1 = s(m) = s(m) + 0,
vemos que 0 X. Supongamos ahora que n N. Tenemos que
m+s
_
s(n)
_
= s
_
m+s(n)
_
= s
_
s(m) +n
_
= s(m) +s(n),
de donde s(n) X. El principio de induccion nos dice que X = N.
Proposici on 2.7. Para todo k N se tiene que k + 0 = k = 0 +k.
Demostracion. Procederemos por induccion. Denamos el conjunto Z de los k N
que cumplen k + 0 = k = 0 + k. Claramente 0 Z pues 0 + 0 = 0 = 0 + 0. Ahora,
si k Z tenemos que
0 +s(k) = s(0 +k) = s(k) = s(k) + 0.
Esto nos prueba que s(k) Z, de donde Z = N.
Notemos tambien que el 0 es el unico n umero natural con esta propiedad. En
efecto, si k N es tal que m + k = m para todo m N entonces tendremos que
k = 0 +k = 0.
Proposici on 2.8. Para cada m, n N se tiene que m+n = n +m.
Demostracion. Procederemos tambien por induccion. Tomemos cualquier m N
y consideremos el conjunto X de los n N tales que m + n = n + m. De acuerdo
con la proposicion anterior tenemos que 0 X. Supongamos ahora que n X y
probemos que s(n) X. Tenemos que
m +s(n) = s(m+n) = s(n +m) = n +s(m) = s(n) +m
en virtud del Lema 2.6. Esto nos dice que X = N y, por lo tanto, que m+n = n+m
para todo n N. Como esto es valido para cualquier m N concluimos que
m+n = n +m para todos m, n N.
Proposici on 2.9. Si m, n y k son n umeros naturales tales que m+k = n+k
entonces m = n.
22 2. LOS N

UMEROS NATURALES Y LOS ENTEROS

Proposici on 2.10. Si m, n, k N entonces (m +n) +k = m+ (n +k).
Esto le da un sentido preciso a la expresion m+n +k.
La suma permite demostrar el siguiente corolario del principio de induccion.
Corolario 2.11. Sea X un subconjunto de N que contiene a alg un n
0
y tal
que para cada n X se cumple que s(n) X. Entonces k X para todo k n
0
.
La prueba queda como ejercicio para el lector.
3. Multiplicacion en N.
Denimos la operacion binaria
: N N N
(m, n) m n
de la siguiente manera: En primer lugar escribiremos
m 0 = 0.
Luego, habiendo denido m n denimos m s(n) mediante
m s(n) = (m n) +m.
La operacion binaria se denomina multiplicacion y el n umero natural m n es
el producto de m por n. Por ejemplo, de la denicion vemos que
m 1 = m s(0) = m 0 +m = 0 +m = m.
De la misma forma vemos que
m 2 = m +m,
y as sucesivamente. Con frecuencia escribiremos mn en lugar de m n.
La multiplicacion tambien es una operacion conmutativa:
Proposici on 2.12. Si m, n N entonces m n = n m.
Demostracion. Usaremos el principio de induccion en dos variables. Denotemos
por X el conjunto de los pares (n, m) N N tales que m n = n m. Sea n N.
Si probamos que n 0 = 0 n entonces tendremos que (n, 0) y (0, n) pertenecen
a X. Esto claramente es cierto para n = 0. Supongamos que se cumple para n y
probemos para s(n). Por una parte tenemos que
0 s(n) = 0 n + 0 = n 0 = 0.
Pero tambien
s(n) = s(n) 1 = s(n) s(0) = s(n) 0 +s(n).
La propiedad de cancelacion de la suma nos dice que s(n) 0 = 0. Concluimos
entonces que se cumple la condicion i) del principio de induccion en dos variables.
Supongamos ahora que (n, m), (n, s(m)) y (s(n), m) pertenecen a X. Esto quiere
decir que
n m = m n, n s(m) = s(m) n y s(n) m = n s(m).
EJERCICIOS 23
Tenemos entonces que
s(n) s(m) = s(n) m+s(n)
= m s(n) +s(n)
= m n +m +s(n)
= n m+s(m) +n
= n m+n +s(m)
= n s(m) +s(m)
= s(m) n +s(m)
= s(m) s(n).
Esto nos dice que (s(n), s(m)) X, que es ii).
Proposici on 2.13. Si m, n, k N entonces (m n) k = m (n k)
Proposici on 2.14. Sean m, n, k N. Si k ,= 0 y n k = m k entonces n = m.
Proposici on 2.15. Sean m, n, k N. Entonces m (n +k) = m n +m k.
Ejercicios
Ejercicio 1. Sean (N, 1, s) y (N

, 1

, s

) dos conjuntos inductivos. Dena la suma

y el producto como se hizo en clase para N. Demuestre que la funcion : N N

denida recursivamente por (1) = 1

, (s(n)) = s

((n)) es un isomorsmo.
Ejercicio 2. Pruebe que N y Z tienen la propiedad del supremo.
Ejercicio 3. Demuestre el Teorema Fundamental de la Aritmetica: Todo n umero
natural se escribe de manera unica como producto de factores primos.
CAPTULO 3
Cardinalidad
1. Conjuntos nitos
Denotamos por I
n
= 1, 2, . . . , n.
Proposici on 3.1. Sea A I
n
. Si existe f : I
n
A biyectiva entonces A = I
n
.
Demostracion. Usaremos induccion en n. Si n = 1 no hay nada que probar.
Supongamos que el resultado es cierto para cierto n N. Sea A I
n+1
y sea
f : I
n+1
A una funcion biyectiva. Denotemos por a = f(n + 1). La restriccion
de f a I
n
es una biyeccion de I
n
en A a.
Si A a I
n
entonces A a = I
n
por hipotesis inductiva. Luego a = n +1
y A = I
n
a = I
n
n + 1 = I
n+1
.
Si por el contrario, A a no es subconjunto de I
n
entonces n +1 A a y
por lo tanto a ,= n+1. Sea p = f
1
(n+1). Denimos la funcion g : I
n
An+1
como sigue: primero, g(p) = a; luego, si k ,= p, hacemos g(k) = f(k). La funcion g
es una biyeccion y por lo tanto A n + 1 = I
n
, lo que nos dice que A = I
n+1
.
Dos conjuntos son coordinables si existe una biyeccion entre ellos. Un conjun-
to X es nito si es vaco o si es coordinable con I
n
para alg un n N. Observemos
que si X es coordinable con I
n
y con I
m
, el lema anterior nos dice que m = n y
por lo tanto la denicion no es ambigua. Si X es coordinable con I
n
decimos que
la cardinalidad de X es n, o que X tiene n elementos (n = 0 si X = ). Tambien
escribimos [X[ = n. Si X no es nito, decimos que es innito.
Corolario 3.2. No existe una biyecci on entre un conjunto nito X y un sub-
conjunto propio de X.
Demostracion. Una funcion con esas caractersticas permitira construir una biyec-
cion entre alg un I
n
y un subconjunto propio, lo cual contradice la proposicion an-
terior.
El siguiente resultado se puede demostrar por induccion mediante un argumento
analogo al utilizado para probar la Proposicion 3.1 y se deja como ejercicio.
Lema 3.3. Todo subconjunto A de un conjunto nito X es nito. Adem as
[A[ [X[ y [A[ = [X[ si, y s olo si, A = X.
Esto nos permite demostrar la siguiente:
Proposici on 3.4. Sean X e Y dos conjuntos no vacos y sea f : X Y .
i) Si f es inyectiva e Y es nito entonces X es nito y [X[ [Y [; y
ii) Si f es sobreyectiva y X es nito entonces Y es nito y [Y [ [X[.
25
26 3. CARDINALIDAD
Demostracion. Probemos i). Si f : X Y es inyectiva, ella dene una biyeccion
de X en f(X) Y . El lema anterior nos dice que f(X), y por lo tanto X, es nito
por ser subconjunto de un conjunto nito y que [X[ = [f(X)[ [Y [. Para probar
ii) recordemos que toda funcion sobreyectiva f : X Y tiene una inversa por la
derecha g : Y X, y es una funcion inyectiva. Basta aplicar i) con g en lugar de
f e intercambiando los papeles de X e Y .
La armacion i) se puede reescribir de la siguiente manera, conocida como el
Principio del casillero.
Corolario 3.5. Si X e Y son conjuntos nitos tales que [X[ > [Y [ entonces
ninguna funci on f : X Y es inyectiva.
Proposici on 3.6. Sean X e Y dos conjuntos nitos.
i) [X Y [ [X[ +[Y [, con igualdad si X Y = ; y
ii) [X Y [ = [X[ [Y [.
Demostracion. Consideremos biyecciones : I
n
X y : I
m
Y .
Para probar i), denamos : I
n+m
X Y mediante la siguiente regla:
para k = 1, . . . , n hacemos (k) = (k) y para k = n + 1, . . . , n + m hacemos
(k) = (k n). La funcion es sobreyectiva y si XY = tambien es inyectiva.
Para probar ii) observemos primero que todo k I
nm
se escribe de manera
unica como k = n(p 1) +r, donde p I
m
y r I
n
. La funcion : I
nm
X Y
denida por (k) = ((r), (p)) es una biyeccion.
Las armaciones i) y ii) de la Proposicion 3.6 se conocen, respectivamente,
como Principio de la suma y Principio del producto.
Ejemplo 3.1. Dados dos conjuntos no vacos X e Y , denotamos por T(X; Y )
el conjunto de las funciones de X en Y . Si [X[ = m y [Y [ = n entonces T(X; Y )
tiene m
n
elementos.
Ejemplo 3.2. Si X es cualquier conjunto no vaco, entonces T(X) es co-
ordinable con el conjunto T(X; 0, 1). Mostraremos una biyeccion. Para cada
A T(X) y cada x X denimos
f
A
(x) =
_
1 si x A;
0 si x / A.
Denimos entonces : T(X) T(X; 0, 1) mediante (A) = f
A
. Es facil ver que
es una biyeccion.
Ejemplo 3.3. Los dos ejemplos anteriores nos dicen que si X es nito entonces
[T(X)[ = 2
|X|
.
Ejemplo 3.4. Existen n! funciones biyectivas de I
n
en I
n
.
Ejemplo 3.5. En I
n
existen
_
n
k
_
=
n!
k!(nk)!
subconjuntos con k elementos. En
consecuencia,

n
k=0
_
n
k
_
= 2
n
.
3. CARDINALIDAD EN CONJUNTOS INFINITOS 27
Proposici on 3.7. Sea A un subconjunto no vaco de N. Las siguientes ar-
maciones son equivalentes:
i) A es nito;
ii) A est a acotado superiormente; y
iii) A tiene m aximo.
Demostracion. Si A = a
1
, . . . , a
N
entonces p = a
1
+ +a
N
es cota superior de
A. Si A esta acotado superiormente el conjunto B formado por las cotas superiores
de A no es vaco y por lo tanto tiene mnimo, que llamamos b. Para ver que b es el
maximo de A, basta vericar que b A. En efecto, si b / A entonces b 1 B, lo
que contradice la denicion de b como mnimo de B. Finalmente, supongamos que
m = max A. Entonces A I
m
y por lo tanto es nito.
Ejemplo 3.6. La implicacion ii) iii) nos dice que N y Z tienen la propiedad
del supremo.
2. Conjuntos numerables
Un conjunto X es numerable si es coordinable con alg un subconjunto de N.
Proposici on 3.8. Todo subconjunto de un conjunto numerable es numerable.
Demostracion. Si A X y X es numerable, entonces existe una biyeccion entre
X y un subconjunto de N. La restriccion de a A es una biyeccion de A en (A);
que es subconjunto de N y por lo tanto A es numerable.
Corolario 3.9. Sean X e Y dos conjuntos no vacos y sea f : X Y .
i) Si f es inyectiva e Y es numerable entonces X es numerable; y
ii) Si f es sobreyectiva y X es numerable entonces Y es numerable.
Ejemplo 3.7. Sean X e Y dos conjuntos numerables. Entonces X Y es nu-
merable.
Ejemplo 3.8. Sea X
n

nN
una familia de conjuntos numerables. Entonces

nN
X
n
es numerable.
Ejemplo 3.9. Sea A N. Si A es innito, entonces es coordinable con N.
3. Cardinalidad en conjuntos innitos
Proposici on 3.10. Todo conjunto innito tiene un subconjunto innito nu-
merable.
Demostracion. Sea X un conjunto innito y sea x
1
X. El conjunto X
1
=
X x
1
T(X) tambien es innito por el principio de la suma. Luego, podemos
tomar x
2
X
1
y claramento x
2
,= x
1
. Ademas el conjunto X
2
= X
1
x
2
es
innito. Inductivamente, para cada n N escogemos x
n+1
X
n
. Notemos que
x
n+1
,= x
k
para todo k n. Hemos encontrado un subconjunto innito numerable
x
n

nN
de X.
28 3. CARDINALIDAD
Corolario 3.11. Un conjunto X es innito si, y s olo si, existe una biyecci on
entre X y alg un subconjunto propio.
Demostracion. Como X es innito, tiene un suconjunto innito numerable S =
x
n

nN
. Denimos : X Xx
1
de la siguiente manera: para x / S, (x) = x;
para x
n
S, (x
n
) = x
n+1
. Claramente, es biyectiva.
Dos conjuntos X e Y tienen la misma cardinalidad si son coordinables; es decir,
si existe una funcion biyectiva entre X e Y . En ese caso escribimos [X[ = [Y [.
Notemos que existe una funcion inyectiva de X en Y si, y solo si, existe una
funcion sobreyectiva de Y en X. En este caso escribimos [X[ [Y [. Si [X[ [Y [
pero no existe ninguna funcion sobreyectiva de X en Y escribimos [X[ < [Y [. Esta
notacion es consistente en virtud del siguiente resultado:
Teorema 3.12 (Cantor-Schroder-Bernstein). Si existen una funci on inyectiva

1
: X Y y una funci on sobreyectiva
2
: X Y , entonces existe una funci on
biyectiva : X Y .
4. Conjuntos no numerables
Teorema 3.13 (Cantor). Sean X e Y dos conjuntos no vacos y supongamos
que Y tiene al menos dos elementos. Entonces no existe ninguna funci on sobreyec-
tiva de X en T(X; Y ).
Demostracion. Sea : X T(X; Y ). Debemos probar que no puede ser so-
breyectiva. Esto equivale a encontrar f T(X; Y ) tal que (x) ,= f para todo
x X. Para mayor claridad, denotemos la funci on (x) por
x
. Queremos en-
contrar f T(X; Y ) con la propiedad de que para cada x X existe z X tal
que
x
(z) ,= f(z). Denimos f de la siguiente forma: dado que Y tiene al menos
dos elementos, para cada x X podemos escoger (usando el Axioma de eleccion)
f(x) Y
x
(x). Claramente
x
(x) ,= f(x) para cada x X.
Corolario 3.14. T(N) no es numerable.
Demostracion. T(N) es coordinable con el conjunto T(N; 0, 1).
Ejemplo 3.10. Sea X
n

nN
una familia innita numerable de conjuntos in-
nitos numerables. El producto cartesiano X
1
X
2
. . . no es numerable.
Ejercicios
Ejercicio 1. Sea una relacion de equivalencia sobre un conjunto X. Pruebe que
[X/

[ [X[.
Ejercicio 2. Sean X e Y dos conjuntos con [X[ = n y [Y [ = m. Determine el
n umero de funciones inyectivas y sobreyectivas de X en Y . Si m = n pruebe que
una funcion f : X Y es inyectiva si, y solo si, es sobreyectiva.
EJERCICIOS 29
Ejercicio 3. Pruebe que si X
1
y X
2
son conjuntos nitos entonces [X
1
X
2
[ +
[X
1
X
2
[ = [X
1
[ +[X
2
[. Generalice a N conjuntos nitos.
Ejercicio 4. Un n umero es algebraico si es raz de alg un polinomio con coecientes
enteros. Pruebe que el conjunto de los n umeros algebraicos es numerable (puede
usar, sin demostracion, el Teorema Fundamental del

Algebra: Un polinomio de grado
n con coecientes complejos tiene n races complejas, contando multiplicidades).
Ejercicio 5. Demuestre que todo conjunto innito tiene un subconjunto innito
numerable. Concluya que [N[ es el menor (en el sentido que se denio en clase)
cardinal innito.
Ejercicio 6. Pruebe que X es innito si, y solo si, existe una biyeccion entre X y
un subconjunto propio. Tenga en cuenta que es facil encontrar una biyeccion de N
en N 1.
Ejercicio 7. Encuentre biyecciones entre los siguientes conjuntos:
1. [0, 1] y (0, 1);
2. T(AB; C) y T(A; T(B; C)), donde A, B y C son conjuntos arbitrarios,
no vacos;
3. N y el conjunto X T(N) [ X es nito.
4. R y el conjunto X T(N) [ X es innito. Concluya que [R[ > [N[.
Ejercicio 8. Sea f : X X una funcion inyectiva tal que f(X) ,= X. Pruebe que
si x X F(X) entonces el conjunto x, f(x), f
2
(x), . . . es innito.
Ejercicio 9. Sea A
n

nN
una sucesion de conjuntos. Dena
lmsup A
n
=

n=1
(

k=n
A
k
) y lminf A
n
=

n=1
(

k=n
A
k
) .
1. Pruebe que lmsupA
n
es el conjunto de los elementos que pertenecen a
A
n
para una cantidad innita de ndices n, mientras que lminf A
n
es el
conjunto de los elementos que estan en A
n
para todos los ndices n, salvo
un n umero nito. Concluya que lminf A
n
lmsup A
n
.
2. Si A
n
A
n+1
para cada n, pruebe que lmsupA
n
= lminf A
n
=

n=1
A
n
.
3. Si A
n+1
A
n
para cada n, pruebe que lmsupA
n
= lminf A
n
=

n=1
A
n
.
4. Pruebe que es posible tener lmsup A
n
,= lminf A
n
.
CAPTULO 4
Los n umeros racionales y reales
En este captulo estudiaremos los n umeros racionales y reales. Primero mostraremos
una construccion de los n umeros racionales a partir de los naturales y los enteros,
para luego estudiar sus propiedades. Un punto importante es que los n umeros
racionales forman un cuerpo ordenado que no satisface la propiedad del supremo. En
la segunda parte presentaremos el conjunto de los n umeros reales y demostraremos
el Teorema Fundamental de Lanalisis Real, que garantiza la existencia de un ( unico
salvo isomorsmos) cuerpo ordenado con la propiedad del supremo.
1. Los n umeros racionales
Estudiaremos ahora los n umeros racionales. Para ello, consideremos el conjunto
Q =
_
m
n
: m Z, n N
_
y denamos en Q la relacion mediante
m
n

p
q
si mq = pn.
Esta relacion es de equivalencia: es reexiva pues mn = nm; simetrica ya que
mq = pn implica pn = mq; y transitiva puesto que si mq = pn y ps = rq entonces
ms = rn.
Notemos que
_
0
1

=
_
0
n
: n N
_
;
_
1
1

=
_
n
n
: n N
_
; y
_
m
1

=
_
mn
n
: n N
_
.
En conjunto Q de los n umeros racionales es el cuociente Q/

.
1.1. Suma y multiplicacion en Q. En Q denimos la suma y la multipli-
cacion de la manera siguiente:
_
m
n
_
+
_
p
q
_
=
_
mq +pn
nq
_
y
_
m
n
_

_
p
q
_
=
_
mp
nq
_
.
Debemos vericar que estas operaciones estan bien denidas, en el sentido de
que no dependen del representante que se elija. Lo haremos para la suma y dejamos
la vericacion del producto como ejercicio para el lector. Si
m

_
m
n

y
p

_
p
q
_
entonces
_
m

_
+
_
p

_
=
_
m

+p

_
.
Bastara vericar que
m

+p

_
mq +pn
nq
_
,
31
32 4. LOS N

UMEROS RACIONALES Y REALES

con lo cual
_
m

_
+
_
p

_
=
_
m
n
_
+
_
p
q
_
.
En otras palabras, tenemos que comprobar que
(m

+p

)nq = (mq +pn)n

.
En efecto,
(m

+p

)nq = m

nqq

+nn

q
= mn

qq

+nn

pq

= n

(mq +np).
Es facil ver que la funcion : Z Q denida por (m) =
_
m
1

es un homo-
morsmo inyectivo de Z en Q y por lo tanto Q contiene una copia de Z. Usaremos
la siguiente simbologa, que es consistente con el hecho de que Q contiene una copia
de Z:
0 =
_
0
1

; y m =
_
m
1

.
Comprobaremos ahora algunas de las propiedades de la suma y la multipli-
cacion en Q. Para simplicar la notacion, en lo que sigue p =
_
m
n

, p

=
_
m

_
y
p

=
_
m

_
denotan elementos genericos en Q. Denotamos por p =
_
m
n

y si
p ,= 0 ponemos p
1
=
1
p
=
_
n
m

.
Una estructura algebraica (K, , ) es un cuerpo si se tiene lo siguiente:
C1 p p

= p

p p, p

K;
C2 p (p

) = (p p

) p

p, p

, p

K;
C3 Existe 0
K
K tal que p 0
K
= 0
K
p = p p K;
C4 Para cada p K existe p K tal que p (p) = (p) p = 0
K
;
C5 p p

= p

p;
C6 p (p

) = (p p

) p

;
C7 Existe 1
K
K tal que p 1
K
= 1
K
p = p;
C8 Si p ,= 0, p p
1
= p
1
p = 1;
C9 p (p

) = p p

p p

.
Proposici on 4.1. (Q, +, ) es un cuerpo.
La vericacion es muy sencilla y se deja como ejercicio para el lector. El ele-
mento neutro para la suma (es decir, el que satisface C3) es 0
K
= 0. El elemento
neutro para la multiplicacion (el que satisface C7) es el 1
K
= 1. Dado p =
_
m
n

,
su opuesto (C4) es p =
_
m
n

. Finalmente, si p ,= 0 entonces m ,= 0 y el inverso

multiplicativo de p es
p
1
=
_ _
n
m

si m N
_
n
m
_
si m / N
1.2. Cardinalidad de Q. La funcion : Z Q denida mas arriba es in-
yectiva. Por lo tanto, [Q[ [Z[ = [N[. Por otra parte, la funcion : Q Q denida
por (a) = [a] es sobreyectiva. En consecuencia, [Q[ [Q[ = [N Z[ = [N[. Con-
cluimos que Q es innito numerable.
1. LOS N

UMEROS RACIONALES 33
1.3. Orden en Q. Un cuerpo ordenado es un cuerpo K donde hay un
subconjunto destacado P
K
(los elementos positivos del cuerpo) que cumple las
siguientes propiedades:
O1 Si p, p

P
K
entonces p +p

P
K
y pp

P
K
;
O2 Se cumple exactamente una de las siguientes condiciones para cada q K:
q = 0, q P
K
, q P
K
. Esta propiedad se conoce como tricotoma.
En un cuerpo ordenado siempre se puede denir un orden estricto que es total:
por ejemplo, a <
K
b si b a P.
Proposici on 4.2. Todo cuerpo ordenado contiene una copia de N. En partic-
ular, todo cuerpo ordenado es innito.
Demostracion. Sea (K, , ) un cuerpo ordenado y sean 0
K
y 1
K
los elementos de
K que satisfacen las propiedades C3 y C7, respectivamente. Para cada m N
denimos m
K
= 1
K
1
K
(m veces). Construimos entonces : Z K
como sigue: (0) = 0
K
, y para m N, (m) = m
K
. Es facil ver que es
un homomorsmo. Para comprobar que es inyectivo, supongamos que n > m y
veamos que (n) > (m). Pero (n) = (m +n m) = (m) (n m). Como
1
K
P (el conjunto de los elementos positivos de K) se tiene que m
K
P para
todo k N. Esto quiere decir que m
K
> 0
K
para todo k N. Concluimos que
(n) (m) = (n m) > 0
K
y por lo tanto (n) > (m).
El orden en Z nos permite denir un orden en Q. Si p =
_
m
n

y p

=
_
m

_
,
decimos que
p p

si mn

n y p < p

si mn

< m

n.
La relacion es un orden relativo mientras que < es un orden estricto; ambos
son totales. Denotamos por
P
Q
= p Q : p > 0
el conjunto de los racionales positivos.
Proposici on 4.3. Q es un cuerpo ordenado.
Dejamos la demostracion como ejercicio.
1.4. Valor absoluto y distancia. Dado p Q, denimos su valor asoluto
como
[p[ =
_
p si p 0
p si p < 0.
Proposici on 4.4. Sean p, q Q. Se tiene lo siguiente
i) [p[ 0 y [p[ = 0 si, y s olo si, p = 0;
ii) [pq[ = [p[[q[;
iii) [p[ p [p[; y
iv) [p +q[ [p[ +[q[.
Si p, q Q denimos la distancia entre p y q como d(p, q) = [p q[.
Proposici on 4.5. Sean p, q, r Q. Se tiene lo siguiente
34 4. LOS N

UMEROS RACIONALES Y REALES

i) d(p, q) 0 y d(p, q) = 0 si, y s olo si, p = q;
ii) d(p, q) = d(q, p); y
iii) d(p, q) d(p, r) +d(r, q).
Una funcion con estas caractersticas es una metrica. Volveremos sobre este
punto mas adelante.
1.5. Propiedad arquimedeana. Recordemos que en un cuerpo ordenado
K hay un conjunto destacado P de los elementos positivos de K que satisface las
propiedades O1 y O2 de la Proposicion 4.3. Recodemos tambien que un cuerpo orde-
nado siempre contiene una copia de N. Un cuerpo ordenado K tiene la propiedad
arquimedeana si para todos a, b P existe N N tal que aN > b.
Proposici on 4.6. Q tiene la propiedad arquimedeana.
Demostracion. Sean a = [
m
n
] y b = [
p
q
] dos racionales positivos, con lo cual
m, p N. Notemos primero que p b pues pq p para todo q N. Si denimos
N = (p + 1)n, tendremos que aN = m(p + 1) p + 1 > p b.
Corolario 4.7. Para cada P existe N N tal que
1
N
< .
Demostracion. Basta tomar a = , b = 1 y aplicar la propiedad arquimedeana
para encontrar N N tal que N > 1. Pues esto implica que
1
N
< .
1.6. Los n umeros racionales y la propiedad del supremo. Probare-
mos ahora que el conjunto de los n umeros racionales no satisface la propiedad del
supremo. Comenzaremos por comprobar que la ecuacion x
2
= 2 no tiene solucion
en Q.
Proposici on 4.8. No existe ning un n umero racional cuyo cuadrado sea 2.
Demostracion. Supongamos, por el contrario que existe p Q tal que p
2
= 2. Si p
es negativo, entonces [p[ es positivo y su cuadrado tambien es 2. Podemos suponer
entonces, sin perdida de generalidad, que p es positivo. Sean m, n N tales que
p = [
m
n
] y que al menos uno de ellos es impar. Si ambos son pares dividimos am-
bos por 2 cuantas veces sea necesario para que alguno resulte impar. Tenemos que
m
2
= 2n
2
, con lo que m
2
debe ser par y por lo tanto m tambien es par. Tenemos
entonces que m = 2q y por lo tanto n
2
= 2q
2
. Pero esto dice que n tambien debe
ser par, lo que contradice la escogencia de m y n.
Proposici on 4.9. El conjunto Q no tiene la propiedad del supremo.
Demostracion. Consideremos el conjunto A = x > 0 : x
2
< 2. Facilmente
vemos que 2 es una cota superior de A pues si x > 2 entonces x
2
> 4 > 2 con
lo cual x no puede pertenecer a A. Veamos ahora que no tiene supremo. Sea B el
conjunto de las cotas superiores de A. Si y es un n umero racional positivo entonces
y
2
,= 2 en virtud de la proposicion anterior. Esto nos dice que un n umero racional
positivo, o bien esta en A, o esta en B. Probaremos que para cada a A y para
cada b B existen r A y s B tales que a < r y s < b. Esto nos dice, por una
2. LOS N

UMEROS REALES 35
parte, que ning un elemento de A puede ser cota superior; y por la otra, que no hay
una mnima cota superior. Para cada x > 0 denimos
(x) = x +
x
2
2
x + 2
=
2x + 2
x + 2
. (1)
Vemos que
(x)
2
2 =
2(x
2
2)
(x + 2)
2
. (2)
Denimos r = (a) y s = (b). La ecuacion (1) nos dice que r > a y que s < b. Por
su parte, la ecuacion (2) nos dice que r A y que s B. El supremo, de existir,
tendra que tener 2 como cuadrado.
2. Los n umeros reales
En la seccion anterior vimos que los n umeros racionales constituyen un cuerpo
ordenado que no tiene la propiedad del supremo. Ahora construiremos, a partir de
Q, un cuerpo ordenado que s tiene esta propiedad. Dicho de manera muy simpli-
cada, lo que haremos sera llenar los espacios que corresponden a los supremos de
los conjuntos acotados superiormente. Entre las maneras de hacer esto se desta-
can dos: la primera, atribuida a Cantor, usa el concepto de sucesiones de Cauchy
y tiene como ventaja que es muy facil vericar las propiedades de cuerpo. La se-
gunda, atribuida a Dedekind, se basa en incluir directamente los supremos de los
conjuntos acotados superiormente. Aqu desarrollaremos la primera y dejaremos
indicaciones para que el lector interesado desarrolle la segunda como ejercicio. La
idea es demostrar lo siguiente:
Teorema 4.10 (Teorema fundamental del analisis real). Existe un cuerpo or-
denado con la propiedad del supremo. Adem as es unico, salvo isomorsmos.
2.1. El conjunto R de los n umeros reales. Recordemos que una sucesion
en Q es simplemente una funcion x : N Q. Por razones practicas conservaremos
la notacion x(n) en lugar de x
n
. Diremos que x : N Q tiene la propiedad de
Cauchy si para cada > 0 existe N N tal que [x(n) x(m)[ < siempre que
n, m N.
Ejemplo 4.1. Dado q Q, denotaremos por c
q
la sucesion constante c
q
(n) q.
Es evidente que c
q
tiene la propiedad de Cauchy.
Ejemplo 4.2. La sucesi on a : N Q denida por a(n) =
1
n
tambien tiene
la propiedad de Cauchy pues el Corolario 4.7 nos garantiza que para cada > 0
existe N N tal que 0 <
1
N
< . Tenemos entonces que [a(n) a(m)[
1
N
< si
n, m N.
Denotamos por X el conjunto de todas las sucesiones en Q que tienen la
propiedad de Cauchy y denimos la siguiente relacion: x y si para cada > 0
existe N N tal que [x(n) y(n)[ < para todo n N. Esta relacion es de
equivalencia:
i) Es reexiva pues [x(n)x(n)[ = 0 < para todo n N y para todo > 0.
36 4. LOS N

UMEROS RACIONALES Y REALES

ii) Es simetrica pues [x(n) y(n)[ = [y(n) x(n)[ para todo n N.
iii) Es transitiva pues si x y e y z, entonces para cada > 0 exis-
ten N
1
y N
2
tales que [x(n) y(n)[ <

2
para todo n N
1
mientras
que [y(n) z(n)[ <

2
para todo n N
2
. En virtud de la desigualdad
triangular, [x(n) z(n)[ [x(n) y(n)[ + [y(n) z(n)[ < para todo
n maxN
1
, N
2
.
El conjunto cuociente X/

lo denotamos por R.
Dado q Q, usaremos la notacion q = [c
q
]. Vemos inmediatamente que la
funcion q q es una inyecci on de Q en R.
2.2. Propiedades de cuerpo. Sean x, y R, de manera que x = [x] y
y = [y]. Denimos
x +y = [x +y] y x y = [xy],
donde (x +y)(n) = x(n) +y(n) y (xy)(n) = x(n)y(n).
Debemos vericar que estas operaciones estan bien denidas en el sentido de que
no dependen del representante de la clase. En efecto, si x

[x] e y

[y] entonces
para cada > 0 existe N N tal que [x(n) x

(n)[ < /2 y [y(n) y

(n)[ < /2
para todo n N. Luego
[(x +y)(n) (x

+y

)(n)[ [x(n) x

(n)[ +[y(n) y

(n)[ <
para todo n N y por lo tanto x

+y

[x +y]. De manera similar se prueba que

x

[xy].
Se deja al lector vericar lo siguiente:
Proposici on 4.11. Con estas operaciones el conjunto R es un cuerpo.
Hemos usado los mismos smbolos que para la suma y el producto en Q ya
que claramente se tiene c
q
+ c
p
= c
q+p
y c
q
c
p
= c
qp
para q, p Q. Esto ultimo
nos dice tambien que la funci on q q = [c
q
] es un homomorsmo inyectivo de Q
en R y concluimos que R contiene una copia de Q. Es decir, Q es un subcuerpo de R.
2.3. Propiedades de orden. Sean x = [x] e y = [y]. Escribiremos x < y si
existen > 0 y N N tales que y(n) x(n) para todo n N. En este caso
tambien hemos usado el mismo smbolo del orden estricto en Q ya que q < p si, y
solo si, q < p.
Veamos que esta denici on no depende del representante. Supongamos que
y(n) x(n) para todo n N. Debemos probar que si x

[x] e y

[y]
entonces existen

> 0 y N

N tales que y

(n) x

(n)

para todo n N

.
En efecto, como x

[x] e y

[y] existe N

N, que podemos escoger mayor o

igual que N, tal que [x(n) x

(n)[ < /4 y [y(n) y

(n)[ < /4 para todo n N

.
Tenemos entonces que
y

(n) x

(n) > y(n) /4 x

(n) > y(n) x(n) /2 /2

2. LOS N

UMEROS REALES 37
para todo n N

. Basta tomar

= /2.
Al igual que en Q escribiremos que x y si (x < y) (x = y).
Proposici on 4.12. R es un cuerpo ordenado.
Demostracion. Denotamos por P
R
= x R : 0 < x el conjunto de los elementos
positivos de R. Si x = [x] e y = [y] estan en P
R
entonces existen
1
> 0,
2
> 0,
N
1
, N
2
N tales que x(n)
1
para todo n N
1
e y(n)
2
para todo n N
2
.
Tomando N = maxN
1
, N
2
y =
1
+
2
vemos que x(n) + y(n) para todo
n N. Esto nos dice que la suma de elementos de P
R
esta en P
R
. Un argumento
similar permite probar un resultado analogo para el producto.
Para la tricotoma, mostraremos que si x / P
R
y x / P
R
entonces x = 0.
Sea > 0 y tomemos x x. Basta encontrar N N tal que [x(n)[ < para todo
n N pues esto nos dira que x [c
0
] = 0, con lo cual x = 0. Como x tiene la
propiedad de Cauchy, existe N N tal que [x(n) x(m)[ < /2 si n, m N. Ahora
bien, si x / P
R
entonces podemos encontrar n
+
N tal que x(n
+
) < /2. Esto
y la propiedad de Cauchy nos dicen que x(n) x(n
+
) + [x(n) x(n
+
)[ < para
todo n N. Un argumento analogo, basado en el hecho de que x / P
R
, nos dice
que x(n) > para todo n N y por lo tanto [x(n)[ < para todo n N.
2.4. Propiedad del supremo.
Proposici on 4.13. R tiene la propiedad del supremo.
Demostracion. Sea A R un conjunto acotado superiormente y denotemos por
B el conjunto de las cotas superiores de A. La estrategia es encontrar x R que
sea a la vez cota superior de A y cota inferior de B. Claramente un elemento con
estas propiedades tiene que ser el supremo de A.
Recordemos que dado q Q, denotamos por c
q
la sucesion constante c
q
(m) q.
Como A esta acotado superiormente, el conjunto
B = n Z : [c
n
] es cota superior de A,
de las cotas superiores enteras de A, no es vaco y esta acotado inferiormente. Sean
b(1) su mnimo y a(1) = b(1)1. Tenemos entonces que [c
b(1)
] (clase de equivalencia
de la sucesion constante igual a b(1)) es cota superior de A y [c
a(1)
] no lo es.
Si [c
b(1)
1
2
] es cota superior de A denimos b(2) = b(1)
1
2
y a(2) = a(1); de
lo contrario denimos b(2) = b(1) y a(2) = a(1) +
1
2
. Notemos que [c
b(2)
] es cota
superior de A y [c
a(2)
] no lo es. Habiendo denido a(k) y b(k), si [c
b(k)
1
2
k
] es cota
superior de A denimos b(k + 1) = b(k)
1
2
k
y a(k + 1) = a(k); de lo contrario
denimos b(k + 1) = b(k) y a(k + 1) = a(k) +
1
2
k
. Se tiene que [c
b(k+1)
] es cota
superior de A y [c
a(k+1)
] no lo es. Por construccion, b(k + 1) = a(k + 1) +
1
2
k
.
Ademas, si n k se tiene que
a(k) a(n) < b(n) b(k) = a(k) +
1
2
k1
.
Esto nos dice que las sucesiones a y b son de Cauchy y que [a] = [b]. Denimos
x = [a] = [b]. Claramente se tiene que x b para todo b B y x a para todo
38 4. LOS N

UMEROS RACIONALES Y REALES

a A y por lo tanto x = sup A.
2.5. Unicidad.
Proposici on 4.14. Todo cuerpo ordenado con la propiedad del supremo es
isomorfo a R.
La demostracion se deja como ejercicio.
2.6. Densidad de Q en R. Decimos que un conjunto A R es denso
en R si entre cada par de n umeros reales podemos encontrar un elemento de A
1
.
Probaremos que Q tiene esta propiedad.
Proposici on 4.15. Sean a, b R con a < b. Entonces existe q Q tal que
a < [c
q
] < b.
Demostracion. Sean a = [a] y b = [b]. Si a < b, existen N N y P
Q
tales que
b(n) a(n) + para todo n N. Como a y b son de Cauchy existe M N, que
podemos escoger mayor o igual que N, tal que [a(k)a(m)[ <

4
y [b(k)b(m)[ <

4
si k, m M. Tenemos entonces que
a(k) +

4
< a(M) +

2

a(M) +b(M)
2
b(M)

2
< b(k)

4
para todo k M. El n umero racional q =
a(M)+b(M)
2
tiene la propiedad deseada.
Corolario 4.16. Dados a R y e > 0 existen p, q Q tales que
a e < [c
p
] < a < [c
q
] < a + e.
2.7. Propiedad arquimedeana.
Proposici on 4.17. Dados a, b R positivos podemos encontrar N N tal que
aN > b, donde N = [c
N
].
Demostracion. En virtud del corolario anterior, existen p, q Q positivos tales
que [c
p
] < a y b < [c
q
]. Como ya sabemos que Q tiene la propiedad arquimedeana,
existe N N tal que pN > q. De all vemos que [c
p
][c
N
] > [c
q
], lo que nos dice que
aN > b.
Ejercicios
Ejercicio 1. La caracterstica de un cuerpo K es el menor n umero natural N tal
que 1
K
+1
K
+ +1
K
= 0
K
, donde el 1
K
se suma N veces. Si no existe tal n umero,
decimos que K tiene caracterstica 0. Demuestre lo siguiente:
i) Si un cuerpo K tiene caracterstica N ,= 0 entonces N es primo;
ii) Todo cuerpo con caracterstica 0 es innito y contiene una copia de Q;
iii) Todo cuerpo ordenado tiene caracterstica 0. En particular, contiene una
copia de Q.
1
M as adelante veremos una noci on m as general de subconjunto denso.
EJERCICIOS 39
Ejercicio 2. Sea K un cuerpo ordenado. Compruebe que las siguientes armaciones
son equivalentes:
K es arquimedeano;
N no esta acotado superiormente en K;
Q no esta acotado superior ni inferiormente en K; y
Para cada a K positivo, existe n N tal que 0 <
1
n
< a.
Ejercicio 3. Verique R tiene la propiedad arquimedeana.
Ejercicio 4. Sean K y L dos cuerpos y sea : K L un homomorsmo. Pruebe
que
1. (0
K
) = 0
L
;
2. (1
K
) 0
L
, 1
L
;
3. Si (1
K
) = 0
L
entonces (x) = 0
L
para todo x K;
4. Si (1
K
) = 1
L
entonces es inyectivo. Si ademas K = L = Q, entonces
es la identidad.
Ejercicio 5. Demuestre lo siguiente:
1. Todo cuerpo ordenado K con la propiedad del supremo es isomorfo a R;
2. El unico isomorsmo de R en R es la identidad;
3. Si K y L son cuerpos ordenados con la propiedad del supremo entonces
existe un unico isomorsmo de K en L.
Ejercicio 6. Pruebe que el conjunto de los n umeros irracionales es denso en R.
CAPTULO 5
Topologa
En esta seccion presentaremos los conceptos basicos de la topologa y estudi-
aremos especialmente los n umeros reales.
1. Nociones basicas de topologa general
Sea X un conjunto no vaco. Decimos que T(X) es una topologa en X si
satisface lo siguiente:
i) , X ;
ii) Si A
1
, A
2
, . . . , A
N
son elementos de entonces
N

k=1
A
k
;
iii) Si A

es una familia de elementos de entonces

.
Ejemplo 5.1. Dado un conjunto no vaco X, el conjunto
g
= , X es una
topologa en X; se llama topologa gruesa. El conjunto
d
= T(X) tambien es
una topologa en X y se llama topologa discreta.
Ejemplo 5.2. Denimos T(R) de la siguiente manera: A R si para
cada a A existe > 0 tal que (a , a +) A. Veremos que es una topologa
en R.
i) Es claro que , X .
ii) Sean A
1
, A
2
, . . . , A
N
elementos de y sea A =
N

k=1
A
k
. Dado a A existen
reales positivos
1
,
2
, . . . ,
N
tales que (a
k
, a +
k
) A
k
para cada
k 1, . . . , N. Si = mn
1
, . . . ,
N
tenemos que (a , a + ) A
k
para todo k y por lo tanto (a , a +) A.
iii) Sea A

una familia de elementos de y denamos A =

. Si
a A existe

tal que a A

. Como A

existe > 0 tal que

(a , a +) A

A.
En lo sucesivo, si no se dice lo contrario, cuando hablemos de R como espacio
topologico nos referiremos a esta topologa.
Un conjunto X dotado de una topologa es un espacio topologico, que
denotamos con el par (X, ). Dado x X, un conjunto V es una vecindad de x si
existe U tal que x U V . Denotamos por ^
x
el conjunto de las vecindades
de x.
Sea A X. Decimos que a A es un punto interior de A si existe V tal
que a V A; es decir, si A es vecindad de a. El conjunto A es abierto si todos
41
42 5. TOPOLOG

IA
sus puntos son interiores. En otras palabras, si es vecindad de todos sus puntos. Se
sigue que A es abierto si, y s olo si, A .
Ejemplo 5.3. El Ejemplo 5.2 nos da una caracterizacion de los subconjuntos
abiertos de R.
Por otra parte, a es punto de acumulacion de A si para cada V ^
a
el
conjunto AV tiene al menos un elemento distinto de a. Al conjunto de los puntos
de acumulacion de A lo denotamos por A

. Si A contiene todos sus puntos de acu-

mulacion; es decir, si A

A, decimos que A es cerrado. Los puntos que no son

de acumulacion se llaman puntos aislados.
Ejemplo 5.4. En R, si a < b el conjunto A
1
= [a, b] es cerrado, mientras que
los conjuntos A
2
= [a, b), A
3
= (a, b) y A
4
= (a, b] no lo son. Ninguno de ellos tiene
puntos aislados. En todos los casos, el conjunto de los puntos de acumulacion es
[a, b].
Ejemplo 5.5. Sea A =
1
n
: n N. Todos los puntos de A son aislados. El
unico punto de acumulacion es el 0, que no esta en A. Se sigue que A no es cerrado.
En cambio A 0 s lo es.
Proposici on 5.1. Sea (X, ) un espacio topol ogico. Un conjunto A X es
cerrado si, y s olo si, A
c
es abierto.
Demostracion. Supongamos que A es cerrado y tomemos x A
c
. Entonces x / A

pues A

A. Luego existe V 1
x
tal que V A = , con lo que A
c
es abierto.
Recprocamente, supongamos que A
c
es abierto. Veremos que si y A

entonces
y A. En efecto, si y / A entonces existe W ^
y
tal que W A = y el punto y
no es de acumulacion.
La adherencia de A es el conjunto A = A A

y la frontera de A se dene
como A = A A
c
. Si B A, decimos que B es denso en A si A B.
Ejemplo 5.6. Todos los conjuntos mencionados en el Ejemplo 5.4 tienen como
adherencia [a, b] y frontera a, b.
Ejemplo 5.7. Para los n umeros racionales tenemos que Q = Q = R.
Proposici on 5.2. Sea (X, ) un espacio topol ogico y sea A X. Entonces A
es el menor cerrado que contiene a A. M as precisamente,
i) A es cerrado;
ii) A = A si, y s olo si, A es cerrado; y
iii) Si B es cerrado y A B entonces A B.
2. ESPACIOS DE HAUSDORFF 43
Demostracion. Para probar i), tomemos x A
c
. Como x / A y tampoco es
punto de acumulacion de A existe V ^
x
tal que V A = . Debemos ver aho-
ra que V tampoco intersecta a A

. Como V es abierto, si y V A

, existira
W ^
y
tal que W V . Pero entonces, como y A

existe z W A, lo que
contradice que V A = . Probemos ahora ii). Si A = A, A es cerrado por i). Si
A es cerrado entonces A

A y por lo tanto A = A A

A, con lo que A = A.
Finalmente, si B es cerrado y A B entonces A

= B y por lo tanto A B.
Corolario 5.3. Sea (X, ) un espacio topol ogico y sea A X. Entonces A
es cerrado.
Demostracion. Es interseccion de dos cerrados.
Sea (X, ) un espacio topologico y sea Y X. Consideremos la siguiente familia
de subconjuntos de Y :
= W = Y V : V .
Es facil ver que es una topologa en Y , con lo cual (Y, ) es un espacio topologico.
Bajo estas condiciones diremos que (Y, ) es un subespacio topologico de (X, )
y que es la topologa de subespacio heredada de (X, ).
Ejemplo 5.8. El conjunto [a, b] R puede dotarse de la topologa de sube-
spacio heredada de R. Observe que un intervalo de la forma [a, r) con r (a, b] es
abierto en este espacio, aunque no es abierto en R.
2. Espacios de Hausdor
Un espacio topologico (X, ) es de Hausdor si para cada x, y X existen
V
x
^
x
y V
y
^
y
tales que V
x
V
y
= .
Ejemplo 5.9. R es un espacio de Hausdor. Si a < b, entonces (,
a+b
2
)
^
a
, (
a+b
2
, ) ^
b
y estos conjuntos son disjuntos.
Ejemplo 5.10. Si X es cualquier conjunto no vaco, entonces (X,
d
) es un
espacio de Hausdor.
Ejemplo 5.11. Si X tiene al menos dos elementos, entonces (X,
g
) no es un
espacio de Hausdor.
Ejemplo 5.12. Consideremos el conjunto X = a, b, donde a y b son distintos.
Denimos la topoliga = , b, X. El espacio (X, ) no es de Hausdor pues
no hay ning un elemento de que contenga a a y no a b.
Ejemplo 5.13. En X = (0, 1) denamos = (0, a) [ a [0, 1] (entendiendo
que (0, 0) = ). Entonces (X, ) no es de Hausdor.
44 5. TOPOLOG

IA
Proposici on 5.4. Sea (X, ) un espacio de Hausdor y sea A X. Si a es
un punto de acumulaci on de A entonces cada V ^
a
contiene innitos puntos de
A. En particular, un conjunto nito no tiene puntos de acumulaci on.
Demostracion. Supongamos que existe V ^
a
que tiene solo una cantidad nita
x
1
, . . . , x
N
de elementos de A distintos de a. Encontraremos U ^
a
tal que
U A = a, con lo que a no puede ser un punto de acumulacion. Como (X, )
es de Hausdor, existen U
1
, . . . , U
N
^
a
y W
1
, . . . , W
N
con x
k
W
k
y
U
k
W
k
= . El conjunto U = U
k
esta en ^
a
pues es interseccion de una cantidad
nita de elementos de ^
a
. Claramente U A = a pues U V y U [W
k
] = .
3. Espacios metricos
Sea X un conjunto no vaco. Una funcion d : X X [0, ) es una metrica
en X si para todos x, y, z X se tiene que:
i) d(x, y) = 0 si, y solo si x = y;
ii) d(x, y) = d(y, x); y
iii) d(x, y) d(x, z) +d(z, y). Esta es la llamada desigualdad triangular.
Un conjunto X dotado de una metrica d es un espacio metrico y lo denotamos
con el par (X, d).
Ejemplo 5.14. En R denimos d(x, y) = [x y[. Es facil ver que (R, d) es un
espacio metrico.
Sea (X, d) un espacio metrico. Dados x X y r > 0 denimos la bola abierta
de centro x y radio r como
B(x, r) = y X [ d(x, y) < r.
De manera similar denimos la bola cerrada de centro x y radio r como
B(x, r) = y X [ d(x, y) r.
Ejemplo 5.15. En R las bolas abiertas son los intervalos abiertos y las bolas
cerradas son los intervalos cerrados. Mas precisamente, B(x, r) = (x r, x + r) y
B(x, r) = [x r, x +r].
Sea A X. Si para cada a A existe r > 0 tal que B(a, r) A decimos
que A es abierto para la metrica d. Es facil ver que el conjunto de todos los
subconjuntos de X que son abiertos para la metrica d es una topologa en X.
Proposici on 5.5. Sea (X, d) un espacio metrico. Cada bola abierta es un con-
junto abierto y cada bola cerrada es un conjunto cerrado.
Demostracion. Sea y B(x, r). Veremos que existe > 0 tal que B(y, )
B(x, r). En efecto, sea = r d(x, y) y tomemos z B(y, ). En virtud de la
desigualdad triangular,
d(x, z) d(x, y) +d(y, z) < d(x, y) + r d(x, y) = r,
lo que prueba que z B(x, r). La armacion sobre las bolas cerradas se demuestra
mediante argumentos similares.
4. CONJUNTOS COMPACTOS 45
De lo anterior se deduce que la familia de todos los subconjuntos de X que son
abiertos para la metrica d forman una topologa en X. Esta es la topologa asoci-
ada a la metrica d. De aqu en adelante, los espacios metricos deben entenderse
tambien como espacios topologicos.
Ejemplo 5.16. La topologa descrita en el Ejemplo 5.2 coincide con la topologa
asociada a la metrica d(x, y) = [x y[.
Proposici on 5.6. Todo espacio metrico es de Hausdor.
Demostracion. Sea (X, d) un espacio metrico y tomemos x, y X con x ,= y.
Deniendo r =
1
2
d(x, y) > 0 tenemos que x B(x, r), y B(y, r) y B(x, r)
B(y, r) = .
Un conjunto S en un espacio metrico (X, d) es acotado si existen x X y
M > 0 tales que d(x, z) M para todo z S.
Ejemplo 5.17. Un conjunto S R es acotado si, y solo si, existe M > 0 tal
que [z[ M para todo z S.
4. Conjuntos compactos
Sean (X, ) un espacio topologico y A X. Un cubrimiento de A es un sub-
conjunto 1 tal que A V [ V 1. Si 1 es un cubrimiento de A, decimos
que 1

1 es un subcubrimiento si 1

tambien es cubrimiento de A.
Un conjunto K X es compacto si todo cubrimiento de K admite un sub-
cubrimiento nito. Un conjunto es relativamente compacto si su adherencia es
compacta.
Ejemplo 5.18. En cualquier espacio topologico, todo conjunto nito es com-
pacto. Tambien el conjunto vaco es compacto.
Ejemplo 5.19. En (X,
g
) todo conjunto es compacto. Observe que, si X tiene
al menos dos elementos, hay compactos en este espacio que nos son cerrados.
Ejemplo 5.20. En (X,
d
) un conjunto es compacto si, y solo si, es nito.
Ejemplo 5.21. El intervalo (0, 1) no es compacto pues 1 = (
1
n
, 1), n 2 es
un cubrimiento que no admite ning un subcubrimiento nito.
Ejemplo 5.22. R no es compacto pues el cubrimiento 1 = (n, n), n N
no admite subcubrimiento nito.
Proposici on 5.7. En un espacio de Hausdor todo compacto es cerrado.
Demostracion. Sean (X, ) un espacio de Hausdor, K X un compacto y
x K
c
. Para cada y K existen V
y
, W
y
tales que y V
y
, x W
y
y
46 5. TOPOLOG

IA
V
y
W
y
= . El conjunto 1 = V
y
, y K es un cubrimiento de K. Tomamos
un subcubrimiento nito V
y1
, . . . , V
yN
. Claramente el conjunto W =
N
k=1
W
y
k
es
una vecindad de x y no intersecta a K.
En todo lo que sigue (X, ) es un espacio de Hausdor.
Proposici on 5.8. Todo subconjunto cerrado de un compacto es compacto. En
particular, la intersecci on de un cerrado y un compacto es un conjunto compacto.
Demostracion. Sea C un subconjunto cerrado de un compacto K y sea 1 un
cubrimiento de C. Como C es cerrado, C
c
es abierto y 1 C
c
es un cubrimiento
de K. Como K es compacto, existen V
0
, V
1
, . . . V
N
tales que V
0
= C
c
, V
k
1 para
cada k = 1, . . . , N y K
N

k=0
V
k
. Luego C
N

k=1
V
k
y C es compacto.
Teorema 5.9 (Propiedad de las intersecciones nitas). Sea K

una fa-
milia de compactos tal que

,= para cualquier subconjunto nito

.
Entonces

,= .
Demostracion. Supongamos que

= . Encontraremos un subconjunto
nito que tiene interseccion vaca. Para ello tomamos . Podemos escribir
K

_

=
K

_
= , lo que implica que K

=
K
c

. Dado que cada K

c

es abier-
to, K
c

=
es un cubrimiento de K

. Como K

es compacto, podemos extraer un

subcubrimiento nito K
c
1
, . . . , K
c
N
. Tenemos entonces que K

k=1
K
c

k
y por
lo tanto K

K
1
K
N
= .
En particular, se tiene lo siguiente:
Corolario 5.10. Sea K
n

nN
una sucesi on de compactos no vacos tal que
K
n+1
K
n
para cada n. Entonces

nN
K
n
,= .
Teorema 5.11. Todo subconjunto innito de un compacto tiene alg un punto
de acumulaci on en el compacto.
Demostracion. Sea E un subconjunto innito de un conjunto K y supongamos
que E no tiene ning un punto de acumulacion en K. Probaremos que K no puede ser
compacto. Mas precisamente, encontraremos un cubrimiento de K que no admite
subcubrimiento nito. Sea x K. Como x no es punto de acumulacion de E existe
V
x
^
x
que no intersecta a E salvo si x E. El conjunto 1 = V
x
, x K es un
cubrimiento de K. Claramente no admite un subcubrimiento nito pues cualquier
subcubrimiento debe contener V
x
, x E, que es un conjunto innito.
Ejemplo 5.23. Ya vimos que el intervalo abierto A = (0, 1) no es compacto.
El subconjunto E =
1
n
, n 2 es innito. Su unico punto de acumulacion es el 0,
que no esta en A.
6. SOBRE LOS ABIERTOS, CERRADOS, COMPACTOS Y CONEXOS DE R 47
5. Conjuntos conexos
Sea (X, ) un espacio topologico. Un conjunto A X es conexo si cada vez
que se tengan dos abiertos U y V tales que A U V , necesariamente uno de los
dos no intersecta a A.
Ejemplo 5.24. El conjunto A = a es conexo. En efecto, supongamos que U
y V son dos abiertos disjuntos tales que A U V . Si a U entonces a / V con
lo cual A V = y viceversa.
Ejemplo 5.25. Q no es conexo pues (,

2) y (

2, ) son dos abiertos

disjuntos cuya union cubre Q y ambos intersectan a Q.
En la proxima seccion veremos mas sobre los subconjuntos conexos de R.
6. Sobre los abiertos, cerrados, compactos y conexos de R
Observemos que un conjunto J R es un intervalo si, y solo si, siempre que
a, b J y a < b, se tiene que (a, b) J. El siguiente resultado permite caracterizar
los subconjuntos abiertos de R:
Proposici on 5.12. Todo abierto de R se escribe de manera unica como uni on
numerable de intervalos abiertos, dos a dos disjuntos.
Demostracion. Sea A un abierto. Para cada x A denimos I
x
como la union
de todos los intervalos abiertos que contienen a x y que estan contenidos en A.
Cada I
x
es abierto por ser union de abiertos. Veamos ahora que es un interva-
lo. Probaremos que si a, b I
x
entonces (a, b) I
x
(sin perdida de generalidad
suponemos que a < b). Tanto a como b pertenecen a intervalos, digamos J
a
y J
b
,
que contienen a x. Si a < b < x entonces (a, b) (a, x) I
x
; si a < x < b entonces
(a, b) = (a, x) x (x, b) I
x
; y si x < a < b entonces (a, b) (x, b) I
x
.
Tenemos entonces que A se expresa como union de intervalos A =
xA
I
x
, que
llamamos intervalos componentes. Ahora bien, si x I
y
entonces I
y
es un intervalo
que contiene a x, luego I
y
I
x
; pero esto implica que y I
x
y por lo tanto I
x
I
y
.
Luego estos intervalos son disjuntos dos a dos. Para ver que hay una cantidad nu-
merable de ellos denotemos por C el conjunto de los intervalos componentes de A
y denamos la funcion : C Q de manera que si J C, (J) J. Esta funcion
es inyectiva y por lo tanto [C[ [Q[. Es decir, C es numerable. La unicidad de la
representacion como union de intervalos desjuntos se sigue tambien del hecho que
I
x
I
y
,= implica I
x
= I
y
.
Esto nos permite caracterizar los subconjuntos conexos de R:
Corolario 5.13. Un conjunto A R es conexo si, y s olo si, es un intervalo.
Demostracion. Supongamos primero que A no es un intervalo. Entonces existen
x, y, z tales que x < y < z, x, z A e y / A. Los conjuntos U = (, y) y
V = (y, ) son abiertos disjuntos y su union contiene a A. Por otra parte, x AU
y z A V , lo que nos dice que A no es conexo.
48 5. TOPOLOG

IA
Recprocamente, si A no es conexo entonces existen abiertos disjuntos U y
V tales que A U V , A U ,= y A V ,= . Tomemos x A U,
z A V y supongamos, sin perdida de generalidad, que x < z. El conjunto
= r > x : (x, r) V = no es vaco pues x U, U es abierto y U V = .
Tambien esta acotado superiormente por z, por lo que existe y = sup . Es facil
ver que y / U V y en consecuencia y / A. Hemos encontrado x, y, z tales que
x < y < z, x, z A e y / A, por lo que A no es un intervalo.
Presentaremos ahora una caracterizacion muy practica de los subconjuntos
compactos de R. En primer lugar recordemos que R es un espacio metrico y por lo
tanto es de Hausdor.
El siguiente resultado es similar al Corolario 5.10:
Lema 5.14. Sea I
n
= [a
n
, b
n
] una sucesi on de intervalos cerrados y acotados.
Supongamos que I
n+1
I
n
para cada n N. Entonces

nN
I
n
,= .
Demostracion. El conjunto S = a
n
, n N esta acotado superiormente y no
es vaco. Sea s su supremo. Claramente a
n
s b
n
para todo n N, por lo que
s

nN
I
n
.
Proposici on 5.15. Dados a < b, el intervalo [a, b] es compacto.
Demostracion. Supongamos por el contrario que existe un cubrimiento 1 de [a, b]
que no admite un subcubrimiento nito. Sea c =
1
2
(a + b). Dividimos el intervalo
[a, b] como [a, c] [c, b]. Alguno de estos subintervalos, que denotamos por [a
1
, b
1
],
no puede ser cubierto por una cantidad nita de abiertos de 1 pues de lo con-
trario, [a, b] tambien podra cubrirse con una cantidad nita de los abiertos de 1.
As sucesivamente construimos una sucesion I
n
de intervalos cerrados tales que
i) I
n+1
I
n
para cada n N;
ii) I
n
no puede ser cubierto por una cantidad nita de abiertos de 1; y
iii) Si x, y I
n
entonces [x y[ 2
n
(b a);
El punto i) y el Lema 5.14 nos garantizan que existe x

I
n
. Sea V

1 tal que
x

. Como V

es abierto existe r > 0 tal que (x

r, x

+r) V

. Sea N N
tal que 2
N
(b a) < r. De acuerdo con el punto iii), tenemos que I
N
V

, pero
esto contradice el punto ii) pues hemos encontrado una cantidad nita de abiertos
de 1 que cubre I
N
.
Demostracion alternativa. Sea 1 un cubrimiento de [a, b]. Existe V
a
1 tal que
a V
a
. Como V
a
es abierto, existe r > 0 tal que [a, a + r) V
a
. Notemos que si
c [a, r), el intervalo [a, c] se puede cubrir con una cantidad nita de elementos de
1: V
a
. Denotemos por B el conjunto de todos los c [a, b] tales que el intervalo
[a, c] se puede cubrir con una cantidad nita de elementos de 1. Si probamos que
b = max B podremos concluir que [a, b] se puede cubrir con una cantidad nita de
elementos de 1. Sea d = supB, que existe pues B es un conjunto no vaco acotado
superiormente. Probemos que d B. Sea V
d
un elemento de 1 que contiene a d.
Entonces existe s > 0 tal que (d s, d + s) V
d
. Como d
s
2
B, el intervalo
[a, d
s
2
] puede cubrirse con una cantidad nita de elementos de 1. Agragando V
a
obtenemos un subcubrimiento nito 1

para [a, d], con lo que d B. Esto dice que

EJERCICIOS 49
supB B. Finalmente veamos que d = b. Si d < b entonces 1

es un subcubrimiento
nito para [a, d +
s
2
], lo que contradice la denicion de d como supremo.
Teorema 5.16. Sea K R. Las siguientes armaciones son equivalentes:
i) K es cerrado y acotado;
ii) K es compacto; y
iii) Todo subconjunto innito de K tiene un punto de acumulaci on en K.
Demostracion. Supongamos que se tiene i). Como K es acotado existen a, b R
tales que K [a, b]. Luego K es un subconjunto cerrado de un compacto. En virtud
de la Proposicion 5.8, K es compacto y tenemos ii). De acuerdo con el Teorema
5.11, ii) implica iii). Probaremos ahora que iii) implica i). Sea x K

. Para cada
n N podemos encontrar x
n
K tal que x
n
,= x
m
si n ,= m y 0 < [x x
n
[ <
1
n
.
El conjunto S = x
n

nN
es innito y su unico punto de acumulacion es x. La
propiedad iii) nos dice que x K, con lo cual K es cerrado. Finalmente, si K no
es acotado, para cada n N se puede encontrar x
n
K tal que [x
n
[ n. Este
conjunto es innito y no tienen ning un punto de acumulacion, lo que contradice
iii).
En virtud de la Propiedad del Supremo, todo subconjunto de R que sea acotado
superiormente y no vaco tiene supremo. En el caso de los conjuntos cerrados, el
supremo ademas pertenece al conjunto:
Proposici on 5.17. Todo conjunto cerrado, no vaco y acotado superiormente
tiene m aximo. En particular, todo compacto tiene m aximo y mnimo.
Demostracion. Sea A un conjunto cerrado, no vaco y acotado superiormente.
Sea s

= sup A. Por denicion de supremo, para cada > 0 existe a A tal que
a > s

. Esto nos dice que, o bien s

A, o s

es punto de acumulacion de A.
Como A es cerrado, A

A, con lo cual s

A.
Ejercicios
Ejercicio 1. De un ejemplo de una coleccion de abiertos de R cuya interseccion no
sea abierta.
Ejercicio 2. Para cada sea I

= (a

, b

). Pruebe que si

,= entonces

= (nf

, sup

).
Ejercicio 3. Sea A R. Si todos sus puntos son aislados entonces A es numerable.
Ejercicio 4. En R
2
= R R dena la distancia entre dos puntos como
d((x
1
, y
1
), (x
2
, y
2
)) =
_
(x
1
x
2
)
2
+ (y
1
y
2
)
2
.
Compruebe que (R
2
, d) es un espacio metrico. Generalice este resultado a R
n
.
CAPTULO 6
Sucesiones
1. Conceptos basicos en espacios metricos
En lo que sigue (X, d) es un espacio metrico
1
.
Una sucesion es una familia (x
n
)
nN
de elementos de X. A x
n
se le llama
termino general de la sucesion. Usamos la notacion con parentesis para distin-
guir la sucesion del conjunto de sus puntos, que denotamos por x
n

nN
.
1.1. Sucesiones convergentes. Una sucesion (x
n
) converge a x

X si
para cada > 0 existe N N tal que d(x
n
, x

) < para todo n N. En este caso

escribimos lm
n
x
n
= x

, o tambien x
n
x

cuando n . Diremos tambien que

x

es el lmite de la sucesion (x
n
).
Observemos que x
n
x

si, y solo si, todo abierto que contiene a x

con tiene
a todos salvo, quiza, una cantidad nita de los x
n
.
Proposici on 6.1. Sean E X. Entonces p E

si, y s olo si, existe una

sucesi on (p
n
) de puntos de E que son distintos de p y tales que lm
n
p
n
= p.
Demostracion. Como p E

para cada n N existe p

n
EB(p,
1
n
) con p
n
,= p.
Dado > 0 existe N N tal que d(p, p
n
) <
1
n

1
N
< para todo n N. El
recproco es inmediato.
1.2. Subsucesiones y puntos de acumulacion. Sean (x
n
) e (y
n
) dos suce-
siones. Decimos que (y
n
) es subsucesion de (x
n
) si existe una funcion : N N
estrictamente creciente tal que y
n
= x
(n)
para cada n N.
Notemos que si : N N es creciente entonces (n) n para todo n N.
Proposici on 6.2. Una sucesi on converge a x si, y s olo si, toda subsucesi on
converge a x.
Decimos que x es un punto de acumulacion de (x
n
) si alguna subsucesion
de (x
n
) converge a x.
1
Estos resultados se aplican, en particular, cuando X = R y d(x, y) = |x y|. Si le resulta
util para jar ideas, el lector puede mantenerse en este contexto. Sin embargo, esto no simplica
los argumentos empleados en las demostraciones.
51
52 6. SUCESIONES
Corolario 6.3. Una sucesi on convergente tiene exactamente un punto de acu-
mulaci on.
Veremos ahora una importante propiedad topologica del conjunto de puntos de
acumulacion.
Proposici on 6.4. El conjunto de los puntos de acumulaci on de una sucesi on
es cerrado.
Demostracion. Sea (x
n
) una sucesion y sea A el conjunto de sus puntos de acu-
mulacion. Debemos probar que si a A

entonces a A. Para ello encontraremos

una subsucesion de (x
n
) que converge a a. Como a A

, para cada n N existe

a
n
A tal que d(a
n
, a) <
1
n
. Denimos inductivamente la funcion : N N como
sigue: Primero, (1) = mnk N : d(x
k
, a
1
) < 1. Habiendo denido (n 1)
denimos (n) = mnk > (n 1) : d(x
k
, a
n
) <
1
n
. Esta funcion esta bien
denida y es creciente. Veamos que la subsucesion (x
(n)
) converge a a. En efecto,
dado > 0 existe N N tal que
1
N
<

2
. Luego, para todo n N tenemos que
d(x
(n)
, a) d(x
(n)
, a
n
) +d(a
n
, a) < .
1.3. Sucesiones de Cauchy. Una sucesion (x
n
) es de Cauchy si para cada
> 0 existe N N tal que d(x
n
, x
m
) < si n, m N. En palabras, esto quiere
decir que para n sucientemente grande los terminos de la sucesion estaran tan
cerca unos de otros como se quiera.
Proposici on 6.5. Toda sucesi on convergente es de Cauchy.
Demostracion. Supongamos que (x
n
) converge a x y sea > 0. Tomemos N N
tal que d(x
n
, x) <

2
para todo n N. En virtud de la desigualdad triangular, si
n, m N tendremos que d(x
n
, x
m
) d(x
n
, x) +d(x
m
, x) < .
Mas adelante veremos que el recproco es cierto en R.
Proposici on 6.6. Toda sucesi on de Cauchy es acotada y tiene, a lo m as, un
punto de acumulaci on.
Demostracion. Sea (x
n
) una sucesion de Cauchy. Existe N N tal que d(x
n
, x
m
) <
1 si m, n N. En particular, d(x
n
, x
N
) < 1 para todo n N. Deniendo
M = max1, d(x
1
, x
N
), . . . , d(x
N1
, x
N
),
vemos que d(x
n
, x
N
) M para todo n N. Probemos ahora que si x
(n)
x y
x
(n)
y entonces x = y. Sea > 0. Entonces existen N
1
tal que d(x
m
, x
n
) <

3
si
n, m N
1
, N
2
tal que d(x, x
(n)
) <

3
si n N
2
y N
3
tal que d(x
(n)
, y) <

3
si n N
3
. Sea N = maxN
1
, N
2
, N
3
. Tenemos que d(x, y) d(x, x
(N)
) +
d(x
(N)
, x
(N)
) + d(x
(N)
, y) < pues (N), (N) N. Como > 0 es arbi-
trario, tenemos que d(x, y) = 0 y por lo tanto x = y.
2. Sucesiones reales
Estudiaremos ahora algunas propiedades de las sucesiones de n umeros reales.
2. SUCESIONES REALES 53
2.1. Caracterizacion de la convergencia. Una propiedad importante de
las sucesiones acotadas en R es que siempre tienen puntos de acumulacion. Esto se
debe a que los conjuntos acotados son relativamente compactos.
Proposici on 6.7. Toda sucesi on acotada tiene alg un punto de acumulaci on.
Demostracion. Sea E = x
n
. Si E es nito entonces existe x R tal que
S = k N : x
k
= x es innito. Denimos inductivamente : N N mediante
(1) = mn S, (n) = mnk S : k > (n 1). La subsucesion (x
(n)
) es
constante y por lo tanto converge.
Si, por el contrario, E es innito el Teorema 5.16 nos dice que E tiene alg un
punto de acumulacion x por estar contenido en un compacto. Denimos entonces
(1) = mnk N : [x
k
x[ < 1 y luego (n) = mnk > (n 1) : [x
k
x[ <
1
n

para cada n N, obteniendo as una subsucesion (x

(n)
) que converge a x.
El siguiente resultado permite garantizar la convergencia de una sucesion sin
conocer el lmite.
Teorema 6.8. Sea (x
n
) una sucesi on de n umeros reales. Las siguientes ar-
maciones son equivalentes:
i) (x
n
) es convergente;
ii) (x
n
) es de Cauchy; y
iii) (x
n
) es acotada y tiene a lo m as un punto de acumulaci on.
Demostracion. Las implicaciones i) ii) y ii) iii) se tienen gracias a las
Proposiciones 6.5 y 6.6, respectivamente. Finalmente, probemos que iii) i). La
Proposicon 6.7 y la hipotesis nos dicen que la sucesion (x
n
) tiene exactamente un
punto de acumulacion x

. Si x
n
no converge a x

entonces existen > 0 y una

subsucesion (x
(n)
) tal que [x

x
(n)
[ para todo n N. Pero (x
(n)
) es aco-
tada y por lo tanto tiene un punto de acumulacion y

que tambien es punto de

acumulacion de la sucesion (x
n
) y es distinto de x

, lo que contradice la unicidad

de x

.
2.2. Sobre los lmites. Los siguientes resultados son utiles para deducir la
convergencia de algunas sucesiones a partir de otras:
Proposici on 6.9. Sean (x
n
) e (y
n
) sucesiones y sea R. Si (x
n
) converge
a x e (y
n
) converge a y entonces
i) x
n
+y
n
converge a x +y;
ii) x
n
y
n
converge a xy; y
iii) Si adem as y
n
,= 0 para todo n N e y ,= 0, entonces
1
yn
converge a
1
y
.
Proposici on 6.10. Supongamos que x
n
converge a x e y
n
converge a y.
i) Si x < y entonces x
n
< y
n
para todo n a partir de un cierto N
0
.
ii) Si x
n
y
n
para todo n a partir de un cierto M
0
, entonces x y.
Demostracion. Para comprobar i) denamos primero =
x+y
2
y jemos
0
=
yx
2
.
Entonces existen N
x
y N
y
tales que [x
n
x[ <
0
para todo n N
x
y [y
n
y[ <
0
para todo n N
y
. Para todo n N
0
:= maxN
x
, N
y
tenemos que x
n
< x+
0
=
mientras que y
n
> y
0
= .
54 6. SUCESIONES
Demostremos ahora ii). Dado > 0 existe M
x
N tal que x

2
< x
n
para
todo n M
x
. De la misma forma, existe M
y
N tal que y
n
< y +

2
para todo
n M
y
. Sea M = maxM
0
, M
x
, M
y
. Entonces x

2
< x
M
y
M
< y +

2
y por
lo tanto x < y +. Como esto vale para cualquier > 0 tenemos que x y.
Proposici on 6.11 (Teorema del Sandwich). Supongamos que para cada n N
se tiene que a
n
b
n
c
n
. Si lm
n
a
n
= lm
n
c
n
= L entonces lm
n
b
n
= L.
Demostracion. Dado > 0 existe N N tal que L < a
n
b
n
c
n
< L +
para todo n N. En particular [b
n
L[ < para todo n N.
Proposici on 6.12. Sea (x
n
) una sucesi on acotada y sea (y
n
) una sucesi on que
converge a cero. Entonces la sucesi on de termino general z
n
= x
n
y
n
converge a
cero.
Demostracion. Si (x
n
) es acotada existe M > 0 tal que M x
n
M para todo
n N. Basta aplicar el Teorema del Sandwich teniendo en cuenta que M[y
n
[
x
n
M[y
n
[ para todo n N y que si lm
n
y
n
= 0 entonces lm
n
[y
n
[ = 0.
2.3. Sucesiones monotonas. Una sucesion (x
n
) de n umeros reales es
i) creciente si x
n+1
x
n
para cada n N;
ii) estrictamente creciente si x
n+1
> x
n
para cada n N;
iii) decreciente si x
n+1
x
n
para cada n N;
iv) estrictamente decreciente si x
n+1
< x
n
para cada n N;
En cualquiera de los casos anteriores decimos que (x
n
) es monotona.
Proposici on 6.13. Toda sucesi on de n umeros reales tiene alguna subsucesi on
mon otona.
Demostracion. Sea (x
n
) una sucesion. Decimos que n N es un mirador si x
m
<
x
n
para todo m > n. Sea S el conjunto, posiblemente vaco de los miradores de
(x
n
). Encontraremos una subsucesion creciente o decreciente dependiendo de la
cardinalidad de S.
Si S es innito, sea una enumeracion creciente de los elementos de S. Clara-
mente la sucesion (x
(n)
) es (estrictamente) decreciente pues para cada m > n se
tiene x
(m)
< x
(n)
en virtud de la denicion de mirador.
Si S es nito, denimos (1) = max S +1. Como (1) no es un mirador existe
n > (1) tal que x
n
x
(1)
. Denamos (2) como el menor de tales n. As sucesi-
vamente denimos una subsucesion (x
(n)
) que es creciente.
Proposici on 6.14. Toda sucesi on mon otona y acotada es convergente.
Demostracion. Supongamos primero que (x
n
) es una sucesion creciente. Sea
S = x
n
el conjunto de puntos de la sucesion. Como esta acotado superiormente
podemos denir s = sup S. De acuerdo con la denicion de supremo, x
n
s para
todo n N. Por otro lado, dado > 0, el n umero real s no puede ser cota
superior de S. Por lo tanto, existe N N tal que x
N
s . Como la sucesion es
creciente, para cada n N tenemos que s < x
N
x
n
s < s + , de donde
[x
n
s[ < . Para el caso decreciente se puede hacer una demostracion similar o
2. SUCESIONES REALES 55
considerar la sucesion creciente de termino general y
n
= x
n
y aplicar lo anterior.
Observe que las Proposiciones 6.13 y 6.14 permiten dar una demostracion al-
ternativa de la Proposicion 6.7.
2.4. Lmites innitos. Sea (x
n
) una sucesion. Diremos que lm
n
x
n
=
si para cada M > 0 existe N N tal que x
n
M para todo n N. De manera
analoga decimos que lm
n
x
n
= si para cada M > 0 existe N N tal que
x
n
M para todo n N.
Proposici on 6.15. Sean (x
n
) e (y
n
) sucesiones con lm
n
x
n
= .
i) Existe N N tal que x
n
> 0 para todo n N.
ii) lm
n
1
xn
= 0.
iii) Si x
n
y
n
para todo n N entonces lm
n
y
n
= .
iv) Si y
n
c > 0 para todo n N entonces lm
n
x
n
y
n
= .
v) Si y
n
c < 0 para todo n N entonces lm
n
x
n
y
n
= .
2.5. Lmite superior e inferior. En lo que sigue, (x
n
)
nN
una sucesion de
n umeros reales y denotamos por E el conjunto de sus puntos de acumulacion.
Usaremos el smbolo para denotar el supremo de un conjunto que no esta aco-
tado superiormente y para el nmo de un conjunto que no esta acotado infe-
riormente.
Denimos entonces el lmite superior y el lmite inferior de (x
n
) como
lmsup
n
x
n
= nf
nN
_
sup
kn
x
k
_
y
lminf
n
x
n
= sup
nN
_
nf
kn
x
k
_
,
respectivamente, pudiendo tomar los valores y .
Proposici on 6.16. Sea (x
n
)
nN
una sucesi on de n umeros reales. Denotamos
por A el conjunto de sus puntos de acumulaci on, por s

su lmite superior y por s

su lmite inferior.
i) s

= si, y s olo si, (x

n
) no est a acotada superiormente;
ii) s

= si, y s olo si, lmx

n
= ;
iii) Si s

R entonces s

= max A;
iv) s

= si, y s olo si, (x

n
) no est a acotada inferiormente;
v) s

= si, y s olo si, lmx

n
= ; y
vi) Si s

R entonces s

= mn A.
Demostracion. Probaremos las propiedades i), ii) y iii) que se reeren al lmite
superior y dejamos las demas como ejercicio para el lector. Para probar i) notemos
que s

= si, y solo si, sup

kn
x
k
= para todo n N. Esto ultimo ocurre si,
y solo si, la sucesion no esta acotada superiormente. Ahora, s

= si, y solo si,

para cada M > 0 existe N N tal que sup
kn
x
k
M, pero esto es precisamente
que lmx
n
= , con lo cual obtenemos ii). Para obtener la propiedad iii), basta
probar que A ,= y que s

= sup A, pues al ser A un conjunto cerrado (Proposicion

56 6. SUCESIONES
6.4), tendremos que s

= max A. De acuerdo con el punto i), la sucesion esta aco-

tada superiormente y en virtud de ii) tiene una sucesion acotada inferiormente.
Obtenemos as una subsucesi on acotada que tiene, a su vez, una subsucesion con-
vergente. Esta ultima es subsucesion de (x
n
), lo que nos muestra que A ,= . Para
a A se tiene que sup
kn
x
k
a para todo n N pues de lo contrario a no podra
ser el lmite de ninguna susucesion. De lo anterior deducimos que s

a y por lo
tanto s

es una cota superior de A. Si b es otra cota superior de A entonces para ca-

da > 0 existe N N tal que x
k
b+ para todo k N. Luego sup
kN
x
k
b+,
de donde vemos que s

b +. Como > 0 es arbitrario, concluimos que s

b y
por lo tanto s

= sup A.
Corolario 6.17. Con la notaci on de la proposici on anterior, s

y
lm
n
x
n
= L si, y s olo si, s

= L = s

.
Ejercicios
Ejercicio 1. Demuestre que si una sucesion monotona tiene una sucesion conver-
gente, entonces es convergente.
Ejercicio 2. Pruebe que si una sucesion de Cauchy (x
n
) tiene una subsucesion que
converge a x

entonces lm
n
x
n
= x

.
Ejercicio 3. Calcule los siguientes lmites:
1. lm
n
n
p
;
2. lm
n
n

p, p > 0;
3. lm
n
n

n;
4. lm
n
n
a
b
n
, a, b Q;
5. lm
n
(

n + 1

n);
6. lm
n
(

n
2
+n n).
Ejercicio 4. Tomemos a
1
=

2 y para cada n N denamos a

n+1
=
_
2 +

a
n
.
Determine si la sucesion (a
n
) es convergente.
Ejercicio 5. Sean x > 0 y a
1
>

x. Para cada n N dena a
n+1
=
1
2
_
a
n
+
x
an
_
.
1. Pruebe que la sucesion (a
n
) es decreciente y su lmite es

x.
2. Pruebe que el error de aproximacion
n
= a
n

x satisface
n+1
<

2
n
2

x
.
3. De una estimacion para
n
.
4. Use lo anterior para calcular

2 con un error menor que 10

10
.
Ejercicio 6. Tome a
1
= 0, a
2
= 1 y para cada n N dena a
n+2
=
1
2
(a
n
+a
n+1
).
Diga si la sucesion (a
n
) es convergente.
Ejercicio 7. Sea (a
n
) una sucesion de n umeros reales. Pruebe que si
lm
n
a
2n
= lm
n
a
2n+1
= a
EJERCICIOS 57
entonces lm
n
a
n
= a.
Ejercicio 8. Sean
1
,
2
, . . . ,
K
funciones estrictamente crecientes de N en N
y dena N
k
=
k
(n)
nN
para cada k 1, . . . , K. Suponga que el conjunto
N

K
k=1
N
k
es nito. Sea (a
n
) una sucesion de n umeros reales. Pruebe que si
lm
n
a

k
(n)
= a para todo k entonces lm
n
a
n
= a. Compare con el ejercicio anterior.
Ejercicio 9. Sean (a
n
) y (b
n
) dos sucesiones de n umeros reales. Pruebe que
lmsup
n
(a
n
+b
n
) lmsup
n
a
n
+ lmsup
n
b
n
.
Ejemplo 6.1. Sea a
1
= a. Para cada n 2 denimos
a
n
=
_
1
2
a
2m1
si n = 2m
1
2
+a
2m
si n = 2m+ 1.
Determine lminf
n
a
n
y lmsup
n
a
n
.
Ejercicio 10. Compruebe que si (a
n
) es una sucesion de n umeros positivos entonces
lminf
n

a
n+1
a
n

lminf
n
n
_
[a
n
[ lmsup
n
n
_
[a
n
[ lmsup
n

a
n+1
a
n

.
CAPTULO 7
Series Numericas
Sea (a
n
) una sucesion de n umeros reales. La serie asociada a (a
n
) es la expre-
sion

a
n
. La sucesion de las sumas parciales esta dada por
A
n
= a
1
+a
2
+ +a
n
=
n

k=1
a
k
.
Decimos que la serie es convergente si la sucesion (A
n
) es convergente. De lo con-
trario la serie es divergente. En caso de existir, el lmite de las sumas parciales es
la suma de la serie, que tambien se denota por

nN
a
n
=

n1
a
n
=

n=1
a
n
. Si
la serie

[a
n
[ es convergente si dice que la serie

a
n
converge absolutamente.
Si

a
n
converge pero

[a
n
[ diverge decimos que la serie

a
n
converge condi-
cionalmente.
Observemos que la serie

a
n
converge si, y solo si, para cada N N la sucesion
de termino general B
n
= A
n
A
N
es convergente. Usaremos la notacion

n=N+1
a
n
=

nN+1
a
n
= lm
n
B
n
= lm
n
A
n
A
N
.
1. Resultados preliminares y ejemplos
Comenzaremos por presentar un ejemplo en el cual es sencillo determinar la
convergencia de la serie y ademas conocer su suma.
Ejemplo 7.1. La serie telescopica. Sea (b
n
) una sucesion de n umeros reales y
sea a
n
= b
n
b
n+1
. Entonces
A
n
=
n

k=1
a
k
= (b
1
b
2
) + (b
2
b
3
) + + (b
n
b
n+1
) = b
1
b
n+1
.
Luego, la serie

a
n
es convergente si, y solo si, la sucesion (b
n
) lo es. La suma es

k=1
a
k
= b
1
lm
n
b
n
.
El siguiente resultado permite conocer la suma de algunas series a partir de
otras. Su demostracion es muy simple y se deja como ejercicio.
Proposici on 7.1. Si (a
n
) y (b
n
) son sucesiones de n umeros reales y si R
entonces la serie

(a
n
+
n
) es convergente y

n=1
(a
n
+b
n
) =

n=1
a
n
+

n=1
b
n
.
59
60 7. SERIES NUM

ERICAS
Notemos tambien que si a
n
0 para todo n N entonces la sucesion (A
n
) es
creciente. En este caso la serie converge si, y solo si, la sucesion (A
n
) esta acotada
superiormente.
Proposici on 7.2. Sea (a
n
) una sucesi on de n umeros reales. Se tiene lo sigu-
iente:
i) La serie

a
n
converge si, y s olo si, la sucesi on de las sumas parciales es
de Cauchy; es decir, si para cada > 0 existe N N tal que

n+p

k=n+1
a
k

<
para todo n N y todo p N.
ii) Si la serie

a
n
converge entonces lm
n
a
n
= 0. Esto se conoce como el
criterio del n-esimo termino.
iii) Si la serie

a
n
converge absolutamente entonces es convergente.
Demostracion. La parte i) es inmediata de las deniciones y la caracterizacion de
la convergencia mediante la propiedad de Cauchy. La parte ii) es consecuencia de
i) (basta tomar p = 1). Finalmente, dado que

n+p

k=n+1
a
k

n+p

k=n+1
[a
k
[, si la sucesion
de las sumas parciales asociadas a ([a
n
[) es de Cauchy, tambien lo es la sucesion de
las sumas parciales asociadas a (a
n
).
Si lm
n
a
n
,= 0, el criterio del n-esimo termino es util para saber rapidamente
que la serie

a
n
no converge. Sin embargo, el que lm
n
a
n
= 0 no garantiza la
convergencia de la serie, como veremos mas adelante.
Ejemplo 7.2. La serie geometrica. Consideremos la serie

c
n
con c R. Si
[c[ 1 el criterio del n-esimo termino nos dice que la serie diverge. Si [c[ < 1,
podemos escribir
A
n
= c + c
2
+ . . . + c
n
cA
n
= c
2
. . . c
n
c
n+1
(1 c)A
n
= c c
n+1
.
Concluimos que la serie es convergente y

n=1
c
n
= lm
n
cc
n+1
1c
=
c
1c
.
Veremos ahora otra caracterizacion de la convergencia de series.
Proposici on 7.3. Sea (a
n
) una sucesi on decreciente de n umeros reales no
negativos. Entonces

a
n
converge si, y s olo si,

2
k
a
2
k converge.
Demostracion. Denimos
A
n
= a
1
+a
2
+a
3
+ +a
n
y B
k
= 2a
2
+ 4a
4
+ 8a
8
+ + 2
k
a
2
k .
Como a
n
0 para todo n, basta demostrar que (A
n
) es una sucesion acotada si, y
solo si, (B
k
) lo es. Dado n N tomemos k N tal que n < 2
k
. Entonces
A
n
a
1
+a
2
+ +a
n
+ +a
2
k
1
a
1
+ (a
2
+a
3
) + (a
4
+ + a
7
) + + (a
2
k1 + +a
2
k
1
)
a
1
+ 2a
2
+ 4a
4
+ + 2
k1
a
2
k1
= a
1
+B
k1
.
2. ALGUNAS CONDICIONES SUFICIENTES PARA LA CONVERGENCIA 61
Por lo tanto, si (B
k
) es acotada tambien lo es (A
n
). El recproco se prueba mediante
un argumento similar.
Ejemplo 7.3. Las series p. Consideremos la serie

1
n
p
, donde p R. Por la
proposicion anterior sabemos que

1
n
p
converge si, y solo si

2
k
1
(2
k
)
p
=

(2
1p
)
k
converge. Esta serie geometrica converge si, y solo si, 1 p < 0; es decir, p > 1.
Ejemplo 7.4. Como caso particular de lo anterior, la serie

1
n
, denominada
serie armonica, es divergente. Este hecho nos da un contraejemplo para el recpro-
co del criterio del n-esimo termino.
2. Algunas condiciones sucientes para la convergencia
En esta seccion veremos algunos resultados que nos permiten garantizar que
una serie es convergente. La mayora de los resultados se derivan de un hecho muy
simple que presentamos a continuacion.
Teorema 7.4 (Criterio de comparacion termino a termino). Sean (a
n
) y (b
n
)
sucesiones de n umeros reales.
i) Si existe N N tal que [a
n
[ b
n
para todo n N y si

b
n
converge
entonces

a
n
converge absolutamente.
ii) Si existe N N tal que 0 b
n
a
n
para todo n N y si

b
n
diverge
entonces

a
n
diverge
Demostracion. La parte ii) es inmediata a partir de i). Para probar i), observemos
que para n N se tiene
n+p

k=n+1
[a
k
[
n+p

k=n+1
b
k
.
Este hecho y el punto i) de la Proposicion 7.2 nos dicen que si

b
k
converge,
entonces

[a
k
[ converge. Es decir,

a
k
converge absolutamente.
Corolario 7.5 (Criterio de comparacion al lmite). Sean (a
n
) y (b
n
) dos suce-
siones de n umeros reales con b
n
> 0 para todo n N. Si lmsup
|an|
bn
< y

b
n
converge entonces

a
n
converge absolutamente.
Demostracion. Sea L = lmsup
|an|
bn
. Existe N N tal que
|an|
bn
L+1 para todo
n N. Esto nos dice que [a
n
[ (L + 1)b
n
para todo n N y el punto i) del
criterio de comparacion termino a termino nos dice que si

b
n
converge entonces

a
n
converge absolutamente.
Corolario 7.6. Sean (a
n
) y (b
n
) dos sucesiones de n umeros positivos. Si
lmsup
an
bn
< y lminf
an
bn
> 0 entonces las series

a
n
y

b
n
tienen el mismo
comportamiento; es decir, ambas convergen o ambas divergen.
62 7. SERIES NUM

ERICAS
Proposici on 7.7 (Criterio de la razon). Sea (a
n
) una sucesi on de n umeros
reales distintos de cero.
i) Si lmsup

an+1
an

< 1 entonces la serie

a
n
converge absolutamente.
ii) Si existe N N tal que

an+1
an

1 para todo n N entonces la serie

a
n
diverge.
Demostracion. Para probar i) notemos primero que existen c (0, 1) y N N
tales que [a
n+1
[ c[a
n
[ para todo n N. Usando induccion se verica facilmente
que [a
n
[ c
n
[a
N
[c
N
para todo n N. Como c (0, 1) el criterio de comparacion
termino a termino y el Ejemplo 7.2 nos permiten concluir que

[a
n
[ converge.
Para demostrar ii) basta usar el criterio del n-esimo termino.
Ejemplo 7.5. Consideremos la serie

a
n
, donde a
n
=
x
n
n!
con x R. Si x = 0
entonces a
n
= 0 para todo n 1. Si x ,= 0 entonces

a
n+1
a
n

=
[x[
n+1
(n + 1)!
n!
[x[
n
=
[x[
n + 1
con lo cual lm
n

an+1
an

= 0. El criterio de la razon nos dice que la serie es conver-

gente. Usaremos la notacion e =

n=0
1
n!
.
Ejemplo 7.6. En muchos casos importantes el criterio de la razon no nos da
informacion de convergencia. Tal es el caso de las series p. Consideremos la serie

1
n
p
, con p > 0. Se tiene que
lm
n

a
n+1
a
n

=
n
p
(n + 1)
p
=
_
n
n + 1
_
p
= 1.
El criterio de la razon no permite concluir si la serie es convergente. Sin embargo
sabemos del Ejemplo 7.3 que la serie converge si p > 1 y diverge en otro caso.
Ejemplo 7.7. El criterio de la razon no discrimina entre series con diferencia
polinomial. Mas precisamente, supongamos que se aplica el criterio de la razon a
la serie

a
n
y se concluye que es convergente. Es decir, lmsup [
an+1
an
[ < 1. Sea
P un polinomio. Si se aplica el criterio de la razon a la serie

P(n)a
n
tambien
resultara convergente pues
lmsup
n

P(n + 1)a
n+1
P(n)a
n

= lmsup
n

a
n+1
a
n

< 1,
lo que nos dice que la serie es convergente. Esto nos da una idea de por que este
criterio no es util para las series p.
Ejemplo 7.8. En virtud del ejemplo anterior, el criterio de la razon tampoco
es util cuando el termino general es una funcion racional de n.
Proposici on 7.8 (Criterio de la raz n-esima). Sea (a
n
) una sucesi on de
n umeros reales y sea L = lmsup
n
_
[a
n
[.
2. ALGUNAS CONDICIONES SUFICIENTES PARA LA CONVERGENCIA 63
i) Si L < 1 la serie

a
n
converge absolutamente.
ii) Si L > 1 la serie

a
n
diverge.
iii) Si L = 1 el criterio no permite decidir.
Para probar la proposicion anterior puede usarse un argumento similar al que
presentamos en la demostracion del criterio de la razon. Por otra parte, observemos
que se tiene la siguiente relaci on entre las cantidades que intervienen en uno y otro
criterio (Ejercicio 2.5 del captulo anterior):
Proposici on 7.9. Sea (a
n
) una sucesi on de n umeros reales. Entonces
lminf
n

a
n+1
a
n

lminf
n
n
_
[a
n
[ lmsup
n
n
_
[a
n
[ lmsup
n

a
n+1
a
n

.
Ejemplo 7.9. Las desigualdades en el lema anterior pueden ser estrictas. Con-
sideremos la serie
1
2
+
1
3
+
1
2
2
+
1
3
2
+ +
1
2
n
+
1
3
n
+
Tenemos que
lminf

a
n+1
a
n

= 0 lmsup
n
_
[a
n
[ =
1

2
lminf
n
_
[a
n
[ =
1

3
lmsup

a
n+1
a
n

= .
El criterio de la raz n-esima nos dice que la serie es convergente mientras el
criterio de la razon no nos permite concluir.
Veremos ahora un criterio que se aplica a series cuya convergencia puede no ser
absoluta. Comenzamos por un resultado tecnico que utilizaremos mas adelante.
Lema 7.10 (Suma por partes). Sean (a
n
) y (b
n
) dos sucesiones reales y sea
(A
n
) la sucesi on de las sumas parciales de (a
n
). Para p q se tiene que
q

n=p
a
n
b
n
= A
q
b
q
A
p1
b
p
+
q1

n=p
A
n
(b
n
b
n+1
).
Demostracion. Tenemos que
q

n=p
a
n
b
n
=
q

n=p
(A
n
A
n1
)b
n
=
q

n=p
A
n
b
n

q1

n=p1
A
n
b
n+1
= A
q
b
q
+
q1

n=p
A
n
b
n
A
p1
b
p

q1

n=p
A
n
b
n+1
= A
q
b
q
A
p1
b
p
+
q1

n=p
A
n
(b
n
b
n+1
),
de donde se obtiene el resultado.
64 7. SERIES NUM

ERICAS
Proposici on 7.11 (Criterio de Dirichlet). Sean (a
n
) y (b
n
) dos sucesiones
reales. Supongamos que la sucesi on (A
n
) de las sumas parciales de (a
n
) es acotada
y que la sucesi on (b
n
) decrece a cero. Entonces la serie

a
n
b
n
es convergente.
Demostracion. Sea A una cota superior para [A
n
[. En virtud del lema anterior,
para n, p N se tiene que

n+p

k=n+1
a
k
b
k

A
n+p
b
n+p
A
n
b
n+1
+
n+p1

k=n+1
A
k
(b
k
b
k+1
)

A
_
b
n+p
+b
n+1
+
n+p1

k=n+1
[b
k
b
k+1
[
_
= A
_
b
n+p
+b
n+1
+
n+p1

k=n+1
(b
k
b
k+1
)
_
= 2Ab
n+1
.
Sea > 0. Como b
n
0 existe N N tal que b
n
<

2A
para todo n N. Tenemos
entonces que

n+p
k=n+1
a
k
b
k

< para todo n N y todo p N, de donde con-

cluimos que

a
n
b
n
es convergente.
Corolario 7.12 (Criterio de Leibniz). Sea (b
n
) una sucesi on que decrece a
cero. Entonces la serie alternante

(1)
n
a
n
converge.
Demostracion. Basta tomar a
n
= (1)
n
y usar la proposicion anterior.
Ejemplo 7.10. La serie armonica alternante

(1)
n
n
es convergente.
Ejercicios
Ejercicio 1. Sea (a
n
) una sucesion de n umeros no negativos.
1. Demuestre que

a
n
converge si, y solo si,

an
1+an
converge.
2. Pruebe que si

a
n
converge, entonces

a
2
n
converge y que el recproco,
en general, no es cierto.
3. Verique que si

a
n
converge y a
n
,= 1 n, entonces

an
1an
converge.
Discuta sobre el recproco.
4. Compruebe que si

a
n
converge, entonces

(a
n
)
n
tambien converge.
Ejercicio 2. Con la notacion del Ejemplo 7.5, pruebe que 2 < e 4.
Ejercicio 3. Sean P y Q dos polinomios de grados N
P
y N
Q
, respectivamente, y
suponga que Q no tiene races naturales.
1. Si p, q Q, diga que relacion deben cumplir N
P
, N
Q
, p y q para que la
serie

(1)
n
[P(n)]
p
[Q(n)]
q
sea condicional y absolutamente convergente.
2. Determine bajo que condiciones la serie

_
P(n)
Q(n)
_
n
es convergente. Diga
tambien si la convergencia puede ser condicional.
EJERCICIOS 65
Ejercicio 4. Determine la convergencia de las siguientes series:
1.

n! n
n
.
2.

(n!)
n
n
n
2
.
3.

n
n

, con Q.
4.

n
n

, con R y Q.
5.

n
P(n), donde R y P es un polinomio.
6.

1
n!
_
n+p
n
_
n
2
, con p R.
Ejercicio 5. Sean (a
n
) y (b
n
) dos sucesiones de n umeros positivos y suponga que
a
n
b
n+1
b
n
a
n+1
a partir de cierto N N. Investigue la relacion entre la conver-
gencia de

a
n
y de

b
n
.
Ejercicio 6. Sea (a
n
) una sucesion de n umeros positivos con serie

a
n
conver-
gente. Consideremos la sucesi on (r
n
) de termino general r
n
=

m=n
a
m
.
1. Demuestre que si k < n entonces
a
k
r
k
+. . .
a
n
r
n
> 1
r
n
r
k
y deduzca que la serie

an
rn
diverge.
2. Pruebe que para cada n se tiene
a
n

r
n
< 2(

r
n

r
n+1
)
y concluya que la serie

an

rn
converge. De una cota superior para

n=1
an

rn
.
Ejercicio 7. Pruebe que si (a
n
) es una sucesion decreciente y la serie

a
n
converge
entonces lm
n
na
n
= 0.