Poliedro complejo

La versión actual de la página aún no ha sido revisada por colaboradores experimentados y puede diferir significativamente de la versión revisada el 25 de febrero de 2021; la verificación requiere 1 edición .

Un politopo complejo  es una generalización de un politopo en el espacio real a una estructura similar en un espacio complejo de Hilbert , donde se agrega una dimensión imaginaria a cada dimensión real .

Un poliedro complejo puede entenderse como un conjunto de puntos, rectas, planos, etc. complejos, donde varias rectas se intersecan en cada punto, varios planos se intersecan en cada recta, etc.

Sólo existe una definición precisa para los poliedros complejos regulares , que son configuraciones . Los poliedros complejos regulares están completamente descritos y pueden describirse utilizando la notación simbólica desarrollada por Coxeter .

También se describen algunos politopos complejos que no son regulares.

Definición y comentarios introductorios

La recta compleja tiene una dimensión con coordenadas reales y otra con coordenadas imaginarias . Si se utilizan coordenadas reales para ambas dimensiones, se habla de establecer dos dimensiones sobre números reales. Un plano real con un eje imaginario se llama diagrama de Argand . Debido a esto, a veces se le llama el plano complejo. El espacio bidimensional complejo (que a veces también se denomina plano complejo) es entonces un espacio de cuatro dimensiones sobre los números reales.

Un politopo n complejo en un espacio n complejo es similar a un politopo n real en un espacio n real .

No existe un complejo natural análogo al orden de un punto en el eje real (o propiedades combinatorias relacionadas). En consecuencia, un poliedro complejo no puede ser considerado como una superficie continua y no limita el interior, como ocurre en el caso real.

En el caso de poliedros regulares , se puede dar una definición precisa utilizando el concepto de simetría. Para cualquier poliedro regular , el grupo de simetría (aquí, el grupo de reflexión complejo , llamado grupo de Shepard ) actúa transitivamente sobre banderas , es decir, sobre conjuntos anidados de puntos contenidos en líneas que pertenecen al plano, y así sucesivamente.

Más completamente, se dice que un conjunto P de subespacios (o planos ) afines de un espacio unitario complejo V de dimensión n es un politopo complejo regular si satisface las siguientes condiciones [1] [2] :

Los poliedros complejos regulares fueron descubiertos por Shepard (1952) y su teoría fue desarrollada más tarde por Coxeter (1974).

Tres vistas sobre polígonos complejos regulares ,CDel 4nodo 1.pngCDel 3.pngCDel 4.pngCDel 3.pngCDel nodo.png

Este polígono complejo tiene 8 aristas (líneas complejas) etiquetadas como a .. h y 16 vértices. Cuatro vértices se encuentran en cada arista y dos aristas se intersecan en cada vértice. En la figura de la izquierda, los cuadrados no son elementos de un poliedro, sino que se dibujan únicamente para ayudar a reconocer los vértices que se encuentran en la misma línea compleja. El perímetro octogonal de la imagen de la izquierda no es un elemento de un poliedro, sino un polígono de Petri [3] . En la figura central, cada arista se representa como una línea real y se pueden ver fácilmente los cuatro vértices de cada línea.

Dibuje en perspectiva que represente 16 vértices como puntos negros y 8 4 aristas como cuadrados dentro de cada arista. El camino verde representa el perímetro octogonal de la imagen de la izquierda.

Un politopo complejo existe en un espacio complejo de dimensión equivalente. Por ejemplo, los vértices de un polígono complejo  son puntos en el plano complejo y los bordes son líneas complejas que existen como subespacios (afines) del plano que se cruzan en los vértices. Por lo tanto, un borde puede estar dado por un solo número complejo.

En un poliedro complejo regular, los vértices incidentes en una arista están dispuestos simétricamente con respecto al baricentro , que a menudo se usa como el origen del sistema de coordenadas de la arista (en el caso real, el baricentro es simplemente el medio de la arista). La simetría surge de reflexiones complejas sobre el baricentro. Esta reflexión deja el módulo de cualquier vértice sin cambios, pero cambia su argumento por un valor constante, moviéndolo a las coordenadas del siguiente vértice en orden. Así, podemos suponer (después de una adecuada elección de escala) que los vértices de una arista satisfacen la ecuación , donde p  es el número de vértices incidentes. Así, en un diagrama de aristas de Argand, los puntos de vértice se encuentran en los vértices de un polígono regular centrado en el origen.

Tres proyecciones reales de un polígono regular complejo 4{4}2 con bordes a, b, c, d, e, f, g, h se ilustran arriba . El polígono tiene 16 vértices, que no están etiquetados individualmente para facilitar la visualización. Cada arista tiene cuatro vértices, y cada vértice se encuentra en dos aristas porque cada arista se cruza con otras cuatro aristas. En el primer diagrama, cada borde está representado por un cuadrado. Los lados del cuadrado no forman parte del polígono, sino que se dibujan únicamente para facilitar las conexiones visuales de los cuatro vértices. Las costillas están dispuestas simétricamente. (Tenga en cuenta que el diagrama se parece a la proyección plana B 4 Coxeter del teseracto , pero es estructuralmente diferente).

El diagrama central no mantiene la simetría octogonal en favor de la claridad. Cada borde se muestra como una línea real y cada punto de intersección de dos líneas es un vértice. La conexión entre los diferentes bordes es fácil de ver.

El último diagrama muestra la estructura proyectada en el espacio 3D: los dos cubos de vértice son en realidad del mismo tamaño, pero se ven desde diferentes perspectivas de distancia en el espacio 4D.

Poliedros unidimensionales complejos regulares

Un poliedro unidimensional real existe como un segmento cerrado en la línea real , definido por dos extremos o vértices. Su símbolo de Schläfli  es {} .

De manera similar, un 1-politopo complejo existe como un conjunto p de vértices en la línea compleja . Se pueden representar como un conjunto de puntos en un diagrama de Argand ( x , y )= x + iy . Un politopo unidimensional complejo regular p {} tiene p ( p ≥ 2) vértices dispuestos como un polígono regular convexo { p } en el plano complejo [4] .

A diferencia de los puntos de la recta real, los puntos de la recta compleja no tienen un orden natural. Entonces, a diferencia de los politopos reales, no se puede definir ningún interior [5] . Contrariamente a esto, los 1-politopos complejos a menudo se dibujan, como aquí, como polígonos regulares delimitados en el plano complejo.

Un politopo unidimensional real regular se representa mediante un símbolo de Schläfli vacío {} o un diagrama de Coxeter-Dynkin CDel nodo 1.png. El punto o nodo del diagrama de Coxeter-Dynkin representa el generador de reflexión, mientras que el círculo alrededor del nodo significa que el punto generador no está en el espejo, por lo que su imagen especular es diferente del punto mismo. De acuerdo con la notación extendida, un politopo unidimensional complejo regular con p vértices tiene un diagrama de Coxeter-Dynkin CDel pnodo 1.pngpara cualquier entero positivo p (mayor o igual a 2). El número p se puede omitir si es igual a 2. Este poliedro también se puede representar con el símbolo de Schläfli vacío o . 1 es un marcador de posición que representa un reflejo inexistente o un generador de identidad con un período de 1. (Un politopo 0, real o complejo, es un punto y se representa como } {, o como .)

La simetría se indica mediante el diagrama de Coxeter. CDelpnode.pngy puede describirse alternativamente en la notación de Coxeter como , o , o . La simetría es isomorfa al grupo cíclico , de orden p [6] . Los subgrupos son cualquier divisor total , donde .

Generador de operador unitario paraCDelpnode.pngparece una rotación de 2π/ p radianes en el sentido de las agujas del reloj, yCDel pnodo 1.pngel borde está formado por la aplicación sucesiva de un reflejo complejo. El generador de reflexión complejo para un 1-politopo con p vértices es . Si p = 2, el generador es igual a la simetría central en el plano real.

En politopos complejos de dimensiones superiores, los politopos 1 forman p -bordes. Una arista doble es similar a una arista real regular en que contiene dos vértices pero no necesariamente existe en la línea real.

Polígonos complejos regulares

Aunque los politopos de 1 pueden tener un valor de p ilimitado , los polígonos complejos regulares finitos, con la excepción de los polígonos de doble prisma , están limitados a 5 aristas (aristas pentagonales) y los apeirogons regulares infinitos también incluyen 6 aristas (aristas hexagonales).

Notación

Notación de Schläfli modificada de Shepard

Shepard originalmente ideó una forma modificada de notación de Schläfli para poliedros regulares. Para un polígono delimitado por p 1 -aristas, con p 2 -conjuntos como figuras de vértice y un grupo de simetría común de orden g , denotamos el polígono como.

El número de vértices V es entonces igual a , y el número de aristas E es igual a .

El polígono complejo ilustrado arriba tiene ocho aristas cuadradas ( ) y dieciséis vértices ( ). De esto podemos concluir que g = 32, lo que da el símbolo de Schläfli modificado 4(32)2.

Notación de Schläfli revisada

Una notación más moderna se debe a Coxeter [8] y se basa en la teoría de grupos. El símbolo del grupo de simetría es .

El grupo de simetría está representado por dos generadores , donde: . Si q es par, . Si q es impar, . Cuando q es impar, .

Para presas , .

Para presas , .

Diagramas de Coxeter-Dynkin

Coxeter también generalizó el uso de diagramas de Coxeter-Dynkin a poliedros complejos. Por ejemplo, un polígono complejo se representa mediante un diagrama .CDel pnodo 1.pngCDel q.pngCDel rnodo.png, y el grupo de simetría equivalente está representado por un diagrama sin un círculoCDelpnode.pngCDel q.pngCDel rnodo.png. Los nodos p y r representan espejos que dan imágenes de p y r en el plano. Los nodos sin etiqueta en el diagrama tienen 2 etiquetas implícitas. Por ejemplo, un polígono regular real tiene la notación , o { q }, oCDel nodo 1.pngCDel q.pngCDel nodo.png.

Hay una restricción: los nodos conectados por órdenes de ramales impares deben tener órdenes de nodos idénticos. Si no, el grupo creará poliedros "estrellados" con elementos superpuestos. De este modo,CDel 3nodo 1.pngCDel 4.pngCDel nodo.pngyCDel 3nodo 1.pngCDel 3.pngCDel3nodo.pngson polígonos ordinarios, mientras queCDel 4nodo 1.pngCDel 3.pngCDel nodo.pnges estelar.

Enumeración de polígonos regulares

Coxeter proporcionó una lista de polígonos complejos regulares en formato . Polígono regular complejo, oCDel pnodo 1.pngCDel q.pngCDel rnodo.png, tiene p -aristas y q -figuras de vértice diagonal . es un politopo finito si .

La simetría de un polígono regular, escrita como , se denomina grupo de Shepard , por analogía con el grupo de Coxeter , que permite reflexiones tanto reales como complejas.

Para grupos no estrellados, el orden del grupo se puede calcular como [9] .

El número de Coxeter para es , por lo que el orden del grupo también se puede calcular como . Un polinomio complejo regular se puede dibujar en una proyección ortogonal con simetría h -gonal.

Las soluciones de rango 2 generan los siguientes polígonos complejos:

Grupo G5 _ G8 _ G14 _ G9 _ G10 _ G20 _ G16 _ G21 _ G17 _ G18 _
, q =3.4… , p = 2,3…
CDel nodo.pngCDel q.pngCDel nodo.png CDelpnode.pngCDel 4.pngCDel nodo.png CDel3nodo.pngCDel 3.pngCDel3nodo.png CDel3nodo.pngCDel 6.pngCDel nodo.png CDel3nodo.pngCDel 4.pngCDel3nodo.png CDel4nodo.pngCDel 3.pngCDel4nodo.png CDel3nodo.pngCDel8.pngCDel nodo.png CDel4nodo.pngCDel 6.pngCDel nodo.png CDel4nodo.pngCDel 4.pngCDel3nodo.png CDel3nodo.pngCDel 5.pngCDel3nodo.png CDel5nodo.pngCDel 3.pngCDel5nodo.png CDel3nodo.pngCDel 10.pngCDel nodo.png CDel5nodo.pngCDel 6.pngCDel nodo.png CDel5nodo.pngCDel 4.pngCDel3nodo.png
Ordenar 2 q 2p2 _ _ 24 48 72 96 144 192 288 360 600 720 1200 1800

Se excluyen las soluciones con q impar y p y r desiguales : , y .

Otros enteros q con p y r desiguales crean grupos de estrellas con regiones fundamentales superpuestas:CDel3nodo.pngCDel 3.pngCDel nodo.png,CDel4nodo.pngCDel 3.pngCDel nodo.png,CDel5nodo.pngCDel 3.pngCDel nodo.png,CDel5nodo.pngCDel 3.pngCDel3nodo.png,CDel3nodo.pngCDel 5.pngCDel nodo.png, yCDel5nodo.pngCDel 5.pngCDel nodo.png.

El polígono dual de un polígono  es . El polígono de vista es autodual. Los grupos de vistas tienen la mitad de la simetría , de modo que un polígono regularCDel pnodo 1.pngCDel 3.pngCDel 2x.pngCDel q.pngCDel 3.pngCDel nodo.pnges lo mismo que el cuasirregularCDel pnodo 1.pngCDel 3.pngCDel q.pngCDel 3.pngCDel pnodo 1.png. También un polígono regular con el mismo orden de nodos,CDel pnodo 1.pngCDel 3.pngCDel q.pngCDel 3.pngCDelpnode.png, tiene una construcción alterna CDel nodo h.pngCDel 3.pngCDel 2x.pngCDel q.pngCDel 3.pngCDelpnode.png, permitiendo que los bordes adyacentes tengan dos colores diferentes [10] .

El orden de grupo, g , se usa para calcular el número total de vértices y aristas. El poliedro tiene vértices g / r y aristas g / p . Si p = r , el número de vértices y aristas es igual. Esta condición es necesaria si q es impar.

Grupo Ordenar numero
coxeter
Polígono picos costillas notas
G(q, q,2) q=2,3,4,…

