SOBRE SERIES DE NUMEROS

PROYECTO I: MAS
REALES

Sumaci
on aproximada de series num
ericas
El estudio de las series de n
umeros reales no termina con el an
alisis de la convergencia y la sumacion de algunas series sencillas, como la geometrica o las telesc
opicas. En la pr
actica, cuando aparece
una serie y se requiere la suma, esta no siempre puede hacerse de forma exacta, por lo que hay que
recurrir al procedimiento de aproximar el valor de la serie por el de su suma parcial para un ndice
suficientemente grande. Lamentablemente, este procedimiento ingenuo no siempre da resultado porque, en muchos casos, la sucesion de las sumas parciales converge muy lentamente. Para solventar este
inconveniente existen metodos que transforman la serie en otra de la misma suma, pero cuyas sumas
parciales convergen m
as r
apidamente; estos metodos se conocen como metodos de aceleraci
on de la
convergencia.
Para fijar ideas consideremos el ejemplo de la serie arm
onica

X
1
S=
;
2
n
n=1

Vamos a calcular aproximadamente su suma utilizando la suma parcial n-esima Sn , cometiendo un

error menor que 103 . El problema es, pues, determinar el valor de n. Para ello vamos a acotar el resto
Rn =
Es evidente que

1
1
+
+ .
2
(n + 1)
(n + 2)2

1
1
,

2
(n + k)
(n + k 1)(n + k)

luego
Rn

1
1
1
+
+ = .
n(n + 1) (n + 1)(n + 2)
n

Demuestra la u
ltima igualdad. De acuerdo con esta acotaci
on, cuanto tendra que valer n para que el
error sea como queremos?

M
etodo de Kummer
Una posible forma de acelerar la convergencia de esta serie es utilizar el siguiente truco: supon
X
an , y que conocemos la suma de otra serie
gamos que queremos calcular la suma de la serie S =
n=1

B=

bn , cuyo termino general est

a relacionado con el de la primera por la condici
on

n=1

lm

an
= l 6= 0.
bn

Comprueba que
S=

n=1

an = lB +


X

n=1

bn
1l
an

an .

bn
0 cuando n , los terminos de la nueva serie son menores que los de la original.
an
Hemos transformado entonces la serie de partida en otra cuyas sumas parciales convergen m
as r
apidamente.
Como 1 l

Para aplicar este metodo a la serie arm

onica vamos a considerar la serie
es 1 (demuestralo). Entonces, aplicando la formula anterior
S=

1
, cuya suma
n(n
+
1)
n=1

X
X
1
1
.
=
1
+
2
2
n
n (n + 1)
n=1
n=1

Tambien podramos considerar la serie

tendra la relaci
on
S =1+

1
1
= ; prueba que, en este caso se obn(n
+
1)(n
+
2)
4
n=1

X
1
1
+2
.
2
4
n (n + 1)(n + 2)
n=1

Sabiendo que S = 2 /6, comprueba que sumando 8 terminos en esta u

ltima formula se consigue la
3
suma de la serie arm
onica con un error menor que 10 .

Sumabilidad C`
esaro
Como ya sabes, sumar infinitos terminos es una operaci
on que no tiene un significado intuitivo,
como lo tiene sumar una cantidad finita de n
umeros. Para dar alg
un sentido a la operaci
on es necesario
hacer una definicion ad hoc. La m
as inmediata es la que define la convergencia usual de series, es decir,
considerar la suma de la serie como el lmite de las sumas parciales (la extension natural del concepto
de suma finita). Pero se pueden dar definiciones alternativas, que, aplicadas a series convergentes en
el sentido habitual, conduzcan al mismo resultado, pero que, aplicadas a series divergentes, conduzcan
a un resultado finito. Esta es una forma de asignar un valor a la suma de series que no convergen
en el sentido habitual.
La sumabilidad C`esaro es una de estas alternativas. Su definicion es la siguiente:
Definici
on 1 Sumabilidad C`esaro Se dice que la serie

an es sumable C`esaro sii existe el lmite

n=1

lm n = S, siendo

S1 + S2 + + Sn
,
n
la media aritmetica de las n primeras sumas parciales, Sn , de la serie.
n =

