Variété différentielle | EPFL Graph Search

Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?

Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.

Découvrez-en plus sur les applications Graph.

En mathématiques, les variétés différentielles ou variétés différentiables sont les objets de base de la topologie différentielle et de la géométrie différentielle. Il s'agit de variétés, « espaces courbes » localement modelés sur l'espace euclidien de dimension n, sur lesquelles il est possible de généraliser une bonne part des opérations du calcul différentiel et intégral. Une variété différentielle se définit donc d'abord par la donnée d'une variété topologique, espace topologique localement homéomorphe à l'espace R. Les homéomorphismes locaux sont appelés cartes et définissent des systèmes de coordonnées locales. La structure différentielle est définie en exigeant certaines propriétés de régularité des applications de transition entre les cartes. Cette structure permet par exemple de donner une définition globale de la notion d'application différentiable, ou de champ de vecteurs avec ses courbes intégrales. En revanche, à moins de munir la variété de structures supplémentaires (telle qu'une métrique riemannienne), les calculs de dérivées d'ordre 2, la notion de mesure d'une partie, n'admettent pas de généralisation naturelle. Carte locale Une variété topologique M de dimension n est un espace topologique séparé à base dénombrable, tel que chacun de ses points admet un voisinage ouvert homéomorphe à un ouvert de l'espace vectoriel topologique R. Plus précisément : il existe un voisinage ouvert et un homéomorphisme On dit alors que est une carte locale de M. Une famille de cartes qui recouvre (entièrement) M constitue un atlas de la variété M. Un tel atlas est dit de classe Ck, 1 ≤ k ≤ +∞, si : pour tous les indices i et j tels que , l'application de changement de cartes est un difféomorphisme de classe Ck, c'est-à-dire une bijection de classe Ck dont la bijection réciproque est aussi de classe Ck. Deux atlas de classe Ck sur une même variété topologique M sont dits compatibles lorsque leur réunion est encore un atlas de classe Ck. La relation de compatibilité ainsi introduite est une relation d'équivalence pour les atlas.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (23)

We consider the problem of provably finding a stationary point of a smooth function to be minimized on the variety of bounded-rank matrices. This turns out to be unexpectedly delicate. We trace the di

SPRINGER HEIDELBERG2022

The quantification of uncertainties can be particularly challenging for problems requiring long-time integration as the structure of the random solution might considerably change over time. In this re

EPFL2022

The completeness of the generalized eigenfunctions and an upper bound for the counting function of the transmission eigenvalue problem for Maxwell equations

Hoài-Minh Nguyên, Jean Louis-Alexandre Fornerod

Cakoni and Nguyen recently proposed very general conditions on the coefficients of Maxwell equations for which they established the discreten ess of the set of eigenvalues of the transmission problem

2021

Afficher plus

Personnes associées (8)

Pascal Frossard, Fabio Nobile, Volkan Cevher, Elif Vural, Tudor Ratiu, Eleonora Musharbash, Effrosyni Kokiopoulou, Maria-Alexandra Paun

Concepts associés (292)

Cours associés (45)

MATH-322: Introduction to differentiable manifolds

Differentiable manifolds are a certain class of topological spaces which, in a way we will make precise, locally resemble R^n. We introduce the key concepts of this subject, such as vector fields, dif

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 Rieman

MATH-410: Riemann surfaces

This course is an introduction to the theory of Riemann surfaces. Riemann surfaces naturally appear is mathematics in many different ways: as a result of analytic continuation, as quotients of complex

Afficher plus

Séances de cours associées (514)

MOOCs associés (1)

Introduction to optimization on smooth manifolds: first order methods

Learn to optimize on smooth, nonlinear spaces: Join us to build your foundations (starting at "what is a manifold?") and confidently implement your first algorithm (Riemannian gradient descent).

Symmétrie en physique

Explore le concept de symétrie en physique et son rôle crucial dans la compréhension des lois fondamentales de la nature.

Moduli classique en physique des particules

Explore les moduli classiques en physique des particules, en mettant l'accent sur les particules BPS et la dualité U(1).

Transformations formelles : Partie 1

Couvre le sujet des transformations conformes, y compris les traductions, les dilatations, les rotations et l'algèbre conforme.

Vecteur contravariant, covariant et covecteur

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

Variété complexe

Les variétés complexes ou plus généralement les sont les objets d'étude de la géométrie analytique complexe. Une variété complexe de dimension n est un espace topologique obtenu par recollement d'ouverts de Cn selon des biholomorphismes, c'est-à-dire des bijections holomorphes. Plus précisément, une variété complexe de dimension n est un espace topologique dénombrable à l'infini (c'est-à-dire localement compact et σ-compact) possédant un atlas de cartes sur Cn, tel que les applications de changement de cartes soient des biholomorphismes.

Forme différentielle de degré un

En géométrie différentielle, les formes différentielles de degré un, ou 1-formes (différentielles), sont les exemples les plus simples de formes différentielles. Une 1-forme différentielle sur un ouvert d'un espace vectoriel normé est un champ de formes linéaires c'est-à-dire une application, qui, à chaque point de l'espace, fait correspondre une forme linéaire. Plus généralement, on peut définir de telles formes linéaires sur une variété différentielle.