2 q q CDel nodo 1.pngCDel q.pngCDel nodo.png q q {} Polígonos regulares reales
Igual queCDel nodo h.pngCDel 2x.pngCDel q.pngCDel nodo.png
Igual queCDel nodo 1.pngCDel q.pngCDel rat.pngCDel 2x.pngCDel nodo 1.pngsi q es par
Grupo Ordenar numero
coxeter
Poliedro picos costillas notas
G( p ,1,2) p=2,3,4,…

2p2 _ _ 2p _
CDel pnodo 1.pngCDel 4.pngCDel nodo.png
2p _ igual que oCDel pnodo 1.pngCDel 2.pngCDel pnodo 1.png
representación como un duoprisma p - p
2(2 pag 2 ) pag CDel nodo 1.pngCDel 4.pngCDelpnode.png 2p _ {} representación como p - p duopyramid
G(2,1,2)
ocho cuatro CDel nodo 1.pngCDel 4.pngCDel nodo.png cuatro cuatro {} igual que {}×{} oCDel nodo 1.pngCDel 2.pngCDel nodo 1.png
verdadero cuadrado
G(3,1,2)
Dieciocho 6 6(18)2 CDel 3nodo 1.pngCDel 4.pngCDel nodo.png 9 6 igual que oCDel 3nodo 1.pngCDel 2.pngCDel 3nodo 1.png
representación como 3-3 duoprisma
2(18)3 CDel nodo 1.pngCDel 4.pngCDel3nodo.png 6 9 {} representación como 3-3 duoprisma
G(4,1,2)
32 ocho 8(32)2 CDel 4nodo 1.pngCDel 4.pngCDel nodo.png dieciséis ocho igual que oCDel 4nodo 1.pngCDel 2.pngCDel 4nodo 1.png
representación como 4-4 duoprismas o {4,3,3}
2(32)4 CDel nodo 1.pngCDel 4.pngCDel4nodo.png ocho dieciséis {} representación como 4-4 duoprismas o {3,3,4}
G(5,1,2)
cincuenta 25 5(50)2 CDel 5nodo 1.pngCDel 4.pngCDel nodo.png 25 diez igual que oCDel 5nodo 1.pngCDel 2.pngCDel 5nodo 1.png
representación como un duoprisma 5,5
2(50)5 CDel nodo 1.pngCDel 4.pngCDel5nodo.png diez 25 {} representación como 5-5 duopirámide
G(6,1,2)
72 36 6(72)2 6 {4} 2 CDel 6nodo 1.pngCDel 4.pngCDel nodo.png 36 12 igual que oCDel 6nodo 1.pngCDel 2.pngCDel 6nodo 1.png
representación como duoprisma 6-6
2(72)6 CDel nodo 1.pngCDel 4.pngCDel6nodo.png 12 36 {} representación como duopirámide 6-6

3 [3] 3
<2,3,3>
24 6 3(24)3 CDel 3nodo 1.pngCDel 3.pngCDel3nodo.png ocho ocho La configuración de Möbius-Cantor es
autodual, al igual queCDel nodo h.pngCDel 6.pngCDel3nodo.png
representación como {3,3,4}

48 12 3(48)2 CDel 3nodo 1.pngCDel 6.pngCDel nodo.png 24 dieciséis 3 {} lo mismo queCDel 3nodo 1.pngCDel 3.pngCDel 3nodo 1.png
representación como {3,4,3}
CDel 3nodo 1.pngCDel 3.pngCDel nodo.png polígono estrella
2(48)3 CDel nodo 1.pngCDel 6.pngCDel3nodo.png dieciséis 24 {} representación como {4,3,3}
CDel nodo 1.pngCDel 3.pngCDel3nodo.png polígono estrella
G 5
3 [4] 3
72 12 3(72)3 CDel 3nodo 1.pngCDel 4.pngCDel3nodo.png 24 24 3 {} autodual, igual queCDel nodo h.pngCDel8.pngCDel3nodo.png
representación como {3,4,3}
G 8
4 [3] 4
96 12 4(96)4 4 {3} 4 CDel 4nodo 1.pngCDel 3.pngCDel4nodo.png 24 24 4 {} autodual, igual queCDel nodo h.pngCDel 6.pngCDel4nodo.png
representación como {3,4,3}
G14 _
144 24 3(144)2 CDel 3nodo 1.pngCDel8.pngCDel nodo.png 72 48 3 {} lo mismo queCDel 3nodo 1.pngCDel 4.pngCDel 3nodo 1.png
3 {8/3} 2 CDel 3nodo 1.pngCDel8.pngCDel rat.pngCDel 3x.pngCDel nodo.png polígono estrella, igual queCDel 3nodo 1.pngCDel 4.pngCDel rat.pngCDel 3x.pngCDel 3nodo 1.png
2(144)3 2 {8} 3 CDel nodo 1.pngCDel8.pngCDel3nodo.png 48 72 {}
2 {8/3} 3 CDel nodo 1.pngCDel8.pngCDel rat.pngCDel 3x.pngCDel3nodo.png polígono estrella
G 9
4 [6] 2
192 24 4(192)2 4 {6} 2 CDel 4nodo 1.pngCDel 6.pngCDel nodo.png 96 48 4 {} lo mismo queCDel 4nodo 1.pngCDel 3.pngCDel 4nodo 1.png
2(192)4 2 {6} 4 CDel nodo 1.pngCDel 6.pngCDel4nodo.png 48 96 {}
4 {3} 2 CDel 4nodo 1.pngCDel 3.pngCDel nodo.png 96 48 {} polígono estrella
2 {3} 4 CDel nodo 1.pngCDel 3.pngCDel4nodo.png 48 96 {} polígono estrella
G 10
4 [4] 3
288 24 4(288)3 4 {4} 3 CDel 4nodo 1.pngCDel 4.pngCDel3nodo.png 96 72 4 {}
12 4 {8/3} 3 CDel 4nodo 1.pngCDel8.pngCDel rat.pngCDel 3x.pngCDel3nodo.png polígono estrella
24 3(288)4 3 {4} 4 CDel 3nodo 1.pngCDel 4.pngCDel4nodo.png 72 96 3 {}
12 3 {8/3} 4 CDel 3nodo 1.pngCDel8.pngCDel rat.pngCDel 3x.pngCDel4nodo.png polígono estrella
G 20
3 [5] 3
360 treinta 3(360)3 3 {5} 3 CDel 3nodo 1.pngCDel 5.pngCDel3nodo.png 120 120 3 {} autodual, igual queCDel nodo h.pngCDel 10.pngCDel3nodo.png
representación como {3,3,5}
3 {5/2} 3 CDel 3nodo 1.pngCDel 5-2.pngCDel3nodo.png polígono de estrella auto-dual
G 16
5 [3] 5
600 treinta 5(600)5 5 {3} 5 CDel 5nodo 1.pngCDel 3.pngCDel5nodo.png 120 120 5 {} autodual, igual queCDel nodo h.pngCDel 6.pngCDel5nodo.png
representación como {3,3,5}
diez 5 {5/2} 5 CDel 5nodo 1.pngCDel 5-2.pngCDel5nodo.png polígono de estrella auto-dual
G 21
3 [10] 2
720 60 3(720)2 3 {10} 2 CDel 3nodo 1.pngCDel 10.pngCDel nodo.png 360 240 3 {} lo mismo queCDel 3nodo 1.pngCDel 5.pngCDel 3nodo 1.png
3 {5} 2 CDel 3nodo 1.pngCDel 5.pngCDel nodo.png polígono estrella
3 {10/3} 2 CDel 3nodo 1.pngCDel 10.pngCDel rat.pngCDel 3x.pngCDel nodo.png polígono estrella, igual queCDel 3nodo 1.pngCDel 5.pngCDel rat.pngCDel 3x.pngCDel 3nodo 1.png
3 {5/2} 2 CDel 3nodo 1.pngCDel 5-2.pngCDel nodo.png polígono estrella
2(720)3 2 {10} 3 CDel nodo 1.pngCDel 10.pngCDel3nodo.png 240 360 {}
2 {5} 3 CDel nodo 1.pngCDel 5.pngCDel3nodo.png polígono estrella
2 {10/3} 3 CDel nodo 1.pngCDel 10.pngCDel rat.pngCDel 3x.pngCDel3nodo.png polígono estrella
2 {5/2} 3 CDel nodo 1.pngCDel 5-2.pngCDel3nodo.png polígono estrella
G 17
5 [6] 2
1200 60 5(1200)2 5 {6} 2 CDel 5nodo 1.pngCDel 6.pngCDel nodo.png 600 240 5 {} lo mismo queCDel 5nodo 1.pngCDel 3.pngCDel 5nodo 1.png
representación como {5,3,3}
veinte 5 {5} 2 CDel 5nodo 1.pngCDel 5.pngCDel nodo.png polígono estrella
veinte 5 {10/3} 2 CDel 5nodo 1.pngCDel 10.pngCDel rat.pngCDel 3x.pngCDel nodo.png polígono estrella
60 5 {3} 2 CDel 5nodo 1.pngCDel 3.pngCDel nodo.png polígono estrella
60 2(1200)5 2 {6} 5 CDel nodo 1.pngCDel 6.pngCDel5nodo.png 240 600 {}
veinte 2 {5} 5 CDel nodo 1.pngCDel 5.pngCDel5nodo.png polígono estrella
veinte 2 {10/3} 5 CDel nodo 1.pngCDel 10.pngCDel rat.pngCDel 3x.pngCDel5nodo.png polígono estrella
60 2 {3} 5 CDel nodo 1.pngCDel 3.pngCDel5nodo.png polígono estrella
G 18
5 [4] 3
1800 60 5(1800)3 5 {4} 3 CDel 5nodo 1.pngCDel 4.pngCDel3nodo.png 600 360 5 {} representación como {5,3,3}
quince 5 {10/3} 3 CDel 5nodo 1.pngCDel 10.pngCDel rat.pngCDel 3x.pngCDel3nodo.png polígono estrella
treinta 5 {3} 3 CDel 5nodo 1.pngCDel 3.pngCDel3nodo.png polígono estrella
treinta 5 {5/2} 3 CDel 5nodo 1.pngCDel 5-2.pngCDel3nodo.png polígono estrella
60 3(1800)5 3 {4} 5 CDel 3nodo 1.pngCDel 4.pngCDel5nodo.png 360 600 3 {}
quince 3 {10/3} 5 CDel 3nodo 1.pngCDel 10.pngCDel rat.pngCDel 3x.pngCDel5nodo.png polígono estrella
treinta 3 {3} 5 CDel 3nodo 1.pngCDel 3.pngCDel5nodo.png polígono estrella
treinta 3 {5/2} 5 CDel 3nodo 1.pngCDel 5-2.pngCDel5nodo.png polígono estrella

Visualización de polígonos complejos regulares

Los polígonos de la forma p {2 r } q se pueden visualizar mediante q conjuntos coloreados de p -aristas. Cada borde p parece un polígono regular, pero no hay caras.

Proyecciones ortogonales 2D de polígonos complejos

Ver poliedros se denominan ortoplexos generalizados . Tienen los mismos vértices que las duopirámides 4D q - q , donde los vértices están conectados por 2 aristas.

Polígonos complejos

Los polígonos de vista se denominan hipercubos generalizados (cuadrados por polígonos). Los polígonos tienen los mismos vértices que los duoprismas 4D p − p , los vértices están conectados por p-aristas. Los vértices se dibujan en verde y los bordes p se dibujan alternativamente en rojo y azul. La proyección está ligeramente distorsionada para las dimensiones impares para alejar los vértices superpuestos del centro.

Proyecciones en perspectiva 3D de polígonos complejos p {4} 2 Otros polígonos complejos p { r } 2 Proyecciones ortogonales 2D de polígonos complejos, p { r } p

Los polígonos de vista tienen el mismo número de vértices y aristas. También son autodual.

Poliedros complejos regulares

En general, un politopo complejo regular se representa mediante un símbolo de Coxeter o un diagrama de Coxeter.CDel pnodo 1.pngCDel 3.pngCDelz.pngCDel 1x.pngCDel 3.pngCDel qnodo.pngCDel 3.pngCDelz.pngCDel 2x.pngCDel 3.pngCDel rnodo.pngCDel 3.pngCDelz.pngCDel 3x.pngCDel 3.pngCDel snode.png… que tiene simetría … oCDelpnode.pngCDel 3.pngCDelz.pngCDel 1x.pngCDel 3.pngCDel qnodo.pngCDel 3.pngCDelz.pngCDel 2x.pngCDel 3.pngCDel rnodo.pngCDel 3.pngCDelz.pngCDel 3x.pngCDel 3.pngCDel snode.png…. [Dieciocho]

Hay infinitas familias de poliedros complejos regulares que aparecen en todas las dimensiones. Estas familias generalizan hipercubos y ortoedros en el espacio real. El "hiperrectángulo generalizado" de Shepard generaliza el hipercubo. Tiene símbolo y diagrama .CDel pnodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png. Su grupo de simetría tiene un diagrama . En la clasificación de Shepard-Todd, este es el grupo G( p , 1, n ), que generaliza las matrices de permutación con signo. Su politopo regular dual, el "politopo cruzado generalizado", está representado por el símbolo y el diagramaCDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDelpnode.png[19] .

Un politopo complejo regular unidimensional se representa comoCDel pnodo 1.png, tiene p vértices y tiene una representación real como un polígono regular { p }. Coxeter también le asigna un símbolo , ya sea como un hipercubo generalizado unidimensional o como un politopo cruzado. Su simetría - oCDelpnode.png, un grupo cíclico de orden p . En poliedros de orden superior, oCDel pnodo 1.pngrepresenta un elemento del borde p . Entonces, 2 aristas, {} oCDel nodo 1.pngrepresenta una arista ordinaria entre dos vértices [20] .

El politopo complejo dual se construye intercambiando los elementos k - ésimo y ( n -1- k )-ésimo del politopo n . Por ejemplo, el polígono complejo dual tiene vértices en el medio de cada borde y los nuevos bordes están centrados en los vértices antiguos. El vértice v -valent crea un nuevo v -borde, y el e -borde se convierte en un vértice e -valente [21] . El politopo dual de un politopo complejo regular tiene un símbolo inverso (es decir, escrito en orden inverso). Los poliedros complejos regulares que tienen símbolos simétricos, es decir , , , etc., son autoduales .