Denotaremos esta suma de la siguiente forma:

an = S (C`esaro).

n=1

Veamos los siguientes ejemplos:

P
n+1 , divergente en sentido habitual, vale
1. La serie
n=1 (1)
P
n+1 n no es sumable C`
2. La serie
esaro.
n=1 (1)

1
2

(C`esaro).

Demuestra las siguientes propiedades de la sumabilidad C`esaro:

P
P
P
1. (Linealidad) Si n an = A (C`esaro) y n bn = B (C`esaro), y , IR, entonces n (an +
bn ) = A + B (C`esaro).
P
P
2. (Compatibilidad) Si n an = A en sentido habitual, entonces n an = A (C`esaro).
2

Proyecto II: Sobre conjuntos infinitos.

1.

Conjuntos numerables

Sean dos conjuntos A y B cualesquiera. Por ejemplo, digamos que A es el conjunto de los n
umeros
primos menores que un n
umero dado (digamos 10), B el de los vertices de un dodecaedro (12 lados).
A y B son finitos, es decir est
an constituidos por un n
umero finito de elementos. Luego, una forma
natural para compararlos puede ser sencillamente usando el n
umero de sus elementos. Obviamente
A tiene seis elementos, 1,2,3,5,7 y B doce, as que B ser
a m
as grande que A. Sea ahora C el conjunto de los lados de un hexagono. Entonces C y A tienen el mismo n
umero de elementos de forma
que podemos hacer corresponder a cada uno de los elementos de C el correspondiente elemento de
A y viceversa. Es decir, existe una correspondencia biunvoca entre los elementos de A y C. Obviamente tal correspondencia es imposible de encontrar entre los elementos de A y B o B y C (por que?).
Que ocurre si ahora A Y B tienen infinitos elementos, es decir son conjuntos infinitos? Ejemplo
de tales conjuntos son conocidos: IN, Q,
I IR, etc.
En este caso el primer metodo de comparar conjuntos no nos sirve pues no podemos contar los
elementos ya que estos son infinitos as que s
olo nos queda el segundo de ellos: intentar encontrar una
correspondencia biunvoca entre conjuntos. Veamos algunos ejemplos.
Sea IN = {1, 2, 3, . . . , n, n + 1, . . .}. IN es el conjunto infinito m
as simple. Dado cualquier otro
conjunto A que se pueda poner en correspondencia biunvoca con IN se denomina conjunto numerable.
Por ejemplo, P , el conjunto de todos los n
umeros pares es numerable. En efecto, cualquiera sea
n IN existe un u
nico p P tal que p = 2n y viceversa, cualquiera sea p P , existe un u
nico n IN
tal que n = p/2, es decir existe una correspondencia biunvoca entre ambos conjuntos, o lo que es lo
mismo hay tantos n
umeros pares como naturales.
Existe una forma muy sencilla de probar lo anterior. Escribamos todos los n
umeros naturales en
una tabla
1 2 3 4 5 6 2n 1 2n 2n + 1 2n + 2
y eliminemos todos los impares y contamos los n
umeros resultantes. As tenemos
6 1 2 6 3 4 6 5 6 2n
6 1 2n 2n
6 + 1 2n + 2
1
2
3
n
n + 1
es decir, P es numerable, los n
umeros pares se pueden contar, existe una correspondencia biyectiva
entre los n
umeros pares y los naturales.
Ejercicio 1 Probar que el conjunto de los n
umeros impares I en numerable y encontrar una aplicaci
on
biyectiva entre I y IN.
Ejercicio 2 Probar que el conjunto de los n
umeros enteros ZZ en numerable y encontrar una aplicaci
on
biyectiva entre ZZ y IN. (piense en como escribir consecutivamente todos los n
umeros enteros y haga el
correspondiente esquema)
Veamos un ejemplo m
as complicado. Sea A el conjunto de puntos del plano de la forma (n, m),
n, m IN. Entonces A es numerable.
Para comprobarlo vamos a contar todos los pares anteriores, es decir vamos a construir una
funcion biyectiva que a cada par le haga corresponder un u
nico valor de n IN. Lo haremos siguiendo
3

(1,1)
?

(1,2)

- (2,1)






(1,3)

(1,4)

(2,2)






9

- (2,3)
-

(3,1)
(3,2)

(4,1)

..
.
Figura 1: Contando el conjunto A = {(n, m), ; n, m IN}.
el siguiente esquema: ordenamos los pares por filas seg
un la suma n + m = 2, 3, 4, . . . y cada fila la
ordenamos de menor a mayor seg
un el primer valor n y as tenemos una correspondencia bi
univoca
tal y como se ve en la figura 1
Ejercicio 3 Prueba que el conjunto B = {(p, q) ; p, q ZZ} es numerable, es decir que se puede
construir una ordenaci
on de B similar a la del ejemplo anterior.
Ejercicio 4 Sea un n
umero r racional cualquiera, r Q.
I Entonces r se puede escribir como r = p/q,
con p ZZ y q IN. As que a cada n
umero racional le podemos hacer corresponder el par (p, q) con
p ZZ y q IN. Prueba que entonces Q
I es numerable, es decir que se puede construir una ordenaci
on
de Q
I similar a la del ejemplo anterior.

2.

Propiedades de los conjuntos numerables

Veamos algunas propiedades de los conjuntos numerables.

Ejercicio 5 Prueba que si A es un conjunto numerable y B es un subconjunto infinito de A, entonces

B es numerable.
Ejercicio 6 Prueba que:
1. la uni
on de un conjunto numerable y uno finito es numerable,
2. la uni
on de dos conjuntos numerables es numerable, y por tanto la uni
on de un n
umero finito
de conjuntos numerables es numerable
3. la uni
on de un n
umero numerable de conjuntos numerables es numerable.
Para probar el u
ltimo apartado escribe cada uno de los conjuntos numerables de la forma A1 =
{a1,1 , a1,2 , . . . a1,n , . . .}, A2 = {a2,1 , a2,2 , . . . a2,n , . . .},. . . , Am = {am,1 , am,2 , . . . am,n , . . .}, y escrbelos
como una tabla. A continuaci
on razona como han de contarse los elementos del conjunto k Ak . Nota
que los casos anteriores son casos particulares de este (por que?)
Veamos como usando los apartados anteriores podemos probar los ejercicios que antes hemos
resuelto.
Sea IN el conjunto de los n
umeros enteros negativos y sea ZZk , k IN, los conjuntos de los n
umeros

de la forma n/k, con n ZZ, es decir ZZk = {n/k ; n ZZ}. Obviamente ZZ = IN {0} IN , pero tanto
4

IN como IN son numerables, as que ZZ es numerable. Ademas, por construccion ZZk es numerable.
Ademas, Q
I = ZZ1 ZZ2 ZZk , o sea Q
I es la uni
on de una cantidad numerable de conjuntos
numerables as que Q
I es numerable.
Definamos ahora el conjunto producto directo de dos conjuntos. Sea A y B dos conjuntos cuales
quiera. Definiremos el producto directo de A y B que denotaremos por A B al conjunto de todos
los pares ordenados (a, b) con a A y b B.
Ejercicio 7 Prueba que si A y B son numerables el conjunto A B es numerable.
Para probarlo piensa en la analoga con el ejercicio 3.
Como consecuencia del ejercicio anterior tenemos otra prueba de que Q
I es numerable pues, como
hemos visto, a cada n
umero racional le podemos hacer corresponder el par (p, q) con p ZZ y q IN,
p, q primos entre si, o sea, Q
I = ZZ IN.
Sea ahora IPn el conjunto de todos los polinomios de grado a lo m
as n con coeficientes a0 , . . . an
racionales:
IPn = {a0 + a1 + a2 + an xn ; a0 , a1 , a2 , . . . an Q}
I
Ejercicio 8 Prueba que IPn es numerable.
Sea ahora
IP = {a0 + a1 + a2 + an xn ; a0 , a1 , a2 , . . . an Q,
I n IN},
es decir el conjunto de todos los polinomios con coeficientes racionales, o sea, IP = IP0 IP1 IP2 .
Ejercicio 9 Prueba que IP es numerable.
Para probarlo usa induccoon sobre n as como que IPn+1 = IPn {an+1 xn+1 ; an+1 Q}.
I
Definici
on 1 Sea x IR tal que x es soluci
on de la ecuaci
on algebraica
a0 + a1 + a2 + an xn = 0,

a0 , a1 , a2 , . . . an Q.
I

Entonces se dice que x es un n

umero algebraico. Si x no es soluci
on de ninguna ecuaci
on algebraica,
entonces se dice trascendente.

on
Por ejemplo, 2 es un n
umero algebraico (x 2 = 0), 2 es un irracional algebraico pues es soluci
de x2 2 = 0. Se puede probar que e u son trascendentes.
Notese que, a diferencia de los n
umeros irracionales, ning
un n
umero racional puede ser trascendente
(por que?). Sea
A el conjunto de todos los n
umeros algebraicos y IT el de los trascendentes.
Ejercicio 10 Usando el ejercicio 9 prueba que
A es numerable. (cu
antas races puede tener una
ecuaci
on algebraica?)

3.

La no numerabilidad de IR

Definici
on 2 Dos conjuntos A y B se denominan equivalentes y se denota por A B si existe una
correspondencia biunvoca entre sus elementos. En este caso el n
umero de sus elementos es el mismo
1
lo que se suele denotar por card A = card B .
1

En realidad el concepto de cardinal o potencia de un conjunto es ligeramente m

as complicado que el n
umero de sus
elementos, pero para nuestros objetivos esta definici
on es suficiente.

En facil comprobar entonces que si A B entonces B A (por que?) y que si A B y B C,

entonces A C.
Por ejemplo, seg
un hemos visto antes IN ZZ, IN Q,
I IN IP, IN
A, Q
I
A, etc.
Es evidente que el conjunto de los n
umeros racionales que pertenecen al conjunto [0, 1] es numerable
pues son un subconjunto de Q.
I La pregunta es sera tambien numerable el conjunto de los irracionales
contenidos en [0, 1]?, o, equivalentemente, sera numerable [0, 1]?
Vamos a intentar responder a esta pregunta.
Supongamos que [0, 1] IN. Entonces ha de existir una sucesion de n
umeros reales (xn )n tal que
cualquiera sea x [0, 1], x coincidira con al menos un miembro de la sucesion (xn )n (en caso contrario
[0, 1] no sera numerable, por que?).
Hagamos la siguiente construccion: sea I0 = [0, 1]. Escojamos un intervalo cerrado I1 I0 que no
contenga a x1 , o sea, x1 6 I1 . A continuaci
on escojamos un intervalo cerrado I2 I1 que no contenga
a x2 , o sea, x2 6 I2 , y as sucesivamente. Entonces tenemos una sucesion de intervalos (cerrados)
encajados tal que In+1 In pero xn+1 6 In+1 . Entonces, existe al menos un x In para todo n 0.
Puede ser eso posible? Justifica tu respuesta.
De lo anterior es facil deducir el Teorema de Cantor
Teorema 1 IR no es numerable. ( card IR > card IN)
Como corolario tenemos
Corolario 1
1. IR 6= Q,
I es decir, existe II = IR Q,
I el el conjunto de los n
umeros irracionales, y
adem
as II no es numerable.
2.
A=
6 II, existe el conjunto de los n
umeros trascendentes IT, y IT no es numerable.
Ejercicio 11 Prueba el Teorema de Cantor y su corolario.
Resulta que la mayor
umeros irracionales que conocemos son algebraicos, por ejemplo

ade los n
n
k si k 6= ln , l IN, 2 + 3 2 (prueba que este n
umero es irracional algebraico), etc. Por el contrario
se conocen pocos n
umeros trascendentes: , e. No obstante resulta que estos son la mayora de todos
los n
umeros ya que los n
umeros algebraicos (que incluyen, como hemos visto a los racionales) es un
conjunto numerable, pero IR no lo es y obviamente IR =
A IT.

4.

La hip
otesis del continuo

Automaticamente surge la pregunta. Existira alg

un conjunto infinito intermedio entre IN y IR?, es
decir, que tenga m
as elementos que IN pero menos que IR?
Georg Cantor fue quien desarrollo la teora moderna de conjuntos infinitos, a el debemos la notacion y algunos de los resultados que hemos descrito aqu. Precisamente fue Cantor quien conjetur
o que
no exista dicho conjunto intermedio (hip
otesis del continuo). Este fue el primero de los 23 famosos
problemas que formul
o Hilbert en 1900. La respuesta a este problema fue totalmente inesperada. Por
un lado Kurt G
odel probo en 1940 que usando los axiomas de la teora de conjuntos era imposible desmentir la hip
otesis de Cantor. La respuesta definitiva la di
o Paul Cohen en 1963 cuando demostro que
bajo el mismo sistema de axiomas de la teora de conjuntos era imposible probar la conjetura, o sea,
la hip
otesis del continuo se puede aceptar o no y eso no lleva a ninguna contradicci
on logica dentro de
la teora de conjuntos.
6


PROYECTO III: ESPACIOS METRICOS

Espacios m
etricos completos y convergencia uniforme
Definici
on 1 Sea (X, ) un espacio metrico y sea (X, ) su clausura. Llamaremos completamiento de
X al espacio metrico X tal que X X y X = X .
Por ejemplo, el conjunto de todos los reales IR es el completamiento del conjunto de los racionales Q.
I
Demuestra el siguiente teorema:
Teorema 1 Todo espacio metrico (X, ) tiene un completamiento. Dicho completamiento es u
nico

salvo isometras. Es decir, si X y X son dos completamientos de X, entonces existe una aplicaci
on
T : X 7 X , x = T x tal que T x = x para todo x X y (x , y ) = (T x , T y ).
Como sabemos, dada una sucesion de funciones fn (x))n definidas en I IR, hay dos tipos de
convergencia: puntual y uniforme. Sus definiciones son:
Definici
on 2 Una sucesi
on de funciones fn (x))n converge puntualmente en I IR si para todo x0 I
y todo > 0 existe un N N (x0 , ) IN tal que para todo n > N , |fn (x0 )f (x0 )| < y lo denotaremos
fn f .
Definici
on 3 Dada una sucesi
on de funciones fn (x))n definidas en un intervalo I IR, diremos que
fn (x) converge uniformemente a f (x) en I si para todo > 0 existe un N N () IN tal que para
todo n > N y para todos los x I, |fn (x) f (x)| < , y lo denotaremos fn f .
Para aplicaciones en espacios metricos podemos generalizarlas como sigue:
Definici
on 4 Sea (Tn )n una sucesi
on de aplicaciones Tn : X 7 Y y sea M D(T ). Diremos que Tn
converge puntualmente en M a T : X 7 Y, si para todo x M la sucesi
on (Tn x)n es convergente,
i.e., para cada x M lmn Tn x = T x = y.
En otras palabras
> 0 y

