|
Tensor Product Bundle
In differential geometry, the tensor product of vector bundles , (over the same space ) is a vector bundle, denoted by , whose fiber over each point is the tensor product of vector spaces .To construct a tensor-product bundle over a paracompact base, first note the construction is clear for trivial bundles. For the general case, if the base is compact, choose such that is trivial. Choose in the same way. Then let be the subbundle of with the desired fibers. Finally, use the approximation argument to handle a non-compact base. See Hatcher for a general direct approach. Example: If is a trivial line bundle, then for any . Example: is canonically isomorphic to the endomorphism bundle , where is the dual bundle of . Example: A line bundle has a tensor inverse: in fact, is (isomorphic to) a trivial bundle by the previous example, as is trivial. Thus, the set of the isomorphism classes of all line bundles on some topological space forms an abelian group called the Pica ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Tensor Field
In mathematics and physics, a tensor field is a function assigning a tensor to each point of a region of a mathematical space (typically a Euclidean space or manifold) or of the physical space. Tensor fields are used in differential geometry, algebraic geometry, general relativity, in the analysis of stress and strain in material object, and in numerous applications in the physical sciences. As a tensor is a generalization of a scalar (a pure number representing a value, for example speed) and a vector (a magnitude and a direction, like velocity), a tensor field is a generalization of a ''scalar field'' and a ''vector field'' that assigns, respectively, a scalar or vector to each point of space. If a tensor is defined on a vector fields set over a module , we call a tensor field on . A tensor field, in common usage, is often referred to in the shorter form "tensor". For example, the ''Riemann curvature tensor'' refers a tensor ''field'', as it associates a tensor to each ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Differential Geometry
Differential geometry is a Mathematics, mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of Calculus, single variable calculus, vector calculus, linear algebra and multilinear algebra. The field has its origins in the study of spherical geometry as far back as classical antiquity, antiquity. It also relates to astronomy, the geodesy of the Earth, and later the study of hyperbolic geometry by Nikolai Lobachevsky, Lobachevsky. The simplest examples of smooth spaces are the Differential geometry of curves, plane and space curves and Differential geometry of surfaces, surfaces in the three-dimensional Euclidean space, and the study of these shapes formed the basis for development of modern differential geometry during the 18th and 19th centuries. Since the late 19th century, differential geometry has grown into a field concerned more generally with geometric structures on differentiable ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Vector Bundle
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 (for example X could be a topological space, a manifold, or an algebraic variety): to every point x of the space X we associate (or "attach") 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 (e.g. a topological space, manifold, or algebraic variety), which is then called a vector bundle over X. The simplest example is the case that the family of vector spaces is constant, i.e., there is a fixed vector space V such that V(x)=V for all x in X: in this case there is a copy of V for each x in X and these copies fit together to form the vector bundle X\times V over X. Such vector bundles are said to be ''trivial''. A more complicated (and prototypical) class of examples are the tangent bundles of smooth (or differentiable) manifolds: to every point of such a mani ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Tensor Product Of Vector Spaces
In mathematics, a tensor is an algebraic object that describes a multilinear relationship between sets of algebraic objects associated with a vector space. Tensors may map between different objects such as vectors, scalars, and even other tensors. There are many types of tensors, including scalars and vectors (which are the simplest tensors), dual vectors, multilinear maps between vector spaces, and even some operations such as the dot product. Tensors are defined independent of any basis, although they are often referred to by their components in a basis related to a particular coordinate system; those components form an array, which can be thought of as a high-dimensional matrix. Tensors have become important in physics because they provide a concise mathematical framework for formulating and solving physics problems in areas such as mechanics ( stress, elasticity, quantum mechanics, fluid mechanics, moment of inertia, ...), electrodynamics (electromagnetic tensor, Maxw ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Endomorphism Bundle
In mathematics, an endomorphism is a morphism from a mathematical object to itself. An endomorphism that is also an isomorphism is an automorphism. For example, an endomorphism of a vector space is a linear map , and an endomorphism of a group is a group homomorphism . In general, we can talk about endomorphisms in any category. In the category of sets, endomorphisms are functions from a set ''S'' to itself. In any category, the composition of any two endomorphisms of is again an endomorphism of . It follows that the set of all endomorphisms of forms a monoid, the full transformation monoid, and denoted (or to emphasize the category ). Automorphisms An invertible endomorphism of is called an automorphism. The set of all automorphisms is a subset of with a group structure, called the automorphism group of and denoted . In the following diagram, the arrows denote implication: Endomorphism rings Any two endomorphisms of an abelian group, , can be added together b ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Dual Bundle
In mathematics, the dual bundle is an operation on vector bundles extending the operation of duality for vector spaces. Definition The dual bundle of a vector bundle \pi: E \to X is the vector bundle \pi^*: E^* \to X whose fibers are the dual spaces to the fibers of E. Equivalently, E^* can be defined as the Hom bundle ''\mathrm(E,\mathbb \times X),'' that is, the vector bundle of morphisms from ''E'' to the trivial line bundle ''\R \times X \to X.'' Constructions and examples Given a local trivialization of ''E'' with transition functions t_, a local trivialization of E^* is given by the same open cover of ''X'' with transition functions t_^* = (t_^T)^ (the inverse of the transpose). The dual bundle E^* is then constructed using the fiber bundle construction theorem. As particular cases: * The dual bundle of an associated bundle is the bundle associated to the dual representation of the structure group. * The dual bundle of the tangent bundle of a differentiable manifold i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Line Bundle
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. Line bundles are specified by choosing a one-dimensional vector space for each point of the space in a continuous manner. In topological applications, this vector space is usually real or complex. The two cases display fundamentally different behavior because of the different topological properties of real and complex vector spaces: If the origin is removed from the real line, then the result is the set of 1×1 invertible real matrices, which is homotopy-equivalent to a discrete two-point space by contracting the positive and negative reals each to a point; whereas removing the origin from the complex ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Picard Group
In mathematics, the Picard group of a ringed space ''X'', denoted by Pic(''X''), is the group of isomorphism classes of invertible sheaves (or line bundles) on ''X'', with the group operation being tensor product. This construction is a global version of the construction of the divisor class group, or ideal class group, and is much used in algebraic geometry and the theory of complex manifolds. Alternatively, the Picard group can be defined as the sheaf cohomology group :H^1 (X, \mathcal_X^).\, For integral Scheme (mathematics), schemes the Picard group is isomorphic to the class group of Cartier divisors. For complex manifolds the exponential sheaf sequence gives basic information on the Picard group. The name is in honour of Émile Picard's theories, in particular of divisors on algebraic surfaces. Examples * The Picard group of the Spectrum of a ring, spectrum of a Dedekind domain is its ''ideal class group''. * The invertible sheaves on projective space P''n''(''k'') for '' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Symmetric Power
In mathematics, the ''n''-th symmetric power of an object ''X'' is the quotient of the ''n''-fold product X^n:=X \times \cdots \times X by the permutation action of the symmetric group \mathfrak_n. More precisely, the notion exists at least in the following three areas: *In linear algebra, the ''n''-th symmetric power of a vector space ''V'' is the vector subspace of the symmetric algebra of ''V'' consisting of degree-''n'' elements (here the product is a tensor product). *In algebraic topology, the ''n''-th symmetric power of a topological space ''X'' is the quotient space X^n/\mathfrak_n, as in the beginning of this article. *In algebraic geometry, a symmetric power is defined in a way similar to that in algebraic topology. For example, if X = \operatorname(A) is an affine variety In algebraic geometry, an affine variety or affine algebraic variety is a certain kind of algebraic variety that can be described as a subset of an affine space. More formally, an affine algebraic s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Exterior Power
In mathematics, the exterior algebra or Grassmann algebra of a vector space V is an associative algebra that contains V, which has a product, called exterior product or wedge product and denoted with \wedge, such that v\wedge v=0 for every vector v in V. The exterior algebra is named after Hermann Grassmann, and the names of the product come from the "wedge" symbol \wedge and the fact that the product of two elements of V is "outside" V. The wedge product of k vectors v_1 \wedge v_2 \wedge \dots \wedge v_k is called a ''blade of degree k'' or ''k-blade''. The wedge product was introduced originally as an algebraic construction used in geometry to study areas, volumes, and their higher-dimensional analogues: the magnitude of a -blade v\wedge w is the area of the parallelogram defined by v and w, and, more generally, the magnitude of a k-blade is the (hyper)volume of the parallelotope defined by the constituent vectors. The alternating property that v\wedge v=0 implies a skew-s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Differential Form
In mathematics, differential forms provide a unified approach to define integrands over curves, surfaces, solids, and higher-dimensional manifolds. The modern notion of differential forms was pioneered by Élie Cartan. It has many applications, especially in geometry, topology and physics. For instance, the expression f(x) \, dx is an example of a -form, and can be integrated over an interval ,b/math> contained in the domain of f: \int_a^b f(x)\,dx. Similarly, the expression f(x,y,z) \, dx \wedge dy + g(x,y,z) \, dz \wedge dx + h(x,y,z) \, dy \wedge dz is a -form that can be integrated over a surface S: \int_S \left(f(x,y,z) \, dx \wedge dy + g(x,y,z) \, dz \wedge dx + h(x,y,z) \, dy \wedge dz\right). The symbol \wedge denotes the exterior product, sometimes called the ''wedge product'', of two differential forms. Likewise, a -form f(x,y,z) \, dx \wedge dy \wedge dz represents a volume element that can be integrated over a region of space. In general, a -form is an object ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Vector-valued Differential Form
In mathematics, a vector-valued differential form on a manifold ''M'' is a differential form on ''M'' with values in a vector space ''V''. More generally, it is a differential form with values in some vector bundle ''E'' over ''M''. Ordinary differential forms can be viewed as R-valued differential forms. An important case of vector-valued differential forms are Lie algebra-valued forms. (A connection form is an example of such a form.) Definition Let ''M'' be a smooth manifold and ''E'' → ''M'' be a smooth vector bundle over ''M''. We denote the space of smooth sections of a bundle ''E'' by Γ(''E''). An ''E''-valued differential form of degree ''p'' is a smooth section of the tensor product bundle of ''E'' with Λ''p''(''T'' ∗''M''), the ''p''-th exterior power of the cotangent bundle of ''M''. The space of such forms is denoted by :\Omega^p(M,E) = \Gamma(E\otimes\Lambda^pT^*M). Because Γ is a strong monoidal functor, this can also be interpreted as :\Gamma(E\otimes\Lambd ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
