Lo Que Cabe en Nuestro Espacio by Hector Zenil

Lo que cabe en el espacio
La geometr como pretexto a para explorar nuestra realidad f sica y matematica
Hector Zenil
Indice general
Prefacio . . . . . . . . . . . . . . . . . i
I Hacia el concepto de medida y grupo 1

2. Nociones primeras 2.1. Figuras ancestrales . . . . . . . . . . . 2.2. Slidos platnicos . . . . . . . . . . . . o o 1 1 10
3. Los tres ultimos libros de los Elementos 17 3.1. La construccin matemtica . . . . . . o a 3.2. El libro trece de Euclides . . . . . . . 3.3. El orden importa . . . . . . . . . . . . 4. Construcciones y restricciones 4.1. Teselados . . . . . . . . . . . . . . . . 3 23 27 32 41 49
INDICE GENERAL 4.2. Simetr y perfeccin . . . . . . . . . . a o 4.3. Los cinco elementos . . . . . . . . . . 51 54
II Nociones de clculo y topolog a a del espacio 65

5. Congruencia y descomposicin o 5.1. Coincidencia . . . . . . . . . . . . . . 67 67 78 83
5.2. El tercer problema de Hilbert . . . . . 6. Exhaucin y contencin o o
6.1. Slidos para medir supercies y espacios 83 o 6.2. Curvas que llenan el espacio . . . . . . 6.3. El concepto de dimensin . . . . . . . o 6.4. Empacamientos y empilamientos . . . 7. La frmula de Euler o 7.1. El defecto de Descartes 89 92 95 103 . . . . . . . . 112
7.2. Rigidez y la frmula de Euler . . . . . 128 o 7.3. De regreso a los fundamentos . . . . . 132 7.4. Los excesos de Legendre . . . . . . . . 135 8. Propiedades intr nsecas del espacio 147
8.1. La continuidad del espacio . . . . . . . 162 8.2. Poliedros sin magnitud . . . . . . . . . 175
INDICE GENERAL 9. Por qu 3 dimensiones e
5 181
9.1. Poliedros en otras dimensiones . . . . 185 9.2. Politopos de un solo corte . . . . . . . 187 9.3. Politopos en otras curvaturas . . . . . 194 Bibliograf a 198
INDICE GENERAL Antes de ser creado el universo, no exist los nmeros excepto la Trinidad an u que es Dios mismo... Dado que la l nea y el plano no implican ningn nmero, entonu u ces reina la innidad. Consideremos por lo tanto a los slidos. Primero debemos o eliminar a los slidos irregulares dado que o slo estamos interesados en la creacin oro o denada; quedan por lo tanto seis cuerpos: la esfera y los cinco poliedros regulares. A la esfera corresponde el cielo exterior, mientras que el mundo dinmico est rea a presentado por los slidos de cara plana, o de los cuales existen cinco, los cuales a la vez (cuando son vistos como l mite) determinan seis cosas diferentes: los seis planetas que giran alrededor del sol. ste es e el motivo por el cul slo hay seis planea o tas...
... los slidos regulares se dividen en o
INDICE GENERAL dos grupos: tres en uno y dos en otro. Al grupo mayor pertenecen primero el cubo, segundo la pirmide, y nalmente el a dodecaedro. Al segundo grupo pertenecen primero el octaedro y segundo el icosaedro. Lo mencionado explica porqu la pare te ms importante del universo, que es la a Tierradonde la imagen de Dios se reeja en el hombre, separa a los dos grupos. Por consiguiente, como posteriormente procedo a demostrar, los slidos del prio mer grupo deben hallarse fuera de la rbio ta de la Tierra, mientras que los del segundo grupo deben encontrarse dentro... por lo tanto, asigno el cubo a Saturno, el tetraedro a Jpiter, el dodecaedro a Maru te, el icosaedro a Venus y el octaedro a Mercurio.
Mysterium Cosmographicum (1596) Kepler (1571-1630)
Prefacio
o (nadie entre aqu que no sepa geometr a) A la entrada de la academia de Platn. o Cunto cabe en nuestro espacio? Por qu slo a e o pueden existir cinco poliedros regulares y no seis? Qu guras llenan el plano y el espacio? Es el espae cio una generalizacin trivial del plano? Podemos noo tar si estamos en un plano curveado si estamos sobre l? En lenguaje casi coloquial, despegaremos guras e del espacio para rotarlas en 4 dimensiones, contaremos poliedros en dimensiones superiores y nos preguntaremos acerca de las propiedades fundamentales del espacio. Se trata de una historia que devela cmo o una parte de las matemticas describen las propiedaa des ms fundamentales del espacio en que vivimos y a por lo tanto de la realidad en la que estamos inmersos y solemos poner poca atencin. o Es frecuente que, en general, se piense en las matemticas como una ciencia estacionaria. No obstante, a es una ciencia viva, en evolucin, para algunos incluso o un arte que se reinventa as mismo. Como en ocasio nes se suele denir a las artes como actividades humanas sin utilidad prctica, me gusta pensar en las maa temticas como una actividad art a stica con una vasta
ii
INDICE GENERAL
utilidad que se ltrado en casi, sino toda, actividad humana. Tan bella como el arte y tan prctica como a la ciencia, es comn que a los matemticos les tenga u a sin cuidado su aplicacin o interpretacin. A travs de o o e una posicin reexiva, sin embargo, las matemticas o a nos dicen mucho. Lo que usualmente se ve y se conoce de las matemticas comnmente es su lenguaje, y aunque ste a u e tambin es parte de ellas no son mas que el vocae bulario que se utiliza para entender su contenido. Es como si se quisiera entender una novela analizando cada letra y punto, conociendo el alfabeto y las reglas del idioma y no leyendo la novela misma. Desgraciadamente es el vocabulario y la gramtica de las maa temticas la que usualmente se ensea y se aprende a n durante la educacin escolar que, en la mayor de los o a casos, ser prcticamente todo lo que conocer un ina a a dividuo para el resto de su vida. Por ello a veces las matemticas son relacionadas con sumas y restas, coa mo si una novela se pudiera describir y entender por sus letras y no por la forma en que stas estn cone a guradas para dar sentido. A excepcin de aquellos o quienes una vez aprendido y dominado el lenguaje, se arrojan hacia la aventura temeraria, es una pena que el resto no conozca el profundo contenido de una disciplina intelectual que sostiene y comprende muchas de las preguntas que el humano ha considerado como de entre las ms relevantes y que a veces tiene frente a
INDICE GENERAL as codicadas solamente. ,
iii
Los lsofos y matemticos se han hecho muchas o a preguntas acerca de las matemticas durante su hisa toria. Las matemticas ya existen y nosotros las desa cubrimos? o son una invencin humana? Si son una o invencin por que parecen ajustarse y describir tan o bien la naturaleza? Y si no son una invencin cmo o o accedemos a ellas? Cmo podemos utilizarlas no slo o o para ofrecer explicaciones coherentes y a veces precisas sino para modelar y predecir situaciones reales? La historia alrededor de los slidos platnicos y o o los poliedros en general es tan amplia que abarca muchas pocas de la civilizacin humana, al menos desde e o el ao 2000 o 3000 a.C. hasta la actualidad, es decir, n unos tres o cuatro mil aos. Unas veces mejor docun mentada y preservada que otras, estos objetos han interesado e involucrado a matemticos de leyenda. a Pitgoras, Teeteto, Platn, Aristteles, Euclides, Ara o o qu medes, Descartes, Euler, Simson, Cauchy, Legendre, Gauss, Hilbert, Coxeter y Dehn son slo algunos o nombres de entre los que han hecho las mayores contribuciones al tema. Estos objetos no slo son interesantes como curioo sidades matemticas, nos hablan, sobre todo, de las a propiedades del espacio en que vivimos, as como de otros que podemos concebir con particular exactitud sin jams conocer. Nos hablan tambin acerca de la a e
iv
INDICE GENERAL
posibilidad o restriccin de construir ciertos objetos o de cierto tipo en nuestro propio espacio, y de relaciones y propiedades particulares en l. e Si acaso el lector se pregunta por la utilidad de estos interesantes objetos del espacio, debo advertirle que se encuentran presentes (a manera de aproximaciones) en toda la naturaleza: desde enlaces moleculares, supercies de organismos vivos, formas de virus, patrones emergentes en la dinmica de sustancias, a modelos genticos, modelos cosmolgicos modernos, e o y en toda la arquitectura antigua y moderna. Basta pensar, por ejemplo, en las pirmides de Egipto o a el los modernos rascacielos. Esta ubicuidad se debe a dos motivos en particular: la estabilidad que estas formas proveen; y la simpleza en su construccin a partir o de unidades auto semejantes. En ese sentido, son formas que preservan la propiedad natural de m nima energ es decir, la generacin y construccin ptia, o o o ma mediante el uso de la menor cantidad de recursos posibles. Por otro lado, debo advertir que, con excepcin o del comentario anterior, la existencia o concepcin de o objetos matemticos por s solos, como respuesta a a preguntas fundamentales del espacio, ser mi unico a inters y no su aplicacin o presencia en la naturaleza e o o la vida cotidiana. Estoy convencido de que el conocimiento no
INDICE GENERAL
est contenido en los libros, sino en las personas, esa to parece obvio pero no pretendo realizar un ejercicio de retrica sino enfatizar el hecho de que en la leco tura de un texto estn contenidas las instrucciones a para reconstruir los pensamientos que el escritor previamente concibi para tal n y que ha depositado o con tinta. Cuando estas ideas y pensamientos se leen interpretando las condiciones en las que el autor estaba inmerso (en lugar y tiempo) se hace un trabajo de hermenutica, de reconstruccin, en la medida de e o lo posible, de los hechos necesarios y sucientes para hacer un aserto, armacin, omisin, conjetura o o o conclusin. o En esta experimentacin, esta forma de leer mao temticas como si se estuviera haciendo un experia mento o leyendo una novela con personajes y trama tuve la fortuna de ser guiado por un gran conductor que hace historia leyendo la historia y no los libros de historia. l habr hecho la aclaracin, sin duda, que e a o cuando se reere a leer bien, como cuando se lee una novela, no se trata de leer en las noches para dormirse, sino a analizar la obra, a identicar los protagonistas, el guin y las entre l o neas, a conocer sus personajes e identidades, para detectar sus fortalezas y debilidades (en los Elementos de Euclides, por ejemplo, los personajes son el tringulo, el ngulo recto, el c a a rculo, pero destaca la ausencia de la esfera). Para hacer este tipo de lectura de textos matemticos se requiere por a
vi
INDICE GENERAL
supuesto de concentracin y doctrina matemtica peo a ro tambin una rica mezcla intelectual de historia y e losof a. Hacer hermenutica implica que no hay una vere dad absoluta, sino interpretaciones histricas de las o intenciones del autor (no de las matemticas mismas). a La hermenutica es importante porque prove un trae e bajo de interpretacin de expertos inmersos en un o tiempo de los trabajos de los expertos de un tiempo anterior. Es una lectura de ese tiempo en este tiempo, con lo que se sabe y no se sabe de aquel tiempo, y lo que se sabe o no sabe de ahora (y la conciencia de ello). Los poliedros estn asociados, directa o indireca tamente, al surgimiento de reas importantes de las a matemticas, como el lgebra, el anlisis matemtia a a a co y la topolog Incluso desde el punto de vista de a. importantes autores, con los que coincido, stos fuee ron en algunos casos, detonantes para el nacimiento y descubrimiento de estas ramas tan ricas en contenido de las matemticas, que aunque probablemente hubiea ran de cualquier modo surgido, fueron stos sin duda, e una motivacin enmarcada por un entorno. As por o , ejemplo, Lebesgue arma que el estudio de los poliedros fue el punto de origen para la topolog moderna. a Tambin los poliedros han estado ligados al comiene zo y desarrollo de los dos pilares de las matemticas, a
INDICE GENERAL
vii
por un lado la aritmtica o teor de nmeros y, por e a u supuesto la geometr Hay quienes incluso aseguran a. que el estudio de los poliedros comenz por una moo tivacin proveniente de la teor de nmeros ya que o a u estuvieron ligados, evidentemente (y sin duda lo siguen estando si se les ve desde esa ptica), a conceptos o como el de magnitud y medida, as como al de incon mensurabilidad y a la llamada proporcin extrema o y media (conocida coloquialmente como proporcin o a urea o divina proporcin) que tanto en pol o gonos como en poliedros se encuentra presente, ms an con a u los llamados nmeros poligonales, objetos de estudio u de personajes como Euler, Fermat y Goldbach. Veremos ms adelante, por ejemplo, cmo del esa o tudio de los slidos y su magnitud surge la necesidad o del clculo para luego evolucionar en lo que conocea mos actualmente como anlisis matemtico y la teor a a a de la medida, a diferencia de una creencia muy popular y casi mito acerca de que su surgimiento fue producto de una motivacin prctica, de una necesidad o a para calcular magnitudes f sicas o de la mecnica cea leste para el clculo de velocidades. Sin duda el clcua a lo no es una herramienta motivada por la f sica sino por la geometr y su surgimiento se cocin por nea, o cesidad matemtica en el concepto de exhaucin que a o Arqu medes atribuy a Eudoxo y que por supuesto o era objetivo central en la obra de Euclides. Mtodo e que no ten otro objetivo distinto que el de medir, el a
viii
INDICE GENERAL
mismo objetivo del clculo y del anlisis matemtico a a a actual. El hecho de que el clculo sea una teor o a a herramienta que es y puede ser totalmente adecuada para el estudio y tratamiento de la f sica no implica que de ella surja o que de ella se haya ocupado unica mente durante su surgimiento. La l nea continua de la que el clculo es parte, es obvia cuando se conoce la a historia del desarrollo de los conceptos matemticos, a desde el mtodo de exhaucin hasta lo que hoy conoe o cemos como la teor de la integracin y el trabajo de a o Riemann, Lebesgue, Borel y Cantor. Lo que haremos es un trabajo intelectual pero tambin un juego, jugaremos a ser Euclides, Euler, Lee gendre o Gauss. A hacernos sus preguntas, a respondernos en su forma y en su tiempo, y en nuestra forma y nuestro tiempo (inmersos unos dentro de otros), a encontrar diversos razonamientos pero tambin dese viaciones, excesos y omisiones de hechos prcticamena te evidentes para nosotros pero seguramente desconocidos e inalcanzables en su tiempo para ellos. El concepto de espacio es uno dif ya que lo que cil se diga de l es probable que se falso. Como ejemplo, e el espacio se cre euclidiano, pero hoy sabemos que a es muy probable que no sea el caso, y an si lo fuera, u el espacio permite otro tipo de geometr sobre suas percies. De hecho, algunos modelos f sicos pretenden ms de 3 dimensiones espaciales. Del espacio mucho y a
INDICE GENERAL
ix
nada sabemos, asumiendo que una u otra propiedad de l deducimos unas u otras propiedades, preguntas e fundamentales continan sin respuestas (por ejemplo, u ?es el espacio continuo? y ?qu tipo de continuo?). e Para entender el concepto de espacio estudiaremos cmo lo entendemos a partir de lo que hacemos o poo demos hacer con l y en l, lo que puede o no contener, e e por sus propiedades que lo caracterizan, aquellas que le pertenecen y aquellas que dependen de los objetos que contiene o de otras posibles propiedades. Y, nalmente, llegaremos de manera novedosa, a travs e del concepto de poliedro, a las nociones que motivaron en gran medida y dieron origen a diversas teor as matemticas, como la teor de la medida, la teor a a a de grupos y la topolog reas de estudio de la maa, a temtica actual. a Muchos libros se han escrito sobre la forma y propiedades del espacio, algunos del espacio en que vivimos, por mencionar uno est el de Javier Bracho a En qu espacio vivimos publicado por el Fondo de e Cultura Econmica (FCE) de Mxico y que trata la o e pregunta desde un punto de vista topolgico, el rea o a de investigacin de Javier Bracho. o Entre las que considero aportaciones de este texto, est el tratamiento didctico (a pesar de que le a a debo al lector muchas guras que espero insertar en futuras ediciones) y el de su valor hermenutico como e
INDICE GENERAL
inovacin al servicio pedaggico para contar la hiso o toria de los conceptos que han ayudado a formular (explicita o impl citamente) la pregunta del espacio y que han dado origen y modelado las matemticas a modernas. La pregunta no es otra que la de Javier Bracho pero el esbozo de respuesta es desde una ptio ca distinta. No es tampoco un texto ni de matemticas a ni, necesariamente, de vulgarizacin de las matemtio a cas, aunque espero que ayude a vulgarizar conceptos y sobre todo historias, pero ms que todo a proveer a entendimiento y motivar al lector con un contexto distinto al comnmente utilizado para explicar las mau temticas. El libro es sobre todo un estudio de ese a contexto, de interpretacin histrica del desarrollo de o o las matemticas. El viaje nos lleva por el estudio de a una pierdas neol ticas, por un anlisis de la obra de a Euclides y a discusiones sobre las propiedades ms a fundamentales de nuestro espacio, como lo son el de dimensionalidad y el de su (posible) continuidad. Por informacin de Alison Sheridan y sus colaboo radores, a pesar de cierta atencin alrededor de estas o piedras, y las conjeturas que le acompaaron, las pien dras de las que hablo en el primer cap tulo del libro no hab sido parte de ninguna discusin matemtica an o a medianamente seria para determinar si se trata efectivamente de objetos que sugieren el conocimiento de una nocin geomtrica temprana de los poliedros reo e gulares, ms all de su posible propsito ornamental a a o
INDICE GENERAL
xi
o prctico. Esta es, por lo tanto, probablemente una a de las primeras veces que estos objetos son incluidos en un libro de historia y losof de las matemticas. a a El libro se divide en dos grandes partes cada una constituida de diversos cap tulos. La primera parte est dedicada a la historia que sugiere los inicios de la a teor de la medida, la que se ocupa de las magnitua des, y de las primeras nociones de grupo a partir de las de simetr que, sin duda, surgieron en gran mea dida de las preguntas alrededor de los poliedros. La segunda parte est dedicada a las primeras nociones a que dieran origen a conceptos del anlisis real, como a el de curvatura o dimensin, y a las nociones que dieo ran origen a la topolog como el de continuidad y a propiedades no cuantitativas. La manera en que se estudian y entrelazan estos conceptos con los trabajos e ideas originales de los primeros autores, desde Euclides hasta Saccheri y Hilbert o de Aristteles a o Francisco Surez, constituyen desde mi punto de vista a una inovacin y probable aportacin. o o Ms que encontrar, intento colocar en el centro a del desarrollo matemtico, como motivaci y gu a on a, a los poliedros regulares que utilizo para contar una historia que espero el lector encuentre tan apasionante como tan apasionante me ha sido escribirla. Y la historia no es otra que la que me ha capturado, la del surgimiento del concepto de espacio como objeto de
xii
INDICE GENERAL
estudio (y lo que contiene en el sentido geomtrico) y e sus propiedades, como el de dimensin y continuidad o (real o aparente). Intencionalmente he entonces evitado realizar un estudio exhaustivo y descriptivo de objetos matemticos o reas en particular sino sirven a a para entender la historia o son relevantes para contar la historia. Por ejemplo, este no es un libro en el que pueda encontrarse la lista de los nombres de los slio dos arquimedianos, sino acerca de las razones por las que slo puede haber 13. Tampoco abarco el lado algeo braico o ms profundamente topolgico ms all de su a o a a uso utilitario sujeto a la historia, ya que la topolog a no es parte central de esa historia sino sobre todo el resultado de ella (y un campo vivo de la matemtica a actual). No puedo sino recomendar al lector un libro de topolog o de divulgacin de la topolog como el a o a de Javier Bracho, ya citado anteriormente[12]. Hctor Zenil e Biblioteca Mazar n Par Francia, 2011 s,
Agradecimientos
Quiero agradecer primero a Carlos Alvarez de la Facultad de Ciencias de la UNAM, de quien en el curso y transcurso de dos seminarios de hermenutica e
INDICE GENERAL
xiii
de las matemticas nos gui y ense a hacer hera o no menutica y a leer los textos de Euclides, Saccheri, e Legendre y Hilbert. Agradezco a Ana Mar Snchez de la Direccin a a o General de la Divulgacin de la Ciencia (DGDC) de o la UNAM, y a quien descargo de toda culpa en cuanto a posibles errores de redacin y ortograf contenidos o a en este texto, la lectura de una versin preliminar del o texto y sus valiosos comentarios. A Julie Clements, Sue Moss y al profesor Andrew Sherratt del departamento de antigedades y publiu caciones del Museo Ashmolean de Oxford y a Alison Sheridan del Departamento de Arqueolog de los mua seos nacionales de Escocia. No puedo dejar de agradecer a otros profesores cuya pasin me dio el impulso y conocimiento para o escribir este libro y continuar mi paso por las matemticas y la lgica. Se trata de Max Neumann, a o Javier Bracho y Axel Barcel, entre otros, de quieo nes aprend geometr anal a tica, topolog y losof a a de las matemticas en la Facultad de Ciencias de la a UNAM. Y a los profesores Jacques Dubucs, Philippe de Rouilhan, Gabriel Sandu y Jean Mosconi del IHPST de la Universidad de Par 1. s
Parte I
Hacia el concepto de medida y grupo
Cap tulo 2
Nociones primeras
2.1. Figuras ancestrales
Los restos arqueolgicos ms antiguos que se o a conocen, en los que aparecen diferentes guras poliedrales[28] al mismo tiempo, son unas piedras talladas del neol tico (de alrededor del ao 2000 a.C.) n encontradas en Escocia (vase la Figura 1.2). e Estos objetos de naturaleza poliedral son los primeros objetos encontrados de su tipo hechos por el hombre. Algunos creen que estas piedras provienen de la cultura Celta tard pero no se ha logrado un a, consenso general. El origen ms aceptado es el ubicaa do en la fecha alrededor del 2000 a.C. o entre la edad de piedra tard y la edad de bronce, debido a que a 1
ITULO 2. NOCIONES PRIMERAS CAP
se han encontrado siempre directamente relacionados con asentamientos escoceses de dicha poca. Tambin e e se conservan un par de dados icosadricos de la poca e e de la dinast de Tolomeo en el Museo Britnico de a a Londres. Parece que este tipo de guras geomtricas e ya ten una utilidad ldica como ocurre en la acan u tualidad. Pensemos por ejemplo en los dados que se utilizan en los juegos populares de mesa; el dado del Scatergories es un icosaedro y en los juegos de rol se utilizan todo tipo de poliedros regulares. Un poliedro es un cuerpo slido limitado por una o supercie que consta de un nmero nito de pol u gonos a los que se les denomina caras del poliedro. Si las caras de un poliedro son pol gonos regulares y en cada vrtice concurren un mismo nmero de ellas, se dice e u que el poliedro es regular, por ejemplo, en el tetraedro concurren tres tringulos iguales en cada vrtice y en a e el hexaedro o cubo concurren tres cuadrados en cada vrtice. e Lo que hace especial a los poliedros regulares, es que despus de la esfera a la que sin importar desde e dnde se le vea se ve siempre igual (excepto por su o tamao, y sin considerar color, textura, etc.), los pon liedros son objetos que, en los mismos trminos, bajo e transformaciones geomtricas preservan su forma. En e otras palabras, se ven igual como si transformacin o alguna hubiera ocurrido.
2.1. FIGURAS ANCESTRALES
Figura 2.1: Poliedros regulares o slidos platnicos o o Aunque la Figura 1.2 muestra objetos que parecen tener cierta anidad a los poliedros regulares, no hay evidencia concluyente acerca de si los autores de dichos objetos los conocieran, por las siguientes razones: 1. La forma de las piedras no es concluyente. Algunas de ellas parecen ser claramente construcciones poliedrales esfricas ya que los bordes de las e mismas no son rectos sino ms bien curvos. Sin a embargo, la curvatura podr deberse a la resa triccin debido a la posible falta de herramieno tas adecuadas para construir bordes ms nos y a delineados. Aquel que pudiera parecer un cubo en el museum Ashmolean, ms bien tiene ocho a protuberancias (en la bibliograf aparecen rea feridos como nudos) divididos por surcos que no coinciden con el nmero de lados de un cuadrau do. Sin embargo, la forma de la piedra tiene cierto parecido a un cuadrado. Las piedras que pretenden parecer un tetraedro son an ms irreu a gulares, tienen lo que pudieran parecer cuatro caras pero en realidad son c rculos y no pol go-
ITULO 2. NOCIONES PRIMERAS CAP nos planos, debido a ello quedan huecos entre los espacios de dichos c rculos que fueron rellenados con otras protuberancias ms pequeas. a n El pretendido tetraedro tiene ocho protuberancias circulares, cuatro de ellas grandes y otras cuatro ms pequeas entre las otras cuatro. Proa n bablemente la piedra ms polmica pudiera ser a e la que representa al dodecaedro entre las diveras piedras encontradas, ya que sus caras son mucho ms nas que las anteriores, son claraa mente pentgonos, la conciencia al esculpir esa ta piedra debi ser muy clara, su construccin o o no es trivial ya que los pentgonos muestran a cierta regularidad en tamao y en su nmero n u total (doce). Los surcos delinean perfectamente todos los pentgonos. De hecho esta piedra a es ms bien un poliedro esfrico que tiene las a e propiedades evidentes de un dodecaedro. La siguiente piedra es tan irregular como el tetraedro, es el que representa al icosaedro, pero sus caras en lugar de ser tringulos equilteros son a a tambin c e rculos, todos ellos del mismo tamao. n El nmero de c u rculos no es el nmero de lados u de un icosaedro, pero si se unen los centros de los c rculos se obtienen guras triangulares que en nmero suman veinte. Veinte es el nmero de u u tringulos de un icosaedro. Por ultimo, la piea dra que parece o pretende ser un octaedro tiene
las mismas irregularidades que el tetraedro y el icosaedro ya que se forma por grandes protuberancias curvas y no por lados poligonales. En suma, el unico que parece ser intencionalmente un dodecaedro es una de las piedras en el museo Ashmolean en Oxford, el resto no lo parecen si no se les coloca una cinta que vayan del centro de las protuberancias al centro de las protuberancias adyacentes. Los listones colocados en las piedras de la imagen fueron colocadas recientemente con la intencin de hacer notar ciero ta identicacin con los poliedros regulares. Sin o embargo, es claro que aunque la construccin o del dodecaedro haya sido intencional, el conocimiento de los poliedros regulares sugiere el conocimiento de hechos mucho ms trascendentes a que el conocimiento de un solo poliedro regular. El conocimiento de la existencia de los poliedros regulares o slidos platnicos trae consigo o o adjunto el conocimiento de la existencia y unicidad de los mismos, incluso probablemente la relacin de unos con otros y la metodolog para o a reproducirlos sistemticamente. a 2. Las piedras son una muestra de cientos de piedras encontradas en lugares cercanos con todo tipo de formas geomtricas y nmero de proe u tuberancias colocadas simtricamente. La selece cin y orden de las piedras presentadas en el o
ITULO 2. NOCIONES PRIMERAS CAP que se exhiben es intencional ya que no ten an ningn orden en particular cuando fueron desu cubiertas. De las 411 piedras 275 contienen seis estructuras circulares o nudos como algunos le llaman. Esta gura pudo haber sido la ms fcil a a de esculpir debido a que el autor ten que preoa cuparse slo por generar puras caras opuestas, o lo que sin duda indica cierto dominio acerca de la facilidad o complejidad de ciertas guras geomtricas. e
Figura 2.2: Nociones geomtricas del neol e tico. Piedras

esculpidas encontradas en asentamientos con al menos tres mil aos de antigedad. De un total de 411 piedras regisn u tradas en 1977 en el catlogo de Dorothy Marshall que se a encuentran en el museo nacional de Escocia en Edimburgo, en el museo Ashmolean de Oxford, y en otros museos esparcidos en distintos lugares de Inglaterra. Foto H. Zenil, Escocia, 2011.
Estas piedras encontradas en Escocia no indican necesariamente que se conocieran los poliedros regulares como objetos geomtricos con propiedades partie
culares (si consideramos que el conocimiento de estos objetos implica que se tiene la conciencia de que no puede haber otros con las mismas caracter sticas). Sin embargo, s son una prueba de las nociones geomtri e cas de la poca. Sin duda, su grado de sosticacin e o indica cierto dominio del espacio y el sometimiento de las formas a las restricciones del espacio. Los autores de estas piedras no pudieron, por ejemplo, construir una gura con cuatro pentgonos (ni parece que lo a hayan intentado) en cada vrtice, en lugar de tres del e dodecaedro, ya que como veremos ms adelante esa to es claramente imposible, de tal forma que la pura accin combinatoria (por ensayo, error e insistencia) o pudo haberse llegado a las formas que se encontraron. Tambin es cierto que esto debi ser el comienzo e o para que el humano se hiciera consciente del tipo de formas que pod construir, para nalmente derivar a en lo que luego ser el estudio de las magnitudes y a formas posibles, la geometr a. Muchas de estas piedras tienen adornos tallados en sus caras, lo indica claramente que hab una intena cin art o stica en dichos objetos, independientemente de si adems de su motivacin art a o stica hab una a intencin prctica en el uso que se les diera. Debio a do a que tienen surcos, estos objetos pudieron haber servido, por ejemplo, para colocar cuerdas que los sostuvieran y que se usaran como arma de golpe en cacer o como contrapeso para su lanzamiento as
a distancia con algn propsito ldico, de caza o de u o u guerra. Sin embargo, la determinacin de su uso es o meramente especulativa y desconocida debido a que no hay ningn registro ancestral acerca de ellos. Mark u Edmons, autor del art culo Their Use is Wholly Unknown asegura que no es posible saber el uso que se les daba a estos objetos. El hecho de que, por ejemplo, la mayor contengan decoraciones distintas en cada a cara podr sugerir que ten algn signicado de a an u identicacin para personas pertenecientes a un gruo po elitista, familia o clan, como bienes de prestigio o parafernalia. Incluso podr haberse utilizado como an dados en el sentido de que cada cara tuviera alguna representacin simblica utilizada para un juego. Otros o o han sugerido que pod haberse usado como cabezas an de mazos o martillos, incluso como parte de adornos o estructuras ms grandes que representar alguna a an escultura o monumento religioso. Otra interpretacin o dice que pudieron ser mapas o instrucciones para bailes ceremoniales o procesiones, mapas estelares o de cambio de estaciones. Una interpretacin ms sugiere o a que pudieron utilizarse como dispositivos para establecer estndares de unidades de peso. Sin embargo, a una caracter stica importante de la distribucin de las o piedras es que muchas se encontraron cerca de tumbas lo que podr sugerir que eran utilizadas tambin en a e ritos mortuorios indicando cierto rango o posicin soo cial del muerto. Parece no haber muchas dudas acerca
de que jugaban algn papel importante en la estrucu tura social de la cultura que las produjo. Sin embargo, la idea de que estas piedras sugieran el conocimiento de los slidos platnicos en la prehiso o toria, varios siglos antes de que fueran registrados en escritos griegos, parece ser un mito derivado de la imagen. El truco fotogrco (la eleccin y disposicin a o o deliverada de ellos) no sugiere, sin embargo, que los autores de dichas piedras no fueran ajenos a ciertas nociones geomtricas evidentes de simetr y mtrie a e ca fundamentales para el origen y desarrollo, primero de la construccin y luego de la teor matemtica o a a de los poliedros regulares. Esto sobre todo porque la mayor de las piedras tiene marcas de lo que identia camos hoy como los duales de los poliedros, y es que las piedras que resultan poderse identicar con algn u poliedro tienden l neas entre caras y vrtices sugiriene do una posible relacin de dualidad entre algunas de o ellas, lo que sin duda, y aunque no haya sido con el concepto de dualidad en mente, es una clara indicacin de una antipacin de conceptos fundamentales de o o geometr Tambin es notorio que las piedras parecen a. e poliedros esfricos, debido a su forma, esto sin embare go tampoco puede ser una indicacin de la nocin de o o geometr esfrica y del concepto de proyeccin que a e o Legendre y otros desarrollar 2700 a nos ms tarde an a con mucho ms conocimiento (matemtico) acumua a lado y muchas otras herramientas a su alcance, sino
10
probablemente un accidente del tallado, o de una motivacin deliverada pero seguramente ornamental. o
2.2.
Slidos platnicos o o
La primera referencia escrita conocida acerca del surgimiento de la nocin geomtrica de los poliedros o e regulares a travs de su construccin, proviene de la e o cultura griega temprana. En particular del estudio de Pitgoras y Teeteto, en donde describen propiedaa des de dos grupos de poliedros regulares, por un lado Pitgoras estudia el cubo, el tetraedro y el octaedro a mientras que Teeteto el dodecaedro y el icosaedro. Sin embargo, el conocimiento completo de los poliedros regulares, que implica adems el conocimiento acerca a de la imposibilidad de que existan otros no es clara ni en el trabajo de Pitgoras ni el de Teeteto sino hasa ta el de Euclides y sus Elementos[38]. Sin embargo, debido a que Pitgoras y Teeteto son los primeros en a describirlos (y de quienes se preservaron sus trabajos hasta la actualidad) se les atribuye el descubrimiento de estos objetos, al grado de llamrseles Slidos a o platnicos. o Platn[57] (400 a.C.), estimul considerablemeno o te el desarrollo de las matemticas en su academia a de Atenas, ya que la consideraba una ciencia y arte, cuyo estudio era imprescindible para la formacin de o
2.2. SOLIDOS PLATONICOS
11
individuos en su dialctica y enseanza losca. La e n o concepcin de Platn acerca de las matemticas coloo o a caba a stas como intermediarias entre el mundo de e las ideas y el de las cosas. As para l, y los que se e suscrib a sus creencias, esta disciplina no slo juan o gaba un papel fundamental en el conocimiento, sino que era considerado el unico puente entre las ideas puras e inmutables y el mundo f sico, imperfecto y cambiante. A la entrada de la academia de Platn se le Que o a nadie entre aqu que no sepa geometr a. La disciplina impuesta por Platn en su academia exig a sus o a disc pulos estudiar exclusivamente matemticas dua rante diez aos antes de acceder a su losof Su n a. academia contribuy a la divulgacin de resultados o o matemticos y dio impulso a la motivacin de maa o tematizar los fenmenos naturales: es el saber mao temtico el que concede carcter cient a a co a todas las artes, Platn. Pero, por otra parte, su ideal de cieno cia matemtica y razonamiento puro no permit ni a a justicaba el uso de las matemticas para medir o ser a aplicada en problemas prcticos. La regla y el comps a a fueron santicados como unicos medios auxiliares de construccin matemtica, en correspondencia con o a el ideal de recta y c rculo como perfeccin de lo recto o y lo curvo. As el estudio de las curvas cnicas y otras o curvas algebraicas y trascendentes fue menospreciado por considerrseles vulgarizaciones de los objetos a
12
matemticos perfectos. a En el estudio de los objetos ideales y perfectos Platn encontr cinco poliedros regulares que meno o ciona en su obra Timeo, obra que trata acerca de la formacin del Alma o Cuerpo del Mundo, una o extraa combinacin de losof teolog y numeron o a, a log cuyo objeto era el anlisis del origen del univera, a so, del hombre y de la sociedad. Para Platn, en el o Timeo, la construccin y el desarrollo del cosmos se o efecta segn una progresin geomtrica. A los cinu u o e co poliedros regulares se les llama slidos platnicos o o porque Platn en uno de sus dilogos ms signicao a a tivos: el Timeo, en el que se explica la construccin o del universo, establece una asociacin entre ellos y los o elementos fundamentales de los que ste est come a puesto, que segn sosten los griegos estaba hecho u an con tomos de agua, aire, tierra y fuego. a
Figura 2.3: Los cinco slidos platnicos: tetraedro, heo o