Enumeración de politopos complejos regulares

Coxeter enumeró politopos complejos regulares no estrellados en el espacio , incluidos 5 politopos regulares en [22] .

Poliedro complejo regular oCDel pnodo 1.pngCDel 3.pngCDel n.pngCDel 1x.pngCDel 3.pngCDel qnodo.pngCDel 3.pngCDel n.pngCDel 2x.pngCDel 3.pngCDel rnodo.png, TieneCDel pnodo 1.pngCDel 3.pngCDel n.pngCDel 1x.pngCDel 3.pngCDel qnodo.pngborde,CDel pnodo 1.pngcostillas yCDel qnodo 1.pngCDel 3.pngCDel n.pngCDel 2x.pngCDel 3.pngCDel rnodo.png figuras superiores .

Un politopo regular complejo requiere que tanto g 1 = order( ) como g 2 = order( ) sean finitos.

Si g = orden( ), el número de vértices es g / g 2 y el número de caras es . El número de aristas es g / pr .

Espacio
_
Grupo Ordenar numero
coxeter
Polígono picos costillas caras
figura de vértice
Polígono
baño ossa
notas
G(1,1,3) = [3,3]

24 cuatro
= {3,3}
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png cuatro 6 {} cuatro {3} {3} Tetraedro real
Igual queCDel nodo h.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.png
G23 = [3,5]

120 diez CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 5.pngCDel nodo.png 12 treinta {} veinte {3} {5} icosaedro real
CDel nodo 1.pngCDel 5.pngCDel nodo.pngCDel 3.pngCDel nodo.png veinte treinta {} 12 {5} {3} dodecaedro real
G(2,1,3) = [3,4]

48 6 CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel nodo.png 6 12 {} ocho {3} {cuatro} {cuatro} Octaedro real
Igual que {}+{}+{}, orden 8
Igual queCDel nodo 1.pngCDelsplit1.pngCDel nodos.png, pedido 24
CDel nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.png ocho 12 {} 6 {cuatro} {3} Real Cube
Igual que {}×{}×{} oCDel nodo 1.pngCDel2c.pngCDel nodo 1.pngCDel2c.pngCDel nodo 1.png
G(p,1,3)
2 [3] 2 [4] pp
=2,3,4,…
6p3 _ _ 3p _
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDelpnode.png
3p _ {} pág . 3 {3} Octaedro generalizado
Igual que , orden p 3 Igual que
CDel nodo 1.pngCDel3split1.pngCDel-sucursal.pngCDel labelp.png, orden 6 p 2
CDel pnodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.png pág . 3 3p2 _ _ pag {} 3p _ {3} Cubo generalizado
Igual que oCDel pnodo 1.pngCDel2c.pngCDel pnodo 1.pngCDel2c.pngCDel pnodo 1.png
G(3,1,3)
2 [3] 2 [4] 3
162 9 CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel3nodo.png 9 27 {} 27 {3} Igual que , pedido 27 Igual que
CDel nodo 1.pngCDel3split1.pngCDel-sucursal.png, pedido 54
CDel 3nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.png 27 27 3 {} 9 3 {4} 2 {3} igual que oCDel 3nodo 1.pngCDel2c.pngCDel 3nodo 1.pngCDel2c.pngCDel 3nodo 1.png
G(4,1,3)
384 12 CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel4nodo.png 12 48 {} 64 {3} Igual que , pedido 64 Igual que
CDel nodo 1.pngCDel3split1.pngCDel-sucursal.pngCDel label4.png, pedido 96
CDel 4nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.png 64 48 4 {} 12 {3} igual que oCDel 4nodo 1.pngCDel2c.pngCDel 4nodo 1.pngCDel2c.pngCDel 4nodo 1.png
G(5,1,3)
2 [3] 2 [4] 5
750 quince CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel5nodo.png quince 75 {} 125 {3} Igual que , pide 125 Igual que
CDel nodo 1.pngCDel3split1.pngCDel-sucursal.pngCDel label5.png, pedido 150
CDel 5nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.png 125 75 5 {} quince {3} igual que oCDel 5nodo 1.pngCDel2c.pngCDel 5nodo 1.pngCDel2c.pngCDel 5nodo 1.png
G(6,1,3)
2 [3] 2 [4] 6
1296 Dieciocho CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel6nodo.png 36 108 {} 216 {3} 2 {4} 6 2 {4} 6 Igual que 6 {}+ 6 ​​{}+ 6 ​​{}, orden 216
Igual queCDel nodo 1.pngCDel3split1.pngCDel-sucursal.pngCDel label6.png, pedido 216
CDel 6nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.png 216 108 6 {} Dieciocho 6 {4} 2 {3} igual que oCDel 6nodo 1.pngCDel2c.pngCDel 6nodo 1.pngCDel2c.pngCDel 6nodo 1.png
G 25
3 [3] 3 [3] 3
648 9 3 {3} 3 {3} 3 CDel 3nodo 1.pngCDel 3.pngCDel3nodo.pngCDel 3.pngCDel3nodo.png 27 72 3 {} 27 3 {3} 3 3 {3} 3 3 {4} 2 Igual queCDel nodo h.pngCDel 4.pngCDel3nodo.pngCDel 3.pngCDel3nodo.png. representación como 2 21 Poliedro hessiano

G 26
2 [4] 3 [3] 3
1296 Dieciocho 2 {4} 3 {3} 3 CDel nodo 1.pngCDel 4.pngCDel3nodo.pngCDel 3.pngCDel3nodo.png 54 216 {} 72 2 {4} 3 3 {3} 3 {6}
3 {3} 3 {4} 2 CDel 3nodo 1.pngCDel 3.pngCDel3nodo.pngCDel 4.pngCDel nodo.png 72 216 3 {} 54 3 {3} 3 3 {4} 2 3 {4} 3 Igual queCDel3nodo.pngCDel 3.pngCDel 3nodo 1.pngCDel 3.pngCDel3nodo.png
representación como 1 22
Visualización de poliedros complejos regulares Proyecciones ortogonales 2D de poliedros complejos, p { s } t { r } r octaedros generalizados

Los octaedros generalizados tienen una construcción como formas regulares.CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDelpnode.pngy como especies cuasiregularesCDel nodo 1.pngCDel3split1.pngCDel-sucursal.pngCDel labelp.png. Todos los elementos son simples .

cubos generalizados

Los cubos generalizados se construyen como formas regulares.CDel pnodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngy que prismaticoCDel pnodo 1.pngCDel2c.pngCDel pnodo 1.pngCDel2c.pngCDel pnodo 1.png, el producto de tres p -gonal 1-poliedros. Los elementos son cubos generalizados de menor dimensión.

Enumeración de 4-politopos complejos regulares

Coxeter enumeró 4 politopos complejos regulares no estrellados en , incluidos 6 4 politopos regulares convexos en [26] .

Espacio
_
Grupo Ordenar numero
coxeter
Poliedro picos costillas facetas células Polígono
de Van Oss
notas
G(1,1,4) = [3,3,3]

120 5
= {3,3,3}
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png
5 10
{}
10
{3}
5
{3,3}
Cinco celdas reales (simple)
G28 = [3,4,3 ]

1152 12
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.png
24 96
{}
96
{3}
24
{3,4}
{6} Veinticuatro celdas reales
G30 = [3,3,5]

14400 treinta
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 5.pngCDel nodo.png
120 720
{}
1200
{3}
600
{3,3}
{diez} 600 celdas reales

CDel nodo 1.pngCDel 5.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png
600 1200
{}
720
{5}
120
{5,3}
120 celdas reales
G(2,1,4) =[3,3,4]

384 ocho
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel nodo.png
ocho 24
_
32
{3}
16
{3,3}
{cuatro} Celda hexadecimal real
Igual queCDel nodo 1.pngCDel 3.pngCDel nodo.pngCDelsplit1.pngCDel nodos.png, pedido 192

CDel nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png
dieciséis 32
{}
24
{4}
8
{4,3}
Teseracto real
Igual que {} 4 oCDel nodo 1.pngCDel2c.pngCDel nodo 1.pngCDel2c.pngCDel nodo 1.pngCDel2c.pngCDel nodo 1.png, pedido 16
G(p,1,4)
2 [3] 2 [3] 2 [4] p
p=2,3,4,…
24p4 _ _ 4p _
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDelpnode.png
4p _ 6 págs . 2
{}
4 págs . 3
{3}
pág . 4
{3,3}
2 {4} p Generalizado 4 - orthoplex
Igual queCDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel labelp.png, pedido 24 p 3

CDel pnodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png
p4_ _ 4 pags 3
pags {}
6 pags 2
pags {4} 2
4p _
Teseracto generalizado
Igual que p {} 4 oCDel pnodo 1.pngCDel2c.pngCDel pnodo 1.pngCDel2c.pngCDel pnodo 1.pngCDel2c.pngCDel pnodo 1.png, orden p 4
G(3,1,4)
2 [3] 2 [3] 2 [4] 3
1944 12
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel3nodo.png
12 54
{}
108
{3}
81
{3,3}
2 {4} 3 Generalizado 4 - orthoplex
Igual queCDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel-sucursal.png, pedido 648

CDel 3nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png
81 108
3 _
54
3 {4} 2
12
3 {4} 2 {3} 2
Igual que 3 {} 4 oCDel 3nodo 1.pngCDel2c.pngCDel 3nodo 1.pngCDel2c.pngCDel 3nodo 1.pngCDel2c.pngCDel 3nodo 1.png, pedido 81
G(4,1,4)
2 [3] 2 [3] 2 [4] 4
6144 dieciséis
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel4nodo.png
dieciséis 96
{}
256
{3}
64
{3,3}
Igual queCDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel label4.png, orden 1536

CDel 4nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png
256 256
4 {}
96
4 {4} 2
16
4 {4} 2 {3} 2
Igual que 4 {} 4 oCDel 4nodo 1.pngCDel2c.pngCDel 4nodo 1.pngCDel2c.pngCDel 4nodo 1.pngCDel2c.pngCDel 4nodo 1.png, pedido 256
G(5,1,4)
2 [3] 2 [3] 2 [4] 5
15000 veinte
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel5nodo.png
veinte 150
_
500
{3}
625
{3,3}
2 {4} 5 Igual queCDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel label5.png, pide 3000

CDel 5nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png
625 500
5 {}
150
5 {4} 2
veinte
Igual que 5 {} 4 oCDel 5nodo 1.pngCDel2c.pngCDel 5nodo 1.pngCDel2c.pngCDel 5nodo 1.pngCDel2c.pngCDel 5nodo 1.png, pedido 625
G(6,1,4)
2 [3] 2 [3] 2 [4] 6
31104 24
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel6nodo.png
24 216
{}
864
{3}
1296
{3,3}
Igual queCDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel label6.png, pedido 5184

CDel 6nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png
1296 864
6 {}
216
6 {4} 2
24
Igual que 6 {} 4 oCDel 6nodo 1.pngCDel2c.pngCDel 6nodo 1.pngCDel2c.pngCDel 6nodo 1.pngCDel2c.pngCDel 6nodo 1.png, orden 1296
G 32
3 [3] 3 [3] 3 [3] 3
155520 treinta 3 {3} 3 {3} 3 {3} 3
CDel 3nodo 1.pngCDel 3.pngCDel3nodo.pngCDel 3.pngCDel3nodo.pngCDel 3.pngCDel3nodo.png
240 2160
3 {}
2160
3 {3} 3
240
3 {3} 3 {3} 3
3 {4} 3 Witting poliedro representación como 4 21
Visualización de 4-politopos complejos regulares 4-Orthoplexes generalizados

Los 4-orthoplexes generalizados tienen la construcción como vistas regularesCDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDelpnode.pngy tipos cuasiregulares comoCDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel labelp.png. Todos los elementos son simples .

4 cubos generalizados

Los teseractos generalizados se construyen como formas regulares.CDel pnodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngy como vistas prismáticasCDel pnodo 1.pngCDel2c.pngCDel pnodo 1.pngCDel2c.pngCDel pnodo 1.pngCDel2c.pngCDel pnodo 1.png, el producto de cuatro p -gonal 1-poliedros. Los elementos son cubos generalizados de menor dimensión.

Enumeración de 5-politopos complejos regulares

Los 5-politopos complejos regulares en dimensiones y superiores existen en tres familias, simples reales , hipercubos generalizados y ortoplexos .

Espacio
_
Grupo Ordenar Poliedro picos costillas facetas células 4 caras
polígono
de van oss
notas
G(1,1,5)
= [3,3,3,3]
720 α 5 = {3,3,3,3}
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png
6 15
{}
20
{3}
15
{3,3}
6
{3,3,3}
Real regular 5-simple
G(2,1,5)
=[3,3,3,4]
3840
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel nodo.png
diez 40
{}
80
{3}
80
{3,3}
32
{3,3,3}
{cuatro} Real 5-orthoplex
Igual queCDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDelsplit1.pngCDel nodos.png, orden 1920

CDel nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png
32 80
_
80
{4}
40
{4,3}
10
{4,3,3}
Pentaract real
Igual que {} 5 oCDel nodo 1.pngCDel2c.pngCDel nodo 1.pngCDel2c.pngCDel nodo 1.pngCDel2c.pngCDel nodo 1.pngCDel2c.pngCDel nodo 1.png, pedido 32
G(p,1,5)
2 [3] 2 [3] 2 [3] 2 [4] p
120p5 _ _
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDelpnode.png
5p _ 10p2 { } _
10 págs . 3
{3}
5 p 4
{3,3}
pág . 5
{3,3,3}
5-orthoplex generalizado
Igual queCDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel labelp.png, pedir 120 p 4

