LA MATEMATICA BIBLIOTECA DE BABEL Por Claudio Salpeter salpi13@hotmail.com La creacin borgeana amaba la mstica y la poesa. Y la geometra y el rigor matemtico.

En La Biblioteca de Babel, Borges concibe un universo-biblioteca con igura!o por salas he"agonales# iguras geom$tricas %ue se proyectan a lo in inito. En torno a esta proyeccin !e lo he"agonal# palpitan una re! !e relaciones entre el relato borgeano y el pensar matemtico. &al es lo %ue nos propone# !es!e este segmento !e Temakel# Claudio Salpeter# pro esor argentino !e matemticas# !ocente !e anlisis matemtico !e la 'niversi!a! !e Buenos (ires y !e la 'niversi!a! &ecnolgica )acional !e (rgentina. LA MATEMATICA BIBLIOTECA DE BABEL Por Claudio Salpeter La !iversi!a! !e lenguas en el orbe pue!e a!*u!icarse a la ira !e +ios ,-$nesis 11./0# y tuvo lugar !urante a%uella remota construccin !e la torre !e Babel. 1ue!e pensarse# igualmente# %ue el 2rea!or %uiso luego re!imirse en la invencin !e un 3nico lengua*e universal. 4pt# me atrevo a ormular# por el lengua*e !el n3mero y !e las ormas. la matemtica. -alileo entrevi este a n !ivino cuan!o !i*o %ue la naturale5a est scritta in lingua matematica. )o estoy !el to!o seguro !el $"ito !e esta singular y vasta empresa. 6s a!misible# tal ve5# es la sentencia !e 7ronec8er. +ios hi5o los n3meros naturales# el resto es obra !el hombre. La santa ver!a! es %ue este lengua*e se presenta# en general# con cierto aire crptico y# como es sabi!o# no go5a !el ervor popular9 tampoco suele ser llano su acceso. 2uan!o (le*an!ro !e 6ace!onia le pregunt a su maestro# 6enecmo# si e"ista alg3n ata*o para el conocimiento !e la geometra# $ste le respon!i. 4h rey# para via*ar por el pas hay caminos reales y caminos para ciu!a!anos comunes# pero en geometra slo hay un camino para to!os. 'na !e las me*ores narraciones !e :. L. Borges es# sin !u!a# La biblioteca de Babel# obra publica!a en 1;<1. 2reo %ue esta breve pie5a ha si!o# tal ve5# bastante le!a y poco compren!i!a o# al menos# parcialmente compren!i!a ,si es %ue esta insu iciencia es posible0. &emo %ue no est$ a mi alcance una interpretacin inal !e sus pginas. me limitar$# %ui5 te!iosamente# a bos%ue*ar algunas alusiones !e n!ole matemtica %ue el autor ha re le*a!o en ellas9 este es# pues# el ob*eto !e este op3sculo. El relato# e*ecuta!o por un narra!or annimo# comien5a a irman!o %ue El universo ,%ue otros llaman la Biblioteca0 se compone !e un n3mero in!e ini!o# y tal ve5 in inito# !e galeras he"agonales. Es !able suponer %ue estos he"gonos son regulares# es !ecir# tienen to!os sus la!os y sus ngulos iguales. E"isten ciertos polgonos regulares %ue cubren# geom$tricamente hablan!o# to!o el plano9 esto es# pue!e rellenarse una super icie con ellos sin %ue %ue!en huecos. =lo tres iguras logran esta ha5a>a. los tringulos e%uilteros# los cua!ra!os y los he"gonos regulares. 'nas lneas ms a!elante el te"to recalca la orma he"agonal. Los i!ealistas arguyen %ue las salas he"agonales son una orma necesaria !el espacio absoluto o# por lo menos# !e nuestra intuicin !el espacio. ?a5onan %ue es inconcebible una

