Tensor bundle

Last updated

In mathematics, the tensor bundle of a manifold is the direct sum of all tensor products of the tangent bundle and the cotangent bundle of that manifold. To do calculus on the tensor bundle a connection is needed, except for the special case of the exterior derivative of antisymmetric tensors.

Contents

Definition

A tensor bundle is a fiber bundle where the fiber is a tensor product of any number of copies of the tangent space and/or cotangent space of the base space, which is a manifold. As such, the fiber is a vector space and the tensor bundle is a special kind of vector bundle.

Related Research Articles

Vector space Algebraic structure in linear algebra

In mathematics, physics, and engineering, a vector space is a set whose elements, often called vectors, may be added together and multiplied ("scaled") by numbers called scalars. Scalars are often real numbers, but can be complex numbers or, more generally, elements of any field. The operations of vector addition and scalar multiplication must satisfy certain requirements, called vector axioms. The terms real vector space and complex vector space are often used to specify the nature of the scalars: real coordinate space or complex coordinate space.

Tangent bundle Tangent spaces of a manifold

In differential geometry, the tangent bundle of a differentiable manifold is a manifold which assembles all the tangent vectors in . As a set, it is given by the disjoint union of the tangent spaces of . That is,

In mathematics and physics, a tensor field assigns a tensor to each point of a mathematical space. Tensor fields are used in differential geometry, algebraic geometry, general relativity, in the analysis of stress and strain in materials, and in numerous applications in the physical sciences. As a tensor is a generalization of a scalar and a vector, a tensor field is a generalization of a scalar field or vector field that assigns, respectively, a scalar or vector to each point of space.

Vector bundle Mathematical parametrization of vector spaces by another space

In mathematics, a vector bundle is a topological construction that makes precise the idea of a family of vector spaces parameterized by another space X : to every point x of the space X we associate a vector space V(x) in such a way that these vector spaces fit together to form another space of the same kind as X, which is then called a vector bundle over X.

Fiber bundle Continuous surjection satisfying a local triviality condition

In mathematics, and particularly topology, a fiber bundle is a space that is locally a product space, but globally may have a different topological structure. Specifically, the similarity between a space and a product space is defined using a continuous surjective map, that in small regions of behaves just like a projection from corresponding regions of to The map called the projection or submersion of the bundle, is regarded as part of the structure of the bundle. The space is known as the total space of the fiber bundle, as the base space, and the fiber.

In mathematics, a line bundle expresses the concept of a line that varies from point to point of a space. For example, a curve in the plane having a tangent line at each point determines a varying line: the tangent bundle is a way of organising these. More formally, in algebraic topology and differential topology, a line bundle is defined as a vector bundle of rank 1.

Section (fiber bundle)

In the mathematical field of topology, a section of a fiber bundle is a continuous right inverse of the projection function . In other words, if is a fiber bundle over a base space, :

Contact geometry

In mathematics, contact geometry is the study of a geometric structure on smooth manifolds given by a hyperplane distribution in the tangent bundle satisfying a condition called 'complete non-integrability'. Equivalently, such a distribution may be given as the kernel of a differential one-form, and the non-integrability condition translates into a maximal non-degeneracy condition on the form. These conditions are opposite to two equivalent conditions for 'complete integrability' of a hyperplane distribution, i.e. that it be tangent to a codimension one foliation on the manifold, whose equivalence is the content of the Frobenius theorem.

This is a glossary of terms specific to differential geometry and differential topology. The following three glossaries are closely related:

In mathematics, an almost complex manifold is a smooth manifold equipped with a smooth linear complex structure on each tangent space. Every complex manifold is an almost complex manifold, but there are almost complex manifolds that are not complex manifolds. Almost complex structures have important applications in symplectic geometry.

Differentiable manifold Manifold upon which it is possible to perform calculus

In mathematics, a differentiable 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, then computations done in one chart are valid in any other differentiable chart.

In mathematics, a differentiable manifold of dimension n is called parallelizable if there exist smooth vector fields

In mathematics—more specifically, in differential geometry—the musical isomorphism is an isomorphism between the tangent bundle and the cotangent bundle of a pseudo-Riemannian manifold induced by its metric tensor. There are similar isomorphisms on symplectic manifolds. The term musical refers to the use of the symbols (flat) and (sharp).

In mathematics, the vertical bundle and the horizontal bundle are two subbundles of the tangent bundle of a smooth fiber bundle, forming complementary subspaces at each point of the fibre bundle. The vertical bundle consists of all vectors that are tangent to the fibers, while the horizontal bundle is then a particular choice of a subbundle of the tangent bundle which is complementary to the vertical bundle.

Immersion (mathematics) Differentiable function whose derivative is everywhere injective

In mathematics, an immersion is a differentiable function between differentiable manifolds whose differential is everywhere injective. Explicitly, f : MN is an immersion if

In mathematics, a Clifford bundle is an algebra bundle whose fibers have the structure of a Clifford algebra and whose local trivializations respect the algebra structure. There is a natural Clifford bundle associated to any (pseudo) Riemannian manifold M which is called the Clifford bundle of M.

In mathematics, more precisely in differential geometry, a soldering of a fiber bundle to a smooth manifold is a manner of attaching the fibers to the manifold in such a way that they can be regarded as tangent. Intuitively, soldering expresses in abstract terms the idea that a manifold may have a point of contact with a certain model Klein geometry at each point. In extrinsic differential geometry, the soldering is simply expressed by the tangency of the model space to the manifold. In intrinsic geometry, other techniques are needed to express it. Soldering was introduced in this general form by Charles Ehresmann in 1950.

In mathematics, a microbundle is a generalization of the concept of vector bundle, introduced by the American mathematician John Milnor in 1964. It allows the creation of bundle-like objects in situations where they would not ordinarily be thought to exist. For example, the tangent bundle is defined for a smooth manifold but not a topological manifold; use of microbundles allows the definition of a topological tangent bundle.

A Polyvector field within Mathematics topology is concerned with the properties of a geometric object. A multivector field, polyvector field of degree k, or k-vector field, on a manifold , is a generalization of the notion of a vector field on a manifold.

In mathematics, an orientation of a real vector bundle is a generalization of an orientation of a vector space; thus, given a real vector bundle π: EB, an orientation of E means: for each fiber Ex, there is an orientation of the vector space Ex and one demands that each trivialization map

References

    See also