You are on page 1of 24

Mefisto

Nmero 10

Abril de 2014

Mefisto
En este nmero:
Presentacin

Fausto Cervantes Ortiz

La transformacin de Mbious

Emiliano Geneyro Squarzon

El cielo de invierno

12

Jorge Luis Borges y su libro de pginas de


arena
14
Joel Garca Len

Frases clebres

21

Acertijos

22

Sudoku

24

El buen cristiano debe estar precavido frente a los matemticos y todos aquellos que hacen profecas vacas. Existe el peligro de que los matemticos hayan hecho un pacto con el diablo para
ofrecer el espritu y confinar al hombre en el infierno.
San Agustn, De genesi ad Litteram, II, xviii, 37.

Mefisto
Universidad Autnoma de la Ciudad de Mxico
Nada humano me es ajeno

Mefisto

Rector Interino

Editor

Dr. Enrique Dussel Ambrosini

Fausto Cervantes Ortiz

Secretario General
Mtro. Ernesto Archiga Crdoba
Coordinadora Acadmica
Mtra. Mara del Rayo Ramrez Fierro
Coordinador de Difusin Cultural y Extensin Universitaria
Mtro. Miguel ngel Godnez
Gutirrez
Coordinadora del Colegio de Humanidades y Ciencias
Sociales
Dra. Roxana Rodrguez Ortiz
Coordinadora del Colegio de Ciencias y Humanidades
Dra. Mara Elena Durn Lizrraga

Ana Beatriz Alonso Osorio


Octavio Campuzano Cardona
Fausto Cervantes Ortiz
Daniel Maisner Bush
Vernica Puente Vera

Publicada electrnicamente en:


http://issuu.com/gacetamefisto

Coordinador del Colegio de Ciencia y Tecnologa

Toda contribucin deber enviarse en versin


electrnica a:

Mtro. Ral Soto Peredo

gaceta.mefisto@gmail.com

Responsable del rea de publicaciones


Mtro. Carlos Lpez Barrios

Comit Editorial

Registro ISSN en trmite. Las opiniones expresadas en los artculos son puntos de vista del (los)
autor(es) y no necesariamente reflejan la opinin
del Comit Editorial.

Mefisto

Presentacin

Fausto Cervantes Ortiz

Academia de Matemticas
Plantel San Lorenzo Tezonco

La tarea fundamental de loss matemticss consiste


en demostrar teoremas. Es por ello que, cuando
algn despistado acude a ellos para realizar operaciones difciles en tiempo record, generalmente
no obtiene el comportamiento esperado. Por otro
lado, los no matemticos que usan las matemticas como herramienta para hacer su trabajo (ingenieros, fsicos, economistas, etc.), generalmente
encuentran en libros u otros medios frmulas, y
las usan sin preocuparse de la teora que fundamenta a las mismas. Correspondientemente, los
matemticos frecuentemente usan herramientas como las computadoras y sus programas, sin
preocuparse de la teora electrnica y de software
que las hace funcionar, y que permite realizar programas, grficas, etc., con resultados de uso diario
en esta disciplina.
Sin embargo, cuando unos y otros se asoman al
campo del otro, puede ser muy estimulante enterarse de la forma en que trabaja cada quien, aprender cosas nuevas, y hasta aplicarlas a su propio
campo de estudio.
En este nmero, Emiliano Geneyro nos expone
la deduccin de la frmula de Mbius paso a paso,
as como una aplicacin al conteo de polinomios
mnicos irreducibles. El conteo o combinatoria, es
una de las ramas de la matemtica que en la actualidad est teniendo un renacer, al observarse la
utilidad que sta tiene en criptografa, base de los
modernos sistemas de seguridad computarizada.
Es as como una rama de las matemticas que aparentemente no tena mucha utilidad prctica, de
manera sbita se vuelve indispensable en la vida
diaria. Esto nos recuerda la aseveracin de Luis

Pasteur: No hay ciencias aplicadas, hay aplicaciones de la ciencia. Como Emiliano nos lo dice claramente, hacer matemticas puede no ser tan simple
como usarlas, pero por otro lado puede ser altamente estimulante.
Las matemticas han recibido menos atencin
de la que merecen en algunas manifestaciones del
arte, a pesar de lo cual ,en los casos en que s se
les involucra, los resultados pueden ser altamente
estimulantes a nivel intelectual Baste recordar
la obra de Leonardo Da Vinci y otros artistas renacentistas, mismos que al hacer uso de resultados matemticos obtuvieron resultados artsticos
asombrosos. Pero el uso de las matemticas en el
arte no se limita a las artes visuales; tambin en la
literatura se han hecho obras importantes.
En esta ocasin Joel Garca se interna en la literatura para analizar el contenido matemtico de
algunas de las obras ms conocidas del escritor argentino Jorge Luis Borges. Como el autor admite
en su artculo, l mismo no es especialista en literatura, sin embargo considera oportuno realizar un
anlisis que difcilmente veramos hacer a un especialista literario. Es entonces que Joel nos explica
algunos de los conceptos matemticos presentes
en la obra de Borges, como los infinitos, las curvas
que llenan espacios completos, la geometra plana
y esfrica, etc.
Como de costumbre, a los artculos presentados
se aaden las secciones usuales en nuestra gaceta:
mapa estelar, frases, acertijos y sudokus. Esperamos que nuestros lectores disfruten este nmero
de Mefisto.

Mefisto

La transformacin de Mbius
Emiliano Geneyro Squarzon

Deduciendo la f
ormula
de inversi
obius
Facultad
de Ciencias,
UNAM on de M
Emiliano Geneyro Squarzon
Facultad de Ciencias, UNAM

Introducci
on
Dentro de las matematicas existen muchas herramientas que nos permiten alcanzar nuestros
objetivos. Algunas de ellas suelen ser complejas en su desarrollo o en su presentacion final; sin
embargo existen otras de gran simpleza pero no por eso con menor grado de importancia. Un
ejemplo de estas u
ltimas es la formula de inversion de Mobius, la cual posee una expresion simple.
La formula de inversion de Mobius fue introducida en la teora de n
umeros por August
Ferdinand Mobius (1790-1868). En ella se establece que si dos funciones aritmeticas (funciones definidas en los naturales que contribuyen al estudio de las propiedades aritmeticas de los
n
umeros) f y g poseen una relacion entre ellas, dada por la siguiente formula:

