|
Maurer–Cartan Form
In mathematics, the Maurer–Cartan form for a Lie group is a distinguished differential one-form on that carries the basic infinitesimal information about the structure of . It was much used by Élie Cartan as a basic ingredient of his method of moving frames, and bears his name together with that of Ludwig Maurer. As a one-form, the Maurer–Cartan form is peculiar in that it takes its values in the Lie algebra associated to the Lie group . The Lie algebra is identified with the tangent space of at the identity, denoted . The Maurer–Cartan form is thus a one-form defined globally on which is a linear mapping of the tangent space at each into . It is given as the pushforward of a vector in along the left-translation in the group: :\omega(v) = (L_)_* v,\quad v\in T_gG. Motivation and interpretation A Lie group acts on itself by multiplication under the mapping :G\times G \ni (g,h) \mapsto gh \in G. A question of importance to Cartan and his contemporar ... [...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] |
Group Action (mathematics)
In mathematics, a group action on a space is a group homomorphism of a given group into the group of transformations of the space. Similarly, a group action on a mathematical structure is a group homomorphism of a group into the automorphism group of the structure. It is said that the group ''acts'' on the space or structure. If a group acts on a structure, it will usually also act on objects built from that structure. For example, the group of Euclidean isometries acts on Euclidean space and also on the figures drawn in it. For example, it acts on the set of all triangles. Similarly, the group of symmetries of a polyhedron acts on the vertices, the edges, and the faces of the polyhedron. A group action on a vector space is called a representation of the group. In the case of a finite-dimensional vector space, it allows one to identify many groups with subgroups of , the group of the invertible matrices of dimension over a field . The symmetric group acts on any set wit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bracket Of Lie Algebra-valued Forms
A bracket is either of two tall fore- or back-facing punctuation marks commonly used to isolate a segment of text or data from its surroundings. Typically deployed in symmetric pairs, an individual bracket may be identified as a 'left' or 'right' bracket or, alternatively, an "opening bracket" or "closing bracket", respectively, depending on the directionality of the context. Specific forms of the mark include parentheses (also called "rounded brackets"), square brackets, curly brackets (also called 'braces'), and angle brackets (also called 'chevrons'), as well as various less common pairs of symbols. As well as signifying the overall class of punctuation, the word "bracket" is commonly used to refer to a specific form of bracket, which varies from region to region. In most English-speaking countries, an unqualified word "bracket" refers to the parenthesis (round bracket); in the United States, the square bracket. Various forms of brackets are used in mathematics, with ... [...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] |
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] |
Lie Bracket Of Vector Fields
In the mathematical field of differential topology, the Lie bracket of vector fields, also known as the Jacobi–Lie bracket or the commutator of vector fields, is an operator that assigns to any two vector fields ''X'' and ''Y'' on a smooth manifold ''M'' a third vector field denoted . Conceptually, the Lie bracket is the derivative of ''Y'' along the flow generated by ''X'', and is sometimes denoted ''\mathcal_X Y'' ("Lie derivative of Y along X"). This generalizes to the Lie derivative of any tensor field along the flow generated by ''X''. The Lie bracket is an R- bilinear operation and turns the set of all smooth vector fields on the manifold ''M'' into an (infinite-dimensional) Lie algebra. The Lie bracket plays an important role in differential geometry and differential topology, for instance in the Frobenius integrability theorem, and is also fundamental in the geometric theory of nonlinear control systems., nonholonomic systems; , feedback linearization. Definitio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Adjoint Representation Of A Lie Group
In mathematics, the adjoint representation (or adjoint action) of a Lie group ''G'' is a way of representing the elements of the group as linear transformations of the group's Lie algebra, considered as a vector space. For example, if ''G'' is GL(n, \mathbb), the Lie group of real ''n''-by-''n'' invertible matrices, then the adjoint representation is the group homomorphism that sends an invertible ''n''-by-''n'' matrix g to an endomorphism of the vector space of all linear transformations of \mathbb^n defined by: x \mapsto g x g^ . For any Lie group, this natural representation is obtained by linearizing (i.e. taking the differential of) the action of ''G'' on itself by conjugation. The adjoint representation can be defined for linear algebraic groups over arbitrary fields. Definition Let ''G'' be a Lie group, and let :\Psi: G \to \operatorname(G) be the mapping , with Aut(''G'') the automorphism group of ''G'' and given by the inner automorphism (conjugation) :\Psi_g(h)= ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pullback (differential Geometry)
Suppose that is a smooth map between smooth manifolds ''M'' and ''N''. Then there is an associated linear map from the space of 1-forms on ''N'' (the linear space of sections of the cotangent bundle) to the space of 1-forms on ''M''. This linear map is known as the pullback (by ''φ''), and is frequently denoted by ''φ''∗. More generally, any covariant tensor field – in particular any differential form – on ''N'' may be pulled back to ''M'' using ''φ''. When the map ''φ'' is a diffeomorphism, then the pullback, together with the pushforward, can be used to transform any tensor field from ''N'' to ''M'' or vice versa. In particular, if ''φ'' is a diffeomorphism between open subsets of R''n'' and R''n'', viewed as a change of coordinates (perhaps between different charts on a manifold ''M''), then the pullback and pushforward describe the transformation properties of covariant and contravariant tensors used in more traditional (coordinate dependent) approaches ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Connection (principal Bundle)
In mathematics, and especially differential geometry and gauge theory, a connection is a device that defines a notion of parallel transport on the bundle; that is, a way to "connect" or identify fibers over nearby points. A principal ''G''-connection on a principal G-bundle ''P'' over a smooth manifold ''M'' is a particular type of connection which is compatible with the action of the group ''G''. A principal connection can be viewed as a special case of the notion of an Ehresmann connection, and is sometimes called a principal Ehresmann connection. It gives rise to (Ehresmann) connections on any fiber bundle associated to ''P'' via the associated bundle construction. In particular, on any associated vector bundle the principal connection induces a covariant derivative, an operator that can differentiate sections of that bundle along tangent directions in the base manifold. Principal connections generalize to arbitrary principal bundles the concept of a linear connection on the f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Principal Bundle
In mathematics, a principal bundle is a mathematical object that formalizes some of the essential features of the Cartesian product X \times G of a space X with a group G. In the same way as with the Cartesian product, a principal bundle P is equipped with # An action of G on P, analogous to (x, g)h = (x, gh) for a product space. # A projection onto X. For a product space, this is just the projection onto the first factor, (x,g) \mapsto x. Unlike a product space, principal bundles lack a preferred choice of identity cross-section; they have no preferred analog of (x,e). Likewise, there is not generally a projection onto G generalizing the projection onto the second factor, X \times G \to G that exists for the Cartesian product. They may also have a complicated topology that prevents them from being realized as a product space even if a number of arbitrary choices are made to try to define such a structure by defining it on smaller pieces of the space. A common example of a principal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logarithmic Derivative
In mathematics, specifically in calculus and complex analysis, the logarithmic derivative of a function ''f'' is defined by the formula \frac where f' is the derivative of ''f''. Intuitively, this is the infinitesimal relative change in ''f''; that is, the infinitesimal absolute change in ''f,'' namely f', scaled by the current value of ''f.'' When ''f'' is a function ''f''(''x'') of a real variable ''x'', and takes real, strictly positive values, this is equal to the derivative of ln(''f''), or the natural logarithm of ''f''. This follows directly from the chain rule: \frac\ln f(x) = \frac \frac Basic properties Many properties of the real logarithm also apply to the logarithmic derivative, even when the function does ''not'' take values in the positive reals. For example, since the logarithm of a product is the sum of the logarithms of the factors, we have (\log uv)' = (\log u + \log v)' = (\log u)' + (\log v)' . So for positive-real-valued functions, the logarithmic deri ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