x M,

N := N (, x) IN;

n > N,

= (Tn x, T x) < .

Esta claro de la definicion anterior que el n

umero N depende no s
olo del valor de sino tambien del
punto x. Para diferentes x tendremos en general diferentes N .
Definici
on 5 Sea (Tn )n una sucesi
on de aplicaciones Tn : X 7 Y y sea M D(T ). Diremos que Tn
converge uniformemente en M a T : X 7 Y, si
> 0

N := N () IN;

n > N,

x M,

= (Tn x, T x) < .

Es decir, fijado el > 0, podemos escoger un N tal que la desigualdad (Tn x, T x) < es cierta en
todo el subconjunto M .
Se trata de decidir cuales de los resultados y teoremas del apartado 5 Sucesiones y series de
funciones de las notas de clase se pueden extender al caso de un espacio metrico general. Por ejemplo,
es facil probar que una condici
on necesaria y suficiente para la convergencia uniforme de la sucesion
(Tn )n en M D(T ) es que
lm sup (Tn x, T x) = 0.
n xM

Decide si los teoremas 5.7 (y su corolario 5.8), 5.10 y 5.19 se pueden extender al caso un espacio
metrico general. En caso de ser posible reescrbelos y pruebalos en el contexto de los espacios metricos.
Define una serie de aplicaciones en X y prueba (si es posible) las generalizaciones de los teoremas
5.16 y 5.17.
7