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.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Ensemble convexeUn objet géométrique est dit convexe lorsque, chaque fois qu'on y prend deux points et , le segment qui les joint y est entièrement contenu. Ainsi un cube plein, un disque ou une boule sont convexes, mais un objet creux ou bosselé ne l'est pas. On suppose travailler dans un contexte où le segment reliant deux points quelconques et a un sens (par exemple dans un espace affine sur R — en particulier dans un espace affine sur C — ou dans un ).
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.
Sphère médianevignette| Un polyèdre et sa sphère médiane en bleu. Les cercles rouges sont les limites des calottes sphériques dans lesquelles la surface de la sphère est visible depuis chaque sommet. vignette|Cube et son octaèdre dual avec sphère médiane commune. En géométrie, la sphère médiane ou intersphère d'un polyèdre est une sphère qui est tangente à chaque arête du polyèdre, c'est-à-dire qu'elle touche chacune des arêtes en exactement un point.
Matroid oracleIn mathematics and computer science, a matroid oracle is a subroutine through which an algorithm may access a matroid, an abstract combinatorial structure that can be used to describe the linear dependencies between vectors in a vector space or the spanning trees of a graph, among other applications. The most commonly used oracle of this type is an independence oracle, a subroutine for testing whether a set of matroid elements is independent.
Steinitz's theoremIn polyhedral combinatorics, a branch of mathematics, Steinitz's theorem is a characterization of the undirected graphs formed by the edges and vertices of three-dimensional convex polyhedra: they are exactly the 3-vertex-connected planar graphs. That is, every convex polyhedron forms a 3-connected planar graph, and every 3-connected planar graph can be represented as the graph of a convex polyhedron. For this reason, the 3-connected planar graphs are also known as polyhedral graphs.
PolygoneUn polygone, en géométrie euclidienne, est une figure géométrique plane formée d'une ligne brisée (appelée aussi ligne polygonale) fermée, c'est-à-dire d'une suite cyclique de segments consécutifs. Les segments sont appelés bords ou côtés et les extrémités des côtés sont appelés sommets ou coins du polygone. Un polygone est dit croisé si au moins deux côtés non consécutifs sont sécants, et simple si l'intersection de deux côtés est vide ou réduite à un sommet pour deux côtés consécutifs.
Courbe de largeur constanteEn géométrie, une courbe de largeur constante est une courbe plane fermée dont la largeur, mesurée par la distance entre deux droites parallèles opposées qui lui sont tangentes, est la même quelle que soit l'orientation de ces droites. Soit une courbe plane fermée. Pour une direction donnée, on peut définir deux droites parallèles (appelées « lignes d'appui ») qui lui sont tangentes en deux points distincts. La courbe est dite de largeur constante si la distance entre les lignes d'appui est indépendante de leur direction.
Cas dégénéréEn mathématiques, un cas dégénéré peut consister en un objet dont la définition fait apparaître des éléments redondants ou superflus, se ramenant parfois à une définition plus simple. Il peut aussi être vu comme un cas particulier d'une construction générale, ne satisfaisant pas une certaine propriété générique, notamment si ces cas sont rares dans un sens topologique ou en théorie de la mesure.
