Zonoèdre - Définition

Introduction

Un zonoèdre est un polyèdre convexe où chaque face est un polygone avec un centre de symétrie ou, de manière équivalente, une symétrie avec des rotations à 180°. Tout zonoèdre peut être décrit de manière équivalente comme la somme de Minkowski d'un ensemble de segments de droite dans un espace tridimensionnel, ou comme la projection tridimensionnelle d'un hypercube. Les zonoèdres ont été définis à l'origine et étudiés par E. S. Fedorov, un cristallographe russe.

Zonoèdres qui pavent l'espace

La motivation originale pour l'étude des zonoèdres réside dans le fait que le diagramme de Voronoï d'un réseau quelconque forme un nid d'abeille uniforme convexe dans lequel les cellules sont des zonoèdres. Un zonoèdre quelconque formé de cette manière peut paver l'espace tridimensionnel et est appelé un parallèloèdre primaire. Chaque parallèloèdre primaire est équivalent combinatoirement à un des cinq types : le cube, le prisme hexagonal, l'octaèdre tronqué, le dodécaèdre rhombique et le dodécaèdre rhombo-hexagonal.

Zonoèdres à partir d'arrangements

L'application de Gauss d'un polyèdre quelconque applique chaque face du polygone vers un point de la sphère unité, et applique chaque arête du polygone en séparant une paire de faces vers un arc de grand cercle connectant les deux points correspondants. Dans le cas d'un zonoèdre, les arêtes entourant chaque face peuvent être groupées en paires d'arêtes parallèles, et lorsqu'elles sont translatées via l'application de Gauss, une paire quelconque de cette sorte devient une paire de segment contigus sur le même grand cercle. Ainsi, les arêtes du zonoèdre peuvent être groupées en zones d'arêtes parallèles, qui correspondent aux segments d'un grand cercle commun sur l'application de Gauss, et le 1-squelette du zonoèdre peut être regardé comme le graphe planaire dual d'un arrangement de grands cercles sur la sphère. Inversement, tout arrangement de grands cercles peut être formé à partir de l'application de Gauss d'un zonoèdre engendré par des vecteurs perpendiculaires aux plans à travers les cercles.

Tout zonoèdre simple correspond, de cette manière à un arrangement simplicial, dans lequel chaque face est un triangle. Les arrangements simpliciaux de grands cercles correspondent via la projection centrale aux arrangements simpliciaux de droites dans le plan projectif, qui a été étudié par Grünbaum (1972). Il a listé trois familles infinie d'arrangements simpliciaux, une d'elles conduit aux prismes lorsqu'elle est convertie en zonoèdres, et les deux autres correspondent aux familles supplémentaires de zonoèdres simples. Il existe aussi beaucoup d'exemples connus qui ne rentrent pas dans ces trois familles.

Zonoèdres à partir des sommes de Minkowski

Soit {v₀, v₁, ...}, une collection de vecteurs tridimensionnels. Avec chaque vecteur v_i, nous pouvons associer un segment {x_iv_i|0≤x_i≤1}. La somme de Minkowski : {Σx_iv_i|0≤x_i≤1} forme un zonoèdre, et tous les zonoèdres qui contiennent l'origine ont cette forme. Les vecteurs à partir desquels le zonoèdre est formé sont appelés ses générateurs. Cette caractérisation permet la définition des zonoèdres pour être généralisé en dimensions plus élevées, donnant les zonotopes.

Chaque arête, dans un zonoèdre est parallèle à au moins un des générateurs, et possède une longueur égale à la somme des longueurs des générateurs avec lesquels il est parallèle. Par conséquent, en choisissant un ensemble de générateurs sans paires des vecteurs parallèles, et en fixant les longueurs de tous les vecteurs égales, nous pouvons former une version équilatérale d'un zonoèdre de type combinatoire quelconque.

En choisissant des ensembles de vecteurs avec de hauts degrés de symétrie, nous pouvons former de cette manière des zonoèdres avec au moins autant de symétries. Par exemple, les générateurs également espacés autour de l'équateur d'une sphère, mis ensemble avec une autre paire de générateurs à travers les poles de la sphère forment des zonoèdres de la forme d'un prisme sur les 2k-gones réguliers : le cube, le prisme hexagonal, le prisme octogonal, le prisme décagonal, le prisme dodécagonal, etc. Les générateurs parallèles aux arêtes d'un octaèdre forment un octaèdre tronqué, et les générateurs parallèles le long des diagonales d'un cube forment un dodécaèdre rhombique.

La somme de Minkowski de deux zonoèdres quelconques est un autre zonoèdre, engendré par l'union des générateurs de deux zonoèdres donnés. Ainsi, la somme de Minkowski d'un cube et d'un octaèdre tronqué forme le grand rhombicuboctaèdre, tandis que la somme du cube avec le dodécaèdre rhombique forme le dodécaèdre rhombique tronqué. Ces deux zonoèdres sont simples (trois faces qui se rencontrent à chaque sommet), comme le petit rhombicuboctaèdre tronqué formé à partir de la somme de Minkowski du cube, de l'octaèdre tronqué et du dodécaèdre rhombique.