Curiosidades del Innito

Parte I
Juan Carlos Ponce Campuzano c
j.ponce@uq.edu.au
UQ
28 de mayo de 2014
1
Hay un concepto que es el corruptor y el desatinador de los otros. No hablo del
Mal cuyo limitado imperio es la tica; hablo del innito.
Jorge Luis Borges, Discusin, p. 254
3
ndice
1. Introduccin 7
2. Series innitas 7
2.1. La suma de todos los nmeros naturales . . . . . . . . . . . . . . . . . . . . 7
2.1.1. Usando Clculo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
3. Continuar... 16
Referencias 17
5
1. Introduccin
Desde hace varios aos he estado interesado en el Innito en diferentes contextos. En
particular, he tenido la oportunidad de estudiarlo en el contexto de las matemticas y en el
camino, algunas veces sinuoso, me he encontrado con algunos ejemplos que han despertado
en mi una pasin obsesiva por el concepto del innito. La principal razn de esta pasin se
debe a las aparentes contradicciones que surgen cuando se combina la idea del innito con
otros elementos dentro del cuerpo de las matemticas. En este documento expongo algunos
de esos ejemplos relacionados con el uso del innito, los cuales desafan la lgica y el sentido
comn.
2. Series innitas
2.1. La suma de todos los nmeros naturales
Qu resultado obtendramos si realizamos la suma de todos los nmeros naturales
1 + 2 + 3 + 4 + 5 + (1)
Por supuesto, nuestra respuesta sera que el valor de la suma es innito, lo cual concuerda
con nuestra experiencia y con las reglas matemticas que hemos aprendido en la escuela.
Entonces podemos armar que: La suma de todos los nmeros naturales es innita. Esto
lo podemos escribir de la siguiente forma
1 + 2 + 3 + 4 + 5 + =
En trminos matemticos, la expresin (1) se denomina serie innita, la cual denotaremos
por Z.
Cuando, en una serie innita, la sucesin de las sumas parciales converge a un valor, se dice
que la serie converge. De lo contrario, se dice que la serie diverge.
7
Denamos S
n
como las sumas parciales de la serie anterior. Entonces tenemos que
S
n
=
n

k=1
k =
n(n + 1)
2
Como se puede apreciar, S
n
crece indenidamente cuando n tiende a innito. Dado que la
sucesin de las sumas parciales converge a innito, la serie (1) es divergente y por lo tanto
no tiene una suma en el sentido usual.
Un razonamiento similar se puede utilizar para mostrar que
1 + 3 + 5 + 7 + = (2)
En este caso, las sumas parciales son
S
n
=
n

