Semialgebraic setIn mathematics, a semialgebraic set is a finite union of sets defined by polynomial equalities and polynomial inequalities. A semialgebraic function is a function with a semialgebraic graph. Such sets and functions are mainly studied in real algebraic geometry which is the appropriate framework for algebraic geometry over the real numbers. Let be a real closed field. (For example could be the field of real numbers .
IsomorphismeEn mathématiques, un isomorphisme entre deux ensembles structurés est une application bijective qui préserve la structure, et dont la réciproque préserve aussi la structure. Plus généralement, en théorie des catégories, un isomorphisme entre deux objets est un morphisme admettant un « morphisme inverse ». Par exemple, sur l'intervalle des valeurs ... peuvent être remplacées par leur logarithme ..., et les relations d'ordre entre elles seront conservées. On peut à tout moment retrouver les valeurs et en prenant les exponentielles de et .
Coherent sheafIn mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a class of sheaves closely linked to the geometric properties of the underlying space. The definition of coherent sheaves is made with reference to a sheaf of rings that codifies this geometric information. Coherent sheaves can be seen as a generalization of vector bundles. Unlike vector bundles, they form an , and so they are closed under operations such as taking , , and cokernels.
Toric varietyIn algebraic geometry, a toric variety or torus embedding is an algebraic variety containing an algebraic torus as an open dense subset, such that the action of the torus on itself extends to the whole variety. Some authors also require it to be normal. Toric varieties form an important and rich class of examples in algebraic geometry, which often provide a testing ground for theorems. The geometry of a toric variety is fully determined by the combinatorics of its associated fan, which often makes computations far more tractable.
Morphisme zéroDans la théorie des catégories, une branche des mathématiques, un morphisme zéro est un type spécial de morphisme présentant certaines propriétés comme celles des morphismes vers et depuis un objet zéro . Supposons que C soit une catégorie, et f : X → Y un morphisme de la catégorie C. Le morphisme f est appelé morphisme constant (ou encore morphisme zéro à gauche) si pour tout objet W de la catégorie C et tout morphisme de cette catégorie , on a fg = fh.
HypersurfaceEn géométrie, une hypersurface est une généralisation du concept d'hyperplan, de courbe plane et de surface. Une hypersurface est une variété de dimension N - 1, qui est intégrée dans un espace de dimension N, généralement un espace euclidien ou un espace affine. Dans une espace de dimension 3, une hypersurface est une surface Dans une espace de dimension 2, une hypersurface est une ligne Une hypersurface est souvent définie par une seule équation du type f(x1,x2,...xN)=0.
Algèbre graduéevignette|Un organigramme de diverses structures algébriques et leurs relations les unes avec les autres. En mathématiques, en algèbre linéaire, on appelle algèbre graduée une algèbre dotée d'une structure supplémentaire, appelée graduation. Soit A une algèbre sur un corps (ou plus généralement sur un anneau) K. Une graduation sur A est la donnée d’une famille de sous-espaces vectoriels de A vérifiant : c'est-à-dire que . L’algèbre A est alors dite graduée (parfois N-graduée, comme cas particulier de la notion d'algèbre M-graduée pour un monoïde M).
Real algebraic geometryIn mathematics, real algebraic geometry is the sub-branch of algebraic geometry studying real algebraic sets, i.e. real-number solutions to algebraic equations with real-number coefficients, and mappings between them (in particular real polynomial mappings). Semialgebraic geometry is the study of semialgebraic sets, i.e. real-number solutions to algebraic inequalities with-real number coefficients, and mappings between them. The most natural mappings between semialgebraic sets are semialgebraic mappings, i.
Théorèmes d'isomorphismeEn mathématiques, les trois théorèmes d'isomorphisme fournissent l'existence d'isomorphismes dans le cadre de la théorie des groupes. Ces trois théorèmes d'isomorphisme sont généralisables à d'autres structures que les groupes. Voir notamment « Anneau quotient », « Algèbre universelle » et « Groupe à opérateurs ». Le premier théorème d'isomorphisme affirme qu'étant donné un morphisme de groupes , on peut rendre injectif en quotientant par son noyau Ker f, qui est un sous-groupe normal de G.
Quaternionic projective spaceIn mathematics, quaternionic projective space is an extension of the ideas of real projective space and complex projective space, to the case where coordinates lie in the ring of quaternions Quaternionic projective space of dimension n is usually denoted by and is a closed manifold of (real) dimension 4n. It is a homogeneous space for a Lie group action, in more than one way. The quaternionic projective line is homeomorphic to the 4-sphere. Its direct construction is as a special case of the projective space over a division algebra.
Homogeneous coordinate ringIn algebraic geometry, the homogeneous coordinate ring R of an algebraic variety V given as a subvariety of projective space of a given dimension N is by definition the quotient ring R = K[X0, X1, X2, ..., XN] / I where I is the homogeneous ideal defining V, K is the algebraically closed field over which V is defined, and K[X0, X1, X2, ..., XN] is the polynomial ring in N + 1 variables Xi. The polynomial ring is therefore the homogeneous coordinate ring of the projective space itself, and the variables are the homogeneous coordinates, for a given choice of basis (in the vector space underlying the projective space).
Projective bundleIn mathematics, a projective bundle is a fiber bundle whose fibers are projective spaces. By definition, a scheme X over a Noetherian scheme S is a Pn-bundle if it is locally a projective n-space; i.e., and transition automorphisms are linear. Over a regular scheme S such as a smooth variety, every projective bundle is of the form for some vector bundle (locally free sheaf) E. Every vector bundle over a variety X gives a projective bundle by taking the projective spaces of the fibers, but not all projective bundles arise in this way: there is an obstruction in the cohomology group H2(X,O*).
