|
1-form
In differential geometry, a one-form (or covector field) on a differentiable manifold is a differential form of degree one, that 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. Let \omega be a one-form. Then \begin \omega: U & \rightarrow \bigcup_ T^*_p(\R^n) \\ p & \mapsto \omega_p \in T_p^*(\R^n) \end 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-tri ... [...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 ''β'', i.e. . Thus, an ''exact'' form is in the ''image'' of ''d'', and a ''closed'' form is in the '' kernel'' of ''d'' (also known as null space). 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. M ... [...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 ''β'', i.e. . Thus, an ''exact'' form is in the ''image'' of ''d'', and a ''closed'' form is in the '' kernel'' of ''d'' (also known as null space). 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 Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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] |
Tangent Bundle
A tangent bundle is the collection of all of the tangent spaces for all points on a manifold, structured in a way that it forms a new manifold itself. Formally, 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 el ... [...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. Briefly, a contravariant vector is a list of numbers that transforms oppositely to a change of basis, and a covariant vector is a list of numbers that transforms in the same way. Contravariant vectors are often just called ''vectors'' and covariant vectors are called ''covectors'' or ''dual vectors''. The terms ''covariant'' and ''contravariant'' were introduced by James Joseph Sylvester in 1851. Curvilinear coordinate systems, such as cylindrical coordinates, cylindrical or spherical coordinates, are often used in physical and geometric problems. Associated with any coordinate system is a natural choice of coordinate basis for vectors based at each point of the space, and covariance and contravariance are particularly important for understanding how the coordinate ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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] |
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 f(x) \, dx is an example of a 1-form, -form, and can be integral, integrated over an interval [a,b] 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 (mathematics), 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. I ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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] |
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 ... [...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 ... [...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 homeomorphism ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
De Rham Cohomology
In mathematics, de Rham cohomology (named after Georges de Rham) is a tool belonging both to algebraic topology and to differential topology, capable of expressing basic topological information about smooth manifolds in a form particularly adapted to computation and the concrete representation of cohomology classes. It is a cohomology theory based on the existence of differential forms with prescribed properties. On any smooth manifold, every Closed and exact differential forms, exact form is closed, but the converse may fail to hold. Roughly speaking, this failure is related to the possible existence of Hole#In mathematics, "holes" in the manifold, and the de Rham cohomology groups comprise a set of Topological invariant, topological invariants of smooth manifolds that precisely quantify this relationship. Definition The de Rham complex is the cochain complex of differential forms on some smooth manifold , with the exterior derivative as the differential: :0 \to \Omega^0(M)\ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