k=1
(2k 1) = n
2
Por el momento, regresemos al caso de la suma de todos los naturales. Veamos que sucede
cuando realizamos algunas operaciones sencillas a la serie (1):
1 + 2 + 3 + 4 + 5 + = 1(1 + 2 + 3 + 4 + 5 + )
= (2 1)(1 + 2 + 3 + 4 + 5 + )
= (2 + 4 + 6 + 8 + ) (1 + 2 + 3 + 4 + 5 + )
Simplicando y usando (2), obtenemos
1 + 2 + 3 + 4 + 5 + = (1 + 3 + 5 + 7 + ) =
Como podemos apreciar, hemos encontrado que el valor de Z es ahora . Ser correcto
este resultado? Por qu encontramos dos valores diferentes para Z? Qu signica que sea
?
Quiz lo ms sorprendente de este ejemplo es que podemos encontrar otro valor de Z
utilizando otras series y realizando algunas operaciones sencillas. Para ello, consideremos
la serie innita
1 1 + 1 1 + 1 1 +
8
Esta serie es divergente, lo cual implica que no posee suma en el sentido usual. Se le suele
llamar serie de Grandi, en honor al matemtico, lsofo y sacerdote italiano Luigi Guido
Grandi (1671-1742).
Un mtodo para calcular la suma de la serie de Grandi es tratarla como una serie telescpica
y realizar las restas que resultan, esto es:
(1 1) + (1 1) + (1 1) + = 0 + 0 + 0 + = 0.
Por otra parte, un procedimiento de agrupamiento distinto al anterior conduce a un resul-
tado aparentemente contradictorio
1 + (1 + 1) + (1 + 1) + (1 + 1) + = 1 + 0 + 0 + 0 + = 1.
Segn la forma en que se ubiquen los parntesis sobre la serie de Grandi, es posible obtener
un valor 0 1. Utilizando lgebra se puede obtener un tercer valor. Escribiendo
S = 1 1 + 1 1 +
entonces
1 S = 1 (1 1 + 1 1 + ) = S
De lo cual resulta que S =
1
2
. Se llega a la misma conclusin si se calcula S, restando el
resultado de S, y resolviendo 2S = 1.
Supongamos vlido este ltimo resultado, el cual usaremos para realizar algunos clculos.
Denamos S
1
como
S
1
= 1 1 + 1 1 + =
1
2
(3)
Con base en la expresin (3), podemos mostrar que la serie
1 2 + 3 4 + 5 6 +
9
es igual a
1
4
. Sea
S
2
= 1 2 + 3 4 + 5
Multiplicando por 2 y haciendo algunos ajustes obtenemos
2S
2
= (1 2 + 3 4 + 5 ) + (1 2 + 3 4 + 5 )
= 1 + (2 + 3 4 + 5 ) + 1 2 + (3 4 + 5 6 + 7 )
= 0 + (2 + 3) + (3 4) + (4 + 5) +
= 1 1 + 1 1 + 1 1 + 1 =
1
2
De lo anterior se sigue que S
2
=
1
4
. Por lo tanto
S
2
= 1 2 + 3 4 + 5 6 + =
1
4
(4)
Finalmente, utilizaremos (3) y (4) para calcular Z. Substrayendo S
2
a Z obtenemos lo
siguiente
Z S
2
= (1 + 2 + 3 + 4 + 5 + ) (1 2 + 3 4 + 5 6 + )
= (1 1) + (2 + 2) + (3 3) + (4 + 4) +
= 4 + 8 + 12 +
= 4(1 + 2 + 3 + 4 + 5 + ) = 4Z
Entonces Z S
2
= 4Z. Al despejar Z y usando la expresin (4) obtenemos
Z =
S
2
3
=
1
12
De esta manera, hemos obtenido que la suma de todos los nmeros naturales es igual a una
fraccin negativa:
1
12
. Es decir
1 + 2 + 3 + 4 + 5 + =
1
12
Cul de los tres resultados aqu obtenidos ser el correcto?
10
1 + 2 + 3 + 4 + 5 + =
1 + 2 + 3 + 4 + 5 + =
1 + 2 + 3 + 4 + 5 + =
1
12
Son vlidos los procedimientos realizados? Por qu se obtienen diferentes resultados?
Qu signica cada uno ellos? Al parecer, como bien dice Borges, el innito es un concepto
que corrompe y desatina nuestras ideas matemticas.
2.1.1. Usando Clculo
A continuacin usaremos otro mtodo para obtener nuevamente la identidad
1 + 2 + 3 + 4 + 5 + =
1
12
Del Clculo sabemos que se cumple la siguiente identidad
1 + x + x
2
+ x
3
+ x
4
+ x
5
+ =
1
1 x
(5)
siempre y cuando 1 < x < 1.
Si derivamos (5) obtenemos
1 + 2x + 3x
2
+ 4x
3
+ 5x
4
+ =
1
(1 x)
2
(6)
la cual se cumple para 1 < x < 1.
Qu sucede si consideramos que la expresin (6) se cumple no slo cuando 1 < x < 1?
Por ejemplo, qu sucede si x es igual a 3 7/4? En particular nos interesa calcular la
suma de todos los nmeros naturales, por lo cual usaremos el valor x = 1. Al sustituir
x = 1 en (6) obtenemos la identidad
1 2 + 3 4 + 5 6 + =
1
4
lo cual concuerda con lo que habamos obtenido en la seccin anterior.
11
Ahora, consideremos la funcin zeta de Riemann (tambin llamada funcin zeta de
Euler-Riemann) denida como sigue
(s) =

n=1
1
n
s
=
1
1
s
+
1
2
s
+
1
3
s
+
1
4
s
+ (7)
Nota importante: Leonhard Euler introdujo esta funcin en la primera mitad del siglo XVIII,
considerando a la variable s como un nmero real. Ms adelante, Bernhard Riemann extendi
los valores de s a nmeros complejos, esto es, s es de la forma + it donde i =