sala triangular o pentagonal. 1o!emos# si es paciente el lector# ra5onar el cubrimiento !e los he"gonos regulares. E"iste una sencilla rmula matemtica %ue nos brin!a# !a!o el n3mero !e la!os !e un polgono regular ,%ue llamaremos n0# la suma !e to!os sus ngulos interiores. =@1ABC,n-D0. )o es !i cil ver %ue para el he"gono ,n@E0 la suma !e los ngulos interiores es /DBC. +a!o %ue hay seis ngulos iguales# ca!a uno me!ir 1DBC. 'na igura ayu!ar a compren!er esta situacin. En ca!a v$rtice# como se ve# con luyen tres ngulos !e 1DBC ca!a uno# %ue suman en total 3EBC9 no hay sitio para los huecos. &engo enten!i!o %ue las abe*as construyen sus panales en cel!as he"agonales. 1ue!e !emostrarse %ue !a!a un rea !etermina!a# !e los polgonos regulares %ue cubren el plano# el he"gono es el !e menor permetro. Esto in!icara una cierta capaci!a! !e economa en el 2onstructor !e la Biblioteca# y en las abe*as. Luego !e hacer la !escripcin !el universo# el narra!or annimo !e La biblioteca de Babel con iesa haber peregrina!o en busca !e un libro# acaso !el catlogo !e catlogos ,luego anali5aremos estas 3ltimas palabras0# y %ue espera pronto la muerte. ( continuacin con*etura %ue la Biblioteca es interminable y# tras esbo5ar una teora circular !e los msticos# !a cuenta !el n3mero !e libros# pginas# renglones y letras %ue hay en ca!a galera. En las letras !el !orso !e los libros y en las !e las pginas hay incone"iones. El narra!or# antes !e e"poner su solucin a estos enigmas# in!ica %ue !eben recor!arse !os a"iomas. El primero !e ellos !eclara %ue la Biblioteca e"iste ab aeterno, !e lo %ue se in iere la eterni!a! utura !el mun!o y %ue ella slo pue!e ser obra !e un !ios. El segun!o# %ue el n3mero !e smbolos es veinticinco. Los con orman la coma# el punto# el espacio y las veinti!s letras !el al abeto. +e este a"ioma surge la teora general !e la Biblioteca# esto es# la naturale5a in orme y catica !e casi to!os los libros. Libros plaga!os !e insensatas caco onas# !e rragos verbales y !e incoherencias. 'n halla5go pro!uci!o %uinientos a>os atrs permite !escubrir la ley un!amental. )o hay# en la vasta Biblioteca# !os libros i!$nticos. +e a%u se in iere %ue la Biblioteca es total y %ue sus ana%ueles registran to!as las posibles combinaciones !e los veintitantos smbolos ortogr icos ,n3mero# aun%ue vastsimo# no in inito0. El halla5go menciona!o era un libro tan con uso como otros# pero %ue tena casi !os ho*as !e lneas homog$neas. Esas lneas contenan nociones !e anlisis combinatorio# ilustra!as por e*emplos !e variaciones con repeticin ilimita!a. El anlisis combinatorio# o simplemente# la 2ombinatoria# es una parte !e la 6atemtica %ue se encarga !e las t$cnicas !e conteo. =uele !escribrsela como el arte !e contar sin enumerar. 1or e*emplo# supongamos %ue %ueremos hacer una tira !e 3 casilleros utili5an!o slo las letras ( y B. Las posibili!a!es son. (((# ((B# (B(# (BB# B((# B(B# BB(# BBB. Es !ecir# A ormas. Esto pue!e verse as. en el primer casillero pue!en ir ( B9 por ca!a una !e estas !os posibili!a!es# en el segun!o casillero pue!en ir ( B9 y por ca!a una !e estas !os 3ltimas posibili!a!es pue!en ir en el tercer casillero ( B. Es !ecir# tenemos D.D.D @ D3@A . En general# si tenemos una tira !e n casilleros y po!emos utili5ar m letras# la canti!a! total !e posibili!a!es es. mn. Estos grupos !e elementos ,en el e*emplo# tiras !e letras0 se !enominan variaciones con repeticin. =e llaman con repeticin por%ue ca!a elemento pue!e intervenir varias veces en ca!a agrupacin. 2omo e*emplo# pue!e calcularse el n3mero !e patentes posibles !e los autos. D/3.1B3# es !ecir# 1; EA3 BBB. 2reo ya haber a!elanta!o %ue el narra!or !e La biblioteca de Babel haba in!ica!o algunos n3meros re eri!os al conteni!o !e las galeras. ( ca!a uno !e los muros !e ca!a he"gono correspon!en cinco ana%ueles9 ca!a ana%uel D

