Articulo de referencia

600 celdas

(vertices and edges)"},"Type":{"wt":"[[Convex regular 4-polytope]]"},"Last":{"wt":"[[Rectified 600-cell|34]]"},"Index":{"wt":"35"},"Next":{"wt":"[[Truncated 120-cell|36]]"},"Sch...

Neto

En geometría , la celda 600 es el 4-politopo regular convexo (análogo de cuatro dimensiones de un sólido platónico ) con símbolo de Schläfli {3,3,5}. También se conoce como C 600 , hexacosicoron , [ 1 ] hexacosiedroide [ 2 ] e hipericosaedro . También se le llama tetraplex (abreviatura de "complejo tetraédrico") y politetraedro , ya que está delimitado por celdas tetraédricas .

El límite de la celda de 600 está compuesto por 600 celdas tetraédricas , de las cuales 20 convergen en cada vértice. En conjunto, forman 1200 caras triangulares, 720 aristas y 120 vértices. Es el análogo de 4 dimensiones del icosaedro , puesto que tiene cinco tetraedros que convergen en cada arista, al igual que el icosaedro tiene cinco triángulos que convergen en cada vértice. Su politopo dual es la celda de 120 .

Geometría

La celda de 600 es la quinta en la secuencia de 6 politopos regulares convexos de 4 lados en orden de complejidad (medida comparando matrices de configuración o simplemente el número de vértices) y volumen encerrado al mismo radio. [ 3 ] [ 4 ] Puede descomponerse en veinticinco instancias superpuestas de su predecesor inmediato, la celda de 24 , [ 5 ] así como la celda de 24 puede descomponerse en tres instancias superpuestas de su predecesor, el teseracto (celda de 8) , y la celda de 8 puede descomponerse en dos instancias de su predecesor, la celda de 16. [ 6 ]

El procedimiento inverso para construir cada uno de estos a partir de una instancia de su predecesor conserva el radio del predecesor, pero generalmente produce un sucesor con una longitud de arista menor. La longitud de arista de la celda de 24 es igual a su radio, pero la longitud de arista de la celda de 600 es ~0,618 veces su radio, [ 7 ] que es la proporción áurea .

Coordenadas

Radio unitario Coordenadas cartesianas

Los vértices de una celda de 600 de radio unitario centrada en el origen del espacio de 4 dimensiones, con aristas de longitudϕ10,618{\displaystyle \phi ^{-1}\approx 0.618}(dóndeϕ=12(1+5 ){\displaystyle \phi ={\tfrac {1}{2}}{\bigl (}1+{\sqrt {5}}~\!{\bigr )}}es la proporción áurea), se puede expresar [ 8 ] de la siguiente manera:

8 vértices obtenidos de

(0,0,0,±1){\displaystyle (0,\,0,\,0,\,\pm 1)}

mediante la permutación de coordenadas, y 16 vértices de la forma:

(±12,±12,±12,±12){\displaystyle {\bigl (}{\pm {\tfrac {1}{2}}},\,\pm {\tfrac {1}{2}},\,\pm {\tfrac {1}{2}},\,\pm {\tfrac {1}{2}}{\bigr )}}

Los 96 vértices restantes se obtienen tomando permutaciones pares de

(±12ϕ,±12,±12ϕ1,0){\displaystyle {\bigl (}{\pm {\tfrac {1}{2}}\phi },\,\pm {\tfrac {1}{2}},\,\pm {\tfrac {1}{2}}\phi ^{-1},\,0{\bigr )}}

Nótese que los primeros 8 son los vértices de una celda de 16 lados , los siguientes 16 son los vértices de un teseracto , y esos 24 vértices juntos son los vértices de una celda de 24 lados . Los 96 vértices restantes son los vértices de una celda truncada de 24 lados , que se puede encontrar dividiendo cada una de las 96 aristas de otra celda de 24 lados (dual a la primera) en la proporción áurea de manera consistente. [ 9 ]

Cuando se interpretan como cuaterniones , estos son los icosianos unitarios .

En la celda de 24, hay cuadrados , hexágonos y triángulos que se encuentran en círculos máximos (en planos centrales que pasan por cuatro o seis vértices). En la celda de 600 hay veinticinco celdas de 24 inscritas superpuestas, donde cada vértice y cuadrado es compartido por cinco celdas de 24, y cada hexágono o triángulo es compartido por dos celdas de 24. En cada celda de 24 hay tres celdas de 16 disjuntas, por lo que en la celda de 600 hay 75 celdas de 16 inscritas superpuestas. Cada celda de 16 constituye una base ortonormal distinta para la elección de un marco de referencia de coordenadas .

Los 60 ejes y las 75 celdas de 16 lados de la celda de 600 lados constituyen una configuración geométrica , que en el lenguaje de configuraciones se escribe como 60 5 75 4 para indicar que cada eje pertenece a 5 celdas de 16 lados, y cada celda de 16 lados contiene 4 ejes. [ 10 ] Cada eje es ortogonal a exactamente otros 15, y estos son solo sus compañeros en las 5 celdas de 16 lados en las que aparece.

Coordenadas esféricas de Hopf

En la celda 600 también hay pentágonos y decágonos de círculo máximo (en planos centrales que pasan por diez vértices). [ 11 ]

Solo las aristas del decágono son elementos visibles de la celda de 600 (porque son las aristas de la celda de 600). Las aristas de los demás polígonos de círculo máximo son cuerdas interiores de la celda de 600, que no se muestran en ninguna de las representaciones de la celda de 600 en este artículo (excepto donde se muestran como líneas discontinuas).

La celda de 600 puntos contiene 25 celdas de 24 puntos distintas, unidas entre sí por anillos pentagonales. Cada pentágono enlaza cinco celdas de 24 puntos completamente disjuntas, cuyos vértices colectivos son los 120 vértices de la celda de 600 puntos. Cada celda de 24 puntos contiene una quinta parte de todos los vértices de la celda de 600 puntos de 120 puntos, y está unida a los otros 96 vértices (que componen una celda de 24 puntos truncada ) por los 144 pentágonos de la celda de 600 puntos. Cada una de las 25 celdas de 24 puntos interseca cada uno de los 144 grandes pentágonos en un solo vértice. Cinco celdas de 24 puntos se encuentran en cada vértice de la celda de 600 puntos, por lo que las 25 celdas de 24 puntos están unidas por cada gran pentágono. La celda de 600 celdas se puede particionar en cinco celdas de 24 celdas disjuntas (de 10 maneras diferentes), y también en 24 pentágonos disjuntos (inscritos en los 12 grandes decágonos paralelos de Clifford de una de las 6 fibraciones decagonales ) eligiendo un pentágono de la misma fibración en cada vértice de la celda de 24 celdas.

Por simetría, un número igual de polígonos de cada tipo pasan por cada vértice; por lo tanto, es posible explicar los 120 vértices como la intersección de un conjunto de polígonos centrales de un solo tipo: decágonos, hexágonos, pentágonos, cuadrados o triángulos. Por ejemplo, los 120 vértices pueden verse como los vértices de 15 pares de cuadrados completamente ortogonales que no comparten ningún vértice, o como 100 pares duales de hexágonos no ortogonales entre los cuales todos los pares de ejes son ortogonales, o como 144 pentágonos no ortogonales, seis de los cuales se intersecan en cada vértice. Esta última simetría pentagonal de la celda de 600 vértices se captura mediante el conjunto de coordenadas de Hopf [ 12 ] (𝜉 i , 𝜂, 𝜉 j ) dadas como:

({<10} 𝜋 / 5 , {≤5} 𝜋 / 10 , {<10} 𝜋 / 5 )

donde {<10} es la permutación de los diez dígitos (0 1 2 3 4 5 6 7 8 9) y {≤5} es la permutación de los seis dígitos (0 1 2 3 4 5). Las coordenadas 𝜉 i y 𝜉 j abarcan los 10 vértices de los decágonos de círculo máximo; los dígitos pares e impares etiquetan los vértices de los dos pentágonos de círculo máximo inscritos en cada decágono.

Estructura

Secciones poliédricas

Las distancias mutuas de los vértices, medidas en grados de arco en la hiperesfera circunscrita , solo tienen los valores 36° = 𝜋 / 5 , 60° = 𝜋 / 3 , 72° = 2𝜋 / 5 , 90° = 𝜋 / 2 , 108° = 3𝜋 / 5 , 120° = 2𝜋 / 3 , 144° = 4𝜋 / 5 , y 180° = 𝜋. Partiendo de un vértice arbitrario V, se tienen a 36° y 144° los 12 vértices de un icosaedro , a 60° y 120° los 20 vértices de un dodecaedro , a 72° y 108° los 12 vértices de un icosaedro mayor, a 90° los 30 vértices de un icosidodecaedro y, finalmente, a 180° el vértice antipodal de V. [ 13 ] [ 14 ] [ 15 ] Estos se pueden ver en las proyecciones del plano de Coxeter H3 con los vértices superpuestos coloreados. [ 16 ]

Estas secciones poliédricas son sólidas en el sentido de que son tridimensionales, pero, por supuesto, todos sus vértices se encuentran en la superficie de la celda 600 (son huecas, no sólidas). Cada poliedro se sitúa en el espacio euclidiano tetradimensional como una sección transversal paralela a través de la celda 600 (un hiperplano). En el espacio tridimensional curvo de la superficie límite de la celda 600, el poliedro rodea el vértice V de la misma manera que rodea su propio centro. Pero su propio centro se encuentra en el interior de la celda 600, no en su superficie. V no está realmente en el centro del poliedro, porque está desplazado hacia afuera desde ese hiperplano en la cuarta dimensión, hasta la superficie de la celda 600. Por lo tanto, V es el vértice de una pirámide de cuatro dimensiones basada en el poliedro.

La envoltura de primer vértice del poliedro {3,3,5} de 600 celdas forma el icosidodecaedro pentaquis (también conocido como el poliedro geodésico {3,5+} 2,0 de Clase I ), que es el dual del dodecaedro chaflántico (la envoltura de primer celda del poliedro {5,3,3} de 120 celdas ). Contiene 42 vértices, 30 del icosidodecaedro y 12 del icosaedro que se muestra a continuación.

acordes dorados

Geometría plana de la celda 600, que muestra sus 5 polígonos circulares máximos regulares y sus 8 longitudes de cuerda con ángulos de arco. La proporción áurea rige las raíces fraccionarias de cada cuerda y los triángulos áureos radiales que convergen en el centro.

Los 120 vértices se distribuyen [ 17 ] a ocho longitudes de cuerda diferentes entre sí. Estas aristas y cuerdas de la celda de 600 son simplemente las aristas y cuerdas de sus cinco polígonos de círculo máximo . [ 18 ] En orden ascendente de longitud, son:

0,382=2ϕ=ϕ10,618{\displaystyle {\sqrt {0.382\sim }}={\sqrt {2-\phi }}=\phi ^{-1}\approx 0.618}
1{\displaystyle {\sqrt {1}}}
1.382=3ϕ1.176{\displaystyle {\sqrt {1.382\sim }}={\sqrt {3-\phi }}\approx 1.176}
2{\displaystyle {\sqrt {2}}}
2.618=1+ϕ=ϕ1.618{\displaystyle {\sqrt {2.618\sim }}={\sqrt {1+\phi }}=\phi \approx 1.618}
3{\displaystyle {\sqrt {3}}}
3.618=2+ϕ1.902{\displaystyle {\sqrt {3.618\sim }}={\sqrt {2+\phi }}\approx 1.902}
4{\displaystyle {\sqrt {4}}}

En el diagrama, las longitudes de las cuerdas se dan como raíces cuadradas, con una parte fraccionaria decimal si es necesario, donde:

Φ=ϕ10,618{\displaystyle \Phi =\phi ^{-1}\approx 0.618}

es la proporción áurea inversa, y:

Δ=1Φ=Φ20,382{\displaystyle \Delta =1-\Phi =\Phi ^{2}\approx 0.382}

es su cuadrado. Por ejemplo, la longitud del lado de 600 celdas es:

Φ=0.Δ=0,3820,618{\displaystyle \Phi ={\sqrt {0.\Delta }}={\sqrt {0.382\sim }}\approx 0.618}

Las cuatro cuerdas hipercúbicas de la 24-celda (1{\displaystyle {\sqrt {1}}},2{\displaystyle {\sqrt {2}}},3{\displaystyle {\sqrt {3}}},4{\displaystyle {\sqrt {4}}}) alternan con las cuatro nuevas cuerdas de los círculos máximos adicionales de la celda 600, los decágonos y pentágonos. Las nuevas longitudes de cuerda áurea son necesariamente raíces cuadradas de fracciones, pero fracciones muy especiales relacionadas con la proporción áurea, incluidas las dos secciones áureas de5{\displaystyle {\sqrt {5}}}.

Envolventes de límites

Proyección 3D de una celda de 600 elementos realizando una rotación simple . Se observa la superficie 3D formada por 600 tetraedros.

La celda de 600 completa la celda de 24 añadiendo 96 vértices más entre los 24 vértices existentes de la celda de 24, añadiendo efectivamente veinticuatro celdas de 24 superpuestas más inscritas en la celda de 600. La nueva superficie así formada es una teselación de celdas y caras más pequeñas y numerosas: tetraedros de longitud de aristaϕ10,618{\displaystyle \phi ^{-1}\approx 0.618}en lugar de octaedros de longitud de arista1{\displaystyle {\sqrt {1}}}. Encierra el1{\displaystyle {\sqrt {1}}}bordes de las 24 celdas, que se convierten en cuerdas interiores invisibles en la de 600 celdas, como la2{\displaystyle {\sqrt {2}}}y3{\displaystyle {\sqrt {3}}}acordes .

Proyección 3D de una celda de 24 celdas realizando una rotación simple . Se observa la superficie 3D formada por 24 octaedros. Esta superficie también está presente en la celda de 600 celdas, pero como una envoltura interior invisible.

