|
Jacobi–Lie Bracket
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 ,Y/math>. Conceptually, the Lie bracket ,Y/math> 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. V. I. Arnold refers to this as the "fisherman derivative", as one ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Differential Topology
In mathematics, differential topology is the field dealing with the topological properties and smooth properties of smooth manifolds. In this sense differential topology is distinct from the closely related field of differential geometry, which concerns the ''geometric'' properties of smooth manifolds, including notions of size, distance, and rigid shape. By comparison differential topology is concerned with coarser properties, such as the number of holes in a manifold, its homotopy type, or the structure of its diffeomorphism group. Because many of these coarser properties may be captured algebraically, differential topology has strong links to algebraic topology. The central goal of the field of differential topology is the classification of all smooth manifolds up to diffeomorphism. Since dimension is an invariant of smooth manifolds up to diffeomorphism type, this classification is often studied by classifying the ( connected) manifolds in each dimension separately: * In ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Directional Derivative
In multivariable calculus, the directional derivative measures the rate at which a function changes in a particular direction at a given point. The directional derivative of a multivariable differentiable (scalar) function along a given vector v at a given point x intuitively represents the instantaneous rate of change of the function, moving through x with a direction specified by v. The directional derivative of a scalar function ''f'' with respect to a vector v at a point (e.g., position) x may be denoted by any of the following: \begin \nabla_(\mathbf) &=f'_\mathbf(\mathbf)\\ &=D_\mathbff(\mathbf)\\ &=Df(\mathbf)(\mathbf)\\ &=\partial_\mathbff(\mathbf)\\ &=\mathbf\cdot\\ &=\mathbf\cdot \frac.\\ \end It therefore generalizes the notion of a partial derivative, in which the rate of change is taken along one of the curvilinear coordinate curves, all other coordinates being constant. The directional derivative is a special case of the Gateaux derivative. Definition ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Left Invariant
{{disambiguation ...
Left may refer to: Music * ''Left'' (Hope of the States album), 2006 * ''Left'' (Monkey House album), 2016 * ''Left'' (Helmet album), 2023 * "Left", a song by Nickelback from the album ''Curb'', 1996 Direction * Left (direction), the relative direction opposite of right * Left-handedness Politics * Left (Austria), a movement of Marxist–Leninist, Maoist and Trotskyist organisations in Austria * Left-wing politics (also known as left or leftism), a political trend or ideology ** Centre-left politics ** Far-left politics * The Left (Germany) See also * Copyleft * Leaving (other) * Lefty (other) * Sinister (other) * Venstre (other) * Right (other) A right is a legal or moral entitlement or permission. Right or rights may also refer to: * Right, synonym of true or accurate, opposite of wrong * Morally right, opposite of morally wrong * Right (direction), the relative direction opposite of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lie Group
In mathematics, a Lie group (pronounced ) is a group (mathematics), group that is also a differentiable manifold, such that group multiplication and taking inverses are both differentiable. A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract concept of a binary operation along with the additional properties it must have to be thought of as a "transformation" in the abstract sense, for instance multiplication and the taking of inverses (to allow division), or equivalently, the concept of addition and subtraction. Combining these two ideas, one obtains a continuous group where multiplying points and their inverses is continuous. If the multiplication and taking of inverses are smoothness, smooth (differentiable) as well, one obtains a Lie group. Lie groups provide a natural model for the concept of continuous symmetry, a celebrated example of which is the circle group. Rotating a circle is an example of a continuous symmetry. For an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Frobenius Integrability Theorem
In mathematics, Frobenius' theorem gives necessary and sufficient conditions for finding a maximal set of independent solutions of an overdetermined system of first-order homogeneous linear partial differential equations. In modern differential geometry, geometric terms, given a family of vector fields, the theorem gives necessary and sufficient integrability conditions for the existence of a foliation by maximal integral manifolds whose tangent bundles are spanned by the given vector fields. The theorem generalizes the Picard–Lindelöf theorem, existence theorem for ordinary differential equations, which guarantees that a single vector field always gives rise to integral curves; Frobenius gives compatibility conditions under which the integral curves of ''r'' vector fields mesh into coordinate grids on ''r''-dimensional integral manifolds. The theorem is foundational in differential topology and Differentiable manifold, calculus on manifolds. Contact geometry studies 1-forms ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lie Algebroid
In mathematics, a Lie algebroid is a vector bundle A \rightarrow M together with a Lie bracket on its space of sections \Gamma(A) and a vector bundle morphism \rho: A \rightarrow TM, satisfying a Leibniz rule. A Lie algebroid can thus be thought of as a "many-object generalisation" of a Lie algebra. Lie algebroids play a similar same role in the theory of Lie groupoids that Lie algebras play in the theory of Lie groups: reducing global problems to infinitesimal ones. Indeed, any Lie groupoid gives rise to a Lie algebroid, which is the vertical bundle of the source map restricted at the units. However, unlike Lie algebras, not every Lie algebroid arises from a Lie groupoid. Lie algebroids were introduced in 1967 by Jean Pradines. Definition and basic concepts A Lie algebroid is a triple (A, cdot,\cdot \rho) consisting of * a vector bundle A over a manifold M * a Lie bracket cdot,\cdot/math> on its space of sections \Gamma (A) * a morphism of vector bundles \rho: A\rightarrow ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Product Rule
In calculus, the product rule (or Leibniz rule or Leibniz product rule) is a formula used to find the derivatives of products of two or more functions. For two functions, it may be stated in Lagrange's notation as (u \cdot v)' = u ' \cdot v + u \cdot v' or in Leibniz's notation as \frac (u\cdot v) = \frac \cdot v + u \cdot \frac. The rule may be extended or generalized to products of three or more functions, to a rule for higher-order derivatives of a product, and to other contexts. Discovery Discovery of this rule is credited to Gottfried Leibniz, who demonstrated it using "infinitesimals" (a precursor to the modern differential). (However, J. M. Child, a translator of Leibniz's papers, argues that it is due to Isaac Barrow.) Here is Leibniz's argument: Let ''u'' and ''v'' be functions. Then ''d(uv)'' is the same thing as the difference between two successive ''uvs; let one of these be ''uv'', and the other ''u+du'' times ''v+dv''; then: \begin d(u\cdot v) & = (u + d ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jacobi Identity
In mathematics, the Jacobi identity is a property of a binary operation that describes how the order of evaluation, the placement of parentheses in a multiple product, affects the result of the operation. By contrast, for operations with the associative property, any order of evaluation gives the same result (parentheses in a multiple product are not needed). The identity is named after the German mathematician Carl Gustav Jacob Jacobi. He derived the Jacobi identity for Poisson brackets in his 1862 paper on differential equations. C. G. J. Jacobi (1862), §26, Theorem V. T. Hawkins (1991) The cross product a\times b and the Lie bracket operation ,b/math> both satisfy the Jacobi identity. In analytical mechanics, the Jacobi identity is satisfied by the Poisson brackets. In quantum mechanics, it is satisfied by operator commutators on a Hilbert space and equivalently in the phase space formulation of quantum mechanics by the Moyal bracket. Definition Let + and \times be two b ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bilinear Map
In mathematics, a bilinear map is a function combining elements of two vector spaces to yield an element of a third vector space, and is linear in each of its arguments. Matrix multiplication is an example. A bilinear map can also be defined for modules. For that, see the article pairing. Definition Vector spaces Let V, W and X be three vector spaces over the same base field F. A bilinear map is a function B : V \times W \to X such that for all w \in W, the map B_w v \mapsto B(v, w) is a linear map from V to X, and for all v \in V, the map B_v w \mapsto B(v, w) is a linear map from W to X. In other words, when we hold the first entry of the bilinear map fixed while letting the second entry vary, the result is a linear operator, and similarly for when we hold the second entry fixed. Such a map B satisfies the following properties. * For any \lambda \in F, B(\lambda v,w) = B(v, \lambda w) = \lambda B(v, w). * The map B is additive in both components: if v_1, v_2 \in V an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jacobian Matrix
In vector calculus, the Jacobian matrix (, ) of a vector-valued function of several variables is the matrix of all its first-order partial derivatives. If this matrix is square, that is, if the number of variables equals the number of components of function values, then its determinant is called the Jacobian determinant. Both the matrix and (if applicable) the determinant are often referred to simply as the Jacobian. They are named after Carl Gustav Jacob Jacobi. The Jacobian matrix is the natural generalization to vector valued functions of several variables of the derivative and the differential of a usual function. This generalization includes generalizations of the inverse function theorem and the implicit function theorem, where the non-nullity of the derivative is replaced by the non-nullity of the Jacobian determinant, and the multiplicative inverse of the derivative is replaced by the inverse of the Jacobian matrix. The Jacobian determinant is fundamentally used f ... [...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] |
Pushforward (differential)
In differential geometry, pushforward is a linear approximation of smooth maps (formulating manifold) on tangent spaces. Suppose that \varphi\colon M\to N is a smooth map between smooth manifolds; then the differential of \varphi at a point x, denoted \mathrm d\varphi_x, is, in some sense, the best linear approximation of \varphi near x. It can be viewed as a generalization of the total derivative of ordinary calculus. Explicitly, the differential is a linear map from the tangent space of M at x to the tangent space of N at \varphi(x), \mathrm d\varphi_x\colon T_xM \to T_N. Hence it can be used to ''push'' tangent vectors on M ''forward'' to tangent vectors on N. The differential of a map \varphi is also called, by various authors, the derivative or total derivative of \varphi. Motivation Let \varphi: U \to V be a Smooth function#Smooth functions on and between manifolds, smooth map from an Open subset#Euclidean space, open subset U of \R^m to an open subset V of \R^n. For an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