1 y , t
son nmeros reales. Actualmente, se sabe que la funcin converge cuando la parte real de s
es mayor que 1, es decir, cuando > 1.
Si multiplicamos por 2
s
a la expresin (7) obtenemos lo siguiente
2
s
(s) = 2
s

1
1
s
+
1
2
s
+
1
3
s
+
1
4
s
+

=
1
2
s
+
1
4
s
+
1
6
s
+
1
8
s
+
Ahora, realizemos las siguientes operaciones
(s) 2 2
s
(s) =
1
1
s
+
1
2
s
+
1
3
s
+
1
4
s
+
1
5
s
+
1
6
s
+
2

1
2
s
+
1
4
s
+
1
6
s
+
1
8
s
+

=
1
1
s

1
2
s
+
1
3
s

1
4
s
+
1
5
s

1
6
s
+
De esta manera obtenemos la identidad

1 2 2
s

(s) =
1
1
s

1
2
s
+
1
3
s

1
4
s
+
1
5
s

1
6
s
+ (8)
Supongamos que s = 1, entonces al sustituir en (8) obtenemos

1 2 2
(1)

(1) =
1
1
1

1
2
1
+
1
3
1

1
4
1
+
1
5
1

1 2 2
1

(1) = 1 2 + 3 4 + 5 6 +
3(1) = 1 2 + 3 4 + 5 6 +
12
Pero
(1) =
1
1
1
+
1
2
1
+
1
3
1
+
1
4
1
+
1
5
1
+
= 1 + 2 + 3 + 4 + 5 +
Por lo tanto, usando el hecho que la suma del lado derecho es igual a 1/4, tenemos lo
siguiente
3 (1 + 2 + 3 + 4 + 5 + ) = 1 2 + 3 4 + 5 6 +
=
1
4
Finalmente, hemos obtenido nuevamente la igualdad
1 + 2 + 3 + 4 + 5 + =
1
12
Estos resultados no son de mi invencin. Han sido estudiados por diversos matemticos
en todo el mundo durante varios siglos. Euler, al rededor de 1730, estudi este tipo de
series innitas y en sus trabajos se puede encontrar evidencia de los obstculos con los
que se puede uno encontrar cuando se trata el concepto del innito [1]. Aunque Euler
obtuvo algunos resultados notablemente paradjicos, l los consideraba de alguna manera
razonables. Por ejemplo, en su libro Institutiones calculi dierentialis de 1755, Euler da
una justicacin de que la serie
1 + 1 + 1 + 1 + 1 +
es mayor que cualquier nmero asignable, es decir, innito. Lo cual corrobora al sustituir
x = 1 en la expresin
1 + x + x
2
+ x
3
+ =
1
1 x
(9)
De lo cual obtenemos lo siguiente
1 + 1 + (1)
2
+ (1)
3
+ =
1
1 1
=
1
0
13
Para Euler 1/0 era totalmente vlido y su valor era . Por lo cual concluye que
1 + 1 + 1 + 1 + 1 + =
Usando la misma expresin (9), Euler calcula el valor de diferentes series para valores
distintos de x y establece:
i. 1 + 1 + 1 + 1 + 1 + =
ii. 1 + 2 + 4 + 8 + 16 + = 1
iii. 1 + 3 + 9 + 27 + 81 + =
1
13
=
1
2
iv. 1 + 4 + 16 + 64 + 256 + =
1
14
=
1
3
y as sucesivamente. Lo anterior se puede consultar en [2, p. 75].
3. Continuar...
Ms adelante, agregar ms ejemplos relacionados con el uso del concepto de innito en
matemticas. Tambin espero agregar ms comentarios y una mejor discusin. Por supuesto,
tambin agregar ms referencias que pueden servir en esta casi interminable bsqueda por
comprender la idea del innito.
14
Referencias
[1] Kline, Morris (1983). Euler and Innite Series. Mathematics Magazine 56 (5): 307-314.
15
[2] Euler, L. (2000). Foundations of dierential calculus. (Translated from the Latin Ins-
titutiones Calculi Dierentialis, Chapters 1 to 9, by Leonard Euler, 1755). Springer-
Verlag. New York. Inc. 15
[3] Padilla, Tony. (2014). What do we get if we sum all the natural numbers? consultado
el 21 de Marzo de 2014. http://www.nottingham.ac.uk/~ppzap4/response.html
[4] Hardy, G. H. (1949). Divergent Series, Oxford University Press.
15