f (n) =
g(d)
d|n

donde d|n significa que d divide a n o d es divisor de n; entonces, esta relacion se puede invertir para todo entero n > 1, es decir g puede escribirse como una suma de imagenes de f de
la siguiente manera:
 n
f (d).

g(n) =
d
d|n

La funcion que aparece en la formula se definira mas adelante.


Esta formula permanecio en el olvido durante mucho tiempo, hasta avanzado el siglo XX
cuando Louis Weisner (1935) y Phillip Hall (1936), de manera independiente, dieran una generalizacion motivados por diversos problemas de la teora de grupos. Sin embargo, ellos se
restringieron a las aplicaciones de la formula de su interes y ninguno profundizo en la teora
relacionada con la inversion de Mobius.
No fue hasta 1964, cuando Gian-Carlo Rota publico un artculo dedicado a la funcion de
Mobius, que comenzo a tomar relevancia en el desarrollo de otras ramas de las matematicas.
Rota no solo profundizo en la teora relacionada a esta formula, sino que generalizo dichos
resultados a cualquier conjunto que posea una relacion binaria de orden que cumpla con ser
reflexiva, transitiva y antisimetrica; a estos conjuntos se les denomina conjuntos parcialmente
ordenados. Esta generalizacion le permitio a Gian-Carlo Rota encontrar diversas aplicaciones,
principalmente en problemas de conteo en el area conocida como combinatoria. Desde entonces,
la teora de la formula de inversion de Mobius se ha convertido en una herramienta sumamente
u
til dentro de la combinatoria.

Mefisto
En matematicas estamos acostumbrados a ver resultados presentados en su version final; es
decir, se nos da el resultado y la demostracion de la veracidad de este. Sin embargo, es com
un
que surjan cuestionamientos naturales o inquietudes sobre el proceso deductivo que siguieron
quienes llegaron al resultado, por ejemplo:
Como se le ocurrio esto?, cual era la motivacion para llegar a este resultado?, cuales eran
los intereses cientficos del autor?, como paso de este paso al siguiente?, cual es la teora que
esta utilizando?, etc.
En particular, en la teora relacionada a la formula de inversion de Mobius, es com
un que en
quien se adentra en ella tenga este tipo de inquietudes. Por ello, en la primera seccion del presente
trabajo mostraremos como se deducen algunos elementos necesarios para el planteamiento de
dicha formula de inversion y su generalizacion. Posteriormente mostraremos como se utiliza esta
formula en combinatoria.

Deducci
on de la f
ormula
El principio de inclusi
on y exclusi
on y la funci
on
El primer elemento que descibiremos es la funcion , que aparece explcitamente en la formula
de inversion de Mobius.
La funcion se obtiene al buscar una formula para contar todos aquellos n
umeros enteros
positivos menores a un entero n que sean primos relativos con este, es decir, el maximo com
un
divisor sea 1. La funcion (n) de Euler se define como esta cantidad:
(n) := |{x {1, 2, . . . , n} : M.C.D(x, n) = 1}|.
Lo que buscamos entonces, es dar una expresion simple de (n) que nos permita obtener estas
cantidades para cualquier n
umero entero positivo que queramos. Para esto utilizaremos una de
las herramientas de conteo mas importantes, el Principio de Inclusi
on y Exclusi
on (P.I.E)
que describimos a continuacion:
Sea C un conjunto con N elementos y sean S1 , Sr subconjuntos de C no necesariamente diferentes. Para cada subconjunto M {1, , r} definamos N (M ) como el n
umero de elementos
de C pertenecientes a la interseccion de los Si con i M , es decir

Si | siendo M {1, . . . , r}
N (M ) = |
iM

y sea
Nj :=

N (M ) con 0 j r

|M |=j

es decir, Nj es la suma de la cantidad de elementos de C que estan en las distintas intersecciones


de j elementos de los subconjuntos {S1 , . . . , Sr }.
Entonces, el Principio de Inclusi
on y Exclusi
on afirma que el n
umero de elementos de
C que no pertenecen a ninguno de los Si , 1 i r es:
N N1 + N2 N3 + + (1)r Nr
2

Mefisto
A continuacion utilizaremos el principio P.I.E para encontrar una expresion en terminos de
la descomposicion en primos de n para (n). Como cualquier n
umero entero se puede factorizar
en producto de n
umeros primos (aquellos cuyos u
nicos divisores son productos de las unidades
1 y el mismo).
Sea
n = p1 1 p2 2 pr r ,

pi primo, 1 i r

y 0 i .

Calcular la cantidad de primos relativos a n es equivalente a determinar aquellos enteros menores


que n que no sean divisibles por ninguno de los pi . Sean entonces
Si = {x {1, 2, 3, . . . , n} : pi divide a x},
aplicando el P.I.E. tenemos:
(n) = n N1 + N2 N3 + + (1)r Nr
donde:
N1 =

r


|{x {1, 2, . . . , n} : pi divide a x}|

i=1

N2 =

|{x {1, 2, . . . , n} :

pi pj divide a x}|

1i<jr

N3 =

|{x {1, 2, . . . , n} :

pi pj pk divide a x}|

1i<j<kr

Nr

..
.
= |{x {1, 2, . . . , n} :

p1 p2 p3 pr divide a x}|

Ahora bien, los n


umeros x < n que son divididos por pi son de la forma x = pi , donde
{1, 2, 3, . . . , p1 1 p2 2 pii 1 pr r }
y por tanto la cantidad de n
umeros enteros menores o iguales a n que son divididos por pi es pni .
Analogamente, la cantidad de n
umeros menores o iguales a n que son divididos por p1 pr es:
n
.
p1 pr
Usando los resultados anteriores vemos que:
r


n
n
n
+
+ (1)r
(n) = n
p
pp
p 1 p2 p r
i=1 i
1i<jr i j


r


1
1
1
= n 1
+
+ (1)r
p
p
p
p1 p2 p r
i=1 i
1i<jr i j