encierra treinta y !os libros !e ormato uni orme9 ca!a libro es !e cuatrocientas !ie5 pginas9 ca!a pgina# !e cuarenta renglones# ca!a rengln# !e unas ochenta letras !e color negro. 1ermtame el lector aburrirlo con algunas cuentas. 2a!a libro tiene <1B pginas. 2a!a pgina tiene <B renglones# esto es# hay 1E<BB renglones en un libro. 2a!a rengln tiene AB letras# esto es# hay 1 31D BBB letras en un libro. Ya %ue slo pue!en utili5arse DF smbolos# el n3mero total !e posibili!a!es !e combinacin !e esos smbolos en los 1 31D BBB GcasillerosG es. DF131DBBB ,n3mero# aun%ue vastsimo# no in inito0. ?egresemos al relato. La proclamacin !e esta teora !e la Biblioteca total *usti icaba al universo y# en consecuencia# a ca!a in!ivi!uo. 6iles buscaron su Hin!icacin en los libros ,%ue to!o lo contenan0# aun%ue la posibili!a! !e %ue alguno encontrara la suya era ciertamente cero. =e esper encontrar# a!ems# el origen !e la Biblioteca y !el tiempo. 1ero las posibili!a!es !e hallar las respuestas eran remotas y# entonces# a la !esa ora!a esperan5a# suce!i# como es natural# una !epresin e"cesiva. (lgunos sugirieron cesar las b3s%ue!as y construir# a5arosamente# esos libros cannicos. 4tros creyeron %ue !eban eliminarse las obras in3tiles y proce!ieron a inva!ir las galeras y %uemar los libros. El narra!or e"pone luego una supersticin. En alg3n ana%uel !e alg3n he"gono ,ra5onaron los hombres0 !ebe e"istir un libro %ue sea la ci ra y el compen!io per ecto !e to!os los !ems. alg3n bibliotecario lo ha recorri!o y es anlogo a un !ios. Ya habamos menciona!o la b3s%ue!a !el catlogo !e catlogos. Este libro constituira una para!o*a !e las matemticas# como intentar$ e"plicar. (ntes !e aclarar la cuestin# !ar$ algunas re erencias histricas. -eorg 2antor ,1A<F-1;1A0# naci!o en =an 1etersburgo# ?usia# ,aun%ue a los 11 a>os !e e!a! emigr con su amilia a Iranc ort# (lemania# !on!e vivi hasta su muerte0 !esarroll la 6engenlehre ,teora !e con*untos0# %ue tuvo# !es!e me!ia!os !el siglo JJ# e ectos pro un!simos en la ense>an5a !e la matemtica en to!os sus niveles. =us traba*os ms importantes se re ieren a los con*untos in initos. En primer lugar# consi!eremos la siguiente pregunta. K%u$ es el in initoL 2antor encontr una !e inicin precisa !e un con*unto in inito !e elementos. 1ens en un a"ioma %ue haba si!o utili5a!o con gran soltura y %ue aparece en los Elementos !e Eucli!es ,alre!e!or !el a>o 3BB a.2.0 ba*o el ttulo !e )ociones 2omunes. +e $stas# la n3mero cinco e"presa amosamente. El to!o es mayor %ue la parte. Bertran! ?ussell# sin embargo# nos a!vierte. Este a"ioma es cierto para los n3meros initos. Los ingleses# por e*emplo# son slo una parte !e los europeos# y hay menos ingleses %ue europeos. 1ero cuan!o llegamos a los n3meros in initos esto ya no es cierto. Me a%u# la !e inicin !e 2antor !e con*unto in inito# en boca !e ?ussell. 'n con*unto !e t$rminos es in inito cuan!o contiene como partes otros con*untos %ue tienen tantos t$rminos como $l. May# por e*emplo# tantos n3meros pares como n3meros naturales. 1# D# 3# <# F# a! in initum D# <# E# A# 1B# a! in initum 2omo se ve# a ca!a n3mero natural le correspon!e su !oble y a ca!a n3mero par le correspon!e su mita!. +e esta manera# se conclua %ue los !os con*untos tenan el mismo n3mero !e elementos. 'tili5an!o estas correspon!encias# 2antor !emostr %ue el con*unto !e los n3meros naturales ,1# D# 3# ...0 tiene la misma canti!a! !e elementos %ue el con*unto !e los n3meros enteros ,...# -D# -1# B# 1# D# ...0 y %ue el con*unto !e los n3meros racionales ,es !ecir# to!os los n3meros anteriores y a!ems# las 3