Dado que los tetraedros están formados por aristas triangulares más cortas que los octaedros (por un factor deϕ1{\displaystyle \phi ^{-1}}(la proporción áurea inversa), la celda 600 no tiene longitud de arista unitaria en un sistema de coordenadas de radio unitario como la celda 24 y el teseracto; a diferencia de estos dos, la celda 600 no es radialmente equilátera . Al igual que ellos, es radialmente triangular de una manera especial, pero una en la que los triángulos áureos en lugar de los triángulos equiláteros se encuentran en el centro. Solo unos pocos politopos uniformes tienen esta propiedad, incluyendo la celda 600 de cuatro dimensiones, el icosidodecaedro tridimensional y el decágono bidimensional . (El icosidodecaedro es la sección transversal ecuatorial de la celda 600, y el decágono es la sección transversal ecuatorial del icosidodecaedro). Los politopos radialmente áureos son aquellos que pueden construirse, con sus radios, a partir de triángulos áureos .

La envoltura límite de 600 pequeñas celdas tetraédricas envuelve las veinticinco envolturas de 24 celdas octaédricas (añadiendo algo de espacio de 4 dimensiones en algunos puntos entre estas envolturas curvas de 3 dimensiones). La forma de esos intersticios debe ser una pirámide octaédrica de 4 dimensiones de algún tipo, pero en la celda de 600 no es regular .

Geodésicas

Las cuerdas de los vértices de la celda 600 están dispuestas en polígonos geodésicos de círculo máximo de cinco tipos: decágonos, hexágonos, pentágonos, cuadrados y triángulos. [ 19 ]

Proyección estereográfica centrada en la célula de los 72 decágonos centrales de la matriz de 600 células sobre sus círculos máximos. Cada círculo máximo se divide en 10 aristas de arco en las intersecciones donde se cruzan 6 círculos máximos.

Elϕ10,618{\displaystyle \phi ^{-1}\approx 0.618}Las aristas forman 72 decágonos centrales planos y regulares , 6 de los cuales se cruzan en cada vértice. Así como el icosidodecaedro se puede particionar en 6 decágonos centrales (60 aristas = 6 × 10), la celda de 600 se puede particionar en 72 decágonos (720 aristas = 72 × 10). Los 720ϕ1{\displaystyle \phi ^{-1}}Los bordes dividen la superficie en 1200 caras triangulares y 600 celdas tetraédricas: una celda de 600. Los 720 bordes aparecen en 360 pares paralelos,2+ϕ{\displaystyle {\sqrt {2+\phi }}}aparte. Como en el decágono y el icosidodecaedro, las aristas aparecen en triángulos áureos que se encuentran en el centro del politopo. Los 72 grandes decágonos se pueden dividir en 6 conjuntos de 12 geodésicas paralelas de Clifford que no se intersecan , de modo que solo un círculo máximo decagonal en cada conjunto pasa por cada vértice, y los 12 decágonos en cada conjunto alcanzan los 120 vértices. [ 20 ]

El1{\displaystyle {\sqrt {1}}}Las cuerdas forman 200 hexágonos centrales (25 conjuntos de 16, con cada hexágono en dos conjuntos) [ 21 ] 10 de los cuales se cruzan en cada vértice (4 de cada una de las cinco celdas de 24 que se encuentran en el vértice, con cada hexágono en dos de esas celdas de 24). Cada conjunto de 16 hexágonos consta de las 96 aristas y 24 vértices de una de las 25 celdas de 24 inscritas superpuestas.1{\displaystyle {\sqrt {1}}}Las cuerdas unen vértices que son dosϕ1{\displaystyle \phi ^{-1}}bordes separados. Cada1{\displaystyle {\sqrt {1}}}La cuerda es el diámetro largo de un par de celdas tetraédricas unidas por una cara (una bipirámide triangular ) y pasa por el centro de la cara compartida. Como hay 1200 caras, hay 12001{\displaystyle {\sqrt {1}}}cuerdas, en 600 pares paralelos,3{\displaystyle {\sqrt {3}}}aparte. Los planos hexagonales no son ortogonales (separados 60 grados) pero aparecen como 100 pares duales en los que los 3 ejes de un hexágono son ortogonales a los 3 ejes de su dual. [ 22 ] Los 200 hexágonos máximos se pueden dividir en 10 conjuntos de 20 geodésicas paralelas de Clifford que no se intersecan, de modo que solo un círculo máximo hexagonal en cada conjunto pasa por cada vértice, y los 20 hexágonos en cada conjunto alcanzan los 120 vértices. [ 23 ]

El3ϕ1.176{\displaystyle {\sqrt {3-\phi }}\approx 1.176}Las cuerdas forman 144 pentágonos centrales, 6 de los cuales se cruzan en cada vértice.3ϕ{\displaystyle {\sqrt {3-\phi }}}Las cuerdas van de vértice a cada segundo vértice en los mismos planos que los 72 decágonos: dos pentágonos están inscritos en cada decágono. Unen vértices que son dosϕ1{\displaystyle \phi ^{-1}}bordes separados en un círculo máximo geodésico. El 7203ϕ{\displaystyle {\sqrt {3-\phi }}}Los acordes aparecen en 360 pares paralelos,ϕ{\displaystyle \phi }aparte.

El2{\displaystyle {\sqrt {2}}}Las cuerdas forman 450 cuadrados centrales, 15 de los cuales se cruzan en cada vértice (3 de cada una de las cinco celdas de 24 que se encuentran en el vértice).2{\displaystyle {\sqrt {2}}}Las cuerdas unen vértices que son tresϕ1{\displaystyle \phi ^{-1}}bordes separados (y dos1{\displaystyle {\sqrt {1}}}acordes aparte). Hay 6002{\displaystyle {\sqrt {2}}}cuerdas, en 300 pares paralelos,2{\displaystyle {\sqrt {2}}}aparte. Los 450 cuadrados grandes (225 pares completamente ortogonales ) se pueden dividir en 15 conjuntos de 30 geodésicas paralelas de Clifford que no se intersecan, de manera que solo un círculo máximo cuadrado en cada conjunto pasa por cada vértice, y los 30 cuadrados (15 pares completamente ortogonales) en cada conjunto alcanzan los 120 vértices. [ 24 ]

Elϕ1.618{\displaystyle \phi \approx 1.618}Las cuerdas forman los lados de 720 triángulos isósceles centrales (72 conjuntos de 10 inscritos en cada decágono), 6 de los cuales se cruzan en cada vértice. La tercera arista (base) de cada triángulo isósceles tiene una longitud2+ϕ1.902{\displaystyle {\sqrt {2+\phi }}\approx 1.902}. Elϕ{\displaystyle \phi }Las cuerdas van de vértice a cada tercer vértice en los mismos planos que los 72 decágonos, uniendo vértices que son tresϕ1{\displaystyle \phi ^{-1}}bordes separados en un círculo máximo geodésico. Hay 720 distintosϕ{\displaystyle \phi }cuerdas, en 360 pares paralelos,3ϕ{\displaystyle {\sqrt {3-\phi }}}aparte.

El3{\displaystyle {\sqrt {3}}}Las cuerdas forman 400 triángulos centrales equiláteros (25 conjuntos de 32, con cada triángulo en dos conjuntos), 10 de los cuales se cruzan en cada vértice (4 de cada una de las cinco celdas de 24 , con cada triángulo en dos de las celdas de 24). Cada conjunto de 32 triángulos consta de los 963{\displaystyle {\sqrt {3}}}cuerdas y 24 vértices de una de las 25 celdas de 24 inscripciones superpuestas.3{\displaystyle {\sqrt {3}}}Las cuerdas van de vértice a segundo vértice en los mismos planos que los 200 hexágonos: dos triángulos están inscritos en cada hexágono.3{\displaystyle {\sqrt {3}}}Las cuerdas unen los vértices, que son cuatro.ϕ1{\displaystyle \phi ^{-1}}bordes separados (y dos1{\displaystyle {\sqrt {1}}}separados por cuerdas en un círculo máximo geodésico). Cada3{\displaystyle {\sqrt {3}}}La cuerda es el diámetro largo de dos celdas cúbicas en la misma celda de 24 celdas. Hay 12003{\displaystyle {\sqrt {3}}}cuerdas, en 600 pares paralelos,1{\displaystyle {\sqrt {1}}}aparte.

El2+ϕ1.902{\displaystyle {\sqrt {2+\phi }}\approx 1.902}Las cuerdas (las diagonales de los pentágonos) forman los lados de 720 triángulos isósceles centrales (144 conjuntos de 5 inscritos en cada pentágono), 6 de los cuales se cruzan en cada vértice. La tercera arista (base) de cada triángulo isósceles es una arista del pentágono de longitud3ϕ1.176{\displaystyle {\sqrt {3-\phi }}\approx 1.176}, entonces estos son triángulos dorados . El2+ϕ{\displaystyle {\sqrt {2+\phi }}}Las cuerdas van de vértice a cada cuarto vértice en los mismos planos que los 72 decágonos, uniendo vértices que son cuatroϕ1{\displaystyle \phi ^{-1}}bordes separados en un círculo máximo geodésico. Hay 720 distintos2+ϕ{\displaystyle {\sqrt {2+\phi }}}cuerdas, en 360 pares paralelos,ϕ1{\displaystyle \phi ^{-1}}aparte.

El4{\displaystyle {\sqrt {4}}}Las cuerdas aparecen como 60 diámetros largos (75 conjuntos de 4 ejes ortogonales, cada conjunto compuesto por una celda de 16 ), los 120 radios largos de la celda de 600.4{\displaystyle {\sqrt {4}}}Las cuerdas unen vértices opuestos que son cincoϕ1{\displaystyle \phi ^{-1}}bordes separados en un círculo máximo geodésico. Hay 25 conjuntos distintos pero superpuestos de 12 diámetros, cada uno compuesto por una de las 25 celdas inscritas de 24. Hay 75 conjuntos distintos pero superpuestos de 4 diámetros ortogonales, cada uno compuesto por una de las 75 celdas inscritas de 16.

La suma de las longitudes al cuadrado de todas estas cuerdas distintas de la celda de 600 es 14,400 = 120 2 . [ a ] ​​Estos son todos los polígonos centrales que pasan por los vértices, pero la celda de 600 tiene un círculo máximo notable que no pasa por ningún vértice (un 0-gono). Además, en el espacio de 4 hay geodésicas en la 3-esfera que no se encuentran en planos centrales en absoluto. Hay caminos geodésicos más cortos entre dos vértices de la celda de 600 que son helicoidales en lugar de simplemente circulares; corresponden a rotaciones isoclínicas (diagonales) en lugar de rotaciones simples.

Todos los polígonos geodésicos enumerados anteriormente se encuentran en planos centrales de solo tres tipos, cada uno caracterizado por un ángulo de rotación: planos decágonos ( separados por π / 5 ) , planos hexagonales ( separados por π / 3 , también en las 25 celdas de 24 inscritas) y planos cuadrados ( separados por π / 2 , también en las 75 celdas de 16 inscritas y en las de 24). Estos planos centrales de la celda de 600 se pueden dividir en 4 hiperplanos centrales ortogonales (espacios de 3), cada uno formando un icosidodecaedro . Hay 450 cuadrados grandes separados por 90 grados; 200 hexágonos grandes separados por 60 grados; y 72 decágonos grandes separados por 36 grados. Cada plano cuadrado grande es completamente ortogonal a otro plano cuadrado grande. Cada gran plano hexagonal es completamente ortogonal a un plano que interseca solo dos vértices (uno4{\displaystyle {\sqrt {4}}}diámetro largo): un gran plano decágono . Cada gran plano decágono es completamente ortogonal a un plano que no interseca ningún vértice: un gran plano 0-gono.

Fibraciones de polígonos de círculo máximo

Cada conjunto de polígonos de círculo máximo similares (cuadrados, hexágonos o decágonos) se puede dividir en haces de círculos máximos paralelos de Clifford que no se intersecan (de 30 cuadrados, 20 hexágonos o 12 decágonos). Cada haz de fibra de círculos máximos paralelos de Clifford es una fibración de Hopf discreta que llena la celda de 600 vértices, visitando los 120 vértices solo una vez. [ 26 ] Cada fibración de Hopf discreta tiene su base tridimensional , que es un poliedro distinto que actúa como un mapa o modelo a escala de la fibración. Los polígonos de círculo máximo en cada haz se enrollan en espiral alrededor de sí mismos, delineando anillos helicoidales de celdas unidas por caras que se anidan entre sí, se atraviesan entre sí sin intersecarse en ninguna celda y llenan exactamente la celda de 600 vértices con sus conjuntos de celdas disjuntas. Los diferentes haces de fibras con sus anillos celulares llenan el mismo espacio (el de 600 células), pero sus fibras corren paralelas a Clifford en diferentes "direcciones"; los polígonos de círculo máximo en diferentes fibraciones no son paralelos a Clifford. [ 27 ]

Decágonos
El triacontagrama {30/12}=6{5/2} es la configuración doble seis de Schläfli 30 2 12 5 característica de los politopos H 4 .La circunferencia de 30 vértices es el polígono de Petrie sesgado. El ángulo interior entre aristas adyacentes es de 36°, que también es el ángulo isoclínico entre planos decagonales paralelos de Clifford adyacentes.

Las fibraciones de la celda 600 incluyen 6 fibraciones de sus 72 grandes decágonos: 6 haces de fibras de 12 grandes decágonos. Los 12 decágonos paralelos de Clifford en cada haz son completamente disjuntos. Los decágonos paralelos adyacentes están formados por aristas de otros grandes decágonos.

Cada haz de fibras delimita 20 anillos helicoidales de 30 celdas tetraédricas cada uno, con cinco anillos anidados alrededor de cada decágono. [ 28 ] El mapa de Hopf de esta fibración es el icosaedro , donde cada uno de los 12 vértices se eleva a un gran decágono, y cada una de las 20 caras triangulares se eleva a un anillo de 30 celdas. Cada celda tetraédrica ocupa solo uno de los 20 anillos de celdas en cada una de las 6 fibraciones. La celda tetraédrica contribuye con cada una de sus 6 aristas a un decágono en una fibración diferente, pero contribuye con esa arista a cinco anillos de celdas distintos en la fibración.

Los 12 círculos máximos y los anillos de 30 celdas de las 6 fibraciones de Hopf características de la 600-celda hacen de la 600-celda una configuración geométrica de 30 "puntos" y 12 "líneas" escrita como 30 2 12 5 . Se denomina configuración doble seis de Schläfli en honor a Ludwig Schläfli , [ 30 ] el matemático suizo que descubrió la celda de 600 y el conjunto completo de politopos regulares en n dimensiones. [ 31 ]

Hexágonos

Las fibraciones de la 24-celda incluyen 4 fibraciones de sus 16 hexágonos grandes: 4 haces de fibras de 4 hexágonos grandes. Los 4 hexágonos paralelos de Clifford en cada haz son completamente disjuntos. Los hexágonos paralelos adyacentes están formados por aristas de otros hexágonos grandes. Cada haz de fibras delimita 4 anillos helicoidales de 6 celdas octaédricas cada uno, con tres anillos anidados alrededor de cada hexágono. Cada celda octaédrica ocupa solo un anillo de celdas en cada una de las 4 fibraciones. La celda octaédrica contribuye con 3 de sus 12 aristas a 3 hexágonos paralelos de Clifford diferentes en cada fibración, pero contribuye con cada arista a tres anillos de celdas distintos en la fibración.

El 600-celda contiene 25 24-celdas, y puede verse (de 10 maneras diferentes) como un compuesto de 5 24-celdas disjuntas. Tiene 10 fibraciones de sus 200 hexágonos grandes: 10 haces de fibra de 20 hexágonos grandes. Los 20 hexágonos paralelos de Clifford en cada haz son completamente disjuntos. Los hexágonos paralelos adyacentes están cubiertos por aristas de decágonos grandes. Cada haz de fibra delimita 20 anillos helicoidales de 6 celdas octaédricas cada uno, con tres anillos anidados alrededor de cada hexágono. El mapa de Hopf de esta fibración es el dodecaedro , donde los 20 vértices se elevan cada uno a un haz de hexágonos grandes. [ 23 ] Cada celda octaédrica ocupa solo uno de los 20 anillos de 6-octaedros en cada una de las 10 fibraciones. Los 20 anillos de 6 octaedros pertenecen a 5 celdas de 24 disjuntas, cada una formada por 4 anillos de 6 octaedros; cada fibración hexagonal de la celda de 600 consta de 5 celdas de 24 disjuntas.

Cuadrícula

Las fibraciones de la celda de 16 celdas incluyen 3 fibraciones de sus 6 cuadrados grandes: 3 haces de fibras de 2 cuadrados grandes. Los 2 cuadrados paralelos de Clifford en cada haz son completamente disjuntos. Los cuadrados paralelos adyacentes están formados por aristas de otros cuadrados grandes. Cada haz de fibras delimita 2 anillos helicoidales de 8 celdas tetraédricas cada uno. Cada celda tetraédrica ocupa solo un anillo de celdas en cada una de las 3 fibraciones. La celda tetraédrica aporta cada una de sus 6 aristas a un cuadrado diferente (aportando dos aristas opuestas que no se intersecan a cada una de las 3 fibraciones), pero aporta cada arista a ambos anillos de celdas distintos en la fibración.

El 600-celda contiene 75 16-celdas, y puede verse (de 10 maneras diferentes) como un compuesto de 15 16-celdas disjuntas. Tiene 15 fibraciones de sus 450 grandes cuadrados: 15 haces de fibras de 30 grandes cuadrados. Los 30 cuadrados paralelos de Clifford en cada haz son completamente disjuntos. Los cuadrados paralelos adyacentes están abarcados por aristas de grandes decágonos. Cada haz de fibras delimita 30 anillos helicoidales disjuntos de celdas de 8 celdas tetraédricas cada uno (2{\displaystyle {\sqrt {2}}}celdas de las 16-celdas inscritas). El mapa de Hopf de esta fibración es el icosidodecaedro , donde los 30 vértices se elevan cada uno a un haz de cuadrados máximos. [ 24 ] Cada celda tetraédrica ocupa solo uno de los 30 anillos de 8-tetraedros en cada una de las 15 fibraciones.

Anillos celulares paralelos de Clifford

Los anillos celulares helicoidales densamente empaquetados [ 32 ] [ 33 ] [ 26 ] de las fibraciones son disjuntos en cuanto a células, pero comparten vértices, aristas y caras. Cada fibración de 600 células puede verse como un empaquetamiento denso de anillos celulares con las caras correspondientes de los anillos adyacentes unidas entre sí. La misma fibración también puede verse como una disposición mínima y dispersa de menos anillos celulares completamente disjuntos que no se tocan en absoluto.

Las fibraciones de los grandes decágonos pueden verse (de cinco maneras diferentes) como 4 anillos de 30 celdas completamente disjuntos con espacios que los separan, en lugar de como 20 anillos de celdas unidos por caras, al omitir todos los anillos de celdas excepto uno de los cinco que se encuentran en cada decágono. [ 34 ] Las cinco maneras diferentes en que se puede hacer esto son equivalentes, ya que las cinco corresponden a la misma fibración discreta (en el mismo sentido que las 6 fibraciones decagonales son equivalentes, ya que las 6 cubren la misma 600 celda). Los 4 anillos de celdas aún constituyen la fibración completa: incluyen los 12 decágonos paralelos de Clifford, que visitan los 120 vértices.

Este subconjunto de 4 de 20 anillos celulares es dimensionalmente análogo al subconjunto de 12 de 72 decágonos, ya que ambos son conjuntos de politopos paralelos de Clifford completamente disjuntos que visitan los 120 vértices.

El subconjunto de 4 de 20 anillos celulares es una de las 5 fibraciones dentro de la fibración de 12 de 72 decágonos: una fibración de una fibración. Todas las fibraciones tienen esta estructura de dos niveles con subfibraciones .

Las fibraciones de los grandes hexágonos de 24 células pueden verse (de tres maneras diferentes) como dos anillos de 6 células completamente disjuntos con espacios que los separan, en lugar de como cuatro anillos de células unidos por caras, omitiendo todos los anillos de células excepto uno de los tres que se unen en cada hexágono. Por lo tanto, cada una de las 10 fibraciones de los grandes hexágonos de 600 células puede verse como dos anillos de células octaédricas completamente disjuntos.

Las fibraciones de los grandes cuadrados de 16 celdas pueden verse (de dos maneras diferentes) como un único anillo de 8 celdas tetraédricas con un espacio vacío adyacente del tamaño de un anillo de celdas, en lugar de como dos anillos de celdas unidos por caras, omitiendo uno de los dos anillos de celdas que se encuentran en cada cuadrado. Por lo tanto, cada una de las 15 fibraciones de los grandes cuadrados de 600 celdas puede verse como un único anillo de celdas tetraédricas.

Las construcciones dispersas de las fibraciones de 600 celdas corresponden a descomposiciones de menor simetría de las estructuras de 600, 24 o 16 celdas, con celdas de distintos colores para diferenciar los anillos de celdas de los espacios entre ellos. La forma particular de menor simetría de la estructura de 600 celdas, correspondiente a la construcción dispersa de las fibraciones del gran decágono, es dimensionalmente análoga a la forma de tetraedro truncado del icosaedro (que constituye la base de estas fibraciones en la esfera bidimensional). Cada uno de los 20 anillos de celdas de Boerdijk-Coxeter se obtiene a partir de una cara correspondiente del icosaedro.

Construcciones

La celda 600 incorpora las geometrías de cada politopo regular convexo en las primeras cuatro dimensiones, excepto la celda 5, la celda 120 y los polígonos {7} y ​​superiores. [ 35 ] En consecuencia, existen numerosas maneras de construir o deconstruir la celda 600, pero ninguna es trivial. La construcción de la celda 600 a partir de su predecesora regular, la celda 24, puede ser difícil de visualizar.

La construcción de Gosset

Thorold Gosset descubrió los 4-politopos semirregulares , incluyendo la 24-celda truncada con 96 vértices, que se encuentra entre la 24-celda y la 600-celda en la secuencia de 4-politopos convexos de tamaño y complejidad crecientes en el mismo radio. La construcción de la 600-celda a partir de la 24-celda por parte de Gosset se realiza en dos pasos, utilizando la 24-celda truncada como forma intermedia. En el primer paso, más complejo (descrito en otra parte ), la 24-celda truncada se construye mediante una truncación truncada especial de una 24-celda en las secciones áureas de sus aristas. [ 9 ] En el segundo paso, la 600-celda se construye de manera directa añadiendo 4-pirámides (vértices) a las facetas de la 24-celda truncada. [ 36 ]

La celda 24 truncada es una celda 600 reducida a la que se le han eliminado 24 vértices (y el grupo de 20 celdas tetraédricas que los rodea), dejando una celda icosaédrica "plana" en lugar de cada pirámide icosaédrica eliminada. Por lo tanto, la celda 24 truncada tiene 24 celdas icosaédricas y las 120 celdas tetraédricas restantes. El segundo paso de la construcción de la celda 600 de Gosset es simplemente el inverso de esta reducción: se coloca una pirámide icosaédrica de 20 celdas tetraédricas sobre cada celda icosaédrica.

La construcción de la celda de 600 radios unitarios a partir de su precursora, la celda de 24 radios unitarios, mediante el método de Gosset, requiere tres pasos. La celda de 24 radios precursora de la celda truncada de 24 radios no tiene el mismo radio: es mayor, ya que la celda truncada de 24 radios es su truncamiento. Partiendo de la celda de 24 radios unitarios, el primer paso consiste en aplicarle una inversión alrededor de su esfera media para construir su dual canónico exterior : una celda de 24 radios mayor, puesto que la celda de 24 radios es autodual. Esta celda de 24 radios mayor puede luego truncarse en una celda truncada de 24 radios unitarios.

grupos de células

Dado su carácter indirecto, la construcción de Gosset puede no ser de gran ayuda para visualizar directamente cómo las 600 celdas tetraédricas se ensamblan para formar una superficie tridimensional curva , o cómo se disponen sobre la superficie subyacente de las celdas octaédricas de la estructura de 24 celdas. Para ello, resulta útil construir la estructura de 600 celdas directamente a partir de grupos de celdas tetraédricas.

La mayoría de nosotros tenemos dificultades para visualizar la célula de 600 células desde el exterior en el espacio de 4 dimensiones, o para reconocer una vista exterior de la célula de 600 células debido a nuestra total falta de experiencia sensorial en espacios de 4 dimensiones, [ 37 ] pero deberíamos poder visualizar la envoltura superficial de las células de 600 células desde el interior porque ese volumen es un espacio tridimensional en el que podríamos "caminar" y explorar. [ 38 ] En estos ejercicios de construcción de la célula de 600 células a partir de grupos de células, estamos completamente dentro de un espacio tridimensional, aunque un espacio curvo cerrado extrañamente pequeño , en el que podemos movernos apenas diez longitudes de arista en línea recta en cualquier dirección y regresar a nuestro punto de partida.

Icosaedro
Un icosaedro regular coloreado con simetría de octaedro truncado . Los icosaedros de la celda de 600 están unidos entre sí por las caras amarillas y a grupos de 5 celdas tetraédricas por las caras azules. El vértice de la pirámide icosaédrica (no visible) es un decimotercer vértice de la celda de 600 dentro del icosaedro (pero por encima de su hiperplano).
Un grupo de 5 células tetraédricas: cuatro células unidas por sus caras alrededor de una quinta célula (no visible). Las cuatro células se encuentran en diferentes hiperplanos.

La figura del vértice de la celda 600 es el icosaedro .

Veinte celdas tetraédricas se unen en cada vértice, formando una pirámide icosaédrica cuyo vértice es el vértice, rodeada por su base icosaedro. La celda de 600 tiene un ángulo diedro de 𝜋 / 3 + arccos(− 1 / 4 ) ≈ 164,4775° . [ 39 ]

Un icosaedro completo de 600 celdas se puede ensamblar a partir de 24 pirámides icosaédricas (unidas cara a cara en 8 de las 20 caras del icosaedro, coloreadas de amarillo en la ilustración), más 24 grupos de 5 celdas tetraédricas (cuatro celdas unidas cara a cara alrededor de una) que llenan los huecos restantes entre los icosaedros. Cada icosaedro está unido cara a cara a cada grupo adyacente de 5 celdas mediante dos caras azules que comparten una arista (que también es una de las seis aristas del tetraedro central de los cinco). Seis grupos de 5 celdas rodean cada icosaedro, y seis icosaedros rodean cada grupo de 5 celdas. Cinco celdas tetraédricas rodean cada arista del icosaedro: dos desde el interior de la pirámide icosaédrica y tres desde el exterior.

Los vértices de las 24 pirámides icosaédricas son los vértices de una celda de 24 celdas inscrita en la celda de 600 celdas. Los otros 96 vértices (los vértices de los icosaedros) son los vértices de una celda truncada de 24 celdas inscrita , que tiene exactamente la misma estructura de icosaedros y tetraedros descrita aquí, excepto que los icosaedros no son 4-pirámides llenas de celdas tetraédricas; son solo celdas icosaédricas "planas" tridimensionales, porque les falta el vértice apical central.

Las aristas de 24 celdas que unen los vértices de los ápices de la pirámide icosaédrica pasan por los centros de las caras amarillas. Se pueden colorear los icosaedros con 8 caras amarillas y 12 azules de 5 maneras distintas. Por lo tanto, el vértice de cada pirámide icosaédrica es un vértice de 5 grupos distintos de 24 celdas, y los 120 vértices comprenden 25 (no 5) grupos de 24 celdas.

Los icosaedros están unidos por sus caras opuestas en "líneas rectas" geodésicas, dobladas en la cuarta dimensión en un anillo de 6 pirámides icosaédricas. Sus vértices son los vértices de un hexágono de círculo máximo . Esta geodésica hexagonal atraviesa un anillo de 12 celdas tetraédricas, unidas alternativamente cara con cara y vértice con vértice. El diámetro mayor de cada par de tetraedros unidos por caras (cada bipirámide triangular ) es una arista hexagonal (una arista de 24 celdas). Hay 4 anillos de 6 pirámides icosaédricas que se intersecan en cada vértice, al igual que hay 4 anillos entrelazados disjuntos de celdas de 6 octaedros en la celda de 24 (una fibración hexagonal ).

Las celdas tetraédricas están unidas por caras formando triples hélices , que se doblan en la cuarta dimensión formando anillos de 30 celdas tetraédricas . Las tres hélices son "líneas rectas" geodésicas de 10 aristas: decágonos de círculo máximo que discurren paralelos entre sí según Clifford. Cada tetraedro, al tener seis aristas, participa en seis decágonos diferentes y, por lo tanto, en las 6 fibraciones decagonales de la celda de 600 celdas .

La división de la estructura de 600 células en grupos de 20 y grupos de 5 células es artificial, ya que todas las células son iguales. Se puede comenzar seleccionando un grupo de pirámides icosaédricas centrado en cualquier vértice elegido arbitrariamente, de modo que hay 120 icosaedros superpuestos en la estructura de 600 células. Sus 120 vértices son cada uno un vértice de cinco estructuras de 24 vértices, por lo que hay 5*120/24 = 25 estructuras de 24 vértices superpuestas.

Octaedros

Hay otra forma útil de dividir la superficie de 600 celdas en 24 grupos de 25 celdas tetraédricas, lo que revela más estructura [ 40 ] y una construcción directa de la celda de 600 a partir de su predecesora, la celda de 24.

Comience con cualquiera de los grupos de 5 células (arriba) y considere su célula central como el objeto central de un nuevo grupo más grande de células tetraédricas. La célula central es la primera sección de la estructura de 600 células que comienza con una célula. Al rodearla con más células tetraédricas, podemos alcanzar las secciones más profundas que comienzan con una célula.

Primero, observe que un grupo de 5 celdas consta de 4 pares superpuestos de tetraedros unidos por caras ( bipirámides triangulares ) cuyo diámetro mayor es una arista de 24 celdas (una arista hexagonal) de longitud1{\displaystyle {\sqrt {1}}}. Seis bipirámides triangulares más encajan en las concavidades de la superficie del grupo de 5, por lo que las cuerdas exteriores que conectan sus 4 vértices apicales también son aristas de 24 celdas de longitud1{\displaystyle {\sqrt {1}}}. Forman un tetraedro de longitud de arista1{\displaystyle {\sqrt {1}}}, que es la segunda sección de las 600 celdas que comienza con una celda. Hay 600 de estas1{\displaystyle {\sqrt {1}}}Secciones tetraédricas en la celda de 600 celdas.

Con las seis bipirámides triangulares encajadas en las concavidades, hay 12 nuevas celdas y 6 nuevos vértices además de las 5 celdas y 8 vértices del clúster original. Los 6 nuevos vértices forman la tercera sección de la celda de 600 celdas que comienza con una celda, un octaedro de longitud de arista1{\displaystyle {\sqrt {1}}}, obviamente la celda de una 24 celdas. Como está parcialmente llena hasta ahora (por 17 celdas tetraédricas), esta1{\displaystyle {\sqrt {1}}}El octaedro tiene caras cóncavas en las que encaja una pirámide triangular corta; tiene el mismo volumen que una celda tetraédrica regular, pero una forma tetraédrica irregular. Cada octaedro rodea 1 + 4 + 12 + 8 = 25 celdas tetraédricas: 17 celdas tetraédricas regulares más 8 celdas tetraédricas volumétricamente equivalentes, cada una formada por 6 fragmentos de un sexto de 6 celdas tetraédricas regulares diferentes, que abarcan tres celdas octaédricas adyacentes.

Así, la celda de radio unitario 600 puede construirse directamente a partir de su predecesora, la celda de radio unitario 24, colocando en cada una de sus facetas octaédricas una pirámide octaédrica irregular truncada de 14 vértices construida (de la manera anterior) a partir de 25 celdas tetraédricas regulares de longitud de aristaϕ1{\displaystyle \phi ^{-1}}.

Unión de dos toros

Existe otra forma útil de dividir la superficie de 600 celdas en grupos de celdas tetraédricas, lo que revela más estructura [ 41 ] y las fibraciones decagonales de la celda de 600. Una celda completa de 600 se puede ensamblar alrededor de dos anillos de 5 pirámides icosaédricas, unidas vértice con vértice en dos "líneas rectas" geodésicas.

100 tetraedros en una matriz de 10×10 que forman un límite de toro de Clifford en la celda 600. Se identifican sus aristas opuestas, formando un duocilindro .

La celda de 120 vértices se puede descomponer en dos toros disjuntos . Dado que es la dual de la celda de 600 vértices, esta misma estructura de toro dual existe en la celda de 600 vértices, aunque es algo más compleja. El camino geodésico de 10 celdas en la celda de 120 vértices corresponde al camino decagonal de 10 vértices en la celda de 600 vértices. [ 42 ]

Comienza ensamblando cinco tetraedros alrededor de una arista común. Esta estructura se parece un poco a un "platillo volador" angular. Apila diez de estos, vértice con vértice, al estilo "panqueque". Rellena el anillo anular entre cada par de "platillos voladores" con 10 tetraedros para formar un icosaedro. Puedes verlo como cinco pirámides icosaédricas apiladas por vértices , con los cinco huecos adicionales del anillo anular también rellenos. La superficie es la misma que la de diez antiprismas pentagonales apilados : una columna de caras triangulares con una sección transversal pentagonal. [ 43 ] Doblado en un anillo columnar, este es un toro que consta de 150 celdas, diez aristas de largo, con 100 caras triangulares expuestas, 150 aristas expuestas y 50 vértices expuestos. Apila otro tetraedro en cada cara expuesta. Esto dará como resultado un toroide algo irregular de 250 celdas con 50 vértices elevados, 50 vértices de valle y 100 aristas de valle. Los valles son caminos cerrados de 10 aristas de longitud y corresponden a otras instancias del camino decágono de 10 vértices mencionado anteriormente (decágonos de círculo máximo). Estos decágonos se enrollan en espiral alrededor del decágono central, pero matemáticamente son todos equivalentes (todos se encuentran en planos centrales).

Construye un segundo toro idéntico de 250 celdas que se interconecta con el primero. Esto representa 500 celdas. Estos dos toros se unen con los vértices del valle tocando los vértices elevados, dejando 100 huecos tetraédricos que se llenan con los 100 tetraedros restantes que se unen en los bordes del valle. Este último conjunto de 100 tetraedros está en el límite exacto del duocilindro y forma un toro de Clifford . Se pueden "desenrollar" en una matriz cuadrada de 10×10. Casualmente, esta estructura forma una capa tetraédrica en el panal tetraédrico-octaédrico . Hay exactamente 50 huecos y picos en forma de "caja de huevos" en ambos lados que se unen con los toros de 250 celdas. En este caso, en cada hueco, en lugar de un octaedro como en el panal, encaja una bipirámide triangular compuesta por dos tetraedros.

Esta descomposición de la celda de 600 tiene simetría [10,2 + ,10], orden 400, la misma simetría que el gran antiprisma . [ 44 ] El gran antiprisma es simplemente la celda de 600 con los dos toros de 150 celdas superiores eliminados, dejando solo la única capa intermedia de 300 tetraedros, dimensionalmente análoga al cinturón de 10 caras de un icosaedro con las 5 caras superiores y 5 inferiores eliminadas (un antiprisma pentagonal ).

Los dos toros de 150 celdas contienen cada uno 6 grandes decágonos paralelos de Clifford (cinco alrededor de uno), y los dos toros son paralelos de Clifford entre sí, por lo que juntos constituyen una fibración completa de 12 decágonos que alcanza los 120 vértices, a pesar de llenar solo la mitad del toro de 600 celdas con celdas.

Anillos helicoidales de Boerdijk-Coxeter

La celda de 600 también se puede dividir en 20 anillos entrelazados disjuntos de celdas de 30 celdas, [ 28 ] cada uno de diez aristas de longitud, formando una fibración de Hopf discreta que llena toda la celda de 600. Cada anillo de 30 tetraedros unidos por caras es una hélice cilíndrica de Boerdijk-Coxeter doblada en un anillo en la cuarta dimensión.

El anillo de 30 celdas es el espacio tridimensional ocupado por los 30 vértices de tres grandes decágonos paralelos de Clifford cian que se encuentran adyacentes entre sí, a 36° = 𝜋 / 5 = una longitud de arista de 600 celdas de distancia en todos sus pares de vértices. Las 30 aristas magenta que unen estos pares de vértices forman un triacontagrama helicoidal , una espiral de 30-gramas oblicua de 30 caras triangulares unidas por aristas, que es el polígono de Petrie de la 600-celda. El dual del anillo de 30 celdas (el 30-gono oblicuo formado al conectar los centros de sus celdas) es el polígono de Petrie de la 120-celda , el politopo dual de la 600-celda . El eje central del anillo de 30 celdas es una gran geodésica de 30-gonos que pasa por el centro de 30 caras, pero no interseca ningún vértice.

Los 15 bordes naranjas y los 15 bordes amarillos forman hélices separadas de 15 gramos. Cada borde naranja o amarillo cruza entre dos grandes decágonos cian. Los bordes naranjas o amarillos sucesivos de estas hélices de 15 gramos no se encuentran en el mismo círculo máximo; se encuentran en diferentes planos centrales inclinados a 36° = 𝝅 / 5 entre sí. Cada hélice de 15 gramos es notable como la trayectoria de un borde de una isoclina , la trayectoria geodésica de una rotación isoclínica . La isoclina es una curva circular que interseca cada segundo vértice del 15-gramo, sin pasar por el vértice intermedio. Una sola isoclina recorre dos veces cada 15-gramo naranja (o amarillo) pasando por cada segundo vértice, alcanzando la mitad de los vértices en el primer bucle y la otra mitad en el segundo. Los dos bucles conectados forman un único bucle de Möbius , un pentadecagrama {15/2} sesgado . El pentadecagrama no se muestra en estas ilustraciones (pero véase más abajo ), porque sus aristas son cuerdas invisibles entre vértices separados por dos aristas naranjas (o dos amarillas), y en estas ilustraciones no se muestran cuerdas. Aunque los 30 vértices del anillo de 30 celdas no se encuentran en un gran plano central de 30 polígonos, estas isoclinas invisibles del pentadecagrama son verdaderos círculos geodésicos de un tipo especial, que serpentean a través de las cuatro dimensiones en lugar de estar en un plano bidimensional como un gran círculo geodésico ordinario.

Cinco de estas hélices de 30 celdas se anidan juntas y se enrollan en espiral alrededor de cada uno de los caminos decagonales de 10 vértices, formando el toro de 150 celdas descrito en la descomposición del gran antiprisma anterior. [ 44 ] Así, cada gran decágono es el decágono central de un toro de 150 celdas. El toro de 600 celdas puede descomponerse en 20 anillos de 30 celdas, o en dos toros de 150 celdas y 10 anillos de 30 celdas, pero no en cuatro toros de 150 celdas de este tipo. El toro de 600 celdas puede descomponerse en cuatro toros de 150 celdas de un tipo diferente. [ 34 ]

Triángulos áureos radiales

La celda 600 se puede construir radialmente a partir de 720 triángulos dorados de longitudes de arista1,1,ϕ1{\displaystyle 1,1,\phi ^{-1}}que se encuentran en el centro del 4-politopo, cada uno aportando dos1{\displaystyle {\sqrt {1}}}radios y unϕ10,618{\displaystyle \phi ^{-1}\approx 0.618}borde. Forman 1200 pirámides triangulares con sus vértices en el centro: tetraedros irregulares con equiláterosϕ1{\displaystyle \phi ^{-1}}bases (las caras de la celda de 600). Estas forman 600 pirámides tetraédricas con sus vértices en el centro: celdas irregulares de 5 con bases regularesϕ1{\displaystyle \phi ^{-1}}bases tetraédricas (las celdas de la estructura de 600 celdas).

Ortoesquema característico

Cada 4-politopo regular tiene su 4-ortoesquema característico, una 5-celda irregular .

La celda característica de 5 elementos de la celda regular de 600 elementos se representa mediante el diagrama de Coxeter-Dynkin , que puede interpretarse como una lista de los ángulos diedros entre sus caras especulares. Se trata de una pirámide tetraédrica irregular basada en el tetraedro característico del tetraedro regular . La celda regular de 600 elementos se subdivide mediante sus hiperplanos de simetría en 14 400 instancias de su celda característica de 5 elementos, que convergen en su centro.

La celda característica de 5 lados (4-ortoesquema) tiene cuatro aristas más que su tetraedro base característico (3-ortoesquema), uniendo los cuatro vértices de la base a su ápice (el quinto vértice del 4-ortoesquema, en el centro de la celda regular de 600 lados). Si la celda regular de 600 lados tiene radio unitario y longitud de arista=ϕ10,618{\displaystyle \ell =\phi ^{-1}\approx 0.618}, sus diez aristas características de 5 celdas tienen longitudes23ϕ1{\displaystyle {\sqrt {\tfrac {2}{3}}}\phi ^{-1}},12ϕ1{\displaystyle {\tfrac {1}{\sqrt {2}}}\phi ^{-1}},16ϕ1{\displaystyle {\tfrac {1}{\sqrt {6}}}\phi ^{-1}}alrededor de su cara exterior triangular rectángulo (las aristas opuestas a los ángulos característicos 𝟀, 𝝉, 𝟁), [ b ] más32ϕ1{\displaystyle {\tfrac {\sqrt {3}}{2}}\phi ^{-1}},12ϕ1{\displaystyle {\tfrac {1}{2}}\phi ^{-1}},123ϕ1{\displaystyle {\tfrac {1}{2{\sqrt {3}}}}\phi ^{-1}}(las otras tres aristas de la faceta exterior del 3-ortoesquema forman el tetraedro característico, que son los radios característicos del tetraedro regular), más1{\displaystyle 1},122+ϕ{\displaystyle {\tfrac {1}{2}}{\sqrt {2+\phi }}},ϕ23{\displaystyle {\sqrt {\tfrac {\phi ^{2}}{3}}}},ϕ48{\displaystyle {\sqrt {\tfrac {\phi ^{4}}{8}}}}(aristas que son los radios característicos de la celda 600). El camino de 4 aristas a lo largo de las aristas ortogonales del ortoesquema es12ϕ2{\displaystyle {\sqrt {\tfrac {1}{2\phi ^{2}}}}},16ϕ2{\displaystyle {\sqrt {\tfrac {1}{6\phi ^{2}}}}},14ϕ2{\displaystyle {\sqrt {\tfrac {1}{4\phi ^{2}}}}},ϕ48{\displaystyle {\sqrt {\tfrac {\phi ^{4}}{8}}}}, primero desde un vértice de 600 celdas hasta el centro de una arista de 600 celdas, luego girando 90° hasta el centro de una cara de 600 celdas, luego girando 90° hasta el centro de una celda tetraédrica de 600 celdas, y finalmente girando 90° hasta el centro de 600 celdas.

Reflexiones

La celda 600 se puede construir mediante las reflexiones de su celda 5 característica en sus propias facetas (sus paredes de espejo tetraédricas). Las reflexiones y rotaciones están relacionadas: una reflexión en un número par de espejos que se intersecan es una rotación. [ 48 ] [ 49 ] Por ejemplo, una rotación isoclínica completa de la celda 600 en planos invariantes decagonales lleva cada uno de los 120 vértices a través de 15 vértices y de vuelta a sí mismo, en una isoclina geodésica pentadecagram 2 sesgada de circunferencia 5𝝅 que se enrolla alrededor de la 3-esfera, mientras cada gran decágono rota (como una rueda) y también se inclina lateralmente (como una moneda que se lanza) con el plano completamente ortogonal. Cualquier conjunto de cuatro pares ortogonales de vértices antipodales (los 8 vértices de una de las 75 celdas de 16 inscripciones) que realicen dicha órbita visita 15 * 8 = 120 vértices distintos y genera la celda de 600 secuencialmente en una rotación isoclínica completa, del mismo modo que cualquier celda característica de 5 que se refleje en sus propias paredes de espejo genera los 120 vértices simultáneamente por reflexión.

órbitas de Weyl

Otro método de construcción utiliza cuaterniones y la simetría icosaédrica de las órbitas del grupo de Weyl.O(Λ)=W(H4)=I{\displaystyle O(\Lambda )=W(H_{4})=I}de orden 120. [ 50 ] Las siguientes son las órbitas de pesos de D4 bajo el grupo de Weyl W(D4):

O(0100)  : T = {±1,±e1,±e2,±e3,(±1±e1±e2±e3)/2}
O(1000)  : V1
O(0010)  : V2
O(0001)  : V3

Con cuaterniones(pag,q){\displaystyle (p,q)}dóndepag¯{\displaystyle {\bar {p}}}es el conjugado depag{\displaystyle p}y[pag,q]:rr=pagrq{\displaystyle [p,q]:r\rightarrow r'=prq}y[pag,q]:rr=pagr¯q{\displaystyle [p,q]^{*}:r\rightarrow r''=p{\bar {r}}q}, luego el grupo CoxeterW(H4)={[pag,pag¯][pag,pag¯]}{\displaystyle W(H_{4})=\lbrace [p,{\bar {p}}]\oplus [p,{\bar {p}}]^{*}\rbrace }es el grupo de simetría de la celda 600 y la celda 120 de orden 14400.

DadopagT{\displaystyle p\in T}de tal manera quepag¯=±pag4,pag¯2=±pag3,pag¯3=±pag2,pag¯4=±pag{\displaystyle {\bar {p}}=\pm p^{4},{\bar {p}}^{2}=\pm p^{3},{\bar {p}}^{3}=\pm p^{2},{\bar {p}}^{4}=\pm p}ypag{\displaystyle p^{\dagger }}como un intercambio de1/ϕϕ{\displaystyle -1/\phi \leftrightarrow \phi }dentropag{\displaystyle p}, podemos construir:

  • el snub de 24 celdasS=i=14pagiT{\displaystyle S=\sum _{i=1}^{4}\oplus p^{i}T}
  • la batería de 600 celdasI=T+S=i=04pagiT{\displaystyle I=T+S=\sum _{i=0}^{4}\oplus p^{i}T}
  • la batería de 120 celdasJ=i,j=04pagipag¯jT{\displaystyle J=\sum _{i,j=0}^{4}\oplus p^{i}{\bar {p}}^{\dagger j}T'}

Rotaciones

Los 4-politopos convexos regulares son una expresión de su simetría subyacente que se conoce como SO(4) , el grupo de rotaciones [ 51 ] alrededor de un punto fijo en el espacio euclidiano de 4 dimensiones.

La celda de 600 se genera mediante rotaciones isoclínicas de la celda de 24 en 36° = 𝜋 / 5 (el arco de la longitud de una arista de la celda de 600).

Veinticinco celdas de 24

Hay 25 celdas de 24 inscripciones en la celda de 600. [ 11 ]

La celda de 16 vértices y 8 lados tiene 4 diámetros largos inclinados a 90° = 𝜋 / 2 entre sí, que a menudo se toman como los 4 ejes ortogonales o la base del sistema de coordenadas.

La celda de 24 vértices tiene 12 diámetros largos inclinados a 60° = 𝜋 / 3 entre sí: 3 conjuntos disjuntos de 4 ejes ortogonales, cada conjunto comprende los diámetros de una de las 3 celdas de 16 inscritas, rotadas isoclínicamente por 𝜋 / 3 entre sí.

La celda de 600 vértices tiene 60 diámetros largos: no solo 5 conjuntos disjuntos de 12 diámetros, cada uno compuesto por una de las 5 celdas de 24 inscritas (como podríamos sospechar por analogía), sino 25 conjuntos distintos pero superpuestos de 12 diámetros, cada uno compuesto por una de las 25 celdas de 24 inscritas. [ 52 ] Hay 5 celdas de 24 disjuntas en la celda de 600, pero no solo 5: hay 10 maneras diferentes de particionar la celda de 600 en 5 celdas de 24 disjuntas. [ 53 ]

Al igual que las celdas de 16 y 8 inscritas en la celda de 24, las 25 celdas de 24 inscritas en la celda de 600 son politopos mutuamente isoclínicos . La distancia de rotación entre las celdas de 24 inscritas es siempre 𝜋 / 5 en cada plano invariante de rotación.

Cinco 24-celdas son disjuntas porque son paralelas a Clifford: sus vértices correspondientes están a ⁠ 𝜋 / 5 de distancia en dos círculos máximos decagonales paralelos a Clifford que no se intersecan (así como a 𝜋 / 5 de distancia en el mismo círculo máximo decagonal). Una rotación isoclínica de planos decagonales por 𝜋 / 5 lleva a cada 24-celda a una 24-celda disjunta (así como una rotación isoclínica de planos hexagonales por 𝜋 / 3 lleva a cada 16-celda a una 16-celda disjunta). Cada rotación isoclínica ocurre en dos formas quirales: hay 4 24-celdas disjuntas a la izquierda de cada 24-celda, y otras 4 24-celdas disjuntas a su derecha . Las rotaciones izquierda y derecha alcanzan diferentes 24-celdas; por lo tanto, cada 24-celda pertenece a dos conjuntos diferentes de cinco 24-celdas disjuntas.

Todos los politopos paralelos de Clifford son isoclínicos, pero no todos los politopos isoclínicos son paralelos de Clifford (objetos completamente disjuntos). Cada 24-celda es isoclínica y paralela de Clifford a otras 8, e isoclínica pero no paralela de Clifford a otras 16. Con cada una de las 16 comparte 6 vértices: un plano central hexagonal. Las 24-celdas no disjuntas están relacionadas por una rotación simple de 𝜋 / 5 en un plano invariante que interseca solo dos vértices de la 600-celda, una rotación en la que el plano fijo completamente ortogonal es su plano central hexagonal común. También están relacionadas por una rotación isoclínica en la que ambos planos rotan de 𝜋 / 5 .

Existen dos tipos de rotaciones isoclínicas 𝜋 / 5 que transforman cada 24-celda en otra 24-celda. Las 24-celdas disjuntas se relacionan mediante una rotación isoclínica 𝜋 / 5 de una fibración completa de 12 planos invariantes decagonales paralelos de Clifford . (Existen 6 conjuntos de fibras de este tipo, y es posible una rotación isoclínica derecha o izquierda con cada conjunto, por lo que hay 12 rotaciones distintas). Las 24-celdas no disjuntas se relacionan mediante una rotación isoclínica 𝜋 / 5 de una fibración completa de 20 planos invariantes hexagonales paralelos de Clifford . (Existen 10 conjuntos de fibras de este tipo, por lo que hay 20 rotaciones distintas).

Por otro lado, cada uno de los 10 conjuntos de cinco 24-celdas disjuntas es Clifford paralelo porque sus hexágonos mayores correspondientes son Clifford paralelos. (Las 24-celdas no tienen grandes decágonos). Los 16 grandes hexágonos en cada 24-celda se pueden dividir en 4 conjuntos de 4 geodésicas Clifford paralelas no intersecantes, cada conjunto de las cuales cubre los 24 vértices de la 24-celda. Los 200 grandes hexágonos en la 600-celda se pueden dividir en 10 conjuntos de 20 geodésicas Clifford paralelas no intersecantes , cada conjunto de las cuales cubre los 120 vértices y constituye una fibración hexagonal discreta . Cada uno de los 10 conjuntos de 20 hexágonos disjuntos se puede dividir en cinco conjuntos de 4 hexágonos disjuntos, cada conjunto de 4 cubre una 24-celda disjunta. De manera similar, los cuadrados máximos correspondientes de 24 celdas disjuntas son paralelos en el sentido de Clifford.

Rotaciones en isoclinas de poligramas

Los 4-politopos convexos regulares poseen cada uno su tipo característico de rotación isoclínica derecha (e izquierda) , que corresponde a su tipo característico de fibración discreta de Hopf de círculos máximos. Por ejemplo, la celda 600 se puede fibrar de seis maneras diferentes en un conjunto de decágonos máximos paralelos de Clifford , por lo que la celda 600 tiene seis rotaciones isoclínicas derechas (e izquierdas) distintas en las que esos planos de los decágonos máximos son planos de rotación invariantes . Decimos que estas rotaciones isoclínicas son características de la celda 600 porque las aristas de la celda 600 se encuentran en sus planos invariantes. Estas rotaciones solo aparecen en la celda 600, aunque también se encuentran en politopos regulares más grandes (la celda 120) que contienen instancias inscritas de la celda 600.

Así como los polígonos geodésicos (decágonos, hexágonos o cuadrados) en los planos centrales de la celda 600 forman haces de fibras de círculos máximos paralelos a Clifford , los poligramas oblicuos geodésicos correspondientes (que trazan los caminos en el toro de vértices de Clifford bajo rotación isoclínica) [ 54 ] forman haces de fibras de isoclinas paralelas a Clifford : círculos helicoidales que se enrollan a través de las cuatro dimensiones. Dado que las rotaciones isoclínicas son quirales , presentándose en formas levógiras y dextrógiras, cada haz de fibras de polígono tiene correspondientes haces de fibras de poligramas izquierdos y derechos. [ 55 ] Todos los haces de fibras son aspectos de la misma fibración discreta de Hopf , porque la fibración es las diversas expresiones del mismo par distinto de rotaciones isoclínicas izquierda-derecha.

Los anillos celulares son otra expresión de la fibración de Hopf. Cada fibración discreta posee un conjunto de anillos celulares disjuntos que teselan el 4-politopo. Las isoclinas en cada haz quiral se enrollan en espiral unas alrededor de otras: son geodésicas axiales de los anillos de celdas unidas por caras. Los anillos celulares paralelos de Clifford de la fibración se anidan entre sí, se atraviesan sin intersecarse en ninguna celda y llenan exactamente la celda de 600 elementos con sus conjuntos de celdas disjuntas.

Las rotaciones isoclínicas hacen girar los vértices de un objeto rígido a lo largo de trayectorias paralelas, describiendo cada vértice un círculo dentro de dos círculos máximos móviles ortogonales, de la misma manera que un telar teje una pieza de tela a partir de dos conjuntos ortogonales de fibras paralelas. Un haz de polígonos de círculos máximos paralelos de Clifford y un haz correspondiente de isoclinas de poligramas oblicuos paralelos de Clifford constituyen la urdimbre y la trama de la misma rotación isoclínica, ya sea izquierda o derecha, que acerca los polígonos de círculos máximos paralelos de Clifford, lanzándolos como monedas y rotándolos a través de un conjunto de planos centrales paralelos de Clifford. Mientras tanto, debido a que los polígonos también giran individualmente como ruedas, los vértices se desplazan a lo largo de isoclinas helicoidales paralelas de Clifford (cuyas cuerdas forman el poligrama oblicuo), a través de vértices que se encuentran en polígonos paralelos de Clifford sucesivos.

En la celda 600, cada familia de poligramas sesgados isoclínicos (trayectorias de vértices móviles en las rotaciones de polígonos mayores de decágono {10}, hexágono {6} o cuadrado {4}) se puede dividir en haces de isoclinas de poligramas paralelos de Clifford que no se intersecan. [ 56 ] Los haces de isoclinas aparecen en pares de quiralidad izquierda y derecha ; las isoclinas en cada rotación actúan como objetos quirales , al igual que cada rotación isoclínica distinta en sí misma. Cada fibración contiene un número igual de isoclinas izquierdas y derechas, en dos haces disjuntos, que trazan las trayectorias de los vértices de la celda 600 durante la rotación isoclínica izquierda o derecha de la fibración, respectivamente. Cada haz de fibras izquierdas o derechas de isoclinas por sí mismo constituye una fibración de Hopf discreta que llena toda la celda 600, visitando los 120 vértices solo una vez. Se trata de un conjunto de fibras diferente al conjunto de círculos máximos de polígonos paralelos de Clifford, pero ambos conjuntos de fibras describen la misma fibración discreta porque enumeran esos 120 vértices juntos en la misma rotación isoclínica derecha (o izquierda) distinta, mediante su intersección como un tejido de fibras paralelas entretejidas.

Cada rotación isoclínica implica pares de planos centrales de rotación invariantes completamente ortogonales, que giran ambos en el mismo ángulo. Esto puede ocurrir de dos maneras: girando ambos en la misma dirección o en direcciones opuestas (según la regla de la mano derecha, que convencionalmente indica cuál es la dirección "arriba" en cada uno de los cuatro ejes de coordenadas). El poligrama derecho y la rotación isoclínica derecha corresponden convencionalmente a pares invariantes que giran en la misma dirección; el poligrama izquierdo y la rotación isoclínica izquierda corresponden a pares que giran en direcciones opuestas. [ 57 ] Las isoclinas izquierda y derecha son trayectorias diferentes que conducen a lugares distintos. Además, cada rotación isoclínica distinta (izquierda o derecha) puede realizarse en dirección positiva o negativa a lo largo de las fibras circulares paralelas.

Un fibrado de isoclinas paralelas de Clifford es el conjunto de círculos de vértice helicoidales descritos por una rotación isoclínica izquierda o derecha distinta. Cada vértice móvil viaja a lo largo de una isoclina contenida dentro de un anillo de celdas (móvil). Si bien las rotaciones isoclínicas izquierda y derecha rotan dos veces el mismo conjunto de planos invariantes de rotación paralelos de Clifford , pasan por diferentes conjuntos de polígonos de círculo máximo porque las rotaciones isoclínicas izquierda y derecha golpean vértices alternos del polígono de círculo máximo {2p} (donde p es un primo ≤ 5). La rotación izquierda y derecha comparten el mismo fibrado de Hopf de fibras de polígonos {2p}, que es a la vez un fibrado izquierdo y derecho, pero tienen diferentes fibrados de polígonos {p} [ 58 ] porque las fibras discretas son polígonos {p} izquierdos y derechos opuestos inscritos en el polígono {2p}.

Una rotación simple es directa y local, y transforma algunos vértices en vértices adyacentes a lo largo de círculos máximos, y algunos planos centrales en otros planos centrales dentro del mismo hiperplano. (La celda 600 tiene cuatro hiperplanos centrales ortogonales , cada uno de los cuales es un icosidodecaedro). En una rotación simple, existe un único par de planos centrales de rotación invariantes completamente ortogonales; no constituye una fibración.

Una rotación isoclínica es diagonal y global, llevando todos los vértices a vértices no adyacentes a lo largo de isoclinas diagonales, y todos los polígonos del plano central a polígonos paralelos de Clifford (del mismo tipo). Un par de rotaciones isoclínicas izquierda-derecha constituye una fibración discreta. Todos los planos centrales paralelos de Clifford de la fibración son planos de rotación invariantes, separados por dos ángulos iguales y situados en diferentes hiperplanos. La isoclina diagonal es una ruta más corta entre los vértices no adyacentes que las múltiples rutas simples entre ellos disponibles a lo largo de las aristas: es la ruta más corta en la 3-esfera, la geodésica .

Decágonos y pentadecagramas

Las fibraciones de la célula 600 incluyen 6 fibraciones de sus 72 grandes decágonos : 6 haces de fibras de 12 grandes decágonos, cada uno de los cuales delimita 20 anillos celulares quirales de 30 células tetraédricas cada uno, con tres grandes decágonos que delimitan cada anillo celular y cinco anillos celulares que se anidan alrededor de cada decágono. Los 12 decágonos paralelos de Clifford en cada haz son completamente disjuntos. Los decágonos paralelos adyacentes están conectados por aristas de otros grandes decágonos. Cada fibración corresponde a una rotación isoclínica izquierda (y derecha) distinta de la célula 600 en 12 planos invariantes de grandes decágonos sobre isoclinas 5𝝅.

El haz de 12 fibras decagonales paralelas de Clifford se divide en un haz de 12 fibras de pentágonos izquierdos y un haz de 12 fibras de pentágonos derechos, con cada par de pentágonos izquierdo-derecho inscrito en un decágono. [ 59 ] 12 polígonos grandes comprenden un haz de fibras que cubre los 120 vértices en una fibración de Hopf discreta . Hay 20 anillos de 30 celdas disjuntos en la fibración, pero solo 4 anillos de 30 celdas completamente disjuntos. La 600-celda tiene seis de estas fibraciones decagonales discretas , y cada una es el dominio (contenedor) de un par único de rotaciones isoclínicas izquierda-derecha (haces de fibras izquierda y derecha de 12 pentágonos grandes). Cada decágono grande pertenece a una sola fibración, [ 58 ] pero cada anillo de 30 celdas pertenece a 5 de las seis fibraciones (y es completamente disjunto de otra fibración). La red de 600 celdas contiene 72 grandes decágonos, divididos entre seis fibraciones, cada una de las cuales es un conjunto de 20 anillos de 30 celdas disjuntos (4 anillos de 30 celdas completamente disjuntos), pero la red de 600 celdas tiene solo 20 anillos de 30 celdas distintos en total. Cada anillo de 30 celdas contiene 3 de los 12 decágonos paralelos de Clifford en cada una de las 5 fibraciones, y 30 de los 120 vértices.

En estas rotaciones isoclínicas decagonales , los vértices se desplazan a lo largo de isoclinas que siguen las aristas de los hexágonos , [ 23 ] avanzando una distancia pitagórica de una arista de hexágono en cada unidad de rotación doble de 36°×36°. En una rotación isoclínica, cada arista de hexágono sucesiva recorrida se encuentra en un hexágono mayor diferente, por lo que la isoclina describe un poligrama sesgado, no un polígono. En una rotación isoclínica de 60°×60° (como en la rotación hexagonal característica de la celda 24 , y más abajo en las rotaciones hexagonales de la celda 600 ) este poligrama es un hexagrama : la rotación isoclínica sigue una trayectoria circular de 6 aristas, al igual que una rotación hexagonal simple, aunque se necesitan dos revoluciones para enumerar todos los vértices en ella, porque la isoclina es un bucle doble que pasa por cada dos vértices, y sus cuerdas son3{\displaystyle {\sqrt {3}}}cuerdas del hexágono en lugar de1{\displaystyle {\sqrt {1}}}bordes hexagonales. Pero en la rotación decagonal característica de 36°×36° de la celda 600 , los hexágonos grandes sucesivos están más cerca entre sí y son más numerosos, y el poligrama isoclínico formado por sus 15 bordes hexagonales es un pentadecagrama (15-grama). No solo no es el mismo período que el hexágono o la rotación decagonal simple, sino que ni siquiera es un múltiplo entero del período del hexágono, del decágono o de la rotación simple de cualquiera de ellos. Solo el triacontagrama compuesto {30/4}=2{15/2} (30-grama), que son dos 15-gramas que giran en paralelo (uno negro y uno blanco), es un múltiplo de todos ellos, y por lo tanto constituye la unidad de rotación de la rotación isoclínica decagonal.

En el anillo de 30 celdas, los vértices no adyacentes unidos por rotaciones isoclínicas están separados por dos longitudes de arista, con otros tres vértices del anillo situados entre ellos. Los dos vértices no adyacentes están unidos por una1{\displaystyle {\sqrt {1}}}cuerda de la isoclina que es una arista de un gran hexágono (una arista de 24 celdas).1{\displaystyle {\sqrt {1}}}acordes del anillo de 30 celdas (sin elϕ1{\displaystyle \phi ^{-1}}Los bordes de 600 celdas forman un triacontagrama sesgado {30/4}=2{15/2} que contiene 2 bucles dobles de Möbius {15/2} disjuntos, un par de isoclinas de pentadecagrama izquierda-derecha. Cada haz izquierdo (o derecho) de 12 fibras pentagonales es cruzado por un haz izquierdo (o derecho) de 8 fibras de pentadecagrama paralelas de Clifford. Cada anillo distinto de 30 celdas tiene 2 isoclinas de pentadecagrama de doble bucle que pasan por sus vértices pares o impares (negros o blancos) respectivamente. Las rotaciones isoclínicas dividen las 600 celdas (y los 120 vértices) de la 600-celda en dos subconjuntos disjuntos de 300 celdas (y 60 vértices), pares e impares (o blancos y negros), que cambian de lugar entre sí en isoclinas blancas o negras, de una manera dimensionalmente análoga a la forma en que los movimientos diagonales de los alfiles los restringen a las casillas blancas o negras del tablero de ajedrez . [ 16 ] [ 60 ] Izquierda y derecha no son colores: en una rotación izquierda (o derecha), la mitad de los vértices móviles son negros, que corren a lo largo de isoclinas negras a través de vértices negros, y la otra mitad son vértices blancos que rotan entre sí. Las hélices del pentadecagrama no tienen quiralidad inherente, pero cada una actúa como una isoclina izquierda o derecha en cualquier rotación isoclínica distinta. Las 2 fibras del pentadecagrama pertenecen a los haces de fibras izquierda y derecha de 5 fibraciones diferentes.

En cada vértice, hay seis grandes decágonos y seis isoclinas de pentadecagramas (seis negras o seis blancas) que se cruzan en el vértice. Ocho isoclinas de pentadecagramas (cuatro negras y cuatro blancas) forman un haz de fibras único derecho (o izquierdo) de isoclinas que cubre los 120 vértices en la rotación isoclínica derecha (o izquierda) distinta. Cada fibración tiene una rotación isoclínica izquierda y derecha únicas, y correspondientes haces de fibras izquierda y derecha únicos de 12 pentágonos y 8 isoclinas de pentadecagramas. Hay solo 20 isoclinas negras distintas y 20 isoclinas blancas distintas en la celda 600. Cada isoclina distinta pertenece a 5 haces de fibras.

Dos isoclinas de doble bucle de 15 gramos son axiales a cada anillo de 30 células. Los anillos de 30 células son quirales; cada fibración contiene 10 anillos derechos (espiral en sentido horario) y 10 anillos izquierdos (espiral en sentido antihorario), pero las dos isoclinas en cada anillo de 3 células son enantiomórficamente congruentes (imágenes especulares). Cada una actúa como una isoclina izquierda (o derecha) en una rotación izquierda (o derecha), pero no tiene quiralidad inherente. Los 20 15-gramas izquierdos y 20 derechos de la fibración contienen en total 120 pentagramas abiertos disjuntos (60 izquierdos y 60 derechos), cuyos extremos abiertos son vértices adyacentes de 600 células (unoϕ1{\displaystyle \phi ^{-1}}separadas por la longitud de los bordes). Las 30 cuerdas que unen los 30 vértices de la isoclina son1{\displaystyle {\sqrt {1}}}aristas hexagonales (aristas de 24 celdas), que conectan vértices de 600 celdas que son dos de 600 celdas.ϕ1{\displaystyle \phi ^{-1}}aristas separadas en un círculo máximo decágono. Estas cuerdas isoclinas son aristas de hexágonos y aristas de pentagramas .

Las 20 isoclinas paralelas de Clifford (ejes de anillos de 30 celdas) de cada haz de isoclinas izquierdas (o derechas) no se intersecan entre sí. Cualquiera de las distintas rotaciones isoclínicas decagonales (izquierda o derecha) rota los 120 vértices (y las 600 celdas), pero las isoclinas de los pentadecagramas y los pentágonos están conectados de tal manera que los vértices se alternan como 60 vértices negros y 60 blancos (y 300 celdas negras y 300 blancas), como los cuadrados blancos y negros del tablero de ajedrez . En el transcurso de la rotación, los vértices de una isoclina izquierda (o derecha) rotan dentro de la misma isoclina negra (o blanca) de 15 vértices, y las celdas rotan dentro del mismo anillo negro (o blanco) de 30 celdas.

Hexágonos y hexagramas

El icosagrama {20/6} = 2{10/3} contiene 2 decagramas {10/3} disjuntos (rojo y naranja) que conectan vértices separados por 3 en el {10} y por 6 en el {20}. En la celda 600, las aristas son aristas de pentágonos mayores que abarcan 72°.

Las fibraciones de la celda 600 incluyen 10 fibraciones de sus 200 hexágonos mayores : 10 haces de fibras de 20 hexágonos mayores. Los 20 hexágonos paralelos de Clifford en cada haz son completamente disjuntos. Los hexágonos paralelos adyacentes están formados por aristas de decágonos mayores. Cada fibración corresponde a una rotación isoclínica izquierda (y derecha) distinta de la celda 600 en 20 planos invariantes de hexágonos mayores sobre isoclinas 4𝝅.

Cada haz de fibras delimita 20 anillos celulares disjuntos directamente congruentes de 6 celdas octaédricas cada uno, con tres anillos celulares anidados alrededor de cada hexágono. El haz de 20 fibras hexagonales paralelas de Clifford se divide en un haz de 20 negras3{\displaystyle {\sqrt {3}}}grandes fibras triangulares y un haz de 20 grandes fibras triangulares blancas, con un triángulo negro y uno blanco inscritos en cada hexágono y 6 triángulos negros y 6 blancos en cada anillo de 6 octaedros. Los triángulos negros o blancos están unidos por tres isoclinas negras o blancas que se intersecan, cada una de las cuales es un tipo especial de círculo máximo helicoidal que pasa por los vértices correspondientes en 10 grandes triángulos negros (o blancos) paralelos de Clifford. Los 103ϕ1.176{\displaystyle {\sqrt {3-\phi }}\approx 1.176}Las cuerdas de cada isoclina forman un decagrama sesgado {10/3} , 10 aristas de pentágonos mayores unidas extremo con extremo en un bucle helicoidal, que se enrolla 3 veces alrededor de la celda 600 a través de las cuatro dimensiones en lugar de estar planas en un plano central. Cada par de isoclinas blancas y negras (vértices de hexágonos mayores antipodales que se intersecan) forma un icosagrama compuesto de 20 polígonos {20/6} = 2{10/3} .

Observe la relación entre la rotación característica de la celda de 24 en planos invariantes del hexágono mayor (en isoclinas del hexagrama) y la propia versión de la celda de 600 de la rotación de planos del hexágono mayor (en isoclinas del decagrama). Son exactamente la misma rotación isoclínica: tienen la misma isoclina. Tienen diferentes números de la misma isoclina, y la celda de 6003ϕ1.176{\displaystyle {\sqrt {3-\phi }}\approx 1.176}La cuerda isoclina es más corta que la de 24 celdas.3{\displaystyle {\sqrt {3}}}cuerda isoclina porque la isoclina interseca más vértices en la celda de 600 (10) que en la celda de 24 (6), pero ambos poligramas de Clifford tienen una circunferencia de 4𝝅. La celda de 24 rota hexágonos sobre hexagramas , mientras que la celda de 600 rota hexágonos sobre decagramas, pero estos son casos discretos del mismo tipo de rotación isoclínica en planos invariantes de hexágonos. En particular, sus isoclinas congruentes son todas exactamente el mismo círculo geodésico de circunferencia 4𝝅. Tienen poligramas isoclínicos diferentes solo porque la curva isoclínica interseca más vértices en la celda de 600 que en la celda de 24.

Cuadrados y octagramas

El polígono de Clifford de la rotación isoclínica de la celda 600 en planos invariantes cuadrados grandes es un 24-grama {24/5} sesgado regular , conϕ{\displaystyle \phi }aristas que conectan vértices separados por 5 en la circunferencia de 24 vértices, que es una única celda de 24 (1{\displaystyle {\sqrt {1}}}bordes no mostrados).

Las fibraciones de la celda 600 incluyen 15 fibraciones de sus 450 cuadrados máximos : 15 haces de fibras de 30 cuadrados máximos. Los 30 cuadrados paralelos de Clifford en cada haz son completamente disjuntos. Los cuadrados paralelos adyacentes están formados por aristas de decágonos máximos. Cada fibración corresponde a una rotación isoclínica izquierda (y derecha) distinta de la celda 600 en 30 planos invariantes de cuadrados máximos (15 pares completamente ortogonales) sobre isoclinas de 4π.

Cada haz de fibras delimita 30 anillos celulares quirales de 8 células tetraédricas cada uno, con un anillo celular izquierdo y otro derecho que se anidan para llenar cada una de las 15 células disjuntas de 16 celdas inscritas en la célula de 600 celdas. Axial a cada anillo de 8 tetraedros se encuentra un tipo especial de círculo máximo helicoidal, una isoclina. En una rotación isoclínica izquierda (o derecha) de la célula de 600 celdas en planos invariantes de cuadrados máximos, todos los vértices circulan sobre una de las 15 isoclinas paralelas de Clifford.

Los 30 cuadrados paralelos de Clifford en cada haz están unidos por cuatro isoclinas paralelas de Clifford de 24-gramas (una que pasa por cada vértice), cada una de las cuales interseca un vértice en 24 de los 30 cuadrados, y los 24 vértices de solo una de las 25 24-celdas de la 600-celda. Cada isoclina es un circuito de 24-gramas que interseca las 25 24-celdas, 24 de ellas solo una vez y una de ellas 24 veces. Los 24 vértices en cada isoclina de 24-gramas comprenden una 24-celda única; hay 25 de estas isoclinas distintas en la 600-celda. Cada isoclina es un 24-grama sesgado {24/5}, 24ϕ{\displaystyle \phi }cuerdas unidas extremo con extremo en un bucle helicoidal, enrollándose 5 veces alrededor de una celda de 24 lados a través de las cuatro dimensiones en lugar de estar planas en un plano central. Los vértices adyacentes de la celda de 24 lados son uno1{\displaystyle {\sqrt {1}}}acorde aparte, y 5ϕ{\displaystyle \phi }cuerdas separadas en su isoclina. Una rotación isoclínica izquierda (o derecha) de 720° lleva cada 24-celda a través de todas las demás 24-celdas.

Observe las relaciones entre la rotación de la celda de 16 de solo 2 planos cuadrados máximos invariantes , la rotación de la celda de 24 en 6 cuadrados máximos paralelos de Clifford y esta rotación de la celda de 600 en 30 cuadrados máximos paralelos de Clifford. Estas tres rotaciones son la misma rotación, que tiene lugar exactamente en el mismo tipo de círculos isoclínicos, que casualmente intersecan más vértices en la celda de 600 (24) que en la celda de 16 (8). En la rotación de la celda de 16, la distancia entre vértices en una curva isoclina es la2{\displaystyle {\sqrt {2}}}diámetro. En el de 600 celdas los vértices están más juntos y suϕ{\displaystyle \phi }La cuerda es la distancia entre vértices adyacentes en la misma isoclina, pero todas estas isoclinas tienen una circunferencia de 4𝝅.

Como configuración

Esta matriz de configuración [ 61 ] representa la celda de 600 elementos. Las filas y columnas corresponden a vértices, aristas, caras y celdas. Los números de la diagonal indican cuántos elementos de cada tipo aparecen en la celda de 600 elementos. Los números de la diagonal indican cuántos elementos de la columna aparecen en o en el elemento de la fila.

[1201230202720553312002464600]{\displaystyle {\begin{bmatrix}{\begin{matrix}120&12&30&20\\2&720&5&5\\3&3&1200&2\\4&6&4&600\end{matrix}}\end{bmatrix}}}

Aquí se muestra la configuración ampliada con k elementos de caras y k figuras. El número de elementos diagonales es la proporción del orden del grupo completo de Coxeter , 14400, dividido por el orden del subgrupo con eliminación de simetría.

Simetrías

Los icosianos son un conjunto específico de cuaterniones hamiltonianos con la misma simetría que la celda 600. [ 62 ] Los icosianos se encuentran en el campo dorado , ( a + b 5 ) + ( c + d 5 ) i + ( e + f 5 ) j + ( g + h 5 ) k , donde las ocho variables son números racionales . [ 63 ] Las sumas finitas de los 120 icosianos unitarios se denominan anillo icosiano .

Cuando se interpretan como cuaterniones —en geometría euclidiana de cuatro dimensiones , un cuaternión es simplemente una coordenada cartesiana (w, x, y, z)— los 120 vértices de la celda 600 forman un grupo bajo la multiplicación cuaterniónica. Este grupo se denomina a menudo grupo icosaédrico binario y se denota por 2I , ya que es el recubrimiento doble del grupo icosaédrico ordinario I. [ 64 ] Aparece dos veces en el grupo de simetría rotacional RSG de la celda 600 como un subgrupo invariante , a saber, como el subgrupo 2I L de multiplicaciones izquierdas de cuaterniones y como el subgrupo 2I R de multiplicaciones derechas de cuaterniones. Cada simetría rotacional de la celda 600 se genera mediante elementos específicos de 2I L y 2I R ; el par de elementos opuestos genera el mismo elemento de RSG . El centro de RSG consta de la no rotación Id y la inversión central −Id . Tenemos el isomorfismo RSG ≅ (2I L × 2I R ) / {Id, -Id} . El orden de RSG es igual a 120 × 120 / 2 = 7200. El álgebra de cuaterniones como herramienta para el tratamiento de rotaciones en 3D y 4D, y como camino hacia la comprensión completa de la teoría de rotaciones en el espacio euclidiano de 4 dimensiones , es descrito por Mebius. [ 65 ]

El grupo icosaédrico binario es isomorfo a SL(2,5) .

El grupo de simetría completo de la celda 600 es el grupo de Coxeter H₄ . [ 66 ] Este es un grupo de orden 14400. Consta de 7200 rotaciones y 7200 rotaciones-reflexiones. Las rotaciones forman un subgrupo invariante del grupo de simetría completo. El grupo de simetría rotacional fue descrito por primera vez por SL van Oss. [ 67 ] El grupo H₄ y su construcción de álgebra de Clifford a partir de grupos de simetría tridimensionales por inducción es descrito por Dechant. [ 68 ]

Visualización

Las simetrías de la superficie tridimensional de la celda de 600 celdas son algo difíciles de visualizar debido tanto a la gran cantidad de celdas tetraédricas como al hecho de que el tetraedro no tiene caras ni vértices opuestos. Se puede empezar por darse cuenta de que la celda de 600 celdas es la dual de la celda de 120 celdas. También se puede observar que la celda de 600 celdas contiene los vértices de un dodecaedro, [ 35 ] que, con cierto esfuerzo, se puede apreciar en la mayoría de las proyecciones en perspectiva que se muestran a continuación.

Proyecciones 2D

La proyección decagonal H3 muestra el plano del polígono de van Oss .

Proyecciones 3D

Un modelo tridimensional de la celda de 600 celdas, perteneciente a la colección del Instituto Henri Poincaré , fue fotografiado entre 1934 y 1935 por Man Ray y formó parte de dos de sus pinturas posteriores de la serie "Ecuación shakesperiana". [ 69 ]

Animaciones

Disminución de 600 células

La celda truncada de 24 lados se puede obtener a partir de la celda de 600 lados eliminando los vértices de una celda de 24 lados inscrita y tomando la envoltura convexa de los vértices restantes. [ 70 ] Este proceso es una disminución de la celda de 600 lados.

El gran antiprisma se puede obtener mediante otra disminución del 600-celda: eliminando 20 vértices que se encuentran en dos anillos mutuamente ortogonales y tomando la envoltura convexa de los vértices restantes. [ 44 ]

Una celda 600 reducida en 24 vértices, con todas las celdas icosaédricas reducidas en 24 vértices , tiene 48 vértices eliminados, quedando 72 de los 120 vértices de la celda 600. La dual de una celda 600 reducida en 24 vértices es una celda 600 reducida en 24 vértices, con 48 vértices y 72 celdas hexaédricas.

Hay un total de 314.248.344 disminuciones de la celda de 600 por vértices no adyacentes. Todas ellas consisten en celdas tetraédricas e icosaédricas regulares. [ 71 ]

La celda 600 es uno de los 15 politopos regulares y uniformes con la misma simetría H 4 [3,3,5]: [ 11 ]

Es similar a tres politopos regulares de 4 celdas : el {3,3,3} de 5 celdas , el {3,3,4} de 16 celdas del espacio euclidiano de 4 celdas y el panal tetraédrico de orden 6 {3,3,6} del espacio hiperbólico . Todos ellos tienen celdas tetraédricas .

Este 4-politopo forma parte de una secuencia de 4-politopos y panales con figuras de vértice de icosaedro :

Los polígonos complejos regulares 3 {5} 3 , y 5 {3} 5 , , endo2{\displaystyle \mathbb {C} ^{2}}tienen una representación real como 600-celda en un espacio de 4 dimensiones. Ambos tienen 120 vértices y 120 aristas. El primero tiene grupo de reflexión complejo 3 [5] 3 , orden 360, y el segundo tiene simetría 5 [3] 5 , orden 600. [ 72 ]

Véase también

Notas

  1. La suma de las longitudes al cuadrado de todas las cuerdas distintas de cualquier n-politopo convexo regular de radio unitario es el cuadrado del número de vértices. [ 25 ] En este caso,(2ϕ)720+11200+{\displaystyle (2-\phi )\cdot 720+1\cdot 1200+{}\!}(3ϕ)720+21800+{\displaystyle (3-\phi )\cdot 720+2\cdot 1800+{}\!}(1+ϕ)720+31200+{\displaystyle (1+\phi )\cdot 720+3\cdot 1200+{}\!}(2+ϕ)720+460{\displaystyle (2+\phi )\cdot 720+4\cdot 60}es 14.400.
  2. 1 2 ( Coxeter 1973 ) utiliza la letra griega 𝝓 (phi) para representar uno de los tres ángulos característicos 𝟀, 𝝓, 𝟁 de un politopo regular. Dado que 𝝓 se usa comúnmente para representar la constante de la proporción áurea ≈ 1,618, para la cual Coxeter usa 𝝉 (tau), invertimos las convenciones de Coxeter y usamos 𝝉 para representar el ángulo característico.

Citas

  1. NW Johnson : Geometrías y transformaciones , (2018) ISBN 978-1-107-10340-5Capítulo 11: Grupos de simetría finitos , 11.5 Grupos de Coxeter esféricos , pág. 249
  2. Matila Ghyka, La geometría del arte y la vida (1977), pág. 68
  3. Coxeter 1973 , pág. 136, §7.8 La enumeración de posibles figuras regulares.
  4. Coxeter 1973 , pp. 292–293, Tabla I(ii): Los dieciséis politopos regulares { p, q, r } en cuatro dimensiones; Una tabla invaluable que proporciona las 20 métricas de cada 4-politopo en unidades de longitud de arista. Deben ser convertidas algebraicamente para comparar politopos de radio unitario.
  5. Coxeter 1973 , pág. 153, §8.51; "De hecho, los vértices de {3, 3, 5}, tomados 5 veces cada uno, son los vértices de 25 {3, 4, 3}."
  6. Coxeter 1973 , pág. 305, Tabla VII: Compuestos regulares en cuatro dimensiones.
  7. Coxeter 1973 , págs. 292–293, Tabla I(ii), columna "600 celdas" 0 R/l = 2𝝓/2.
  8. Coxeter 1973 , pp. 156–157, §8.7 Coordenadas cartesianas.
  9. 1 2 Coxeter 1973 , págs. 151–153, §8.4 El desaire {3,4,3}.
  10. Waegell y Aravind 2009 , págs. 3–4, §3.2 Las 75 bases de la celda de 600; En la celda de 600, los "puntos" y las "líneas" de la configuración son ejes ("rayos") y celdas de 16 ("bases"), respectivamente.
  11. 1 2 3 Denney et al. 2020 .
  12. Zamboj 2021 , págs. 10–11, §Coordenadas de Hopf.
  13. Coxeter 1973 , pág. 298, Tabla V: La distribución de vértices de politopos de cuatro dimensiones en secciones sólidas paralelas (§13.1); (iii) Secciones de {3, 3, 5} (arista 2𝜏 −1 ) que comienzan con un vértice.
  14. Oss 1899 ; van Oss no menciona las distancias de arco entre los vértices de la celda de 600.
  15. Buekenhout y Parker 1998 .
  16. ^ Dechant 2021 , págs. 18-20 , §6 .  El avión Coxeter.
  17. Coxeter 1973 , pág. 298, Tabla V: La distribución de vértices de politopos de cuatro dimensiones en secciones sólidas paralelas (§13.1); (iii) Secciones de {3, 3, 5} (arista 2𝜏 −1 ) que comienzan con un vértice; véase la columna a .
  18. Steinbach 1997 , pág. 23, Figura 3; Steinbach derivó una fórmula que relaciona las diagonales y las longitudes de los lados de polígonos regulares sucesivos, y la ilustró con un diagrama de "abanico de cuerdas" como el que se muestra aquí.
  19. Denney et al. 2020 , págs. 437–439, §4 Los planos de la celda 600.
  20. Sadoc 2001 , pág. 576, §2.4 Discretización de la fibración para el politopo {3, 3, 5}: el eje helicoidal de diez veces.
  21. ^ Denney y col. 2020 , pág. 438.
  22. Waegell y Aravind 2009 , pág. 5, §3.4. La celda de 24: puntos, líneas y configuración de Reye; Aquí, los "puntos" y las "líneas" de Reye son ejes y hexágonos, respectivamente. Los planos de hexágonos duales no son ortogonales entre sí, solo sus pares de ejes duales. Los pares de hexágonos duales no aparecen en celdas individuales de 24, solo entre celdas de 24 en la celda de 600.
  23. 1 2 3 Sadoc 2001 , págs. 576–577, §2.4 Discretización de la fibración para el politopo {3, 3, 5}: el eje helicoidal séxtuple.
  24. 1 2 Sadoc 2001 , p. 577, §2.4 Discretización de la fibración para el politopo {3, 3, 5}: el eje helicoidal cuádruple.
  25. Copher 2019 , pág. 6, §3.2 Teorema 3.4.
  26. 1 2 Sadoc 2001 , pp. 575–578, §2 Geometría del politopo {3,3,5} en S 3 ; Sadoc estudió todas las fibraciones de Hopf de la celda 600 en conjuntos de fibras de círculo máximo {4}, {6} o {10} en diferentes ejes helicoidales, dio sus mapas de Hopf e ilustró completamente los característicos anillos de celdas decagonales.
  27. Tyrrell y Semple 1971 , págs. 6–7, §4. Planos isoclínicos en el espacio euclidiano E 4 .
  28. 1 2 Sadoc 2001 , pp. 577–578, §2.5 La simetría 30/11: un ejemplo de otro tipo de simetrías.
  29. Coxeter 1973 , p. 211, §11.x Observaciones históricas; "El grupo finito [3 2, 2, 1 ] es isomorfo con el grupo de permutaciones que preservan la incidencia de las 27 líneas en la superficie cúbica general. (Para la descripción más antigua de estas líneas, véase Schlafli 2.)".
  30. Schläfli 1858 ; este artículo de Schläfli que describe la configuración doble seis fue uno de los pocos fragmentos de su descubrimiento de los politopos regulares en dimensiones superiores que se publicaron durante su vida. [ 29 ]
  31. Coxeter 1973 , págs. 141–144, §7. Politopos ordinarios en el espacio superior; §7.x. Observaciones históricas; "Prácticamente todas las ideas de este capítulo... se deben a Schläfli, quien las descubrió antes de 1853, una época en la que Cayley, Grassmann y Möbius eran las únicas otras personas que habían concebido la posibilidad de la geometría en más de tres dimensiones."
  32. Coxeter 1970 , estudió los anillos celulares en el caso general de su geometría y teoría de grupos , identificando cada anillo celular como un politopo en sí mismo que llena una variedad tridimensional (como la 3-esfera ) con su correspondiente panal . Encontró que los anillos celulares siguen polígonos de Petrie y que algunos (pero no todos) los anillos celulares y sus panales están retorcidos , apareciendo en formas quirales levógiras y dextrógiras. Específicamente, encontró que los 4-politopos regulares con celdas tetraédricas (5-celdas, 16-celdas, 600-celdas) tienen anillos celulares retorcidos, y los demás (cuyas celdas tienen caras opuestas) no. Por separado, clasificó los anillos celulares según si forman sus estructuras en forma de panal en el espacio hiperbólico o euclidiano, siendo estos últimos los que se encuentran en los 4-politopos que pueden recubrir el espacio de 4 dimensiones mediante traslación para formar estructuras en forma de panal euclidiana (16-celulares, 8-celulares, 24-celulares).
  33. Banchoff 2013 , estudió la descomposición de 4-politopos regulares en panales de toros que recubren el toro de Clifford , mostró cómo los panales corresponden a fibraciones de Hopf y realizó descomposiciones compuestas de anillos celulares meridianos y ecuatoriales con ilustraciones.
  34. 1 2 Sadoc 2001 , p. 578, §2.6 El politopo {3, 3, 5}: un conjunto de cuatro hélices.
  35. 1 2 Coxeter 1973 , p. 303, Tabla VI (iii): 𝐈𝐈 = {3,3,5}.
  36. Coxeter 1973 , pág. 153, §8.5 Construcción de Gosset para {3,3,5}.
  37. Borovik 2006 ; "El entorno que dirigió la evolución de nuestro cerebro nunca proporcionó a nuestros ancestros experiencias tetradimensionales... [Sin embargo], los humanos estamos dotados de un extraordinario software matemático para el procesamiento de imágenes, integrado en nuestro cerebro. Coxeter lo aprovechó al máximo y esperaba que el lector también lo hiciera... La visualización es una de las técnicas de interiorización más poderosas. Ancla conceptos e ideas matemáticas en una de las partes más potentes de nuestro cerebro: el módulo de procesamiento visual. La teoría de Coxeter [de politopos generados por] grupos de reflexión finitos permite un enfoque para su estudio basado en una reducción sistemática de configuraciones geométricas complejas a casos especiales bidimensionales y tridimensionales mucho más simples."
  38. Miyazaki 1990 ; Miyazaki demostró que la envoltura superficial de la celda de 600 celdas se puede realizar arquitectónicamente en nuestro espacio tridimensional ordinario como edificios físicos (cúpulas geodésicas).
  39. Coxeter 1973 , pág. 293; 164°29'
  40. Coxeter 1973 , pág. 299, Tabla V: (iv) Secciones simplificadas de {3,3,5} ... comenzando con una celda.
  41. Sadoc 2001 , pp. 576–577, §2.4 Discretización de la fibración para el {3, 3, 5}; "Procedamos ahora a una descomposición toroidal del politopo {3, 3, 5}."
  42. Coxeter 1970 , págs. 19–23, §9. La celda de 120 y la celda de 600.
  43. Sadoc 2001 , pp. 576–577, §2.4 Discretización de la fibración para el {3, 3, 5}, Fig. 2. Una columna de simetría quíntuple; en la leyenda (sic) los dodecágonos deberían ser decágonos.
  44. 1 2 3 Dechant 2021 , pp. 20–22, §7. El Gran Antiprisma y H 2 × H 2 .
  45. Coxeter 1973 , págs. 292–293, Tabla I(ii); "600 celdas".
  46. Coxeter 1973 , pág. 139, §7.9 El simplex característico.
  47. Coxeter 1973 , pág. 290, Tabla I(ii); "ángulos diedros".
  48. Coxeter 1973 , pp. 33–38, §3.1 Transformaciones congruentes.
  49. Dechant 2017 , pp. 410–419, §6. El plano de Coxeter; véase p. 416, Tabla 1. Resumen de las factorizaciones de los versores de Coxeter de los sistemas de raíces 4D; «Los grupos de Coxeter (reflexión) en el marco de Clifford... proporcionan una prescripción singularmente simple para las reflexiones. Mediante el teorema de Cartan-Dieudonné, realizar dos reflexiones sucesivamente genera una rotación, que en el álgebra de Clifford se describe mediante un espinor que es simplemente el producto geométrico de los dos vectores que generan las reflexiones».
  50. Koca, Al-Ajmi y Ozdes Koca 2011 , págs. 986–988, 6. Dual del snub de 24 celdas.
  51. Mamone, Pileio y Levitt 2010 , págs. 1438–1439, §4.5 Politopos convexos regulares de 4 dimensiones; la celda de 600 tiene 14.400 operaciones de simetría (rotaciones y reflexiones) como se enumera en la Tabla 2, grupo de simetría 𝛨 4 .
  52. Waegell y Aravind 2009 , págs. 2–5, §3. El de 600 celdas.
  53. ^ Denney y col. 2020 , pág. 434.
  54. Pérez-Gracia y Thomas 2017 , págs. 2-3, §2. Rotaciones isoclínicas.
  55. Kim y Rote 2016 , págs. 12-16, §8 La construcción de fibras de Hopf; véase §8.3.
  56. Pérez-Gracia y Thomas 2017 , §1. Introducción; "Este artículo [derivará] una descomposición espectral de rotaciones isoclínicas y fórmulas explícitas en álgebra matricial y de Clifford para el cálculo de la factorización [isoclínica] de Cayley."
  57. Pérez-Gracia y Thomas 2017 , págs. 12-13, §5. Un mapeo útil.
  58. 1 2 Kim & Rote 2016 , p. 14, §8.3 Corolario 9. Todo gran círculo pertenece a un único haz de Hopf derecho [(y izquierdo)].
  59. Kim y Rote 2016 , págs. 14–16, §8.3 Propiedades de la fibración de Hopf.
  60. Coxeter 1973 , p. 156: "...el tablero de ajedrez tiene un análogo n-dimensional."
  61. Coxeter 1973 , pág. 12, §1.8. Configuraciones.
  62. van Ittersum 2020 , págs. 80–95, §4.3.
  63. Steinbach 1997 , pág. 24.
  64. Stillwell 2001 , págs. 22–23, La esfera de homología de Poincaré.
  65. Mebius 2015 , p. 1, " El álgebra de cuaterniones es la herramienta por excelencia para el tratamiento de rotaciones tridimensionales y cuatridimensionales (3D y 4D). Obviamente, solo las rotaciones 3D, y por extensión las 2D, tienen un significado práctico cotidiano, pero la teoría de las rotaciones 4D resulta ser la vía más sencilla para la representación de rotaciones 3D mediante cuaterniones."
  66. Denney et al. 2020 , §2 El etiquetado de H 4 .
  67. Oss 1899 , págs. 1–18.
  68. Dechant 2021 , Resumen; "[C]ada sistema de raíces 3D permite la construcción de un sistema de raíces 4D correspondiente mediante un 'teorema de inducción'. En este artículo, analizamos en detalle el caso icosaédrico de H3 → H4 y realizamos los cálculos explícitamente. Se utiliza el álgebra de Clifford para realizar cálculos de teoría de grupos basados ​​en el teorema del versor y el teorema de Cartan-Dieudonné... arrojando luz sobre aspectos geométricos del sistema de raíces H4 (la celda de 600) así como sobre otros politopos relacionados y sus simetrías... incluyendo la construcción del plano de Coxeter, que se utiliza para visualizar los pares complementarios de politopos invariantes... Este enfoque constituye, por lo tanto, una forma más sistemática y general de realizar cálculos sobre grupos, en particular grupos de reflexión y sistemas de raíces, en un marco de álgebra de Clifford."
  69. Grossman, Wendy A.; Sebline, Edouard, eds. (2015), Man Ray Human Equations: A journey from mathematics to Shakespeare , Hatje CantzVéase en particular el objeto matemático mo-6.2 , pág.  58; Antonio y Cleopatra , SE-6, pág.  59; el objeto matemático mo-9 , pág.  64; El mercader de Venecia , SE-9, pág.  65, y "El Hexacosicoron", Philip Ordning, pág.  96.
  70. ^ Dechant 2021 , págs. 22-24, §8. Desaire de 24 celdas.
  71. ^ Sikiric, Mathieu; Myrvold, Wendy (2007). "Los cortes especiales de 600 celdas". Beiträge zur Algebra und Geometrie . 49 (1). arXiv : 0708.3443 .
  72. Coxeter 1991 , págs. 48–49.

Referencias

  • Schläfli, Ludwig (1858), Cayley, Arthur (ed.), "Un intento de determinar las veintisiete líneas sobre una superficie de tercer orden y de derivar dichas superficies en especies, en referencia a la realidad de las líneas sobre la superficie" , Quarterly Journal of Pure and Applied Mathematics , 2 : 55–65 , 110–120
  • Coxeter, HSM (1973) [1948]. Politopos regulares (3.ª  ed.). Nueva York: Dover.
  • Coxeter, HSM (1991). Politopos complejos regulares (2.ª  ed.). Cambridge: Cambridge University Press.
  • Coxeter, HSM (1995). Sherk, F. Arthur; McMullen, Peter; Thompson, Anthony C.; Weiss, Asia Ivic (eds.). Caleidoscopios: Escritos selectos de HSM Coxeter (2.ª  ed.). Publicación de Wiley-Interscience. ISBN 978-0-471-01003-6.
    • (Artículo 22) HSM Coxeter, Politopos regulares y semiregulares I , [Math. Zeit. 46 (1940) 380-407, MR 2,10]
    • (Artículo 23) HSM Coxeter, Politopos regulares y semi-regulares II , [Math. Zeit. 188 (1985) 559-591]
    • (Artículo 24) HSM Coxeter, Politopos regulares y semi-regulares III , [Math. Zeit. 200 (1988) 3-45]
  • Coxeter, HSM (1970), "Panales retorcidos", Conference Board of the Mathematical Sciences Regional Conference Series in Mathematics , 4 , Providence, Rhode Island: American Mathematical Society
  • Borovik, Alexandre (2006). «Teoría de Coxeter: Aspectos cognitivos». En Davis, Chandler; Ellers, Erich (eds.). El legado de Coxeter . Providence, Rhode Island: American Mathematical Society. pp. 17–43 . ISBN  978-0-8218-3722-1.
  • JH Conway y MJT Guy : Politopos arquimedianos de cuatro dimensiones , Actas del Coloquio sobre Convexidad en Copenhague, páginas 38 y 39, 1965.
  • NW Johnson : La teoría de los politopos uniformes y los panales de abeja , tesis doctoral, Universidad de Toronto, 1966.
  • Politopos arquimedianos de cuatro dimensiones (en alemán), Marco Möller, tesis doctoral de 2004. Archivado el 22 de marzo de 2005 en Wayback Machine.
  • Oss, Salomon Levi van (1899). "Das regelmässige Sechshundertzell und seine selbstdeckenden Bewegungen" . Verhandelingen der Koninklijke (Nederlandse) Akademie van Wetenschappen, Sección 1 (Afdeeling Natuurkunde) . 7 (1). Ámsterdam: 1-18 .
  • Buekenhout, F.; Parker, M. (15 de mayo de 1998). "El número de redes de politopos convexos regulares en dimensión <= 4" . Matemáticas Discretas . 186 ( 1–3 ): 69–94 . doi : 10.1016/S0012-365X(97)00225-2 .
  • Denney, Tomme; Hooker, Da'Shay; Johnson, De'Janeke; Robinson, Tianna; Mayordomo, Majid; Claiborne, Sandernishe (2020). "La geometría de los politopos H4". Avances en Geometría . 20 (3): 433– 444. arXiv : 1912.06156 . doi : 10.1515/advgeom-2020-0005 . S2CID 220367622 . 
  • Steinbach, Peter (1997). "Campos dorados: Un caso para el heptágono". Mathematics Magazine . 70 (feb 1997): 22– 31. doi : 10.1080/0025570X.1997.11996494 . JSTOR 2691048 . 
  • Copher, Jessica (2019). "Sumas y productos de longitudes de cuerda al cuadrado de politopos regulares". arXiv : 1903.06971 [ math.MG ].
  • Miyazaki, Koji (1990). "Politopos hipergeodésicos primarios". Revista internacional de estructuras espaciales . 5 ( 3–4 ): 309–323 . doi : 10.1177/026635119000500312 . S2CID 113846838 . 
  • van Ittersum, Clara (2020). Grupos de simetría de politopos regulares en tres y cuatro dimensiones (Tesis). Universidad Tecnológica de Delft .
  • Waegell, Mordecai; Aravind, PK (2009-11-12). "No coloraciones críticas de la celda de 600 que demuestran el teorema de Bell-Kochen-Specker". Journal of Physics A . 43 (10) 105304. arXiv : 0911.2289 . doi : 10.1088/1751-8113/43/10/105304 . S2CID 118501180 . 
  • Zamboj, Michal (8 de enero de 2021). "Construcción sintética de la fibración de Hopf en una proyección ortogonal doble del espacio 4". Journal of Computational Design and Engineering . 8 (3): 836– 854. arXiv : 2003.09236 . doi : 10.1093/jcde/qwab018 .
  • Kim, Heuna; Rote, G. (2016). "Prueba de congruencia de conjuntos de puntos en 4 dimensiones". arXiv : 1603.07269 [ cs.CG ].
  • Sadoc, Jean-Francois (2001). "Hélices y empaquetamientos helicoidales derivados del politopo {3,3,5}" . European Physical Journal E. 5 : 575–582 . doi : 10.1007 /s101890170040 . S2CID 121229939 . 
  • Sadoc, JF; Charvolin, J (2009). "Fibraciones de 3 esferas: una herramienta para analizar materiales retorcidos en materia condensada" . Journal of Physics A. 42 ( 46) 465209. Bibcode : 2009JPhA...42T5209S . doi : 10.1088/1751-8113/42/46/465209 . S2CID 120065066 . 
  • Lemmens, PWH; Seidel, JJ (1973). "Subespacios equiisoclínicos de espacios euclidianos". Indagationes Mathematicae (Actas) . 76 (2): 98– 107. doi : 10.1016/1385-7258(73)90042-5 . ISSN 1385-7258 . 
  • Tyrrell, JA; Semple, JG (1971). Paralelismo de Clifford generalizado . Cambridge University Press . ISBN 0-521-08042-8.
  • Pérez-Gracia, Alba; Thomas, Federico (2017). "Sobre la factorización de Cayley de rotaciones 4D y aplicaciones" (PDF) . Adv. Appl. Clifford Algebras . 27 : 523–538 . doi : 10.1007/s00006-016-0683-9 . hdl : 2117/113067 . S2CID 12350382 . 
  • Mamone, Salvatore; Pileio, Giuseppe; Levitt, Malcolm H. (2010). "Esquemas de muestreo orientacional basados ​​en politopos de cuatro dimensiones" . Symmetry . 2 (3): 1423– 1449. Bibcode : 2010Symm....2.1423M . doi : 10.3390/sym2031423 .
  • Stillwell, John (enero de 2001). "La historia de la celda de 120" (PDF) . Notices of the AMS . 48 (1): 17– 25.
  • Dorst, Leo (2019). "Rotores de Villarceau conformes" . Advances in Applied Clifford Algebras . 29 (44) 44. doi : 10.1007/s00006-019-0960-5 . S2CID 253592159 . 
  • Banchoff, Thomas F. (2013). «Descomposiciones toroidales de politopos regulares en el espacio de 4 dimensiones». En Senechal, Marjorie (ed.). Shaping Space . Springer New York. pp. 257–266 . doi : 10.1007/978-0-387-92714-5_20 . ISBN  978-0-387-92713-8.
  • Banchoff, Thomas (1989). «Geometría del mapeo de Hopf y toros de Pinkall de tipo conforme dado». En Tangora, Martin (ed.). Computadoras en geometría y topología . Nueva York y Basilea: Marcel Dekker. pp. 57–62 . 
  • Koca, Mehmet; Ozdes Koca, Nazife; Al-Barwani, Muataz (2012). "Snub 24-Cell Derived from the Coxeter-Weyl Group W(D4)" . Int. J. Geom. Methods Mod. Phys . 09 (8). arXiv : 1106.3433 . doi : 10.1142/S0219887812500685 . S2CID 119288632 . 
  • Koca, Mehmet; Al-Ajmi, Mudhahir; Ozdes Koca, Nazife (2011). "Representación cuaterniónica de la celda 24 truncada y su politopo dual derivado del sistema de raíces E8" . Álgebra lineal y sus aplicaciones . 434 (4): 977– 989. arXiv : 0906.2109 . doi : 10.1016/j.laa.2010.10.005 . ISSN 0024-3795 . S2CID 18278359 .  
  • Koca, Nazife; Al-Mukhaini, Aida; Koca, Mehmet; Al Qanobi, Amal (2016-12-01). "Simetría del piritoedro y las redes" . Revista de Ciencias de la Universidad Sultan Qaboos . 21 (2): 139. doi : 10.24200/squjs.vol21iss2pp139-149 .
  • Dechant, Pierre-Philippe (2021). "Clifford Spinors and Root System Induction: H4 and the Grand Antiprism" . Advances in Applied Clifford Algebras . 31 (3). Springer Science and Business Media. arXiv : 2103.07817 . doi : 10.1007/s00006-021-01139-2 . S2CID 232232920 . 
  • Dechant, Pierre-Philippe (2017). "La geometría E8 desde una perspectiva de Clifford" . Advances in Applied Clifford Algebras . 27 : 397–421 . arXiv : 1603.04805 . doi : 10.1007/s00006-016-0675-9 . S2CID 253595386 . 
  • Itoh, Jin-ichi; Nara, Chie (2021). "Aplanamiento continuo del esqueleto bidimensional de una celda regular de 24 celdas" . Journal of Geometry . 112 (13) 13. doi : 10.1007/s00022-021-00575-6 .
  • Mebius, Johan (julio de 2015) [11 de enero de 1994]. Aplicaciones de los cuaterniones a la simulación dinámica, los gráficos por computadora y la biomecánica (tesis). Universidad Tecnológica de Delft . doi : 10.13140/RG.2.1.3310.3205 .
  • Weisstein, Eric W. "600-Cell" . MathWorld .
  • Klitzing, Richard. "Polítopos uniformes 4D (policoros) x3o3o5o - ex" .
  • Der 600-Zeller (600 celdas) Politopos regulares de Marco Möller en R 4 (alemán)
  • La expansión centrada en el vértice de 600 celdas de la 600 celdas