|
Frölicher–Nijenhuis Bracket
In mathematics, the Frölicher–Nijenhuis bracket is an extension of the Lie bracket of vector fields to vector-valued differential forms on a differentiable manifold. It is useful in the study of connections, notably the Ehresmann connection, as well as in the more general study of projections in the tangent bundle. It was introduced by Alfred Frölicher and Albert Nijenhuis (1956) and is related to the work of Schouten (1940). It is related to but not the same as the Nijenhuis–Richardson bracket and the Schouten–Nijenhuis bracket. Definition Let Ω*(''M'') be the sheaf of exterior algebras of differential forms on a smooth manifold ''M''. This is a graded algebra in which forms are graded by degree: :\Omega^*(M) = \bigoplus_^\infty \Omega^k(M). A graded derivation of degree ℓ is a mapping :D:\Omega^*(M)\to\Omega^(M) which is linear with respect to constants and satisfies :D(\alpha\wedge\beta) = D(\alpha)\wedge\beta + (-1)^\alpha\wedge D(\beta). Thus, in part ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Smooth 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] |
Projection (mathematics)
In mathematics, a projection is a mapping of a set (or other mathematical structure) into a subset (or sub-structure), which is equal to its square for mapping composition, i.e., which is idempotent. The restriction to a subspace of a projection is also called a ''projection'', even if the idempotence property is lost. An everyday example of a projection is the casting of shadows onto a plane (sheet of paper): the projection of a point is its shadow on the sheet of paper, and the projection (shadow) of a point on the sheet of paper is that point itself (idempotency). The shadow of a three-dimensional sphere is a closed disk. Originally, the notion of projection was introduced in Euclidean geometry to denote the projection of the three-dimensional Euclidean space onto a plane in it, like the shadow example. The two main projections of this kind are: * The projection from a point onto a plane or central projection: If ''C'' is a point, called the center of projection, then the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cocurvature
In mathematics in the branch of differential geometry, the cocurvature of a connection on a manifold is the obstruction to the integrability of the vertical bundle. Definition If ''M'' is a manifold and ''P'' is a connection on ''M'', that is a vector-valued 1-form on ''M'' which is a projection on T''M'' such that ''PabPbc'' = ''Pac'', then the cocurvature \bar_P is a vector-valued 2-form on ''M'' defined by :\bar_P(X,Y) = (\operatorname - P) X,PY/math> where ''X'' and ''Y'' are vector fields on ''M''. See also * Curvature *Lie bracket In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an operation called the Lie bracket, an alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi identi ... * Frölicher-Nijenhuis bracket Differential geometry Curvature (mathematics) {{differential-geometry-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Curvature
In mathematics, curvature is any of several strongly related concepts in geometry. Intuitively, the curvature is the amount by which a curve deviates from being a straight line, or a surface deviates from being a plane. For curves, the canonical example is that of a circle, which has a curvature equal to the reciprocal of its radius. Smaller circles bend more sharply, and hence have higher curvature. The curvature ''at a point'' of a differentiable curve is the curvature of its osculating circle, that is the circle that best approximates the curve near this point. The curvature of a straight line is zero. In contrast to the tangent, which is a vector quantity, the curvature at a point is typically a scalar quantity, that is, it is expressed by a single real number. For surfaces (and, more generally for higher-dimensional manifolds), that are embedded in a Euclidean space, the concept of curvature is more complex, as it depends on the choice of a direction on the surface or man ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Almost Complex Structure
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. The concept is due to Charles Ehresmann and Heinz Hopf in the 1940s. Formal definition Let ''M'' be a smooth manifold. An almost complex structure ''J'' on ''M'' is a linear complex structure (that is, a linear map which squares to −1) on each tangent space of the manifold, which varies smoothly on the manifold. In other words, we have a smooth tensor field ''J'' of degree such that J^2=-1 when regarded as a vector bundle isomorphism J\colon TM\to TM on the tangent bundle. A manifold equipped with an almost complex structure is called an almost complex manifold. If ''M'' admits an almost complex structure, it must be even-dimensional. This can ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nijenhuis Tensor
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. The concept is due to Charles Ehresmann and Heinz Hopf in the 1940s. Formal definition Let ''M'' be a smooth manifold. An almost complex structure ''J'' on ''M'' is a linear complex structure (that is, a linear map which squares to −1) on each tangent space of the manifold, which varies smoothly on the manifold. In other words, we have a smooth tensor field ''J'' of degree such that J^2=-1 when regarded as a vector bundle isomorphism J\colon TM\to TM on the tangent bundle. A manifold equipped with an almost complex structure is called an almost complex manifold. If ''M'' admits an almost complex structure, it must be even-dimensional. This can ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lie Derivative
In differential geometry, the Lie derivative ( ), named after Sophus Lie by Władysław Ślebodziński, evaluates the change of a tensor field (including scalar functions, vector fields and one-forms), along the flow defined by another vector field. This change is coordinate invariant and therefore the Lie derivative is defined on any differentiable manifold. Functions, tensor fields and forms can be differentiated with respect to a vector field. If ''T'' is a tensor field and ''X'' is a vector field, then the Lie derivative of ''T'' with respect to ''X'' is denoted \mathcal_X(T). The differential operator T \mapsto \mathcal_X(T) is a derivation of the algebra of tensor fields of the underlying manifold. The Lie derivative commutes with contraction and the exterior derivative on differential forms. Although there are many concepts of taking a derivative in differential geometry, they all agree when the expression being differentiated is a function or scalar field. Thus in t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graded Lie Algebra
In mathematics, a graded Lie algebra is a Lie algebra endowed with a gradation which is compatible with the Lie bracket. In other words, a graded Lie algebra is a Lie algebra which is also a nonassociative graded algebra under the bracket operation. A choice of Cartan decomposition endows any semisimple Lie algebra with the structure of a graded Lie algebra. Any parabolic Lie algebra is also a graded Lie algebra. A graded Lie superalgebra extends the notion of a graded Lie algebra in such a way that the Lie bracket is no longer assumed to be necessarily anticommutative. These arise in the study of derivations on graded algebras, in the deformation theory of Murray Gerstenhaber, Kunihiko Kodaira, and Donald C. Spencer, and in the theory of Lie derivatives. A supergraded Lie superalgebra is a further generalization of this notion to the category of superalgebras in which a graded Lie superalgebra is endowed with an additional super \Z/2\Z-gradation. These arise when one ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graded Vector Space
In mathematics, a graded vector space is a vector space that has the extra structure of a '' grading'' or a ''gradation'', which is a decomposition of the vector space into a direct sum of vector subspaces. Integer gradation Let \mathbb be the set of non-negative integers. An \mathbb-graded vector space, often called simply a graded vector space without the prefix \mathbb, is a vector space together with a decomposition into a direct sum of the form : V = \bigoplus_ V_n where each V_n is a vector space. For a given ''n'' the elements of V_n are then called homogeneous elements of degree ''n''. Graded vector spaces are common. For example the set of all polynomials in one or several variables forms a graded vector space, where the homogeneous elements of degree ''n'' are exactly the linear combinations of monomials of degree ''n''. General gradation The subspaces of a graded vector space need not be indexed by the set of natural numbers, and may be indexed by the elem ... [...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 for e ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