racciones0. =in embargo# estos con*untos tienen menos elementos %ue el con*unto !e to!os los n3meros irracionales ,n3meros %ue no pue!en escribirse como raccin9 e*emplo# el n3mero pi0. ( los n3meros %ue in!ican la canti!a! !e elementos !e un con*unto in inito se los llama trans initos. El con*unto !e los n3meros naturales y to!os los con*untos %ue pue!en ponerse en correspon!encia con $l tienen el mismo n3mero !e elementos. 2antor llam a este n3mero ,aleph# primer letra !el al abeto hebreo0# y es el n3mero trans inito ms pe%ue>o. Estas menu!encias !e los con*untos in initos ueron trata!as por Borges en La !octrina !e los ciclos , istoria de la eternidad0. En La ci!ra# el mismo Borges escribi un poema titula!o "i#on. =u primer pargra o !ice. Me !ivisa!o# !es!e las pginas !e ?ussell# la !octrina !e los con*untos# la 6engenlehre# %ue postula y e"plora los vastos n3meros %ue no alcan5ara un hombre inmortal aun%ue agotara sus eterni!a!es contan!o# y cuyas !inastas imaginarias tienen como ci ras las letras !el al abeto hebreo. En ese !elica!o laberinto no me ue !a!o penetrar. Me menciona!o a los !estructores !e los ana%ueles. =in embargo# el narra!or arguye la utili!a! !e a%uellas !evastaciones # ya %ue la Biblioteca es tan enorme %ue to!a re!uccin !e origen humano resulta in initesimal. =i la Biblioteca es in inita ,como con*etura el narra!or al inal0 entonces es cierto %ue to!a re!uccin humana es in initesimal. En la aritm$tica trans inita e"iste un teorema %ue a irma %ue la !i erencia entre un con*unto in inito y cual%uiera !e sus partes initas es un con*unto in inito.-eorg 2antor encontr con*untos mayores %ue el con*unto !e los n3meros naturales ,es !ecir# n3meros mayores %ue aleph0. 1ero en 1A;F se le ocurri la i!ea !e consi!erar el mayor con*unto !e to!os los %ue e"isten. 2uatro a>os ms tar!e lleg a la conclusin !e %ue tal engen!ro no po!a e"istir. 2uan!o Bertran! ?ussell vio esta conclusin !e 2antor# no se la crey y escribi %ue 2antor !ebi haber si!o Gpresa !e una sutil alacia# %ue espero e"plicar en uturos traba*osG. +iecis$is a>os ms tar!e# ?ussell a!mita su error. Este hecho gener amosas para!o*as o antinomias. La ms conoci!a es %ui5s la !el propio ?ussell. 'n barbero !e pueblo !eca %ue $l no a eitaba a na!ie !el pueblo %ue se a eitara a s mismo# pero %ue a eitaba a to!os los %ue no se a eitaban a s mismos. 'n !a al barbero se le ocurri preguntarse si !eba a eitarse a s mismo. Y se encontr entonces en me!io !e una para!o*a. 2onsi!eremos a 2 como el con*unto !e to!os los hombres %ue no se a eitan a s mismos. La pregunta es. Kel barbero pertenece o no al con*unto 2L =i el barbero pertenece a 2 entonces no se a eita por s mismo9 luego# es un hombre a eita!o por el barbero# es !ecir# por s mismo# con lo cual no pertenece al con*unto 2. Es !ecir# si el barbero pertenece a 2 entonces no pertenece a 29 esto es absur!o. 1ensemos a hora %ue el barbero no pertenece a 2# es !ecir# %ue se a eita a s mismo9 luego# es un hombre a eita!o por el barbero# con lo cual no se a eita por s mismo y entonces# pertenece a 2. Es !ecir# si el barbero no pertenece a 2 entonces pertenece a 29 y esto genera otro absur!o. En La Biblioteca de Babel# el narra!or busca el catlogo !e catlogos. 1ero $ste no ha !e e"istir. =upongamos %ue el con*unto ( es el catlogo !e catlogos y (1 # (D # (3 son to!os los catlogos e"istentes en la Biblioteca. =imblicamente tenemos. (@N(1#(D#(3O. )os encontramos entonces con un catlogo %ue no est cataloga!o# el (. +eberamos armar un catlogo B %ue lo incluyera. B@N(# (1#(D#(3O. (hora no est el catlogo B...# y as in!e ini!amente. El narra!or annimo suplica# !esespera!amente# %ue ese libro <

