En geometría de 4 dimensiones o más, un prisma doble [1] o duoprisma es un politopo resultante del producto cartesiano de dos politopos, cada uno de dos dimensiones o más. El producto cartesiano de un n -politopo y un m -politopo es un ( n + m ) -politopo, donde n y m son dimensiones de 2 ( polígono ) o más.
Los duoprismas de menor dimensión existen en el espacio de cuatro dimensiones como 4-politopos que son el producto cartesiano de dos polígonos en el espacio euclidiano de dos dimensiones . Más precisamente, es el conjunto de puntos:
donde P 1 y P 2 son los conjuntos de puntos contenidos en los respectivos polígonos. Un duoprisma de este tipo es convexo si ambas bases son convexas y está limitado por celdas prismáticas .
Los duoprismas cuatridimensionales se consideran 4-politopos prismáticos. Un duoprisma construido a partir de dos polígonos regulares con la misma longitud de arista es un duoprisma uniforme .
Un duoprisma formado por n -polígonos y m -polígonos se nombra prefijando 'duoprisma' con los nombres de los polígonos base, por ejemplo: un duoprisma triangular-pentagonal es el producto cartesiano de un triángulo y un pentágono.
Una forma alternativa, más concisa, de especificar un duoprisma particular es prefijándolo con números que denotan los polígonos base, por ejemplo: 3,5-duoprisma para el duoprisma triangular-pentagonal.
Otros nombres alternativos:
El término duoprisma fue acuñado por George Olshevsky, abreviado de prisma doble . John Horton Conway propuso un nombre similar, proprismo, para prisma producto , un producto cartesiano de dos o más politopos de dimensión al menos dos. Los duoprismas son proprismas formados a partir de exactamente dos politopos.
Un duoprisma uniforme de 4 dimensiones se crea mediante el producto de un polígono regular de n lados y un polígono regular de m lados con la misma longitud de arista. Está limitado por n prismas m -gonales y m prismas n -gonales. Por ejemplo, el producto cartesiano de un triángulo y un hexágono es un duoprisma limitado por 6 prismas triangulares y 3 prismas hexagonales.
Los prismas m -gonales están unidos entre sí por sus caras m -gonales y forman un bucle cerrado. De manera similar, los prismas n -gonales están unidos entre sí por sus caras n -gonales y forman un segundo bucle perpendicular al primero. Estos dos bucles están unidos entre sí por sus caras cuadradas y son mutuamente perpendiculares.
A medida que m y n se aproximan al infinito, los duoprismas correspondientes se aproximan al duocilindro . Por lo tanto, los duoprismas son útiles como aproximaciones no cuádricas del duocilindro.
Una proyección en perspectiva centrada en la celda hace que un duoprisma parezca un toro , con dos conjuntos de celdas ortogonales, prismas p-gonales y q-gonales.
Los duoprismas pq son idénticos a los duoprismas qp, pero se ven diferentes en estas proyecciones porque se proyectan en el centro de celdas diferentes.
Las proyecciones ortogonales centradas en los vértices de los duoprismas pp se proyectan en simetría [2n] para los grados impares y [n] para los grados pares. Hay n vértices proyectados en el centro. Para 4,4, representa el plano de Coxeter A 3 del teseracto . La proyección 5,5 es idéntica al triacontaedro rómbico 3D .
El poliedro oblicuo regular , {4,4|n}, existe en el espacio 4 como las n 2 caras cuadradas de un duoprisma nn , utilizando todas las 2n 2 aristas y n 2 vértices. Las 2 n n caras -gonales pueden verse como eliminadas. (Los poliedros oblicuos pueden verse de la misma manera por un duoprisma nm, pero estos no son regulares ).
Al igual que los antiprismas como prismas alternados , existe un conjunto de duoantiprismas de 4 dimensiones: 4-politopos que pueden crearse mediante una operación de alternancia aplicada a un duoprisma. Los vértices alternados crean celdas tetraédricas no regulares, excepto en el caso especial del duoprisma 4-4 ( teseracto ), que crea el duoprisma uniforme (y regular) de 16 celdas . El duoantiprisma de 16 celdas es el único duoantiprisma uniforme convexo.
Los duoprismas
, t 0,1,2,3 {p,2,q}, se puede alternar en
, ht 0,1,2,3 {p,2,q}, los "duoantiprismas", que no pueden hacerse uniformes en general. La única solución uniforme convexa es el caso trivial de p=q=2, que es una construcción de simetría inferior del teseracto. , t 0,1,2,3 {2,2,2}, con su alternancia como la de 16 celdas ,, s{2}s{2}.
La única solución uniforme no convexa es p=5, q=5/3, ht 0,1,2,3 {5,2,5/3},
, construido a partir de 10 antiprismas pentagonales , 10 antiprismas cruzados pentagrámicos y 50 tetraedros, conocido como el gran duoantiprisma (gudap). [2] [3]
También están relacionados los ditetragoltriados u octagoltriados, formados al llevar el octógono (considerado como un ditetragono o un cuadrado truncado) a un p-gono. El octógono de un p-gono se puede definir claramente si se supone que el octógono es la envoltura convexa de dos rectángulos perpendiculares ; entonces el ditetragoltriado p-gonal es la envoltura convexa de dos duoprismas pp (donde los p-gonos son similares pero no congruentes, teniendo diferentes tamaños) en orientaciones perpendiculares. El policoron resultante es isogonal y tiene 2p prismas p-gonales y p 2 trapezoprismas rectangulares (un cubo con simetría D 2d ) pero no se puede hacer uniforme. La figura del vértice es una bipirámide triangular .
Al igual que los duoantiprismas como duoprismas alternados, existe un conjunto de antiprismoides dobles p-gonales creados alternando los ditetragoltriatos 2p-gonales, creando antiprismas y tetraedros p-gonales mientras se reinterpretan los espacios bipiramidales triangulares no coreálmicos como dos tetraedros. La figura resultante no es generalmente uniforme excepto en dos casos: el gran antiprisma y su conjugado, el antiprismoide doble pentagrammico (con p = 5 y 5/3 respectivamente), representados como la alternancia de un ditetragoltriato decagonal o decagrammico. La figura del vértice es una variante de la esfenocorona .
El duoprisma 3-3 , -1 22 , es el primero de una serie dimensional de politopos uniformes, expresado por Coxeter como la serie k 22 . El duoprisma 3-3 es la figura de vértice para el segundo, el 5-símplex birectificado . La cuarta figura es un panal euclidiano, 2 22 , y la final es un panal hiperbólico paracompacto, 3 22 , con el grupo de Coxeter [3 2,2,3 ], . Cada politopo uniforme progresivo se construye a partir del anterior como su figura de vértice .
