|
1-form
In differential geometry, a one-form on a differentiable manifold is a smooth section of the cotangent bundle. Equivalently, a one-form on a manifold M is a smooth mapping of the total space of the tangent bundle of M to \R whose restriction to each fibre is a linear functional on the tangent space. Symbolically, \alpha : TM \rightarrow ,\quad \alpha_x = \alpha, _: T_xM \rightarrow , where \alpha_x is linear. Often one-forms are described locally, particularly in local coordinates. In a local coordinate system, a one-form is a linear combination of the differentials of the coordinates: \alpha_x = f_1(x) \, dx_1 + f_2(x) \, dx_2 + \cdots + f_n(x) \, dx_n , where the f_i are smooth functions. From this perspective, a one-form has a covariant transformation law on passing from one coordinate system to another. Thus a one-form is an order 1 covariant tensor field. Examples The most basic non-trivial differential one-form is the "change in angle" form d\theta. This is defined ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Exact Differential Form
In mathematics, especially vector calculus and differential topology, a closed form is a differential form ''α'' whose exterior derivative is zero (), and an exact form is a differential form, ''α'', that is the exterior derivative of another differential form ''β''. Thus, an ''exact'' form is in the ''image (mathematics), image'' of ''d'', and a ''closed'' form is in the ''kernel (algebra), kernel'' of ''d''. For an exact form ''α'', for some differential form ''β'' of degree one less than that of ''α''. The form ''β'' is called a "potential form" or "primitive" for ''α''. Since the exterior derivative of a closed form is zero, ''β'' is not unique, but can be modified by the addition of any closed form of degree one less than that of ''α''. Because , every exact form is necessarily closed. The question of whether ''every'' closed form is exact depends on the topology of the domain of interest. On a Contractible space, contractible domain, every closed form is exact by ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Closed Differential Form
In mathematics, especially vector calculus and differential topology, a closed form is a differential form ''α'' whose exterior derivative is zero (), and an exact form is a differential form, ''α'', that is the exterior derivative of another differential form ''β''. Thus, an ''exact'' form is in the ''image'' of ''d'', and a ''closed'' form is in the ''kernel'' of ''d''. For an exact form ''α'', for some differential form ''β'' of degree one less than that of ''α''. The form ''β'' is called a "potential form" or "primitive" for ''α''. Since the exterior derivative of a closed form is zero, ''β'' is not unique, but can be modified by the addition of any closed form of degree one less than that of ''α''. Because , every exact form is necessarily closed. The question of whether ''every'' closed form is exact depends on the topology of the domain of interest. On a contractible domain, every closed form is exact by the Poincaré lemma. More general questions of this kind o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Differential Geometry
Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and multilinear algebra. The field has its origins in the study of spherical geometry as far back as antiquity. It also relates to astronomy, the geodesy of the Earth, and later the study of hyperbolic geometry by Lobachevsky. The simplest examples of smooth spaces are the plane and space curves and 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 manifolds. A geometric structure is one which defines some notion of size, distance, shape, volume, or other rigidifying st ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Covariance And Contravariance Of Vectors
In physics, especially in multilinear algebra and tensor analysis, covariance and contravariance describe how the quantitative description of certain geometric or physical entities changes with a change of basis. In modern mathematical notation, the role is sometimes swapped. In physics, a basis is sometimes thought of as a set of reference axes. A change of scale on the reference axes corresponds to a change of units in the problem. For instance, by changing scale from meters to centimeters (that is, ''dividing'' the scale of the reference axes by 100), the components of a measured velocity vector are ''multiplied'' by 100. A vector changes scale ''inversely'' to changes in scale to the reference axes, and consequently is called ''contravariant''. As a result, a vector often has units of distance or distance with other units (as, for example, velocity has units of distance divided by time). In contrast, a covector, also called a ''dual vector'', typically has units of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Zero-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 is an example of a -form, and can be integrated over an interval contained in the domain of : :\int_a^b f(x)\,dx. Similarly, the expression is a -form that can be integrated over a surface : :\int_S (f(x,y,z)\,dx\wedge dy + g(x,y,z)\,dz\wedge dx + h(x,y,z)\,dy\wedge dz). The symbol denotes the exterior product, sometimes called the ''wedge product'', of two differential forms. Likewise, a -form represents a volume element that can be integrated over a region of space. In general, a -form is an object that may be integrated over a -dimensional manifold, and is homogeneous of degree in the coordinate differentials dx, dy, \ldots. On an -dimensional manifold, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tensor Field
In mathematics and physics, a tensor field assigns a tensor to each point of a mathematical space (typically a Euclidean space or manifold). 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 (a pure number representing a value, for example speed) and a vector (a pure number plus a direction, like velocity), 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. If a tensor is defined on a vector fields set over a module , we call a tensor field on . Many mathematical structures called "tensors" are also tensor fields. For example, the Riemann curvature tensor is a tensor ''field'' as it is defined on a manifold: it is named after Bernhard Riemann, and associates a tensor to each point of a Riemannia ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Differential Forms
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 is an example of a -form, and can be integrated over an interval contained in the domain of : :\int_a^b f(x)\,dx. Similarly, the expression is a -form that can be integrated over a surface : :\int_S (f(x,y,z)\,dx\wedge dy + g(x,y,z)\,dz\wedge dx + h(x,y,z)\,dy\wedge dz). The symbol denotes the exterior product, sometimes called the ''wedge product'', of two differential forms. Likewise, a -form represents a volume element that can be integrated over a region of space. In general, a -form is an object that may be integrated over a -dimensional manifold, and is homogeneous of degree in the coordinate differentials dx, dy, \ldots. On an -dimensional manifold, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tangent Bundle
In differential geometry, the tangent bundle of a differentiable manifold M is a manifold TM which assembles all the tangent vectors in M . As a set, it is given by the disjoint unionThe disjoint union ensures that for any two points and of manifold the tangent spaces and have no common vector. This is graphically illustrated in the accompanying picture for tangent bundle of circle , see Examples section: all tangents to a circle lie in the plane of the circle. In order to make them disjoint it is necessary to align them in a plane perpendicular to the plane of the circle. of the tangent spaces of M . That is, : \begin TM &= \bigsqcup_ T_xM \\ &= \bigcup_ \left\ \times T_xM \\ &= \bigcup_ \left\ \\ &= \left\ \end where T_x M denotes the tangent space to M at the point x . So, an element of TM can be thought of as a pair (x,v), where x is a point in M and v is a tangent vector to M at x . There is a natural projection : \pi : TM \t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Section (fiber Bundle)
In the mathematical field of topology, a section (or cross section) of a fiber bundle E is a continuous right inverse of the projection function \pi. In other words, if E is a fiber bundle over a base space, B: : \pi \colon E \to B then a section of that fiber bundle is a continuous map, : \sigma \colon B \to E such that : \pi(\sigma(x)) = x for all x \in B . A section is an abstract characterization of what it means to be a graph. The graph of a function g\colon B \to Y can be identified with a function taking its values in the Cartesian product E = B \times Y , of B and Y : :\sigma\colon B\to E, \quad \sigma(x) = (x,g(x)) \in E. Let \pi\colon E \to B be the projection onto the first factor: \pi(x,y) = x . Then a graph is any function \sigma for which \pi(\sigma(x)) = x . The language of fibre bundles allows this notion of a section to be generalized to the case when E is not necessarily a Cartesian product. If \pi\colon E \to B is a fibre bundle, the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Exterior Derivative
On a differentiable manifold, the exterior derivative extends the concept of the differential of a function to differential forms of higher degree. The exterior derivative was first described in its current form by Élie Cartan in 1899. The resulting calculus, known as exterior calculus, allows for a natural, metric-independent generalization of Stokes' theorem, Gauss's theorem, and Green's theorem from vector calculus. If a differential -form is thought of as measuring the flux through an infinitesimal - parallelotope at each point of the manifold, then its exterior derivative can be thought of as measuring the net flux through the boundary of a -parallelotope at each point. Definition The exterior derivative of a differential form of degree (also differential -form, or just -form for brevity here) is a differential form of degree . If is a smooth function (a -form), then the exterior derivative of is the differential of . That is, is the unique -form such that f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Differentiable Manifold
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. In formal terms, a differentiable manifold is a topological manifold with a globally defined differential structure. Any topological manifold can be given a differential structure locally by using the homeomorphisms in its atlas and the standard differential structure on a vector space. To induce a global differential structure on the local coordinate systems induced by the homeomorphisms, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cotangent Bundle
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 categories 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. Formal Definition 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 \mathcal be the sheaf of germs of smooth functions on ''M''×''M'' which vanish on ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
