Ê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 Graph Search.
Concept
Fibré cotangent
Résumé
In mathematics, especially differential geometry, the cotangent bundle of a smooth manifold is the vector bundle of all the cotangent spaces at every point in the manifold. It may be described also as the dual bundle to the tangent bundle. This may be generalized to with more structure than smooth manifolds, such as complex manifolds, or (in the form of cotangent sheaf) algebraic varieties or schemes. In the smooth case, any Riemannian metric or symplectic form gives an isomorphism between the cotangent bundle and the tangent bundle, but they are not in general isomorphic in other categories.
There are several equivalent ways to define the cotangent bundle. One way is through a diagonal mapping Δ and germs.
Let M be a smooth manifold and let M×M be the Cartesian product of M with itself. The diagonal mapping Δ sends a point p in M to the point (p,p) of M×M. The image of Δ is called the diagonal. Let be the sheaf of germs of smooth functions on M×M which vanish on the diagonal. Then the quotient sheaf consists of equivalence classes of functions which vanish on the diagonal modulo higher order terms. The cotangent sheaf is defined as the of this sheaf to M:
By Taylor's theorem, this is a locally free sheaf of modules with respect to the sheaf of germs of smooth functions of M. Thus it defines a vector bundle on M: the cotangent bundle.
Smooth sections of the cotangent bundle are called (differential) one-forms.
A smooth morphism of manifolds, induces a pullback sheaf on M. There is an induced map of vector bundles .
The tangent bundle of the vector space is , and the cotangent bundle is , where denotes the dual space of covectors, linear functions .
Given a smooth manifold embedded as a hypersurface represented by the vanishing locus of a function with the condition that the tangent bundle is
where is the directional derivative . By definition, the cotangent bundle in this case is
where Since every covector corresponds to a unique vector for which for an arbitrary
Since the cotangent bundle X = T*M is a vector bundle, it can be regarded as a manifold in its own right.
Source officielle
À 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.
Proximité ontologique