CDel pnodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png
p5 _ 5 pag 4
pag {}
10p3 _ _
10p2 _ _
5p _
Penteract generalizado
Igual que p {} 5 oCDel pnodo 1.pngCDel2c.pngCDel pnodo 1.pngCDel2c.pngCDel pnodo 1.pngCDel2c.pngCDel pnodo 1.pngCDel2c.pngCDel pnodo 1.png, orden p 5
G(3,1,5)
29160
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel3nodo.png
quince 90
_
270
{3}
405
{3,3}
243
{3,3,3}
2 {4} 3 Igual queCDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel-sucursal.png, pedido 9720

CDel 3nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png
243 405
3 {}
270
90
quince
Igual que 3 {} 5 oCDel 3nodo 1.pngCDel2c.pngCDel 3nodo 1.pngCDel2c.pngCDel 3nodo 1.pngCDel2c.pngCDel 3nodo 1.pngCDel2c.pngCDel 3nodo 1.png, pedido 243
G(4,1,5)
2 [3] 2 [3] 2 [3] 2 [4] 4
122880
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel4nodo.png
veinte 160
_
640
{3}
1280
{3,3}
1024
{3,3,3}
2 {4} 4 Igual queCDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel label4.png, pedido 30720

CDel 4nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png
1024 1280
4 {}
640
4 {4} 2
160
veinte
Igual que 4 {} 5 oCDel 4nodo 1.pngCDel2c.pngCDel 4nodo 1.pngCDel2c.pngCDel 4nodo 1.pngCDel2c.pngCDel 4nodo 1.pngCDel2c.pngCDel 4nodo 1.png, pedido 1024
G(5,1,5)
2 [3] 2 [3] 2 [3] 2 [4] 5
375000
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 5.pngCDel5nodo.png
25 250
{}
1250
{3}
3125
{3,3}
3125
{3,3,3}
2 {5} 5 Igual queCDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel label5.png, pedido 75000

CDel 5nodo 1.pngCDel 5.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png
3125 3125
5 {}
1250
250
25
Igual que 5 {} 5 oCDel 5nodo 1.pngCDel2c.pngCDel 5nodo 1.pngCDel2c.pngCDel 5nodo 1.pngCDel2c.pngCDel 5nodo 1.pngCDel2c.pngCDel 5nodo 1.png, pedido 3125
G(6,1,5)
2 [3] 2 [3] 2 [3] 2 [4] 6
933210
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 6.pngCDel6nodo.png
treinta 360
{}
2160
{3}
6480
{3,3}
7776
{3,3,3}
Igual queCDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel label6.png, pedido 155520

CDel 6nodo 1.pngCDel 6.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png
7776 6480
6 {}
2160
360
treinta
Igual que 6 {} 5 oCDel 6nodo 1.pngCDel2c.pngCDel 6nodo 1.pngCDel2c.pngCDel 6nodo 1.pngCDel2c.pngCDel 6nodo 1.pngCDel2c.pngCDel 6nodo 1.png, pedido 7776
Visualización de 5-politopos complejos regulares 5-orthoplexes generalizados

Los 5-orthoplexes generalizados tienen la construcción como formas regularesCDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDelpnode.pngy cuán cuasi-correctoCDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel labelp.png. Todos los elementos son simples .

penteracts generalizados

Los penteracts generalizados tienen la construcción como formas regulares.CDel pnodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngy que prismaticoCDel pnodo 1.pngCDel2c.pngCDel pnodo 1.pngCDel2c.pngCDel pnodo 1.pngCDel2c.pngCDel pnodo 1.pngCDel2c.pngCDel pnodo 1.png, el producto de cinco p -gonal 1-poliedros. Los elementos son cubos generalizados de menor dimensión.

Enumeración de 6-poliedros complejos regulares

Espacio
_
Grupo Ordenar Poliedro picos costillas facetas células 4 caras 5 caras
polígono
de van oss
notas
G(1,1,6)
= [3,3,3,3,3]
720 α6 = { 3,3,3,3,3 }
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png
7 21
_
35
{3}
35
{3,3}
21
{3,3,3}
7
{3,3,3,3}
Real 6-simple
G(2,1,6)
[3,3,3,4]
46080
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel nodo.png
12 60
_
160
{3}
240
{3,3}
192
{3,3,3}
64
{3,3,3,3}
{cuatro} Real 6-orthoplex
Igual queCDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDelsplit1.pngCDel nodos.png, pedido 23040

CDel nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png
64 192
_
240
{4}
160
{4,3}
60
{4,3,3}
12
{4,3,3,3}
Hexeract real
Igual que {} 6 oCDel nodo 1.pngCDel2c.pngCDel nodo 1.pngCDel2c.pngCDel nodo 1.pngCDel2c.pngCDel nodo 1.pngCDel2c.pngCDel nodo 1.pngCDel2c.pngCDel nodo 1.png, pedido 64
G(p,1,6)
720p6 _ _
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDelpnode.png
6p _ 15 págs . 2
{}
20 p 3
{3}
15 págs . 4
{3,3}
6 págs . 5
{3,3,3}
pág . 6
{3,3,3,3}
6-orthoplex generalizado
Igual queCDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel labelp.png, pedido 720 p 5

CDel pnodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png
p6 _ 6 pags 5
pags {}
15 pags 4
pags {4} 2
20p3 _ _
15p2 _ _
6p _
Hexeract generalizado
Igual que p {} 6 oCDel pnodo 1.pngCDel2c.pngCDel pnodo 1.pngCDel2c.pngCDel pnodo 1.pngCDel2c.pngCDel pnodo 1.pngCDel2c.pngCDel pnodo 1.pngCDel2c.pngCDel pnodo 1.png, orden pág 6
Visualización de 6-politopos complejos regulares 6-orthoplexes generalizados

Los 6-orthoplexes generalizados tienen la construcción como formas regularesCDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDelpnode.pngy como formas cuasi-regularesCDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel labelp.png. Todos los elementos son simples .

6-cubos generalizados (hexeracts)

Los 6 cubos generalizados se construyen como formas regulares.CDel pnodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngy formas prismáticasCDel pnodo 1.pngCDel2c.pngCDel pnodo 1.pngCDel2c.pngCDel pnodo 1.pngCDel2c.pngCDel pnodo 1.pngCDel2c.pngCDel pnodo 1.pngCDel2c.pngCDel pnodo 1.png, el producto de seis p -gonal 1-gons. Los elementos son cubos generalizados de dimensiones más pequeñas.

Enumeración de infinitoedros complejos regulares

Coxeter enumeró infinitos complejos regulares no estelares y panales [27] .

Para cada dimensión, hay 12 infinitos con símbolos que existen en cualquier dimensión , o si p = q =2. Coxeter los llamó panales cúbicos generalizados para n > [28] .

Cada uno tiene un número proporcional de elementos dado por las fórmulas:

k-caras = , donde y n ! significa el factorial del número n . 1-politopos complejos regulares

El único 1-politopo complejo propio es ∞ {}, oCDel nodo infinito 1.png. Su representación real es el apeirogon {∞}, oCDel nodo 1.pngCDel infin.pngCDel nodo.png.

Apeirogons complejos regulares

Los infinitegons complejos de rango 2 tienen simetría p [ q ] r , donde 1/ p + 2/ q + 1/ r = 1. Coxeter los expresa como , donde q está limitado por [29] .

Hay 8 soluciones:

CDel nodo.pngCDel infin.pngCDel nodo.png CDel3nodo.pngCDel 12.pngCDel nodo.png CDel4nodo.pngCDel8.pngCDel nodo.png CDel6nodo.pngCDel 6.pngCDel nodo.png CDel3nodo.pngCDel 6.pngCDel3nodo.png CDel6nodo.pngCDel 4.pngCDel3nodo.png CDel4nodo.pngCDel 4.pngCDel4nodo.png CDel6nodo.pngCDel 3.pngCDel6nodo.png

Hay dos soluciones excluidas con q impar y p y r desiguales , estas son y ,CDel10nodo.pngCDel 5.pngCDel nodo.pngoCDel12nodo.pngCDel 3.pngCDel4nodo.png.

Un infinito complejo regular -gon tiene formas de vértice p -arista y q -gonal. El infinito dual del cuerpo  es . El infinito-ágono de la forma es autodual. Los grupos de vista tienen la mitad de la simetría , de modo que el infinitoCDel pnodo 1.pngCDel 2x.pngCDel q.pngCDel nodo.png es lo mismo que el poliedro cuasi-regularCDel pnodo 1.pngCDel q.pngCDel pnodo 1.png[30] .

Los apeirogons se pueden representar en el plano complejo mediante cuatro arreglos diferentes de vértices. Los apeirogons de una especie tienen una disposición de vértices { q /2, p }, los apeirogons de una especie tienen una disposición de vértices r{ p , q /2} y los apeirogons de una especie tienen una disposición de vértices { p , r }.

Si los nodos afines están habilitados , se agregan 3 soluciones infinitas más (CDel nodo infinito 1.pngCDel 2.pngCDel nodo infinito 1.png,CDel nodo infinito 1.pngCDel 4.pngCDel nodo.pngyCDel nodo infinito 1.pngCDel 3.pngCDel3nodo.png). La primera solución es un subgrupo con índice 2 de la segunda. Los vértices de estos infinitos existen en .

Rango 2
Espacio
_
Grupo Apeirogon Borde
representante [31]
Imagen notas
2 [∞] 2 = [∞]
CDel nodo 1.pngCDel infin.pngCDel nodo.png
{}
Infinito real
Igual queCDel nodo 1.pngCDel infin.pngCDel nodo 1.png
/ ∞ [4] 2 ∞ {4} 2 CDel nodo infinito 1.pngCDel 4.pngCDel nodo.png ∞ {} {4,4} Igual queCDel nodo infinito 1.pngCDel 2.pngCDel nodo infinito 1.png
∞ [3] 3 ∞ {3} 3 CDel nodo infinito 1.pngCDel 3.pngCDel3nodo.png ∞ {} {3,6} Igual queCDel nodo infinito 1.pngCDelsplit1.pngCDel sucursal 11.pngCDel label-ii.png
pag [ q ] r CDel pnodo 1.pngCDel q.pngCDel rnodo.png pag {}
CDel 3nodo 1.pngCDel 12.pngCDel nodo.png 3 {} r{3,6} Igual queCDel 3nodo 1.pngCDel 6.pngCDel 3nodo 1.png
CDel nodo 1.pngCDel 12.pngCDel3nodo.png {} {6,3}
3 [6] 3 CDel 3nodo 1.pngCDel 6.pngCDel3nodo.png 3 {} {3,6} Igual queCDel nodo h.pngCDel 12.pngCDel3nodo.png
4 [8] 2 CDel 4nodo 1.pngCDel8.pngCDel nodo.png 4 {} {4,4} Igual queCDel 4nodo 1.pngCDel 4.pngCDel 4nodo 1.png
CDel nodo 1.pngCDel8.pngCDel4nodo.png {} {4,4}
4 [4] 4 CDel 4nodo 1.pngCDel 4.pngCDel4nodo.png 4 {} {4,4} Igual queCDel nodo h.pngCDel8.pngCDel4nodo.png
6 [6] 2 CDel 6nodo 1.pngCDel 6.pngCDel nodo.png 6 {} r{3,6} Igual queCDel 6nodo 1.pngCDel 3.pngCDel 6nodo 1.png
CDel nodo 1.pngCDel 6.pngCDel6nodo.png {} {3,6}
6 [4] 3 CDel 6nodo 1.pngCDel 4.pngCDel3nodo.png 6 {} {6,3}
CDel 3nodo 1.pngCDel 4.pngCDel6nodo.png 3 {} {3,6}
6 [3] 6 CDel 6nodo 1.pngCDel 3.pngCDel6nodo.png 6 {} {3,6} Igual queCDel nodo h.pngCDel 6.pngCDel6nodo.png
Infinitos complejos regulares (espacio tridimensional)

Hay 22 infinitos complejos regulares de la forma . 8 cuerpos son autoduales ( p = r y a = b ), mientras que 14 existen como pares duales de poliedros. Tres de ellos son completamente reales ( p = q = r = 2).

Coxeter dio a doce de ellos los símbolos (o ) y son las formas correctas del producto de infinitos o , donde q se calcula a partir de p y r .

poliedrosCDel pnodo 1.pngCDel 4.pngCDel nodo.pngCDel 4.pngCDel qnodo.png es lo mismo queCDel pnodo 1.pngCDel3split1-44.pngCDel-sucursal.pngCDel labelq.png, tanto comoCDel pnodo 1.pngCDel q.pngCDel rnodo.pngCDel 2.pngCDel pnodo 1.pngCDel q.pngCDel rnodo.pngpara p , r = 2,3,4,6. También,CDel pnodo 1.pngCDel 4.pngCDelpnode.pngCDel 4.pngCDel nodo.png=CDelpnode.pngCDel 4.pngCDel nodo 1.pngCDel 4.pngCDelpnode.png[32] .

Rango 3
Espacio
_
Grupo
borde infinito
picos costillas facetas

Van Oss infinito -edro
notas
2 [3] 2 [4] ∞ ∞ {4} 2 {3} 2 CDel nodo infinito 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.png ∞ {} ∞ {4} 2 Igual que ∞ {}× ∞ {}× ∞ {} oCDel nodo infinito 1.pngCDel2c.pngCDel nodo infinito 1.pngCDel2c.pngCDel nodo infinito 1.png
Representación real {4,3,4}
pag [4] 2 [4] r pag {4} 2 {4} r
CDel pnodo 1.pngCDel 4.pngCDel nodo.pngCDel 4.pngCDel qnodo.png
p2_ _ 2pq _ pag {} r2 _ pag {4} 2 2 { q } r Igual queCDel pnodo 1.pngCDel q.pngCDel rnodo.pngCDel 2.pngCDel pnodo 1.pngCDel q.pngCDel rnodo.png, pag , r = 2,3,4,6
[4,4] CDel nodo 1.pngCDel 4.pngCDel nodo.pngCDel 4.pngCDel nodo.png cuatro ocho {} cuatro {cuatro} {∞} Azulejos cuadrados reales
Igual queCDel nodo 1.pngCDel infin.pngCDel nodo.pngCDel 2.pngCDel nodo 1.pngCDel infin.pngCDel nodo.pngoCDel nodo 1.pngCDel infin.pngCDel nodo 1.pngCDel 2.pngCDel nodo 1.pngCDel infin.pngCDel nodo 1.pngoCDel nodo 1.pngCDel 4.pngCDel nodo.pngCDel 4.pngCDel nodo 1.png
3 [4] 2 [4] 2

