Paraleloedro
Cubo |
Prisma hexagonal |
Dodecaedro rómbico |
Dodecaedro alargado |
Octaedro truncado |
En geometría, un paraleloedro es un poliedro que puede ser trasladado sin rotaciones en el espacio euclídeo tridimensional para llenar el espacio como un panal de miel en el que todas las copias del poliedro se encuentran cara a cara. Hay cinco tipos de paraleloedros, identificados por primera vez por Evgraf Fedorov en 1885 en sus estudios de sistemas cristalográficos: el cubo, el prisma hexagonal, el dodecaedro rómbico, el dodecaedro alargado y el octaedro truncado.[1]
Clasificación
[editar]Todo paraleloedro es un zonoedro, construido como la suma de Minkowski de entre tres y seis segmentos de línea. Cada uno de estos segmentos de línea puede tener como longitud cualquier número real positivo, y cada arista de un paralelodedro es paralela a uno de estos segmentos generadores, con la misma longitud. Si la longitud de un segmento de un paralelóedro generado a partir de cuatro o más segmentos se reduce a cero, el resultado es que el poliedro degenera a una forma más simple, un paralelóedro formado a partir de un segmento menos.[2] Como un zonoedro, estas formas tienen automáticamente 2 Ci simetrías,[1] pero son posibles simetrías adicionales con una elección adecuada de los segmentos generadores.[3]
Los cinco tipos de paraleleedros son:[1]
- Un paralelepípedo, generado a partir de tres segmentos de línea que no son todos paralelos a un plano común. Su forma más simétrica es el cubo, generado por tres segmentos de recta perpendiculares de longitud unitaria.
- Un prisma hexagonal, generado a partir de cuatro segmentos de recta, tres de ellos paralelos a un plano común y el cuarto no. Su forma más simétrica es el prisma recto sobre un hexágono regular.
- El dodecaedro rómbico, generado a partir de cuatro segmentos de recta, de los cuales no hay dos paralelos a un plano común. Su forma más simétrica está generada por las cuatro diagonales largas de un cubo.
- El dodecaedro alargado, generado a partir de cinco segmentos de línea, uno de los cuales es paralelo a un plano común con dos pares disjuntos de los otros cuatro. Se puede generar utilizando una arista del cubo y sus cuatro diagonales largas como generadores.
- El octaedro truncado, generado a partir de seis segmentos de línea con cuatro conjuntos de tres segmentos coplanares. Se puede incrustar en el espacio de cuatro dimensiones como el 4-permutoedro, cuyos vértices son todas las permutaciones de los números (1,2,3,4). En el espacio tridimensional, su forma más simétrica se genera a partir de seis segmentos de línea paralelos a las diagonales de las caras de un cubo.
Cualquier zonoedro cuyas caras tengan la misma estructura combinatoria que una de estas cinco formas es un paraleloedro, independientemente de sus ángulos o longitudes de arista particulares. Por ejemplo, cualquier transformación afín de un paraleloedro producirá otro paraleloedro del mismo tipo.[1]
Name | Cube (paralelepípedo) |
Hexagonal prism Cubo elongado |
Rhombic dodecahedron | Elongated dodecahedron | Truncated octahedron |
---|---|---|---|---|---|
Images (colors indicate parallel edges) | |||||
Número de generadores | 3 | 4 | 4 | 5 | 6 |
Vértices | 8 | 12 | 14 | 18 | 24 |
Aristas | 12 | 18 | 24 | 28 | 36 |
Caras | 6 | 8 | 12 | 12 | 14 |
Mosaico | |||||
Nombre de mosaico y Diagrama de Coxeter-Dynkin | Cúbico | Prismático hexagonal |
Dodecaédrico rómbico |
Dodecaédrico alargado | Cúbico bitruncado |
Simetrías
[editar]Cuando se subdividen según sus grupos de simetría, existen 22 formas de paralelóedros. Para cada forma, los centros de sus copias en su panal forman los puntos de una de las 14 red de Bravais. Dado que hay menos celosías de Bravais que formas simétricas de paralelóedros, ciertos pares de paraleloedros se asignan a la misma celosía de Bravais.[3]
Colocando un extremo de cada segmento de línea generador de un paraleloedro en el origen del espacio tridimensional, los generadores pueden representarse como vectores tridimensionales, las posiciones de sus extremos opuestos. Para esta colocación de los segmentos, un vértice del paraleleedro estará en el origen, y el resto estará en posiciones dadas por sumas de ciertos subconjuntos de estos vectores. Un paraleleedro con vectores puede ser parametrizado de esta manera por coordenadas, tres para cada vector, pero sólo algunas de estas combinaciones son válidas (debido al requisito de que ciertos triples de segmentos se encuentren en planos paralelos, o equivalentemente que ciertos triples de vectores sean coplanares) y diferentes combinaciones pueden dar lugar a paraleleedros que difieren sólo por una rotación, transformación de escala, o más generalmente por una transformación afín. Cuando se eliminan las transformaciones afines, el número de parámetros libres que describen la forma de un paraleleedro es cero para un paralelepípedo (todos los paralelepípedos son equivalentes entre sí bajo transformaciones afines), dos para un prisma hexagonal, tres para un dodecaedro rómbico, cuatro para un dodecaedro alargado, y cinco para un octaedro truncado.[4]
Historia
[editar]La clasificación de los paralelocedros en cinco tipos fue realizada por primera vez por el cristalógrafo ruso Evgraf Fedorov, como capítulo 13 de un libro en ruso publicado por primera vez en 1885, cuyo título ha sido traducido al inglés como An Introduction to the Theory of Figures.[5] Algunas de las matemáticas de este libro son defectuosas; por ejemplo, incluye una prueba incorrecta de un lema que afirma que cada mosaico monohédrico del plano es finalmente periódico, que sigue sin resolverse como el problema de "einstein" .[6] En el caso de los paralelóedros, Fedorov supuso sin probar que todo paralelóedro es centralmente simétrico, y utilizó esta suposición para probar su clasificación. La clasificación de los paralelóedros fue más tarde firmemente fundamentada por Hermann Minkowski, quien utilizó su teorema de unicidad para poliedros con áreas y normales de caras dadas para demostrar que los paralelóedros son centralmente simétricos.[1]
Formas relacionadas
[editar]En dos dimensiones la figura análoga a un paraleloedro es un paralelógono, un polígono que puede embaldosar el plano borde a borde por traslación. Se trata de paralelogramos y hexágonos con lados opuestos paralelos y de igual longitud.[7]
En dimensiones superiores, un paraleloedro se denomina paralelotopo. Hay 52 paralelotopos diferentes en cuatro dimensiones, enumerados por primera vez por Boris Delaunay (con un paralelotopo que falta, descubierto más tarde por Mijaíl Shtogrin),[8] y 103 769 tipos en cinco dimensiones.[9] A diferencia del caso para tres dimensiones, no todos ellos son zonotopos. 17 de los paralelotopos de cuatro dimensiones son zonotopos, uno es la célula 24 regular, y los 34 restantes de estas formas son suma de Minkowskis de zonotopos con la célula 24.[10] Un paralelotopo dimensional puede tener como máximo facetas, siendo el permutoedro el que alcanza este máximo.[2]
Un plesioedro es una clase más amplia de poliedros tridimensionales que llenan el espacio, formados a partir del diagrama de Voronois de conjuntos periódicos de puntos.[7] Como demostró Boris Delaunay en 1929,[11] todo paraleleedro puede convertirse en un plesioedro mediante una transformación afín,[1] pero esto queda abierto en dimensiones superiores,[2] y en tres dimensiones también existen otros plesioedros que no son paraleleedros. Las tilings del espacio por plesiohedra tienen simetrías que toman cualquier célula a cualquier otra célula, pero a diferencia de los paraleloedros, estas simetrías pueden implicar rotaciones, no sólo translaciones.[7]
Referencias
[editar]- ↑ a b c d e f Alexandrov, A. D. (2005). «8.1 Parallelohedra». Convex Polyhedra. Springer. pp. 349-359.
- ↑ a b c Dienst, Thilo. «Fedorov's five parallelohedra in R3». University of Dortmund. Archivado desde el original el 4 de marzo de 2016.
- ↑ a b Tutton, A. E. H. (1922). Crystallography and Practical Crystal Measurement, Vol. I: Form and Structure. Macmillan. p. 567.
- ↑ Dolbilin, Nikolai P.; Itoh, Jin-ichi; Nara, Chie (2012). «Affine classes of 3-dimensional parallelohedra – their parametrization». En Akiyama, Jin; Kano, Mikio; Sakai, Toshinori, eds. Computational Geometry and Graphs - Thailand-Japan Joint Conference, TJJCCGG 2012, Bangkok, Thailand, December 6-8, 2012, Revised Selected Papers. Lecture Notes in Computer Science 8296. Springer. pp. 64-72.
- ↑ Fedorov, E. S. (1885). Начала учения о фигурах [Introduction to the Theory of Figures] (en ruso).
- ↑ Senechal, Marjorie; Galiulin, R. V. (1984). «An introduction to the theory of figures: the geometry of E. S. Fedorov». Structural Topology (en en,fr) (10): 5-22. MR 768703. hdl:2099/1195.
- ↑ a b c Grünbaum, Branko; Shephard, G. C. (1980). «Tilings with congruent tiles». Bulletin of the American Mathematical Society. New Series 3 (3): 951-973. MR 585178. doi:10.1090/S0273-0979-1980-14827-2.
- ↑ Engel, P. (1988). «Mathematical problems in modern crystallography». En Hargittai, I.; Vainshtein, B.K., eds. Crystal Symmetries: Shubnikov Centennial Papers. Computers & Mathematics with Applications 16 (5-8): 425-436. MR 991578. doi:10.1016/0898-1221(88)90232-5. See in particular p. 435.
- ↑ Engel, Peter (2000). «The contraction types of parallelohedra in ». Acta Crystallographica 56 (5): 491-496. MR 1784709. doi:10.1107/S0108767300007145.
- ↑ Deza, Michel; Grishukhin, Viacheslav P. (2008). «More about the 52 four-dimensional parallelotopes». Taiwanese Journal of Mathematics 12 (4): 901-916. MR 2426535. arXiv:math/0307171. doi:10.11650/twjm/1500404985.
- ↑ Austin, David (November 2013). «Fedorov's five parallelohedra». AMS Feature Column. American Mathematical Society.