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).
Vecteur euclidienEn mathématiques, et plus précisément en géométrie euclidienne, un vecteur euclidien est un objet géométrique possédant une direction, un sens et une norme. On l'utilise par exemple en physique et en ingénierie pour modéliser une force. On parle aussi parfois de vecteur géométrique dans le plan euclidien (deux dimensions) et de vecteur spatial dans l'espace à trois dimensions. Vecteur#HistoireVecteur En physique et en ingénierie, on travaille souvent dans l'espace euclidien.
Dérivée covarianteEn géométrie différentielle, la dérivée covariante est un outil destiné à définir la dérivée d'un champ de vecteurs sur une variété. Dans le cas où la dérivée covariante existe, il n'existe pas de différence entre la dérivée covariante et la connexion, à part la manière dont elles sont introduites. (Cela est faux quand la dérivée covariante n'existe pas en revanche ).
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.
Courburevignette|Le déplacement d'une Dictyostelium discoideum dont la couleur du contour est fonction de la courbure. Échelle : 5 μm ; durée : 22 secondes. Intuitivement, courbe s'oppose à droit : la courbure d'un objet géométrique est une mesure quantitative du caractère « plus ou moins courbé » de cet objet. Par exemple : dans le plan euclidien, une ligne droite est un objet à une dimension de courbure nulle et un cercle un objet de courbure constante positive, valant 1/R (inverse du rayon) ; dans l'espace euclidien usuel à trois dimensions, un plan est un objet à deux dimensions de courbure nulle, et une sphère est un objet à deux dimensions de courbure constante positive.
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.
Géométrie différentielle des surfacesEn mathématiques, la géométrie différentielle des surfaces est la branche de la géométrie différentielle qui traite des surfaces (les objets géométriques de l'espace usuel E3, ou leur généralisation que sont les variétés de dimension 2), munies éventuellement de structures supplémentaires, le plus souvent une métrique riemannienne. Outre les surfaces classiques de la géométrie euclidienne (sphères, cônes, cylindres, etc.
Exterior covariant derivativeIn the mathematical field of differential geometry, the exterior covariant derivative is an extension of the notion of exterior derivative to the setting of a differentiable principal bundle or vector bundle with a connection. Let G be a Lie group and P → M be a principal G-bundle on a smooth manifold M. Suppose there is a connection on P; this yields a natural direct sum decomposition of each tangent space into the horizontal and vertical subspaces. Let be the projection to the horizontal subspace.
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.
Calcul tensorielEn physique théorique, des équations différentielles, posées en termes de champs tensoriels, sont une manière très générale pour exprimer les relations à la fois géométriques par nature et liées au calcul différentiel. Pour formuler de telles équations, il faut connaître la dérivée covariante. Cela permet d'exprimer la variation d'un champ tensoriel le long d'un champ vectoriel. La notion d'origine du calcul différentiel absolu, plus tard renommé calcul tensoriel, amena à l'isolation du concept géométrique de connexion.
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.
Seconde forme fondamentaleLa seconde forme fondamentale est une forme quadratique caractérisant certains aspects de la géométrie différentielle des surfaces. Ce concept est d'abord apparu dans l'étude des surfaces réglées avant de prendre toute sa généralité dans le cadre de la géométrie riemannienne. Alors que la première forme fondamentale décrit la « géométrie interne » d'une surface (c'est-à-dire les propriétés qui peuvent être déterminées depuis la surface elle-même), la seconde forme fondamentale dépend de la situation de la surface dans l'espace.
Système de coordonnées curvilignesUn système de coordonnées curvilignes est une façon d'attribuer à chaque point du plan ou de l'espace un ensemble de nombres. Soit un point de l'espace dont les coordonnées sont notées . Un système de coordonnées quelconques est obtenu en se donnant trois fonctions arbitraires des paramètres , telles que ; ces fonctions sont choisies le plus souvent continues, et même différentiables. Les points correspondant à deux des trois coordonnées constantes décrivent une ligne de coordonnées.
Première forme fondamentaleLa première forme fondamentale est un outil utilisé dans l'étude des surfaces de l'espace euclidien. Elle se calcule en chaque point P de la surface Σ et s'interprète comme une écriture formelle du produit scalaire euclidien usuel en restriction au plan tangent TPΣ. On note la première forme fondamentale par la lettre romaine I. La première forme fondamentale est susceptible de généralisations dans le cadre de la géométrie riemannienne, c'est-à-dire des variétés (espaces courbes modelés localement sur l'espace euclidien) pour étudier l'inclusion d'une variété riemannienne dans une autre, ou plus généralement les façons d'appliquer une variété riemannienne dans une autre.
Système de coordonnéesvignette|upright=0.7|Système de coordonnées cartésiennes dans un plan vignette|upright=0.7|Système de coordonnées cartésiennes en 3 dimensions En mathématiques, un système de coordonnées permet de faire correspondre à chaque point d'un espace à N , un (et un seul) N-uplet de scalaires. Dans beaucoup de cas, les scalaires considérés sont des nombres réels, mais il est possible d'utiliser des nombres complexes ou des éléments d'un corps commutatif quelconque.
Géométrie riemanniennevignette|275px|L'étude de la forme de l'univers est une adaptation des idées et méthodes de la géométrie riemannienne La géométrie riemannienne est une branche de la géométrie différentielle nommée en l'honneur du mathématicien Bernhard Riemann, qui introduisit les concepts fondateurs de variété géométrique et de courbure. Il s'agit de surfaces ou d'objets de plus grande dimension sur lesquels existent des notions d'angle et de longueur, généralisant la géométrie traditionnelle qui se limitait à l'espace euclidien.
Connexion de KoszulEn géométrie différentielle, une connexion (de Koszul) est un opérateur sur les sections d'un fibré vectoriel. Cette notion a été introduite par Jean-Louis Koszul en 1950 et formalise le transport parallèle de vecteurs le long d'une courbe en termes d'équation différentielle ordinaire. Les connexions sont des objets localement définis auxquels sont associées les notions de courbure et de torsion. L'un des exemples les plus simples de connexions de Koszul sans torsion est la connexion de Levi-Civita naturellement définie sur le fibré tangent de toute variété riemannienne.
Surface régléeEn géométrie, une surface réglée est une surface par chaque point de laquelle passe une droite, appelée génératrice, contenue dans la surface. On peut décrire une surface réglée S en la considérant comme la réunion d'une famille de droites D(u) dépendant d'un paramètre u parcourant une partie I de l'ensemble des réels. Il suffit pour cela de se donner pour chaque u dans I un point P(u) et un vecteur directeur de D(u). On obtient alors une représentation paramétrique de la surface S : L'arc paramétré par est appelé une courbe directrice de S.
Géométrie euclidienneLa géométrie euclidienne commence avec les Éléments d'Euclide, qui est à la fois une somme des connaissances géométriques de l'époque et une tentative de formalisation mathématique de ces connaissances. Les notions de droite, de plan, de longueur, d'aire y sont exposées et forment le support des cours de géométrie élémentaire. La conception de la géométrie est intimement liée à la vision de l'espace physique ambiant au sens classique du terme.
Vecteurdroite|cadre|Deux vecteurs et et leur vecteur somme. En mathématiques, un vecteur est un objet généralisant plusieurs notions provenant de la géométrie (couples de points, translations, etc.), de l'algèbre (« solution » d'un système d'équations à plusieurs inconnues), ou de la physique (forces, vitesses, accélérations). Rigoureusement axiomatisée, la notion de vecteur est le fondement de la branche des mathématiques appelée algèbre linéaire.