total e"ista# pero 2antor ya ha !estrui!o esa posibili!a!. El relato inali5a con la solucin !el narra!or. La Biblioteca es ilimita!a y peri!ica. Esta periorici!a! %ue el narra!or caracteri5a como el 4r!en# in!ica una ley a seguir# una regla. 1or e*emplo# en el n3mero 3#<FDE/DE/DE/...# la regla es %ue !espu$s !el 3#<F se repite in!e ini!amente la terna DE/# llama!a pero!o. En reali!a!# to!os los n3meros %ue pue!en escribirse en orma !e raccin ,y esto incluye tambi$n a los enteros# %ue son racciones !e !enomina!or uno0 pue!en ser e"presa!os como !ecimales peri!icos. 1or e*emplo# el < po!emos escribirlo como 3#;;;;;;.... ( to!os estos n3meros se los llama racionales ,ya %ue pue!en ser escritos como una ra5n !e !os enteros0. E"isten in initos n3meros !esprovistos !e esta caracterstica9 se los llama# atro5mente# irracionales. En ellos no e"iste ley alguna. El e*emplo ms conoci!o es el n3mero # ente %ue ning3n ser viviente pu!o ,ni po!r0 contemplar *ams.En la 3ltima pgina !el cuento# hay una nota al pie en !on!e se !ice %ue Leticia Plvare5 !e &ole!o ha observa!o %ue la vasta Biblioteca es in3til9 en rigor# bastara un solo volumen# !e ormato com3n# impreso en cuerpo nueve o en cuerpo !ie5# %ue constara !e un n3mero in inito !e ho*as in initamente !elga!as. ,2avalieri a principios !el siglo JHQQ# !i*o %ue to!o cuerpo sli!o es la superposicin !e un n3mero in inito !e planos0. R(licia (r!ila ha observa!o# a su ve5# %ue Borges utili5a esta i!ea in initesimal en El libro de arenaS. El matemtico Bonaventura 2avalieri ,1F;A-1E</0 ue !iscpulo !e -alileo. En una !e sus obras# publica!a en 1E3F# consi!er un rea como constitui!a por un n3mero in!e ini!o !e rectas paralelas y e%ui!istantes# y un volumen como compuesto por un n3mero in!e ini!o !e reas planas paralelas. Esta consi!eracin ya haba si!o contempla!a por (r%ume!es ,siglo QQQ a.2.0# aun%ue este hecho era !esconoci!o en a%uella $poca. Los traba*os !e 2avalieri iban a in luir bastante en la creacin suprema !e )eTton y Leibni5. el clculo in initesimal. Esta rama !e la matemtica mane*a procesos in initos ormali5a!os con rigor# pero este 3ltimo !etalle ue evita!o por 2avalieri. El rigor es asunto !e los ilso os ms %ue !e los matemticos. Es sabi!o %ue la obra !e :orge Luis Borges remite no pocas veces a campos matemticos. Es posible# claro est# compren!er la mayor parte ,o to!a0 la prosa borgiana sin ser un e"perto gemetra9 sin embargo# creo %ue una cierta comprensin !el lgebra# ama!a por el poeta argentino# otorgar un placer al menos !i erente !el habitual. El matemtico alemn 7arl Uieierstrass sentenci %ue un matemtico %ue no tenga tambi$n algo !e poeta *ams ser un completo matemtico# po!ramos para rasearlo !icien!o %ue un poeta %ue no tenga tambi$n algo !e matemtico *ams ser un completo poeta. Me intenta!o hacer notar# tal ve5 con usamente# algunos presupuestos matemticos inmersos en las pginas !e La biblioteca de Babel. =i alg3n lector pue!e llegar a enri%uecer ,si%uiera someramente0 su lectura con estos aportes# entonces estas lneas estarn *usti ica!as. ,V0

$%& 'uente( 2lau!io =alpeter#GLa matemtica biblioteca !e BabelG# envia!o gentilmente por su autor para su e!icin a%u. http.WWTTT.tema8el.comWartborgesbabel.htm