3 [4] 2 [4] 3
4 [4] 2 [4] 2

4 [4] 2 [4] 4
6 [4] 2 [4] 2

6 [4] 2 [4] 3

6 [4] 2 [4] 6
3 {4} 2 {4} 2
2 {4} 2 {4} 3
3 {4} 2 {4} 3
4 {4} 2 {4} 2
2 {4} 2 {4} 4
4 {4} 2 {4} 4
6 {4} 2 {4} 2
2 {4} 2 {4} 6
6 {4} 2 {4} 3
3 {4} 2 {4} 6
6 {4} 2 {4} 6
CDel 3nodo 1.pngCDel 4.pngCDel nodo.pngCDel 4.pngCDel nodo.png
CDel nodo 1.pngCDel 4.pngCDel nodo.pngCDel 4.pngCDel3nodo.png
CDel 3nodo 1.pngCDel 4.pngCDel nodo.pngCDel 4.pngCDel3nodo.png
CDel 4nodo 1.pngCDel 4.pngCDel nodo.pngCDel 4.pngCDel nodo.png
CDel nodo 1.pngCDel 4.pngCDel nodo.pngCDel 4.pngCDel4nodo.png
CDel 4nodo 1.pngCDel 4.pngCDel nodo.pngCDel 4.pngCDel4nodo.png
CDel 6nodo 1.pngCDel 4.pngCDel nodo.pngCDel 4.pngCDel nodo.png
CDel nodo 1.pngCDel 4.pngCDel nodo.pngCDel 4.pngCDel6nodo.png
CDel 6nodo 1.pngCDel 4.pngCDel nodo.pngCDel 4.pngCDel3nodo.png
CDel 3nodo 1.pngCDel 4.pngCDel nodo.pngCDel 4.pngCDel6nodo.png
CDel 6nodo 1.pngCDel 4.pngCDel nodo.pngCDel 4.pngCDel6nodo.png
9
4
9
16
4
16
36
4
36
9
36
12
12
18
16
16
32
24
24
36
36
72
3 {}
{}
3 {}
4 {}
{}
4 {}
6 {}
{}
6 {}
3 {}
6 {}
4
9
9
4
16
16
4
36
9
36
36
3 {4} 2
{4}
3 {4} 2
4 {4} 2
{4}
4 {4} 2
6 {4} 2
{4}
6 {4} 2
3 {4} 2
6 {4} 2
p { q } r Igual queCDel 3nodo 1.pngCDel 12.pngCDel nodo.pngCDel 2.pngCDel 3nodo 1.pngCDel 12.pngCDel nodo.pngoCDel 3nodo 1.pngCDel 6.pngCDel 3nodo 1.pngCDel 2.pngCDel 3nodo 1.pngCDel 6.pngCDel 3nodo 1.pngoCDel 3nodo 1.pngCDel 4.pngCDel nodo.pngCDel 4.pngCDel 3nodo 1.png
Igual queCDel nodo 1.pngCDel 12.pngCDel3nodo.pngCDel 2.pngCDel nodo 1.pngCDel 12.pngCDel3nodo.png
Igual queCDel 3nodo 1.pngCDel 6.pngCDel3nodo.pngCDel 2.pngCDel 3nodo 1.pngCDel 6.pngCDel3nodo.png
Igual queCDel 4nodo 1.pngCDel8.pngCDel nodo.pngCDel 2.pngCDel 4nodo 1.pngCDel8.pngCDel nodo.pngoCDel 4nodo 1.pngCDel 4.pngCDel 4nodo 1.pngCDel 2.pngCDel 4nodo 1.pngCDel 4.pngCDel 4nodo 1.pngoCDel 4nodo 1.pngCDel 4.pngCDel nodo.pngCDel 4.pngCDel 4nodo 1.png
Igual queCDel nodo 1.pngCDel8.pngCDel4nodo.pngCDel 2.pngCDel nodo 1.pngCDel8.pngCDel4nodo.png
Igual queCDel 4nodo 1.pngCDel 4.pngCDel4nodo.pngCDel 2.pngCDel 4nodo 1.pngCDel 4.pngCDel4nodo.png
Igual queCDel 6nodo 1.pngCDel 6.pngCDel nodo.pngCDel 2.pngCDel 6nodo 1.pngCDel 6.pngCDel nodo.pngoCDel 6nodo 1.pngCDel 3.pngCDel 6nodo 1.pngCDel 2.pngCDel 6nodo 1.pngCDel 3.pngCDel 6nodo 1.pngoCDel 6nodo 1.pngCDel 4.pngCDel nodo.pngCDel 4.pngCDel 6nodo 1.png
Igual queCDel nodo 1.pngCDel 6.pngCDel6nodo.pngCDel 2.pngCDel nodo 1.pngCDel 6.pngCDel6nodo.png
Igual queCDel 6nodo 1.pngCDel 4.pngCDel3nodo.pngCDel 2.pngCDel 6nodo 1.pngCDel 4.pngCDel3nodo.png
Igual queCDel 3nodo 1.pngCDel 4.pngCDel6nodo.pngCDel 2.pngCDel 3nodo 1.pngCDel 4.pngCDel6nodo.png
Igual queCDel 6nodo 1.pngCDel 3.pngCDel6nodo.pngCDel 2.pngCDel 6nodo 1.pngCDel 3.pngCDel6nodo.png
Espacio
_
Grupo infinitoedro picos costillas facetas
polígono
de van oss
notas
2 [4] r [4] 2 2 {4} r {4} 2
CDel nodo 1.pngCDel 4.pngCDel rnodo.pngCDel 4.pngCDel nodo.png
2 {} 2 pag {4} 2' 2 {4} r Igual queCDel nodo h.pngCDel 4.pngCDel nodo.pngCDel 4.pngCDel rnodo.pngyCDel rnodo.pngCDel 4.pngCDel nodo 1.pngCDel 4.pngCDel rnodo.png, r = 2,3,4,6
[4,4] {4,4} CDel nodo 1.pngCDel 4.pngCDel nodo.pngCDel 4.pngCDel nodo.png 2 cuatro {} 2 {cuatro} {∞} Igual queCDel nodo h.pngCDel 4.pngCDel nodo.pngCDel 4.pngCDel nodo.pngyCDel nodo.pngCDel 4.pngCDel nodo 1.pngCDel 4.pngCDel nodo.png




CDel nodo 1.pngCDel 4.pngCDel3nodo.pngCDel 4.pngCDel nodo.png
CDel nodo 1.pngCDel 4.pngCDel4nodo.pngCDel 4.pngCDel nodo.png
CDel nodo 1.pngCDel 4.pngCDel6nodo.pngCDel 4.pngCDel nodo.png
2 9
16
36
{} 2

Igual queCDel nodo h.pngCDel 4.pngCDel nodo.pngCDel 4.pngCDel3nodo.pngyCDel3nodo.pngCDel 4.pngCDel nodo 1.pngCDel 4.pngCDel3nodo.png
Igual queCDel nodo h.pngCDel 4.pngCDel nodo.pngCDel 4.pngCDel4nodo.pngyCDel4nodo.pngCDel 4.pngCDel nodo 1.pngCDel 4.pngCDel4nodo.png
Igual queCDel nodo h.pngCDel 4.pngCDel nodo.pngCDel 4.pngCDel6nodo.pngyCDel6nodo.pngCDel 4.pngCDel nodo 1.pngCDel 4.pngCDel6nodo.png[33]
Espacio
_
Grupo Poliedro picos costillas facetas

van oss infinito -gon
notas
2 [6] 2 [3] 2
= [6,3]
{3,6}
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 6.pngCDel nodo.png
una 3 {} 2 {3} {∞} Azulejos triangulares reales
{6,3} CDel nodo 1.pngCDel 6.pngCDel nodo.pngCDel 3.pngCDel nodo.png 2 3 {} una {6} Azulejos hexagonales reales
3 [4] 3 [3] 3 3 {3} 3 {4} 3 CDel 3nodo 1.pngCDel 3.pngCDel3nodo.pngCDel 4.pngCDel3nodo.png una ocho 3 {} 3 3 {3} 3 3 {4} 6 Igual queCDel 3nodo 1.pngCDel3split1.pngCDel-sucursal.pngCDel label-33.png
3 {4} 3 {3} 3 CDel 3nodo 1.pngCDel 4.pngCDel3nodo.pngCDel 3.pngCDel3nodo.png 3 ocho 3 {} 2 3 {4} 3 3 {12} 2
4 [3] 4 [3] 4 4 {3} 4 {3} 4 CDel 4nodo 1.pngCDel 3.pngCDel4nodo.pngCDel 3.pngCDel4nodo.png una 6 4 {} una 4 {3} 4 4 {4} 4 Auto-dual, igual queCDel nodo h.pngCDel 4.pngCDel4nodo.pngCDel 3.pngCDel4nodo.png
4 [3] 4 [4] 2 4 {3} 4 {4} 2 CDel 4nodo 1.pngCDel 3.pngCDel4nodo.pngCDel 4.pngCDel nodo.png una 12 4 {} 3 4 {3} 4 2 {8} 4 Igual queCDel4nodo.pngCDel 3.pngCDel 4nodo 1.pngCDel 3.pngCDel4nodo.png
2 {4} 4 {3} 4 CDel nodo 1.pngCDel 4.pngCDel4nodo.pngCDel 3.pngCDel4nodo.png 3 12 {} una 2 {4} 4 4 {4} 4
Regular complejo 3-infinito-topes

Hay 16 infinitos complejos regulares en . Coxeter dio a doce de ellos los símbolos , donde q se limita a la expresión . Se pueden descomponer en el producto de infinitos:CDel pnodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel rnodo.png=CDel pnodo 1.pngCDel q.pngCDel rnodo.pngCDel 2.pngCDel pnodo 1.pngCDel q.pngCDel rnodo.pngCDel 2.pngCDel pnodo 1.pngCDel q.pngCDel rnodo.png. En el primer caso, tenemos panales cúbicos en .

Rango 4
Espacio
_
Grupo 3-infinito-edro picos costillas facetas células

Van Oss gonos infinitos
notas
pag [4] 2 [3] 2 [4] r
CDel pnodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel rnodo.png
pag {} Igual queCDel pnodo 1.pngCDel q.pngCDel rnodo.pngCDel 2.pngCDel pnodo 1.pngCDel q.pngCDel rnodo.pngCDel 2.pngCDel pnodo 1.pngCDel q.pngCDel rnodo.png
2 [4] 2 [3] 2 [4] 2
=[4,3,4]

CDel nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel nodo.png
{} {cuatro} {4,3} Panales cúbicos
Igual queCDel nodo 1.pngCDel infin.pngCDel nodo.pngCDel 2.pngCDel nodo 1.pngCDel infin.pngCDel nodo.pngCDel 2.pngCDel nodo 1.pngCDel infin.pngCDel nodo.pngoCDel nodo 1.pngCDel infin.pngCDel nodo 1.pngCDel 2.pngCDel nodo 1.pngCDel infin.pngCDel nodo 1.pngCDel 2.pngCDel nodo 1.pngCDel infin.pngCDel nodo 1.pngoCDel nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel nodo 1.png

CDel 3nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel nodo.png
3 {} 3 {4} 2 3 {4} 2 {3} 2 Igual queCDel 3nodo 1.pngCDel 12.pngCDel nodo.pngCDel 2.pngCDel 3nodo 1.pngCDel 12.pngCDel nodo.pngCDel 2.pngCDel 3nodo 1.pngCDel 12.pngCDel nodo.pngoCDel 3nodo 1.pngCDel 12.pngCDel nodo.pngCDel 2.pngCDel 3nodo 1.pngCDel 6.pngCDel 3nodo 1.pngCDel 2.pngCDel 3nodo 1.pngCDel 6.pngCDel 3nodo 1.pngoCDel 3nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel 3nodo 1.png

CDel nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel3nodo.png
{} {cuatro} {4,3} Igual queCDel nodo 1.pngCDel 12.pngCDel3nodo.pngCDel 2.pngCDel nodo 1.pngCDel 12.pngCDel3nodo.pngCDel 2.pngCDel nodo 1.pngCDel 12.pngCDel3nodo.png

CDel 3nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel3nodo.png
Igual queCDel 3nodo 1.pngCDel 6.pngCDel3nodo.pngCDel 2.pngCDel 3nodo 1.pngCDel 6.pngCDel3nodo.pngCDel 2.pngCDel 3nodo 1.pngCDel 6.pngCDel3nodo.png

CDel 4nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel nodo.png
Igual queCDel 4nodo 1.pngCDel8.pngCDel nodo.pngCDel 2.pngCDel 4nodo 1.pngCDel8.pngCDel nodo.pngCDel 2.pngCDel 4nodo 1.pngCDel8.pngCDel nodo.pngoCDel 4nodo 1.pngCDel8.pngCDel nodo.pngCDel 2.pngCDel 4nodo 1.pngCDel 4.pngCDel 4nodo 1.pngCDel 2.pngCDel 4nodo 1.pngCDel 4.pngCDel 4nodo 1.pngoCDel 4nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel 4nodo 1.png

CDel nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel4nodo.png
{} {cuatro} {4,3} Igual queCDel nodo 1.pngCDel8.pngCDel4nodo.pngCDel 2.pngCDel nodo 1.pngCDel8.pngCDel4nodo.pngCDel 2.pngCDel nodo 1.pngCDel8.pngCDel4nodo.png

CDel 4nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel4nodo.png
4 {} 4 {4} 2 4 {4} 2 {3} 2 Igual queCDel 4nodo 1.pngCDel 4.pngCDel4nodo.pngCDel 2.pngCDel 4nodo 1.pngCDel 4.pngCDel4nodo.pngCDel 2.pngCDel 4nodo 1.pngCDel 4.pngCDel4nodo.png

