In differential geometry, the cotangent space is a vector space associated with a point on a smooth (or differentiable) manifold ; one can define a cotangent space for every point on a smooth manifold. Typically, the cotangent space, is defined as the dual space of the tangent space at , , although there are more direct definitions (see below). The elements of the cotangent space are called cotangent vectors or tangent covectors.
All cotangent spaces at points on a connected manifold have the same dimension, equal to the dimension of the manifold. All the cotangent spaces of a manifold can be "glued together" (i.e. unioned and endowed with a topology) to form a new differentiable manifold of twice the dimension, the cotangent bundle of the manifold.
The tangent space and the cotangent space at a point are both real vector spaces of the same dimension and therefore isomorphic to each other via many possible isomorphisms. The introduction of a Riemannian metric or a symplectic form gives rise to a natural isomorphism between the tangent space and the cotangent space at a point, associating to any tangent covector a canonical tangent vector.
Let be a smooth manifold and let be a point in . Let be the tangent space at . Then the cotangent space at x is defined as the dual space of :
Concretely, elements of the cotangent space are linear functionals on . That is, every element is a linear map
where is the underlying field of the vector space being considered, for example, the field of real numbers. The elements of are called cotangent vectors.
In some cases, one might like to have a direct definition of the cotangent space without reference to the tangent space. Such a definition can be formulated in terms of equivalence classes of smooth functions on . Informally, we will say that two smooth functions f and g are equivalent at a point if they have the same first-order behavior near , analogous to their linear Taylor polynomials; two functions f and g have the same first order behavior near if and only if the derivative of the function f − g vanishes at .
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
In mathematics, a differentiable manifold (also differential manifold) is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One may then apply ideas from calculus while working within the individual charts, since each chart lies within a vector space to which the usual rules of calculus apply. If the charts are suitably compatible (namely, the transition from one chart to another is differentiable), then computations done in one chart are valid in any other differentiable chart.
Let be a smooth map between smooth manifolds and . Then there is an associated linear map from the space of 1-forms on (the linear space of sections of the cotangent bundle) to the space of 1-forms on . This linear map is known as the pullback (by ), and is frequently denoted by . More generally, any covariant tensor field – in particular any differential form – on may be pulled back to using . When the map is a diffeomorphism, then the pullback, together with the pushforward, can be used to transform any tensor field from to or vice versa.
In mathematics, specifically , a functor is a mapping between . Functors were first considered in algebraic topology, where algebraic objects (such as the fundamental group) are associated to topological spaces, and maps between these algebraic objects are associated to continuous maps between spaces. Nowadays, functors are used throughout modern mathematics to relate various categories. Thus, functors are important in all areas within mathematics to which is applied.
Smooth manifolds constitute a certain class of topological spaces which locally look like some Euclidean space R^n and on which one can do calculus. We introduce the key concepts of this subject, such
This course will serve as a basic introduction to the mathematical theory of general relativity. We will cover topics including the formalism of Lorentzian geometry, the formulation of the initial val
This course will serve as a first introduction to the geometry of Riemannian manifolds, which form an indispensible tool in the modern fields of differential geometry, analysis and theoretical physics
Ce cours donne les connaissances fondamentales liées aux fonctions trigonométriques, logarithmiques et exponentielles. La présentation des concepts et des propositions est soutenue par une grande gamm
Ce cours donne les connaissances fondamentales liées aux fonctions trigonométriques, logarithmiques et exponentielles. La présentation des concepts et des propositions est soutenue par une grande gamm
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).
This paper develops the theory of affine Euler-Poincare and affine Lie-Poisson reductions and applies these processes to various examples of complex fluids, including Yang-Mills and Hall magnetohydrodynamics for fluids and superfluids, spin glasses, microf ...
Let Q denote a smooth manifold acted upon smoothly by a Lie group G. The G-action lifts to an action on the total space TQ of the cotangent bundle of Q and hence on the standard symplectic Poisson algebra of smooth functions on TQ. The Poisson algebra of ...
We construct five families of 2D moduli spaces of parabolic Higgs bundles (respectively, local systems) by taking the equivariant Hilbert scheme of a certain finite group acting on the cotangent bundle of an elliptic curve (respectively, twisted cotangent ...