Está en la página 1de 9

FIGURAS GEOMTRICAS REGULARES DE N DIMENSIONES Una manera simple de entenderlas Ronald Martnez Rodrguez

Es posible comprender todas las figuras regulares posibles de un universo que contuviera n dimensiones? Si bien existen diferentes formas de explicar la conformacin de cuerpos regulares para varias dimensiones, especialmente para las dimensiones que estn por encima de las tres consideradas reales, no se ha encontrado ninguna manera sencilla de hacerlo que tenga propiedades didcticas, y que permita comprender diferentes tipos de cuerpos geomtricos regulares para cualquier dimensin n. Esto es lo que se propone desarrollar aqu. Para ello bastar con usar teora de series y algunas expresiones algebraicas simples. El objetivo primario consiste en encontrar los valores de una tabla bsica que contiene en las columnas a las dimensiones n, y en las filas a las magnitudes m. Se utilizan 7 dimensiones para que la tarea sea sencilla y manejable, aunque se pueden extender tales dimensiones en forma indefinida con los mismos mtodos usados aqu. En las filas se ubican los trazos, figuras o cortes espaciales regulares (de tal manera que la letra m se refiere a cada magnitud1 que conforma la figura), esto es, si nos referimos a los primeros 4 niveles tendramos: lneas, cuadrados, cubos, e hipercubos. El valor de la magnitud m tambin se puede extender indefinidamente. La tabla que construiremos ser, por tanto, de 4 por 7, indicando en cada fila la magnitud, y en cada columna la dimensin. Con ello quedan definidas las bases para comprender a un nivel ms o menos completo, los diversos cuerpos geomtricos regulares que se forman de la primera a la cuarta magnitud, en el espacio de 1 a 7 dimensiones. Se comienza con la primera lnea de la tabla, esto es la primera magnitud, que corresponde a las lneas. La frmula algebraica o serie que proponemos es la siguiente:

Entiendo por magnitud m, ms precisamente, el nmero de trazos, planos o cortes regulares de la correspondiente magnitud que se deben usar para conformar una figura perteneciente a la dimensin n de la columna a que se refiera. Por ejemplo, se requiere de 4 lneas (magnitud 1) para formar un cuadrado (dimensin 2), mientras que no se puede usar un cuadrado (magnitud 2) para formar una lnea (dimensin 1), por lo que el valor correspondiente es igual a 0.

S1(n) = 2n n/2 Adonde el subndice 1 denota la primera magnitud m, esto es, la de las lneas. Definimos a la frmula marginal como la diferencia entre el valor de S1(n+1) y S1(n), y la denotamos por (n). As: 1(n) = 2n+1 ((n+1)/2)) 2n n/2 = 2n (2(n+1)/2)-(n/2)) = 2n-1 (2n+2-n) 1(n) = 2n-1 (n+2) Para el caso de las dimensiones 1 y 2, calculamos: 1(0) = 20-1 = (1/2) (0+2) = 1 1(1) = 21-1 (1+2) = 3 Como S1(1) = 2n n/2 = 2 (1/2) = 1, lo que se deduce de aqu es que, para la magnitud 1, o sea, la lneal, existe la lnea en la dimensin 1, y 3 lneas ms para la dimensin 2, lo que dara como resultado que los cuadrados (dimensin 2) se forman con 4 lneas. La primera de ellas pertenece a la magnitud 1, la lineal, y las 3 restantes son las definidas por la funcin marginal (1) = 3, que nos dara el total de 4 lneas que conforman un cuadrado. Se procede a calcular el resto de las lneas para cada dimensin: 1(2) = 22-1 (2+2) = 8 1(3) = 23-1 (3+2) = 20 1(4) = 24-1 (4+2) = 48 1(5) = 25-1 (5+2) = 112 1(6) = 26-1 (6+2) = 256 El significado es el siguiente: se requieren 12 lneas para formar un cubo, 32 para formar un teseracto o hipercubo, 80 para un penteracto, 192 para un hexeracto y 448 para un hepteracto. Este sistema algebraico parece darnos resultados correctos, as que pasamos a la segunda magnitud, esto es, la de los cuadrados, como expansin natural de la dimensin lineal. La frmula propuesta es la siguiente: S2(n) = 2n (n/2) ((n-1)/4)) En donde el subndice 2 denota la segunda dimensin. De nuevo, definimos la frmula marginal como 2(n) = S2(n+1) menos S2(n). El lector puede comprobar fcilmente que:

2(n) = 2n (n/8) (n+3) Ahora bien: S2(1) = 21 (1/2) ((1-1)/4)) = 0 Esto significa que hay 0 cuadrados en la primera dimensin, o dicho de otra manera, que los cuadrados no se pueden formar en dicha dimensin. Continuamos con la segunda dimensin usando la funcin marginal: 2(1) = 21 (1/8) (1+3) = 1 Lo que significa que se forma un cuadrado en la magnitud 2, de los cuadrados, en la dimensin 2 (la dimensin plana). Si se quiere saber cuntos cuadrados se formarn en la dimensin 3 se calcula (2): 2(2) = 22 (2/8) (2+3) = 5 Lo que significa que habr 6 cuadrados en la dimensin 3, esto es, la de los cubos. En otras palabras, esto nos dice que los cubos tienen 6 cuadrados. Ahora se puede preguntar cuntos cuadrados tiene un teseracto, esto es, el anlogo al cubo en la cuarta dimensin: 2(3) = 23 (3/8) (3+3) = (24/8)(6) = 18 Lo que significa que hay 24 cuadrados en un teseracto. Se contina con el resto de las dimensiones: 2(4) = 24 (4/8) (4+3) = 56 2(5) = 25 (5/8) (5+3) = 160 2(6) = 26 (6/8) (6+3) = 432 La interpretacin se deja al lector. Se contina con la tercera magnitud m, esto es, la de los cubos. La funcin propuesta, que siguiendo la secuencia no es tan difcil de imaginar es: S3(n) = 2n (n/2) ((n-1)/4)) ((n-2)/6)) La funcin marginal sera: 3(n) = 2n (n/48) (n-1) (n+4)

Por consiguiente, se puede calcular fcilmente el nmero de cubos en las primeras 5 dimensiones, as: 3(1) = 21 (1/48) (1-1) (1+4) = 0 3(2) = 22 (2/48) (2-1) (2+4) = 1 3(3) = 23 (3/48) (3-1) (3+4) = 7 3(4) = 24 (4/48) (4-1) (4+4) = 32 De manera que un cubo se forma en la tercera dimensin, se requieren 8 cubos para formar un teseracto, y hay 40 cubos en un penteracto, esto es, el anlogo del teseracto en quinta dimensin, o lo que es lo mismo, el hipercubo de la quinta dimensin. Continuamos con las dimensiones siguientes: 3(5) = 25 (5/48) (5-1)(5+4) = 120 3(6) = 26 (6/48) (6-1)(6+4) = 400 Esto es, hay 160 cubos en un hexeracto, y 560 cubos en un hepteracto. Hacemos un parntesis para estudiar el teseracto o hipercubo, esa famosa y extraa figura que es el equivalente al cubo en la cuarta dimensin. Si se estira un cubo hacia arriba, saliendo por una de sus aristas, se nos formar la versin aplanada en la tercera dimensin de un teseracto. Con un poco de imaginacin se podr visualizar que se compone de 8 cubos, el inicial, el final, y los 6 que se forman saliendo por cada uno de los lados o cuadrados que conforman el cubo. El teseracto es la figura imaginaria que se acomoda mejor a la comprensin de nuestros sentidos, diseados para el nivel tridimensional, y no para comprender el nivel de cuatro dimensiones, que de alguna manera aparece como falso, puesto que nosotros vivimos en un mundo que aparenta tener slo 3 dimensiones. Con fines de interpretacin podramos decir que la cuarta dimensin es el tiempo, por lo que los teseractos seran parte normal de nuestro mundo aunque no acabemos del todo de comprenderlos, ni podamos mirarlos directamente por una cuestin de perspectiva. Procedemos a intentar representar el teseracto en un mundo tridimensional. Esto tiene una gran importancia prctica puesto que hay controversia sobre si se ha podido comprender plenamente el significado y forma de un teseracto, o si se trata de una cuestin puramente ilusoria. La hiptesis implcita es que el teseracto es un objeto difcil de imaginar, pero posible de representar en forma simple. Vamos a representar el teseracto en una sola tabla plana de 12 por 12 y con el uso de smbolos que representan, cada uno, un cubo o habitacin:

TABLA PARA REPRESENTAR EL TESERACTO APLANADO

8 p 8 p 8 p

k k k

p p p p p p

8 p 8 p 8 p

k k k

p p p p p p

8 p 8 p 8 p

k k k

p p p p p p

Se usan smbolos de color negro para poder hacer la representacin aqu, aunque lo ms recomendable sera asignar un color a cada cubo o habitacin. La estructura contiene 8 cubos distintos que forman un teseracto, estableciendo las conexiones entre las habitaciones de forma ms o menos clara.2 De hecho, se trata de un mosaico de 9 cuadrantes de 4 por 4 habitaciones. Los smbolos seran completamente intercambiables entre s, mientras se respete la estructura general. En suma: la tabla permite entender al teseracto en forma fcil y desde una perspectiva plana. Regresando al cuerpo principal del presente trabajo, podemos ahora estudiar las primeras 7 dimensiones del teseracto. Como habrn imaginado la frmula inicial ser: S4(n) = 2n (n/2) ((n-1)/4)) ((n-2)/6)) ((n-3)/8)) Donde el subndice 4 denota la cuarta magnitud m, esto es, la de los teseractos. La funcin marginal que se deriva de aqu es:

Es necesario aclarar que slo algunas direcciones en el movimiento a travs de la tabla son vlidas. Por ejemplo, muchas de las columnas no mantienen la estructura correcta. Estos defectos son generados por el aplanado de la figura. Como ejemplos de la estructura correcta estn las columnas 2 y 3, las filas 2 y 3, y las diagonales principales. Partiendo de la casilla (6,6) o de la casilla (7,6) se puede obtener una interpretacin sin errores en 6 de las 8 direcciones posibles, lo cual resulta natural puesto que cada cubo tiene slo 6 caras o salidas.

4(n) = (2nn/384) (n-1) (n-2) (n+5) Por consiguiente, se puede calcular fcilmente el nmero de teseractos en las 7 dimensiones, as: 4(1) = (21(1)/384) (1-1) (1-2) (1+5) = 0 4(2) = (22(2)/384) (2-1) (2-2) (2+5) = 0 4(3) = (23(3)/384) (3-1) (3-2) (3+5) = 1 4(4) = (24(4)/384) (4-1) (4-2) (4+5) = 9 4(5) = (25(5)/384) (5-1) (5-2) (5+5) = 50 4(6) = (26(6)/384) (6-1) (6-2) (6+5) = 220 Se concluye que un teseracto se forma en la cuarta dimensin, adems: se requieren 10 teseractos para formar un penteracto, hay 60 teseractos en un hexeracto, y hay 280 teseractos en un hepteracto. Con esto, nuestra tabla inicial de 4 por 7 ha sido completada. En la explicacin est implcita la prueba matemtica de las frmulas por induccin, de una manera que parece simple y estricta a primera vista. Si tomamos los valores especficos de (X), donde X es un nmero cualquiera, se pueden verificar las frmulas sin ningn problema. Adems, si tomamos Sm(n) y le sumamos m(n), tendremos como resultado, necesariamente Sm(n+1). Por tanto, la prueba de las frmulas por induccin matemtica es estricta y evidente.3 Podemos intentar ahora una generalizacin de las frmulas. El nmero n puede ser cualquier dimensin hasta el infinito, se comenzara por verificar que las frmulas Sm(n) y m(n) tambin funcionan en las siguientes dimensiones, hasta llegar a nmeros grandes. La prueba al infinito podra ser resuelta a travs del lmite de n hasta el infinito en las respectivas funciones. Una manera simple de ilustrar esto es recurrir a la frmula generalizada que se define como: Sm(n) = 2n (n/2) ((n-1)/4)) ((n-2)/6)) ((n-3)/8)) ..... ((n-(m-1))/2m) Donde m debe ser mayor que 4, y n mayor que 0. Los trminos en m representan constantes que se fijan cuando se escoge el nivel de la magnitud o trazo a considerar. Con ello son automticamente generados todos los nmeros enteros que aparecen en la frmula. Dicha frmula est definida para cualquier m mayor

