FibréEn mathématiques, un espace fibré est, intuitivement, un espace topologique qui est localement le produit de deux espaces — appelés la base et la fibre — mais en général pas globalement. Par exemple, le ruban de Möbius est un fibré de base un cercle et de fibre un segment de droite : il ressemble localement au produit d'un cercle par un segment, mais pas globalement comme le cylindre Plus précisément, l'espace total du fibré est muni d'une projection continue sur la base, telle que la de chaque point soit homéomorphe à la fibre.
Variété différentielleEn mathématiques, les variétés différentielles ou variétés différentiables sont les objets de base de la topologie différentielle et de la géométrie différentielle. Il s'agit de variétés, « espaces courbes » localement modelés sur l'espace euclidien de dimension n, sur lesquelles il est possible de généraliser une bonne part des opérations du calcul différentiel et intégral. Une variété différentielle se définit donc d'abord par la donnée d'une variété topologique, espace topologique localement homéomorphe à l'espace R.
Schéma (géométrie algébrique)En mathématiques, les schémas sont les objets de base de la géométrie algébrique, généralisant la notion de variété algébrique de plusieurs façons, telles que la prise en compte des multiplicités, l'unicité des points génériques et le fait d'autoriser des équations à coefficients dans un anneau commutatif quelconque.
Faisceau (mathématiques)En mathématiques, un faisceau est un outil permettant de suivre systématiquement des données définies localement et rattachées aux ouverts d'un espace topologique. Les données peuvent être restreintes à des ouverts plus petits, et les données correspondantes à un ouvert sont équivalentes à l'ensemble des données compatibles correspondantes aux ouverts plus petits couvrant l'ouvert d'origine. Par exemple, de telles données peuvent consister en des anneaux de fonctions réelles continues ou lisses définies sur chaque ouvert.
Fibré tangentEn mathématiques, et plus précisément en géométrie différentielle, le fibré tangent TM associé à une variété différentielle M est la somme disjointe de tous les espaces tangents en tous les points de la variété, soit : où est l'espace tangent de M en x. Un élément de TM est donc un couple (x, v) constitué d'un point x de M et d'un vecteur v tangent à M en x. Le fibré tangent peut être muni d'une topologie découlant naturellement de celle de M.
Variété (géométrie)En mathématiques, et plus particulièrement en géométrie, la notion de variété peut être appréhendée intuitivement comme la généralisation de la classification qui établit qu'une courbe est une variété de dimension 1 et une surface est une variété de dimension 2. Une variété de dimension n, où n désigne un entier naturel, est un espace topologique localement euclidien, c'est-à-dire dans lequel tout point appartient à une région qui s'apparente à un tel espace.
Fibré cotangentEn géométrie différentielle, le fibré cotangent associé à une variété différentielle M est le fibré vectoriel T*M de son fibré tangent TM : en tout point m de M, l' est défini comme l'espace dual de l'espace tangent : Les sections lisses du fibré cotangent sont les 1-formes différentielles, l'une d'entre elles étant remarquable et appelée 1-forme tautologique (ou 1-forme de Poincaré, ou 1-forme de Liouville, ou 1-forme canonique, ou potentiel symplectique). Sa dérivée extérieure donne une 2-forme symplectique canonique.
Section d'un fibréEn topologie, une section d'un fibré sur un espace topologique est une fonction continue telle que pour tout point de . Toute section est injective. Une section est une généralisation de la notion de graphe d'une fonction. Le graphe d'une fonction g : X → Y peut être identifié à une fonction prenant ses valeurs dans le produit cartésien E = X×Y de X et Y: Une section est une caractérisation abstraite de ce qu'est un graphe. Soit π : E → X la projection sur le premier facteur du produit cartésien: π(x,y) = x.
Foncteur adjointL'adjonction est une situation omniprésente en mathématiques, et formalisée en théorie des catégories par la notion de foncteurs adjoints. Une adjonction entre deux catégories et est une paire de deux foncteurs et vérifiant que, pour tout objet X dans C et Y dans D, il existe une bijection entre les ensembles de morphismes correspondants et la famille de bijections est naturelle en X et Y. On dit que F et G sont des foncteurs adjoints et plus précisément, que F est « adjoint à gauche de G » ou que G est « adjoint à droite de F ».
Espace affineEn géométrie, la notion d'espace affine généralise la notion d'espace issue de la géométrie euclidienne en omettant les notions d'angle et de distance. Dans un espace affine, on peut parler d'alignement, de parallélisme, de barycentre. Sous la forme qui utilise des rapports de mesures algébriques, qui est une notion affine, le théorème de Thalès et le théorème de Ceva sont des exemples de théorèmes de géométrie affine plane réelle (c'est-à-dire n'utilisant que la structure d'espace affine du plan réel).
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.
Algèbre extérieureEn mathématiques, et plus précisément en algèbre et en analyse vectorielle, l'algèbre extérieure d'un espace vectoriel E est une algèbre associative graduée, notée . La multiplication entre deux éléments a et b est appelée le produit extérieur et est notée . Le carré de tout élément de E est zéro (), on dit que la multiplication est alternée, ce qui entraîne que pour deux éléments de E : (la loi est « anti-commutative »). L'algèbre extérieure est aussi appelée algèbre de Grassmann nommée ainsi en l'honneur de Hermann Grassmann.
Géométrie différentiellevignette|Exemple d'objets étudiés en géométrie différentielle. Un triangle dans une surface de type selle de cheval (un paraboloïde hyperbolique), ainsi que deux droites parallèles. En mathématiques, la géométrie différentielle est l'application des outils du calcul différentiel à l'étude de la géométrie. Les objets d'étude de base sont les variétés différentielles, ensembles ayant une régularité suffisante pour envisager la notion de dérivation, et les fonctions définies sur ces variétés.
Classe caractéristiqueUne classe caractéristique est un objet mathématique défini et étudié notamment en topologie algébrique et en K-théorie, afin de différencier les fibrés vectoriels. De telles classes sont aujourd'hui comprises comme des invariants cohomologiques. La notion de classe caractéristique répond à une tentative de classification. Plus précisément, si est un fibré vectoriel, une classe caractéristique de est une classe dans la cohomologie de la base qui vérifie la condition suivante, dite de compatibilité : pour toute application continue , on a où est le fibré vectoriel induit sur par .
Fibré principalEn topologie, de manière informelle, un fibré principal sur un espace topologique X est un espace ressemblant localement à un produit de X par un groupe topologique. En particulier, un fibré principal est un espace fibré, mais c'est bien plus encore. Il est muni d'un groupe, le groupe structural, décrivant la manière dont les trivialisations locales se recollent entre elles. La théorie des fibrés principaux recouvre la théorie des fibrés vectoriels, de leurs orientations, de leurs structures riemanniennes, de leurs structures symplectiques, etc.
Variété algébriqueUne variété algébrique est, de manière informelle, l'ensemble des racines communes d'un nombre fini de polynômes en plusieurs indéterminées. C'est l'objet d'étude de la géométrie algébrique. Les schémas sont des généralisations des variétés algébriques. Il y a deux points de vue (essentiellement équivalents) sur les variétés algébriques : elles peuvent être définies comme des schémas de type fini sur un corps (langage de Grothendieck), ou bien comme la restriction d'un tel schéma au sous-ensemble des points fermés.
Espace de modulesEn mathématiques, un espace de modules est un espace paramétrant les diverses classes d'objets sous une relation d'équivalence ; l'intérêt est de pouvoir alors munir naturellement ces espaces de classes d'une structure supplémentaire. L'archétype de cette situation est la classification des courbes elliptiques par les points d'une courbe modulaire. Autre exemple : en géométrie différentielle, l'espace de modules d'une variété est l'espace des paramètres définissant la géométrie modulo les difféomorphismes locaux et globaux.
K-théorieEn mathématiques, la K-théorie est un outil utilisé dans plusieurs disciplines. En topologie algébrique, la sert de théorie de cohomologie. Une variante est utilisée en algèbre sous le nom de K-théorie algébrique. Les premiers résultats de la K-théorie ont été dans le cadre de la topologie algébrique, comme une théorie de cohomologie extraordinaire (elle ne vérifie pas l'axiome de dimension). Par la suite, ces méthodes ont été utilisées dans beaucoup d'autres domaines comme la géométrie algébrique, l'algèbre, la théorie des nombres, la théorie des opérateurs, etc.
Catégorie abélienneEn mathématiques, les catégories abéliennes forment une famille de catégories qui contient celle des groupes abéliens. Leur étude systématique a été instituée par Alexandre Grothendieck pour éclairer les liens qui existent entre différentes théories cohomologiques, comme la cohomologie des faisceaux ou la cohomologie des groupes. Toute catégorie abélienne est additive. Une catégorie abélienne est une catégorie additive dans laquelle on peut additionner les flèches et définir pour toute flèche les notions de noyau, conoyau et .
Produit tensorielEn mathématiques, le produit tensoriel est un moyen commode de coder les objets multilinéaires. Il est utilisé en algèbre, en géométrie différentielle, en géométrie riemannienne, en analyse fonctionnelle et en physique (mécanique des solides, relativité générale et mécanique quantique). Théorème et définition. Soient et deux espaces vectoriels sur un corps commutatif .
