Ensemble videvignette|Notation de l'ensemble vide. En mathématiques, l'ensemble vide est l'ensemble ne contenant aucun élément. L'ensemble vide peut être noté d'un O barré, à savoir ∅ ou simplement { }, qui est une paire d'accolades ne contenant qu'une espace, pour représenter un ensemble qui ne contient rien. La notation ∅ a été introduite par André Weil, dans le cadre de l'institution de notations par le groupe Bourbaki. Von Neumann dans son article de 1923, qui est l'une des premières références qui l'aborde, le note O.
Filtered algebraIn mathematics, a filtered algebra is a generalization of the notion of a graded algebra. Examples appear in many branches of mathematics, especially in homological algebra and representation theory. A filtered algebra over the field is an algebra over that has an increasing sequence of subspaces of such that and that is compatible with the multiplication in the following sense: In general there is the following construction that produces a graded algebra out of a filtered algebra.
Cap-produitEn mathématiques, et plus particulièrement en topologie algébrique, le cap-produit est une opération binaire qui permet d'assembler des chaînes et des cochaînes. Elle a été introduite par Eduard Čech en 1936 et indépendamment par Hassler Whitney en 1938. Soit X un espace topologique et A un anneau. Le cap-produit est une application bilinéaire définie sur les chaines et les cochaines singulières en posant avec et et où est la restriction de l'application simpliciale à la face engendrée par les vecteurs .
Théorie de l'obstructionEn mathématiques, la théorie de l'obstruction est le nom donné en fait à plusieurs théories topologiques distinctes dont le but est de déterminer des invariants cohomologiques. Le sens le plus ancien donné à l'expression « théorie de l'obstruction » est, en topologie algébrique, et plus précisément en théorie de l'homotopie, celui d'une procédure, définie par récurrence sur la dimension, permettant de prolonger une application continue définie sur un complexe simplicial, ou sur un CW-complexe.
Size functionSize functions are shape descriptors, in a geometrical/topological sense. They are functions from the half-plane to the natural numbers, counting certain connected components of a topological space. They are used in pattern recognition and topology. In size theory, the size function associated with the size pair is defined in the following way.
Algèbre de HopfEn mathématiques, une algèbre de Hopf, du nom du mathématicien Heinz Hopf, est une bialgèbre qui possède en plus une opération (l'antipode) qui généralise la notion de passage à l'inverse dans un groupe. Ces algèbres ont été introduites à l'origine pour étudier la cohomologie des groupes de Lie. Les algèbres de Hopf interviennent également en topologie algébrique, en théorie des groupes et dans bien d'autres domaines. Enfin, ce qu'on appelle les groupes quantiques sont souvent des algèbres de Hopf « déformées » et qui ne sont en général ni commutatives, ni cocommutatives.
Associated graded ringIn mathematics, the associated graded ring of a ring R with respect to a proper ideal I is the graded ring: Similarly, if M is a left R-module, then the associated graded module is the graded module over : For a ring R and ideal I, multiplication in is defined as follows: First, consider homogeneous elements and and suppose is a representative of a and is a representative of b. Then define to be the equivalence class of in . Note that this is well-defined modulo . Multiplication of inhomogeneous elements is defined by using the distributive property.
Algèbre des termesEn logique mathématique, l'algèbre des termes est la structure algébrique libre sur une signature. Si la signature ne contient qu'un symbole de fonction binaire f, alors l'algèbre des termes sur un ensemble de variables X est exactement le magma libre sur X. Si x, y, z sont des variables de X, cette algèbre des termes contient les éléments suivants : x, y, z, f(x, x), f(x, f(x, y)), f(f(f(y, f(x), f(z, z)), y, x), etc. Le problème de décision associé à l'algèbre des termes est décidable et non élémentaire.
Cohomologie cristallineLa cohomologie cristalline est une cohomologie de Weil pour les schémas, introduite par Alexander Grothendieck en 1966 et développée par Pierre Berthelot. Elle étend le domaine d'application de la cohomologie étale en considérant les modules sur les anneaux de vecteurs de Witt sur le corps de base. Conjectures de Weil Dans l'étude des variétés différentiables compactes, la formule de Lefschetz permet de calculer le nombre de points fixes d'un morphisme de la variété dans elle-même.
Differential graded moduleIn algebra, a differential graded module, or dg-module, is a -graded module together with a differential; i.e., a square-zero graded endomorphism of the module of degree 1 or −1, depending on the convention. In other words, it is a chain complex having a structure of a module, while a differential graded algebra is a chain complex with a structure of an algebra. In view of the module-variant of Dold–Kan correspondence, the notion of an -graded dg-module is equivalent to that of a simplicial module; "equivalent" in the sense; see below.
