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.
AlgèbreL'algèbre (de l’arabe الجبر, al-jabr) est une branche des mathématiques qui permet d'exprimer les propriétés des opérations et le traitement des équations et aboutit à l'étude des structures algébriques. Selon l’époque et le niveau d’études considérés, elle peut être décrite comme : une arithmétique généralisée, étendant à différents objets ou grandeurs les opérations usuelles sur les nombres ; la théorie des équations et des polynômes ; depuis le début du , l’étude des structures algébriques (on parle d'algèbre générale ou abstraite).
Dualité de HodgeEn algèbre linéaire, l'opérateur de Hodge, introduit par William Vallance Douglas Hodge, est un opérateur sur l'algèbre extérieure d'un espace vectoriel euclidien orienté. Il est usuellement noté par une étoile qui précède l'élément auquel l'opérateur est appliqué. On parle ainsi d'étoile de Hodge. Si la dimension de l'espace est n, l'opérateur établit une correspondance entre les k-vecteurs et les (n-k)-vecteurs, appelée dualité de Hodge. En géométrie différentielle, l'opérateur de Hodge peut être étendu aux fibrés vectoriels riemanniens orientés.
Algèbre enveloppanteEn mathématiques, on peut construire l'algèbre enveloppante d'une algèbre de Lie . Il s'agit d'une algèbre associative unitaire qui permet de rendre compte de la plupart des propriétés de . Algèbre de Lie Soit K un corps commutatif de caractéristique différente de 2. Une algèbre de Lie sur K est un espace vectoriel muni d'une application bilinéaire de dans qui vérifie les propriétés suivantes : Tout espace vectoriel peut être muni d'une structure d'algèbre de Lie, en posant .
TenseurEn mathématiques, plus précisément en algèbre multilinéaire et en géométrie différentielle, un tenseur est un objet très général, dont la valeur s'exprime dans un espace vectoriel. On peut l'utiliser entre autres pour représenter des applications multilinéaires ou des multivecteurs.
Forme volumeEn géométrie différentielle, une forme volume généralise la notion de déterminant aux variétés différentielles. Elle définit une mesure sur la variété, permet le calcul des volumes généralisés, et la définition générale des orientations. Une forme volume se définit comme une forme différentielle de degré maximal, nulle en aucun point. Pour qu'une variété admette une forme volume, il faut et il suffit qu'elle soit orientable. Dans ce cas, il en existe une infinité.
Algèbre multilinéaireEn mathématiques, l’algèbre multilinéaire étend les méthodes de l’algèbre linéaire. Tout comme l’algèbre linéaire est bâtie sur le concept de vecteur et développe la théorie des espaces vectoriels, l’algèbre multilinéaire est bâtie sur le concept de tenseur et développe la théorie des espaces tensoriels. Dans les applications, de nombreux types de tenseurs surviennent. La théorie se veut exhaustive et comprend l'étude d'un certain nombre d'espaces et l'exposé de leurs relations.
GrassmannienneEn mathématiques, les grassmanniennes sont des variétés dont les points correspondent aux sous-espaces vectoriels d'un espace vectoriel fixé. On note G(k, n) ou G(K) la grassmannienne des sous-espaces de dimension k dans un espace de dimension n sur le corps K. Ces espaces portent le nom de Hermann Grassmann qui en donna une paramétrisation et sont encore appelés grassmanniennes des « k-plans ». Pour k = 1, la grassmannienne est l'espace projectif associé à l'espace vectoriel.
Algèbre de CliffordEn mathématiques, l'algèbre de Clifford est un objet d'algèbre multilinéaire associé à une forme quadratique. C'est une algèbre associative sur un corps, permettant un type de calcul étendu, englobant les vecteurs, les scalaires et des « multivecteurs » obtenus par produits de vecteurs, et avec une règle de calcul qui traduit la géométrie de la forme quadratique sous-jacente. Le nom de cette structure est un hommage au mathématicien anglais William Kingdon Clifford.
BivecteurEn algèbre, le terme de bivecteur désigne un tenseur antisymétrique d'ordre 2, c'est-à-dire une quantité X pouvant s'écrire où les quantités ω sont des formes linéaires et le signe désigne le produit extérieur. Un bivecteur peut être vu comme une application linéaire agissant sur les vecteurs et les transformant en formes linéaires. Les coefficients X_ab peuvent être vus comme formant une matrice antisymétrique. Les bivecteurs sont abondamment utilisés en relativité générale, où plusieurs tenseurs peuvent être reliés à des bivecteurs.
