Vecteur contravariant, covariant et covecteurUn vecteur contravariant est un vecteur, un vecteur covariant est une forme linéaire, encore appelé covecteur, ou encore vecteur dual. Et si on dispose d'un produit scalaire, on peut représenter une forme linéaire (= un vecteur covariant = un covecteur) par un vecteur à l'aide du théorème de représentation de Riesz (cette représentation dépend du choix du produit scalaire).
Forme linéaireEn algèbre linéaire, une forme linéaire sur un espace vectoriel est une application linéaire sur son corps de base. En dimension finie, elle peut être représentée par une matrice ligne qui permet d’associer à son noyau une équation cartésienne. Dans le cadre du calcul tensoriel, une forme linéaire est aussi appelée covecteur, en lien avec l’action différente des matrices de changement de base.
Convention de sommation d'EinsteinEn mathématiques et plus spécialement dans les applications de l'algèbre linéaire en physique, la convention de sommation d'Einstein ou notation d'Einstein est un raccourci de notation utile pour la manipulation des équations concernant des coordonnées. Selon cette convention, quand l'indice d'une variable apparaît deux fois dans un terme, on sous-entend la sommation sur toutes les valeurs que peut prendre cet indice. Cet indice est dit muet. On le fait figurer une fois en position supérieure, une fois en position inférieure.
Matrice inversibleEn mathématiques et plus particulièrement en algèbre linéaire, une matrice inversible (ou régulière ou encore non singulière) est une matrice carrée A pour laquelle il existe une matrice B de même taille n avec laquelle les produits AB et BA sont égaux à la matrice identité. Dans ce cas la matrice B est unique, appelée matrice inverse de A et notée B = A. Cette définition correspond à celle d’élément inversible pour la multiplication dans l’anneau des matrices carrées associé.
Forme différentielleEn géométrie différentielle, une forme différentielle est la donnée d'un champ d'applications multilinéaires alternées sur les espaces tangents d'une variété différentielle possédant une certaine régularité. Le degré des formes différentielles désigne le degré des applications multilinéaires. La différentielle d'une fonction numérique peut être regardée comme un champ de formes linéaires : c'est le premier exemple de formes différentielles.
Tenseur métriqueEn géométrie, et plus particulièrement en géométrie différentielle, le tenseur métrique est un tenseur d'ordre 2 permettant de définir le produit scalaire de deux vecteurs en chaque point d'un espace, et qui est utilisé pour la mesure des longueurs et des angles. Il généralise le théorème de Pythagore. Dans un système de coordonnées donné, le tenseur métrique peut se représenter comme une matrice symétrique, généralement notée , pour ne pas confondre la matrice (en majuscule) et le tenseur métrique g.
Contraction tensorielleEn algèbre multilinéaire, la contraction est un procédé de calcul sur les tenseurs faisant intervenir la dualité. En coordonnées elle se représente de façon très simple en utilisant les notations d'Einstein et consiste à faire une somme sur un indice muet. Il est possible de contracter un tenseur unique de rang p en un tenseur de rang p-2, par exemple en calculant la trace d'une matrice. Il est possible également de contracter deux tenseurs, ce qui généralise la notion de produit matriciel.
Espace de Minkowskithumb|Représentation schématique de l'espace de Minkowski, qui montre seulement deux des trois dimensions spatiales. En géométrie et en relativité restreinte, l'espace de Minkowski du nom de son inventeur Hermann Minkowski, appelé aussi l'espace-temps de Minkowski ou parfois l'espace-temps de Poincaré-Minkowski, est un espace mathématique, et plus précisément un espace affine pseudo-euclidien à quatre dimensions, modélisant l'espace-temps de la relativité restreinte : les propriétés géométriques de cet espace correspondent à des propriétés physiques présentes dans cette théorie.
Base dualeEn algèbre linéaire, la base duale est une base de l'espace dual E* d'un espace vectoriel E de dimension finie, construite à partir d'une base de E. Il est rappelé que E* est l'espace des formes linéaires sur E. La réduction des formes quadratiques est un exemple dans lequel les bases duales peuvent intervenir. Elles interviennent aussi pour transporter des structures géométriques d'un espace vectoriel réel ou complexe sur son espace dual, ce qui intervient notamment en géométrie différentielle.
Symbole de Levi-CivitaEn mathématiques, le symbole de Levi-Civita, noté ε (lettre grecque epsilon), est un objet antisymétrique d'ordre 3 qui peut être exprimé à partir du symbole de Kronecker : Ainsi, ne peut prendre que trois valeurs : –1, 0 ou 1. En dimension 3, on peut figurer le symbole de Levi-Civita comme suit : On remarque que si , et , alors représente une permutation et le symbole de Levi-Civita correspondant est sa signature.
