Relation inverseIn mathematics, the converse relation, or transpose, of a binary relation is the relation that occurs when the order of the elements is switched in the relation. For example, the converse of the relation 'child of' is the relation 'parent of'. In formal terms, if and are sets and is a relation from to then is the relation defined so that if and only if In set-builder notation, The notation is analogous with that for an inverse function. Although many functions do not have an inverse, every relation does have a unique converse.
Circuit complexityIn theoretical computer science, circuit complexity is a branch of computational complexity theory in which Boolean functions are classified according to the size or depth of the Boolean circuits that compute them. A related notion is the circuit complexity of a recursive language that is decided by a uniform family of circuits (see below). Proving lower bounds on size of Boolean circuits computing explicit Boolean functions is a popular approach to separating complexity classes.
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.
Strong dual spaceIn functional analysis and related areas of mathematics, the strong dual space of a topological vector space (TVS) is the continuous dual space of equipped with the strong (dual) topology or the topology of uniform convergence on bounded subsets of where this topology is denoted by or The coarsest polar topology is called weak topology. The strong dual space plays such an important role in modern functional analysis, that the continuous dual space is usually assumed to have the strong dual topology unless indicated otherwise.
4 21 polytopeDISPLAYTITLE:4 21 polytope In 8-dimensional geometry, the 421 is a semiregular uniform 8-polytope, constructed within the symmetry of the E8 group. It was discovered by Thorold Gosset, published in his 1900 paper. He called it an 8-ic semi-regular figure. Its Coxeter symbol is 421, describing its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of the 4-node sequences, . The rectified 421 is constructed by points at the mid-edges of the 421. The birectified 421 is constructed by points at the triangle face centers of the 421.
Position généraleEn géométrie algébrique et en géométrie algorithmique, une position générale est une notion de pour un ensemble d'objets géométriques (points, droites, courbes, plans, ...). C'est ce qu'on entend quand on parle du cas général, en opposition aux cas particuliers qui peuvent apparaître, auxquels cas on parlera de position spéciale. Cette expression peut changer de sens selon le contexte. Par exemple, deux droites d'un même plan, dans le cas général, se croisent en un point unique, et on dira alors : "deux droites génériques se croisent en un point", ce qui est derrière la notion de point générique.
CentroïdeEn mathématiques, le centre de masse ou centroïde d’un domaine du plan ou de l’espace est un point d’équilibre pour une certaine mesure sur ce domaine. Il correspond au centre pour un cercle ou une sphère, et plus généralement correspond au centre de symétrie lorsque le domaine en possède un. Mais son existence et son unicité sont garanties dès que le domaine est de mesure finie. En géométrie, cette notion est synonyme de barycentre (pour un ensemble fini de points affectés de masses ponctuelles, le centre de masse est le barycentre des points pondérés).
Somme (arithmétique)En mathématiques, la somme de deux nombres est le résultat de leur addition. Les éléments additionnés s’appellent les termes de la somme. Elle se calcule de différentes manières selon le système de numération employé. Du fait de la commutativité et de l'associativité de l'addition, la somme d'un ensemble fini de nombres est bien définie indépendamment de l'ordre dans lequel est faite l'addition, mais il n'existe pas toujours de formule réduite pour l'exprimer.
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.
Verdier dualityIn mathematics, Verdier duality is a cohomological duality in algebraic topology that generalizes Poincaré duality for manifolds. Verdier duality was introduced in 1965 by as an analog for locally compact topological spaces of Alexander Grothendieck's theory of Poincaré duality in étale cohomology for schemes in algebraic geometry. It is thus (together with the said étale theory and for example Grothendieck's coherent duality) one instance of Grothendieck's six operations formalism.