CDel 6nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel nodo.png
Igual queCDel 6nodo 1.pngCDel 6.pngCDel nodo.pngCDel 2.pngCDel 6nodo 1.pngCDel 6.pngCDel nodo.pngCDel 2.pngCDel 6nodo 1.pngCDel 6.pngCDel nodo.pngoCDel 6nodo 1.pngCDel 3.pngCDel 6nodo 1.pngCDel 2.pngCDel 6nodo 1.pngCDel 3.pngCDel 6nodo 1.pngCDel 2.pngCDel 6nodo 1.pngCDel 3.pngCDel 6nodo 1.pngoCDel 6nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel 6nodo 1.png

CDel nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel6nodo.png
{} {cuatro} {4,3} Igual queCDel nodo 1.pngCDel 6.pngCDel6nodo.pngCDel 2.pngCDel nodo 1.pngCDel 6.pngCDel6nodo.pngCDel 2.pngCDel nodo 1.pngCDel 6.pngCDel6nodo.png

CDel 6nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel3nodo.png
Igual queCDel 6nodo 1.pngCDel 4.pngCDel3nodo.pngCDel 2.pngCDel 6nodo 1.pngCDel 4.pngCDel3nodo.pngCDel 2.pngCDel 6nodo 1.pngCDel 4.pngCDel3nodo.png

CDel 6nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel3nodo.png
Igual queCDel 6nodo 1.pngCDel 4.pngCDel3nodo.pngCDel 2.pngCDel 6nodo 1.pngCDel 4.pngCDel3nodo.pngCDel 2.pngCDel 6nodo 1.pngCDel 4.pngCDel3nodo.png
6 [4] 2 [3] 2 [4] 6
CDel 6nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel6nodo.png
6 {} Igual queCDel 6nodo 1.pngCDel 3.pngCDel6nodo.pngCDel 2.pngCDel 6nodo 1.pngCDel 3.pngCDel6nodo.pngCDel 2.pngCDel 6nodo 1.pngCDel 3.pngCDel6nodo.png
Rango 4, casos excepcionales
Espacio
_
Grupo 3-infinito-edro picos costillas facetas células

van oss infinito -gon
notas

CDel 3nodo 1.pngCDel 3.pngCDel3nodo.pngCDel 3.pngCDel3nodo.pngCDel 4.pngCDel nodo.png
una 24 27 2 Igual queCDel 3nodo 1.pngCDel 3.pngCDel3nodo.pngCDelsplit1.pngCDel nodos.pngCDel label-33.png

CDel nodo 1.pngCDel 4.pngCDel3nodo.pngCDel 3.pngCDel3nodo.pngCDel 3.pngCDel3nodo.png
2 27 24 una

CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel3nodo.pngCDel 3.pngCDel3nodo.png
una 27 72 ocho

CDel 3nodo 1.pngCDel 3.pngCDel3nodo.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.png
ocho 72 27 una Igual queCDel3nodo.pngCDel 3.pngCDel 3nodo 1.pngCDelsplit1.pngCDel nodos.pngCDel label-33.pngoCDel3nodo.pngCDel 3.pngCDel 3nodo 1.pngCDel 3.pngCDel3nodo.pngCDel 4.pngCDel nodo.png
Regular complejo 4-infinite-topes

Hay 15 infinitos complejos regulares en . Coxeter dio a doce de ellos los símbolos , donde q se limita a la expresión . Se pueden descomponer en un producto de infinitos:CDel pnodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel rnodo.png=CDel pnodo 1.pngCDel q.pngCDel rnodo.pngCDel 2.pngCDel pnodo 1.pngCDel q.pngCDel rnodo.pngCDel 2.pngCDel pnodo 1.pngCDel q.pngCDel rnodo.pngCDel 2.pngCDel pnodo 1.pngCDel q.pngCDel rnodo.png. En el primer caso, tenemos panales de tesseract como soluciones reales . Panal de 16 celdas y panal de 24 celdas en . La última solución tiene poliedros de Witting como elementos .

Rango 5
Espacio
_
Grupo 4-infinito-edro picos costillas facetas células 4 caras van oss infinito
-gon
notas

CDel pnodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel rnodo.png
Igual queCDel pnodo 1.pngCDel q.pngCDel rnodo.pngCDel 2.pngCDel pnodo 1.pngCDel q.pngCDel rnodo.pngCDel 2.pngCDel pnodo 1.pngCDel q.pngCDel rnodo.pngCDel 2.pngCDel pnodo 1.pngCDel q.pngCDel rnodo.png

CDel nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel nodo.png
{} {cuatro} {4,3} {4,3,3} {∞} Tesseract honeycomb
Igual queCDel nodo 1.pngCDel infin.pngCDel nodo.pngCDel 2.pngCDel nodo 1.pngCDel infin.pngCDel nodo.pngCDel 2.pngCDel nodo 1.pngCDel infin.pngCDel nodo.pngCDel 2.pngCDel nodo 1.pngCDel infin.pngCDel nodo.png

=[3,4,3,3]
{3,3,4,3}
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.png
una 12 {} 32 {3} 24 {3,3} 3 {3,3,4} Nido de abeja real
de 16 celdas
Igual queCDel nodos 10ru.pngCDel split2.pngCDel nodo.pngCDelsplit1.pngCDel nodos.png
{3,4,3,3}
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png
3 24 32 {3} 12 {3,4} 1 {3,4,3} Panales reales
de 24 celdas
Igual queCDel nodos.pngCDel split2.pngCDel nodo 1.pngCDelsplit1.pngCDel nodos.pngoCDel nodo.pngCDel 3.pngCDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.png

CDel 3nodo 1.pngCDel 3.pngCDel3nodo.pngCDel 3.pngCDel3nodo.pngCDel 3.pngCDel3nodo.pngCDel 3.pngCDel3nodo.png
una 80 270 80 una rendimiento 5 21
Regular complejo 5-tops infinitos y superiores

Solo hay 12 infinitos complejos regulares en y por encima de [34] , que se denotan por , donde q está limitado por . Se pueden descomponer en un producto de n infinitetopos:CDel pnodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel rnodo.png=CDel pnodo 1.pngCDel q.pngCDel rnodo.pngCDel 2.pngCDel pnodo 1.pngCDel q.pngCDel rnodo.pngCDel pnodo 1.pngCDel q.pngCDel rnodo.pngCDel 2.pngCDel pnodo 1.pngCDel q.pngCDel rnodo.png. En el primer caso, tenemos panales hipercúbicos en .

Rango 6
Espacio
_
Grupo 5-infinitos picos costillas facetas células 4 caras 5 caras
Polígonos de
Van Oss
notas

CDel pnodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel rnodo.png
Igual queCDel pnodo 1.pngCDel q.pngCDel rnodo.pngCDel 2.pngCDel pnodo 1.pngCDel q.pngCDel rnodo.pngCDel 2.pngCDel pnodo 1.pngCDel q.pngCDel rnodo.pngCDel 2.pngCDel pnodo 1.pngCDel q.pngCDel rnodo.pngCDel 2.pngCDel pnodo 1.pngCDel q.pngCDel rnodo.png

=[4,3,3,3,4]

CDel nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel nodo.png
{} {cuatro} {4,3} {4,3,3} {4,3,3,3} {∞} Panal de 5 cubos
Igual queCDel nodo 1.pngCDel infin.pngCDel nodo.pngCDel 2.pngCDel nodo 1.pngCDel infin.pngCDel nodo.pngCDel 2.pngCDel nodo 1.pngCDel infin.pngCDel nodo.pngCDel 2.pngCDel nodo 1.pngCDel infin.pngCDel nodo.pngCDel 2.pngCDel nodo 1.pngCDel infin.pngCDel nodo.png

Polígonos de Van Oss

El polígono de van Oss es un polígono regular en un plano (plano real o plano complejo ) que contiene tanto las aristas como el baricentro de un politopo regular, y que está formado por los elementos del politopo. No todos los poliedros regulares tienen polígonos de van Oss.

Por ejemplo, los polígonos de van Oss de un octaedro real  son tres cuadrados cuyos planos pasan por el centro del octaedro. Por el contrario, el cubo no tiene polígonos de van Oss, ya que el plano corta dos caras cuadradas en diagonal de arista al centro, por lo que las dos aristas del cubo en el plano resultante no forman un polígono.

Los panales infinitos también tienen polígonos de van Oss . Por ejemplo, el mosaico cuadrado real y el mosaico triangular tienen apeirogons {∞} como polígonos de van Oss [35] .

El polígono de van Oss de un politopo complejo regular de la forma ..., si existe, tiene p -aristas.

Poliedros complejos irregulares

Producto de politopos complejos

Un ejemplo de un producto de poliedros complejos.

Producto complejo de polígonosCDel nodo 1.pngCDel 2.pngCDel 5nodo 1.pngo , tiene 10 vértices conectados por cinco de 2 aristas y dos de 5 aristas, y se representa como un prisma pentagonal tridimensional .

Polígono dual , tiene 7 vértices ubicados en el medio de las aristas originales, conectados por 10 aristas. Su representación real es una bipirámide pentagonal .

Algunos politopos complejos se pueden representar como un producto directo . Estos productos de poliedros no son estrictamente regulares ya que tienen más de un tipo de faceta, pero algunos pueden presentar simetrías menores de formas regulares si todos los poliedros ortogonales son iguales. Por ejemplo, una obra oCDel pnodo 1.pngCDel 2.pngCDel pnodo 1.pngdos 1-politopos es lo mismo que un politopo regular oCDel pnodo 1.pngCDel 4.pngCDel nodo.png. Los productos más generales tienen representaciones reales como duoprismas p - q de 4 dimensiones . El politopo dual de un producto de politopos se puede escribir como una suma y tiene una representación real como una duopirámide p - q de 4 dimensiones . Un poliedro puede tener el doble de simetría que un poliedro complejo regular, o CDel nodo 1.pngCDel 4.pngCDelpnode.png.

De manera similar, un politopo complejo se puede construir como un producto triple: oCDel pnodo 1.pngCDel2c.pngCDel pnodo 1.pngCDel2c.pngCDel pnodo 1.png- lo mismo que el cubo generalizado  regular , oCDel pnodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.png, como una obra oCDel pnodo 1.pngCDel 4.pngCDel nodo.pngCDel 2.pngCDel pnodo 1.png[36] .

Poliedros cuasi-regulares

Un polígono casi regular es un truncamiento de un polígono regular. polígono cuasiregularCDel pnodo 1.pngCDel q.pngCDel nodo 1.pngcontiene una alternancia de bordes de polígonos regularesCDel pnodo 1.pngCDel q.pngCDel rnodo.pngyCDelpnode.pngCDel q.pngCDel nodo 1.png. Un polígono cuasi-regular tiene p vértices en p-aristas regulares.

Ejemplos de poliedros cuasi-regulares
pag [ q ] r 2 [4] 2 3 [4] 2 4 [4] 2 5 [4] 2 6 [4] 2 7 [4] 2 8 [4] 2 3 [3] 3 3 [4] 3
Derecha
CDel pnodo 1.pngCDel q.pngCDel rnodo.png

CDel nodo 1.pngCDel 4.pngCDel nodo.png
4 2 costillas

CDel 3nodo 1.pngCDel 4.pngCDel nodo.png
9 3 costillas

CDel 4nodo 1.pngCDel 4.pngCDel nodo.png
16 4 costillas

CDel 5nodo 1.pngCDel 4.pngCDel nodo.png
25 5 costillas

CDel 6nodo 1.pngCDel 4.pngCDel nodo.png
36 6 costillas

CDel 7nodo 1.pngCDel 4.pngCDel nodo.png
49 8 costillas

CDel 8nodo 1.pngCDel 4.pngCDel nodo.png
64 8 costillas

CDel 3nodo 1.pngCDel 3.pngCDel3nodo.png

CDel 3nodo 1.pngCDel 4.pngCDel3nodo.png
cuasi-
correcto
CDel pnodo 1.pngCDel q.pngCDel nodo 1.png

CDel nodo 1.pngCDel 4.pngCDel nodo 1.png=CDel nodo 1.pngCDel8.pngCDel nodo.png
4+4 2 aristas

CDel 3nodo 1.pngCDel 4.pngCDel nodo 1.png
6 2 costillas
9 3 costillas

CDel 4nodo 1.pngCDel 4.pngCDel nodo 1.png
8 2 costillas
16 4 costillas

CDel 5nodo 1.pngCDel 4.pngCDel nodo 1.png
10 2 costillas
25 5 costillas

CDel 6nodo 1.pngCDel 4.pngCDel nodo 1.png
12 2 costillas
36 6 costillas

CDel 7nodo 1.pngCDel 4.pngCDel nodo 1.png
14 2 costillas
49 7 costillas

CDel 8nodo 1.pngCDel 4.pngCDel nodo 1.png
16 2 costillas
64 8 costillas

CDel 3nodo 1.pngCDel 3.pngCDel 3nodo 1.png=CDel 3nodo 1.pngCDel 6.pngCDel nodo.png

CDel 3nodo 1.pngCDel 4.pngCDel 3nodo 1.png=CDel 3nodo 1.pngCDel8.pngCDel nodo.png
Derecha
CDel pnodo 1.pngCDel q.pngCDel rnodo.png

CDel nodo 1.pngCDel 4.pngCDel nodo.png
4 2 costillas

CDel nodo 1.pngCDel 4.pngCDel3nodo.png
6 2 costillas

CDel nodo 1.pngCDel 4.pngCDel4nodo.png
8 2 costillas

CDel nodo 1.pngCDel 4.pngCDel5nodo.png
10 2 aristas

CDel nodo 1.pngCDel 4.pngCDel6nodo.png
12 2 costillas

CDel nodo 1.pngCDel 4.pngCDel7nodo.png
14 2 costillas

CDel nodo 1.pngCDel 4.pngCDel8nodo.png
16 2 costillas

CDel 3nodo 1.pngCDel 3.pngCDel3nodo.png

CDel 3nodo 1.pngCDel 4.pngCDel3nodo.png

Apeirogons cuasi-regulares

