Séance de cours

Comparaison des vecteurs Tangent: Transport parallèle

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Dans cours

MATH-512: Optimization on manifolds

We develop, analyze and implement numerical algorithms to solve optimization problems of the form min f(x) where x is a point on a smooth manifold. To this end, we first study differential and Riemannian geometry (with a focus dictated by computational con ...

Description

Cette séance de cours couvre la définition, l'existence et l'unicité du transport parallèle de vecteurs tangents sur des collecteurs. Il explique le concept de champs vectoriels parallèles le long des courbes et de la dérivée covariante induite par une connexion. La séance de cours discute également des propriétés de l'opérateur qui satisfait la linéarité, la règle de chaîne, et la règle de Leibniz. En outre, il explore le transport parallèle de vecteurs le long des courbes et la carte linéaire du temps t1 à t2. L'unicité du champ parallèle le long de la courbe est soulignée.

Enseignant·e

Nicolas Boumal

Enseignement et PhD Doctorant·es actuel·les Andreea-Alexandra Musat A dirigé les thèses EPFL de Christopher Criscitiello, Quentin Rebjock Cours Algèbre linéaire MATH-111(e) L'objectif du cours est d'introduire les notions de base de l'algèbre linéaire et ses applications. Continuous optimization MATH-329 This course introduces students to continuous, nonlinear optimization. We study the theory of optimization with continuous variables (with full proofs), and we analyze and

Source officielle

Proximité ontologique

Mathématiques

Géométrie: Géométrie différentielle

Concepts associés (32)

Champ de vecteurs

thumb|Un exemple de champ de vecteurs, de la forme (-y,x). thumb|Autre exemple. thumb|Le flux d'air autour d'un avion est un champ tridimensionnel (champ des vitesses des particules d'air), ici visualisé par les bulles qui matérialisent les lignes de courant. En mathématiques, un champ de vecteurs ou champ vectoriel est une fonction qui associe un vecteur à chaque point d'un espace euclidien ou plus généralement d'une variété différentielle.

Dérivée covariante

En 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 ).

Forme de connexion

En géométrie différentielle, une 1-forme de connexion est une forme différentielle sur un -fibré principal qui vérifie certains axiomes. La donnée d'une forme de connexion permet de parler, entre autres, de courbure, de torsion, de dérivée covariante, de relevé horizontal, de transport parallèle, d'holonomie et de théorie de jauge. La notion de forme de connexion est intimement reliée à la notion de connexion d'Ehresmann. Soient : un groupe de Lie ; l'élément identité de ; l'algèbre de Lie de ; la représentation adjointe de sur ; une variété différentielle ; un -fibré principal sur .

Tangent vector

In mathematics, a tangent vector is a vector that is tangent to a curve or surface at a given point. Tangent vectors are described in the differential geometry of curves in the context of curves in Rn. More generally, tangent vectors are elements of a tangent space of a differentiable manifold. Tangent vectors can also be described in terms of germs. Formally, a tangent vector at the point is a linear derivation of the algebra defined by the set of germs at .

Exterior covariant derivative

In 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.

Afficher plus

Séances de cours associées (64)

Connexions : Définition axiomatique

Explore les connexions sur les collecteurs, en mettant l'accent sur la définition axiomatique et les propriétés des dérivés dans les champs vectoriels de différenciation.

Différenciation des champs vectoriaux : Définition

Introduit des champs vectoriels différenciés le long de courbes sur des collecteurs avec des connexions et l'opérateur unique satisfaisant des propriétés spécifiques.

Accélération et géodésiques

Explique l'accélération le long des courbes et des géodésiques sur les collecteurs, en généralisant les lignes droites aux sphères.

Comparaison des vecteurs Tangent: Transport parallèle

Explore la comparaison des vecteurs tangents et le transport parallèle sur les collecteurs.

Formes différentielles sur les collecteurs

Introduit des formes différentielles sur les collecteurs, couvrant les faisceaux tangents et les appariements d'intersection.

Afficher plus

Concepts associés (32)

Exterior covariant derivative

Afficher plus