Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Riemannian connections: Esquisse de preuve

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 présente le théorème fondamental de la géométrie de Riemannian, indiquant l'existence d'une connexion unique symétrique et compatible métrique sur un collecteur de Riemannian. L'esquisse de preuve démontre l'unicité de la connexion grâce à la compatibilité avec les propriétés métriques et symétriques.

Enseignant·e

Nicolas Boumal

Source officielle

Proximité ontologique

Mathématiques

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

Concepts associés (24)

Connexion de Levi-Civita

En géométrie riemannienne, la connexion de Levi-Civita est une connexion de Koszul naturellement définie sur toute variété riemannienne ou par extension sur toute variété pseudo-riemannienne. Ses propriétés caractérisent la variété riemannienne. Notamment, les géodésiques, courbes minimisant localement la distance riemannienne, sont exactement les courbes pour lesquelles le vecteur vitesse est parallèle. De plus, la courbure de la variété se définit à partir de cette connexion ; des conditions sur la courbure imposent des contraintes topologiques sur la variété.

Metric connection

In mathematics, a metric connection is a connection in a vector bundle E equipped with a bundle metric; that is, a metric for which the inner product of any two vectors will remain the same when those vectors are parallel transported along any curve. This is equivalent to: A connection for which the covariant derivatives of the metric on E vanish. A principal connection on the bundle of orthonormal frames of E. A special case of a metric connection is a Riemannian connection; there is a unique such which is torsion free, the Levi-Civita connection.

Connexion de Koszul

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

Variété pseudo-riemannienne

La géométrie pseudo-riemannienne est une extension de la géométrie riemannienne ; au même titre que, en algèbre bilinéaire, l'étude des formes bilinéaires symétriques généralisent les considérations sur les métriques euclidiennes. Cependant, cette géométrie présente des aspects non intuitifs des plus surprenants. Une métrique pseudo-riemannienne sur une variété différentielle M de dimension n est une famille g= de formes bilinéaires symétriques non dégénérées sur les espaces tangents de signature constante (p,q).

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 .

Afficher plus

Séances de cours associées (37)

Riemannian connexions: ce qu'ils sont et pourquoi nous nous soucions

Couvre les connexions Riemannian, en mettant l'accent sur leurs propriétés et leur signification en géométrie.

Riemannian Hessians: Connexions et Symmétrie

Couvre les connexions sur les collecteurs, les connexions symétriques, les crochets Lie, et la compatibilité avec la métrique en géométrie Riemannienne.

Vue et objectifs des yeux d'oiseau MOOC: Introduction à l'optimisation sur des manifolds lisses : méthodes du premier ordre

Couvre l'optimisation sur les collecteurs, la fluidité, les outils nécessaires à l'optimisation, et les algorithmes avancés utilisant les connexions Hessians et Riemannian.

Topologie algébrique et géométrie différentielle

Explore la topologie algébrique et la géométrie différentielle dans la compréhension de la dynamique des robots et du comportement global.

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.

Afficher plus

Concepts associés (24)

Connexion de Levi-Civita

Metric connection

Connexion de Koszul

Variété pseudo-riemannienne

Forme de connexion

Afficher plus