Moduli schemeIn mathematics, a moduli scheme is a moduli space that exists in the developed by Alexander Grothendieck. Some important moduli problems of algebraic geometry can be satisfactorily solved by means of scheme theory alone, while others require some extension of the 'geometric object' concept (algebraic spaces, algebraic stacks of Michael Artin). Work of Grothendieck and David Mumford (see geometric invariant theory) opened up this area in the early 1960s.
Quantification (logique)vignette|Symboles mathématiques des deux quantificateurs logiques les plus courants.|236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs). La quantification universelle (« pour tout ... » ou « quel que soit ... ») se dénote par le symbole ∀ (un A à l'envers).
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.
Séparation des convexesÉtant donnés deux convexes d'un même plan ne se rencontrant pas, il est toujours possible de subdiviser le plan en deux demi-plans de sorte que chacun contienne entièrement l'un des convexes. Il en est de même en dimension 3, la séparation des convexes étant alors réalisée par un plan. Plus généralement, on peut en faire autant en dimension finie quelconque à l'aide d'un hyperplan.
Auxiliary normed spaceIn functional analysis, two methods of constructing normed spaces from disks were systematically employed by Alexander Grothendieck to define nuclear operators and nuclear spaces. One method is used if the disk is bounded: in this case, the auxiliary normed space is with norm The other method is used if the disk is absorbing: in this case, the auxiliary normed space is the quotient space If the disk is both bounded and absorbing then the two auxiliary normed spaces are canonically isomorphic (as topological vector spaces and as normed spaces).
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.
Frontière (topologie)En topologie, la frontière d'un ensemble (aussi appelé parfois "le bord d'un ensemble") est constituée des points qui, de façon intuitive, sont « situés au bord » de cet ensemble, c’est-à-dire qui peuvent être « approchés » à la fois par l'intérieur et l'extérieur de cet ensemble. Soit S un sous-ensemble d'un espace topologique (E, T).
Calcul du volume de l'hypersphèreLa démonstration mathématique suivante pour le calcul du volume de l'hypersphère dépend des définitions précises de la sphère et de la boule. Le volume intérieur d'une sphère est le volume de la boule délimitée par la sphère. Nous intégrerons en coordonnées cartésiennes orthonormales dans l'espace euclidien. Notons le volume de la boule de rayon r en dimension n ≥ 1. Alors : parce que c'est la longueur d'un segment deux fois plus long que le rayon, i.e. La sphère de dimension 0 qui borde cette boule est constituée des deux points r et –r.
Boule (topologie)En topologie, une boule est un type de voisinage particulier dans un espace métrique. Le nom évoque, à juste titre, la boule solide dans l'espace usuel à trois dimensions, mais la notion se généralise entre autres à des espaces de dimension plus grande (ou plus petite) ou encore de norme non euclidienne. Dans ce cas, une boule peut ne pas être « ronde » au sens usuel du terme.
Linear separabilityIn Euclidean geometry, linear separability is a property of two sets of points. This is most easily visualized in two dimensions (the Euclidean plane) by thinking of one set of points as being colored blue and the other set of points as being colored red. These two sets are linearly separable if there exists at least one line in the plane with all of the blue points on one side of the line and all the red points on the other side. This idea immediately generalizes to higher-dimensional Euclidean spaces if the line is replaced by a hyperplane.
