PolytopeUn polytope est un objet mathématique géométrique. Le terme de polytope a été inventé par Alicia Boole Stott, la fille du logicien George Boole. Le terme polytope admet plusieurs définitions au sein des mathématiques. Principalement car les usages diffèrent en quelques points selon les pays, mais l'usage américain ayant tendance à s'imposer, on se retrouve confronté avec des usages contradictoires au sein d'un même pays.
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.
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.
5-polytopeIn geometry, a five-dimensional polytope (or 5-polytope) is a polytope in five-dimensional space, bounded by (4-polytope) facets, pairs of which share a polyhedral cell. A 5-polytope is a closed five-dimensional figure with vertices, edges, faces, and cells, and 4-faces. A vertex is a point where five or more edges meet. An edge is a line segment where four or more faces meet, and a face is a polygon where three or more cells meet. A cell is a polyhedron, and a 4-face is a 4-polytope.
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.
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.
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.
Integral polytopeIn geometry and polyhedral combinatorics, an integral polytope is a convex polytope whose vertices all have integer Cartesian coordinates. That is, it is a polytope that equals the convex hull of its integer points. Integral polytopes are also called lattice polytopes or Z-polytopes. The special cases of two- and three-dimensional integral polytopes may be called polygons or polyhedra instead of polytopes, respectively. An -dimensional regular simplex can be represented as an integer polytope in , the convex hull of the integer points for which one coordinate is one and the rest are zero.
6-polytopeIn six-dimensional geometry, a six-dimensional polytope or 6-polytope is a polytope, bounded by 5-polytope facets. A 6-polytope is a closed six-dimensional figure with vertices, edges, faces, cells (3-faces), 4-faces, and 5-faces. A vertex is a point where six or more edges meet. An edge is a line segment where four or more faces meet, and a face is a polygon where three or more cells meet. A cell is a polyhedron. A 4-face is a polychoron, and a 5-face is a 5-polytope.
4-polytope uniformethumb|upright=1.5|alt=Représentation du 120-cellules rectifié selon son diagramme de Schlegel|Diagramme de Schlegel du 120-cellules rectifié. Un 4-polytope uniforme est, en géométrie, un 4-polytope isogonal dont les cellules sont des polyèdres uniformes. Il s'agit de l'équivalent de ces derniers en dimension 4.
Semiregular polytopeIn geometry, by Thorold Gosset's definition a semiregular polytope is usually taken to be a polytope that is vertex-transitive and has all its facets being regular polytopes. E.L. Elte compiled a longer list in 1912 as The Semiregular Polytopes of the Hyperspaces which included a wider definition. In three-dimensional space and below, the terms semiregular polytope and uniform polytope have identical meanings, because all uniform polygons must be regular.
Espace de Minkowskithumb|Représentation schématique de l'espace de Minkowski, qui montre seulement deux des trois dimensions spatiales. En géométrie et en relativité restreinte, l'espace de Minkowski du nom de son inventeur Hermann Minkowski, appelé aussi l'espace-temps de Minkowski ou parfois l'espace-temps de Poincaré-Minkowski, est un espace mathématique, et plus précisément un espace affine pseudo-euclidien à quatre dimensions, modélisant l'espace-temps de la relativité restreinte : les propriétés géométriques de cet espace correspondent à des propriétés physiques présentes dans cette théorie.
Somme de MinkowskiEn géométrie, la somme de Minkowski est une opération sur les parties d'un espace vectoriel. À deux parties A et B elle associe leur ensemble somme, formé des sommes d'un élément de A et d'un élément de B : La somme de deux compacts est compacte. Il est ainsi possible de restreindre l'opération à cet ensemble, qui peut être muni d'une distance, dite de Hausdorff. La somme de Minkowski est alors une opération continue. De plus elle respecte les convexes, c'est-à-dire que la somme de deux convexes est encore convexe.
Regular PolytopesRegular Polytopes est un livre de mathématiques écrit par le mathématicien canadien Harold Scott MacDonald Coxeter. Initialement publié en 1947, le livre a été mis à jour et réédité en 1963 et 1973. Le livre est une étude complète de la géométrie des polytopes réguliers, c'est-à-dire les polygones et polyèdres réguliers ainsi que leurs généralisations aux dimensions supérieures. Provenant d'un essai intitulé L'Analogie dimensionnelle écrit en 1923, la première édition du livre a pris à Coxeter vingt-quatre ans.
ConjectureEn mathématiques, une conjecture est une assertion pour laquelle on ne connaît pas encore de démonstration, mais que l'on croit fortement être vraie (en l'absence de contre-exemple, ou comme généralisation de résultats démontrés). Une conjecture peut être choisie comme hypothèse ou postulat pour étudier d'autres énoncés. Si une conjecture se révèle indécidable relativement au système d'axiomes dans laquelle elle s'insère, elle peut être érigée en nouvel axiome (ou rejetée par la mise en place d'un nouvel axiome).
Hermann MinkowskiHermann Minkowski, né à Alexotas (alors en Russie, dans le Gouvernement de Suwałki, et aujourd'hui en Lituanie) le et mort à Göttingen le , est un mathématicien et un physicien théoricien allemand. Hermann Minkowski naît le à Alexotas près de Kaunas dans une famille juive. Il est le cadet des trois enfants de Lewin Minkowski et de son épouse Rachel, née Raubmann. En , les Minkowski quittent Alexotas pour Königsberg. Minkowski y passe le reste de son enfance.
Enveloppe convexeL'enveloppe convexe d'un objet ou d'un regroupement d'objets géométriques est l'ensemble convexe le plus petit parmi ceux qui le contiennent. Dans un plan, l'enveloppe convexe peut être comparée à la région limitée par un élastique qui englobe tous les points qu'on relâche jusqu'à ce qu'il se contracte au maximum. L'idée serait la même dans l'espace avec un ballon qui se dégonflerait jusqu'à être en contact avec tous les points qui sont à la surface de l'enveloppe convexe.
Équation de Fermat généraliséeEn arithmétique, l'équation de Fermat généralisée est l'équationoù sont des entiers non nuls, sont des entiers non nuls premiers entre eux et sont entiers. Comme son nom le laisse transparaître, cette équation généralise l'équation dont le fameux dernier théorème de Fermat établit l'impossibilité quand . À l'instar de celui-ci avant sa résolution, son principal intérêt réside aujourd'hui dans la stimulation du développement des nouveaux outils mathématiques nécessaires à son appréhension.
Conjecture de CramérEn mathématiques, la conjecture de Cramér, formulée par le mathématicien suédois Harald Cramér en 1936, pronostique l'asymptotique suivante pour l'écart entre nombres premiers : où gn est le n-ième écart, pn est le n-ième nombre premier et désigne le symbole de Bachmann-Landau ; cette conjecture n'est pas démontrée à ce jour. Cramér avait auparavant, en 1920, démontré un énoncé plus faible : sous l'hypothèse de Riemann (qui elle-même n'est pas démontrée non plus).
Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