xaedro, octaedro, dodecaedro e icosaedro. Por Johannes Kepler.
2.2. SOLIDOS PLATONICOS
13
Platn hace de los tringulos una gura fundao a mental, mostrando que todas las caras de los slidos o platnicos se pueden descomponer en tringulos. o a Por ejemplo, el dodecaedro est formado por 360 a tringulos rectngulos que se obtienen al trazar a a en cada pentgono (vase Figura 2.2) las cinco a e diagonales y las cinco medianas (las medianas son rectas que forman ngulos rectos y pasan por los a puntos medios de los lados de la gura), de manera que cada una de las doce caras queda descompuesta en 30 tringulos rectngulos. a a Acerca de la importancia de los tringulos para a Platn (en el Timeo): o El dios, al idear una mezcla de todas las simientes para todo el gnero more tal, seleccion de todos los elementos los o tringulos primordiales que por ser rmes a y lisos eran capaces de proporcionar con la mxima exactitud fuego, agua, aire y a tierra, los mezcl en cantidades proporcioo nales y confeccin con ellos la mdula. o o e Pueden leerse, en el texto original de Platn (de o su obra Timeo), los argumentos: . . . porque cuando se disuelven los mayores de aquellos que por naturaleza
14
ITULO 2. NOCIONES PRIMERAS CAP estn constituidos por un tipo de tringua a lo, se componen muchos pequeos a parn tir de ellos, que adoptan las guras correspondientes y, a su vez, cuando muchos pequeos se dividieran en tringulos, al surn a gir una cantidad de volumen unico, podr a dar lugar a otra forma grande. sta es, e pues, nuestra teor acerca de la gnesis de a e unos en otros. A continuacin deber o amos decir de qu manera se origin la gura e o de cada uno de los elementos y a partir de la unin de cuntos tringulos. En primer o a a lugar, tratar la gura primera y ms pee a quea cuyo elemento es el tringulo que n a tiene una hipotenusa de una extensin del o doble del lado menor. Cuando se unen dos de stos por la hipotenusa y esto sucede e tres veces, de modo que las hipotenusas y los catetos menores se orienten hacia un mismo punto como centro, se genera un tringulo equiltero de los seis. La unin a a o de cuatro tringulos equilteros segn tres a a u a ngulos planos genera un ngulo slido, el a o siguiente del ms obtuso de los ngulos a a llanos. Cuatro ngulos de stos generan a e la primera gura slida, que divide toda o la supercie de la esfera en partes iguales y semejantes. El segundo elemento se
2.2. SOLIDOS PLATONICOS compone de los mismos tringulos cuana do se unen ocho tringulos equilteros y a a se construye un ngulo slido a partir de a o cuatro ngulos planos. Cuando se han gea nerado seis de tales ngulos, se completa a as el segundo cuerpo. El tercer cuerpo na ce de ciento veinte elementos ensamblados y doce ngulos slidos, cada uno rodeaa o do de cinco tringulos equilteros planos a a y con veinte tringulos equilteros por baa a se. La funcin de uno de los tringulos eleo a mentales se complet cuando gener estos o o elementos; el tringulo issceles, por otra a o parte, dio nacimiento al cuarto elemento, por composicin de cuatro tringulos y o a reunin de sus ngulos rectos en el centro o a para formar un cuadriltero equiltero. La a a reunin de seis guras semejantes produo jo ocho ngulos slidos, cada uno de ellos a o compuesto segn tres ngulos planos recu a tos. La gura del cuerpo creado fue cbica u con seis caras de cuadrilteros equilteros. a a Puesto que todav hab una quinta coma a posicin, el dios la utiliz para el universo o o cuando lo pint. o La importancia del tringulo as coa mo la del ngulo recto, en particular paa ra establecer las relaciones de congruencia
15
16
ITULO 2. NOCIONES PRIMERAS CAP (los tres teoremas de congruencia de los Elementos[38]), no es slo evidente en la o geometr de Euclides, sino como sabemos a ahora, lo que la determina.
Cap tulo 3
Los tres ultimos libros de los Elementos

La obra que Euclides parece haber compilado por el ao 300 a.C. muy probablemente en la biblioteca de n Alexandria, es el libro que marca el punto de partida del desarrollo de las matemticas modernas siguiena do el mtodo axiomtico y deductivo en gran medida e a utilizado hasta el d de hoy. Los Elementos contiea nen gran parte del conocimiento matemtico que una a persona aprender en su vida escolar antes de la edua cacin preparatoria o media superior, y su contenido o 17
18
ITULO 3. LOS ELEMENTOS CAP
(no necesariamente los detalles) estn tan vigentes en a las bases de las matemticas, como siempre lo han esa tado. Los Elementos es, sin duda, uno de los pilares sobre los que se sostiene la ciencia moderna. Es una obra tan rica y profunda que an hoy contina siendo u u objeto de estudio (por ejemplo, en este libro), de interpretacin histrica y matemtica. Puede pensarse o o a en esta magn ca obra como un compendio magistral del conocimiento hasta la poca de Euclides, donde e su aportacin ms importante no fue slo servir como o a o puente de conocimiento, sino como origen del surgimiento de las matemticas entendidas como una ciena cia de deduccin lgica: la ciencia de la demostracin, o o o como mximo reto racional. a
Figura 3.1: La nueva biblioteca de Alejandr Egipto a,

