En mathématiques, et plus particulièrement en géométrie discrète, un polytope abstrait est un ensemble partiellement ordonné dont l'ordre reflète les propriétés combinatoires d'un polytope (au sens traditionnel, généralisant les polygones et les polyèdres à un nombre de dimensions quelconque), mais pas les aspects géométriques usuels, tels que les angles ou les distances.
On dit qu'un polytope (géométrique) est une réalisation dans un espace à n dimensions (le plus souvent euclidien) du polytope abstrait correspondant.
La définition « abstraite » autorise des structures combinatoires non réalisables géométriquement (par exemple un polygone à deux côtés), ce qui fait apparaître de nouveaux objets sans contrepartie classique.
Historique Dans les années 1960, Branko Grünbaum lança un appel à la communauté des géomètres pour étudier des généralisations du concept de polytope régulier qu'il appelait des polystromata. Il commença à en développer la théorie, découvrant de nouveaux objets, dont la . Vers 1980, H.S.M. Coxeter découvrit un polytope analogue, la , puis redécouvrit indépendamment la 11-cellule.
Ces travaux préliminaires, ainsi que ceux de Jacques Tits, ayant fixé les bases, la théorie élémentaires de ces structures combinatoires, désormais connues sous le nom de polytopes abstraits, fut décrite par dans sa thèse de doctorat en 1980. et lui développèrent la théorie dans une série d'articles de recherche, réunis par la suite en livre. ; leurs définitions sont désormais acceptées (y compris par Grünbaum) comme étant « correctes ».
La recherche s'est depuis surtout consacrée à l'étude des polytopes réguliers, définis comme ceux dont le groupe d'automorphismes agit transitivement sur l'ensemble de ses .
Approche informelle et définitions préliminaires
Polytopes et polytopes abstraits
En géométrie euclidienne, les six quadrilatères ci-contre sont tous différents. Pourtant, ils ont une structure commune : la chaîne alternée de quatre sommets et de quatre côtés qui leur donne leur nom. On dit qu'ils sont isomorphes.
Cette structure commune peut être représentée par un polytope abstrait sous-jacent, un ensemble partiellement ordonné qui capture le modèle des connexions ou des incidences entre les différents éléments structurels. Les propriétés mesurables des polytopes traditionnels tels que les angles, les longueurs de bord, l'asymétrie, la rectitude et la convexité n'ont aucune signification pour un polytope abstrait.
Ce qui est vrai pour les polytopes traditionnels (aussi appelés polytopes classiques ou géométriques) ne l'est peut-être pas pour les polytopes abstraits, et vice versa. Par exemple, un polytope traditionnel est régulier si toutes ses faces et tous ses sommets sont réguliers, mais ce n'est pas nécessairement le cas pour un polytope abstrait.
Réalisations On dit qu'un polytope (au sens géométrique traditionnel) est une réalisation du polytope abstrait correspondant aux relations d'incidence entre ses sommets ,ses arêtes, ses faces, etc. Ainsi, les six quadrilatères représentés sont des réalisations distinctes du même quadrilatère abstrait, mais certains (par exemple ceux avec des arêtes courbes) ne correspondent pas à la définition traditionnelle d'un quadrilatère ; on dit que ce sont des réalisations infidèles.
Faces, rangs, ordres Les éléments de la structure d'un polytope – les sommets, les arêtes, les cellules, etc. – sont associés à des éléments de l'ensemble partiellement ordonné qu'est le polytope abstrait. Ces derniers (appelés génériquement des faces du polytope abstrait) reçoivent le même nom : ceux associés à un sommet sont encore appelés des sommets (ou 0-faces), les arêtes sont des 1-faces, et en général un élément associé à un élément de dimension k est une k-face (ainsi, les facettes des polyèdres sont des 2-faces).
Si F est une k-face, le nombre k est son rang.
On peut ordonner (partiellement) des faces de rang différent par l'inclusion, par exemple si une arête A d'une facette F relie les sommets P et Q, on notera P < A, Q < A et A < F (et donc P < F). On dit que A, P et Q sont des sous-faces de F.
En général, F et G sont dits incidents si F = G ou F < G ou G < F (cet usage du terme « incident » ne correspond pas au sens géométrique usuel, ainsi dans le carré abcd, les côtés ab et bc ne sont pas incidents à ce sens, mais ils sont bien tous deux incidents avec le sommet b).
Réciproquement, un polytope abstrait est alors défini comme un ensemble partiellement ordonné dont la relation d'ordre satisfait certains axiomes supplémentaires (vérifiés par la relation d'incidence pour les polytopes usuels).
Plus petites et plus grandes faces Il est pratique de considérer l'ensemble vide comme une face de tout polytope abstrait ; c'est le plus petit élément pour la relation d'incidence et on lui attribue le rang –1, puisqu'il est (pour cette relation) un niveau en dessous des sommets, objets de dimension (et donc de rang) 0. Dans ce contexte, on le note F−1 ; il n'a évidemment pas de réalisation (géométrique).
Toujours conventionnellement, il est également utile de considérer le polytope tout entier comme une seule face, plus grand élément et donc incidente à toutes les autres, et dont le rang n est la dimension d'une réalisation du polytope. On dénote cette face par Fn ; on considère parfois que sa réalisation est l'intérieur du polytope géométrique.
F−1 et Fn sont appelés des faces impropres ; les autres sont des faces propres.
Un exemple Les faces de l'unique quadrilatère abstrait (également appelé carré dans ce contexte) sont données dans la table suivante.
Type de faceRang (k)Nombrek-facesPlus petite −1 1F−1 Sommet 0 4a, b, c, dArête 1 4W, X, Y, ZPlus grande 2 1F2
La relation < est définie par un ensemble de couples dont la liste est :
F−1 < a, ... , F−1 < X, ... , F−1 < F2, ... , b < Y, ... , c < F2, ... , Z < F2. Les relations d'ordre étant transitives, il n'est pas nécessaire de donner la liste de toutes les paires, mais seulement celles de la forme F < H, telles que aucun G ne vérifie F < G < H.
Les côtés (ou arêtes) W, X, Y et Z sont souvent écrits ab, ad, bc, et cd respectivement, mais cette notation, plus claire pour les polytopes réalisés géométriquement, n'est pas toujours possible, comme on le verra plus bas dans le cas du digone, par exemple.
Les quatre côtés (et les quatre sommets) jouent le même rôle ; on parle dans ce cas d'automorphisme (ou plus géométriquement de symétries).
Le diagramme de Hasse
Les petits ensembles partiellement ordonnés, en particulier les petits polytopes, sont souvent mieux représentés par leur diagramme de Hasse. Par convention, les faces de même rang sont placées au même niveau ; les lignes entre faces représente la relation d'incidence, A < B si A et B sont reliées et si A est un niveau en dessous de B. Cette représentation caractérise complètement le polytope abstrait, ce qui n'est pas le cas de la représentation par le graphe, par exemple.
Rang Le rang d'une face F est défini comme (m − 2), où m est le nombre maximum de faces dans une suite totalement ordonnée de la forme F' < F" < ... < F. F' est toujours la face la plus petite, F−1.
Le rang du polytope abstrait est celui de sa plus grande face Fn.
Les faces de certains rangs ont des noms particuliers : Rang -1 0 1 2 3 ... n - 2 n - 1 n Type Plus petite SommetArête † Cellule Sous-facette ou crête. Facette Plus grande
† Traditionnellement, « face » est utilisée pour une 2-face, d'où l'absence de terme spécifique.
Drapeaux
Un est un sous-ensemble maximal de faces totalement ordonné (une chaîne).
Par exemple, {ø, a, ab, abc} est un drapeau du triangle abc.
Dans un polytope donné, tous les drapeaux ont le même nombre de faces (un de plus que le rang du polytope).
Sections
Dans un polytope abstrait P, étant données deux faces F et H de P avec F ≤ H, l'ensemble {G | F ≤ G ≤ H} est appelé une section de P, et noté H/F (dans le langage de la théorie des ordres, il s'agit d'un intervalle fermé, que l'on note [F, H]).
Par exemple, dans le prisme abcxyz du diagramme ci-contre, la section xyz/ø (marquée en vert) est le triangle
{ø, x, y, z, xy, xz, yz, xyz}.
Une k-section est une section de rang k, c'est-à-dire que k = rang (H) - rang (F).
Un polytope sous-ensemble d'un autre polytope n'en est pas nécessairement une section. Par exemple, le carré abcd est un sous-ensemble du tétraèdre abcd (qui, outre les faces abc, abd, etc. possède les deux arêtes supplémentaires ac et bd), mais n'en est pas une section.
Figures de sommet La figure de sommet en un sommet donné V est la (n−1)-section Fn/V, où Fn est la plus grande face.
Par exemple, dans le triangle abc, la figure de sommet en b, abc/b, est {b, ab, bc, abc}, autrement dit un segment. Les figures de sommet d'un cube sont des triangles.
Connexité Un ensemble partiellement ordonné P est connexe si P est de rang ≤ 1 ou si, étant donné deux faces propres quelconques F et G, il existe une séquence de faces propres
H1, H2,...,Hk
avec F = H1, G = Hk, et pour tout i < k, Hi est incidente à Hi+1.
Cette condition garantit qu'une paire de triangles disjoints abc et xyz n'est pas un polytope. Pour éviter que deux pyramides ayant un sommet en commun soit un polytope, on ajoute la condition de connexité forte : P est fortement connexe si toute section de P est connexe.
Définitions rigoureuses Un polytope abstrait est un ensemble partiellement ordonné, dont les éléments sont appelés faces, satisfaisant aux quatre axiomes suivants : il a un plus grand et plus petit élément ; tous les drapeaux ont le même nombre de faces ; il est fortement connexe ; si les rangs de deux faces a > b diffèrent de 2, il y a exactement 2 faces c et d telles que a > c > b et a > d > b.
Un n-polytope est un polytope de rang n.
Remarques sur les axiomes
Le polytope nul a un seul élément.
L'axiome 3 est équivalent (compte tenu des autres axiomes) à la forte connexité par drapeaux (un analogue de la connexité par arcs), signifie informellement que pour toute section du polytope, on peut passer d'un drapeau à un autre en ne changeant qu'une face à la fois. L'axiome 4 est connu comme la « propriété du losange », en raison de l'aspect du diagramme de Hasse entre a et b.
À partir des axiomes, on peut montrer que chaque section est un polytope, et que rang(G/F) = rang(G) − rang(F) − 1.
D'un point de vue informel, l'axiome 4 signifie que les k-faces sont collées 2 à 2 le long d'une (k–1)-face, et qu'inversement chaque k-face appartient au bord d'exactement deux (k+1)-faces.
Les polytopes les plus simples
Rang < 2 Il y a un seul polytope pour les rangs −1, 0 et 1. Ce sont, respectivement, le polytope nul, le point (ceux-ci ne sont pas toujours considérés comme des polytopes valides) et le segment.
Le segment, outre ses plus petites et plus grandes faces, a exactement deux 0-faces, par exemple S = {ø, a, b, ab}.
Rang 2 : polygones
Pour chaque p, 3 ≤ p < , on obtient l'équivalent abstrait du polygone traditionnel à p sommets et p côtés, le p-gone. Pour p = 3, 4, 5... on obtient le triangle, le carré, le pentagone...
Pour p = 2, on obtient le digone, et pour p = l'apeirogone.
Le digone
Un digone est un polygone à deux arêtes, qui ont les mêmes deux sommets ; il est donc dégénéré dans le plan euclidien (mais on peut le plonger sur le cylindre, par exemple).
La notation par ensembles de sommets comme T = {ø, a, b, c, ab, ac, bc, abc} pour le triangle abc ne peut pas être utilisée pour le digone ; il est nécessaire de donner des noms individuels aux « côtés » et de spécifier les relations d'incidence, par exemple de définir le digone comme l'ensemble {ø, a, b, E', E'', G} avec la relation < donnée par
ø < a, ø < b, a < E', a < E'', b < E', b < E'', E' < G, E'' < G
(E' et E'' sont les 1-faces, et G la 2-face).