La prueba clsica por induccin es comprobar la frmula, en este caso Sm(n), para n igual a uno, luego suponer que es cierta para n, y por ltimo mostrar que Sm(n+1) es igual a Sm(n) ms el correspondiente marginal que en este caso es m(n), lo cual es evidentemente cierto.

que 4, esto es, superior al nivel de los teseractos. Para los niveles de 1 a 4 se usan las frmulas que ya hemos estudiado, las cuales concuerdan con la frmula generalizada. Ahora bien, suponiendo que m es igual a n, podemos saber cuntas figuras de la dimensin correspondiente a su misma magnitud existen para todos los hipercubos de tamao n hasta infinito. Al atar el smbolo m con el smbolo n podemos decir que, para todo m igual a n: Sm(n) = 2n (n/2) ((n-1)/4)) ((n-2)/6)) ((n-3)/8)) ..... ((n-(n-1))/2n) Despejando tendramos: Sm(n) = (2n / 2n) (n/1) ((n-1)/2)) ((n-2)/3)) ((n-3)/4)) ..... (1/n) Observando que la cadena de enes de arriba, es idntica a la cadena de enes de abajo, tenemos: Sm(n) = (2n / 2n) Sm(n) = 1 Esto significa, que siempre que m sea igual a n, es decir, en el nivel de la figura correspondiente a la ensima dimensin, slo va a existir una figura. En otras palabras, slo hay un hexeracto en la sexta dimensin, slo hay un hepteracto en la sptima dimensin, y as sucesivamente hasta llegar a infinito. Recurdese que sta es una serie acumulativa, esto es, si hay slo una figura para cada dimensin n igual a m, entonces, para todo i, adonde cada i nos refiere a un n-i menor que n, el valor de Sm(i) ser igual a cero. Probmoslo para Sm(n-1), con el fin de verificar nuestros clculos, puesto que al ser S una funcin acumulativa, resultar evidente que cada hipercubo o figura m se formar nica y exclusivamente en la dimensin n que le corresponde. Dicho en otros trminos: desde la dimensin 1 hasta la n-1, no se crea ninguna figura. Veamos: Sm(n-1) = 2n-1 ((n-1)/2) ((n-2)/4)) ((n-3)/6)) ((n-4)/8)) ..... [((n-1)-(m-1))/2m] Ahora, recordando que m es un nmero fijo que hemos supuesto igual a n: Sm(n-1) = 2n-1 ((n-1)/2) ((n-2)/4)) ((n-3)/6)) ((n-4)/8)) ..... [((n-1)-(n-1))/2n] Lo cual es evidentemente 0 al restar n-1 de s mismo en el ltimo trmino. La tabla original se ha ampliado entonces para permitirnos concluir que debajo de la diagonal siempre tendremos ceros, mientras que en la diagonal principal, en que m es igual a n, tendremos unos. El resto de los clculos para llenar una matriz cualquiera m por n se realizara a travs de la frmula generalizada, dndole los valores respectivos a m y a n.