Hay 7 infinitos complejos cuasi-regulares que alternan las aristas del infinito regular y su dual. Las disposiciones de los vértices de este infinito-ágono tienen representaciones con mosaicos regulares y uniformes del plano euclidiano. La última columna de 6{3}6 contiene infinitos que no solo son autoduales, sino que para ellos el dual coincide consigo mismo con aristas hexagonales superpuestas, de modo que sus formas cuasi-regulares también tienen aristas hexagonales superpuestas y no se puede dibujar con dos colores alternados, como en otras columnas. La simetría de las familias autoduales se puede duplicar, creando así una geometría idéntica, como en las formas regulares:CDel pnodo 1.pngCDel q.pngCDel pnodo 1.png=CDel pnodo 1.pngCDel 2x.pngCDel q.pngCDel nodo.png

Derecha
CDel pnodo 1.pngCDel q.pngCDel rnodo.pngo p { q } r

CDel 4nodo 1.pngCDel8.pngCDel nodo.png

CDel 4nodo 1.pngCDel 4.pngCDel4nodo.png

CDel 6nodo 1.pngCDel 6.pngCDel nodo.png

CDel 6nodo 1.pngCDel 4.pngCDel3nodo.png

CDel 3nodo 1.pngCDel 12.pngCDel nodo.png

CDel 3nodo 1.pngCDel 6.pngCDel3nodo.png

CDel 6nodo 1.pngCDel 3.pngCDel6nodo.png
cuasi-correcto
CDel pnodo 1.pngCDel q.pngCDel nodo 1.png

CDel 4nodo 1.pngCDel8.pngCDel nodo 1.png

CDel 4nodo 1.pngCDel 4.pngCDel 4nodo 1.png=CDel 4nodo 1.pngCDel8.pngCDel nodo.png

CDel 6nodo 1.pngCDel 6.pngCDel nodo 1.png

CDel 6nodo 1.pngCDel 4.pngCDel 3nodo 1.png

CDel 3nodo 1.pngCDel 12.pngCDel nodo 1.png

CDel 3nodo 1.pngCDel 6.pngCDel 3nodo 1.png=CDel 3nodo 1.pngCDel 12.pngCDel nodo.png

CDel 6nodo 1.pngCDel 3.pngCDel 6nodo 1.png=CDel 6nodo 1.pngCDel 6.pngCDel nodo.png

dual adecuado
CDelpnode.pngCDel q.pngCDel nodo 1.pngo r { q } p

CDel4nodo.pngCDel8.pngCDel nodo 1.png

CDel4nodo.pngCDel 4.pngCDel 4nodo 1.png

CDel6nodo.pngCDel 6.pngCDel nodo 1.png

CDel 6nodo 1.pngCDel 4.pngCDel 3nodo 1.png

CDel3nodo.pngCDel 12.pngCDel nodo 1.png

CDel3nodo.pngCDel 6.pngCDel 3nodo 1.png

CDel6nodo.pngCDel 3.pngCDel 6nodo 1.png

Polígonos cuasi-regulares

Como en el caso de los politopos reales, un politopo cuasi-regular complejo se puede construir como un truncamiento completo de un politopo regular. Los vértices se forman en el medio de las aristas de un poliedro regular, y las caras de un poliedro regular y sus duales se ubican alternativamente a lo largo de las aristas comunes.

Por ejemplo, un cubo p-generalizadoCDel pnodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.png,
tiene p 3 vértices, 3 p 2 aristas y 3 p p -caras cuadradas generalizadas, mientras que un p -octaedro generalizadoCDelpnode.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo 1.png,
tiene 3 p vértices, 3 p 2 aristas y p 3 caras triangulares. Forma cuasi-regular media del cuboctaedro generalizado pCDelpnode.pngCDel 4.pngCDel nodo 1.pngCDel 3.pngCDel nodo.png,
tiene 3 p 2 vértices, 3 p 3 aristas y 3 p + p 3 caras.

Además , el truncamiento completo del poliedro hessiano CDel 3nodo 1.pngCDel 3.pngCDel3nodo.pngCDel 3.pngCDel3nodo.png - esto esCDel3nodo.pngCDel 3.pngCDel 3nodo 1.pngCDel 3.pngCDel3nodo.png, una forma casi regular que comparte la geometría de un poliedro complejo regularCDel 3nodo 1.pngCDel 3.pngCDel3nodo.pngCDel 4.pngCDel nodo.png.

Ejemplos cuasi-correctos
Cubo/octaedro generalizado poliedro hessiano
p=2 (reales) pag=3 pag=4 pag=5 pag=6

cubos generalizados
CDel pnodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.png
(Correcto)

cubo ,CDel nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.png,
8 vértices, 12 2 aristas
y 6 caras.

CDel 3nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.png, 27 vértices, 27 3 aristas y 9 caras, una de cadaCDel 3nodo 1.pngCDel 4.pngCDel nodo.pngcaras (azul y rojo)

CDel 4nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.png,
64 vértices,
48 ​​4 aristas
y 12 caras.

CDel 5nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.png,
125 vértices,
75 5 aristas
y 15 caras.

CDel 6nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.png,
216 vértices,
108 de 6 aristas
y 18 caras.

CDel 3nodo 1.pngCDel 3.pngCDel3nodo.pngCDel 3.pngCDel3nodo.png,
27 vértices,
72 6 aristas
y 27 caras.

Cuboctaedro generalizado
CDelpnode.pngCDel 4.pngCDel nodo 1.pngCDel 3.pngCDel nodo.png
(cuasi-correcto)

cuboctaedro
CDel nodo.pngCDel 4.pngCDel nodo 1.pngCDel 3.pngCDel nodo.png,
12 vértices,
24 2 aristas
y 6+8 caras.

CDel3nodo.pngCDel 4.pngCDel nodo 1.pngCDel 3.pngCDel nodo.png,
27 vértices,
81 2 aristas
y 9+27 caras,
unaCDel nodo 1.pngCDel 4.pngCDel3nodo.pngborde (azul)

CDel4nodo.pngCDel 4.pngCDel nodo 1.pngCDel 3.pngCDel nodo.png,
48 vértices,
192 2 aristas
y 12+64 caras,
unaCDel nodo 1.pngCDel 4.pngCDel4nodo.pngborde (azul)

CDel5nodo.pngCDel 4.pngCDel nodo 1.pngCDel 3.pngCDel nodo.png,
75 vértices,
375 2 aristas
y 15+125 caras.

CDel6nodo.pngCDel 4.pngCDel nodo 1.pngCDel 3.pngCDel nodo.png,
108 vértices,
648 2 aristas
y 18+216 caras.

CDel3nodo.pngCDel 3.pngCDel 3nodo 1.pngCDel 3.pngCDel3nodo.png=CDel 3nodo 1.pngCDel 3.pngCDel3nodo.pngCDel 4.pngCDel nodo.png,
72 vértices,
216 3 aristas
y 54 caras.

octaedro generalizado
CDelpnode.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo 1.png
(Correcto)

Octaedro
CDel nodo.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo 1.png,
6 vértices,
12 2 aristas
y 8 {3} caras.

CDel3nodo.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo 1.png,
9 vértices,
27 2 aristas
y 27 {3} caras.

CDel4nodo.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo 1.png,
12 vértices,
48 ​​2 aristas
y 64 {3} caras.

CDel5nodo.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo 1.png,
15 vértices,
75 2 aristas
y 125 {3} caras.

CDel6nodo.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo 1.png,
18 vértices,
108 2 aristas
y 216 {3} caras.

CDel3nodo.pngCDel 3.pngCDel3nodo.pngCDel 3.pngCDel 3nodo 1.png,
27 vértices,
72 6 aristas
y 27 caras.

Otros politopos complejos con reflejos complejos del periodo dos

Se pueden construir otros politopos complejos irregulares utilizando grupos de reflexión complejos, que no producen gráficos lineales de Coxeter. En los gráficos de Coxeter en bucle, Coxeter marca el período, como en el gráficoCDel nodo 1.pngCDel3split1.pngCDel-sucursal.pngo símbolo y grupo [37] [38] . Estos politopos complejos no han sido investigados sistemáticamente más allá de unos pocos casos especiales.

GrupoCDel nodo.pngCDel psplit1.pngCDel-sucursal.pngestá determinada por 3 reflexiones complejas, , todas de orden 2: . El período p se puede considerar como una doble rotación en el espacio real .

Como en el caso de las construcciones de Wythoff , para politopos generados por reflexiones, el número de vértices de un politopo que tiene un diagrama de Coxeter con un círculo es igual al orden del grupo dividido por el orden del subgrupo en el que se elimina el nodo encerrado en un círculo. . Por ejemplo, el cubo real tiene un diagrama de CoxeterCDel nodo 1.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.png, con simetría octaédrica CDel nodo.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.pngorden 48 y el subgrupo de simetría diedroCDel nodo.pngCDel 3.pngCDel nodo.pngorden 6, por lo que el número de vértices del cubo es s 48/6=8. Las facetas se construyen eliminando un nodo, el más alejado del nodo con un círculo, por ejemploCDel nodo 1.pngCDel 4.pngCDel nodo.pngpor un cubo. Las formas de vértice se generan eliminando un nodo delimitado y colocando un círculo o círculos en los nodos vecinos,CDel nodo 1.pngCDel 3.pngCDel nodo.pngpor un cubo.

Coxeter representa estos grupos con los siguientes símbolos. Algunos grupos tienen el mismo orden pero diferente estructura, definiendo la misma disposición de vértices en poliedros complejos, pero diferentes aristas y elementos de mayor dimensión, como en los diagramasCDel nodo.pngCDel psplit1.pngCDel-sucursal.pngyCDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel labelp.pngcon p ≠3 [39]

Grupos generados por reflexiones complejas
Gráfico de Coxeter Ordenar Símbolo o posición en la tabla VII de Shepard o Todd (1954)
CDel-sucursal.pngCDel labelp.png, (CDel nodo.pngCDel psplit1.pngCDel-sucursal.pngyCDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel labelp.png),CDel nodo.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel labelp.png,CDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel labelp.png
pags norte - 1 norte !, pags ≥ 3
CDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel3ab.pngCDel nodos.png,CDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel3ab.pngCDel nodos.pngCDel3a.pngCDel nodea.png 72•6!, 108•9! Nº 33, 34, ,
CDel nodo.pngCDel4split1.pngCDel-sucursal.pngCDel label4.png, (CDel nodo.pngCDel4split1.pngCDel-sucursal.pngCDel label5.pngyCDel nodo.pngCDel5split1.pngCDel-sucursal.pngCDel label4.png), (CDel nodo.pngCDel 3.pngCDel nodo.pngCDel4split1.pngCDel-sucursal.pngyCDel nodo.pngCDel 3.pngCDel nodo.pngCDel3split1-43.pngCDel-sucursal.png) 14•4!, 3•6!, 64•5! Núm. 24, 27, 29

Coxeter llama a algunos de estos politopos complejos casi regulares , ya que tienen facetas regulares y figuras de vértices. El primero es una variante del politopo cruzado generalizado con menor simetría en . El segundo es un cubo generalizado fraccionario en el que las aristas p se reducen a vértices separados, dejando 2 aristas simples. Tres de ellos están relacionados con un poliedro sesgado regular finito en .

Algunos poliedros complejos casi regulares [40]
Espacio
_
Grupo Ordenar símbolos
de coxeter
picos costillas facetas
figura de vértice
notas

CDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel labelp.png
p =2,3,4…

CDel nodo 1.pngCDel3split1.pngCDel-sucursal.pngCDel labelp.png
3p _ 3p2 _ _ {3} { 2p } El símbolo de Shepard es el mismo que
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDelpnode.png

CDel nodo.pngCDel3split1.pngCDel sucursal 10l.pngCDel labelp.png
p2_ _ {3} {6} símbolo de shepard

CDel nodo.pngCDelsplit1.pngCDel nodos.png
24
CDel nodo 1.pngCDelsplit1.pngCDel nodos.png
6 12 8 {3} {cuatro} Igual queCDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel nodo.png= octaedro real

CDel nodo.pngCDelsplit1.pngCDel nodos 10lu.png
cuatro 6 4 {3} {3} 1/2CDel nodo h.pngCDel 4.pngCDel nodo.pngCDel 3.pngCDel nodo.png= = tetraedro real

CDel nodo.pngCDel3split1.pngCDel-sucursal.png
54
CDel nodo 1.pngCDel3split1.pngCDel-sucursal.png
9 27 {3} {6} El símbolo de Shepard es el mismo que
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel3nodo.png

CDel nodo.pngCDel3split1.pngCDel sucursal 10l.png
9 27 {3} {6} Símbolo de pastor 1/3

CDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel label4.png
96
CDel nodo 1.pngCDel3split1.pngCDel-sucursal.pngCDel label4.png
12 48 {3} {ocho} El símbolo de Shepard es el mismo que
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel4nodo.png

CDel nodo.pngCDel3split1.pngCDel sucursal 10l.pngCDel label4.png
dieciséis {3} {6} Símbolo de pastor 1/4

CDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel label5.png
150
CDel nodo 1.pngCDel3split1.pngCDel-sucursal.pngCDel label5.png
quince 75 {3} {diez} El símbolo de Shepard es el mismo que
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel5nodo.png

CDel nodo.pngCDel3split1.pngCDel sucursal 10l.pngCDel label5.png
25 {3} {6} Símbolo de pastor 1/5

CDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel label6.png
216
CDel nodo 1.pngCDel3split1.pngCDel-sucursal.pngCDel label6.png
Dieciocho 216 {3} {12} El símbolo de Shepard es el mismo que
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel6nodo.png

CDel nodo.pngCDel3split1.pngCDel sucursal 10l.pngCDel label6.png
36 {3} {6} Símbolo de pastor 1/6

CDel nodo.pngCDel4split1.pngCDel-sucursal.pngCDel label4.png
336
CDel nodo 1.pngCDel4split1.pngCDel-sucursal.pngCDel label4.png
42 168 112 {3} {ocho} representación {3,8|,4} = {3,8} 8

CDel nodo.pngCDel4split1.pngCDel sucursal 10l.pngCDel label4.png
56 {3} {6}

