Symbole de SchläfliEn mathématiques, le symbole de Schläfli est une notation de la forme {p,q,r, ...} qui permet de définir les polyèdres réguliers et les pavages. Cette notation donne un résumé de certaines propriétés importantes d'un polytope régulier particulier. Le symbole de Schläfli fut nommé ainsi en l'honneur du mathématicien du Ludwig Schläfli qui fit d'importantes contributions en géométrie et dans d'autres domaines. Le symbole de Schläfli pour un polygone régulier convexe à n côtés est {n}.
Solide de PlatonEn géométrie euclidienne, un solide de Platon est l’un des cinq polyèdres à la fois réguliers et convexes. En référence au nombre de faces (4, 6, 8, 12 et 20) qui les composent, ils sont nommés couramment tétraèdre (régulier), hexaèdre (régulier) ou cube, octaèdre (régulier), dodécaèdre (régulier) et icosaèdre (régulier), les adjectifs « régulier » et « convexe » étant souvent implicites ou omis quand le contexte le permet. Depuis les mathématiques grecques, les solides de Platon furent un sujet d’étude des géomètres en raison de leur esthétique et de leurs symétries.
Dual d'un polyèdreEn géométrie, il existe plusieurs façons (géométrique, combinatoire) de mettre les polyèdres en dualité : on peut se passer de support géométrique et définir une notion de dualité en termes purement combinatoires, qui s'étend d'ailleurs aux polyèdres et polytopes abstraits. Dans chaque cas, à tout polyèdre est associé un polyèdre appelé dual du premier, tel que : le dual du polyèdre dual est le polyèdre initial, les faces de l'un sont en correspondance avec les sommets de l'autre, en respectant les propriétés d'adjacence.
PolyèdreUn polyèdre est une forme géométrique à trois dimensions (un solide géométrique) ayant des faces planes polygonales qui se rencontrent selon des segments de droite qu'on appelle arêtes. Le mot polyèdre, signifiant à plusieurs faces, provient des racines grecques πολύς (polys), « beaucoup » et ἕδρα (hedra), « base », « siège » ou « face ». Un polyèdre est un solide dont toutes les faces sont des polygones. Les côtés de ces polygones sont appelés arêtes. Les extrémités des arêtes sont des points appelés sommets.
4-polytopeEn géométrie, un 4-polytope (fréquemment appelé également un polychore) est un polytope de l'espace à quatre dimensions. C'est une figure connexe, composée d'un nombre fini de polytopes de dimension inférieure : des sommets, des arêtes, des faces (qui sont des polygones), et des cellules (qui sont des polyèdres), chaque face appartenant à exactement deux cellules. Le 4-polytope le plus connu est le tesseract (ou hypercube), analogue en 4D du cube. La définition des 4-polytopes varie beaucoup selon les auteurs.
SimplexeEn mathématiques, et plus particulièrement en géométrie, un simplexe est une généralisation du triangle à une dimension quelconque. En géométrie, un simplexe ou n-simplexe est l'analogue à n dimensions du triangle. Il doit son nom au fait que c'est l'objet géométrique clos le « plus simple » qui ait n dimensions. Par exemple sur une droite (1 dimension) l'objet le plus simple à 1 dimension est le segment, alors que dans le plan (2 dimensions) l'objet géométrique clos le plus simple à 2 dimensions est le triangle, et dans l'espace (3 dimensions) l'objet géométrique clos le plus simple à 3 dimensions est le tétraèdre (pyramide à base triangulaire).
Tétraèdrethumb|Un tétraèdre. thumb|Paul Sérusier, Tétraèdres, vers 1910. En géométrie, les tétraèdres (du grec tétra : quatre) sont des polyèdres de la famille des pyramides, composés de triangulaires, et . Le 3-simplexe est la représentation abstraite du tétraèdre ; dans ce modèle, les arêtes s'identifient aux 6 sous-ensembles à 2 éléments de l'ensemble des quatre sommets, et les faces aux 4 sous-ensembles à 3 éléments. Chaque sommet d'un tétraèdre est relié à tous les autres par une arête, et de même chaque face est reliée à toutes les autres par une arête.
Polytope abstraitEn 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.
Regular 4-polytopeIn mathematics, a regular 4-polytope is a regular four-dimensional polytope. They are the four-dimensional analogues of the regular polyhedra in three dimensions and the regular polygons in two dimensions. There are six convex and ten star regular 4-polytopes, giving a total of sixteen. The convex regular 4-polytopes were first described by the Swiss mathematician Ludwig Schläfli in the mid-19th century. He discovered that there are precisely six such figures.
HypercubeUn hypercube est, en géométrie, un analogue n-dimensionnel d'un carré (n = 2) et d'un cube (n = 3). C'est une figure fermée, compacte, convexe constituée de groupes de segments parallèles opposés alignés dans chacune des dimensions de l'espace, à angle droit les uns par rapport aux autres. Un hypercube n-dimensionnel est aussi appelé un n-cube. Le terme « polytope de mesure » a aussi été utilisé (notamment par Coxeter), mais il est tombé en désuétude. Enfin, le cas particulier du 4-cube est souvent désigné par le terme de tesseract.
IcosaèdreEn géométrie, un icosaèdre est un solide de dimension 3, de la famille des polyèdres, contenant exactement vingt faces. Le préfixe icosa-, d'origine grecque, signifie « vingt ». Il existe de nombreux polyèdres à vingt faces tels l'icosaèdre régulier convexe (appelé plus simplement icosaèdre si le contexte fait référence aux solides de Platon), l'icosaèdre rhombique, le pseudo-icosaèdre, le grand icosaèdre ou plusieurs solides de Johnson.
Cuboctaèdrethumb|Cuboctaèdre vu comme cube rectifié. thumb|Patron de cuboctaèdre. Un cuboctaèdre est un polyèdre à 14 faces régulières, dont huit sont des triangles équilatéraux et six sont des carrés. Il comporte : 12 sommets identiques, chacun joignant deux triangles et deux carrés opposés deux à deux ; 24 arêtes identiques, chacune commune à un triangle et à un carré. Il s'agit donc d'un polyèdre quasi-régulier, c’est-à-dire un solide d'Archimède (uniformité des sommets) avec en plus, une uniformité des arêtes.
Convex polytopeA convex polytope is a special case of a polytope, having the additional property that it is also a convex set contained in the -dimensional Euclidean space . Most texts use the term "polytope" for a bounded convex polytope, and the word "polyhedron" for the more general, possibly unbounded object. Others (including this article) allow polytopes to be unbounded. The terms "bounded/unbounded convex polytope" will be used below whenever the boundedness is critical to the discussed issue.
Caractéristique d'EulerEn mathématiques, et plus précisément en géométrie et en topologie algébrique, la caractéristique d'Euler — ou d'Euler-Poincaré — est un invariant numérique, un nombre qui décrit un aspect d'une forme d'un espace topologique ou de la structure de cet espace. Elle est communément notée χ. La caractéristique d'Euler fut définie à l'origine pour les polyèdres et fut utilisée pour démontrer divers théorèmes les concernant, incluant la classification des solides de Platon.
Polytope régulierdroite|vignette|Le dodécaèdre régulier, un des cinq solides platoniciens. En mathématiques, plus précisément en géométrie ou encore en géométrie euclidienne, un polytope régulier est une figure de géométrie présentant un grand nombre de symétries. En dimension deux, on trouve par exemple le triangle équilatéral, le carré, les pentagone et hexagone réguliers, etc. En dimension trois se rangent parmi les polytopes réguliers le cube, le dodécaèdre régulier (ci-contre), tous les solides platoniciens.
Figure isogonaleEn géométrie, un polytope (un polygone ou un polyèdre, par exemple) est dit isogonal si tous ses sommets sont identiques. Autrement dit, chaque sommet est entouré du même type de face dans le même ordre et avec les mêmes angles entre les faces correspondantes. Plus précisément : le groupe de symétrie du polytope agit transitivement sur l'ensemble des sommets. thumb|Un octogone isogonal convexe et ses quatre axes de symétrie. Tous les polygones réguliers, qu'ils soient convexes ou étoilés, sont isogonaux.
Figure de sommetEn géométrie, une figure de sommet d'un sommet donné d'un polytope est, de façon intuitive, l'ensemble des points directement reliés à ce sommet par une arête. Ceci s’applique également aux pavages infinis, ou pavages remplissant l’espace avec des cellules polytopiques. De façon plus précise, une figure de sommet pour un n-polytope est un (n-1)-polytope. Ainsi, une figure de sommet pour un polyèdre est une figure polygonale, et la figure de sommet pour un polychore est une figure polyèdrique.
Face (géométrie)vignette|Un cube : les surfaces en rouge sont les faces du cube. Chaque sommet est entouré par trois faces. En géométrie, les faces d'un polyèdre sont les polygones qui le bordent. Par exemple, un cube possède six faces qui sont des carrés. Le suffixe èdre (dans polyèdre) est dérivé du grec hedra, qui signifie face. Par extension, les faces d'un polytope de dimension n sont tous les polytopes de dimension strictement inférieure à n qui le bordent (et pas seulement ceux de dimension n-1).
Pavage du planthumb|Pavage constitué de triangles équilatéraux et d'hexagones, dit pavage trihexagonal. thumb|Pavage hexagonal de tomettes provençales en terre cuite. Un pavage du plan est un ensemble de portions du plan, par exemple des polygones, dont l'union est le plan tout entier, sans recouvrement. Plus précisément, c'est une partition du plan euclidien par des éléments d'un ensemble fini, appelés « carreaux » (plus précisément, ce sont des compacts d’intérieur non vide).
Diagramme de Coxeter-DynkinEn géométrie, un diagramme de Coxeter-Dynkin est un graphe représentant un ensemble relationnel de miroirs (ou d'hyperplans de réflexion) dans l'espace pour une construction kaléidoscopique. En tant que graphe lui-même, le diagramme représente les groupes de Coxeter, chaque nœud du graphe représente un miroir (facette du domaine) et chaque branche du graphe représente l'ordre de l'angle diédral entre deux miroirs (sur une arête du domaine). En plus, les graphes ont des anneaux (cercles) autour des nœuds pour les miroirs actifs représentant un polytope précis.