Regresemos a la frmula generalizada: Sm(n) = 2n (n/2) ((n-1)/4)) ((n-2)/6)) ((n-3)/8)) ..... ((n-(m-1))/2m) Una rpida inspeccin, junto con lo que ya hemos descubierto sobre sus propiedades, nos permite encontrar la siguiente frmula equivalente, que al mismo tiempo elimina la molesta restriccin de que k tenga que ser mayor que 4. Sm(n) = 2n-k nCk C es el smbolo habitual para las combinaciones de n en k. Se requiere que n sea mayor que 0, y mayor o igual que k. Esta ltima restriccin es necesaria para que se puedan utilizar las combinaciones C, sin que queden indefinidas. Con ello nos deshacemos de todos los ceros que se encuentran debajo de la diagonal. Dicha frmula es la misma que H. S. M. Coxeter obtuvo para resolver el problema de cmo construir hipercubos de dimensin n, lo que sirve para verificar, de nuevo, nuestros resultados.4 Nos queda, por ltimo, el infinito. ste se ubica en el extremo inferior derecho de una matriz infinitamente grande, por lo que parece imposible de calcular. Pero como ya sabemos que la matriz tiene unos en toda la diagonal, y ceros debajo de la diagonal, entonces, se puede especular con bastante seguridad, que el valor ubicado en el punto (n,m) cuando n y m tienden a infinito es de 1. As que slo hay una figura que cumple las condiciones. Puesto que tal figura tiene, aparentemente, infinito nmero de todas las figuras inferiores, se puede especular que se trata de una esfera n-dimensional. El cmo se pueda alguien imaginar una esfera n-dimensional suena misterioso, aunque parece claro que no tendra ninguna irregularidad, puesto que sera perfectamente igual vista desde todas las direcciones, de forma que si se le girara quedara exactamente igual y no se le podran ver protuberancias, vrtices o esquinas en ninguna perspectiva. sta es, en mi opinin, una imagen suficientemente clara de una esfera n-dimensional. En cuanto al problema de la interpretacin, cabe cuestionar sobre la existencia de las figuras aqu estudiadas en la realidad, o de si se trata de una pura especulacin virtual. Al respecto, hasta el nivel del cubo no hay ningn problema aparente: la prueba es la existencia de la lnea, el cuadrado y el cubo como figuras abstractas, y la utilidad prctica que tienen. En el nivel de la cuarta dimensin, pareciera que el teseracto se relaciona con el tiempo, puesto que implica el movimiento del cubo, aunque eso tendra que estudiarse con ms cuidado. La existencia del resto de las dimensiones es algo que no ha podido ser verificado, pero tampoco negado. Adems no implica necesariamente ninguna cuestin espiritual como algunas personas podran pensar, slo se trata de una induccin analgica. Por ltimo, hay que resaltar que el teseracto aplanado en trminos simblicos puede tener valor esttico, arquitectnico y para la comprensin de figuras en cuarta dimensin, tema que tendra que ser analizado y verificado junto con los profesionales de la psicologa,
4

H. S. M. Coxeter. Regular polytopes. Edit. Methuen y Co. Ltd., Londres, 1948, pg. 120.

puesto que parece algo extrao que criaturas que slo perciben objetos tridimensionales puedan comprender completamente un objeto en cuarta dimensin. Tambin resulta asombroso que sea posible especular sobre una figura de dimensin infinita como la esfera n-dimensional. En cuanto a la utilidad prctica de los hipercubos, han sido usados para definir funciones lgicas desde la perspectiva de la lgica difusa, y para el diseo de redes computacionales. Tambin ha sido posible modelar el cdigo gentico con el uso de la sexta dimensin representada por el hexeracto. Se aclara que las pretensiones del presente artculo son limitadas, no pretende haber resuelto un problema tan complejo en tan pocas pginas y con tan pocos elementos. La idea es proponer que se puede encontrar una solucin simple y elegante a un problema en apariencia muy complicado. En todo caso, el texto parece tener un indudable valor didctico. Se da crdito a la Wikipedia en ingls por la definicin y comprensin de los trminos relativos a los hipercubos, especialmente cuando la dimensin es mayor que cuatro. Tambin dicha fuente sirvi para verificar los clculos aqu realizados y su concordancia metodolgica.