En géométrie, la stellation est un procédé de construction de nouveaux polygones (en deux dimensions), de nouveaux polyèdres en trois dimensions, ou, en général, de nouveaux polytopes en n dimensions. Le procédé consiste à étendre des éléments tels que les arêtes ou les faces planes, généralement de manière symétrique, jusqu'à ce que chacun d'entre eux se rejoignent de nouveau. La nouvelle figure est une stellation de l'original.
En 1619, Kepler a défini la stellation pour les polygones et les polyèdres, comme le procédé d'extension des arêtes ou des faces jusqu'à ce qu'elles se rencontrent pour former un nouveau polygone ou un nouveau polyèdre. Il étoila ainsi le dodécaèdre pour obtenir deux des polyèdres étoilés réguliers (deux des quatre solides de Kepler-Poinsot).
La stellation des polyèdres conduit aux polyèdres étoilés. Les faces planes d'un polyèdre divisent l'espace en beaucoup de cellules discrètes. Pour un polyèdre symétrique, ces cellules formeront des groupes, ou ensembles, de cellules conformes - nous disons que les cellules dans de tels ensembles conformes sont de même type. Une méthode commune pour trouver des stellation implique la selection d'un ou plusieurs types de cellules.
Ceci peut conduire à un nombre énorme de formes possibles, donc, des critères plus poussés sont souvent imposés pour réduire l'ensemble de ces stellations pour que cela soit significatif et unique d'une certaine manière.
Un nombre de cellules formant une couche fermée autour de son noyau est appelée une coquille. Pour un polyèdre symétrique, une coquille peut être composée d'un ou plusieurs types de cellules.
Basées sur de telles idées, plusieurs catégories restrictives intéressantes ont été identifiées.
Nous pouvons aussi identifier d'autres catégories :
Les solides d'Archimède et leurs duaux peuvent aussi être étoilés. Ici, nous ajoutons généralement la règle suivante : le caractère plan de toutes les faces originales doit être présent dans la stellation, i.e. nous ne devons pas considérer les stellations partielles. Par exemple le cube n'est pas considéré comme une stellation du cuboctaèdre. Il existe :
Dix-sept des polyèdres uniformes non-convexes sont des stellations de solides d'Archimède.
Avec les règles de Miller, nous trouvons :
Beaucoup de "stellations de Miller" ne peuvent pas être obtenues directement en utilisant la méthode de Kepler. Par exemple, beaucoup ont des centres creux où les faces originales et les arêtes du polyèdre noyau sont entièrement manquant : il n'y a rien de laissé qui puisse être étoilé. Cette anomalie n'a pas retenu l'attention jusqu'à Inchbald (2002).
Les règles de Miller ne représentent nullement la manière "correcte" pour énumérer les stellations. Elles sont basées sur la combinaison de parties dans le diagramme de stellation dans certaines manières, et ne tiennent pas compte de la topologie des faces résultantes. Comme tel, il existe certaines stellations tout à fait raisonnables de l'icosaèdre qui ne font pas partie de leur liste - l'une d'entre elle fut identifiée par James Bridge en 1974, tandis que certaines "stellations de Miller" sont criticables quant à savoir si elle doivent être regardées comme des stellations - un des ensemble icosaèdrique comprend plusieurs cellules tout à fait déconnectées flottant symétriquement dans l'espace.
Jusqu'ici, un ensemble alternatif de règles qui prend cela en compte n'a pas été pleinement développé. La plupart des progrès réalisés sont basés sur la notion énonçant que la stellation est le procédé réciproque du facettage, par lequel des parties peuvent être enlevées du polyèdre sans créer de nouveaux sommets. Pour chaque stellation d'un certain polyèdre, il existe un facettage dual d'un polyèdre dual, et vice-versa. En étudiant les facettages d'un dual, nous gagnons en perspicacité dans les stellations de l'original. Bridge trouva sa nouvelle stellation de l'icosaèdre en étudiant les facettages de son dual, le dodécaèdre.
Certains polyèdristes adopte le point de vue que la stellation est un procédé à deux sens, tel que deux polyèdres quelconques partageant les mêmes faces planes sont des stellations l'un de l'autre. Ceci est compréhensible si on conçoit un algorithme général approprié pour être utilisé dans un programme informatique, mais qui n'est pas autrement d'un grand secours particulier.
Beaucoup d'exemples de stellations peuvent être trouvés dans la liste des modèles de stellations de Wenninger.