(ubicada cerca o en el mismo lugar que la antigua). Foto H. Zenil, 2010.
19 La obra compilada de Euclides, acerca del estado de las matemticas griegas probablemente datando a del ao 600 a.C., nos ha llegado por diversas fuentes, n una es la original en griego (y consecutivas versiones en lat del que por un tiempo se desconoc su exisn) a tencia y por lo que muchas ediciones se basaron en fuentes de traducciones hechas por escritores islmia cos. La obra se cree completa (debido a que todas las fuentes contienen ms o menos los mismos cap a tulos excepto por claras adiciones externas) y se divide en trece libros, debe pensarse en cada libro como un cap tulo de un libro unico (aunque no independiente). Sin embargo, era comn en la antigedad llamarle liu u bro a la divisin seccional de una obra. Los Elementos o estn claramente divididos en tres partes, aunque la a siguiente divisin es realmente burda se puede decir o que la primera, del libro I al VI trata de la geometr a plana y la teor de proporciones, la segunda parte, a del libro VII al IX es la base de lo que conocemos como la teor de nmeros, y por ultimo, del libro X al a u XIII acerca de la teor de los poliedros. Esta presena tacin de la obra de Euclides es tan poco afortunada o como decir que los libros III y IV tratan de la geometr del c a rculo, cuando efectivamente aunque tratan de ste hay que hacer una lectura cuidadosa para e detectar las motivaciones profundas que le servirn a a Euclides para la consecucin de sus ideas y objetivos o y cmo stas van tomando forma y construyndose o e e
20
hasta la culminacin de una magn o ca obra. El libro III y IV tratan ms que del c a rculo, del ngulo recto y a de cmo la geometr del c o a rculo depende y se cumple por dependencia del quinto postulado. El personaje principal en los libros III y IV sigue siendo el ngulo a recto, enamorado de su c rculo. Ocupa, con particular inters, a este texto el contee nido de los libros XI al XIII, en donde Euclides trata del tema que nos concierne, la geometr del espaa cio, o mejor dicho, pues veremos ms adelante que a el trmino espacio merece un cuidado especial, de la e geometr de los slidos o los cuerpos slidos. a o o Como toda seccin de los libros de Euclides, el lio bro XI comienza con una serie de deniciones en donde la primera dice: Un slido es lo que tiene longitud, o anchura y profundidad. Es interesante analizar las expresiones y formas que Euclides decide utilizar para su primera denicin, que abre sta, sin duda alguna, la puerta hacia o e la geometr de los cuerpos en nuestro espacio de 3 dia mensiones. Aristteles en su obra Metaf o sica dice: lo continuo en una direccin es longitud, en dos direco ciones anchura y en tres profundidad longitud es una l nea, anchura una supercie, profundidad un cuerpo. Es clara entonces que la sospecha acerca de la posible inuencia de Aristteles sobre Euclides podr o a
21 estar bien fundada. Por otro lado Platn, maestro de o Aristteles, en su obra Sosta habla de producir una o imitacin teniendo en cuenta las proporciones del moo delo en largo, ancho y profundo; y en su obra Leyes coloca entre los tres mathemata el arte de medir longitud, profundidad y anchura. En la estructura lgica o que siguen las demostraciones, Euclides podr haber a sido tambin inuenciado por la Teor de los Siloe a gismos de Aristteles. Ser muy dif poder arguo a cil mentar con seguridad que hubiera podido presentarse un escenario en el que Euclides no se viera directa o indirectamente inuenciado por la escuela Platnica o o aristotlica, en tanto la obra de stos era conocie e da en los c rculos acadmicos e intelectuales y, como e sabemos hoy, tuvo una gran relevancia en la dialctie ca griega y el conocimiento en general, origen de lo que llamamos hoy cultura occidental. Sin embargo, esto no parece claro en el uso que Euclides hace del recurso de la reduccin al absurdo en sus demostrao ciones, que consiste en suponer lo contrario de lo que se quiere demostrar para llegar a una contradiccin. o Este recurso adems, es el que se ha utilizado como a herramienta poderosa de demostracin durante el reso to de la historia de las matemticas hasta la actualia dad, un importante nmero de teoremas en todas las u a reas de la matemtica utilizan este invaluable recura so, incluso en ocasiones parece no haber demostracin o alternativa, haciendo de este recurso el unico posible
22
para mostrar la verdad de una proposicin. Recurso o adems que ha sido criticado por la corriente intuia cionista, pues su argumento en contra de l es que e se fundamenta en el principio del tercero excluido, es decir, si no es lo uno es lo otro pero supone que no hay otra tercera posibilidad que no sea ni lo uno ni lo otro (los intuicionistas no aceptan la tautolog lgica a o de que dos negaciones es la armacin, al menos no o para todos los casos). Los ultimos tres libros XI, XII y XIII son los de dicados a la geometr del espacio o magnitud (volua men) de los cuerpos (poliedros). Sin embargo, llama poderosamente la atencin que Euclides no menciona o la palabra espacio en ninguno de sus trece libros de los Elementos. Euclides se reere siempre a cuerpos o slidos y, sin mayor duda o cuestionamiento, deo termina la dimensionalidad obvindola mediante proa piedades que hoy sabemos son heredadas de la dimensionalidad del espacio, por ejemplo, al establecer la incidencia de dos planos en una recta y, de manera ms a evidente en deniciones como la primera del libro XI que ya fue mencionada anteriormente, o proposiciones como la quinta del mismo libro o presente en donde se usa el concepto de ortogonalidad (perpendicularidad en modo generalizado) en deniciones y proposiciones ya que de otra forma el comportamiento de la relacin de perpendicularidad, as como su unicidad, por o ejemplo con respecto a un plano, ser distinta. Por a
3.1. LA CONSTRUCCION MATEMATICA
23
supuesto, el hecho de que no se encuentre la palabra espacio en los Elementos no se debe a que sta no e existiera como parte del antiguo vocabulario griego o que haya sido un descuido involuntario cometido por Euclides. Este hecho es, por supuesto, un ejemplo de la hermenutica en el que pueden analizarse e las razones por las cuales Euclides omiti, pensemos o que probablemente de manera intencional, la palabra espacio en toda su obra, cuando es evidente que el objetivo del libro son las magnitudes de los cuerpos en el espacio (volumen), es decir, la geometr del esa pacio! (en el sentido euclidiano por supuesto).
3.1.
La construccin matemtio a ca
En los libros XI y XII Euclides expone la forma de construir y relacionar objetos que le permitirn caa racterizar los elementos necesarios para la construccin de los slidos que le interesan. Durante el desao o rrollo de estos dos primeros libros Euclides expone tangencialmente el mtodo por exhaucin que segn e o u Arqu medes[37] habr sido descubierto por Eudoxo, a tambin dene y trabaja con los ngulos slidos, que e a o son regiones formadas por tres o ms planos, as como a algunos conceptos fundamentales como el de equidescomposicin de cuerpos slidos, en particular prismas o o
24
y pirmides para denir un tipo de congruencia entre a magnitudes de slidos, congruencia adems que Euo a clides percibe como una no generalizacin de lo que o pod denir como congruencia en el plano, lo que a probablemente le impida hablar de la esfera, el gran personaje ausente en la obra de Euclides, pues no es una mera generalizacin directa del c o rculo o de lo que cumple y debe cumplir la geometr plana. La a geometr de la esfera ser mucho tiempo despus a a e estudiada por personajes importantes como Teodosio y Clavio. Parece claro en dnde pudo atorarse Euo clides en su concepcin de la esfera como mera geo neralizacin de sus resultados anteriores. Considreo e se, por ejemplo, que en la geometr del c a rculo dada una cuerda (una cuerda es la l nea trazada de cualquier punto a cualquier otro de la circunferencia, si la cuerda pasa por el centro entonces es tambin el e dimetro) y dado el ngulo y direccin que subtiende a a o la cuerda se determina uno y slo un c o rculo tenga como cuerda la dada y como ngulo interior (es dea cir, que el vrtice del ngulo toca la circunferencia) e a el dado hay un c rculo (y adems unico) que cumple a (esto es equivalente a decir, como en los cursos de geometr anal a tica, que tres puntos determinan una circunferencia, recurdese la ecuacin de una circunfee o rencia x2 + y 2 = r2 , as que una vez conocida la terna (x,y,r), es decir, las coordenadas del centro (x, y) y el radio r, la circunferencia queda determinada). Por
3.1. LA CONSTRUCCION MATEMATICA
25
supuesto, dada sola la cuerda no determina un solo c rculo sino una innidad (todas las circunferencias coaxiales, es decir, todas ellas que tienen como cuerda comn la dada). De la misma forma, dado solo un u a ngulo es posible construir una innidad de circunferencias, basta elegir un punto arbitrario sobre uno de los lados del ngulo y hacer pasar tantas circuna ferencias como se quiera que pase por dicho punto y por el vrtice del ngulo. En principio, estos resultae a dos de los libros III y IV de los Elementos de Euclides parecieran estar ajenos al ngulo recto, es decir, al a quinto postulado y todo lo que de l se deduce. Sin e embargo, es fcil ver por qu toda la geometr eua e a clidiana del c rculo depende tambin del ngulo recto e a ya que de en l se fundamentan sus propiedades cae racter sticas. Por ejemplo, sabemos que todo ngulo a con vrtice en la circunferencia y que subtiende una e misma cuerda es igual a cualquier otro que tenga como vrtice cualquier otro punto de la circunferencia e y que subtienda la misma cuerda. Esto se debe a la relacin que guardan estos ngulos con aquellos con o a vrtice en el centro y que subtienden la misma cuerda. e Sabemos, por supuesto, que aquel ngulo con vrtice a e en la circunferencia es la mitad de aquel que subtiende la misma cuerda pero con vrtice en el centro. Por e lo tanto, si cualquiera es otro es la mitad del aquel en el centro, entonces tienen que ser iguales entre s . Para probar todo ello se requiere del ngulo recto, ya a
26
que la suma de cualquier ngulo con vrtice en la cira e cunferencia ms su ngulo suplementario, es decir, el a a que se encuentra del otro lado de la cuerda, deben sumar cuatro rectos, es decir, 360 grados, y ello depende de que la suma de los ngulos de cada tringulo a a de los dos tringulos en que se descompone cualquier a cuadriltero es dos rectos o 180 grados. A este tipo de a cuadriltero cuyos vrtices pasan por una circunferena e cia se le conoce como cuadriltero c a clico. Pero todo ello, depende, nuevamente, del ngulo recto, pues el a hecho de que la suma de los ngulos interiores de un a tringulo sea dos rectos o 180 grados es consecuena cia del ngulo recto. As de todo ello, Euclides pudo a , preguntarse si de la esfera pod decirse lo mismo, a por ejemplo, si dada una regin esfrica y el ngulo o e a slido que la subtiende quedar determinada la esfeo a ra. Qu implica considerar una regin esfrica? Que e o e la geometr euclidiana sobre esa regin pierde todo a o sentido en tanto el invariante del ngulo recto es ima posible en ella, de alguna forma esto parece ser lo sucientemente problemtico para su geometr y lo a a, es, como para siquiera considerarlo. Habr alguna a relacin entre los ngulos slidos dentro de la esfera? o a o Tampoco parece poderse dar una respuesta fcil, al a menos no una que sea una mera generalizacin direco ta de lo que sucede con el c rculo. Mucho del problema proviene precisamente de la supercie de la esfera, aquello curvo que choca, y con toda razn, con la o
3.2. EL LIBRO TRECE DE EUCLIDES
27
concepcin de la geometr euclidiana, de las l o a neas rectas y del angulo recto (ntese que la denominacin o o de recto tanto en las l neas rectas como en los ngua los rectos tiene una misma connotacin y signicado, o se conciben rectas y rectos en el plano, por eso una l nea recta sobre la esfera, que en realidad sea curva, est fuera de cualquier consideracin, de ah por a o , ejemplo, que Saccheri en su contradiccin al nal de o su libro[62] llamara curiosamente a esas l neas rectas (pero curvas), objetos que van en contra de la naturaleza de la l nea recta cuando las analiza dentro de la hiptesis del ngulo agudo que, segn l, lo o a u e llev a la contradiccin que esperaba. o o
3.2.
El libro trece de Euclides
El libro XIII de Euclides trata, sin lugar a dudas de un tema evidente, la geometr del espacio. Algua nos creen que la estructura lgica de las demostracioo nes en el libro XIII dieren cualitativamente a las del resto de los libros ya que hace uso de un recurso hoy denominado mtodo anal e tico, este mtodo consiste e en suponer que el problema est resuelto para entona ces identicar las condiciones necesarias que se presentaron para que as fuera. Este recurso es explotado tambin en obras de Platn y Aristteles (La Repblie o o u ca de Platn o los Textos Pol o ticos de Aristteles) y o
28
ampliamente estudiado por Pappus, pero ausente por completo de los libros anteriores de Euclides (del I al XII). El mtodo anal e tico es la base y fundamento de la geometr anal a tica de Descartes y de gran parte del desarrollo moderno de las matemticas con el uso a de una tcnica tan poderosa que le otorga el formalise mo necesario, el lgebra. Pinsese en la traduccin de a e o un problema geomtrico en una ecuacin, la ecuacin e o o en s misma representa la suposicin de que se cumple o una relacin para luego encontrar qu valores la satiso e facen y entonces resolver el problema. Segn Pappus u el mtodo anal e tico puede identicarse por dos acciones que la componen y caracterizan, el anlisis y la a s ntesis, en el anlisis se parte del supuesto de que el a problema est resuelto para luego encontrar lo necea sario, luego en la s ntesis se escribe el anlisis pero a invertido, de tal forma que entonces la solucin del o problema queda en el orden secuencial correcto, de los datos y relaciones conocidas a la solucin nal (que o hab sido supuesta cierta en el inicio del anlisis). a a Esto no siempre es claro cuando se utiliza el mtoe do anal tico, pero nalmente puede reducirse a este procedimiento por lo que en esencia, efectivamente, el mtodo anal e tico puede ser siempre bien identicado a la manera de Pappus. La diferencia sustancial entre los 12 libros anteriores de Euclides con el decimotercero es que en los primeros Euclides expone, generalmente, una demostracin constructiva sin mao
29
nifestar nunca cmo fue sta deducida. Es muy distino e to encontrar la verdad que recorrerla. Una demostracin es para Euclides y para el lector en general una o secuencia, de hechos previamente demostrados o establecidos, con los sucientes argumentos para que sea verdadera, sin embargo, nunca se expone el camino por la cual se llega a sta, lo cual trae consigo un proe blema, determinar si la demostracin constructiva no o somete o impone la verdad de una proposicin. Es deo cir, no es posible asegurar que dicha construccin que o pertenece al bagaje argumentativo de la demostracin es unica, o si no es unica, que es efectivamente o equivalente a cualquier otra de tal forma que cualquiera tenga como resultado la misma verdad y no una distinta, y adems, podr sugerir que no existen a a otros caminos para encontrarla. Este problema es claro cuando parte de los argumentos demostrativos se introducen elementos geomtricos que podr estar e an sometiendo la verdad de una proposicin ms geneo a ral que la instancia determinada por el diagrama o dibujo. En un anlisis profundo de cada proposicin a o de Euclides se pueden explorar los caminos que seguramente Euclides consider para encontrar el que le o permitiera asegurar la verdad de una proposicin y o las razones por las cuales no eligi otro camino o por o qu preri uno sobre otro. Sin embargo, el libro XIII e o es en esencia distinto en este sentido, aunque no muy evidente en una lectura supercial, pues la forma de
30
exponer una demostracin es suponiendo su verdad o para luego buscar las condiciones que la hacen verdadera, con ello se expone no slo la verdad de una o proposicin sino el camino para llegar a ella. Es decir, o en la misma demostracin se exponen los argumentos o de la verdad as como el camino para llegar a ella. En este sentido las demostraciones del libro XIII contienen doble informacin. o El inicio del libro XIII contiene curiosas particularidades, en principio Euclides parece regresarnos a la geometr plana cuando nos presenta las primeras a siete proposiciones en donde expone la manera de, por medio de la proporcin extrema y media (conoo cida tambin como proporcin urea), triplicar, cuae o a druplicar, y quintuplicar directamente el rea de un a cuadrado. En principio esto pareciera no tener relacin alguna con el desarrollo del estudio y exposicin o o para la construccin de los slidos que le interesan (los o o poliedros regulares o slidos platnicos), sin embargo o o basta releer con atencin y continuar con la lectuo ra para percatarse de la peculiaridad de los nmeros u 3, 4 y 5 (triplicar, cuadruplicar, y quintuplicar) que son, por si acaso el lector no se hab percatado, el a nmero de lados del tringulo, del cuadrado y del u a pentgono, es decir, exactamente los pol a gonos que componen, de los cuales estn hechos, los unicos cina co slidos platnicos o poliedros regulares que pueden o o construirse. En la proposicin ocho demuestra que en o
31
un pentgono dos l a neas rectas trazadas desde vrtices e consecutivos (dejando un vrtice en medio) se cortan e una a la otra en proporcin extrema y media (urea) o a y que los segmentos mayores son iguales al lado del pentgono. Luego algunas otras propiedades referena tes al mismo pentgono. a
Luego comienza a construir los poliedros regulares, comienza por la que l llama pirmide (tetraedro e a pues pirmide puede confundirse con la gura cuya a base es un cuadrado y el resto de sus lados tringulos a equilteros, sin embargo ste no es un poliedro regua e lar), omite el cubo pensando en que su construccin es o obvia pues es el unico cuyos ngulos en las aristas son a rectos (una arista es la unin de dos caras o lados y o forman un ngulo que se conoce como ngulo diedro), a a adems es un caso particular de todos los paralep a pedos que construy previamente (un paralep o pedo es un slido formado por planos paralelos opuestos dos o a dos). De hecho en el cubo todos los ngulos involua crados son rectos y es el unico poliedro regular que es a su vez un prisma, los prismas fueron explorados por Euclides al principio de su exploracin de los cuerpos o slidos. Luego contina con el octaedro para seguir o u con aquellos que parecen un tanto ms complicados a de construirse. El siguiente a construir es el icosaedro, el de 20 caras, para terminar con el de 12, el dodecaedro.
32
Figura 3.2: Los Elementos de Euclides (EuclidisElementorum libri XV), Hieronymum de Marnef & Guillaume Cavelat, Par 1573. Catalogado por Thomass, Stanford, Early Editions of Euclids Elements, n. 32. Edicin mencionada en la traduccin de Heath. Coleccin pero o o sonal de H. Zenil.
3.3.
El orden importa
Podr obviarse un hecho que en principio pudiera a parecer trivial, el orden en que Euclides construye los poliedros regulares. Sin duda el orden que elige es el que cualquiera hubiera elegido teniendo en cuenta el nmero de caras, de menor a mayor nmero, a excepu u cin de los ultimos dos, cuya construccin, siguiendo o o un probable orden por su nmero de caras, lo hace u en el orden inverso. Parece obvio que el orden que elige Euclides para construir los poliedros se basa en la complejidad de cada uno, entendida como la cantidad de caras, aristas y vrtices, un hecho no poco relevane
3.3. EL ORDEN IMPORTA
33
te en el sentido de que Euclides ten bien presente un a orden ms topolgico que geomtrico. Por supuesto no a o e estoy sugiriendo que Euclides tuviera ya algn atisbo u de topolog sino que este orden ms topolgico fue a, a o obviado por Euclides como lo hubiera obviado cualquiera de nosotros sin un anlisis de la relacin entre a o el nmero de caras, aristas y vrtices. Al contrario, pau e rece haber tenido, sin duda alguna, mucho ms peso a un orden geomtrico en sus construcciones. Es decir, e empieza con la construccin de los poliedros regulares o cuya cara es un tringulo, luego como segundo criterio a de orden los construye por el nmero de tringulos de u a cada uno, iniciando por el tetraedro que tiene cuatro, luego por el octaedro de ocho y una vez terminado el octaedro opta por construir el icosaedro que contiene 20 tringulos en lugar del dodecaedro que contiene a 12 pentgonos. Ser interesante saber dnde hubiera a a o colocado Euclides al cubo e hexaedro, considerando que est formado por cuadrados y que ocupa seis de a stos. Parecen haber tres opciones, siguiendo el proe bable orden elegido por Euclides. Pudo haber elegido al cubo como el primer poliedro regular a construir en tanto su complejidad, como ya sealamos, parece n ser trivial, ms an despus de haber construido vaa u e rios paralep pedos (un cubo es tambin un paralep e pedo cuyos ngulos entre todos los planos son rectos), a sin embargo, sin considerar este hecho pudo haberlo colocado al principio por la facilidad de construirlo,
34
pudo haberlo colocado antes del dodecaedro pensando en que no est formado por tringulos como los a a primeros tres slidos y por tanto dejarlo al nal peo ro antes del dodecaedro cuyos lados son pentgonos. a Es decir, Euclides parece haber utilizado dos criterios de orden. El primer criterio parece ser topolgico en o el sentido de menor a mayor complejidad, por tanto es el tetraedro el elegido, luego aplica otro criterio que en caso de conicto prevalece, es decir, luego del tetraedro pudo haber venido el hexaedro o cubo como debi haber construido el dodecaedro antes del o icosaedro pero decidi continuar aplicando un criteo rio ms bien geomtrico, el hecho de que el octaedro a e tambin est formado por tringulos. Esto, aunque e a a pudiera parecer ocioso, nos dice que Euclides, aunque pudo haber deducido de su propia geometr propiea, dades que ahora llamar amos topolgicas, no ten los o a elementos para hacerlo en tanto sus preocupaciones e intereses se ocupaban de las propiedades geomtricas. e An as es interesante el hecho de que dentro de sus u criterios geomtricos pudo haber habido algunas cone sideraciones topolgicas que obvi y que muestran la o o forma en que ubic su atencin y dirigi sus esfuerzos o o o matemticos. a Por otro lado, en cada una de sus construcciones usa al personaje ausente como auxiliar: la esfera. Cada proposicin incluye, adems de la forma para conso a truir un slido regular, la forma para inscribirlo deno
35
tro de una esfera. Sin embargo, al usar a la esfera como elemento auxiliar, que incluso pareciera necesaria, para la construccin de los slidos, se ahorra una o o construccin o mtodo adicional para la inscripcin o e o de ste en una esfera. Pareciera que una vez que ree suelve el problema de construir los slidos regulares o con la ayuda de la esfera, regresa al planteamiento de la proposicin para incluir que adems de construiro a los est proveyendo de un mtodo para inscribirlos, a e por ello podr explicarse por qu, como lo hizo en los a e libros dedicados al c rculo, no propone el problema de una vez inscritos circunscribirlos, es decir, encerrar esferas dentro de los poliedros que ha construido. Tampoco dedica espacio a preguntarse y resolverse la posibilidad de que dado un poliedro se quiera inscribir (o circunscribir) a ste en una esfera. Slo considera, e o producto del uso auxiliar y necesario en su construccin, dada una esfera, construir el poliedro inscrito en o ella (y por tanto construirlo a secas). Sin embargo esto implica que siempre que Euclides quiera construir un poliedro requerir de una esfera, es decir, dada una a esfera, construye el poliedro, pero no el poliedro sin el uso de la esfera. La esfera no slo le proporciona el o tamao del poliedro a construir sino que le permite la n construccin misma del poliedro. Euclides hace entono ces de un elemento que debi ser auxiliar, necesario o para la construccin de un objeto, en principio, ajeno o totalmente al necesario. De donde surge nuevamente
36
y nalmente la interrogante, que parcialmente podemos contestarnos mediante esta lectura, de por qu un e elemento que hizo indispensable en su geometr de a los slidos regulares, no es analizado por s mismo, a o mrito propio. En otras palabras, Euclides pudo hae ber concluido mucho ms del libro XIII, el unico que a da la impresi (tal vez falsa) de estar incompleto, y o que pudo haber habido, otros libros dedicados a la esfera. No a la geometr sobre la esfera, pero a la esfera a como objeto con volumen y como objeto geomtrico e inmediato luego del estudio de los slidos regulares. o Una de las innovaciones de los Elementos, es que Euclides no parec tener una agenda. La mayor de a a los textos, en gran medida no matemticos hasta ese a tiempo que se conocen, ten alguna motivacin an o losca, y cuando eran utilizados objetos matemtio a cos, se les tilizaba con la intencin de mostrar o justio car una u otra posicin ontolgica. En el caso de Euo o clides, sin embargo, la agenda est en el mejor o peor a de los casos, oculta debajo o entre las l neas. Por la secuencia que sigue, parece claro que hay una sucesin o u orden matemtico hacia la geometr del espacio y a a los objetos que el espacio contiene o puede contener, notablemente por la discusin nal de los poliedros reo gulares (Euclides no empieza con ellos, construye un largo camino hacia ellos). La innovacin consiste en o convencer empezando por unas cuantas proposiciones de las que nadie en su juicio sano podr dudar para a
37
luego realizar proposiciones ms elaboradas basadas a en construcciones consecutivas de los hechos en los que se acord en un principio. o Es claro tambin que intencionalmente Euclides e omite toda referencia, fuera de su uso auxiliar o exclusivamente necesario, a cualquier propiedad que involucre a la esfera y a la esfera misma. A diferencia de los libros dedicados al c rculo en los que tanto inscribe como circunscribe pol gonos y describe propiedades del c rculo por s mismo (intr nsecas al c rculo dentro de la geometr euclidiana). Sin embargo, tama bin puede deducirse ms o menos las razones por e a las cuales esto sucedi (descartando por supuesto la o posibilidad de que se le haya acabado la vida a Euclides o cualquier otro evento fortuito o circunstancial). El problema es que muchas de las propiedades del c rculo no son fcilmente generalizables a la esa fera. En principio su complejidad es mucho mayor, hablar de la geometr de la esfera es hablar incluso a de su supercie, en donde las propiedades que descansan sobre el quinto postulado y la existencia del a ngulo recto ya no es posible, al menos no de manera directa pues pareciera poderse hablar del ngulo a recto en tanto la esfera puede seguir siendo un objeto tridimensional de la geometr euclidiana, sin ema bargo representa retos para los cuales la geometr a euclidiana de Euclides (no es pleonasmo) parece no haber estado preparada, al menos no en una secuen-
38
cia coherente de eventos histricos en el desarrollo de o las matemticas. En principio podemos decir que rea presentaba un reto importante el hecho de que sobre una esfera (en su supercie) parece haber una geometr distinta incluso aunque sta sea contenida en a e una geometr tridimensional euclidiana. El problema a es nuevamente, un asunto de propiedades intr nsecas. No ser sino hasta que Legendre empieza a sentirse a ms o menos cmodo mezclando geometr plana y a o as esfrica pasando casi indiscriminadamente del espae cio bidimensional (sobre la esfera o sobre un plano) a la tridimensional (un ngulo slido, por ejemplo) a o que Legendre se ocupar de esta cuestin. Sin ema o bargo, no es Legendre quien primero estudia la esfera por s misma, pero s quien parece empezar a recono cer unas propiedades de otras y por tanto atreverse a aventurarse, no sin tropezarse, a explorar una u otra alternativa geomtrica. Vale entonces la pregunta de e cunto est resuelto acerca de las propiedades cuantia a tativas de la geometr euclidiana (tanto plana como a espacial) en la obra de Euclides. Finalmente Euclides nos deja muchos recursos invaluables para medir magnitudes pero tambin deja incompleto lo que pue do concluir y deducir l mismo de su geometr (y e a que ocupar a muchos matemticos por siglos). Euan a clides proporciona mtodos para calcular longitudes e de aristas, la supercie de los poliedros en tanto dice la forma de las caras y proporciona las reas de a
39
stas, incluso los ngulos de las caras pero parece no e a poder concluir para lo que se prepar en gran parte o de los 13 libros, el volumen de los poliedros. Probablemente este fue el gran pendiente de Euclides al nal de su vida, as como el Pitgoras la existencia a de los nmeros irracionales (obsrvese que el mismo u e trmino irracional reeja la incomodidad de Pitgoras e a hacia dichos objetos sin racionalidad alguna para l, e objetos que an para las matemticas del siglo XXI u a siguen siendo un tanto misteriosos, discutibles e imponentes). No es especulacin alguna la descripcin o o de un Euclides desesperado por encontrar la frmula o para calcular los volmenes de sus recin construidos u e poliedros regulares, pues l mismo parece encontrar e otros resultados (comparaciones entre los volmenes u de los slidos) que incluye en el libro XIII al nal de o las construcciones, stos resultados son, seguramene te, producto de la bsqueda de lo que probablemente u nunca encontr. o
Cap tulo 4
Construcciones y restricciones
Parte de la atraccin matemtica y losca por o a o los slidos platnicos objetos proviene del hecho de o o que en el espacio (euclidiano) tridimensional, slo o pueden existir cinco y no ms poliedros regulares a o slidos platnicos. As lo muestra Euclides probao o blemente de una demostracin previa (el trabajo de o Platn sugiere que ya se sab o a). Ahora bien, dado que la importancia de los poliedros regulares o slidos o platnicos radica en el conocimiento de que slo cinco o o y no ms son posibles, no se puede armar que estos a poliedros, ms all de objetos geomtricos ornamena a e tales o ldicos (por ejemplo, en la forma de dados) u 41
42
ITULO 4. CONSTRUCCIONES CAP
hayan sido descubiertos con anterioridad, aunque ello no se descarte. No es, sin embargo, la conciencia de la existencia de ellos como un conjunto de guras que comparten propiedades en comn, que ningna otra u u gura puede compartir, que el descubrimiento de estas guras como tales puede atribuirse. En este caso, si como algunos sugieren, tres de los poliedros fueron descubiertos por Pitgoras y los otros dos por Teea teto, puede ser que la motivacin de sus propiedades o matemticas que los caracterizan haya surgido antes a de que se supiera que slo pod haber cinco, y por o an lo tanto es razonable pensar que su descubrimiento data de ese periodo. Una demostracin matemtica consiste en moso a trar de manera clara la veracidad o falsedad de una proposicin con una secuencia lgica de argumentos o o que son axiomas o proposiciones demostradas con anterioridad. En la proposicin 18 del libro XIII de los o Elementos, la ultima proposicin de sus trece libros. o Esta restriccin, sin duda, determina y restringe las o posibles construcciones que podemos hacer en nuestro espacio, el espacio en que vivimos, otorgndole la a propiedad de realidad en el sentido de que es aquello que nos opone resistencia, en este caso, resistencia a construir un sexto slido Platnico. o o Desdoblando las guras, se puede remarcar fcila mente la razn por la cual slo pueden existir cinco o o
43 slidos platnicos y por qu no puede, por ejemplo, o o e existir uno con hexgono de cara. a
Figura 4.1: Slidos platnicos desarmados o desdoblados. o o

Es la manera que describi Platn para trazar, recortar y o o armar los cinco slidos platnicos. o o
Por ejemplo, para construir un tetraedro, el cual consiste en cuatro tringulos equilteros, se debe coa a menzar por construir los tringulos y colocarlos en a cada uno de los lados de uno en particular. Luego se doblarn para juntar los bordes y armar el slido. a o El espacio disponible alrededor de un vrtice es e de 360 grados (una vuelta completa). Entonces, sabemos que para formar un ngulo de un slido la suma a o de los ngulos en cualquier vrtice debe ser menor a e a 360 grados, de otra forma no habr manera algua na de doblarlo y cerrarlo. El tringulo es el pol a gono con menos lados posibles pues con solo dos rectas es imposible construir un pol gono. Comenzaremos entonces construyendo poliedros regulares que tengan como caras tringulos equilteros. Cuando se unen a a tres tringulos equilteros de modo que se toquen en a a un solo vrtice del cual emerjan, la suma de los ngue a los de todos los tringulos alrededor del vrtice es a e 3(60) = 180 grados, ya que cada uno de los ngulos a
44
internos de un tringulo equiltero mide 60 grados, a a as entonces podemos construir un tetraedro (colo cando el resto de los tringulos), si colocamos cuaa tro tringulos (4(60) = 240 grados) alrededor de un a vrtice se formar el octaedro, y con cinco tringulos e a a equilteros (5(60) = 300grados) el icosaedro, pero con a seis tringulos (6(60) = 360 grados) ya no es posible a pues no queda espacio alguno para cerrar el poliedro y nuestros tringulos quedan pegados al plano, coma partiendo cada uno de sus lados, formando lo que se conoce como un teselado (guras que cubren completamente un plano o espacio). Si no es posible con seis tringulos equilteros, mucho menos lo es con ms a a a tringulos, as que no vale la pena ni intentarlo, pues a quedarn unos encima de los otros. Ahora, si usaa mos al cuadrado, que es el siguiente pol gono regular despus del tringulo equiltero resulta que tambin e a a e necesitamos de tres para cerrar el poliedro, as tres cuadrados (3(90) = 270 grados) forman un cubo o hexaedro, mientras que con cuatro (4(90) = 360grados) ya no es posible por que sus ngulos suman 360 graa dos y no queda espacio para cerrarlo, por lo tanto, los cuadrados forman tambin un teselado. En came bio, cuando se unen tres pentgonos alrededor de un a vrtice, la suma de los ngulos ser 3(108) = 324 grae a a dos, ya que cada uno de los ngulos internos es de a 108 grados, de manera que si los tres pentgonos coa locados de la forma en que se describi suman 324 o
45 grados, quedan 36 grados de espacio vac para unir o los lados de los pentgonos y formar un poliedro que a podr cerrarse en el espacio. Pero adems, como soa a lamente quedan disponibles 36 grados ya no es posible insertar otro pentgono en medio, por lo que a un pentgono no forma un teselado. En cambio, si se a colocan tres hexgonos, la suma de los ngulos alredea a dor del vrtice en comn ser de 3(120) = 360 grados, e u a quedando entonces los tres hexgonos sobre un mismo a plano tocndose uno con otro lado con lado, lo cual a impide doblar y cerrar el poliedro a falta de espacio, en cambio, el hexgono si forma un teselado. Todo esa to nos proporciona informacin valiosa y fundamental o de nuestro espacio ya que nos proporcionan informacin de lo que cabe en l en el sentido ms literal y o e a profundo. De los Elementos de Euclides, al nal de la proposicin 18 del libro XII se puede leer: o Digo ahora que, aparte de las cinco guras antedichas, no se construir otra a gura comprendida por (guras) equiltea ras y equiangulares iguales entre s . Porque no se construye un ngulo a slido con dos tringulos o, en absoluto, o a con dos planos. Sino que el ngulo de la a pirmide se construye con tres tringulos, a a el del octaedro con cuatro, el del icosaedro
46
ITULO 4. CONSTRUCCIONES CAP con cinco; pero no se construir un ngua a lo slido mediante seis tringulos equilteo a a ros y equiangulares (colocados) en un solo punto; porque si el ngulo del tringua a lo equiltero es dos tercios de un recto, a los seis sern iguales a dos rectos; lo cual a es imposible, porque todo ngulo slido es a o comprendido por menos de cuatro rectos [XI.21]. Por lo mismo, tampoco se construye un ngulo slido con ms de seis a o a a ngulos planos. Y el ngulo del cubo es a comprendido por tres cuadrados; por cuatro es imposible, porque sern a su vez a cuatro rectos. Y el (ngulo) del dodecaea dro es comprendido por tres pentgonos a equilteros y equiangulares; por cuatro es a imposible, porque, siendo el ngulo del a pentgono un recto ms un quinto, los a a cuatro ngulos sern mayores que cuatro a a rectos; lo cual es imposible. Y un angu lo slido tampoco ser comprendido por o a otros pol gonos en razn de la misma imo posibilidad.
Por consiguiente, aparte de las cinco guras antedichas, no se construir otra a gura slida comprendida por (guras) o equilteras y equiangulares. Q.E.D. a
47 Debe entenderse equilteros y equiangulares sima plemente como regulares en tanto el trmino ace tual regular se reere a una gura con lados iguales (equiltero) y ngulos iguales (equiangular), as cuana a do dice pentgono equiltero y equiangular Euclides a a se reere a un pentgono regular. Por otro lado, de a la denicin nueve del libro XI se desprende que Euo clides concibe y llama planos a los lados de los slio dos. Sin embargo, tambin es frecuente el hecho de e que Euclides trate a los planos como supercies extendidas indenidamente (que no es lo mismo que innitamente), un ejemplo de esto es el uso de planos en la proposicin 5, proposicin que adems llama la o o a atencin por el hecho de que se hacen dos construco ciones (una prolongacin del plano y la incidencia de o un plano sobre otro en una l nea), que Euclides no postula con anterioridad pero que son fundamentales para su demostracin. De hecho, que la incidencia de o un plano sobre otro sea, o ningn punto (si son pau ralelos) o una l nea, determina la dimensionalidad (3) del espacio (en menos de 3 dimensiones no pueden haber dos planos, en 4 dimensiones un plano puede cortarse con otro en un solo). Hilbert reconoce este hecho fundamental y lo incluye en su grupo de axiomas de incidencia (si dos planos comparten un punto, comparten otro) en su libro Fundamentos de la Geometr publicado en 1899. De hecho para Hilbert lo a unico que se requiere para determinar la dimensio
48
nalidad del espacio son las relaciones de incidencia. Aqu es oportuno mencionar una famosa frase del ma temtico Felix Klein: La geometr proyectiva es toa a da la geometr La geometr proyectiva contiene al a. a resto de las geometr euclidianas (anes) y no euas, clidianas (hiperblica y el o ptica). De donde entonces, al hacer restricciones sobre la geometr proyectiva, a se obtienen el resto, incluyendo a la Euclidiana. Este hecho es fundamental, por ejemplo, para el desarrollo de los Fundamentos de la Geometr ya que Hilbert a, al percatarse de ello reescribe su versin axiomtio a ca de la geometr euclidiana en trminos de precisas a e restricciones sobre la geometr proyectiva en un traa bajo a la inversa. En una aproximacin hermenutica o e de excelencia, ya que con el conocimiento moderno de la geometr proyectiva reconstruye una geometr a a antiga imponiendo restricciones sobre la generalizau cin, una interpretacin matemtica moderna de una o o a geometr de tiempos remotos. a Por ello es que el trabajo de Hilbert llega a nales del siglo XIX luego de los trabajos de Pasch[52] (Vorlesungen uber nuere Geometrie, 1882), Peano[53] (I principii di geometria, logicamente esposti, 1889) y Pieri (Della geometria elementare come sistema ipotetico deduttivo, 1899) fuera posible una axiomatizacin de la geometr ms acorde con la exigencia o a a creciente del rigor matemtico y ms completa en el a a sentido de que fue hasta entonces que las geometr a
4.1. TESELADOS
49
pod ser identicadas por el grupo de transformaan ciones que permiten, o dicho en otras palabras, clasicarlas por lo que se puede hacer, permitir o construir y cmo todas ellas estn relacionadas o contenidas o a en un marco ms grande que proporciona una visin a o ms amplia. Por lo tanto, no se puede acusar a Eua clides a la geometr euclidiana antigua de falta de a rigor en tanto no se contaba con esa visin global que o pudiera determinar el tipo de axiomatizacin formal o necesaria y suciente, al contrario, los Elementos es la obra magistral en donde hablar de axiomatizacin o o fundamentos de las matemticas comienza a tener a sentido.
4.1.
Teselados
De hecho, seguido del cap tulo anterior, una pregunta ntimamente relacionada con el proceso de desdoblado de los poliedros regulares est relacionada dia rectamente con las propiedades de otro espacio, un espacio contenido en el nuestro: el plano. Se trata de las guras que dispuestas una junto a la otra se acomodan de tal forma que ocupan todo el plano, es decir, forman un teselado. La respuesta es corolario de lo que hemos discutido con anterioridad y nuestro encuentro con los cinco slidos platnicos, y es que son slo tres o o o los pol gonos regulares que producen teselados en el
50
plano euclidiano.
Figura 4.2: Teselados posibles en el plano euclidiano: de cuadrados, tringulos equilteros y hexgonos. a a a Cuando transportemos nuestras preguntas a espacios con un mayor nmero de dimensiones, la respuesu ta estar siempre relacionada con el nmero de poliea u dros regulares que al desdoblarse en el espacio con una dimensin menos lo ocupan todo sin dejar suciente o espacio para aumentar el nmero de caras sin que se u superpongan, que evidentemente est relacionado con a el concepto de teselado. As curiosamente, un camino , para conocer el nmero de teselados que pueden haber u en nuestro espacio tridimensional consiste en hacerse la pregunta en el espacio de 4 dimensiones y el nmero u de poliedros regulares que en ese espacio son posibles. Tambin existen teselados semiregulares, formae dos por dos o ms pol a gonos regulares y colocados en el mismo orden en cada vrtice. De un razonamiento e como el que hemos hecho anteriormente, y del hecho de que ciertas combinaciones de pol gonos regulares no permiten espacios intermedios para acomplarse a ningn otro pol u gono regular, se deduce que slo ocho o
IA 4.2. SIMETR Y PERFECCION
51
teselados semiregulares son posibles en el plano, ya que ninguna otra combinacin de pol o gonos regulares permite la existencia de otros teselados diferentes a pesar del nmero innito de pol u gonos regulares posibles y por lo tanto el nmero innito de congurau ciones posibles. Los pol gonos que estos 8 teselados semiregulares utilizan son combinaciones de tringua los, cuadrados, octgonos y dodecgonos. a a
4.2.
Simetr y perfeccin a o
Ahora bien, el nmero de dimensiones de un espau cio no slo determina el nmero de poliedros regulao u res, tambin determina una lista de todo tipo de poliee dros, por ejemplo, el nmero de poliedros arquimediau nos (llamados tambin semiregulares). Es decir, aquee llos slidos convexos (como los platnicos) con caras o o regulares (no necesariamente iguales) y mismo nmeu ro de aristas que concurren en cada vrtice (propiedad e que denominada vrtices uniformes). Un pol e gono es convexo si es una regin convexa, es decir, dados dos o puntos cualesquiera en su interior, el segmento rectil neo que los une est tambin contenido en el intea e rior. Si adems todos los lados y ngulos del pol a a gono son iguales entre s se dice que el pol gono es regular. La mayor (siete) de los slidos arquimedianos se oba o tienen truncando los slidos platnicos, substituyendo o o
52
vrtices opuestos de los cinco slidos platnicos por e o o uno o ms pol a gonos regulares. Los otros dos slidos o arquimedianos se pueden obtener mediante sucesivas operaciones de truncamiento y desplazamiento de las caras de un cuboctaedro. Por las mismas razones por las que slo hay cinco slidos platnicos, slo hay 13 o o o o slidos arquimedianos. o
Figura 4.3: Los 13 slidos arquimedianos. o Los unicos poliedros convexos posibles restantes son los prismas y antiprismas, pero debido a que stos e forman una familia innita de posibles poliedros ya que, a diferencia de los otros, pueden tener cualquier altura, cada uno es estructuralmente distinto a los otros. En otras palabras, descartando el tamao de, n por mencionar un ejemplo de entre los slidos platnio o cos, el tetraedro, ste es estructuralmente igual que e cualquier otro ya que slo puede variar en tamao o n pero una vez magnicado o disminuido se le puede superponer a cualquier otro tetraedro. Se puede considerar, de hecho, que excepto por los prismas y antiprismas, cada poliedro platnico o arquimediano es o uno y el mismo, excepto por una transformacin de o
IA 4.2. SIMETR Y PERFECCION
53
escala (ya que es caracter stica de los poliedros regulares y semiregulares ser simtricos bajo ciertas rotae ciones, que es lo que los hace especiales a cualesquiera otros objetos). Cuando dos objetos matemticos son a estructuralmente iguales en el sentido descrito (bajo transformaciones simtricas de escala, reexin, trase o lacin o rotacin), se dice que son isomorfos, y por lo o o tanto se les considera el mismo y unico objeto. Para entender el fenmeno imaginemos una esfera o monocromtica. Si por un instante la deja de ver, no a hay forma de que sepa si alguien la rot en cualquier o direccin. En el caso de los poliedros regulares, ciero tas rotaciones mantienen, de la misma forma que a la esfera, el objeto indistinguible. Y no hay ms objea tos ni con mayor nmero de transformaciones que los u preserven que estos poliedros. En el cubo, por ejemplo, cada cara puede intercambiarse por cualquier otra, con seis caras entonces el cubo tiene 6 4 posibles transformaciones que lo hacen verse igual. De hecho el cubo tiene 48 simetr as, 24 de las cuales implican desdoblar el cubo e invertir las caras exteriores por las interiores y el resto de las 24 pueden realizarse sin destruir (o desdoblar y redoblar del cubo) haciendo rotaciones, cada una de 90 grados a la vez. Por ultimo, estn los slidos de Johnson, tambin a o e convexos, que se obtienen al quitar la restriccin de o
54
vrtices uniformes y que no son ni platnicos ni are o quimedianos (ni los prismas ni antiprismas). De estos, Zalgaller (en 1969) demostr que son slo 92 los poo o sibles. Slo pol o gonos de 3, 4, 5, 6, 8 o 10 lados son utilizables, las razones son las mismas que restringen en nmero a los slidos platnicos y que determinan u o o nalmente, o son consecuencia de, lo que cabe en nuestro espacio. Hay que remarcar que, aunque hemos estado hablando de ello todo el tiempo, es la simetr de esa tos objetos lo que los hace especiales. Una esfera es simtrica bajo cualquier transformacin, por lo tanto e o geomtricamente perfecta. El inters de los poliedros e e es que luego de la esfera son stos los objetos ms e a simtricos posibles. e Aunque no profundizaremos en ello, las posibles rotaciones que preservan un objeto forman un grupo que es estudiado por s mismo como objeto ma temtico. De hecho la teor de grupos es el estudio a a matemtico de las simetr a as. Es llamado de grupos porque estudia grupos de operaciones de simetr a.
4.3.
Los cinco elementos
De hecho, con la intencin de explicar la creacin o o del Universo, Platn asocia en el Timeo a cada uno o de los poliedros regulares uno de los elementos esen-
4.3. LOS CINCO ELEMENTOS
55
ciales descritos inicialmente por Empdocles: fuego, e tierra, aire y agua. A cada objeto casi perfecto lo relacion con un elemento fundamental del mundo. As al o tetraedro lo relacion con el fuego, al cubo o hexaedro o con la tierra, al octaedro con el aire y al icosaedro con el agua; al quinto, el dodecaedro, lo relacion con el o universo en su conjunto. Platn especul acerca de su o o perfeccin simtrica como bloques constructores de la o e naturaleza, y por lo tanto, consider a estas formas o como los componentes fundamentales del Universo. Curiosamente aunque esta concepcin acerca de los o poliedros regulares parece un tanto absurda y por supuesto anticuada varias veces ms se han utilizado a para dar explicaciones del Universo, as lo hizo Ke pler con su modelo geomtrico del Cosmos. An en la e u actualidad son utilizados para explicar formas y estructuras, desde cuerpos virales y enlaces moleculares hasta la estructura del Universo debido a uctuaciones de la radiacin csmica de fondo producto de la o o llamada gran explosin. o Segn lo que en el Timeo de Platn se expone, u o el mundo real es una copia imperfecta del mundo perfecto, el de las ideas hecha por el Demiurgo, ser inteligente y bueno al que le atrae la belleza y trata de recrearla. Este personaje crea en primer lugar el alma del mundo y la esfera celeste (lo hace dndole a forma esfrica, la ms perfecta) en cuyo centro est la e a a Tierra. Despus se ocupa de la materia con la que e
56
Figura 4.4: Placa conmemorativa en una residencia cerca

del puente Carlos en Praga, Repblica Checa. Foto H. u Zenil, 2011.
est hecho el mundo; segn se cre ste se compone a u a e de cuatro elementos: fuego, tierra, aire y agua, que han de tener la propiedad de ser slidos (pues o las cosas no solamente son planas sino que tienen profundidad) y han de ser capaces de recomponerse unos en otros. Puesto que han de ser slidos, esto o es, limitados por planos y un plano est compuesto a por piezas sencillas (principalmente tringulos), el a Demiurgo elige de stos los ms bellos: el tringulo e a a rectngulo (con un ngulo recto) e issceles (con dos a a o lados iguales) y el tringulo rectngulo escaleno que a a posee la propiedad de tener la hipotenusa del doble de longitud que uno de sus catetos. A partir de ellos construye el tringulo equiltero y, con estas piezas, a a a tres de los slidos: el tetraedro, el octaedro y el o icosaedro. Con cuatro tringulos rectngulos issceles a a o construye el cuadrado y con seis de stos cuadrados e
4.3. LOS CINCO ELEMENTOS al cubo.
57
Extracto del Timeo de la traduccin en espaol: o n ... Antes de la creacin, por cierto, o todo esto carec de proporcin y medida. a o Cuando dios se puso a ordenar el universo, primero dio forma y nmero al fuego, u agua, tierra y aire, de los que, si bien hab a algunas huellas, se encontraban en el estado en que probablemente se halle todo cuando dios est ausente. Sea siempre esa to lo que armamos en toda ocasin: que o dios los compuso tan bellos y excelsos como era posible de aquello que no era as . Ahora, en verdad, debo intentar demostraros el orden y origen de cada uno de los elementos con un discurso poco habitual... En primer lugar, creo que para cualquiera est ms all de toda duda que fuego, tiea a a rra, agua y aire son cuerpos. Ahora bien, toda forma corporal tiene tambin profune didad. Y, adems, es de toda necesidad a que la supercie rodee la profundidad. La supercie de una cara plana est compuesa ta de tringulos. Todos los tringulos se a a desarrollan a partir de dos, cada uno con un ngulo recto y los otros agudos. Uno a
58
ITULO 4. CONSTRUCCIONES CAP tiene a ambos lados una fraccin de nguo a lo recto dividido por lados iguales, el otro tiene partes desiguales de un ngulo reca to atribuida a lados desiguales... suponemos que ste es el principio del fuego y de e los otros cuerpos... Ciertamente, debemos explicar cules ser los cuatro cuerpos a an ms perfectos, que, aunque dis a miles entre s podr nacer unos de otros cuando , an se desintegran. En efecto, si lo logramos, tendremos la verdad acerca del origen de la tierra y el fuego y de sus medios proporcionales. Pues no coincidiremos con nadie en que hay cuerpos visibles ms bellos que a stos, de los que cada uno representa un e gnero particular. Debemos, entonces, ese forzarnos por componer estos cuatro gnee ros de cuerpos de extraordinaria belleza y decir que hemos captado su naturaleza sucientemente...
Debe haber cuatro elementos por el siguiente razonamiento, segn Platn: las cosas deben tener fuego, u o puesto que se ven, y tierra, puesto que son materiales; dos cosas necesitan de una tercera para poder ser unidas. Si el universo fuese plano bastar con un tercer a elemento, pero, como tiene profundidad, necesita de otro ms para poder hacer esta unin. As para unir a o ,
4.3. LOS CINCO ELEMENTOS
59
el fuego y la tierra se precisan otros dos: el aire y el agua. Analizando las propiedades de los elementos y la proporcin en la que deben estar en la naturaleza, o llega a la conclusin de que los tomos de fuego son teo a traedros, los de tierra son cubos, los de aire octaedros y los de agua icosaedros. Queda una unica combina cin, el dodecaedro, que lo reserva para el Universo. o
Figura 4.5: Dibujo realizado por Kepler en su libro Harmonice Mundi (1619) con la intencin de explicar las o distancias entre planetas interponiendo los cinco slidos o platnicos entre los seis planetas entonces conocidos. o En esencia, los integrantes ms elementales son los a tringulos rectngulos issceles y los escalenos. Puesa a o to que el fuego, el agua y el aire estn integrados por a escalenos, se pueden romper en sus escalenos y recombinarse entre s de modo que se genera un ciclo de reacciones circular al no poderse crear una situacin de equilibrio. o
60
ITULO 4. CONSTRUCCIONES CAP A partir de todo aquello cuyos gnee ros hemos descrito antes, muy probablemente se dar lo siguiente. Cuando el fuea go choca con la tierra y con su agudeza la disuelve, sta se trasladar ya sea que e a, se hubiera diluido en el mismo fuego o en una masa de aire o de agua, hasta que sus partes se reencontraran en algn lugar, se u volvieran a unir unas con otras y se convirtieran en tierrapues nunca pasar a an otra especie, pero si el agua es partida por el fuego, o tambin por el aire, es poe sible que surjan un cuerpo de fuego y dos de aire. Cuando se disuelve una porcin o de aire, sus fragmentos dar lugar a dos an cuerpos de fuego. A la inversa, cuando el fuego, rodeado por el aire o el agua o alguna tierra, poco entre muchos, se mueve entre sus portadores, lucha y, vencido, se quiebra; dos cuerpos de fuego se combinan en una gura de aire; mas cuando el aire es vencido y fragmentado, de dos partes y media se forjar una gura entea ra de agua. Reexionemos esto nuevamente as cuando el fuego encierra alguno de : los otros elementos y lo corta con el lo de sus ngulos y sus lados, dicho elemento a deja de fragmentarse cuando adquiere la
4.3. LOS CINCO ELEMENTOS naturaleza de aqul pues nada es capaz e de cambiar a un gnero semejante e igual e a l ni de sufrir nada a causa de lo que e le es semejante e idntico, pero mientras e el que se convierte en otro elemento, aunque inferior, luche contra uno ms fuerte, a no cesa de disolverse. Y, a su vez, cuando unos pocos corpsculos ms pequeos, u a n rodeados por muchos mayores, son destrozados y se apagan, si mutan en la gura del que domina, cesan de extinguirse y nace del fuego el aire y del aire, el agua. Pero siempre que se concentran y alguno de los restantes gneros los ataca y combate, no e cesan de disolverse hasta que, batindoe se en retirada y dispersados, huyen hacia lo que es del mismo gnero, o, vencidos, e de muchos cuerpos pequeos surge uno sen mejante al vencedor y permanece junto a l. Adems, todos los elementos cambian e a de regin por estos fenmenos. En efecto, o o la cantidad principal de cada uno de los elementos est separada en un lugar proa pio por el movimiento del receptculo y a cuando unos corpsculos se diferencian de u s mismos para asemejarse a otros, se tras ladan, a causa de la vibracin existente, al o lugar donde se encuentran los cuerpos a
61
62
ITULO 4. CONSTRUCCIONES CAP los que eventualmente se han asemejado.
... Debemos pensar que todas estas cosas son en verdad tan pequeas que los n elementos individuales de cada clase nos son invisibles por su pequeez, pero cuann do muchos se aglutinan, se pueden observar sus masas y, tambin, que en todas e partes dios adecu la cantidad, movimieno tos y otras caracter sticas de manera proporcional y que todo lo hizo con la exactitud que permiti de buen grado y obedieno te la necesidad. A partir de todo aquello cuyos gneros hemos descrito antes, muy e probablemente se dar lo siguiente. Cuana do el fuego choca con la tierra y con su agudeza la disuelve, sta se trasladar ya e a, sea que se hubiera diluido en el mismo fuego o en una masa de aire o de agua, hasta que sus partes se reencontraran en algn u lugar, se volvieran a unir unas con otras y se convirtieran en tierrapues nunca pasar a otra especie, pero si el agua es an partida por el fuego, o tambin por el aire, e es posible que surjan un cuerpo de fuego y dos de aire. Cuando se disuelve una porcin de aire, sus fragmentos dar lugar a o an dos cuerpos de fuego. A la inversa, cuan-
4.3. LOS CINCO ELEMENTOS do el fuego, rodeado por el aire o el agua o alguna tierra, poco entre muchos, se mueve entre sus portadores, lucha y, vencido, se quiebra; dos cuerpos de fuego se combinan en una gura de aire; mas cuando el aire es vencido y fragmentado, de dos partes y media se forjar una gura entera de a agua.
63
Parte II
Nociones de clculo y topolog a a del espacio
65
Cap tulo 5
Congruencia y descomposicin o
5.1. Coincidencia
Son bien conocidos los teoremas de congruencia de la geometr euclidiana plana, todos los hemos a escuchado comnmente nombrados como el teorema u de lado-lado-lado o (LLL), lado-ngulo-lado (LAL) y a a ngulo-lado-ngulo (ALA). Este ultimo teorema ALA a puede ser mal interpretado pensando que, como en los dos primeros teoremas, el orden en que se colocan es relevante, sin embargo para ste ultimo basta con tee ner cualesquiera dos lados y cualquier ngulo para que a 67
68
ITULO 5. CONGRUENCIA CAP
el teorema se valga, en este sentido, el teorema ALA puede denotarse tambin como LAA o AAL, de cuae lesquiera tres formas. Estos teoremas permiten, en la geometr plana, determinar si dos guras planas son a congruentes (iguales en el sentido de que coincidan sus partes al encimarse una en la otra coincidir), ya que aunque los teoremas de congruencia se aplican unicamente a tringulos, Euclides demuestra algunas a proposiciones adelante, que cualquier gura rectil nea (cuyos lados sean l neas rectas) puede triangularse, es decir, dividirse en tringulos. a El fundamento de la geometr euclidiana es, sin a duda, el conjunto de teoremas de congruencia. Es decir, la geometr euclidiana es una geometr de a a congruencias ya que en ello se fundamenta pues no hay forma de determinar magnitudes sin determinar congruencias, todo lo dems es lo que se puede hacer a a partir de ello. Veamos cmo incluso el quinto o postulado (conocido como el de las paralelas) es para Euclides un asunto de magnitudes y de congruencias, a pesar de no parecerlo pues uno podr suponer a que el hecho de que una recta corte a otra o no es una relacin de incidencia exclusivamente, es decir, o nada que ver con magnitud (o medida), es decir, se cortan o no las l neas rectas. El postulado original de Euclides dice (traducido de la versin en ingls de o e Heath):
5.1. COINCIDENCIA Si una l nea recta cayendo sobre otras dos l neas rectas forma los ngulos interioa res del mismo lado menores que dos rectos, las dos l neas rectas, si se prolongan indenidamente se encontrarn en el lado a en el que los ngulos son menores que dos a rectos.
69
De la versin en espaol de Mar Luisa Puertas o n a Castaos para la editorial espaola Gredos: n n Si una recta al incidir sobre dos rectas hace los ngulos internos del mismo lado a menores que dos rectos, las dos rectas prolongadas indenidamente se encontrarn a en el lado en que estn los (ngulos) mea a nores que dos rectos. Veamos en principio que hay diferencias entre uno u otro texto por lo que tendremos que irnos al texto original en griego. En la traduccin que yo hago o de Heath al espaol falling lo traduzco como cayenn do y no como incidencia pues lo segundo tiene, al menos en geometr otro sentido que Euclides no a, est reconociendo (la idea y conciencia de incidencia a viene con la geometr proyectiva). A pesar de que la a traduccin de Gredos no es mala, es una lstima que o a no sea hecha por expertos en el tema que, sin duda,
70
habr detectado inmediatamente este desafortunaan do hecho, que adems, se comete con cierta frecuencia a e inocencia. Tambin podemos darnos cuenta cmo el hecho e o de utilizar otras versiones del mismo postulado (que lo implican) desv el sentido que Euclides le otorga, a perdindose informacin vital para encontrar la forma e o en que Euclides conceb su geometr Por ejemplo, a a. es comn que se reeran al quinto postulado de las u siguientes maneras: Dado un punto y una recta, solo existe una paralela a la recta dada que pasa por el punto dado. La suma de los ngulos de un tringulo es dos a a rectos o 180 grados. Todas ellas son equivalentes, y existen muchas otras formas de expresarlo, pero todas ellas ocultan la forma en que Euclides se expres y que reejan o sus motivaciones y pensamientos ms profundos. Por a ejemplo, la primera es una relacin de incidencia y o no de magnitud. Las diversas versiones para usos pedaggicos son completamente justicables ya que geo neralmente las expresiones de Euclides son confusas, ms an en nuestro intento por conservar el sentido a u original de los escritos griegos o incluso, en ocasiones,
5.1. COINCIDENCIA
71
a rabes, precisamente para perder la menor informacin posible de aquello que nos interesa de Euclides. o Por ejemplo, el hecho de que en el texto traducido al espaol se reeran a incidencia, es efectivamente n desafortunado a pesar de que el trmino no est muy e a lejana a su traduccin literal griega, pero si al sentio do que se le da en espaol, o al menos, al sentido que n ahora se le da a la incidencia en geometr en espaol a, n y en cualquier idioma. Lo ms importante es detectar cmo la geometr a o a de Euclides, en el sentido de Euclides, es una geometr de magnitudes, y stas a su vez, de congruena e cias. Por ejemplo, que los ngulos internos de un a tringulo sumen dos rectos o 180 grados, (proposicin a o 32 del libro I) depende de que los ngulos alternos ina ternos formados con una recta auxiliar sean iguales (relacin de congruencia). o Sin embargo, en los Elementos, no existen teoremas de congruencia para los slidos en el espacio. El o unico recurso que tiene para comparar poliedros es su denicin 10 del libro XI, que como veremos ms o a adelante, es un tipo de congruencia que depende a su vez de la congruencia de la geometr euclidiana plana a y no es por lo tanto independiente. Podemos suponer que al darse cuenta Euclides que su recurso de superposicin (encimar una gura sobre otra para detero minar si coinciden y entonces demostrar su congruen-
72
cia o igualdad en esos trminos, proposicin I.IV) utie o lizado en los teoremas de congruencia no podr aplian carse como criterio de congruencia para los slidos o o cuerpos en el espacio en tanto es imposible encimarlos. El uso del recurso de la superposicin es ahora o considerado no como proposicin sino como axioma, o ya que su demostracin, al estilo Euclides, requiere de o supuestos que en principio no fueron ni postulados ni demostrados como, por ejemplo, una rotacin o traso lacin para encimar las guras. Incluso una transforo macin de tipo rotacin o traslacin no resolver el o o o a problema para los casos en los que se requiriera de una congruencia antisimtrica, es decir, cuando las guras e son congruentes (cumplen los teoremas de congruencia) pero no simtricamente, en la que se requerir de e a sacar a la gura del plano para voltearla en el espacio, es decir, dejar el plano de dimensin dos para voltear o la gura en el espacio de dimensin tres para entono ces encimarla en la otra para vericar la coincidencia. Uno podr pensar entonces que en el espacio hubiera a quedado resuelto el mismo problema si se transportara el slido a un espacio de 4 dimensiones, en donde o estos cuerpos de 3 dimensiones pudieran encimarse o empalmarse sin problema alguno. Pero sin dejar el espacio de dimensin tres habr entonces que deso a ensamblar los slidos para encimarlos o empalmarlos o para establecer una relacin de congruencia o coino cidencia en el espacio de 3 dimensiones. No deja de
5.1. COINCIDENCIA
73
llamar la atencin, sin embargo, que Euclides no hace o la distincin entre la proposicin I.IV y una posible o o proposicin anloga para los casos antisimtricos, es o a e decir, una proposicin I.IV antisimtrica enfrentando o e el problema que surge en la I.IV. Sin embargo, percatarse del posible problema de I.IV, dejando de lado incluso el problema de que Euclides en proposiciones anteriores no muestra la forma de rotar o trasladar guras para encimarlas, para presentar una probable proposicin adicional esta vez antisimtrica para deso e cartar el problema ms grave de pensar en salir del a plano para voltear la gura, podr haber expuesto a tambin el problema de trasladar y rotar en la proe posicin original. Por supuesto no sabremos nunca si o Euclides eludi esta situacin o simplemente no pudo o o verla. A mi me parece que no lo vio y lo eludi a la vez, o pues por un lado es evidente que estaba consciente del hecho de la coincidencia o coincidencia, es decir, que cada parte de una gura incidiera en la otra, as que seguramente no slo Euclides imagin esta transforo o macin en su mente sino la utiliz para argumentar o o su demostracin, pero al mismo tiempo parec no ino a comodarle el hecho de transportarlo al espacio para hacer la vericacin f o sica o visual, parece obvio entonces que menos le importar el hecho de no haber a expuesto con anterioridad que se valiera y se pudiera hacer todo tipo de transformaciones (rotaciones, traslaciones o reexiones) sin necesidad de otras pro-
74
posiciones, axiomas o deniciones. Y por otro lado, sin embargo, si parece haberle incomodado pensar en una transportacin de un slido a un espacio de 4 dio o mensiones para realizar una vericacin en el espacio o de tres. Lo ms probable, por el marco histrico, es a o que simplemente no haya sido concebido por Euclides, mientras que una transportacin del plano al espacio o para el otro caso, parec no solo fcil sino obvia, tan a a obvia que no requer para l mayor comentario o jusa e ticacin alguna. o Por su relevancia, la proposicin I.IV de Euclides: o Pues si se aplica el tringulo ABC a al tringulo DEF y el punto A se coloa ca sobre el punto D y la recta AB sobre la recta DE, coincidir tambin el punto a e B sobre el punto E por ser igual AB a DE, al coincidir tambin AB con DE, la e recta AC coincidir tambin con DF por a e ser igual el ngulo BAC al EDF; de modo a que tambin el punto C coincidir con el e a punto F por ser igual a su vez AC a DF. Pero tambin el punto B hab coincidido e a con el punto E; de modo que la base BC coincidir con la base EF (pues si habiena do coincidido el punto B con el punto E y el punto C con el punto F, no coincide la base BC con la base EF, dos rectas
5.1. COINCIDENCIA encerrarn un espacio; lo cual es imposia ble. Por tanto, coincidir la base BC con a la base EF) y ser igual a ella; de moa do que tambin el tringulo entero ABC e a coincidir con el tringulo entero DEF y a a ser igual a l, y los ngulos restantes coina e a cidirn con los ngulos restantes y sern a a a iguales a ellos, el (ngulo) ABC, al (ngua a lo) DEF y el (ngulo) ACB al (ngulo) a a DFE. Por consiguiente, si dos tringulos a tienen dos lados del uno iguales a dos lados del otro y tienen iguales los ngulos coma prendidos por las rectas iguales, tendrn a tambin las respectivas bases iguales y un e tringulo ser igual al otro, y los angua a los restantes, a saber: los subtendidos por lados iguales, sern tambin iguales, resa e pectivamente. Q.E.D.
75
Euclides nos ensea, en dos proposiciones anterion res, a transportar rectas, por lo que no deber haber a problema alguno en encimar las rectas de un tringulo a sobre otro, aunque esto implique lo que actualmente conocemos como una transformacin en el plano, la o de traslacin, y aunque Euclides haya pensado o no en o una transformacin de este tipo, no es necesaria ms o a que la justicacin del hecho constructivo, dada una o
76
recta construir otra igual, asunto que en dicha proposicin, la I.4, ya puede llevarse a cabo. Sin embargo, o Euclides no provee, hasta ese momento, la manera de transportar ngulos como lo supone, de alguna forma a la posibilidad de transportar ngulos es la posibilidad a de transportar tringulos, lo cual es precisamente lo a que quiere demostrar, entrando entonces a un argumento c clico, una bien clasicada falacia lgica desde o ese punto de vista. Sin embargo, tampoco es del todo justo o correcto mencionar que Euclides haya fallado en su demostracin, pudo haberlo hecho desde un o punto de vista axiomtico moderno, pero para l es a e sin duda claro y vlido el hecho de poder encimar gua ras para demostrar la congruencia de stas viendo que e coincid todas sus partes tanto ngulos como rectas an a y vericando que de no suceder as habr una con a tradiccin. Este argumento de superposicin lo utiliza o o en dos ocasiones ms dentro de los Elementos y el uso a de estas proposiciones no es irrelevante para el resto de las proposiciones del libro, es imposible por tanto prescindir de ellas sin que se vea modicado y alterado la mayor parte de la estructura y sentido del libro. Es evidente que la proposicin I.4 no slo es necesao o ria para la consecucin del resto del libro, sino que o es adems una de las proposiciones ms relevantes. a a Basta mencionar las proposiciones I.16 y I.17 como consecuencia directa de I.4. Sin embargo, Euclides dene la congruencia entre
5.1. COINCIDENCIA cuerpos slidos en el libro XI como: o
77
Denicin 10: Figuras slidas similao o res e iguales son aquellas contenidas por un nmero similar de planos iguales en u multitud y magnitud.
Por supuesto, el gran objetivo de Euclides, lo que persigue, es poder medir un slido, es decir, calcuo lar su volumen. Para ello requiere de la determinacin de una relacin de congruencia, es decir, cundo o o a podr reconocer dos slidos como iguales, pues si puea o de hacer esto puede entonces reconocer los que no lo son para compararlos. Sin embargo, la denicin de o Euclides, en tanto se sustenta en la congruencia en el plano (son aquellas contenidas por un nmero similar u de planos iguales en multitud y magnitud) deb ser a demostrada. Simson da cuenta de estos hechos y propone que as como las proposiciones de congruencia en el plano fueron demostradas, el criterio de congruencia en el espacio deb ser demostrado y no postulado o denia do. Esto es luego retomado por Cauchy.
78
5.2.
El tercer problema de Hilbert
Para mostrar que dos pol gonos tienen la misma rea, stos se descomponen en otros pol a e gonos. No es dif demostrar que cualesquiera pol cil gonos de a rea igual pueden descomponerse de tal forma que los pol gonos en que se descomponen son congruentes y en mismo nmero, a este proceso se le conoce como u equidescomposicin y es tratado desde los Elementos o de Euclides. Por ejemplo, muchas de las demostraciones del teorema de Pitgoras estn basadas en la equidescoma a posicin ya que la mayor parte de ellas se apoyan y o justican en que el cuadrado de la hipotenusa puede dividirse en algn nmero de piezas que luego resultan u u ser la suma de los cuadrados de los catetos. El procedimiento para mostrar esto puede ser incluso constructivo, una de las demostraciones utiliza tringulos a congruentes a uno dado para construir un cuadrado de cuyas relaciones algebraicas se obtiene directamente el teorema de Pitgoras. a Dos guras son equicompuestas cuando una se divide en un nmero nito de piezas de manera que con u ellas es posible armar la otra. Si una gura P puede descomponerse para formar una gura Q, entonces se dice que P es equicompuesto de Q, por lo tanto P y
5.2. EL TERCER PROBLEMA DE HILBERT
79
Q tienen la misma rea. Por supuesto el mtodo de a e equidescomposicin es muy util como criterio de cono gruencia (en el sentido de rea), entre dos pol a gonos cualesquiera, ya que si se demuestra que uno puede descomponerse en el otro, entonces se deduce directamente que contienen la misma rea, y que por lo tana to, en este mismo sentido, son congruentes. Es natural que se plante la pregunta rec e proca: dos guras de la misma rea son equicompuestos? La respuesta ara mativa fue dada a principios del siglo XIX por Bolyai, Gerwein y Wallace, de donde proviene el nombre del teorema. Su demostracin es la siguiente: o Como la propiedad de ser equicompuesto es transitiva, es decir, si una gura A es equicompuesta de B y B equicompuesta de C, entonces A es equicompuesta de C. Basta entonces vericar que un pol gono es equicompuesto al cuadrado de rea igual al pol a gono dado. El pol gono se divide en un nmero nito de tringuu a los, cada tringulo es equicompuesto con un rectngua a lo y ste a su vez en un cuadrado, as el pol e gono es equicompuesto a varios cuadrados y por el teorema de Pitgoras cada dos cuadrados son equicompuestos a a otro, y esto aplicado iterativamente nos llevar, en a un nmero nito de pasos, al resultado deseado. u Luego, puede extenderse la pregunta del plano, para pol gonos; al espacio, para poliedros, es decir, si es posible determinar la congruencia entre poliedros
80
mediante la equidescomposicin, y si es sta la unio e ca forma de hacerlo, esta es la pregunta que Hilbert se hace y expone en la famosa conferencia del congreso de matemticas. Presentado en un congreso de a matemticas en el ao 1900 en la Sorbona de Par a n s, dene como el tercer problema (de un total de 19 que segn ocupar el desarrollo de las matemticas en u an a ese siglo y que, con su fama e inuencia, probablemente lo motiv en gran medida). El tercer probleo ma de Hilbert es: dado cualesquiera dos poliedros de igual volumen es siempre posible diseccionar (cortar o descomponer) el primero en un nmero nito de pieu zas que se puedan volver a montar para construir el segundo? El problema puede reformularse como: es posible diseccionar cualquier poliedro en piezas para construir un cubo de igual volumen? Evidentemente si ello fuera posible, el clculo del volumen de cualquier a poliedro quedar garantizado una vez reconstruido a un cubo del mismo volumen y para el cul conocemos a un mtodo extremadamente sencillo para calcularlo. e Aunque dados dos poliedros, si stos pueden equie descomponerse, entonces contienen el mismo volumen, el converso no es cierto. El mismo ao de 1900, n en que Hilbert expusiera el tercer problema como parte de su lista de problemas abiertos por resolver en el siglo XX, Dehn di respuesta negativa al problema o de Hilbert y demostr que el unico mtodo para calo e cular volmenes de poliedros es mediante el llamado u
5.2. EL TERCER PROBLEMA DE HILBERT
81
mtodo por exhaucin. Este mtodo consiste en ree o e llenar poliedros de guras cuyo volumen es conocido, cubos o pirmides. En otras palabras se requieren de a las herramientas del clculo integral para calcular el a volumen de un poliedro en general ya que Dehn[23] muestra que el tetraedro no puede descomponerse en un nmero nito de piezas para construir un cubo del u mismo volumen. Por lo tanto, en este sentido, la geometr del esa pacio no es una generalizacin trivial del plano, tiene, o intr nsicamente, una geometr propia y distinta en a aspectos trascendentales que no son deducibles ni reducibles a la geometr plana. No es, como la convexia dad de un poliedro, un accidente, como en el armado del poliedro en el que uno puede dejar una cara dentro sumida, haciendo del poliedro uno cncavo. Esto o deja claro que la dimensin es una caracter o stica fundamental del espacio en tanto que no es comn a tou dos los casos an cuando la generalizacin del nmeu o u ro de dimensiones es relativamente trivial (es decir, el aadir 1 a una dimensin n). Y no es una generan o lizacin porque hay una relacin de orden que en el o o espacio de dimensin inferior est indenida (porque o a simplemente no se usa y es ajena a ese espacio).
Cap tulo 6
Exhaucin y o contencin o
6.1. Slidos para medir supero cies y espacios
Proclo en su comentario al libro I de los Elementos, asegura que el objetivo principal de Euclides es precisamente cerrar su obra con los poliedros regulares. Este argumento puede considerarse respaldado por el hecho de que el estudio de los slidos en la obra o de Euclides se expone hacia el nal de su obra (de hecho el ultimo teorema del ultimo libro es la demostra cin de que slo hay y no pueden haber ms de cinco o o a 83
84
ITULO 6. EXHAUCION CAP
poliedros regulares). Sin embargo, es tambin evidene te que todas las herramientas para acceder al estudio de stos fueron presentados y demostrados en los lie bros anteriores, en particular en los primeros libros, ya que en los intermedios Euclides trata de aritmtie ca, lo que conocemos como teor de nmeros y auna u que hay quienes argumentan que en el resto tambin e est haciendo teor de nmeros esto no parece obvio, a a u sin duda todo el trabajo de Euclides puede ser le do desde la perspectiva de la teor de nmeros, pero no a u parece claro que haya sido la motivacin o intencin o o de Euclides. De alguna forma puede asegurarse que los cuerpos slidos son el objetivo de la obra de Euclides, pues o aunque no hay duda que el objetivo es el concepto de magnitud (calcular reas y volmenes), es precia u samente primero la construccin y luego la magnitud o de los cuerpos slidos lo que parece colocar Euclides o como uno de los objetivos primordiales, objetivo, por cierto que no consigue del todo, pues es evidente que Euclides no logra (ni parece intentarlo aunque no por ello no lo intent) determinar un mtodo para calcuo e lar el volumen de los poliedros regulares o en general, mtodo que sigui buscndose y que segn Arqu e o a u medes fue desarrollado por Eudoxo. El mtodo que diera e origen al clculo integral que ha ocupado a matemtia a cos desde Newton y Leibniz y hasta Hilbert y su tercer problema.
6.1. MEDIDA POR MEDIO DE LOS SOLIDOS 85 En 2 dimensiones cualquier pol gono regular puede imaginarse como el resultado de dividir una circunferencia en n partes iguales y tomar los puntos de divisin obtenidos como el nmero de lados del pol o u gono resultante. El procedimiento inverso, es por lo tanto, una manera de aproximar y calcular el area de una circunferencia por medio del clculo del rea de un a a pol gono de n lados haciendo variar n hacia el innito. El proceso requiere sin embargo la construccin o de dichos pol gonos y de un mtodo sistemtico para e a hacerlo ad innitum. Respecto a la posibilidad de construir con regla y comps los pol a gonos regulares, Euclides, en sus Elementos da la construccin del tringulo equiltero en o a a el Libro I (Prop. 1) y la del cuadrado, pentgono, a hexgono y uno de quince lados en el Libro IV (Prop. a 6, 11, 15 y 16 respectivamente); y la proposicin 9 del o Libro I garantiza la duplicacin sucesiva del nmeo u ro de lados por biseccin. El problema abierto de la o construccin con regla y comps de cualquier pol o a gono regular fue parcialmente resuelto por Gauss (quien construy a los diecinueve aos uno de diecisiete lao n dos) armando que es condicin suciente que los faco tores primos impares de n sean primos de Fermat diferentes entre s (un nmero de Fermat tiene la forma u F k = 22k + 1). En 1837, Wantzel prob que tamo bin la anterior condicin es necesaria (al probar que e o la duplicacin del cubo y la triseccin del ngulo son o o a
86
problemas irresolubles con regla y comps). a La lectura de estos hechos indica que el clculo ina nitesimal, al menos sus primeras nociones, surge de las matemticas mismas y no de necesidades f a sicas, a diferencia probablemente de la creencia ms aceptada a y que probablemente hayan motivado a Newton[51] en el desarrollo de su clculo de ucciones (pero no a a Leibniz). Sin embargo, las motivaciones de Leibniz no eran las mismas que las de Newton (asumiendo que las de Newton fueran motivaciones (nicamente) f u sicas). Se sabe que Pascal, por ejemplo, pudo haber deducido de su propio trabajo las herramientas bsicas a que dar surgimiento al clculo, que poco tiempo an a despus Newton y Leibniz construir e an. Si Pascal no lo hizo es porque probablemente no pod verlo, tal a como Euclides omitir la geometr (euclidiana) del a a espacio. De acuerdo a [48], el uso de slidos para medir o a reas y volmenes es un concepto con el que nuesu tros mtodos tradicionales de geometr comenzar a e a alienarse. A diferencia de su concepcin habitual, el o clculo innitesimal (o integral), no necesariamente a fue consecuencia unica de necesidades f sicas, sino de la matemtica misma en su camino hacia el desarrollo a del concepto de medida, con antecedentes en la idea griega de exhaucin incluso antes de Euclides y que o paralelamente a Newton se fueran desarrollando, co-
6.1. MEDIDA POR MEDIO DE LOS SOLIDOS 87 mo lo es hoy el desarrollo de la teor de la medida a independiente (y en gran medida ajena) a motivaciones f sicas. Ahora bien, el lector puede no estar de acuerdo con esta apreciacin, pero a manera de provocacin o o dir que, por un lado Newton escribe en su Principia e cuando comienza su estudio euclidiano del espacio que no hab an (hasta ese punto) explicado el fenmeno a u o de la gravedad. Sin embargo, cuando lo hace, lo hace sin hacer recurso alguno del clculo que hab y esa a taba desarrollando (y que ms adelante alegar fue a a el precursor primero, antes de Leibniz). Aunque no tengo una agenda en contra de Newton, quien fue un extraordinario f sico y matemtico, no me parece a evidente que las motivaciones que dieran surgimiento al clculo, como generalmente se puede sostener, nea cesariamente estn ligadas a motivaciones f e sicas, en particular cuando este razonamiento est fundado en a el trabajo de quien, preocupado por cuestiones f sicas y matemticas al mismo tiempo, y con toda la a capacidad de haber usado una en la otra, no lo haya hecho (al menos no expl citamente), y si lo haya omitido expl citamente (es decir, el uso de su clcua lo para explicar fenmenos naturales) en sus tratados o (notablemente su Principia). En mi defensa, no es sino Bonaventura Francesco Cavalieri (15981647), algunas dcadas antes que e
88
Newton (16431727) y Leibniz (16461716), que en su Geometria indivisibilibus continuorum nova quadam ratione promota (Geometr de los indivisibles contia nuos presentada segn un nuevo mtodo) introduce u e las primeras nociones del clculo integral. A pesar de a las motivaciones astronmicas de Cavalieri, como lo o muestran las al menos 112 cartas que le enviara a Galileo, su trabajo hacia las primeras nociones del naa lisis innitesimal parecen motivadas por la geometr a misma (aunque eventualmente evidentemente conectada a la medida de objetos f sicos) como lo atestigua Galileo mismo pocos, si algunos, desde Arqu medes, han develado tanto y tan profundamente en la ciencia de la geometr 1 haciendo referencia de Cavalieri. a La teor de Cavalieri estudia las magnitudes a geomtricas descompuestas en un nmero innito de e u elementos (o indivisibles). La medida de longitudes de supercies y volmenes se es entonces la suma u del nmero innito de indivisibles que se encuentra u al centro del principio del clculo integral sin la utia lizacin del concepto moderno de l o mite. El principio del anlisis innitesimal de Cavalieri es simple y a profundo: el volumen de dos objetos son iguales si la suma de las reas de sus correspondientes secciones a transversales son iguales. Sin embargo, su trabajo fue considerado obscuro pues no fue sino hasta la madurez que el concepto de l mite en matemticas traer a a
1 Traduccin o
del autor.
6.2. CURVAS QUE LLENAN EL ESPACIO
89
que la idea fundamental de Cavalieri se concretiz al o origen de lo que hoy conocemos como anlisis innia tesimal y al centro del concepto de integral. A pesar de la dicultad que caracterizaba el concepto, Cavalieri consideraba su mtodo correcto en tanto que e proporcionaba resultados correctos, en este sentido su approximacin era pragmtica pero no f o a sica ya que de hecho se desconecta de la realidad f sica en tanto que f sicamente no se puede ni considerar un objeto innitamente delgado ni la suma innita de objetos, objetos adems innitamente delgados. El mtodo de a e Cavalieri conten la complejidad de dos innitos utia lizados en una operacin matemtica para medir el o a a rea o volumen de un objeto matemtico o f a sico. La exposicin de Cavalieri no estaba adaptada al estado o de la geometr de su tiempo y fue objeto de fuertes a cr ticas. Una introduccin histrica al tema es [70]. o o
6.2.
Curvas que llenan el espacio
Las curvas que llenan el espacio o curvas de Peano[13] son curvas unidimensionales at picas que llenan cualquier espacio de cualquier dimensin, son o un caso especial de fractales. En general, las curvas, por ser unidimensionales, no encierran un rea. Sin a embargo, estas curvas son capaces de llenar un espa-
90
cio limitado, cualquier regin del espacio. o Para eliminar el vago concepto de una curva, que generalmente se considera como un objeto continuo, en 1887 Camille Jordan[42] introduce una denicin o rigurosa de curva continua. Una curva (con puntos extremos) es una funcin continua cuyo dominio es el o intervalo unitario [0,1]. En 1890, slo tres aos despus de la denicin o n e o precisa de Jordan, Peano dene la curva que ahora lleva su nombre como contra ejemplo a la hiptesis de o que una curva puede encerrarse en un conjunto tan pequeo como se quiera. n Otras curvas (iteraciones) de este tipo le siguieron, como la de Hilbert, que no es sino una variacin o interesante, ya que es una curva que mantiene dos puntos de la curva tan cerca como posible cuando se le utiliza para rellenar un espacio de una dimensin o mayor. En este sentido, la curva de Hilbert, adems de a preservar los puntos ms cercanos de la curva en el a plano (u otro espacio) mantiene (como corolario) los puntos ms distantes ms distantes. En ese sentido a a preserva un concepto de distancia, que paradjicao mente pierde sentido cuando el proceso se lleva al
6.2. CURVAS QUE LLENAN EL ESPACIO
91
Figura 6.1: La curva (iteracin) de Hilbert: se comieno

za con un cuadrado. Se divide en cuatro partes iguales. Se unen los centros de los cuatro cuadrados y se repite el proceso con los cuadrados resultantes. La curva hace un recorrido tal que comenzando en el cuadrado superior izquierdo acaba en el cuadrado superior derecho.
innito, y que es cuando llena el espacio (mostrando que evidentemente la curva tiene que pasar por cualquier punto, en tiempo nito, y por todos ellos en un tiempo innito). No es sino el l mite al objeto que se le llama la curva de Hilbert. Estas curvas no llenan el espacio a menos que se asuma un procedimiento innito. La curva de Peano no es sino un algoritmo para construir un objeto matemtico, es propiamente una funcin continua que no a o rompe la curva pero la mantiene no diferenciable en cada punto (en el l mite del proceso) y con ciertas propiedades que llevadas al innito llenan un espacio de cualquier dimensin mayor a la dimensin (unidimeno o sional) de la curva original. Al realizar este proceso o aplicar la funcin en s misma iterativamente la curva o que se obtiene se acerca asintticamente a cualquier o forma, en particular a un cuadrado cuando se trata
92 de la curva de Peano.
Lo sorprendente es evidentemente que con una curva sin espesor pero de innita longitud pueda llenarse un espacio de cualquier otra dimensin para cuo brir un regin cualquiera por completo. o
6.3.
El concepto de dimensin o
Curvas que llenan el espacio pueden verse como ilustraciones de los resultados de Cantor sobre el (los) innito(s) ya que contra intuitivamente descubri que o el nmero de puntos en el intervalo de los nmeros u u reales [0, 1] es el mismo que el de un cuadrado (incluyendo su interior). En otras palabras, la cardinalidad de una curva es la misma que la del plano. Cantor procede mediante una biyeccin que pone en relacin o o uno a uno los puntos del segmento y el cuadrado. La funcin de Cantor, sin embargo, no era continua a o diferencia de las funciones de Peano y Hilbert, stas e ultimas sin embargo perdieron la biyeccin. En efecto, o una curva que llena el espacio debe intersectarse a si misma en todas partes y en nmero innito de veces u y por lo tanto la curva no es inyectiva. El hecho de intersectarse tampoco signica en este contexto que la curva se cruza a s misma, pues de hecho no lo ha ce, se queda innitamente cerca de si misma, se toca, pero no se cruza por la forma en que es construida.
6.3. EL CONCEPTO DE DIMENSION
93
Evidentemente si una funcin continua y biyectiva o existiera entre el plano y un segmento de l nea el concepto de dimensin quedar en entredicho y es que o a es Brouwer quien en 1911 prueba que no existen tales correspondencias (biyectivas y continuas al mismo tiempo). El resultado es importante porque la dimensin es entonces un invariante topolgico que no pueo o de alterarse mediante deformaciones continuas. Como consecuencia, se llega a una denicin rigurosa de dio mensin. La diferencia topolgica entre un segmento o o de l nea y un cuadrado es que la primera tiene puntos extremos o de corte, mientras que un cuadrado no. La idea cartesiana de dimensi que podr pareon a cernos obvia pero que no lo fue cuando se propuso, la hizo Riemann durante su tesis de habilitacin en 1854 o (con Gauss presente en el jurado), cuando extend los a resultados de curvatura intr nsica de Gauss a otras dimensiones. Su denicin de espacio n-dimensional es o un espacio que requiere de n coordenadas cartesianas para denir un punto. La aportacin de Riemann es la o ruptura del concepto de espacio y geometr as como a, de objetos bsicos en ella. En los espacios multidimena sionales de Riemann no era necesaria la denicin de o ningn objeto sino de coordenada y distancia solau mente. El concepto de dimensin, en una otra de sus tano tas formas, regresar por ejemplo, en el desarrollo a,
94
de la geometr fractal de Mandelbrot o de dimensin a o de Hausdor.
6.4. EMPACAMIENTOS Y EMPILAMIENTOS 95
6.4.
Empacamientos y empilamientos
Una pregunta fundamental cuando se trata de preguntarse cunto cabe en nuestro espacio, es el de ema pacamiento optimo. Cuando uno vierte azcar en un u recipiente, es comn que al llenarse se le de ligeros u golpes para compactar los granos de azcar o arroz u para hacer ms espacio y poder verter an ms. Hay a u a un momento, sin embargo, en el que no hay forma de hacer descender el nivel del azcar o arroz en el reciu piente porque los granos de alguna forma han llegado a una conguracin estable en el que dicilmente pueo de ocupar menos espacio llenando los huecos entre los granos. Empacar cuadrados y cubos del mismo tamao n en una caja no representa, evidentemente, ninguna complicacin ya que basta colocarlos cara con cara o para ocupar el espacio sin dejar ningn espacio libre. u Cualquier empacamiento de cubos que coincidan en caras es un empacamiento ptimo. Un empacamiento o o ptimo es uno en el que la diferencia entre el volumen ocupado (el interior de los poliedors) y el volumen libre que dejan entre ellos es el menor posible. Aparte del cubo, ningn otro slido platnico por u o o s solo puede llenar el espacio, es decir, no puede te selar el espacio. Usando el tetraedro, por ejemplo, el
96
Figura 6.2: En el caso de cubos y prismas, por ejemplo, el empacamiento optimo tiene densidad 1.
mejor empacamiento tiene una densidad de .85. Sin embargo, usando dos poliedros regulares, el tetraedro y el octaedro juntos pueden llenar el espacio en un arreglo que se conoce como panal tetraedro-octaedral (o tetrahedral-octahedral honeycomb en ingls). e Si hay alguna gura que pueda imaginarse como dif cilmente acoplable con alguna otra es la esfera, ya que sin contener ninguna cara plana, no hay forma de encajarla o hacer coincidir alguna de sus partes con otro objeto convexo, menos an con otra esfera. Expeu rimentos muestran que esferas aleatoriamente depositadas en un recipiente pueden alcanzar una densidad de alrededor de 65 % solamente, sin embargo esta densidad puede mejorarse colocando las esferas de cierta manera ordenada. El problema es que evidentemente uno puede elegir cualquier conguracin entre las innitas posibles, o lo que imposibilita su enumeracin ya que adems muo a
6.4. EMPACAMIENTOS
97
chas de esas conguraciones son irregulares (o no peridicas), es decir, las distancias entre las guras no o siempre es el mismo. Un empacamiento peridico poo sible de esferas del mismo tamao, por ejemplo, conn siste en colocar encima de cada cresta de cada una, otra esfera. A esta conguracin se le llama conguo racin simtrica con una densidad de /6, es decir, o e alrededor de 0.52 (casi la mitad del espacio es desperdiciado). En una caja, la pregunta se reduce al nmero mximo de esferas que se pueden meter en u a ella.
Figura 6.3: El Strena Seu de Nive Sexangula(Un regalo

de nieve hexagonal de ao nuevo) de Kepler (1611), con su n conjetura. El texto original en lat se encuentra en http: n //www.thelatinlibrary.com/kepler/strena.html.
En 1611 Johannes Kepler se interes en este proo blema y realiz algunos clculos que lo llevaron a creer o a que el empacamiento ptimo (la forma en que las nao
98
ranjas en el mercado de frutas son comnmente apilau das ocupando los valles formados por la capa inferior) de esferas del mismo tamao es de /3 n se le conoce como la conjetura de Kepler. (2) o aproximadamente 0.74, desde entonces a esta estimacin o
Figura 6.4: Arreglo regular en 2 dimensiones (izquierda)

y arreglo regular con periodo 2 (derecha) comnmente emu pleado y conocido como empilamiento de naranjas o FCC (de face-centered cubic) Otro arreglo regular igualmente optimo es el HCP (de hexagonal close-packed ).
Figura 6.5: Una manera de pensar en estos arreglos es por simetr de las capas. Por ejemplo, cada capa es idntica as e (izquierda), mientras que para el arreglo FCC cada capa ocupa los huecos dejados por las esferas de la capa inferior, cada dos capas la conguracin de esferas es la misma. o Hilbert se da cuenta que este tipo de simetr en as
6.4. EMPACAMIENTOS
99
la conguracin de las capas era un camino posible o de investigacin sistemtica del problema. En el cono a greso internacional de matemticos en la Sorbona de a Paris en 1900, Hilbert incluye entre sus 23 problemas uno relativo a este problema precisamente. Se trata del problema 18 que incluye en su tercera parte la conjetura de Kepler. Hlbert se pregunta por la posible clasicacin de las simetr de los empacamientos o as en el espacio euclidiano e hiperblico. o En 1831, Gauss hab probado que la conjetura a de Kepler se cumple cuando las esferas se acomodan en un arreglo regular, pero no es probada en el caso general hasta 1998 por Thomas Hales con ayuda de programas de clculo y su solucin publicada en a o 2006. La prueba por computadora de que FCC es el empacamiento ms eciente es d a cil de seguir por un humano (on incluso un grupo de humanos) por lo que no slo no se tiene la certeza absoluta de su veracio dad (aunque el comit de expertos ha declarado que e est 99 % seguro) sino que estamos desprovistos de un a argumento que proporcione la razn de la ecacia del o empacamiento, que comnmente es prove por una u da prueba matemtica, en el mejor de los casos. a Resulta que Hilbert ten la buena intuicin (coa o mo era comnmente el caso) de concentrar parte de u los esfuerzos en estudiar y atacar el problema por el lado de la clasicacin de las simetr o as, ya que los
100
empacamientos ms densos de guras en 2 dimensioa nes en espacios euclidianos resultaron estar ntimamente relacionados entre s y con las simetr de los as empacamientos ms ecaces en dimensiones mayores a tambin. La abstraccin del problema resulto en una e o generalizacin hacia todos los espacios. Hilbert se ino teres tambin por la pregunta de los empaques menos o e ecientes y se conocen algunos resultados denitivos. En espacio euclidianos con dimensiones mayores a tres, los empacamientos regulares ms densos de hia per esferas se conocen hasta en ocho dimensiones pero se sabe muy poco de arreglos irregulares. Es posible que en alguna dimensin, a diferencia de nuestro espao cio con tres, algn arreglo irregular resulte ser el ms u a eciente. ya que en ciertas dimensiones, por ejemplo en 10, el mejor empacamiento irregular conocido es ms eciente que el mejor empacamiento regular coa nocido. La dimensin 24 es un caso especial debido o a la existencia de lo que se conoce como el arreglo de Leech con el mejor nmero de osculacin (kissing u o number) y por largo tiempo se sospech que era el o empacamiento ms eciente. El nmero de osculacin a u o es nmero de esferas unitarias que tocan otra esfera u unitaria dada. En un empacamiento regular el nmeu ro de osculacin es el mismo para todas las esferas. o En 2004, de demostr que efectivamente el arreglo de o Leech era el ms eciente entre los arreglos regulaa res, pero se demostr tambin que exist un empacao e a
6.4. EMPACAMIENTOS
101
miento irregular que era ms eciente que el arreglo a de Leech, no mejor, sin embargo, que de 2 1030 . De hecho, Charles Radin y Lewis Bowen mostraron en el 2002 que los empacamientos ms densos en esa pacios hiperblicos eran casi siempre empacamientos o irregulares.
Cap tulo 7
La frmula de o Euler
El gran resultado relativo a la relacin entre el o nmero de vrtices, aristas y caras de un poliedro se u e conoce como la relacin de Euler[29], relacin a la que o o haremos referencia tambin como la frmula, el invae o riante o la caracter stica de Euler, despus sealaree n mos, en contexto, las diferencias en cuanto a sus respectivas connotaciones. Esta relacin se deduce tamo bin del trabajo que el matemtico francs Ren Dese a e e cartes (1596-1650) realiz en la teor de poliedros peo a ro no fue sino hasta el siglo XVIII que el matemtico a suizo Leonhard Euler (1707-1783) lo seal expl n o citamente. Euler mostr que, si se suma el nmero de o u 103
104
ITULO 7. LA FORMULA DE EULER CAP
caras y el nmero de vrtices de un poliedro cualquieu e ra y, del valor obtenido, se resta el nmero de aristas, u el resultado es siempre igual a dos. La relacin encono trada por Euler entre el nmero de vrtices (v) con las u e caras (c) y las aristas (a) de estos poliedros se escribe usualmente como:
v+ca=2
(7.1)
La ecuacin de Euler7.1 describe una propiedad o del espacio en que vivimos, en la que esta relacin o entre caras, vrtices y aristas para los poliedros e regulares se cumple.
Slido o vrtices e aristas caras lados cara
Tetraedro 4 6 4 3 tringulo a
Cubo 8 12 6 4 cuadrado
Octaedro 6 12 8 3 tringulo a
Icosaedro 12 30 20 3 tringulo a
Dodecaedro 20 30 12 5 pentgono a
Cuadro 7.1: Se verica manualmente que para los poliedros regulares, esta relacin se cumple tal cual Euler proo puso. Sin embargo, la relacin no es slo para poliedros o o regulares, lo es para cualquier poliedro.
105 Un ao despus de proponer esta relacin Euler n e o propuso la demostracin. Su demostracin consiste en o o quitarle sucesivamente vrtices a un poliedro para vee ricar que su relacin se segu manteniendo en el o a nuevo poliedro. Segn Euler, continuando este proceu so se pod llegar hasta un poliedro formado por un a m nimo de caras, aristas y vrtices, pues hay un l e mite dictado por la cantidad de dichos elementos ya que es imposible, por ejemplo, construir un poliedro con slo dos aristas, dos vrtices o una cara, pues al meo e nos se requieren de cuatro caras, cuatro vrtices y seis e aristas (equivalente a un tetraedro si de poliedros regulares se tratara). De alguna forma, su demostracin o es la manera inversa de lo que cualquier matemtico a reconocer inmediatamente por el mtodo de induca e cin, que consiste en un procedimiento recursivo en o el que si la propiedad se cumple para un caso bsico a y luego se muestra que se cumple siempre para el siguiente, entonces se cumple para todos los siguientes (La induccin se divide en: caso base y paso inductio vo, en donde en el paso inductivo se supone verdadera la hiptesis inductiva y se muestra que si se cumple o la propiedad para uno cualquiera y para el siguiente entonces se cumple para el resto). Sin embargo, no es claro cmo aplicar la induccin en casos geomtrio o e cos, por ejemplo, en el procedimiento de Euler existe un problema, que no siempre al quitarle vrtices a un e poliedro el resultado es otro poliedro, se dice enton-
106
ces que la operacin de quitar vrtices a poliedros no o e es cerrada pues el resultado podr ser objetos que an no son poliedros. Uno podr suponer que el problea ma se resolver sabiendo numerar los vrtices de tal a e forma que siempre al quitar el siguiente el resultado siga siendo un poliedro, sin embargo esto no lo resuelve sino que traslada el problema a cmo enumerar, o en general, los vrtices de cualquier poliedro. As la e , demostracin de Euler no es muy formal ni vlida pao a ra todos los casos, por lo tanto es una demostracin o incompleta. Lo ms interesante es reconocer que este a problema no es exclusivo del procedimiento Euleriano, sino de llevar a cabo pruebas geomtricas mediante ree cursos y herramientas matemticas de demostracin a o general, como la induccin. Es decir, saber determinar o cundo una herramienta, como la induccin (y en gea o neral), puede aplicarse a un caso geomtrico y cundo, e a como en este caso, la relacin entre la herramienta y el o hecho geomtrico que pretende demostrarse no tiene e una interpretacin bien denida. o Pudo haberse deducido esta relacin a partir de o la geometr construida por Euclides? Reformulndoa a la: Ten Euclides las herramientas necesarias para a demostrar este importante resultado? Y si es as Por qu no lo hizo? Para respondernos, tambin de e e manera matemtica como pretendemos, podemos a intentar demostrar la relacin de Euler a la manera o de Euclides, y le llamo tramposamente relacin o
107 y no invariante por que ese ser precisamente el a argumento para encontrar una muy probable razn o por la cual Euclides si pod haber deducido y a demostrado este hecho con sus propios argumentos pero ni siquiera pudo concebir una pregunta de ese tipo. Primero veamos cul podr ser una demosa a tracin Euclidiana la relacin de Euler, para ello o o nos apoyaremos en otro resultado equivalente, otra relacin: o
Proposicin: El nmero m o u nimo de tringulos (sin a aumentar vrtices) en los que se puede descomponer e un pol gono de n lados es n 2.
Supongamos que nuestro problema es determinar el m nimo de tringulos en que se puede descomponer a un pol gono (es decir, sin agregar vrtices interiores). e En principio el procedimiento geomtrico parece ms e a o menos claro, lo que se hace es unir vrtices trazando e diagonales (aunque no precisamente de manera indiscriminada pues a veces los resultados no son tringua los, en ese caso se dice que el procedimiento de trazar diagonales no es cerrado) hasta que el resultado nal sea una gura compuesta unicamente de tringulos. a Aunque este tipo de procedimiento no es ajeno a Euclides pues se pregunt en el libro XI de sus Eleo mentos, cmo y en cuntas pirmides pod descomo a a a
108
poner un paralep pedo con la intencin de comparar o a reas entre paralep pedos (siempre en tres), que es, sin duda, lo que reconocer amos como un caso reducido del mtodo de exhaucin (equidescomposicin). e o o Incluso Euclides fue exitoso al plantearse el problema y darle solucin a cmo y en cuntos paralep o o a pedos pod descomponer cualquier pirmide para medir su a a a rea para compararla con otra. Sin embargo, la forma en que est planteado nuestro problema si podr ser a a ajeno a la forma en que Euclides se plantea problemas y se formula proposiciones ya que en los casos anteriores en los que Euclides realiza estos procedimientos tiene en mente y como objetivo uno muy claro: la magnitud de sus objetos, en otras palabras, el a rea. Es decir, para Euclides pudo haber sido irrelevante el hecho de que un pol gono se pudiera dividir en tringulos, lo relevante para l, en donde el proa e cedimiento de triangularizacin jug slo un papel de o o o herramienta, era la determinacin de magnitudes y las o comparaciones con otras magnitudes. Efectivamente, nuestra pregunta no slo es vlida en la geometr euo a a clidiana, no slo es tambin vlida la relacin, si no o e a o incluso es soluble mediante herramientas que el mismo Euclides desarroll y construyo en sus 13 libros. o Veamos cmo pudo haber sido una proposicin de este o o tipo en los Elementos de Euclides (si el lector me cree que puede demostrarse con herramientas euclidianas a la manera de Euclides, puede saltarse los detalles de
109 la demostracin): o
Demostracin: Sabemos, por Eu.I.16 o que la suma interior de los ngulos de un a tringulo es 180 grados o dos rectos. Es a claro que la suma de los ngulos de un a pol gono es la suma de los ngulos de los a tringulos que se pueden formar dentro a de l triangulando de la siguiente forma: e Agrguese un vrtice ubicado en el cene e tro del pol gono (Sabemos por Euclides que el centro de un pol gono es el centro de la circunferencia con radio r, donde r es la longitud de n, es decir, la longitud de cualquier lado del pol gono), luego trcense del nuevo vrtice, es decir, a e del centro del pol gono, l neas hacia cada uno de los vrtices del pol e gono, entonces el pol gono queda, efectivamente, triangulado. Sea entonces E la suma de los a ngulos del pol gono triangulado, entonces E = n(2R), es decir, E es igual a n que es el nmero de lados del pol u gono multiplicado por dos ngulos rectos, que es la mea dida de cada tringulo pues E es la suma a de los ngulos interiores de los tringulos a a del poliedro que acabamos de descomponer en n tringulos (uno por cada lado del a
110
ITULO 7. LA FORMULA DE EULER CAP pol gono, usando como vrtice comn a e u todos los tringulos el centro del pol a gono) y sabemos que la suma de los ngulos intea riores de cada tringulo es igual a 2R y que a hay n tringulos. Entonces, despejando tea nemos que n = E/2R. Ahora, sabemos que al haber descompuesto en n tringua los el pol gono agregamos cuatro ngulos a rectos, pues no son ngulos del pol a gono aquellos alrededor del vrtice del cual nos e auxiliamos (aquel que se coloc en el ceno tro del pol gono), pues alrededor del vrtie ce hay cuatro ngulos rectos. Entonces sea a S la suma de los ngulos interiores del a pol gono, entonces S = E 4R. Ahora despejando E tenemos que E = S + 4R. Entonces, sustituyendo E en la relacin o pasada en donde despejamos n, podemos escribir que: (S + 4R)/2R = n, de donde separando la divisin nos queda que: o S/2R + 4R/2R = n, haciendo las operaciones respectivas nos queda: S/2 + 2 = n de donde S/2 = n 2 y donde S/2 es el m nimo nmero de tringulos en los que u a se puede dividir un pol gono de n lados. Q.E.D.
111 En esta demostracin puede verse que no se ha utio lizado ningn argumento que Euclides no reconociera u como alguna de sus proposiciones de sus 13 libros, por lo tanto no slo es consistente con la geometr que o a construy sino deducible de ella. Sin embargo, esta deo mostracin tiene dos inconvenientes (que en realidad o es uno solo), por un lado depende del hecho de que la suma de los ngulos interiores de cualquier tringulo a a son dos rectos, lo cual descansa directamente en la existencia y unicidad del ngulo recto, el invariante a de la geometr euclidiana, lo que la sustenta, cuando a en realidad la relacin de Euler es independiente de o la geometr euclidiana, de hecho de cualquier geoa metr es un invariante cualitativo (topolgico). Por a, o otro lado, la demostracin depende de la dimensioo nalidad, pues no es cierto, en general, que siempre alrededor de un vrtice hayan cuatro rectos, ya que, e por ejemplo, en el espacio de dimensin tres son ocho o a ngulos (slidos) rectos los que hay alrededor de un o vrtice. En cambio, nuevamente, el invariante de Eue ler es independiente de la dimensin. Por lo tanto, o esta demostracin no es falsa, pero no muy buena, o pues depende de hiptesis no contenidas en la propoo sicin (la dimensionalidad y el tipo de geometr la o a: Euclidiana). Euclides no pudo deducirlo no porque no fuera posible de la geometr que construy sino por que no a o hac sentido formularse la pregunta. No era concebia
112
ble en su geometr el tipo de pregunta y la forma en a que la planteamos. A Euclides no le interesaban las relaciones cualitativas, sino las cuantitativas, el clculo a de magnitudes: reas, volmenes. Si Euclides hubiera a u demostrado este resultado o la relacin de Euler, la o topolog hubiera comenzado 20 siglos antes de cuana do comenz, pero esto era imposible una vez inmersos o en las circunstancias de Euclides, simplemente estaba fuera de su objeto y concepcin. o Se considera que el invariante de Euler, junto con su solucin al problema de los puentes de Knigsberg, o o son los hechos matemticos que dan origen a la topoa log La topolog matemtica es el estudio cualitaa. a a tivo de las formas, a diferencia de la geometr que es a el estudio cuantitativo de las formas, las magnitudes: longitudes, supercies o reas, regiones o volmenes. a u Las pruebas de la formula de Euler pueden encontrarse en diversas bibliograf as, algunas de ellas son brillantes, existen al menos diecisiete, todas ellas pueden encontrarse en: http://www.ics.uci.edu/ ~eppstein/junkyard/euler/
7.1.
El defecto de Descartes
La contribucin de Descartes en nuestra historia o acerca del espacio es de fundamental inters. Digamos e que lo que se sab hasta Descartes culmin con l en a o e
7.1. DESCARTES Y SU DEFECTO
113
el sentido siguiente. Hasta Descartes, el espacio f sico parec desconectado, aunque a ntimamente relacionado, con el espacio matemtico (euclidiano). Newton a hab de alguna forma unicado el espacio celestial a con el espacio terrenal con su teor de la gravedad, a una distincin comn desde Copernico, Galileo y Keo u pler. Pero Newton aplicar sus leyes al espacio ms a a all de la luna y debajo de la luna sin distincin algua o na. Ahora bien, la geometr de Descartes proveer a a a la geometr de Euclides con coordenadas, y su aplia cacin se extender no slo a argumentos generales o a o del espacio sino a todo tipo de aplicaciones. Los problemas pod ahora reformularse como ecuaciones, an nuevas preguntas y nuevas respuestas surgieron. Poco tiempo despus de Descartes, marcado por las demose traciones de resolucin de ecuaciones, la geometr euo a clidiana ser vista como completa, en el sentido de a que poco ms podr conocerse, ya todo o casi todo a a estaba dicho. Entre los problemas que pudieron reescribirse estn los famosos problemas de la cuadratura a del c rculo y de la triseccin del ngulo, que con el o a trabajo de Descartes y su correspondencia entre geometr y a a lgebra se solucionar en el sentido negaan tivo (ninguno de los dos problemas ser resolubles an con regla y comps ya que, por su grado algebraico, a no permit la resolucin de las ecuaciones asociadas an o a estos problemas). Aunque se sigan utilizando los trminos cuerpo y e
114
slido, ahora con el entendimiento de la sutil difereno cia, es necesario y se requiere hacer notar la diferencia. En general nos hemos referido a ellos de manera indiferente pero es importante sealar (y percatarnos) de n la diferencia. En primera instancia, el trmino cuerpo, e es frecuentemente recurrido en los textos antiguos, en los Elementos de Euclides, lo cual nos muestra que no hab una conciencia (en los trminos actuales) acerca a e del concepto de espacio, dimensionalidad, supercie ni mucho menos grca. Precisamente es lo que hemos a estado explorando, lo cual pudiera reejar que hubiera bastado con percatarnos de la diferencia en dichos trminos para entender todo lo que hemos escrie to, sin embargo, como ejercicio paradjico, probableo stico se detect, mente no sabremos si ese hecho lingu o precisamente, mediante el estudio de la evolucin de o la teor de poliedros. Cuerpo es un trmino que tiene a e una connotacin de tctil, es algo que se puede tocar, o a que convive (en espacio y dimensin3 dimensiones) o con el que pretende estudiarlo y que por tanto es objeto de estudio, aunque sea objeto matemtico. Por otro a lado, en el trabajo de Euler[29], ya en el siglo XVIII, y luego Legendre[46] y Descartes[26], el trmino al que e se recurre es al de slido, incluso poco tiempo antes se o bautizaron, en el Renacimiento, a los cuerpos platnio cos como slidos platnicos, lo cual nos habla de que, o o a pesar del esfuerzo que Euler har para deshacerse a de conceptos anteriores y encaminarse hacia una di-
115
reccin ms topolgica, no pod an desprenderse o a o an u del todo del conocimiento anterior, de los viejos conceptos de la geometr slida (y de la plana), aunque a o ya hab en ellos claros asomos para empezar a alejara se denitivamente de las concepciones anteriores para dar lugar a las reas que hoy conocemos como topoa log y teor de grcas, sobre todo al plantearse, a a a como una cuestin vlida, un asunto meramente cuao a litativo expresado en la forma en que Euler lo hace y que por supuesto para Euclides hubieran carecido de todo sentido en tanto no era un asunto de magnitudes y por tanto impensable o inconcebible siquiera, y por otro lado, la concepcin de Legendre de una o geometr sobre una supercie bidimensional distinta a a un plano (no hay redundancia), es decir, distinto a un plano euclidiano. Sin embargo, Legendre tampoco se deshace por completo del interior de la esfera, no es del todo una geometr de supercie, pues todo a su trabajo contina fundndose en la geometr sliu a a o da que a su vez contina siendo geometr euclidiana u a en el espacio, de hecho geometr euclidiana en el esa pacio que sigue adems dependiendo de la geometr a a euclidiana plana, ya que las deniciones o teoremas de congruencia en el espacio se fundan en las deniciones o teoremas de congruencia en el plano. Legendre es incapaz an, sin restarle mrito alguno por supuesu e to, sino entendiendo a cada uno de los personajes en su entorno histrico y evolutivo, de deshacerse de los o
116
a ngulos planos, de los ngulos slidos, de las proyeca o ciones y de los puntos interiores de la esfera, incluso el mismo Cauchy, en su intento exitoso por dar el siguiente paso importante hacia las nuevas reas de las a matemticas modernas sigue pensando en slidos y a o en el interior de los slidos, aunque ste, al igual que o e Euler, avanzaron de manera muy importante hacia las concepciones topolgicas que hoy conocemos (o estrico tamente de la teor de grcas). No es hasta el siglo a a XIX que la idea de poliedro, en el sentido de poli (muchos) y edro (del griego edra, que se traduce como eje o arista y que inicialmente se refer a base), a se concibe en el sentido que la misma palabra indica y al que ahora se hace referencia topolgicamente. o De Descartes se conoce indirectamente un documento[26] que habr escrito poco tiempo antes a de morir en 1650. Es un documento relativo a la teor a de poliedros con t tulo Progymnasmata de Solidorum Elementis. El viaje del documento original que proven de Estocolmo, donde vivi Descartes sus ultia o mos meses, se hundi en el mar[31] hacia su llegada o a Par en 1653, no sin que hubiera quedada asens tada su existencia como el objeto M en un inventario levantado previamente por el embajador francs, e amigo de Descartes, Chanut y cuyo contenido fue conocido. El documento estuvo sumergido tres d y as luego fue recuperado y secado. No fue publicado hasta casi 200 aos despus de que Leibniz[21] hiciera n e
117
copias de varios documentos no publicados de Descartes cuando estuvo en Par en 1676. Finalmente s se public en 1830 despus de haber sido encontrado o e por Carril de entre la coleccin no catalogada de los o trabajos de Leibniz en la biblioteca real de Hanover. No fue hasta entre 1890 y 1908 que estuvieron disponibles versiones recuperadas del lat traducidas y n, corregidas en francs. Luego en 1920 se public una e o versin en italiano y una versin a ingls hasta 1982, o o e no parece haber ninguna otra traduccin en ningn o u otro idioma[31]. Lo que sorprende en el trabajo de Descartes, ms a all de que haya llegado a un resultado que le pera mit deducir directamente la relacin de Euler casi a o 100 aos antes, es la similitud que los argumentos de n Descartes tienen con los de Legendre, pues a pesar de que ambos parecen estar hablando y argumentando de manera completamente distinta lo que quieren exponer, en el fondo estn, como ya hab comentado, a a fundados en la geometr slida. Ambos, por ejemplo, a o usan en el fondo el hecho fundamental de que la suma de los ngulos slidos externos de un poliedro es ocho a o rectos que descubre por analog al generalizar lo que a, sucede en el plano, en donde la suma de los ngulos a externos de un pol gono convexo es cuatro rectos, es decir, un c rculo completo. Legendre, por otro lado, por la misma analog deduce que la supercie de una a esfera debe ser ocho rectos y por tanto esto le permite
118
denir su unidad de medida, el tringulo que abarca a un cuarto de hemisferio, o un octavo de la esfera, por tanto ese tringulo debe medir un ngulo recto. Pero a a la forma en que dene Legendre el rea de su tringua a lo que es un octavo de la esfera y que por tanto debe ser un recto es idntica a la denicin que Descartes e o proporciona al principio de su documento en el que dice: Un ngulo slido recto es aquel que a o abarca una octava parte de la esfera, an u incluso cuando no est formado por tres e a ngulos planos rectos. Debe entenderse por ngulos planos a los ngulos a a que forman el ngulo slido, es decir, las paredes que a o salen de un punto interior hacia la supercie interna de la esfera y que por supuesto forman un ngulo, a un ngulo plano en el sentido plano y en el sentido a euclidiano. La primera parte es idntica a la de Legendre coe mo denicin de su unidad de medida del cual partir, o a pero a pesar de que a Descartes no parece importarle, pues no la requiere adems, la geometr esfrica, la a a e segunda parte an incluso cuando no est formado u e por tres ngulos planos rectos llama la atencin pues a o en el fondo es una denicin que si est hablando de o a a rea sobre la supercie de una esfera en los mismos
119
trminos que Legendre utiliza, aunque por supuesto e Descartes est pensando en lo que despus le permia e tir ver a las caras de los poliedros como esos ngulos a a slidos que dene. o Luego Descartes expone una proposicin intereo sante en donde empieza a mostrar su inters por las e relaciones entre los distintos componentes de los slio dos (obsrvese como utilizo la palabra slido), pues e o comienza a relacionar el nmero de ngulos planos u a con el nmero de ngulos slidos: u a o Si uno multiplica cuatro ngulos plaa nos rectos por el nmero de ngulos sliu a o dos y del producto se restan ocho ngulos a rectos planos, el resultado ser la suma de a todos los ngulos planos que estn en la a a supercie del cuerpo slido o En otras palabras, si E es la suma de las medidas de todos los ngulos planos, Descartes dice que E a = (4S - 8) angulos rectos. Donde S es el nmero de u a ngulos slidos. o Por supuesto no es poco comn que Descartes no u se preocupe por demostrar lo que dice, su soberbia queda bien reejada en todos sus trabajos, en particular los matemticos. No habr duda, si es que la hua a biera, de que este documento fue escrito por Descartes, sobre todo por su particular forma de enunciar sus
120
proposiciones sin comentario adicional alguno, muy al estilo de su ms importante obra, La Gomtrie a e e de donde, se dice comnmente y no sin razn, suru o ge la geometr anal a tica, un salto enorme para las matemticas que permitir poco tiempo despus, a an e por supuesto, el surgimiento del clculo, el trabajo a fruct fero del lgebra y ms adelante el del anlisis a a a matemtico. En aquel momento decirse anal a tico (por ejemplo, las funciones anal ticas) era no slo eso tar de moda con la invencin de Descartes sino eso tar actualizado en cuanto a la metodolog que esa taba permitiendo el avance en muchas areas de las matemticas. Metodolog adems que hab sido esa a a a tudiada por personajes como Aristteles y Pappus, o y que consiste, como ya se hab mencionado, en el a mtodo anal e tico que supone la existencia de la solucin para encontrar las condiciones que la satisfacen o (expresar una ecuacin para resolverla supone esta o metodolog primero se expresa como si ya estuviera a, resuelta y luego se buscan los valores que se requieren). De hecho el trabajo de Descartes en la teor de a poliedros depositado en el documento que estamos estudiando es extremadamente corto, se trata de unas cuantas proposiciones sin demostrar, pero que son verdaderas. Es obvio que Descartes se ocupaba de asegurarse de la veracidad de sus asertos pero no queda claro si le haya parecido indiferente si el lector deduc a
121
o no esa veracidad y por lo tanto el ultimo resulta do. Henri Lebesgue escribir que Descartes no hab a a llegado al resultado de Euler porque nunca lo vio, aunque se haya acercado sorpresivamente. La diferencia fundamental, y que sugiere que Lebesgue est en lo a correcto, es que Descartes no dene el concepto de arista, un concepto que no vendr sino hasta Euler, a ya que hasta Descartes una arista slo era una parte o de la cara de un poliedro y no un objeto por s mismo como se desprende de la frmula de Euler. o El documento de Descartes, as como el resto de los que hemos explorado y exploraremos, ms que un a reejo de genialidad es un reejo del estado del conocimiento en la poca en la que estaban insertados. e Por supuesto se necesitaba del talento de Descartes, Euler, Legendre, Newton, Gauss o Cauchy, pero todos fueron producto de una motivacin presente eno marcada en su entorno social, cultural e histrico. La o discusin, por ejemplo, de quien fue primero en deso cubrir la relacin de Euler, si Descartes o Euler, no o slo no es fruct o fera y pertenece a la literatura ligera que argumentan asuntos de justicia cuando dudo que al Descartes muerto le interese, sino que adems a desv la atencin del estudio de los elementos que nos a o permiten ver a mucho mayor profundidad. No tengo ninguna duda de que Descartes pudo haber deducido y visto lo que ya casi ten enfrente, tampoco me atrea vo a asegurarlo, el simple hecho de que no lo escribiera
122
nos indica o que no lo dedujo o que no le dio importancia, y aunque esta ultima posibilidad es un tanto absurda e improbable podr decirnos el hecho de que a an para Descartes, una pregunta relativa exclusivau mente a los elementos del poliedro (no del slido, es o decir, no an independiente de la geometr slida) u a o pod tener sentido pero an no surg de su conjuna u a to de ideas e intereses. Esto nos dice, entre l neas, que era el tiempo de la geometr slida y no, obviamena o te, de la topolog o la teor de grcas, pero que a a a s comenzaban a cobrar sentido preguntas y respues tas acerca de asuntos meramente cuantitativos y ya no precisamente, como en el texto de Euclides, unica mente de magnitudes. A Descartes ya no le interesa calcular el rea o el volumen, le interesa expresar y a hacer notar las relaciones que encuentra acerca de los slidos, aunque estas relaciones sigan fundadas en una o geometr de magnitudes como la geometr slida, tal a a o cual como sucede en Legendre, quien denitivamente no tuvo nunca acceso al trabajo de Descartes, lo que nos indica una vez ms el estado del conocimiento maa temtico de la poca y sobre todo la forma paulatina a e en que fue evolucionando. Descartes analiza indirectamente que ciertas relaciones se cumplen para algunos de los poliedros regulares, por ejemplo, para las pirmides (como el tea traedro), para los prismas (el cubo) y las bipiramides (el octaedro), con lo que generaliza y enuncia dos de-
123
Figura 7.1: Placa funeraria en la capilla de Saint Beno t

en la iglesia de Saint-Germain-de-Prs con posiblemente e algunos de los restos de Ren Descartes quien muriera en e Suecia y cuyo cuerpo se trajera a Francia varios siglos despus. Foto de H. Zenil, tomada a unas cuadras de su e actual residencia en el barrio que lleva el nombre de la misma iglesia.
sigualdades relativas al nmero de ngulos slidos y u a o caras de un poliedro con las frmulas S F/2 + 2 o y F S/2 + 2, donde F es el nmero de caras y u S de ngulos slidos. Luego, al ms estilo anal a o a tico de Descartes, encuentra dos ecuaciones que involucran estas cantidades (caras y ngulos slidos) y cua o yas unicas soluciones son los nmeros 4, 8, 6, 20 y 12, u que son precisamente el nmero de caras de los cinco u slidos platnicos. Las ecuaciones que encuentra son: o o (2S 4)/F = a y (2F 4)/S = b, donde para que a y b sean nmeros enteros las unicas soluciones son u los nmeros ya mencionados. Estas ecuaciones se deu rivan de la primera ecuacin que encontr acerca de o o la relacin entre la suma total de las medidas de too
124
dos los ngulos planos y el nmero de ngulos slidos a u a o E = (4S 8) ngulos rectos y de las propiedades de a los cinco slidos regulares. Por ejemplo, la primera se o deriva del hecho de que todas las caras de los slidos o regulares tienen el mismo nmero de ngulos, digau a mos n, luego la suma de los ngulos de cada cara es a 2(n 2) ngulos rectos (basta triangular y sumar los a a ngulos de cada tringulo pues un pol a gono regular siempre se puede triangularizar trazando sus diagonales), y para todas las caras (F ) la suma total es E = 2(n 2)F ngulos rectos. Sustituyendo este rea sultado en E = (4S 8) nos queda: 2(n 2)F angulos rectos = (4S 8) ngulos rectos a de donde: (2S 4)/F = n 2 = a y de la misma forma para b pues todos los a ngulos slidos tienen el mismo nmero de nguo u a los planos, digamos m, y entonces el nmero de u a ngulos planos (P ) es igual a mS. Sustituyendo en una proposicin que veremos a continuacin queda o o E/no. ngulos rectos = 2mS 4F de donde nuevaa mente sustituyendo en E = (4S 8) resulta: 2mS 4F = 4S 8 y luego:
7.1. DESCARTES Y SU DEFECTO (2F 4)/S = m 2 = b
125
En una proposicin siguiente, Descartes muestra o otra relacin que describe de la siguiente forma: o P = (4F + E/no. ngulos rectos)/2 a la cual conecta el nmero ngulos planos, caras y u a la sima de los ngulos planos. a
La penltima proposicin trata acerca de la reu o lacin que existe entre el nmero de ngulos planos, o u a caras y ngulos slidos a o P = 2F + 2S 4 Algunas proposiciones se pueden hacen notar por su contenido algebraico y otras por su contenido geomtrico, pero las que son notables son aquellas e precisamente que enuncian relaciones entre los elementos de los slidos. Algunas parecen requerir o demostraciones meramente geomtricas aunque no e hace intento alguno por esbozar alguna. Descartes estudia un conjunto espec co de casos y hace generalizaciones a partir de sus resultados particulares en una especie de induccin matemtica. Se sabe que los o a resultados de la primer parte del documento ya eran conocidos en el tiempo en el que fueron escritos por
126
Descartes, sin embargo es novedosa la segunda parte de donde incluso podr obtenerse directamente la a frmula de Euler, pues P , que son los ngulos planos o a que conforman los ngulos slidos del poliedro, es a o el doble de las aristas, ya que por cada dos ngulos a planos hay una arista pues recordemos que un ngulo a plano es parte de un ngulo slido y tambin del a o e a ngulo slido vecino (al igual que una arista comparte o dos caras), entonces la frmula queda como 2A = P o donde A es el nmero de aristas, y sustituyendo: u
2A = 2F + 2S4 dividiendo entre dos: A=F +S2 Incluso la frmula de Euler puede deducirse de o otras dos proposiciones anteriores de Descartes. Su deduccin es tan directa y simple que algunos autoo res se la atribuyen a Descartes. Tratar de asegurar que Descartes la sab o la hubiera descubierto por a que de su trabajo se puede deducir es equivalente a decir entonces que sab todo lo que se pudiera dedua cir de sus asertos, lo cual es imposible hacer y saber, ni para el caso general ni para el particular. Lo que si queda claro es que Descartes estaba pensando en un slido como tal y no como la supercie, que es o
127
una diferencia sustancial con el trabajo de Euler, por lo que es mas o menos claro que Euler ten mejoa res elementos y argumentos para formular su relacin o que hoy le atribuimos, sobre todo en los trminos en e los que est expuesta, en trminos de vrtices, aristas a e e y caras, deshacindose del interior y dando un paso e fundamental y denitivo para hablar de supercie, de una supercie real y de sus elementos, de un poliedro y no necesariamente un slido, y todo lo que ello o implica. Por otro lado, al teorema que se deduce del trabajo de Descartes que he descrito con cierto detalle, se le conoce como el teorema del defecto total de un poliedro. El defecto angular es la diferencia entre la suma de los ngulos de las caras en un vrtice de un a e poliedro y 2. El teorema de defecto total de Descartes, de las derivaciones anteriores, dice entonces que si un poliedro (convexo) es homeomorfo a una esfera (es decir, topolgicamente equivalente), entonces pueo de ser deformado en una esfera por estiramiento sin desgarrarse o romperse, y el defecto total (la suma de los defectos de todos los vrtices) es 4 radianes e (dos vueltas a la esfera) que se reconecta al resultado y teorema de GaussBonnet que generaliza el resultado de Descartes y demuestra que de hecho el valor caracter stico de Euler indica el nmero de vueltas u del defecto total del poliedro para ajustarse a una esfera y que se conecta al caso especial del trabajo y
128
resultados de la propiedad intr nseca de curvatura de Gauss[33]. En efecto, el resultado de Descartes puede efectivamente ser utilizado para calcular el nmero de vrtiu e ces de un poliedro por medio de la cuenta total de los a ngulos de todas las caras ms el defecto total. a
7.2.
Rigidez y la frmula de Euo ler
Legendre[46] dice haber inspirado a Cauchy[15] con respecto a la relacin de congruencia euclidiao na: dos cuerpos slidos son iguales si tienen el mismo o nmero de caras congruentes entre s pues todos los u , a ngulos, incluidos los ngulos slidos entre las aristas a o son iguales, se est hablando en el fondo del concepto a de volumen, pues lo que dice Cauchy es que la supercie del objeto, es decir las caras del poliedro, determinan los ngulos slidos entre las aristas y por lo tanto a o el volumen. Es lo que Euclides busc sin encontrar, o la forma de comparar dos cuerpos slidos y decidir o cundo uno es congruente con otro, en el sentido del a volumen. Si suponemos que dos pol gonos son iguales entre s si tienen el mismo nmero de lados y de misma u longitud, es obvio que en el tringulo estas dos condia
7.2. LA FORMULA DE EULER
129
ciones lo determinan, es decir, no hay manera de deformar un tringulo sin deformar sus lados, o lo que es a lo mismo, no hay manera de construir dos tringulos a de distinta rea con las mismas rectas. Sin embargo, a esto no sucede a partir del cuadrado, un cuadrado se puede deformar sin que sus lados sufran modicacin o alguna (pinsese en todos los paralelogramos que se e pueden formar con cuatro rectas iguales entre s lo ), mismo para el pentgono y n-gono. Entonces la sia a guiente pregunta se desprende: Pueden deformarse los poliedros sin que se deformen las caras? Es decir, Puede construirse un poliedro con distinto volumen a partir de las mismas caras? De la misma forma, es mas o menos claro que en el caso del tetraedro no puede ste deformarse sin que se deformen los tringulos e a equilteros que forman sus caras, pero que algo sea a ms o menos claro no se parece a demostrarlo, mua cho menos si se pretende dar una respuesta en general para el resto de los poliedros o, si incluso se quiere determinar cules poliedros podr deformarse sin dea an formar sus caras, si acaso stos existen. Sin embargo, e Cauchy[15] se da cuenta, y as lo demuestra, que si se trata de deformar un poliedro deformar sus ngulos a a diedros, es decir, los ngulos entre las aristas, pues las a caras se suponen jas. Sin embargo, todos los ngulos a slidos estn conectados entre s pues uno mismo es o a , parte del otro, por lo tanto es imposible modicar uno sin modicar el resto, pero el resto impide al mismo
130
tiempo que se modique el primero pues se alterar a el invariante de Euler ya que supondr que existe a algn vrtice desconectado del resto por sus aristas, u e es decir, un vrtice adicional que provoca un desbae lance en la frmula de Euler. Cauchy prueba entonces o que los poliedros son estructuras r gidas y estables, que su supercie determina su volumen en tanto no permite deformaciones. Cauchy de hecho prueba un resultado con an mayor alcance e impacto histrico u o pues al probar que los ngulos diedros de un poliedro a convexo estn completamente determinados por los a a ngulos de las caras y la estructura combinatoria, la prueba de Cauchy no hace uso de ninguna magnitud. El hecho de que la supercie del poliedro determine el volumen del poliedro (slido ahora con justicia, o ya que es indeformable), el resultado es uno de los primeros que relacionan la frontera de un objeto con su interior. Luego vendr los teoremas del clculo an a debidos a Green, el mismo Gauss y Stockes quienes desarrollan herramientas para a partir del clculo de a supercies calcular reas y volmenes. Presenciamos a u los origines del clculo y de la topolog modernas. a a El teorema de Cauchy puede reescribirse y generalizarse como: dos poliedros con caras iguales son iguales (congruentes). En otras palabras, la red formada al desdoblar un poliedro en una supercie plana y con las instrucciones de pegado describiendo qu caras se e tocan unas con otras, determina de manera unica la
7.2. LA FORMULA DE EULER forma del poliedro (su volumen y rigidez).
131
Lo que es curioso en el resultado de Cauchy, es que recurre, nuevamente a la manera de Legendre, al invariante de Euler, que es una relacin cualitativa (o o topolgica), para demostrar un hecho a todas luces o cuantitativo, de magnitud, como el volumen de los poliedros, es decir mramente geomtrica. e e
Puede preguntarse entonces cul es la conexin a o entre una relacin meramente cualitativa o topolgio o ca y otra cuantitativa o de magnitud. Si la frmula o de Euler tiene esa inuencia en la geometr que ina cluso permite deducirse de casos muy particulares, la pregunta inversa parece tener sentido. Es posible deducir de la frmula de Euler la geometr entendida o a como magnitudes? Puede ser la frmula de Euler un o criterio de congruencia en el espacio? Ya vimos por Cauchy que si dos slidos tienen el mismo nmero de o u caras congruentes entre s entonces ambos son igua, les (o congruentes) pues contienen el mismo volumen, pues son r gidos, ya que si no lo fueran no se cumplir a la frmula de Euler. o
132
7.3.
De regreso a los fundamentos
El teorema de Desargues (si dos tringulos estn a a en perspectiva desde un punto, entonces estn en persa pectiva desde una recta) o de Pascal (si los seis vrtie ces de un hexgono estn situados en una cnica y los a a o tres pares de lados opuestos se cortan, entonces los puntos de interseccin estn alineados) pueden suso a tituir todos los axiomas de congruencia en el plano que Hilbert dene en sus Fundamentos de la Geometr a[39]. Es decir, Hilbert puede deducir del teorema de Desargues (o del de Pascal) toda la geometr a euclidiana plana, basta slo agregar el axioma de las o paralelas (o quinto postulado de Euclides). Es posible entonces que la formula de Euler cumpla el mismo papel en el espacio que el teorema de Desargues en el plano? Es decir, del teorema de Desargues (o del de Pascal) se pueden deducir todos y cada uno de los axiomas de congruencia del plano (LLL, LAL, ALA). Qu tipo de congruencia puede obtenerse de e la frmula de Euler? Pues bien, precisamente la too polgica, de ah que a la frmula de Euler se le coo o nozca tambin como el invariante o la caracter e stica de Euler en topolog Dos objetos son congruentes a. topolgicamente si existe una transformacin contio o nua de un objeto que me lleve al otro. Efectivamente, la relacin de Euler se conserva cuando esa transo
7.3. DE REGRESO A LOS FUNDAMENTOS 133 formacin se lleva a cabo. Este tipo de congruencia o es mucho ms amplia que la congruencia de la geoa metr euclidiana, por supuesto esta congruencia toa polgica no servir para los nes de la geometr de o a a magnitudes, entre ellas la geometr euclidiana. Pero a basta agregar un axioma de congruencia adicional a la frmula de Euler para deducir entonces s el reso to de los teoremas de congruencia de la geometr a euclidiana, curiosamente el axioma adicional que debe agregarse es uno que descanse en una dimensin o menor, por ejemplo, un axioma de congruencia entre magnitudes de rectas o magnitudes de planos (reas). a As por ejemplo, de la frmula de Euler ms un axio, o a ma que permita determinar la longitud de las rectas proporciona la congruencia de magnitudes que se requiere. Esto es obvio si consideramos por ejemplo el esqueleto de un poliedro. Es obvio que la relacin de o Euler no se ve alterada si estando sin determinar las longitudes de las aristas el poliedro se deforma tanto como se quiera (por supuesto sin cortar ni pegar), y ese es precisamente el problema pues una vez deformados dos poliedros que cumplan la relacin de Euler o no necesariamente tendrn el mismo volumen, ni rea a a en la supercie, pero una vez determinadas las longitudes de sus aristas el poliedro queda determinado. As el esqueleto de un poliedro determina la super, cie (rea) e interior (volumen) del poliedro. De otra a forma, sin un axioma de magnitudes adicional, el tipo
134
de congruencia posible con el invariante de Euler es la topolgica. Y aunque este tipo de congruencia parece o demasiado holgada como para ser util, lo es, y mu cho. Topolgicamente se pueden diferenciar distintos o tipos de objetos topolgicos por su invariante o cao racter stica de Euler, por ejemplo, el invariante sobre una dona (se le conoce como toro en matemticas) u a otro objeto topolgico equivalente a una dona es cero, o es decir:
v+ca=0
(7.2)
Mientras que para esferas, poliedros, elipsoides y muchas otras formas (todas aquellas que son resultado de las deformaciones topolgicas de esferas, poliedros, o etc.). De esta forma, por el invariante de Euler, se puede identicar a un objeto equivalente o distinto topolgicamente (congruente o no) a otro. o La contribucin de Hilbert es relevante, ya que o traslada la atencin de lo que uno debe asumir como o verdad a lo que uno puede asumir como verdad para derivar un resultado geomtrico u otro. As que Hile bert divide sus axiomas en cinco grupos dependiendo de las nociones que capturan, pero tambin se asegura e que cada grupo es consistente (es decir, que no ninguno de los axiomas que contiene se contradicen). De
7.4. LOS EXCESOS DE LEGENDRE
135
esta forma encuentra, por ejemplo, que el teorema de Desargues es independiente de la geometr proyectiva a del plano, lo que quiere decir que agregando el teorema o la negacin del teorema como axioma, el grupo o de axiomas que dan origen a la geometr proyectiva a en el plano son consistentes. De ello se deduce que el teorema de Desargues podr ser falso en el plano, lo a que es muy poco intuitivo. Finalmente, Hilbert muestra que la negacin del quinto postulado en uno u otro o sentido dan origen a una u otra geometr El tratado a. de Hilbert es meramente lgico, desprovisto de toda o interpretacin de objetos en el espacio. o
7.4.
Los excesos de Legendre
e La obra geomtrica de Legendre Les Elments e de Gomtrie[46] (1794) tiene una riqueza impresioe e nante. No deja lugar a dudas de que se trata de un matemtico orgulloso de lo que sabe y de lo que ina tenta hacer. Su libro VII trata de lo que nos compete: la esfera, la gran ausente en la obra de Euclides. Legendre est bien consciente de este hecho y no slo la a o presenta sino que la sobre explota. Si Euclides omite este objeto Legendre lo utiliza y manipula a su antojo. Inicia presentndonos al protagonista de la histoa ria: La esfera es un slido terminado por una suo percie curva, donde todos los puntos son igualmente
136
distantes de un punto interior llamado centro. Luego sigue deniendo propiedades, como el radio, dimetro a y polos de la esfera, o que si un plano la corta forma un c rculo, el c rculo mayor es aquel que pasa por el centro de la esfera, mientras que un plano que slo la o toca en un punto (el c rculo menor), se dice tangente a la esfera. Inmediatamente, en la denicin VI introduo ce a su personaje coestelar: el tringulo esfrico, aquel a e que es una parte de la supercie de la esfera comprendido entre tres arcos de c rculos mayores, cada arco es un lado del tringulo y los ngulos entre los arcos a a son los ngulos del tringulo. Finalmente nos presena a ta a su personaje secundario, pero no por ello menos importante: el pol gono esfrico, que es una parte de e la supercie de la esfera, y es regular cuando los arcos que lo forman son iguales (subtienden un ngulo a slido de misma magnitud). Una vez exploradas divero sas propiedades de estos personajes nos dirige hacia un lugar nunca antes explorado. Legendre se convierte un maestro saltando de una geometr a otra, de a una dimensin a otra. Dene efectivamente sus objeo tos esfricos sobre la supercie de la esfera, es decir, e un espacio bidimensional pero, sin vacilacin alguna, o sugiere y demuestra propiedades movindose al espae cio tridimensional haciendo uso del ngulo slido para a o decidir cuando dos arcos, dos ngulos en la supera cie o incluso dos tringulos son iguales o congruentes. a En este sentido, en el de la congruencia, Legendre re-
137
suelve tramposa pero elegantemente el problema que exploramos acerca de la condicin asimtrica que no o e consideran los conocidos teoremas de congruencia de la geometr euclidiana en donde se hace uso de la sua perposicin, que no puede llevarse a cabo cuando las o guras a comparar son congruentes, a menos que, se haga una transformacin fuera del plano (dejando la o geometr que se est deniendo y estudiando) para a a voltear el objeto, superponerlo, y vericar la coincidencia. Legendre no hace algo muy distinto, pero si nuevo y elegante. Legendre se apoya en una reexin o del ngulo slido que determina un tringulo esfria o a e co sobre el centro de la esfera al prolongar las l neas que determinan el ngulo esfrico y proyectarlo haa e cia el lado contrario, quedando otro tringulo esfrico a e igual pero antisimtrico que ahora puede superpoe ner a un tercero y vericar la congruencia de los tres (por transitividad, pues si uno es igual a un segundo y el segundo al tercero, entonces el primero lo es al tercero). Sin embargo, es claro que Legendre no omite la transformacin que se le tendr prohibida si no se o a quisiera salirse del objeto de estudio, es decir, la geometr esfrica y bidimensional, al hacer una transa e formacin que habr de denir en libros anteriores, o a como lo es la reexin sobre un punto y luego la traso lacin y/o rotacin. An as la superposicin sigue o o u , o estando fuera del mbito matemtico ya que depende a a nalmente de una apreciacin subjetiva (referente al o
138
sujeto) y no unicamente de la teor matemtica que a a se est deniendo y describiendo. En una edicin ana o terior, Legendre hace la reexin con respecto a uno o de los lados del tringulo esfrico, lo que, ciertamente, a e le permite quedarse en la supercie de la esfera, sin tener que salirse de ella pues lo que hace es prolongar las l neas del tringulo, sin embargo, los ngulos de a a sus tringulos esfricos continan estando determinaa e u dos por los ngulos slidos que dene l mismo desde a o e el centro de la esfera, lo cual implica nuevamente estar fuera de la supercie bidimensional de la esfera.
e Figura 7.2: Elments de gomtrie de Legendre (1794), e e doceava edicin, Chez Firmin Didot, P`re et Fils, Par o e s, 1823. Coleccin personal de H. Zenil. o
Legendre, aparente e inconscientemente, est haa ciendo evidentemente lo que luego ser un siguiente a gran paso, como el que l mismo est haciendo, la e a identicacin de propiedades extr o nsecas e intr nsecas, paradjicamente al estarlas mezclando sin pudor o
139
o reserva alguna en una aventura sin precedentes. Sin embargo, Legendre es v ctima de su proceder. Luego de una lectura del texto a conciencia no hay muchas dudas que el objetivo del libro VII de Legendre es dar una nueva y distinta demostracin del invariante de o Euler acerca de los poliedros (l mismo as lo expree sa en sus propias observaciones), as que mucho de la aventura tiene un claro objetivo, aunque el legado de la aventura por si misma parece haber sido mucho ms fruct a fera para la consecucin evolutiva de o la geometr que su pretendida demostracin. Si bien a o la demostracin de Legendre es elegante, es tambin o e intrigante y en cierto sentido, no mejor que la de Euler, de hecho es restrictiva a su geometr cayendo de a, alguna forma, en la misma trampa en la que Euclides cay 19 siglos antes. o El peso de los argumentos de Legendre descansa en la concepcin de rea que dene. El rea de o a a un tringulo en la geometr esfrica de Legendre es a a e el exceso o la diferencia entre la suma de los ngua los internos de un tringulo (que sabemos que en la a geometr plana euclidiana es igual a dos rectos, es a decir, 180 grados) y dos rectos o 180 grados, es decir, es exactamente lo que reconocer amos como la curvatura, la diferencia entre una supercie plana y una supercie curva. Como la geometr de Legendre es a esfrica, la diferencia siempre es positiva, obsrvese e e que si la geometr en cuestin fuera hiperblica, la a o o
140
diferencia ser negativa, con lo que nos aproximamos a cada vez ms a la distincin buscada de las propiedaa o des intr nsecas del espacio que estudia Gauss, y que de hecho a esa diferencia se le puede asociar, sin problema alguno, el nmero de Riemann que determina u precisamente el tipo de curvatura que Gauss reconoce y sobre la que Legendre ya est trabajando. a Ahora bien, Legendre empieza su demostracin o para cualquier pol gono esfrico, pensando en que e cualquier pol gono esfrico se puede partir en tringue a los esfricos sin que sobre o falte parte alguna del e pol gono. Segn Legendre este paso es claro y obvio, u sin embargo no lo es. Es fascinante como en un paso que obvia est depositada la fuerza argumentativa que a hace de la demostracin un hecho verdadero y vlido. o a Hay otro argumento de peso en la demostracin, que o analizaremos ms adelante y que se reere a algo mua cho ms poderoso que le permite a Legendre sostener a el tipo de geometr que est haciendo (los invariana a tes del c rculo generalizados a la esfera, as como la suma de los angulos opuestos de un cuadriltero debe a ser igual a dos rectos para que por los cuatro vrtie ces pase una circunferencia, en la esfera se debe pedir que tambin, dos a dos, los ngulos slidos sean sue a o plementarios, es decir, formen un ngulo slido plano a o como en el c rculo la suma de los ngulos planos de un a cuadriltero c a clico forman un ngulo rectil a neo, todo ello descansa en el hecho de que no hay semejanza en
141
la esfera y la congruencia que dene Legendre, y a su vez que descansa en las propiedades del tringulo a polar, que se relaciona con el invariante que tambin e encuentra Descarte, que la suma de los angulos ex teriores de los poliedros es ocho rectos, as como la suma de los exteriores de un pol gono es cuatro rectos, y los interiores depende de los lados, se obtiene tambin de la idea de descomponer en tringulos y en e a el caso tridimensionalidad en slidos triedros). De alo guna forma cuando Legendre est hablando de partir a un pol gono est hablando ya de lo que pretende dea mostrar. Obsrvese que al trazar las l e neas (o arcos) en un pol gono para descomponerlo en tringulos (esfria e cos o planos) lo que se hace es generar otra gura a partir de la anterior aumentando el nmero de aristas u y de caras, incluso de vrtices cuando la descomposie cin se auxilia de puntos interiores. Legendre deduce o (para l de manera clara y obvia) que el nmero m e u nimo de tringulos en los que se descompone cualquier a pol gono de n lados es n 2. De donde deduce que el a rea de un pol gono es la suma de los ngulos de los a tringulos en los que lo descompuso menos el produca to de dos ngulos rectos por el nmero de lados del a u pol gono menos dos. De donde entonces obtiene que: s 2(n 2). Sin embargo, este resultado parece ser un caso reducido al plano de la frmula de Euler que quiere deo mostrar. De hecho luego Cauchy lo demostrar para a
142
el plano. Legendre introduce un elemento mtrico (el cone cepto de rea), cuantitativo en algo que aparentemena te es independiente de cualquier magnitud, la frmula o de Euler, de hecho lo relaciona directamente con su concepto de rea, y el rea la dene en trminos exa a e clusivos de los ngulos (del tringulo esfrico, aunque a a e esto permite generalizar a cualquier pol gono esfrico e pues siempre se puede descomponer en tringulos), a como el exceso de la suma de los ngulos internos del a tringulo menos dos rectos. a El problema de la demostracin de Legendre, por o supuesto no es que est errnea sino que al igual e o que nuestro ejemplo anterior, es restrictiva a la geometr que construy, su geometr esfrica. Depende a o a e de su denicin de rea, pues en el plano, por ejemo a plo (plano euclidiano), el exceso o la diferencia entre la suma de los ngulos internos cualquier tringulo y a a dos rectos es cero. As una relacin que no depend de magnitudes , o a ni de geometr alguna, queda restringida a una dea mostracin a una geometr en particular. Por otro lao a do, es cierto que su geometr esfrica no parece jugar a e un papel primordial en su argumento demostrativo pues parece ser un elemento auxiliar para demostrar algo que, aunque no es asunto de magnitudes, est tan a relacionado, es tan propio de toda geometr que puea
143
de deducirse de cualquiera, incluso a partir de magnitudes. Curiosamente en la demostracin de Legendre o de la frmula de Euler no se utilizan tantos argumeno tos esfricos como en proposiciones anteriores. Hay e tres pilares sobre los que descansa la demostracin de o Legendre, el primero es una proyeccin que hace de un o poliedro cualquiera (debe entenderse cualquiera por convexo ya que aunque Cauchy muestra que el invariante de Euler se cumple incluso para casos cncavos o Legendre slo est considerando casos convexos para o a que al proyectar no se traslapen elementos, como aristas o vrtices, aunque muestra tambin Cauchy que e e siempre hay manera de elegir una proyeccin correco ta o incluso proyectar o apachurrar el poliedro en un plano sin alterar la relacin de Euler) sobre la esfeo ra, esto permite justicar una relacin que tiene que o ver con el rea que Legendre dene y que Legendre a demuestra en una proposicin anterior, as su seguno do pilar es su concepto de rea, que descansa, a su a vez, en el tercer y ultimo pilar, en un invariante que no es exclusivo de la esfera sino tambin de los poe liedros, que la suma de los ngulos sobre la esfera es a igual a ocho rectos (o para el caso de los poliedros, que la suma de los ngulos externos del poliedro es a ocho rectos, como Descartes lo deduce), y por tanto que un recto es un octavo de la esfera, es decir, una cuarta parte de un hemisferio, y esa ser la unidad a de medida de Legendre, ya que una cuarta parte de
144
un hemisferio est representado por un tringulo que a a parte de un polo y cuya base es un cuarto del ecuador. Sabemos adems que ese tringulo esfrico tiene a a e un ngulo recto en cada vrtice y que por lo tanto a e la suma de los ngulos internos del tringulo esfrico a a e es tres rectos, lo cual permite denir el rea de un a tringulo como la suma de los ngulos internos de un a a tringulo esfrico menos dos rectos, lo que en este caa e so nos deja con un rea de un ngulo recto, lo que es a a coherente con el hecho de que toda la esfera se cubra con ocho de estos tringulos y por lo tanto toda ella a sean ocho rectos. Entonces es claro que Legendre llega a resultados equivalentes a los de Descartes y que entonces estas propiedades que usa para la demostracin de la frmula de Euler, al no ser exclusivas de la o o esfera sino compartidas con los poliedros, en realidad no descansan directamente sobre la geometr esfrica a e que construye sino sobre invariantes de la geometr a slida a la que pertenecen tanto los poliedros como la o esfera (vista sta como un objeto en el espacio y no e slo como la cscara). Pues la geometr esfrica de o a a e Legendre en realidad est descansando sobre la geoa metr slida pues es la manera en que se le asigna al a o a ngulo slido una magnitud, su magnitud es precisao mente el rea que abarca en la esfera, anlogamente a a a como se hace en el plano, pues la magnitud de la apertura de un ngulo en el plano se determina mediante a el segmento de arco de c rculo que subtiende.
145
Lo que debe subrayarse en ambos casos, tanto en el de Descartes como en el de Legendre, es que ambos descansan sus argumentos sobre la geometr slida a o y que ambos hicieron del estudio de resultados cualitativos que empezaban a asomarse (relaciones entre el nmero de caras, ngulos slidos, ngulos planos, u a o a aristas, vrtices, etc.), el estudio de la geometr slie a o da. As podemos asegurar que la geometr de la esfera a descansa, en este caso, vista como un objeto tridimensional y no como cscara, sobre la geometr slida, a a o que a su vez permite a Descartes llegar a resultados equivalentes y luego, directa o indirectamente, a la frmula de Euler. Una vez desenmaraado el asunto o n de por qu la demostracin de Legendre es ingeniosa e o pero a la vez parece tan distinta de lo que pretende demostrar pues en el fondo lo que est en juego sopora tando su demostracin son invariantes de la geometr o a slida se puede ver con mayor claridad que el arguo mento que permite la demostracin de una relacin o o cualitativa con magnitudes es el hecho de que la relacin cualitativa es tan fuerte que aunque no depende o de las magnitudes si tiene un grado de inuencia sobre ellas de las que puede deducirse sin problema.
Cap tulo 8
Propiedades intr nsecas del espacio

Cuando se estudiaban las propiedades de ciertos objetos matemticos en el siglo IXX, curvas y supera cies, se sol hacer desde un punto de vista extr a nseco. Se estudiaba una supercie incrustrada en un espacio euclidiano de 3 dimensiones. Usualmente objetos bidimensionales eran puestos en espacios tridimensionales como marco de estudio, de donde se derivaban propiedades del objeto dimensional a partir, y en dependencia, del marco de dimensin mayor. o 147
148
ITULO 8. CURVATURA CAP Los trabajos de Riemann y Gauss introducen una
inovacin: el estudio de las propiedades intr o nsecas de estos objetos, es decir, lo que se puede deducir de ellos sin hacer recurso a incrustarlos (verlos) inmersos en espacios de mayores dimensiones, sin referencia alguna al exterior de la supercie en estudio. El punto de vista intr nsico result fundamental o por varias razones, por ejemplo, f sicas. Cul ser a a el sentido en la relatividad general de Einstein si el espacio-tiempo fuera denido en un espacio exterior (y de mayor dimensin) al nuestro? Paradjicameno o te, algunos modelos modernos hacen uso de no slo o una sino varias dimensiones exteriores para intentar explicar y unicar ciertos fenmenos f o sicos derivados de la mecnica cuntica. a a Veinte siglos despus de Euclides y su recurso de e superposicin, Kant escribe acerca de las propiedades o del espacio: Porque mi mano derecha e izquierda no puedo embonarla, la regin del espacio o de una jams ser la regin de la otra, son a a o simtricas e idnticas una con otra. e e En su Disertacin Inaugural (1770) Kant identio ca al menos cinco preguntas fundamentales acerca del espacio y del tiempo. Kant se interesaba por el concepto de espacio (y tiempo) y conoc el trabajo a
149 los debates entre las posiciones de Newton y Leibniz, con quin (este ultimo) se identicara en su periodo e precr tico. ?Es el espacio real? ?Es una substancia o una propiedad de la substancia? Kant concluye que el espacio y el tiempo son inaccesibles e inmutables, y por lo tanto dif ciles de asociar con la substancia. La posicin realista simplicada de Newton consist en o a considerar tiempo y espacio como entidades mientras que, en pocas palabras, para Leibniz no eran mas que relaciones entre objetos y eventos, una posicin ms o a bien idealista y estructuralista. Finalmente Kant describe espacio (y tiempo) como elementos utilitarios en los que estructuramos nuestra experiencia, una intuicin dependiente de las facultades humanas. o La discusin acerca de las propiedades del espao cio en el siglo XVII era comn a la losof y a las u a matemticas. Pero en el espacio f a sico, al menos el nuestro, la velocidad de la luz resultar comportarse a de manera peculiar. Resulta que cuando dos objetos se mueven con respect a un tercero, el movimiento entre cualesquiera par es relativo a los otros. Si dos de ellos, por ejemplo, se mueven a la misma velocidad y direccin, el uno aparecer inmvil al otro pero no o a o al tercero. Por el tiempo de Kant, y sobre todo en el siglo XVIII el clculo de la velocidad aproximada de a la luz fue posible y en la teor de Einstein jugar a a un papel fundamental que conectar tiempo y espaa cio en una peculiar e inesperada manera. De la teor a
150
ITULO 8. CURVATURA CAP
de la relatividad se deduce que la luz no se comporta como los dems objetos, la luz viaja a la misma veloa cidad independientemente del marco de referencia o de los objetos en movimiento. La luz, o mejor dicho la velocidad de la luz, es una propiedad fundamental de nuestro espacio (y tiempo). La relatividad general designar la curvatura del espacio como una propiea dad (o consecuencia) de la existencia de la materia que lo deforma. En el sentido matemtico es Gauss a quien identica y se interesa por la diferencia entre propiedades matemticas intr a nsecas y extr nsecas del espacio. Gauss se hab interesado por la teor de las paraa a lelas y, desde 1816, estaba convencido de que el quinto postulado de Euclides era indemostrable a partir de los otros cuatro y de las deniciones y nociones comunes; y que, junto a la geometr euclidiana, era a posible una geometr en la que existiesen varias paraa lelas a una recta pasando por un punto. Luego Lobachevsky desarrollar formalmente dicha teor y auna a que Gauss nunca public nada al respecto, su nueva o concepcin del espacio apareci en su obra de geoo o metr diferencial titulada Disquisitiones generales a circa supercies curvas en 1827[33], en la que desarrolla la geometr de las supercies. a El trabajo de Gauss da origen a lo que conocemos hoy como geometr diferencial, se llama diferencial a
151 debido a que utiliza como herramienta fundamental al clculo diferencial, de hecho la curvatura del espaa cio se describe mediante una ecuacin (diferencial) y o el resultado de sta determina el tipo de geometr de e a la supercie, medido sobre la supercie (euclidiana, la hiperblica o el o ptica), en este sentido la geometr a diferencial las contiene pero no es en s misma una geometr sino una herramienta matemtica que las a a caracteriza mediante propiedades generales de todo espacio, es decir, intr nsecas a l, el tipo de geometr e a o supercie por el valor de curvatura, as si la curva tura del espacio es negativa, positiva o nula, ser una a u otra de las geometr mencionadas. as Un plano euclidiano se determina por cuatro ngua los rectos (es decir, una vuelta completa de 360 grados). En 3 dimensiones en el espacio euclidiano alrededor de un punto caben ocho ngulos rectos y en a general en el espacio n-dimensional alrededor de un punto en ese espacio caben 2n ngulos rectos, as por a ejemplo, en un espacio de una dimensin, alrededor o de un punto hay dos ngulos rectos, lo cual es poco a intuitivo pues pareciera sin sentido la idea de ngulo a cuando todo lo posible es una sola recta, sin embargo debe recordarse la denicin euclidiana (denicin 10 o o del libro I de los Elementos de Euclides) de ngulo a recto: Cuando una recta levantada sobre
152
ITULO 8. CURVATURA CAP otra recta forma ngulos adyacentes iguaa les entre s cada uno de los ngulos iguales , a es recto y la recta levantada se llama perpendicular a aquella sobre la que est. a Adyacente se reere a uno junto al otro, o uno se-
guido del otro. Es claro que la idea de levantar una recta sobre otra en un espacio de dimensin uno dono de lo unico posible es una sola recta es un tanto ex traa, pero posible por vacuidad, es decir, en ese caso n la recta levantada es un punto que yace sobre la misma recta en donde efectivamente los ngulos adyaa centes formados son iguales entre s (puede pensarse, sin perder consistencia para nuestros nes, que ambos ngulos formados miden cero), por lo tanto, es a posible la existencia de ngulos rectos en dimensin a o uno (de la misma forma en dimensin cero). Si hay o quien se siente incmodo con este hecho (y con cierta o razn pues es un uso degenerado de ngulo recto y o a de las deniciones euclidianas), puede pensar que la frmula 2n para calcular ngulos rectos en espacios o a n-dimensionales vale slo para espacios de dimensin o o n 2. Ya que adems, siendo rigurosos, el problema a puede ser con la denicin euclidiana de ngulo (deo a nicin 9, justo antes de la de ngulo recto, en el libro o a I de los Elementos de Euclides): Un ngulo plano es la inclinacin mua o tua de dos l neas que se encuentran una a
153 otra en un plano y no estn en l a nea recta. Por supuesto, el problema es que Euclides restringe su denicin a la existencia de planos. Sin embargo, o tambin es cierto que en la denicin anterior Euclie o des slo considera ngulos menores a dos rectos pues o a de otra forma su denicin se hace ambigua en tanto o que es imposible determinar a cul ngulo se reere, a a si al menor que forman las rectas que se encuentran, o al mayor que le da la vuelta por el otro lado. As , de alguna forma una misma denicin euclidiana se o adapta e interpreta para los nes euclidianos sin que sea mayor problema (en todo caso es una discusin o rigorista pero de forma y no de fondo, una discusin o de fondo, por ejemplo, es preguntarse si es necesario el quinto postulado en la geometr euclidiana o no, a interrogante que dur al menos 17 siglos despus de o e Euclides, pero es de fondo no por que haya durado tanto tiempo sin resolverse del todo sino por que de ello depende precisamente la existencia y posibilidad de una geometria euclidiana). Por lo tanto, si la denicin se adecua sin que afecte de forma alguna a la o geometr en cuestin (la euclidiana) para que puea o da ser aplicada en n dimensiones, nuestra denicin o de ngulo recto vale para los casos que exploramos, a desde dimensin cero hasta n. o Sin embargo, lo importante es detectar cmo esta o
154
frmula 2n , para calcular el espacio en angulos reco tos alrededor de un punto cualquiera en un espacio cualquiera, depende de n, es decir, de la dimensin, y o por lo tanto, no puede ser una propiedad intr nseca a cualquier espacio, es decir, que valga para cualquiera sin importar la dimensin (mtrica) o curvatura, sino o e una propiedad heredada de la dimensin, es decir, del o espacio en particular del que se trata. En este mismo ejemplo puede verse cmo esta misma propiedad si es o independiente de la curvatura, ya que en toda geometr el espacio alrededor de un punto cualquiera a, sigue siendo 2n (aunque en principio esto no parece intuitivo pues pareciera que en la geometr esfria e ca habr ms espacio, pero no al menos en trminos a a e de ngulos rectos, ya que recordemos que, un ngulo a a recto es lo que parte el espacio en regiones del mismo tamao, segn nuestra denicin euclidiana) donde n u o la curvatura no juega ningn papel en el clculo del u a mismo. De la misma forma, el hecho de que slo puedan o construirse cinco slidos platnicos o poliedros reguo o lares en el espacio tridimensional es una propiedad heredada de la dimensin y de la curvatura ya que o no es una propiedad que compartan los dems espaa cios posibles (para cualquier dimensin o curvatura). o Por ejemplo, la cantidad de poliedros regulares en un espacio de cero dimensin es de uno, el punto (el o punto es un poliedro por que todos sus lados y ngua
155 los son iguales entre s en una dimensin el nmero ), o u de poliedros es de slo uno, pues la unica gura posio ble en una dimensin es la recta, hay muchas rectas o sin duda, pero todas ellas son un mismo poliedro excepto por la escala (longitud). De la misma forma, la cantidad de poliedros en dimensin dos, o mejor o conocidos como pol gonos, son una innidad, pues a partir del tringulo, que tiene tres lados, pueden aua mentarse indenidamente la cantidad de lados, empezando por el cuadrado luego el pentgono, hexgono a a hasta el n-gono donde n puede ser cualquier nmero a u natural mayor a tres (con dos rectas no se puede cerrar una gura en el espacio euclidiano de dimensin o dos). En realidad la palabra poliedro en cero, una o 2 dimensiones parece no tener sentido pero pinsese que e un poliedro en 2 dimensiones es un pol gono y en una dimensin una recta y en cero un punto, a este ultimo o se le podr llamar puntgono, al anterior rectgono a o o o un gono pues es unico y los nombres son realmente irrelevantes pero graciosos. Un poliedro regular o pol gono regular en cualquier dimensin debe cumplir unicamente con el o hecho de la regularidad, es decir, que las caras, los lados y los ngulos sean iguales, vase otra vez que a e hablar de caras en dimensin dos pareciera no tener o sentido, sin embargo una cara en dimensin dos es una o arista, en dimensin tres es una supercie plana (o peo dazo de plano) pero, siguiendo el orden, en dimensin o
156
cuatro es un poliedro. Esto puede ser an ms confuso u a que elucidatorio pero creo que ser entendido mejor a cuando analicemos los politopos, pues efectivamente la palabra politopo se utiliza cuando se quiere hacer referencia a un poliedro n-dimensional, es decir, que puede pertenecer a cualquier dimensin, aunque geo neralmente este trmino se utiliza cuando se reere a e un espacio de ms de 3 dimensiones, pero puede tama bin ser utilizado sin problema para espacios en tres e siendo entonces sinnimo de poliedro, o en dos siendo o entonces sinnimo de pol o gono. Por supuesto es fcil a imaginarse un pol gono en el espacio tridimensional en el que vivimos, tampoco hay problema alguno con una recta o con un poliedro, pero sin duda es muy dif cil y hasta imposible imaginarse uno de 4 dimensiones, aunque ms adelante podremos ver que esto, aunque a parece una misin imposible, puede entenderse, estuo diarse e incluso imaginarse con algunas restricciones. Es evidente entonces que en un espacio de dimensin o n pueden coexistir poliedros o politopos de n o menos dimensiones pero no de n + 1 dimensiones. La curvatura de una supercie, resulta ser una propiedad intr nseca del espacio porque no depende del sistema de coordenadas y puede inferirse estando sobre la supercie misma.
157 En palabras de Gauss (de la traduccin inglesa): o Por lo tanto, de la frmula precedente o se deduce por s mismo el teorema egregio. Si una supercie curveada se desarrolla en cualquier otra, la medida de curvatura en cada punto permanece intacta. El teorema egregio de Gauss (egregium en lat n signica sorprendente o destacable) es un resultado fundamental que demuestra que por medio de la medida de los ngulos y distancias sobre la supercie, a sin necesidad alguna a un sistema de coordenadas en un espacio de dimensin superior. o El teorema es destacable porque a pesar de que Gauss hace uso de una denicin que requiere de un o sistema de coordenadas que sumerge la supercie en el espacio (para calcular la normal), el resultado nal no depende de la incrustacin de la supercie en el o espacio a pesar de las mltiples operaciones fuera de la u supercie y slo depende de la mtrica de la supercie, o e que es intr nseca a la misma supercie. Para entender por qu la curvatura total es una e magnitud que puede obtenerse estando sobre la supercie, uno puede imaginar tender un hilo alrededor de un punto de referencia P sobre una supercie y trazar una circunferencia de radio r. Si la supercie es plana, la circunferencia ser C(r) = 2r, si no lo a
158
es, entonces como se ha descrito anteriormente, puede ser menor o mayor lo que determina la curvatura de la supercie alrededor del punto sin tenerse que salir de la supercie misma. Para entender el concepto de punto de referencia, curvaturas principales y curvatura total (o curvatura de Gauss), uno puede trazar la normal (el vector unitario perpendicular fuera de la supercie) de una supercie por un punto P , por el que se hace pasar un plano (plano normal) que intersecta la supercie original en una curva a la que se le llama curvatura principal de la supercie en el punto de referencia P . Planos normales distintos producen curvas distintas resultado de las intersecciones, k1 y k2 son la mxia ma y la m nima curvatura de todas las curvas posibles de los planos normales posibles. La denicin de curo vatura de una curva principal es el rec proco del radio de la circunferencia osculatriz (la circunferencia tangente que se aproxima mejor a la curva en el punto). La curvatura principal es positiva si la curva se dobla en direccin de la normal sobre la supercie o y negativo si no. Si se multiplica las dos curvaturas principales se obtiene la curvatura total de Gauss K. La denicin de curvatura (total) de Gauss es por lo o tanto: K = k1 k2 . El teorema egregio indica que en una supercie (que no supongan dilatacin, contraccin o cortaduo o
159 ra), los productos de las curvaturas principales conservan la curvatura total. La curvatura total es constante y positiva para esferas, constante y negativa para hiperboloides (de una sola hoja) y constante y cero para planos y cilindros. La curvatura de Gauss determina si una supercie es, por ejemplo, localmente convexa (cuando es positiva) o como una silla de montar (cuando es negativa).
Figura 8.1: Tres guras cada una con curvatura distinta:

nula (izquierda), positiva (centro) y negativa (derecha).
La alusin a la normal en la denicin original o o de Gauss requiere que la supercie se incruste en un espacio tridimensional ya que utiliza el concepto de un vector que no pertenece a la supercie misma y que se traza en el espacio para construir planos normales que intersecan la supercie en una innidad de curvas. Sin embargo, la curvatura de Gauss es una propiedad intr nseca ya que, por ejemplo, sobre la esfera no hay necesidad de hacer alusin al espacio o saliro se de la supercie de la esfera para medir la suma de los ngulos interiores de un tringulo para determinar a a
160
que suman ms de 180 grados, lo que implica que la a supercie tiene curvatura positiva. Sobre un cilindro, sin embargo, se obtendr una curvatura igual a cero a debido a que la suma de los ngulos es 180 grados, a indistinguible de un plano (un cilindro desenrollado). La diferencia entonces entre la supercie de un cilindro y un plano es extr nseca, ya que sobre ellos es imposible distinguir uno del otro. La curvatura no es una medida invariante a la dimensin. En contraste con l o neas (unidimensionales) curvas, que no tienen una curvatura int nseca sino se les incrusta en otro espacio de mayor dimensin, las o supercies tienen una curvatura intr nseca, independiente del espacio en el que se les ponga. Para entender la diferencia, sobre una l nea unidimensional no hay forma de saber (y la pregunta no tiene sentido) su curvatura, ya que sobre ella parecer la misma. La a pregunta slo tiene sentido si la curva est inmersa en o a el espacio tridimensional (o cualquier otro de mayor dimensin). o La denicin de Gauss permite hacer una caracteo rizacin formal de estas supercies. Por ejemplo, debio do a que una esfera de radio r tiene curvatura positiva y un plano tiene curvatura cero, se dice que estas supercies no son isomtricas ni siquiera localmente, ya e que todo intento por preservar distancias entre uno y otro sera en vano. Por ejemplo, no hay forma de
161 proyectar un plano en una esfera y preservar ngua los y distancias, ni viceversa, como lo sabemos sucede cuando se quieren representar los continentes de la Tierra sobre un plano en el que uno tiene que elegir entre preservar una u otra magnitud, pero no todas, y por lo tanto no hay proyeccin perfecta del mundo en o el plano (que no tome una decisin arbitraria) que no o distorsione las distancias entre puntos sobre la Tierra. La frmula de Gauss-Bonnet connecta la geoo metr (curvatura) de la supercie con su topolog a a por medio de la caracter stica (frmula de Euler). Si o una supercie es deformada, el valor caracter stico de la frmula de Euler no cambia porque es un invariano te topolgico a pesar de que la curvatura cambie. El o t pico ejemplo es el de una esfera, con una abolladura hacia adentro o hacia afuera. No importa qu tan e importante sea la abolladura, mientras no rompa la esfera el valor caracter stico de la frmula de Euler o ser el mismo (dos) y la integral de su curvatura total a 4, un nuevo invariante topolgico que cambia slo o o cuando el invariante de Euler lo hace y que permite, como el invariante de Euler, identicar objetos topolgicamente distintos (e.g. una esfera abollada de o una dona, ya que la primera requerir de hacerle un a agujero, mientras que la segunda requerir taparle el a agujero para transformar una en la otra). Para supercies en mayores dimensiones, las cur-
162
vaturas principales pueden denirse de manera anloa ga trazando espacios normales que intersecan la hipersupercie original, en una simple generalizacin de las o supercies en 2 dimensiones. Estos resultados constituyen y conducen a los fundamentos de lo que se conoce hoy como geometr a diferencial[45, 43]
8.1.
La continuidad del espacio
Ante nuestra percepcin, a travs de todos los seno e tidos, el mundo se nos presenta continuo. Sobre la pregunta mucho se ha escrito. Varios lsofos griegos, o incluyendo Demcrito, imaginaron el universo como o una multitud de particulas irreducibles, de donde viene el trmino tomo o indivisible. Aristteles, sin eme a o bargo, negaba la existencia del vac y por lo tanto de o la idea de part culas discretas con regiones intermedias sin substancia. En su lugar, argumentaba que el universo estaba lleno y de manera continua, de cierta substancia. No son pocos los lugares en donde el tema emerge recurrentemente, entre los libros III y VII de sus Physicae Auscultationes. En el libro VII Aristteles confronta a Zenn en o o su intento, de este ultimo, de probar la inexistencia del movimiento por medio de una paradoja. Zenn o hab argumentado que en un intervalo de cualquier a
8.1. CONTINUIDAD DEL ESPACIO
163
tamao, por el cual algo pod desplazarse, hab n a an un nmero innito de subdivisiones y por lo tanto no u puede ser recorrido en tiempo nito. El argumento asume evidentemente que el segmento cualquiera es de hecho continuo, de otra forma no es innitamente subdividible. La primera respuesta que Aristteles o diera es una que no puede ser refutada, empata la premisa del argumento de Zenn, y resuelve el dileo ma, y sta es que el tiempo es, de manera anloga, e a innitamente divisible y que por lo tanto la innitud del tiempo es suciente para recorrer la innitud de espacio. Luego Aristteles acepta que aunque dicha o respuesta resuelve el intento de Zenn no era sucieno te para determinar su verdad. Ya que deja abierta la pregunta de si el tiempo (como el espacio), son innitamente divisibles. Es donde Aristteles introduce o la idea de innito potencial en oposicin a innito de o facto y que el tiempo es slo potencialmente innio tamente divisible, como lo es en cualquier cantidad continua. En su favor dice que de otra forma, si uno intenta dividir tiempo o espacio, tiene que empezar por un punto y luego recorrer varias direcciones (al menos dos), lo que sustituye el problema por otro, el de dos movimientos distintos en dos tiempos distintos. En el detalle de ambas respuestas es facil perderse, y en conclusin la segunda no parece ms poderosa que o a la primera, ya que tampoco parece responder lo que Aristteles pretend cuando reformul su respuesta o a o
164 a Zenn. o
Entre los conceptos que Aristteles dene en una o aproximacin de posiciones, estn el de estar en cono a tacto o junto o en medio opuesto a estar aparte. As hace igualmente con el concepto de sucesin que o dene como X est en sucesin de Y si entre X y Y a o no hay nada de su mismo tipo y X viene seguido de Y. Entonces dene el concepto de estar conectado o contigo como X est conectado a Y si X est en suu a a cesin a Y y X estn contacto con Y. Para nalmente o e denir el concepto de continuidad como X es continuo con Y si X es contigo a Y y los l u mites en contacto son uno y estn juntos. a En esta escuela, evidentemente el innito es entendido como lo indenidamente divisible, lo que entendemos hoy por el continuo (o conjunto denso ms a tcnica y precisamente) y est e a ntimamente ligado con el fenmeno de movimiento en los trminos de posio e ciones que Aristteles privilegia. o Aristteles termina preguntndose si el innito (en o a cualquiera de sus formas) realmente existe, incluso independientemente de la existencia del continuo pues ste ultimo preere denirlo como el proceso de un ine nito potencial, un proceso de divisin sin l o mite. Esto probablemente le impide darse cuenta que lo que opone al innito, por ejemplo, un intervalo nito continuo de hecho es innito en el sentido de que es innitamen-
165
te divisible. Por otro lado, la denicin de continuidad o de Aristteles termina siendo una denicin de cono o tigidad con la nocin en medio como base, que pone u o en cuestin en ocasiones la misma denicin de divio o sibilidad ilimitada, como Francisco Surez, veremos, a pondr a prueba. La paradoja de Zenn no habr hea o a cho entonces sino abrir una discusin que hoy en d o a, y asumiendo que la paradoja est resuelta de un modo a o de otro, sigue siendo una pregunta abierta aunque mucho hemos descubierto (o inventado) acerca de no slo un innito sino una innidad de ellos. o El trabajo de Francisco Surez[66] es una contia nuacin de las discusiones del continuo de esta eso cuela griega de las que mucho se ha hablado y escrito. Surez (1548-1617) est, sin embargo, inmerso en una a a poca diferente. Surez conoce el trabajo helen e a stico y su trabajo tiene un peso importante porque (segn u Baumann[9] en Lehre von Raum, Zeit und Mathematik, der neuern Philosophie, Berlin, 1868-9) su libro era frecuentemente utilizado como libro de texto en Alemania en el siglo XVIII. Se sabe que Leibniz fue inuenciado por Surez (Baumann) y es frecuentemente a citado por Frege. La discusin de tradicin aritotlica hace una diso o e tincin pertinente entre lo que se considera el innio tio de facto y el innito potencial. La diferencia es fundamental. Cuando uno cuenta 1, 2, 3, 4, . . . los tres
166
puntos signica que la serie contina ad innitum sin u que la serie completa sea dada. Se dice entonces que dicha descripcin es una representacin del innito o o de facto de los nmeros naturales pero la descripcin u o misma es slo una instancia potencial del innito y o no el innito mismo. Entre los argumentos clsicos exponeindo los proa blemas del continuo, estn el de la supercie pintada a de dos colores. De qu color son los puntos en el e borde entre uno y otro color? El argumento es que no pueden ser ambos, pero si son de un color por qu ser de uno y no del otro? e an Surez[66] dedica la primera seccin de su primer a o volumen Disputationes (167) a la exposicin de cono ceptos matemticos. La seccin V de la disputacin a o o 40 es una discusin escolstica clsica en donde exo a a pone 10 argumentos con sus contra argumentos sobre el tema. Uno puede sentir la poca en la que Surez e a estaba inmerso ya que su l nea de pensamiento contra argumentativa est en la misma l a nea de Saccheri. Los diez argumentos de Surez sobre el continuo: a 1. No hay puntos terminalesporque en cualquier forma que dos l neas se unan, se unen de manera continua sin nada en medio(es decir, el punto que supon las un a a). 2. No hay razn para suponer dichos puntos, pues o
167
si qu efecto tiene si se le son removidos? Un e indivisible aadido no hace la l n nea ms larga y a consecuentemente no la hace ms corta si se le a remueve. 3. No hay puntos continuosporque no hay puntos terminales, y un punto continuo no es sino uno que simplemente termina las dos partes de una l nea que divide. 4. Si un punto continuo es necesario para unir las partes por qu las partes no pueden ser unidas e directamente? Si una tercera cosa es necesaria para unirlas, por qu no una cuarta y as ad e innitum? 5. Suponer la existencia de puntos indivisibles en el continuo, implica la existencia del innito de facto. 6. Dios podr remover todos los puntos de una a l nea. Lo que implica dos posibilidades: que quedar algo continuo dividido en cada parte, o a que habr una multitud de puntos por todas a partes. (F. Surez era un jesuita, pero eso no a impide que incluso este punto tenga un inters e anal tico vlido.) a 7. En un cilindro de longitud nita podr haber a una l nea de longitud innita. Una espiral cuya
168
ITULO 8. CURVATURA CAP primer vuelta llegue a la mitad (1/2) del cilindro, la segunda 1/4, la tercera a 1/8 y as suce sivamente.
8. No hay contexto f sico en el que un punto pueda ser dado. 9. Un punto no puede conectar las partes de una l nea, ya que o toca las partes en alguna cosa indivisible, caso en el que entonces toda la l nea consiste en puntos; o toca alguna cosa divisible, que es imposible, ya que un indivisible no puede tocar un indivisible. 10. De acuerdo a Aristteles, una supercie est soo a lamente potencialmente dentro de un cuerpo, y no realmente en la supercie. Algunos de los puntos de Surez no estn lejos a a del propio anlisis de Aristteles sobre el mismo tea o ma, como Surez menciona. El punto siete de Surez a a de hecho es una versin de la paradoja de la tortuga o y Aquiles. El punto ocho llama mi atencin ya que o rompe hasta cierto punto con la tradicin escolstica o a y expone el problema en un contexto f sico, en el que en su opinin, no hay puntos. Como ahora reconoceo mos ms fcilmente, y como Benoit Mandelbrot sol a a a decirlo, en el mundo real no existen l neas ni puntos; las costas no son l neas, las nubes no son c rculos y
169
los truenos no son l neas rectas, cuando desarrollaba su teor de fractales que se ajustan mejor al tipo a de irregularidad aleatoria de los cuerpos y fenmenos o f sicos. Pero recordemos que hasta Kepler se cre por a, ejemplo, que los (errantes) planetas giraban en rbitas o perfectamente circulares (visin tambin aristottilca o e e y luego sostenida por Ptolomeo y su modelo) ya que ningn otro objeto era digno de la creacin divina. u o La misma motivacin divina que llevo al mismo Keo pler considerar que entre las rbitas de los planetas o pod colocar los slidos platnicos para explicar las a o o distancias entre ellos. Lo interesante en Surez es que refuta estos diez a puntos, no sin antes reconocer ciertas dicultades. Primero argumenta a favor del concepto de indivisibilia. Entre estos argumentos se encuentra: un objeto esfrico perfecto debe tocar una sue percie perfectamente plana en un solo punto. Si tocara una parte ms extendida entonces la a esfera tendr una pequea parte plana o la sua n percie tendria partes que son equidistantes al n centro de la esfera, lo que contradice la denicin de esfera o plano. o De manera similar, un cilindro perfecto sobre una supercie plana debe tocar la supercie en una l nea.
170
ITULO 8. CURVATURA CAP Otros argumentos de Surez, basados en fennea o
mos f sicos como la propagacin de la luz o la supero cie del fuego, que parecen sugerir un tipo de continuidad dependiente del continuo potencial que excluye su divisin pero no su existencia. o En sus argumentos contra sus primeros diez argumentos, cuando considera extrao poder trazar el n primer y ltimo punto de una l nea pero no el segundo o el penltimo, Surez llega a la conclusin de que u a o el continuo es esencialmente distinto a una multitud de puntos discretos puestos uno tras otro. Un sealan miento sorprendente a la distancia sabiendo que no es sino hasta Cantor que se considera (y formaliza) que existen un nmero diferente (e innito) de innitos, y u que efectivamente, incluso un nmero innito de punu tos unos tras otros son insucientes para construir un continuo. De hecho Surez proporciona algunas referencias a histricas sobre la discusin histrica del continuo que o o o no son comnmente referenciadas en textos modernos u y que por lo tanto ofrecen un rico acervo de investigacin. o Ms recientemente, Gregory Chaitin, uno de los a fundadores de la teor algor a tmica de la informacin cuestion la existencia de los nmeros reales[17]. o o u Chaitin se pregunta qu sentido tiene el concepto de e continuidad si para que ste exista se requieren de los e
8.1. CONTINUIDAD DEL ESPACIO nmeros reales. u
171
Un principio pitagrico indicaba que todo nmero o u es un cociente de enteros, y que de esta forma cualesquiera dos magnitudes deb ser conmensurables. El an principio pitagrico no fructic ante el problema de o o medir la diagonal de un cuadrado (la hipotenusa de un tringulo rectngulo), pues no es conmensurable a a en el sentido de que su clculo no converge a una cana tidad sino contina indenidamente proporcionando u cifras decimales. Basado en su nmero (Omega) y el argumenu to combinatorio de Cantor (conocido como diagonalizacin), Chaitin expone que la mayor parte de los o nmeros reales no pueden calcularse (obtener las ciu fras decimales) ni son descriptibles en el sentido de que no pueden asignrseles un nombre debido a su a gran cantidad, no slo guradamente, simplemente no o hay conjunto de palabras suciente para nombrar cada uno de ellos. En la historia de las matemticas, a muchos nmeros han sido nombrados, ejemplos son u el nmero que indica el cociente del radio y la lonu gitud de una circunferencia, tambin est e y algunos e a otros. Otros ms, como el nmero de Chaitin son a u tramposamente nombrados, ya que no hay manera de proporcionar sus cifras (a veces slo unas cuantas) o pero ni siquiera es un nmero, es un conjunto de u nmeros cuyas cifras dependen de una mquina. Efecu a
172
tivamente, se dene como la probabilidad de que una mquina muy simple pero poderosa (denominada a mquina de Turing por su inventor) se detenga para a cierta entrada (o programa). Alan Turing demuestra que es imposible saber si una mquina de Turing se a detendr o no, y basado en la tesis de Church, que a indica que no hay mejor o ms poderosa mquina, a a no hay forma de conocer qu mquinas de una lista e a (enumeracin) se detendrn. Las cifras del nmero de o a u Chaitin, por lo tanto, (que por ser una probabilidad slo sabemos que es un nmero real entre 0 y 1) no o u pueden conocerse. Ahora bien, si uno quiere nombrar a todos los nmeros reales, aunque sea con un nombre u arbitrario, digamos que se toma arbitrariamente uno para comenzar, y se le nombra con la letra a, luego se le asigna b al nmero 1 y c a cualquier otro, etc. enu tre cada intervalo hay un nmero innito de nmeros u u reales. En los nmeros reales no hay segundo nmeu u ro (ni en un fragmento) de un intervalo de nmeros u reales. De hecho, slo en el fragmento (0,1) hay tano tos nmeros reales que ni siquiera todas las palabras u nitas posibles alcanzan para cubrir un slo intervalo o de longitud 1 (que por Cantor sabemos adems son a tan numerosos como cualquier otro intervalo, incluso un intervalo innito de nmeros reales, es decir, tou dos). Esto obliga a Chaitin a creer que los nmeros u reales (en el que una gran parte de las matemticas a est fundada) son una util ilusin solamente. a o
173
Es dif concebir un espacio habitable otro que cil continuo, pero ello no quiere decir que el nuestro no lo pueda ser. Pero si no lo es, fennemos como el movio miento son slo aparentes, instantes seguidos de otros, o como en una pel cula que nuestra mente reconstruye y hace parecer de otro modo. En f sica sin embargo, no es poco comn consideu rar fenmenos que intuitivamente parecen continuos o y que de cierta forma no lo son. En relacin con los o argumentos de Surez fundados en las propiedades de a la luz, hoy sabemos gracias a Planck y Einstein que la luz se comporta como un ujo de part culas discretas (llamados cuntos primero, actualmente conocidos coa mo fotones), y no fue de otra forma que Planck pudo resolver el fenmeno relacionado con la intensidad de o la luz que cuerpos a diferentes temperaturas emiten. Si bien es cierto que hay una dualidad extendida a travs de conceptos f e sicos fundamentales, tambin es e cierto que no son pocos las teor y modelos f as sicos que sugieren que nuestro espacio bien podr consa truirse de part culas que no necesariamente forman un continuo, ni que lo sugieren con evidencia. Algunos f sicos han considerado modelos totalmente discretos (e.g. Fredkin, Wolfram). Paradjicamente, Aristteles podr haber estao o a do ms cerca del concepto de topolog que del de a a continuidad, uno sin embargo est a ntimamente con
174
el otro, y aunque ser extremadamente osado decir a que Aristteles podr haber tenido o generado ciertos o a conceptos topolgicos con la nocin de topolog en o o a mente, hay quienes han estudiado las relaciones de los argumentos de continuidad de Aristteles y conceptos o modernos de topolog El concepto de continuidad en a. topolog es fundamental en varios sentidos, por un a lado el concepto de homomorsmo se basa en la idea de transformaciones continuas, es decir, precisamente aquellas que no rompen o pegan (hacerle o quitarle un agujero) un objeto. Cuando esto sucede, que se puede deformar un objeto en otro sin romperlo, bajo esta transformacin continua como la hemos descrio to, se dene una clase topolgica y se consideran los o elementos de la clase de un mismo tipo (o topolgicao mente equivalentes). Por el otro lado estn el concepto a de conjunto abierto y de conjunto compacto, que no tendr sentido al no poderse diferenciar de los conan juntos que no son abiertos (cerrados) y que no son compactos y con los que paradjicamente se denen. o La denicin de estos conjuntos que se sirven del ino nito no es un accidente, son deniciones negativas en el sentido de que denen un objeto describiendo propiedades contrarias de otro, as un conjunto abierto es uno que no es cerrado, pero uno es diferente del otro slamente si se supone el continuo. Es por ello o que la topolog requiere de Rn , un espacio continuo a de dimensin n. o
8.2. POLIEDROS SIN MAGNITUD
175
De hecho es la toplog la que actualmente provee a de las mejores herramientas para describir el continuo a travs de los conceptos que dene y estudia. e En ese sentido las nociones primeras de Aristteles o (y las de Surez) pueden considerarse prototopolgicas a o en el sentido de que capturan ciertos aspectos fundamentales que se utilizaron o reemergieron posteriormente para dar origen a la topolog moderna. a
8.2.
Poliedros sin magnitud
Con excepcin de un cap o tulo que introduce el concepto de grupos de simetr y por lo tanto de la nocin a o que da origen a la teor de grupos, hasta ahora casi a cada cap tulo y seccin de este libro nos han llevado o a nociones primordiales que parece dar origen a algn u concepto fundamental de, por un lado al clculo ina tegral o diferencial, que en la primera parte del texto empezando con Euclides, luego Eudoxo, Newton, Leibniz, Cauchy y Hilbert, convergen en el desarrollo de la nocin de medida y al proceso de asignar o una nmero (longitud, rea o volumen) a un u a objeto matemtico. Por el otro lado, casi cada una a de las secciones de la segunda parte de este texto ha nalizado con alguna nocin fundadora de la teor o a de grcas y de la toplog en general, con Legendre, a a Gauss, Cauchy, Descartes y Euler que nos han llevado
176
hacia los origenes de sta teor moderna. e a La topolog es una geometr cualitativa, en la a a que se deja a un lado las nociones cuantitativas (longitud, ngulo, rea, volumen, etc.), en las que en la a a primera parte del libro estbamos inmersos (propias a de la geometr clsica). A la topolog le interesa, por a a a ejemplo, si un objeto tiene agujeros o no y cuntos, a si tiene bordes bien denidos, si se puede partir en partes conectadas o si se puede transformar en otro deformndolo poco a poco. a
Figura 8.2: Proyectando un poliedro en el plano para generar una grca. Las sombras de las aristas del poliedro a forman una grca plana de tal forma que son segmena tos de l nea recta en la proyeccin. Las caras del poliedro o corresponden a pol gonos convexos que son caras de la proyeccin. La cara ms cercana a la fuente de luz como o a punto de proyeccin corresponde a la cara externa de la o proyeccin, que es tambin convexa. De manera convero e sa, toda grca plana con ciertas propiedades conectivas a proviene, de esta forma, de un poliedro.
Se considera a Euler el pionero de la topolog al a encontrar la relacin que guardan las aristas, caras y o vrtices de cualquier poliedro (sin ajugeros) y al resole
177
ver el famoso problema de los puentes de Knigsberg o y quien se reri a ste como un problema de geoo e metriam situs o geometr de posicin, nombre por a o dems interesante ya que se estaba ya reriendo a a una caracter stica que determina a lo que llamamos hoy topolog es decir, al hecho de que ya no se trata a, de una geometr de magnitudes, de hecho el trmino a e geometr proviene de las ra geo y metr que a ces a signican Tierra y medir, es decir, la medicin de la o Tierra, esto parece obvio en tanto el surgimiento de esta rea de conocimiento parece provenir de la nea cesidad de medir los terrenos de los agricultores de las primeras civilizaciones sedentarias humanas. Sin embargo, en el trmino usado por Euler geometriam e situs o geometr de posicin se hace evidente el hecho a o de que ya no se trata de la medicin de magnitudes o sino de posiciones y relaciones, ya no importa el tamao a diferencia de toda la geometr hasta antes de n a ese momento (basta percatarse que el objetivo de los Elementos de Euclides es sin duda el tema de la magnitud, el clculo de reas, volmenes, etc.). Ya a mea a u diados el siglo XIX, siguieron otros problemas como el de colorear un mapa con slo cuatro colores, plano teado por Francis Guthrie, o el estudio de supercies por Georg. F. B. Riemann y Camille Jordan. Johan B. Listing fue quien acu el termino topolog en su no a art culo Vorstudien zur Topologie en 1847. En el siglo XX se ha utilizado tambin el nombre anlisis e a
178
situs o anlisis de posicin para referirse a la geoa o metr de las supercies. Muchos destacan el art a culo de Henri Poincar anlisis Situs de 1895, como el e a primer estudio sistemtico de la topolog y donde se a a, empieza a tratar con rigor conceptos topolgicos. o Felix Klein deni la topolog como una versin o a o moderna de la geometr Segn l, se pueden clasia. u e car los distintos tipos de geometr de acuerdo al tias po de transformaciones que se permiten realizar (geometr euclidiana por los movimientos euclideanos, a la geometr proyectiva por proyectividades, la geoa metr diferencial por difeomorsmos, etc.). As por a ejemplo, desde el punto de vista topolgico, una esfeo ra, un cubo o la supercie de una naranja representan el mismo objeto geomtrico, no importa el que tenga e picos o est arrugado (como en geometr diferencial). e a Es decir, podemos pasar de uno a otro y viceversa de forma continua, a travs de lo que se llama un homeoe morsmo. Se dice entonces que son espacios homeomorfos. Es popular el dicho de que un toplogo no o distingue entre una dona y una taza de caf. Como e si de objetos de goma elstica se tratase, podemos a doblarlos, estirarlos o encogerlos para pasar de uno a otro. No se permiten transformaciones que puedan provocar una discontinuidad como por ejemplo cortar, pinchar o pegar puntos separados. En n, la topolog en su intento de clasicar los objetos geomtria, e cos salvo homeomorsmo, proporciona herramientas
179
o invariantes que permiten distinguir entre espacios no homeomorfos, y estudia aquellas propiedades que se conservan a travs de homeomorsmos. e La frmula descubierta por Euler que relaciona el o nmero de vrtices, aristas y caras de un poliedro conu e vexo tiene una variante para poliedros no convexos: v a + c = 2 2g, donde g denota el nmero de u agujeros del poliedro.
Cap tulo 9
Por qu 3 e dimensiones
En matemticas, la dimensin de un espacio o un a o objeto se dene como el m nimo nmero de coordeu nadas necesarias para especicar de manera unica un punto en l. Una supercie como un plano, o una ese fera (sin su interior), tiene dimensin dos porque se o necesitan dos coordenadas para especicar un punto en ella. Por ejemplo, en el plano basta con proporcionar un vector con dos entradas (x,y), la coordenada cartesiana, para determinar un punto. De igual forma, en una esfera, dos magnitudes, la latitud y longitud o coordenada polar, para determinar cualquier punto sobre ella. 181
182
ITULO 9. POLIEDROS Y ESPACIOS CAP Para determinar un punto en el interior de una
esfera o de un cubo, sin embargo, se requieren de tres coordenadas y por lo tanto su dimensin es 3. La dio mensin de un espacio (o de un objeto) es una proo piedad intr nseca del espacio (o de un objeto), ya que se puede inferir de sus grados de libertad. En un punto por ejemplo, no hay ningn grado de libertad ya u que se est inmvil sobre una misma coordenada, un a o punto. En una l nea, sin embargo, hay dos direcciones por las que se puede recorrer una l nea, y en tres tres, etc. El nmero de dimensiones en el que vivimos, el u espacio que percibimos, tiene el justo tamao necesan rio para el tipo de part culas que constituyen los objetos en nuestra realidad. Se trata efectivamente del aparente m nimo posible. Vivimos, aparentemente, en el espacio dimensionalmente ms simple posible. No a podr haber tenido 2 dimensiones ya que en 2 dimena siones no hay objeto f sico que sostenga existencia, ya cualquiera ste sea, requiere de un espesor. Todo obe jeto, al menos en nuestro universo, se compone de al menos una particula que ocupa un espacio, un espacio en 3 dimensiones, con largo, ancho y espesor. Por qu no cuatro? Como veremos ms adelante, tal como e a vimos anteriormente con el plano y el espacio, aumentar dimensiones no es una generalizacin trivial del o espacio en 3 dimensiones. Cada vez que se aumenta una dimensin resultados inesperados suceden. o
183 Ms all de la discusin f a a o sica en donde, por ejemplo, la teor de cuerdas predice (requiere) de una a decena de dimensiones adicionales para poderse sostener como posible explicacin del universo, el espao cio que percibimos tiene el m nimo posible. De alguna forma el universo o nuestra percepcin nos han proo ve con cierta simpleza. En 3 dimensiones el nmero do u de simetr es rico pero limitado. Como la teor alas a gor tmica de la informacin a travs de su interpretao e cin geomtrica (Jack Lutz y Elvira Mayordomo) deso e cribe, en un mayor nmero de dimensiones se puede u empaquetar ms informacin. Pinsese en un archivea o e ro con cajones, cuando uno lo abre tiene ancho largo y fondo para organizar documentos. Una dimensin o (espacial) ms ofrecer mayor espacio para organizar a a la misma informacin en el mismo espacio. Evideno temente hablar del mismo espacio es un abuso del lenguaje, ya que un espacio con una dimensin adio cional no es el mismo espacio, pero el fondo es que las dimensiones del nuevo archivero con una dimensin adicional, sin cambiar las medidas de las otras o tres, permitir organizar y almacenar ms informaan a cin. La relacin entre la informacin que se puede o o o almacenar aumentando dimensiones no es lineal, en otras palabras, para almacenar lo que un archivero de 4 dimensiones contiene en uno de 3 dimensiones requiere ms espacio que un aumento lineal en el largo, a ancho y fondo del archivero tridimensional. Un espa-
184
ITULO 9. POLIEDROS Y ESPACIOS CAP
cio tal ser una ventaja en ese sentido, pero mientras a no haya restricciones de espacio en ninguna de las 3 dimensiones siempre es posible empaquetarla informacin de cualquier espacio de otras dimensiones sin o perder informacin, aunque esto requiera de espacios o exponencialmente ms grandes. En ese sentido no es, a entonces, una restriccin fundamental. Como veremos o ms adelante, sin embargo, si hay situaciones en las a que aadir dimensiones produce un espacio que no n es una generalizacin de nuestro espacio de 3 dimeno siones, ni puede hacerse una conversin como la que o mencionamos para empacar informacin en un espao cio u otro. Uno se puede dar el lujo de aadir una dimensin a n o un objeto o incluso visualizarlo tal cual sin aad n rsela, tal como pretendemos hacer cuando vemos una hoja de papel en nuestro espacio tridimensional (aunque la hoja de papel no es un objeto bidimensional, tiene espesor tambin). Pero tan rpido como uno le quita e a una dimensin a un objeto en nuestro espacio (incluso o a la hoja de papel) el objeto en cuestin deja de exiso tir. Es dif pensar en una realidad en una dimensin cil o de menos de tres. Un espacio uni o bidimensional ser a distinto al nuestro en cada aspecto, incluyendo el ms a fundamental, el f sico ya que las part culas de las que estn hechas todas y cada una de las cosas contenidas a en nuestro espacio no parecen poder existir sin una de las dimensiones espaciales. Sin que ello signique que,
9.1. POLIEDROS EN OTRAS DIMENSIONES 185 espacios unidimensionales o bidimensionales reales (y con vida a lo mejor) puedan existir, tan distintos y ajenos como nos parezcan, slo signica que su f o sica y seguramente sus matemticas son radicalmente a distintas.
9.1.
Poliedros en otras dimensiones
Aunque la nocin de ms dimensiones se puede o a remontar a Descartes que aumentando una coordenada a su sistema para determinar la posicin de un o punto en el plano o en el espacio, pod determinar a puntos en espacios de ms dimensiones simplemente a generalizando su mtodo, la geometr de dimensiones e a mayores a tres no se desarroll sino hasta el principio o del siglo IXX con los trabajos algebraicos de Cayley, Hamilton con su invencin de los cuaterniones, o Schli[63] y Riemann[59]. a De forma anloga a los poliedros regulares o slia o dos platnicos en el espacio de 3 dimensiones, puede o pensarse en dimensiones sucesivamente mayores para obtener objetos con propiedades simtricas simie lares. A estos objetos en dimensiones mayores a tres se les conoce como politopos. Trmino utilizado para e nombrar estructuras, equivalentes a los poliedros, pero construidos con celdas, una generalizacin del cono
186
cepto de caras. Entre los ms simples por su nmero a u de dimensiones se encuentran los pol gonos y poliedros descritos que han sido utilizados y estudiados desde la antigedad. u En el siglo XIX Cayley y Schli hab desaa an rrollado una teor de politopos regulares en cuatro a y ms dimensiones, todos ellos preservando simetr a as tal como lo hacen los poliedros regulares en nuestro espacio tridimensional. Schli muestra que en 4 dimensiones (espaciales) a hay slo seis politopos regulares (convexos, como los o slidos platnicos), cinco corresponden a los solidos o o platnicos y uno ms tiene 24 caras (caras en cursio a va porque en 4 dimensiones las caras de los politopos son, de hecho, poliedros de 3 dimensiones). A partir de 5 dimensiones hay solamente tres politopos regulares sin importar cuntas ms dimensiones se agrea a guen. Estos son el tetraedro, el cubo y el octaedro. De inters son tambin los politopos no convexos, descue e biertos en 4 dimensiones en gran parte por tambin e por Schli. a Schli prove una notacin util para describir a e o un vocamente cada politopo con un s mbolo. Un pol gono regular de n lados se denota como {n}. Por ejemplo, el pentgono es representado por {5}. El a s mbolo de Schli para un poliedro regular es {p,q} a si sus caras estn formadas por pol a gonos de p lados
9.2. POLITOPOS DE UN SOLO CORTE
187
y cada vrtice est rodeado de q caras. Por ejemplo, e a el cubo se denota por {4,3}. Y si un politopo tiene por s mbolo {p,q,r}, la caras de de los pol gonos en 2 dimensiones que forman cada celda de 3 dimensiones tienen p lados y se denotan por {p}, y cada celda es un poliedro denotado por {p,q}, las guras de los vrtices e son poliedros regulares ({q,r}), y las guras en cada eje son r-gonos regulares ({r}). En ms dimensiones a el s mbolo de Schli se dene recursivamente como a una lista {p1 , p2 , . . . , pn }. Con esta notacin el politoo po dual de cualquier politopo est representado por a el s mbolo de Schli en orden invertido, y si adems a a stos son iguales entonces el politopo tiene como dual e a s mismo, lo que hace de la notacin un recurso util. o Sorpresivamente, aadir dimensiones no abre el esn pacio para aumentar el nmero de politopos regulau res posibles, por el contrario, primero aumenta con la adicin de uno slo posible y luego se estabiliza o o permanentemente en tres sin importar el nmero de u dimensiones superiores. Esto sugiere que el parametro que dene el nmero de politopos regulares de hecho u no es la dimensin sino la curvatura del espacio. o
9.2.
Politopos de un solo corte
La descomposicin en tringulos est relacionada o a a con una pregunta interesante cuando se ve un espacio
188
No. de

Politopos convexos Politopos no convexos Teselados euclidianos convexas 1 segmento de l nea pol gonos 5 slidos platnicos o o 0 pol gonos estrella 4 slidos Kepler o Poinsot 4 6 politopos (pol coros) 5 6+ 3 5-politopos 3 10 Schlfli a Hess politopos 0 5-politopos 0 3 teselados 1 1 (panal) 0 1 3
dimensiones n 1 2 3
Cuadro 9.1: Nmero de poliedros convexos y no convexos u

y teselados que caben en el espacio de n dimensiones.
dentro de otro y est relacionada con la manera en a que un espacio puede doblarse dentro de otro. Una hoja de papel, por ejemplo, como representacin de un espacio de 2 dimensiones (pues en realidad o una hoja de papel es un objeto de 3 dimensiones, ya que tambin tiene espesor y no hay forma de que objee to alguno no lo tenga) puede doblarse en 3 dimensiones de tal forma que una regin del plano toque otra. o El hecho de que tenga espesor es el motivo por el cual es imposible en la prctica doblar una hoja indea nidamente. T picamente, las hojas de papel pueden doblarse a lo ms una docena de veces, dependiendo a del tamao y del mismo grosor (el papel llamado de n china, por ejemplo, puede doblarse ms que una hoa ja blanca de papel para fotocopiadora). En la teor a,
9.2. DOBLECES Y CORTES
189
sin embargo, se ha demostrado matemticamente que a cualquier pol gono en el plano puede obtenerse de un nmero nito de dobleces y un solo corte recto. La foru mulacin matemtica se le debe a Martin Gardner[32] o a quin en su columna de Scientic American formula e la pregunta como un problema abierto (sin solucin o conocida) si lo que hab visto anteriormente, trucos a de un solo corte para realizar guras complejas, era posible en el sentido ms general, es decir, para cuala quier gura. Evidentemente la pregunta y respuesta estn muy relacionadas con la prctica del origami y a a por lo tanto comenz como un pasatiempo con inso tancias antiguas que se remontan a un libro de Kan Chu Sen en Japn del ao 1721. o n De hecho el resultado (y teorema matemtico) asea guran que no slo cualquier pol o gono convexo, pero tambin no convexo e incluso cualesquiera dos gue ras desconectadas (mientras sus lados sean rectos, de otra forma el corte unico tendr que ser curvo, y ste a e es posiblemente un problema distinto y no necesariamente con respuesta simple derivada del corte recto). Erik D. Demaine[24] es uno de entre algunos de los investigadores que han publicado resultados del problema propuesto y formulado originalmente por Martin Gardner. Curiosamente, el problema resulta de gran utilidad en geometr computacional, ya que las compua
190
Figura 9.1: Tres ejemplos de Erik Demaine de guras obtenidas de un nmero nito de dobleces y un slo corte u o recto. Demaine prueba que cualquier gura con lados rectos puede obtenerse del mismo modo, dobleces y un slo o corte recto.
tadoras (u ordenadores) despliegan solamente objetos poligonales (los monitores se componen de pixeles, que no son mas que unidades de luz, puntos de luz que contiguos forman l neas). Cuando una computadora despliega algo que parece curvo, una textura, una sombra por ejemplo, el generador de imgenes rea produce el nmero de pol u gonos necesarios para darles forma y existencia en nuestra mente. El hecho de que cualquier pol gono pueda obtenerse de una combinacin de transformaciones simtricas y un solo coro e te provee de nuevos algoritmos de geometr compua tacional. El resultado no son slo aplicaciones novedoo sas, sino otras preguntas tericas relacionadas con el o tiempo (por ejemplo, nmero de dobleces) necesarios u para en un solo corte generar una gura. El problema parece gritar que se reformule para cualquier espacio, es decir, si en 4 dimensiones un espacio de tres puede doblarse para que de un slo corte o
191
se obtenga cualquier objeto tridimensional. Un arquitecto en 4 dimensiones podr construir, por ejemplo, a una casa (de 3 dimensiones) haciendo un solo corte recto. Otros problemas relacionados con caracter sticas y algoritmos de poliedros que se desdoblan sin encimar ninguna de sus partes constituyen un conjunto de preguntas abiertas. Se sabe por ejemplo, que si se crea un poliedro con caracter sticas al azar (y por lo tanto no necesariamente convexo), al desdoblarse en 2 dimensiones alguna de sus partes se encima con toda certeza. Tambin se sabe que no todos se enciman, e como sabemos es el caso de los slidos platnicos dado o o que son convexos y que estn por lo tanto limitados a a cinco. La generalizacin de resultados de dobleces y coro tes en espacios de ms dimensiones es, sin embargo, a no trivial. Tres tipos de objetos son comnmente esu tudiados en espacios de mayores dimensiones. Estos objetos se caracterizan por la estructura de sus gra cas asociadas a las que se les puede aplicar cualquier transformacin que no rompa las uniones. Se trata de o arcos poligonales o cadenas poligonales (simplemente l neas rectas conectadas entre si pero con extremos, es decir, no encierran ningn espacio); ciclos poligonales, u cadenas poligonales cerradas (o pol gonos) y rboles a poligonales. De hecho estos problemas son sumamente intere-
192
santes porque relacionan objetos de dimensin igual o y menor a nuestro espacio f sico con los espacios de n dimensiones y lo que podemos o no hacer en unos y otros. La pregunta asociada al arco poligonal es si cualquiera puede recongurarse en l nea recta, es decir, con todos todos sus ngulos entre los vrtices sumana e do 180 grados. La pregunta asociada con un ciclo (un pol gono) es si puede recongurarse para quedar convexo, plano y con todos los ngulos de sus vrtices ina e teriores menores o iguales a 180 grados (una pregunta que se har tempranamente Erds[30]). Es relativaa o mente fcil demostrar que un pol a gono puede transformarse en convexo si uno no convexo puede ser doblado en cualquier otro. Y por ultimo, la pregunta de si un rbol puede recongurarse en un plano, es dea cir, con todos los vrtices sobre el mismo plano. Las e respuestas resultan no ser invariantes a la dimensin o del espacio[25]. En 2 dimensiones, por ejemplo, todo arco puede ponerse en l nea recta, todo ciclo (que es una l nea simplemente) puede (trivialmente) congurarse para quedar convexo (de hecho ya lo era) pero no todos los rboles pueden desdoblarse en 2 dimensiones para a quedar planos. En 3 dimensiones la respuesta es negativa para los tres tipos de objetos, hay conguraciones de arcos en 3 dimensiones que no pueden desdoblarse
193
para quedar en l nea recta (e.g. un nudo de arcos de longitud mayor a la longitud del nudo por el que los arcos ms grandes no pueden sacarse), hay poliedros a que al desdoblarse no quedan convexos y arboles que no quedan planos. En cierto modo, nuestro espacio es muy restrictivo (lo que permite que haya juegos para los que ciertas conguraciones el objeto queda trabado). En 4 dimensiones y ms, por el contrario, a la respuesta a cada una de las preguntas es positiva, de cierta forma siempre hay espacio necesario para manipular los objetos que incluso ocupando todas las dimensiones posibles del espacio que contiene se pueden desdoblar. Esto puede sugerir que el espacio de 3 dimensiones tiene caracter sticas especiales, ms all de la ms a a a obvia que podr ser la que he mencionado con antea rioridad y que consiste en que el nuestro es el espacio con el m nimo posible de dimensiones para que objetos f sicos, constituidos por las part culas que conocemos, puedan existir. Los resultados tambin pueden e sugerir que las tres preguntas de reconguraciones formuladas no son del todo independientes a nuestra nocin de espacio (y por lo tanto a preguntas que nos o parecen interesantes). Las conguraciones nales que involucran aplanar o desdoblar parecen estar ligadas a preguntas fundadas en nociones que dependen del tipo de movimientos que hacemos en el espacio en el que vivimos.
194
9.3.
Politopos en otras curvaturas
En el plano euclidiano la suma de los ngulos intea riores de un tringulo suman 180 grados; en el plano a hiperblico suman menos de 180 grados; y en el plano o el ptico ms de 180. Al descomponer un pol a gono de n lados en tringulos se puede determinar que la suma a de los ngulos interiores del pol a gono es (n 2)180 grados en el plano euclidiano, ms en el hiperblia o co y menos en el el ptico. Por lo tanto, si n 360 grados/k = (n 2)180 grados, entonces el pol gono es euclidiano; si es menos hiperblico y si ms el o a ptico. De la misma frmula se obtiene que al dividir por o n 360 grados y sumar 1/n, el discriminante se convierte en: si 1/n + 1/k = 1/2, entonces euclidiano; si menos, hiperblico y si ms en el el o a ptico. El ngulo de defecto de Descartes es otro discria minante, si ste es positivo entonces permite que en e cada vrtice el poliedro se doble en una dimensin e o adicional y se junte consigo mismo para formar un politopo. Un ngulo de defecto cero tesela el espaa cio con dimensin igual al de las caras del politopo o mientras que un ngulo de defecto negativo no puea de existir en el espacio ordinario pero puede en uno hiperblico. o Si nos interesan el nmero de poliedros en otras u
9.3. POLITOPOS EN OTRAS CURVATURAS 195 curvaturas (es decir, poliedros con mismo nmero de u caras, vrtices y aristas), entonces en el espacio hie perblico, esfrico y el o e ptico, el nmero de poliedros (y u de politopos en ms dimensiones) es el mismo[35], ya a que todos estos espacios son localmente euclidianos. En otras palabras, en estos espacios hay una regin o sucientemente pequea que parece euclidiano. n Por lo tanto, dado un politopo hiperblico, esfrio e co o el ptico, uno puede reducir el tamao del polin topo hasta que se vea como euclidiano y quepa en el espacio euclidiano. De manera inversa, un politopo euclidiano puede incrustarse siempre en una regin o sucientemente pequea de otra curvatura. De hecho n hay transformaciones matemticas para llevar un poa litopo de una curvatura a otra sin mayor problema, bastan algunas intersecciones o proyecciones para llegar de uno a otro. Es ms interesante preguntarse por politopos que a llenan un espacio no euclidiano. Esto es equivalente a preguntarse por teselados. Las propiedades mtricas e como ngulos y distancias en espacios de curvatura a negativa o positiva (o mixta, es decir, de curvatura no constante) no parecen, sin embargo, teselados tradicionales (una repeticin de objetos exactamente iguao les). Los teselados en estos espacios parecen teselados cuya escala y ngulos entre aristas (y por lo tanto caa ras) no es constante, se deforman para adaptarse al
196 espacio.
Sobre la esfera, los poliedros regulares y semiregulares pueden considerarse proyecciones que forman teselados sobre la supercie. Cualquier politopo regular de dimensin n puede verse como una proyeccin que o o forma un teselado en la supercie de dimensin n 1 o de una hiperesfera. Por ejemplo, los slidos platnio o cos, objetos tridimensionales, teselan la supercie de una esfera de dimensin dos. o Por otro lado, los poliedros esfricos que resultan e de la proyeccin de un poliedro en general sobre su o supercie y los teselados posibles sobre la esfera son objetos matemticos del mismo tipo. Teselados sobre a la supercie de una esfera (hiper) esfera pueden considerarse politopos regulares. En 1970, Andreev[3] clasica todos los poliedros hiperblicos en 3 dimensiones y prueba un teoreo ma que indica que los ngulos diedros son descritos a por cinco clases de ecuaciones lineales. Hay cuatro teselados hiperblicos regulares incluyendo el panal o de peque nos dodecaedros hiperblicos denotado por o {5,3,4}, que llena el espacio hiperblico con celdas doo decahdricas. e Un politopo en el hiperespacio bsicamente se doa bla en s mismo para cerrarse y encerrar un volumen nito (lo que preserva la idea de un objeto, el de un politopo), por la misma razn teselados y politopos o
9.3. POLITOPOS EN OTRAS CURVATURAS 197 en este espacio son de cierta forma objetos del mismo tipo, ya que los teselados que se estudian son los que acaban cerrndose en s mismos. Politopos que a no se cierran en el espacio hiperblico son llamados o apeiroedros o apeirotopos.
Bibliograf a
[1] P.S. Aleksandrov, P.S. Urysohn. Mmoire sur les e espaces compacts, Uspehi Matem. Nauk (N.S.) 5 (1)(35), 196202, 1950. [2] E. M. Andreev. On convex polyhedra in Lobacevskii spaces. Mat. Sb. 81(123):445478, 1970. [3] E. M. Andreev. On convex polyhedra in Lobacevskii spaces, (English Translation). Math. USSR Sbornik, 10:413440, 1970. [4] L.C. Arboleda. Les dbuts de lcole topologique e e sovitique: notes sur les lettres de P.S. Alexane dro et Paul S Urysohn Maurice Frchet, Arch. e Hist. Exact Sci. 20 (1), 7389, 1979. [5] L.K. Arboleda. Origins of the Soviet school of topology: Remarks about the letters of P.S. Aleksandrov y P.S. Uryson a Maurice Frchet (Ruse 199
200
IA BIBLIOGRAF sian), Istor.-Mat. Issled. No. 25, 281302; 380, 1980.
[6] A.V. Arkhangelskii y V.M. Tikhomirov, P.S. Uryson. Math. Surveys. 53 (5), 875892, 1998. [7] A.V. Arkhangelskii y V.M. Tikhomirov, P.S. Uryson, Uspekhi Mat. Nauk 53, no. 5(323), 526, 1998. [8] K.B. Athreya, J.M. Hitchcock, J.H. Lutz, E. Mayordomo. Eective Strong Dimension, Algorithmic Information, and Computational Complexity. CoRR cs.CC/0211025. 2002. [9] J. Baumann. Lehre von Raum, Zeit und Mathematik. der neuern Philosophie, Berlin, 1868-9. [10] M. Berger y P. Damphousse. Convexit dans le e plan, dans lespace et au del`: De la puissance a et de la complexit dune notion simple, Tome 2, e Ellipses Marketing, 2006. [11] S.A. Bogatyi, Yu.M. Smirnov y V.V. Fedorchuk, P.S. Uryson. Vestnik Moskov. Univ. Ser. I Mat. Mekh. (3), 34, 1999. [12] J. Bracho. En qu espacio vivimos, Fondo de Cule tura Econmica, 1989. o [13] A. R. Butz. Space lling curves and mathematical programming. Information and Control, 12:314 330, 1968.
IA BIBLIOGRAF
201
[14] M.P. Carmo, (do). Dierential Geometry, Open Court Publishers 1967. [15] A.L. Cauchy. Recherche sur les poly`dres e premier mmoire, Journal de lEcole Polyteche nique 9, 6686, 1813. [16] G. Chaitin. How real are real numbers?, Int J Bifurcat Chaos Appl Sci Eng, 2007. [17] G. Chaitin. How real are real numbers?. http://www.cs.auckland.ac.nz/~chaitin/ olympia.pdf [18] H.S.M. Coxeter. Non Euclidian Geometry, 1998. [19] H.S.M. Coxeter. Regular Polytopes, Dover Publications, 1973. [20] T. Crilly y D. Johnson. The emergence of topological dimension theory, en I.M. James (ed), History of topology, 124, 1999. [21] P.R. Cromwell. Polyhedra, Cambridge University Press, 1964. [22] D. van Dalen y L.E.J. Brouwer, en I. M. James (ed.), History of topology, 947964, 1999. [23] M., Dehn. Uber die Starreit konvexer Polyeder, Math. Ann. 77, 466473, 1916.
202
IA BIBLIOGRAF
[24] E.K. Demaine, M. L. Demaine y A. Lubiw. Folding and Straight Cut Suce, In Proc. 10th. Annual ACM-SIAM Symposium Disc. Alg. Baltimore, MD: ACM Press, pp. 891892, 1999. [25] E.D. Demaine. Folding and Unfolding Linkages, Paper, and Polyhedra,Proceedings of JCDCG 00 Revised Papers from the Japanese Conference on Discrete and Computational Geometry, 2001. [26] R. Descartes. Progymnasmata de solidorum elementis, en Oeuvres de Descartes, vol. X, pp. 265 276 [27] A. Donev, I. Cisse, D. Sachs, E. Variano, F. H. Stillinger, R. Connelly, S. Tarquato y P.M. Chikin, Improving the density of jammed disordered packings using ellipsoids, Science, 303, 990993, 2004. [28] M. Edmonds. Their Use is Wholly Unknown, Vessels for the ancestors, Essays on the Neolithic of Britain and Ireland in honour of Audrey Henshall editado por Niall Sharples y Alison Sheridan, Edinburgh University Press, 1992. [29] L. Euler. Recherches sur les Poly`dres, Premier e Memoire, Journal de Ecole Polytechnique XVI Cahier, Tome IX, p. 68, 1813. [30] P. Erds. Problem 3763. Amer. Math. Monthly, o 42:627, 1935.
IA BIBLIOGRAF
203
[31] P.J. Federico. Descartes on Polyhedra: A Study of the De solidorum elementis, Springer 1997. [32] M. Gardner. Paper cutting, cap tulo 5 de New Mathematical Diversions (Revised Edition), Mathematical Association of America, 1995. [33] C.F. Gauss. Disquisitiones generales circa supercies curvas, 1827. [34] J.J. Gray. Jnos Bolyai, Non-Euclidean Geoa metry, and the Nature of Space, MIT Press, 2004. [35] B. Grnbaum. Convex Polytopes, Graduate u Texts in Mathematics, Springer, 2003. [36] T.L. Hales, Cannonballs and honeycombs, Notices of the American Mathematical Society, 47, 440449, 2000. [37] T.L. Heath. A History of Greek Mathematics, Vol. 1 y Vol. 2, Dover Publications, 1981. [38] T.L. Heath, The thirteen books of the Elements, Dover Publications, 1956. [39] D. Hilbert. The Foundations of Geometry, The Open Court Publishing Company, 1950, (1902 First Edition). [40] D. Hilbert y S. Cohn-Vossen. Geometry and the imagination, AMS Bookstore, 1999.
204
IA BIBLIOGRAF
[41] H. Hinton. Speculations on the Fourth Dimension: Selected Writings of Charles Hinton, Dover, 1980. [42] C. Jordan. The collected works of Camille Jordan 4 volmenes, 19611964. u [43] S. Kobayashi y K. Nomizu. Foundations of Differential Geometry, Vol. 1. Wiley-Interscience, 1996. [44] R.G. Bartle. The elements of Integration and Lebesgue Measure, Wiley Classics Library, John Wiley and Sons, 1966. [45] J.M. Lee. Riemannian Manifolds, An Introduction to Curvature, Springer and Verlag, 1997 e [46] A.M. Legendre. Elments de Gomtrie, 1794. e e [47] N. Lobachevsky y G.B. Halsted. Geometrical Researches on the Theory of Parallels, 2007. [48] E. Mach. Space and Geometry, Open Court Classics, 1906. [49] L.A. Mazel. On reminiscences about PS Uryson, Voprosy Istor. Estestvoznan. i Tekhn. (4), 6975, 1998. [50] E. Pap (ed). Handbook of Measure Theory, North Holland, 2002.
IA BIBLIOGRAF [51] I. tical Newton. The of Principia: Natural
205 MathemaPhilosophy,
Principles
www.snowballpublishing.com, 2010. [52] M. Pasch. Vorlesungen uber nuere Geometrie, 1882. [53] G. Peano. I principii di geometria, logicamente esposti, 1889. [54] F. Pfender y G.M. Ziegler, Kissing Numbers, Sphere Packings, and Some Unexpected Proofs, Notices of the AMS, 2004. [55] M. Pieri. Della geometria elementare come sistema ipotetico deduttivo, 1899. [56] Pokroky, M. Katetov, P.S. Uryson and the beginnings of general topology, Mat. Fyz. Astronom. 19, 251261, 1974. [57] Platn. Dilogos. Obra completa. Volumen VI: o a Filebo. Timeo. Critias. Traduccin, introduccin o o y notas por de M. Angeles Durn (Filebo) y Frana cisco Lisi (Timeo) y (Critias). Traduccin revisao da por Mercedes Lpez Salv (Filebo) y (Timeo) o a y Carlos Garc Gual (Critias). Biblioteca Clsia a ca Gredos 160. 1a. edicin, 2a. reimpresin, Edio o torial Gredos, 2002.
206
IA BIBLIOGRAF
[58] D.S. Richeson. Eulers Gem: The Polyhedron Formula and the Birth of Topology, Princeton University Press, 2008. [59] B. Riemann. Habilitationsschrift, 1854. [60] D. Ross. Physica. (Oxford Classical Texts Series) (Greek Edition), Aristteles (autor), 1951. o [61] C. Rousseau. Keplers conjecture on the packing of spheres, Universit de Montral http:// e e wikis.zum.de/dmuw/images/4/40/Kepler.pdf [62] G. Saccheri. Euclides Vindicatus. (1667), reprinted by Kessinger Publishing, 2007. [63] L. Schli. Theorie der vielfachen Kontinuitt, a a 1852. [64] D.M.Y. Sommerville. An introduction of the geometry of n dimensions, New York E.P. Dutton and Company, Inc. Publishers, 1929. [65] C. Song, P. Wang y H.A. Maske, A phase diagram for jammed matter, Nature, 453, 629632, 2008. [66] F. Surez. Seccin V de Metaphysical Dispua o tation 40 (en lat 1597. n), [67] G.C. Szpiro, Keplers conjecture, John Wiley & Sons, Inc., 2003.
IA BIBLIOGRAF
207
[68] V.M. Tikhomirov. On the centenary of the birth of P S Uryson, Voprosy Istor. Estestvoznan. i Tekhn. (4), 6265; 125, 1998. [69] V.M. Tikhomirov. Two letters to P S Uryson, Voprosy Istor. Estestvoznan. i Tekhn. (4), 66-69, 1998. [70] H. Wussing. Lecciones de historia de la matemtica, Siglo XXI, 1998. a [71] A.P. Yushkevich. cartas de L E J Brouwer a J Hadamard (sobre las biograf de P S Aleksanas drov y P S Uryson, Istor.-Mat. Issled. No. 3233, 522525, 1990. [72] G.M. Ziegler. Lectures on Polytopes, Springer, 1994.
Mondovortoj Scribe Series

Boston Mexico City Paris Sheffield
ISBN: 978-1-4563408-8-9

Lo Que Cabe en Nuestro Espacio by Hector Zenil

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Lo Que Cabe en Nuestro Espacio by Hector Zenil

Încărcat de

Drepturi de autor:

Formate disponibile

Lo que cabe en el espacio

La geometr como pretexto a para explorar nuestra realidad f sica y matematica

I Hacia el concepto de medida y grupo 1

INDICE GENERAL 4.2. Simetr y perfeccin . . . . . . . . . . a o 4.3. Los cinco elementos . . . . . . . . . . 51 54

II Nociones de clculo y topolog a a del espacio 65

5.2. El tercer problema de Hilbert . . . . . 6. Exhaucin y contencin o o

INDICE GENERAL 9. Por qu 3 dimensiones e

... los slidos regulares se dividen en o

Mysterium Cosmographicum (1596) Kepler (1571-1630)

INDICE GENERAL as codicadas solamente. ,

Hacia el concepto de medida y grupo

ITULO 2. NOCIONES PRIMERAS CAP

2.1. FIGURAS ANCESTRALES

2.1. FIGURAS ANCESTRALES

Figura 2.2: Nociones geomtricas del neol e tico. Piedras

2.1. FIGURAS ANCESTRALES

ITULO 2. NOCIONES PRIMERAS CAP

2.1. FIGURAS ANCESTRALES

ITULO 2. NOCIONES PRIMERAS CAP

2.2. SOLIDOS PLATONICOS

ITULO 2. NOCIONES PRIMERAS CAP

Figura 2.3: Los cinco slidos platnicos: tetraedro, heo o

2.2. SOLIDOS PLATONICOS

Los tres ultimos libros de los Elementos

ITULO 3. LOS ELEMENTOS CAP

Figura 3.1: La nueva biblioteca de Alejandr Egipto a,

ITULO 3. LOS ELEMENTOS CAP

ITULO 3. LOS ELEMENTOS CAP

3.1. LA CONSTRUCCION MATEMATICA

ITULO 3. LOS ELEMENTOS CAP

3.1. LA CONSTRUCCION MATEMATICA

ITULO 3. LOS ELEMENTOS CAP

3.2. EL LIBRO TRECE DE EUCLIDES

El libro trece de Euclides

ITULO 3. LOS ELEMENTOS CAP

3.2. EL LIBRO TRECE DE EUCLIDES

ITULO 3. LOS ELEMENTOS CAP

3.2. EL LIBRO TRECE DE EUCLIDES

ITULO 3. LOS ELEMENTOS CAP

3.3. EL ORDEN IMPORTA

ITULO 3. LOS ELEMENTOS CAP

3.3. EL ORDEN IMPORTA

ITULO 3. LOS ELEMENTOS CAP

3.3. EL ORDEN IMPORTA

ITULO 3. LOS ELEMENTOS CAP

3.3. EL ORDEN IMPORTA

ITULO 4. CONSTRUCCIONES CAP

Figura 4.1: Slidos platnicos desarmados o desdoblados. o o

ITULO 4. CONSTRUCCIONES CAP

ITULO 4. CONSTRUCCIONES CAP

ITULO 4. CONSTRUCCIONES CAP

IA 4.2. SIMETR Y PERFECCION

ITULO 4. CONSTRUCCIONES CAP

IA 4.2. SIMETR Y PERFECCION

ITULO 4. CONSTRUCCIONES CAP

Los cinco elementos

4.3. LOS CINCO ELEMENTOS

ITULO 4. CONSTRUCCIONES CAP

Figura 4.4: Placa conmemorativa en una residencia cerca

4.3. LOS CINCO ELEMENTOS al cubo.

4.3. LOS CINCO ELEMENTOS

ITULO 4. CONSTRUCCIONES CAP los que eventualmente se han asemejado.

Nociones de clculo y topolog a a del espacio