(1)
(2)
(3)

Mefisto
Si bien de esto u
ltimo es posible encontrar una formula para (n), recordemos que nuestro
proposito es deducir la funcion que aparece en la formula de inversion de Mobius.
Observemos que los terminos de (n) con productos con una cantidad impar de factores
primos son negativos, y los terminos que poseen un producto par de primos son positivos. Ahora
bien, los divisores de n que no estan libres de cuadrados (aquellos que estan divididos por alguna
potencia mayor o igual a 2 de los primos pi ) no aparecen en los sumandos de la formula 1 de
(n). De las observaciones anteriores, podemos definir la siguiente funcion:

1 Si d es producto impar de primos distintos,


1 si d es producto par de primos distintos,
(d) :=

0 si d no esta libre de cuadrados


A esta funcion es a la que llamamos funci
on de M
obius cl
asica.
De esta manera hemos obtenido la funcion principal involucrada en la formula de inversion
de Mobius.

Deducci
on de la f
ormula
Para demostrar la formula, sean f (n) y g(n) funciones definidas para todo entero positivo n,
tales que:

f (n) =
g(d), donde d|n significa d divide a n
d|n

Como d es un divisor de n si y solo si n/d lo es, tenemos:


n n

(d)f

=
f (d)
d
d
d|n

d|n

al tener los mismos sumandos. Ademas, como d tambien es un entero, tenemos que:

g(d )
f (d) =
d |d

Finalmente, si d es divisor de d tambien lo es de n, podemos reescribir los anteriores resultados


como:
n n

g(d ) =
g(d )
(m)
=
f (d) =
(d)f
d
d
d

d|n

d|n

d |d

d|n

d |n

m|(n/d )

Hasta aqu solamente hemos utilizado propiedades de los divisores de n, lo cual nos lleva a la
necesidad de encontrar alguna propiedad de que nos permita avanzar mas en la simplificacion
de la u
ltima suma.
En concreto, necesitamos saber cuanto vale la suma de todos los valores de sobre los divin
sores de un n
umero entero (en nuestro caso ).
d

Mefisto
Sea un entero positivo. Si = 1 se tiene que (1) = 1, ya que por definicion 1 posee un
numero par de factores primos (al tener 0 factores). Ahora si > 1, se descompone como
= p1 1 p2 2 pr r , pi primo , i > 0.
Sin perdida de generalidad podemos suponer que i = 1 para toda i porque en caso contrario
no sera libre de cuadrados
  y la funcion valdra 0.
Ahora bien, existen ri divisores de con i factores por lo cual:


(d) =

r  

r
i=0

d|

(1)i = (1 1)r = 0

donde la u
ltima igualdad se obtiene por la formula del binomio de Newton.
Con lo cual podemos concluir que:


1 =1
(d) =
0 en otro caso
d|

Este resultado nos permite concluir que




(m) = 0

m|(n/d )

excepto cuando n/d = 1; con lo cual la suma anterior es 0 excepto para d = n.


Retomando el desarrollo (4) tenemos:
n 


g(d )
(m) = 0 + 0 + + g(n) + 0 + 0 + = g(n)
=
(d)f
d

d|n

d |n

m|(n/d )

y por lo tanto:
g(n) =

n

 n
(d)f
f (d) =

d
d
d|n

d|n

Con esto hemos obtenido:


Teorema: (F
ormula de Inversi
on de M
obius:)
Sean f (n) y g(n) funciones definidas para todo entero positivo n, tales que

f (n) =
g(d)
d|n

entonces g(n) satisface


g(n) =

(d)f

d|n

n
d

En el proceso de la deduccion de la formula hemos construido su demostracion.

(4)

Mefisto

Algunas aplicaciones
La formula de inversion que hemos obtenido tiene diversas aplicaciones. En particular, recientemente han habido importantes contribuciones a los problemas de conteo en el area de la
combinatoria.
A continuacion ejemplificamos el uso de la formula de inversion de Mobius contando el n
umero
de polinomios monicos irreducibles de grado n con coeficientes en un campo finito k = Fq .
La formula buscada la obtendremos de manera indirecta realizando de dos formas diferentes
el conteo de todos los polinomios monicos de grado n en k.
Sea
k[x]mon = {fj (x)}
(5)
j=1 = {f1 (x), f2 (x), f3 (x), }
un listado de todos los polinomios monicos e irreducibles.
Ademas denotemos por
k[x]mon
d
a los polinomios monicos de grado exactamente d 1.
Sea Nd el n
umero de polinomios monicos irreducibles de grado d 1, es decir
|.
Nd = |k[x]mon
d
Ahora bien, todo polinomio f (x) k[x]mon
factoriza de manera u
nica, fijando el orden en los
d
polinomios como en (5), como un producto de polinomios irreducibles:
f (x) = fid11 fidss , donde fi kdi [x]mon , d = i1 d1 + + is ds .
Podemos reescribir esta igualdad como un producto formal:
f (x) = (f1 (x))i1 (fj (x))ij , con fi k[ x]mon .
umero finito.
en donde los exponenetes ij son cero para casi toda j, es decir cero salvo un n
(N)
mon
Por tanto podemos establecer una correspondencia uno a uno entre k[x]
y Z+ las sucesiones de enteros positivos
Xj = {i1 , , ij , }, ij = 0 para casi toda j
y en particular se tiene una correspondencia entre
k[x]mon
y las sucesiones:
d
(N)

Zd

(N)

:= {Xj Z+ con d = i1 d1 + + is ds .}

Esta correspondencia nos permitira contar el n


umero de polinomios monicos de grado d de
dos formas diferentes.
Observemos que el n
umero de polinomios monicos de grado n es q n dado que cualquier polinomio de esta forma tiene d coeficientes diferentes y cada uno de ellos puede elegirse de q maneras.
Esta cantidad aparece en la siguiente serie de potencias como el coeficiente correspondiente a
xn :
1
= 1 + qx + (qx)2 + (qx)3 +
1 qx
6

Mefisto
(N)

Por otro lado, el n