CDel nodo.pngCDel4split1.pngCDel-sucursal.pngCDel label5.png
2160
CDel nodo 1.pngCDel4split1.pngCDel-sucursal.pngCDel label5.png
216 1080 720 {3} {diez} actuación

CDel nodo.pngCDel4split1.pngCDel sucursal 10l.pngCDel label5.png
360 {3} {6}

CDel nodo.pngCDel5split1.pngCDel-sucursal.pngCDel label4.png

CDel nodo 1.pngCDel5split1.pngCDel-sucursal.pngCDel label4.png
270 1080 720 {3} {ocho} actuación

CDel nodo.pngCDel5split1.pngCDel sucursal 10l.pngCDel label4.png
360 {3} {6}

Coxeter identificó otros grupos con construcción antiunitaria, como estos tres. El primer grupo fue descubierto y dibujado por McMullen, Peter en 1966 [41]

Algunos otros poliedros complejos casi regulares [40]
Espacio
_
Grupo Ordenar símbolos
de coxeter
picos costillas facetas
figura de vértice
notas

CDel nodo.pngCDel anti3split1-44.pngCDel-sucursal.png
336
CDel nodo 1.pngCDel anti3split1-44.pngCDel-sucursal.png
56 168 84 {4} {6} actuación

CDel nodo.pngCDel anti3split1-44.pngCDel-sucursal.pngCDel label5.png
2160
CDel nodo 1.pngCDel anti3split1-44.pngCDel-sucursal.pngCDel label5.png
216 1080 540 {4} {diez} actuación

CDel nodo.pngCDel anti3split1-55.pngCDel-sucursal.pngCDel label4.png

CDel nodo 1.pngCDel anti3split1-55.pngCDel-sucursal.pngCDel label4.png
270 1080 432 {5} {ocho} actuación
Algunos 4-poliedros complejos [40]
Espacio
_
Grupo Ordenar símbolos
de coxeter
picos Otros
elementos
células
figura de vértice
notas

CDel nodo.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel labelp.png
p =2,3,4…

CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel labelp.png
4p _ CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png CDel nodo 1.pngCDel3split1.pngCDel-sucursal.pngCDel labelp.png Shepard igual que

CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDelpnode.png

CDel nodo.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel sucursal 10lu.pngCDel labelp.png
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png
CDel nodo.pngCDel3split1.pngCDel sucursal 10lu.pngCDel labelp.png
CDel nodo.pngCDel 3.pngCDel nodo 1.pngCDel 3.pngCDel nodo 1.png pastor


CDel nodo.pngCDel 3.pngCDel nodo.pngCDelsplit1.pngCDel nodos.png
192
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDelsplit1.pngCDel nodos.png
ocho 24 aristas
32 caras
dieciséisCDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png CDel nodo 1.pngCDelsplit1.pngCDel nodos.png CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel nodo.png, hexadecimal real

CDel nodo.pngCDel 3.pngCDel nodo.pngCDelsplit1.pngCDel nodos 10lu.png
1/2 CDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel nodo h.png= , hexadecimal real

CDel nodo.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel-sucursal.png
648
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel-sucursal.png
12 CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png CDel nodo 1.pngCDel3split1.pngCDel-sucursal.png Shepard igual que

CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel3nodo.png

CDel nodo.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel sucursal 10lu.png
27 CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png
CDel nodo.pngCDel3split1.pngCDel sucursal 10lu.png
CDel nodo.pngCDel 3.pngCDel nodo 1.pngCDel 3.pngCDel nodo 1.png pastor

CDel nodo.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel label4.png
1536
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel label4.png
dieciséis CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png CDel nodo 1.pngCDel3split1.pngCDel-sucursal.pngCDel label4.png Shepard igual que

CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDel4nodo.png

CDel nodo.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel sucursal 10lu.pngCDel label4.png
64 CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png
CDel nodo.pngCDel3split1.pngCDel sucursal 10lu.pngCDel label4.png
CDel nodo.pngCDel 3.pngCDel nodo 1.pngCDel 3.pngCDel nodo 1.png pastor

CDel nodo.pngCDel 3.pngCDel nodo.pngCDel3split1-43.pngCDel-sucursal.png
7680
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel3split1-43.pngCDel-sucursal.png
80 CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png CDel nodo 1.pngCDel3split1-43.pngCDel-sucursal.png pastor

CDel nodo.pngCDel 3.pngCDel nodo.pngCDel3split1-43.pngCDel sucursal 01l.png
160 CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png
CDel nodo.pngCDel3split1-43.pngCDel sucursal 01l.png
CDel nodo.pngCDel 3.pngCDel nodo 1.pngCDel 4.pngCDel nodo 1.png pastor
(1 1 1 4 2) 3
CDel nodo.pngCDel 3.pngCDel nodo.pngCDel3split1-43.pngCDel sucursal 10l.png
320 CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png
CDel nodo.pngCDel3split1-43.pngCDel sucursal 10l.png
CDel nodo.pngCDel 3.pngCDel nodo 1.pngCDel 3.pngCDel nodo 1.png pastor

CDel nodo.pngCDel 3.pngCDel nodo.pngCDel4split1.pngCDel-sucursal.png

CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel4split1.pngCDel-sucursal.png
80 640 aristas
1280 triángulos
640CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png CDel nodo 1.pngCDel4split1.pngCDel-sucursal.png

CDel nodo.pngCDel 3.pngCDel nodo.pngCDel4split1.pngCDel sucursal 10lu.png
320 CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png
CDel nodo.pngCDel4split1.pngCDel sucursal 10lu.png
CDel nodo.pngCDel 3.pngCDel nodo 1.pngCDel 3.pngCDel nodo 1.png
Algunos 5-poliedros complejos [40]
Espacio
_
Grupo Ordenar símbolos
de coxeter
picos costillas facetas
figura de vértice
notas

CDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel labelp.png
p =2,3,4…
120p4 _ _
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel labelp.png
5p _ CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel labelp.png Shepard igual que
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDelpnode.png

CDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel sucursal 10lu.pngCDel labelp.png
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png
CDel nodo.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel sucursal 10lu.pngCDel labelp.png
CDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo 1.pngCDel 3.pngCDel nodo 1.png Shepard 1/ p γ
p5
_

CDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel3ab.pngCDel nodos.png
51840
CDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel3ab.pngCDel nodos 10l.png
80 CDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel3a.pngCDel nodo 1.png
CDel-sucursal.pngCDel3ab.pngCDel nodos 10l.png
CDel nodo.pngCDel3split1.pngCDel sucursal 10lr.pngCDel3b.pngCDel nodeb.png pastor

CDel nodo 1.pngCDel3split1.pngCDel-sucursal.pngCDel3ab.pngCDel nodos.png
432 CDel nodo 1.pngCDel3split1.pngCDel-sucursal.pngCDel3a.pngCDel nodea.png CDel sucursal 11.pngCDel3ab.pngCDel nodos.png pastor
Algunos 6-poliedros complejos [40]
Espacio
_
Grupo Ordenar símbolos
de coxeter
picos costillas facetas
figura de vértice
notas

CDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel labelp.png
p =2,3,4…

CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel labelp.png
6p _ CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel labelp.png Shepard igual que

CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 4.pngCDelpnode.png

CDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel sucursal 10lu.pngCDel labelp.png
CDel nodo 1.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.png
CDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo.pngCDel3split1.pngCDel sucursal 10lu.pngCDel labelp.png
CDel nodo.pngCDel 3.pngCDel nodo.pngCDel 3.pngCDel nodo 1.pngCDel 3.pngCDel nodo 1.png pastor

CDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel3ab.pngCDel nodos.pngCDel3a.pngCDel nodea.png
39191040
CDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel3ab.pngCDel nodos.pngCDel3a.pngCDel nodo 1.png
756 CDel-sucursal.pngCDel3ab.pngCDel nodos.pngCDel3a.pngCDel nodo 1.png
CDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodo 1.png
CDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel3ab.pngCDel nodos 10l.png pastor

CDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel3ab.pngCDel nodos 01lr.pngCDel3a.pngCDel nodea.png
4032 CDel nodo.pngCDel3split1.pngCDel-sucursal.pngCDel3ab.pngCDel nodos 01l.png
CDel-sucursal.pngCDel3ab.pngCDel nodos 01lr.pngCDel3a.pngCDel nodea.png
CDel nodo.pngCDel3split1.pngCDel sucursal 01lr.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.png pastor

CDel nodo 1.pngCDel3split1.pngCDel-sucursal.pngCDel3ab.pngCDel nodos.pngCDel3a.pngCDel nodea.png
54432 CDel nodo 1.pngCDel3split1.pngCDel-sucursal.pngCDel3ab.pngCDel nodos.png
CDel nodo 1.pngCDel3split1.pngCDel-sucursal.pngCDel3a.pngCDel nodea.pngCDel3a.pngCDel nodea.png
CDel sucursal 11.pngCDel3ab.pngCDel nodos.pngCDel3a.pngCDel nodea.png pastor
Visualización

Notas

  1. Orlik, Reiner, Shepler, 2002 , pág. 477–492.
  2. Coxeter, 1957 , pág. 115.
  3. Coxeter, 1991 , 11.3 Petrie Polygon , un h - gon simple formado por la órbita de la bandera ( ) para el producto de dos reflexiones generadoras de cualquier polígono complejo regular no estelar, .
  4. Coxeter, 1991 , 11.1 Polígonos complejos regulares , p. 103.
  5. Shepard 1952; “De las convenciones que usamos para definir el concepto de interior de un poliedro, vemos que en un espacio unitario, donde los números no se pueden ordenar, no se puede definir el concepto de interior.
    Por lo tanto... deberíamos considerar los poliedros unitarios como configuraciones".
  6. Coxeter, 1957 , pág. 96.
  7. Coxeter, 1957 , pág. 177, Cuadro III.
  8. Coxeter, 1957 , pág. xiv.
  9. Lehrer, Taylor, 2009 , pág. 87.
  10. Coxeter, 1957 , Tabla IV. Los polígonos regulares, pág. 178-179.
  11. 1 2 Coxeter, 1957 , pág. 108.
  12. Coxeter, 1957 , pág. 109.
  13. Coxeter, 1957 , pág. 111.
  14. Coxeter, 1957 , pág. 30, esquema y pág. 47 índices para 8 de 3 aristas.
  15. 1 2 Coxeter, 1957 , pág. 110.
  16. Coxeter, 1957 , pág. 48.
  17. Coxeter, 1957 , pág. 49.
  18. Coxeter, 1957 , pág. 116–140.
  19. Coxeter, 1957 , pág. 118–119.
  20. Coxeter, 1957 , pág. 118-119.
  21. Coxeter, 1991 , pág. 29
  22. Coxeter, 1957 , Tabla V. Los poliedros regulares no estrellados y los 4 politopos, p. 180.
  23. 1 2 Coxeter, 1957 , pág. 131.
  24. Coxeter, 1957 , pág. 126.
  25. Coxeter, 1957 , pág. 125.
  26. Coxeter, 1957 , pág. 180.
  27. Coxeter, 1991 , Tabla VI. Los panales regulares, pág. 180.
  28. Coxeter, 1991 , pág. 174.
  29. Coxeter, 1991 , Tabla VI. Los panales regulares, pág. 111, 136.
  30. Coxeter, 1957 , pág. 178–179.
  31. Coxeter, 1991 , pág. 111-112, 11.6 Apeirogons.
  32. Coxeter, 1991 , pág. 140.
  33. Coxeter, 1957 , pág. 139-140.
  34. Coxeter, 1991 , pág. 146.
  35. Coxeter, 1991 , pág. 141.
  36. Coxeter, 1991 , pág. 118-119, 138.
  37. Coxeter, 1991 , Capítulo 14, Politopos casi regulares , p. 156–174.
  38. Coxeter, 1957 .
  39. Coxeter, 1966 , pág. 422-423.
  40. 1 2 3 4 5 Coxeter, 1957 , pág. 271, Tabla III: Algunos politopos complejos.
  41. Coxeter, 1991 , 14.6 Los dos poliedros de McMullen con 84 caras cuadradas, p. 166-171.
  42. Coxeter, 1991 , pág. 172-173.

Literatura

  • Coxeter HSM Grupos generados por reflexiones unitarias del período dos // Canadá. J. Math.. - 1957. - Edición. 9 _ - S. 243-272 .
  • Caleidoscopios: escritos seleccionados de HSM Coxeter / comp. F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivić Weiss. - Wiley-Interscience, 1995. - V. 19. - (Wiley-Interscience and Canadian Mathematics Series of Monographs and Texts). — ISBN 0471010030 .
  • coxeter _ Grupos finitos generados por reflexiones unitarias // La notación gráfica. - 1966. - Emisión. 4 . - S. 422-423 .
  • Politopos complejos regulares HSM de Coxeter . — 2do. - Prensa de la Universidad de Cambridge, 1991. - ISBN 978-0-521-39490-1 .
  • Peter Orlik, Víctor Reiner, Anne V. Shepler. La representación de signos para los grupos de Shephard  // Mathematische Annalen. - 2002. - marzo ( vol. 322 , número 3 ). — S. 477–492 . -doi : 10.1007/ s002080200001 .
  • Coxeter, HSM , Moser WOJ Generadores y relaciones para grupos discretos. - Nueva York: Springer-Verlag, 1980. - S. 67-80. - ISBN 0-387-09212-9 .
  • Coxeter, HSM , Shephard, GC Retratos de una familia de politopos complejos // Leonardo. - 1992. - T. 25 , núm. 3/4 . — S. 239–244 .
  • Shephard GC Politopos complejos regulares // Proc. Matemáticas de Londres. Soc.. - 1952. - T. 2 . — S. 82–97 .
  • Shephard GC, Todd JA Grupos de reflexión unitarios finitos  // Canadian Journal of Mathematics. - 1954. - Emisión. 6 _ - S. 274-304 .  (enlace no disponible)
  • Gustav I. Lehrer, Donald E. Taylor. Grupos Unitarios de Reflexión. — Prensa de la Universidad de Cambridge, 2009.

Lectura para leer más