umero de sucesiones Xj Zn i1 , i2 , i3 , . . . que cumplen con la condicion
n = i1 d1 + i2 d2 + i3 d3 + se puede obtener como el coeficiente de xn en la multiplicacion de
las siguientes series de potencias:
(1 + xd1 + x2d1 + x3d1 + )(1 + xd2 + x2d2 + x3d2 + )
Juntando ambos resultados obtenemos:



1
1
=
=
1 qx i=1 1 xd1
d=1

1
1 xd

N d

Aplicando el logaritmo en ambos lados de la igual, se tiene que:


 


N d 

1
1
log
= log
.
1 qx
1 xd
d=1
Utilizando las propiedades del logaritmo y de su expresion como suma infinita, obtenemos:


(qx)n
n=1

Nd log

n=1

1
1 xd

Nd

d=1

El coeficiente de xn en la serie del lado izquierdo es


(xd )j
j=1

qd
.
d

Para obtener dicho coeficiente en


(xd )j
la serie de la derecha debemos considerar u
nicamente los sumandos de
que cumplen la
j
j=1

condicion n = jd, equivalentemente cuando j = nd , es decir cuando d|n; de donde tenemos que
el coeficiente de xn es:

1
Nd
n/d
d|n

Juntando ambos resultados, se tiene que:




qn 
1
1
=
qn =
)n =
Nd
Nd (
Nd d
n
n/d
n/d
d|n

d|n

d|n

Es decir
qn =

Nd d

d|n

Esta expresion cumple con todas las hipotesis de la formula de inversion de Mobius, que al
aplicarla haciendo f (n) = q n y g(d) = Nd d, se obtiene:
n Nn =

 n
1  n d

q d Nn =
q

d
n
d
d|n

d|n

10

Mefisto
De esta forma hemos obtenido que el n
umero de polinomios monicos irreducibles de grado n,
en un campo con q elementos es
1  n d
q

n
d
d|n

Con esto hemos mostrado parte del proceso deductivo que se hace para formular y demostrar
la formula de inversion y como hacer uso de esta para obtener resultados importantes. Este proceso deductivo no es evidente y muchas veces requiere dedicacion para comprender claramente
los diferentes pasos que nos permiten desarrollar la teora deseada.
Tambien la aplicacion de la teora puede no ser clara y directa como uno esperara. Muchas
veces este uso puede surgir de manera indirecta al desarrollar otro resultado. En nuestro ejemplo
el conteo de polinomios monicos irreducibles se obtiene de manera indirecta al contar algo mas
sencillo como es la cantidad de polinomios monicos en general.
As pues, las matematicas poseen procesos deductivos y constructivos que requieren destreza y
dedicacion. El proceso de aprendizaje dentro de las distintas ramas de la matematicas, constituye
un reto intelectual para cualquier persona ya que esta debe llenar los espacios vacos que conectan
los distintos pasos de la teora para poder comprenderla a profundidad. Por ello es fundamental
mantener siempre vigentes las preguntas mas basicas durante la construccion del pensamiento
matematico. Nada es evidente, pero con dedicacion y perseverancia todo puede serlo.

11

Mefisto

El cielo de primavera
Fases de la Luna
Luna nueva
28 de abril
28 de mayo
26 de junio
Cuarto creciente
6 de abril
6 de mayo
5 de junio
Luna llena
14 de abril
14 de mayo
12 de junio
Cuarto menguante
21 de abril
21 de mayo
19 de junio

12

Mefisto
Planetas
Mercurio en Piscis
Venus en Acuario
Marte en Libra
Jpiter en Cncer
Saturno en Escorpin
Urano en Aries
Neptuno en Piscis

Lluvias de estrellas
Lridas
21 y 22 de abril
h Acuridas
6 de mayo

13

Mefisto

Frases clebres

Ms que por la fuerza, nos


dominan por el engao

Es ms fcil engaar a la
gente, que convencerlos de que
han sido engaados.

Simn Bolivar (1783 - 1830)


Poltico venezolano.

Mark Twain (1835 - 1910)


Escritor estadunidense.

La ciencia ha hecho ms en
cien aos por el desarrollo de
la civilizacin occidental que
lo que ha hecho el cristianismo en mil ochocientos aos

La ciencia no deja mucho espacio para milagros, ni para


Dios

John Burroughs (1837 1921) Bilogo estadunidense.

La violencia crea ms problemas sociales que los que resuelve

Martin Luther King Jr.


(1929 - 1968) Lder social
estadunidense.

14

Stephen Hawking (1942 - )


Fsico ingls.

Vivimos en un mundo donde


hay que esconderse para hacer
el amor, pero donde la violencia se practica a la vista de todos
John Lennon (1940 - 1980)
Msico ingls.

Mefisto

Jorge Luis Borges


y su libro de pginas de arena
Joel Garca Len

Academia de Matemticas, SLT

Introduccin
Confieso que hacer un ensayo sobre Jorge Luis
Borges no slo es presuntuoso, sino una ardua
tarea, al menos desde la ptica de un matemtico
que se limit a disfrutar algunas de sus obras. Es
por ello que slo expresar mi experiencia como
lector; un placer que por primera vez sent, cuando descubr su obra ms famosa a mi entender: El
Aleph.

El maestro Jorge Luis


Jorge Luis Borges es al menos para m un filsofo griego contemporneo nacido en la Argentina: para muchos de nosotros, l nos introduce
en la Grecia antigua, quiz sin proponrselo. Nos
recuerda aquella imagen del hermoso toro blanco
robndose a la bella Europa quien, sentada en su
lomo, observa la arena de la playa hasta que ambos
desaparecen en el mar.
Los laberintos y el infinito aparecen recurrentemente en la obra de Borges: El espa Yu Tsun, al
servicio del espionaje alemn durante la segunda
guerra mundial, casualmente encuentra que su
bisabuelo, el sabio y astrlogo Tsui Pn, fue un
personaje que durante toda su vida pretendi dos
cosas: escribir un libro de pginas infinitas y crear
un laberinto con infinitos caminos.
l nos recuerda cmo un nufrago estelar, venido
del cielo, cae en una isla griega, paulatinamente se
convierte en el Minotauro hijo del Toro blanco
y Pesfae y vive en un laberinto extraordinario.
Cada vez que el personaje pasa por alguno de sus
puntos, jams regresa a l, tiene que verlo por
primera y ltima vez, pues es un laberinto sin final
ni principio. La isla de Creta es su prisin y su casa
al mismo tiempo.
El libro infinito es la obsesin, la acumulacin de
dudas, la falta de explicacin que tanto necesita la

humanidad sobre el mundo que le rodea; es simplemente lo que nunca agotaremos y lo que nunca
supimos cundo empezamos. Los griegos tenan
ese temor tambin, para ellos el infinito era un
tab: la paradoja de Xenn nos lleg como explicacin del no movimiento. El infinito de Borges es
palpable, contraria y paradjicamente a las intenciones de Xenn, lo cosifica en un aparato extrao
en el cual vemos todo lo que sucede en distintos
lugares al mismo tiempo, e inversamente, tambin
vemos lo que sucede en un slo lugar en tiempos
distintos: el infinito de Borges es un instrumento
de movimiento.
Naturalmente, su obra recuerda aquel reto que
Demcrito lanz a sus contrincantes (cito de memoria): Escribid un libro que contenga tantas hojas como granos de arena tiene la playa. El libro
infinito, entonces, se convierte en aoranza para
algunos lectores: ojal alguno hubiese vivido lo
suficiente para escribir tal libro, tan humanamente
imposible y tan cercano a la inteligencia que Borges representa. Quiero suponer que su frase clebre
No soy un buen escritor, pero s un buen lector
tiene que ver con aceptar que no podra escribir tal
libro, humildad que todo escritor debe aprender
como una buena leccin.

El infinito
Los libros religiosos se estrellan ante la lgica borgiana, la palabra de Dios es infinita y l sera el autor del libro que exiga Demcrito. No hay libro
religioso que cumpla con este requisito; cualquiera de ellos, por muy grande que sea su nmero
de pginas, siempre ser finito. Esto significa que
Dios no escribi un libro para los humanos, o que
simplemente Dios est an ausente entre nosotros.
La herencia dejada en El Aleph es complicada: de
haber un infinito, entonces hay ms de un infinito.
Son todos iguales entre s? La respuesta se deja

15

Mefisto
como ejercicio mental al lector, el que lee la pregunta es quien debe de dar su propia respuesta; sin
embargo, hay una luz que nos deja: hay dos infinitos que son iguales; ver todo al mismo tiempo y ver
todo en tiempos distintos.
Su idea no es irreal, cualquiera que sea su concepto de realidad. Para visualizarlo, pensemos
en cmo aprende a contar un infante sin saber
nmeros: colocando en filas horizontales los objetos que se quieren contar; cotejamos uno a uno los
elementos sin repetir, que es lo mismo que decir
las filas son iguales, o tienen el mismo nmero
de elementos. De este modo, Borges rompe una
regla socialmente aceptada: el total es mayor que
sus partes.
Para tener la certeza de que no siempre el total es
mayor que sus partes, tomemos el ejemplo de los
nmeros conocidos como naturales y pongamos
nuestras listas antes mencionadas:

Infinitos grandes e infinitos


pequeos

Surgen infinidad de preguntas de tan slo leer la


obra de Borges, por ejemplo: Hay un infinito ms
pequeo? La respuesta contundente es s. Naturalmente diramos que no hay un infinito ms
grande; siempre hay uno ms grande que el anterior, de otro modo tenemos slo un nmero finito
de infinitos, lo cual contradice el principio del infinito.
Por supuesto el infinito ms pequeo es aqul
que tiene tantos nmeros como el conjunto de los
nmeros naturales, que puede ser representado
como una sucesin interminable de puntos alineados. El siguiente infinito, lo conocemos con el
nombre de nmeros reales, o el conjunto de todos
los nmeros que se pueden escribir con representacin decimal. Tambin por razones geom1 2 3 4 5 6 ... tricas es el que se puede representar como una
lnea recta que se puede trazar sin despegar el lpiz
2 4 6 8 10 12 ... del papel, o una sucesin continua de puntos interminables, y que es nombrado el continuo.
Notemos dos cosas cruciales: la primera de el3 6 9 12 15 18 ... las es que los nmeros naturales son ordenados,
mientras que el continuo no lo es. Qu significa
4 8 12 16 20 24 ... ello? Significa que el primer nmero natural est
representado por el 1, el segundo, por el 2 y as
Los puntos suspensivos indican que no nos de- sucesivamente; es decir si tenemos un nmero
tenemos. Si seguimos la lista hacia la derecha y ha- natural podemos decir con precisin cul es el
cia abajo notamos que tienen el mismo nmero de siguiente en el orden dado. Esto no ocurre con el
elementos; esto es, los nmeros tienen la propie- continuo, a pregunta expresa cul es el sucesor del
dad siguiente: hay al menos uno de ellos que, nmero uno en el continuo? Como simples lectosiendo una parte pequea del original, tiene el res diramos el 1.1, pero inmediatamente notamos
mismo tamao. En este caso, los nmeros pares, nuestro error:
los mltiplos de tres, los mltiplos de cuatro, etc.,
1.01 > 1 y < 1.1;
todos tienen el mismo tamao que los nmeros
naturales, que es el total que los contiene.
As, entendemos una de las reglas ms preciadas entonces diramos que se es el elegido. Nuevaque la inteligencia humana ha producido: la idea mente caemos en un error, pues
del infinito como el total, y ste puede ser exacta1.001 > 1 y < 1.01.
mente igual a una de sus pequeas partes. sa
es su esencia, es lo que lo diferencia de lo finito,
donde el total de lo finito siempre es mayor que cu- Este proceso se vuelve infinito, y terminamos con
la frustracin de no poder elegir el sucesor del
alquiera de sus partes, que por supuesto es finita.

16

Mefisto
nmero 1, lo cual ocurre en realidad con cualquier
otro nmero en el continuo: simplemente no tiene
sucesor, mientras que en los nmeros naturales s
lo podemos sealar.
La segunda observacin es que nunca se puede
establecer una relacin entre los nmeros reales
y los naturales, como la que se realiza entre los
nmeros pares y los naturales, lo cual quiere decir
que el continuo es mayor que los naturales. Esta
diferencia entre el continuo y los naturales se sintetiza de la manera siguiente: mientras los naturales es un conjunto numerable, el continuo no lo es,
o bien, el continuo es inconmensurable.
Un juego que fascinaba y retaba la inteligencia
entre los filsofos de la antigedad griega es el
siguiente: Dado un punto sobre una recta, ste
representa un nmero; inversamente, dado un
nmero hay un punto en la recta que lo representa.
Decidme, cuando doy el nmero, podes trazarlo
exactamente con slo regla y comps en la recta
continua? Inversamente, al tener un nmero, qu
punto representa en la recta?. La respuesta es s
se pude; sin embargo, no nos describieron el mtodo para ello, de tal suerte que, de manera lgica,
se puede reducir al problema ya tratado: Qu
nmero precede a la unidad?

de millones es poco: se necesita una infinidad


mayor que con la que cuentan los nmeros naturales, esto es, el continuo es un infinito mayor necesario para generar dichas cantidades, como ya lo
habamos previsto. Esta misma incgnita se traslada a las figuras geomtricas planas: si tenemos un
cuadrado, cuntas curvas necesitamos para llenar
el cuadrado?; o bien, hay una curva con la cual
podamos llenar un cuadrado? La solucin de este
problema tard siglos en llegar.
La clave est en la siguiente construccin: si el
cuadrado lo subdividimos en cuatro cuadrados
iguales contenidos en el original, al tomar sus
centros podemos unirlos con una poligonal. El
siguiente paso es subdividir el mismo cuadro pero
ahora en ocho cuadrados iguales contenidos en
el original. El siguiente es dividirlo en diecisis
cuadrados y seguir este procedimiento de manera
indefinida; ntese que le nmero de cuadrados
debe ser igual al nmero de centros. Al final del
proceso, tendremos la curva que llena el cuadrado.
Grficamente podremos ver los primeros pasos de
este proceso en la Figura 1. Los nicos requisitos
que debe cumplir nuestro trazo son los siguientes:

El trazo debe ser continuo; esto es, no se debe


despegar el lpiz de la hoja de papel
No se debe pasar por el mismo punto ms de
El infinito y el laberinto
una vez
No se deben cruzar ni repetir las lneas
Es sabido que la recta no tiene grosor. En el len Por cada punto en el rectngulo debe existir
guaje moderno diremos que la lnea no tiene rea,
una polgonal que lo contenga
aunque tiene longitud. Sin embargo, el punto no
tiene longitud, mientras que la lnea si la tiene,
Esta curvas son conocidas como curvas de Peano o
cmo puede ser ello si la lnea es una sucesin de
curvas de Hilbert. ste es el laberinto referido por
puntos, mientras que el plano es una sucesin de
el cual camina el Minotauro, o bien el laberinto
lneas? Esta incgnita es parte de la crisis intelecinfinito creado en los libros de Borges: en efecto,
tual a la que no sobrevivi la Grecia antigua. El
al recorrer este laberinto, por cada lugar que pasamiedo al infinito es justificado: no es gratuito que
mos jams regresamos a l; por tanto, la cantidad
la humanidad tard ms de diecinueve siglos en
de paisajes contemplados son inagotables. Y los
entender la profundidad de este problema.
ms importante: no estamos posibilitados para dePara pasar de un estatus a otro (es decir, una lnea
jar dicho laberinto, estamos atrapados en l de por
tiene longitud, pero para un punto la longitud es
vida.
nula), la pregunta inmediata es: cuntos puntos
En la actualidad, este problema de llenar figunecesitamos para llenar la recta?; o bien, en trras geomtricas con curva, ha llevado al estudio
minos de longitudes: cuntos puntos se requieren
de distintas ramas de las matemticas, una de ellas
para generar un longitud positiva? Decir millones
conocida como fractales. Aqu el problema es in-

17

Mefisto

Figura 1. Curva de Hilbert.

teresante: Dado un paisaje o mapa, lo podemos llenar con una curva? Parece sencillo; no lo es.
Ms an: es un terreno nuevo en las matemticas
y las ciencias de la computacin. El ejemplo de la
figura 2 fue hecho con computadora, y nos muestra cmo es posible llenar una figura con curvas
continuas:
Es sencillo ahora concluir: el laberinto no necesariamente es rectangular; puede tener cualquier
forma, sin importar cun complicada sea y, por supuesto, ste es infinito: es decir, es un laberinto del
cual, una vez dentro, es imposible salir.

El Aleph
El Aleph, es la primera letra del alfabeto hebreo,
que indica el comienzo y la unidad entre dios y
los hombres, segn reza el judasmo. De dnde
obtuvo Borges el ttulo de este cuento? Aleph cero
es conocido como el nmero de elementos de los
nmeros naturales, el infinito ms pequeo; el
nmero de elementos es, a su vez, nombrado car-

18

Figura 2. Lena, curva generada con una computadora.

Mefisto
dinalidad y de ah surgen los nmeros cardinales.
Vemos todo al mismo tiempo y, en el mismo
lugar, vemos que ocurre en distintos tiempos: en
principio, slo los dioses pueden hacerlo. Borges
encontr que ese principio no es as. A pesar del
miedo, su Aleph nos acerc a la verdad: no es
privativo de los habitantes del Olimpo; por el contrario, algn Prometeo, al igual que el fuego, trajo
esta verdad a la Tierra y la don a la humanidad
como un regalo inconmensurable.
Al descubrir el hecho anterior, el narrador del
cuento pierde el control y corre a la calle despavorido, esa reaccin que la humanidad tuvo en su
primer contacto con la eternidad, ese miedo que
an hoy en da se le tiene al infinito y a su representante en la tierra: los nmeros, aqullos que
muchos odian sin meditarlo, y slo unos cuantos
cultivan como un arte que la humanidad hered
de los dioses.
Los mortales nacemos y morimos, nuestra corta
vida se rige por la relacin espacio-tiempo: si bien
no podemos ocupar dos lugares al mismo tiempo,
s podemos vivir el mismo lugar en tiempos distintos aunque notamos, con cierta tristeza, que ese
tiempo para nosotros es finito.
Borges nos hace trascender este concepto, el
Aleph nos infunde miedo, desasosiego e incertidumbre; sin embargo, stos desaparecen si entendemos y manejamos nuestra propia relacin
espacio-tiempo.

Figura 3. Relacin espacio-tiempo.

Imaginemos que el tiempo es una recta interminable, sin principio alguno ni final especfico.
Al mismo tiempo valga la redundancia, pensemos en todos los sitios en el espacio como una
recta similar. As, a cada tiempo, vivimos en un
lugar determinado. De este modo imaginaremos
la relacin espacio-tiempo como un plano con dos
medidas nicas; stas las expresamos grficamente
como la Figura 3, abajo, donde E representa el espacio y t el tiempo. Cada punto, en dicho plano,
nos informa de un lugar determinado en un tiempo dado.
Pensemos nuevamente en la Figura 3. Al expresar nuestra relacin y tomar un punto, como aqul
ubicado en la interseccin de las lneas punteadas,
indica que estamos en un lugar y un tiempo especficos. As, si iniciamos nuestro camino desde este
punto, ya sea hacia arriba o hacia abajo, estamos
recorriendo todos los lugares del espacio al mismo
tiempo. Contrariamente, si tomamos el camino
de la lnea horizontal punteada, ya sea izquierda o
derecha, recorremos todos los tiempos en el mismo lugar.
Durante siglos, la humanidad ha cultivado la
mana de dibujar mapas y fabricar globos terrqueos; mientras los primeros son planos, los
segundos son esfricos. Esta actividad de aplanar
esferas y envolver esferas con planos, contribuye a
nuestra comprensin del Aleph de Borges.

Figura 4. El Aleph.

19

Mefisto
En la esfera, las rectas se convierten en meridianos, como se muestra arriba en la Figura 4. Entonces, nuestra relacin obligada, explicada en el
plano, se convierte en una relacin en la esfera. El
efecto es el mismo: si recorremos el meridiano vertical identificado por la letra E, recorremos todos
los lugares al mismo tiempo; mientras que caminar sobre el meridiano horizontal t nos permite
recorrer un slo lugar en todos los tiempos.
ste es el Aleph de Borges: una esfera. Si nos ubicamos en un punto de ella nos posibilita ver todos
los lugares al mismo tiempo y, a su vez, desde un
slo lugar, ver todos los tiempos.

El libro de arena
La lnea consta de un nmero infinito de puntos; el
plano, de un nmero infinito de lneas; el volumen
de un nmero infinito de planos; el hper-volumen
de un nmero infinito de volmenes . As inicia
su libro de arena, aunque la siguiente lnea niega
ste como un buen principio; por el contrario, es
un excelente principio a nuestro entender. El libro
de arena est compuesto por un nmero infinito
de pginas, tantas como granos de arena tiene una
playa, dicho metafricamente segn la visin de
Demcrito.
El nmero de pginas de este libro es el mismo
que el continuo, esto es, la numeracin de dichas
hojas impresas tiene que ser usando el punto decimal. As, este extrao libro tiene tantas hojas como
la recta puntos, de otra manera sera un libro con
nmero de hojas infinito numerable.
El leer este libro es placer de unos cuantos, tiene
un nmero incontable de cuentos, novelas, y poesas, es el libro que registra todo, es el libro que
da cuenta de todo lo que pasa, incluso de escritos
futuros si es que ello es posible, historias enterradas en la memoria de la humanidad, que por
supuesto se hacen imperecederas gracias al libro
de arena.
Para imaginar la magnitud del libro de arena
adaptamos la paradoja de Xenn: Adso de Montealbn y Buenaventura era poseedor del libro de
arena, tutor del novicio Daniel Ambrosio Raiwzc.
Teniendo fama de lector de zagas y entendedor de

20

sus dominios, ante los dioses Adso jur educar a su


discpulo para caminar por la brecha del bien y el
camino de la sabidura; as ret a su iniciado a leer
el libro de arena como primer comienzo; ms an,
le concedi ventaja de tres pginas:
Antes que la aurora repunte, habr ledo ms
que t, sentenci Adso.
Daniel replic ante la arrogancia de su maestro:
Con toda humildad, le contradigo su aventurada
aseveracin maestro y le pido disculpas por ello.
Intrigado, el sabio le pidi a cambio una explicacin del porqu de su atrevimiento; esto fue lo
que respondi:
Si mi comienzo es la pgina tres, entonces usted
seor tendra que llegar primero a la pgina uno.
Cierto, dijo Adso, y eso qu argumenta?,
respondi sabedor de su excelente retrica.
Antes de que usted llegue a la pgina uno, tendr que pasar por la pgina enumerada por 0.5 que
antecede a la nmero 1, y antes de ello, tiene que
leer aquella numerada por 0.25, que es anterior a
la pgina 0.5, pero entonces tiene primero que leer
una anterior a 0.25, digamos la 0.125.
Con esto el mentor entendi lo que nunca cruz
por mente: Ambos nunca terminaran el libro y
Daniel siempre llevara una ventaja imposible de
rebasar.
Tienes razn Adso, te pido mil perdones por mi
arrebato de pedantera, con este libro nadie sale
ganando, termin diciendo de manera humilde.
El libro inconmensurable tiene un defecto: al
abrir un pgina, se tiene que leer sin descanso, se
tiene que abarcar lo ms posible; de otro modo, al
cerrarse el libro, jams se vuelve a la misma pgina,
imposible regresar a la lectura donde se dej, esto
es precisamente lo que se obtiene de la numeracin
de sus hojas, encontrar el lugar preciso donde se
estaba es imposible. Si se siguen sus reglas, los lec-

Mefisto
La familia de ella se vuelve el nico enlace entre el
tores paulatinamente se convierten en el libro, sus
voluntades son doblegadas y sus vidas como hu- narrador y su Beatriz, como un enlace irrompible,
manos son parte de lo imposible: El libro de arena. el hilo de longitud infinita que los une. Eso es Beatriz y ese amor por Beatriz permanecer eternamente ente ambos como un lazo irrompible.

El amor

Una leccin ms que nos da el maestro es acerca


del amor. Si bien nadie ha expuesto una definicin
precisa de ste, negar que es finito resulta intil.
Como sentimiento humano, que comprende una
parte y su antpoda, que va acompaado de una
mezcla de inumerables experiencias, que stas a
su vez contienen otras experiencias, como cuento
de nunca acabar, como pginas del libro de arena,
como caminos que tiene el laberinto impuesto al
Minotauro en castigo, decir que el amor es finito es
imponernos limitaciones innecesarias.
Beatriz Viterbo es la herona desparecida, la representacin no corporal del amor que el maestro
Borges nos muestra; quin es y cmo era resultan
preguntas irrelevantes. El amor se mantiene ms
all de la muerte, la vida se aleja de Beatriz Viterbo,
y l se da cuenta por un cartel de teatro pegado en
la calle, que la vida ya no es ella pero su amor vive.
Con la lejana corporal de Beatriz no se rompe ni
desaparece el amor, l sigue ah dentro sin que nadie ms que el narrador y Beatriz lo noten.

Eplogo
Sin proponrselo quiz, el maestro nos explica el
infinito y sus paradojas, como un ente real y al
mismo tiempo imaginario, como una forma de
explicar la eternidad, el tiempo, el amor y otros
tabes.
El Maestro Borges seguir hasta donde la humanidad llegue, a pesar del mundo destructivo
que nos toc vivir, l ser recordado hasta que el
ltimo ser humano perezca, y para ello falta todava un Aleph.

Referencias
Borges, Jorge Luis El Aleph, Siglo XXI, Mxico,
1949.
Borges, Jorge Luis El jardn de los senderos que se
bifurcan, Alfaguara, Mxico, 1941.
Borges, Jorge Luis Cuentos completos, Lumen,
Mxico, 2011.

21

Mefisto

Acertijos

3 En un cajn hay 47 calcetines, 23 de ellos azules


y 24 negros. Cuntos calcetines se deben sacar, sin
verlos, para estar seguros de que se tiene un par del
mismo color?

1 Un rey dej como herencia un cierto nmero de


perlas para repartirse entre sus hijas. La reparticin
se efectu de la siguiente manera: A la primera hija
le toc una perla ms la sptima parte de las perlas que quedaban; a la segunda le tocaron dos perlas ms la sptima parte de las que quedaban; a la
tercera tres perlas ms la sptima parte de las que
quedaban, y as sucesivamente. Si toda la herencia
se reparti y cada hija recibi la misma cantidad de
perlas, cuntas perlas y cuntas hijas haba?

2
9

2 Un hombre comienza un trabajo cuando las


manecillas del reloj coinciden entre las 8 y las 9 de
la maana, y termina entre las 2 y las 3 de la tarde,
cuando las manecillas forman un ngulo de 180.
4 Un cubo de madera se pinta de color rojo.
Cuntos minutos tard en realizar el trabajo?
Despus de ello, se divide en 1000 cubitos iguales.
Cuntos de esos cubitos tienen una sola cara pintada de rojo?

22

Mefisto

Acertijos
Solucin a los anteriores

y2

1 Si el pegaso miente, ese da tendra que ser el


lunes, pero ese da el unicornio dice la verdad y
no podra decir lo que dijo, porque el domingo
tambin dice la verdad. Si el pegaso dice la verdad,
ese da tendra que ser jueves, y el unicornio mentira, lo cual tambin tendra que ser el jueves. Por
lo tanto, el nico da de la semana en que puede
ocurrir la situacin descrita, es el jueves.

2 Para hallar la solucin, escribimos en forma


matemtica lo que el burro est diciendo:
y + 1 = 2(x - 1)
y-2=x+2
donde x es el nmero de bultos que carga el caballo, y y es el nmero de bultos que carga el burro.
Resolviendo este sistema se encuentra que x = 7 y
y = 22.

3 Notemos que entre las 12 y antes de la 1, las


manecillas hacen dos veces ngulo de 90, y lo
mismo entre 1 y antes de las 2. Pero entre las 2 y
antes de las 3, slo ocurre 1 vez (la segunda ocurre
exactamente a las 3). Entre 3 y antes de las 4, 4 y
antes de las 5, y 5 y antes de las 6 tambin ocurre
2 veces. Entonces en total hay slo 11 veces en que
las manecillas hacen un ngulo de 90.

4 Al dividir 5 entre 8, resulta que a cada nio se le


deben dar 5/8 de pliego. Esto se lograra recortando a la mitad cuatro pliegos, y el ltimo en octavos,
pero esto inutilizara los ltimos trozos. Sin embargo, si en lugar de repartirles sus 5/8 como 1/2
+ 1/8 se les reparten como 1/4 + 3/8, tambin se
tienen 5/8 sin cortar en trozos de 1/8. Esto se logra
cortando un pliego en cuartos y los otros cuatro en
trozos de 3/8, 3/8 y1/4, con lo que se reparte a cada
nio un trozo de 1/4 y uno de 1/8, sin que haya
desperdicio.

y
23

Mefisto

Sudoku
Fcil

4 9 8
5
3

9 4 5 2 3 8 7
7 6 2 4 9 1 5
3 8 1 5 6 7 2
4 2 7 1 5 9 3
8 5 9 3 2 6 4
6 1 3 7 8 4 9
1 3 4 6 7 2 8
2 9 6 8 4 5 1

9
5

2
6 1 4

Solucin al anterior

5
3 8
2
7

1
3 8
5

7 8

1 3

1 6
8 3
4 9
6 8
7 1
5 2
9 5

3 7
6 2 4

Difcil

Solucin al anterior
9

8 4

4 1 5
2 6 7
5 4 1
3 7 6
8 9 2
6 5 3
7 8 9
1

24

2 4

6
8
7
5
1
2
3

1 7

5 6
2 9 7 3
3 5 9 1
9 2 6 8
4 8 1 2
6 3 4 5
7 4 8 9
5 1 2 4

9 8

2
8
4
3
9
7
1

6
3 7 5

8 4
6 1
5
1
7 2
5
1
9 8 7
5
4
5
1
7
8
2 7

9
8
6
6 1
3

You might also like