|
Poisson Structure
In differential geometry, a field in mathematics, a Poisson manifold is a smooth manifold endowed with a Poisson structure. The notion of Poisson manifold generalises that of symplectic manifold, which in turn generalises the phase space from Hamiltonian mechanics. A Poisson structure (or Poisson bracket) on a smooth manifold M is a function \: \mathcal^(M) \times \mathcal^(M) \to \mathcal^(M) on the vector space \mathcal^(M) of smooth functions on M , making it into a Lie algebra subject to a Leibniz rule (also known as a Poisson algebra). Poisson structures on manifolds were introduced by André Lichnerowicz in 1977 and are named after the French mathematician Siméon Denis Poisson, due to their early appearance in his works on analytical mechanics. Introduction From phase spaces of classical mechanics to symplectic and Poisson manifolds In classical mechanics, the phase space of a physical system consists of all the possible values of the position and of the mome ... [...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] |
Configuration Space (physics)
In classical mechanics, the parameters that define the configuration of a system are called '' generalized coordinates,'' and the space defined by these coordinates is called the configuration space of the physical system. It is often the case that these parameters satisfy mathematical constraints, such that the set of actual configurations of the system is a manifold in the space of generalized coordinates. This manifold is called the configuration manifold of the system. Notice that this is a notion of "unrestricted" configuration space, i.e. in which different point particles may occupy the same position. In mathematics, in particular in topology, a notion of "restricted" configuration space is mostly used, in which the diagonals, representing "colliding" particles, are removed. Examples A particle in 3D space The position of a single particle moving in ordinary Euclidean 3-space is defined by the vector q=(x,y,z), and therefore its ''configuration space'' is Q=\mathbb^3. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lie Group Action
In differential geometry, a Lie group action is a group action adapted to the smooth setting: G is a Lie group, M is a smooth manifold, and the action map is differentiable. __TOC__ Definition Let \sigma: G \times M \to M, (g, x) \mapsto g \cdot x be a (left) group action of a Lie group G on a smooth manifold M; it is called a Lie group action (or smooth action) if the map \sigma is differentiable. Equivalently, a Lie group action of G on M consists of a Lie group homomorphism G \to \mathrm(M). A smooth manifold endowed with a Lie group action is also called a ''G''-manifold. Properties The fact that the action map \sigma is smooth has a couple of immediate consequences: * the stabilizers G_x \subseteq G of the group action are closed, thus are Lie subgroups of ''G'' * the orbits G \cdot x \subseteq M of the group action are immersed submanifolds. Forgetting the smooth structure, a Lie group action is a particular case of a continuous group action. Examples For every ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quotient Space (topology)
In topology and related areas of mathematics, the quotient space of a topological space under a given equivalence relation is a new topological space constructed by endowing the quotient set of the original topological space with the quotient topology, that is, with the finest topology that makes continuous the canonical projection map (the function that maps points to their equivalence classes). In other words, a subset of a quotient space is open if and only if its preimage under the canonical projection map is open in the original topological space. Intuitively speaking, the points of each equivalence class are or "glued together" for forming a new topological space. For example, identifying the points of a sphere that belong to the same diameter produces the projective plane as a quotient space. Definition Let X be a topological space, and let \sim be an equivalence relation on X. The quotient set Y = X/ is the set of equivalence classes of elements of X. The e ... [...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] |
Lie Groupoid
In mathematics, a Lie groupoid is a groupoid where the set \operatorname of objects and the set \operatorname of morphisms are both manifolds, all the category operations (source and target, composition, identity-assigning map and inversion) are smooth, and the source and target operations :s,t : \operatorname \to \operatorname are submersions. A Lie groupoid can thus be thought of as a "many-object generalization" of a Lie group, just as a groupoid is a many-object generalization of a group. Accordingly, while Lie groups provide a natural model for (classical) continuous symmetries, Lie groupoids are often used as model for (and arise from) generalised, point-dependent symmetries. Extending the correspondence between Lie groups and Lie algebras, Lie groupoids are the global counterparts of Lie algebroids. Lie groupoids were introduced by Charles Ehresmann under the name ''differentiable groupoids''. Definition and basic concepts A Lie groupoid consists of * two smooth m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Foliation
In mathematics (differential geometry), a foliation is an equivalence relation on an topological manifold, ''n''-manifold, the equivalence classes being connected, injective function, injectively immersed submanifolds, all of the same dimension ''p'', modeled on the manifold decomposition, decomposition of the real coordinate space R''n'' into the cosets ''x'' + R''p'' of the standardly embedding, embedded subspace topology, subspace R''p''. The equivalence classes are called the leaves of the foliation. If the manifold and/or the submanifolds are required to have a piecewise-linear manifold, piecewise-linear, differentiable manifold, differentiable (of class ''Cr''), or analytic manifold, analytic structure then one defines piecewise-linear, differentiable, or analytic foliations, respectively. In the most important case of differentiable foliation of class ''Cr'' it is usually understood that ''r'' ≥ 1 (otherwise, ''C''0 is a topological foliation). The number ''p'' (the dime ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Darboux Theorem
In differential geometry, a field in mathematics, Darboux's theorem is a theorem providing a normal form for special classes of differential 1-forms, partially generalizing the Frobenius integration theorem. It is named after Jean Gaston Darboux who established it as the solution of the Pfaff problem. It is a foundational result in several fields, the chief among them being symplectic geometry. Indeed, one of its many consequences is that any two symplectic manifolds of the same dimension are locally symplectomorphic to one another. That is, every 2n -dimensional symplectic manifold can be made to look locally like the linear symplectic space \mathbb^n with its canonical symplectic form. There is also an analogous consequence of the theorem applied to contact geometry. Statement Suppose that \theta is a differential 1-form on an ''n ''-dimensional manifold, such that \mathrm \theta has constant rank ''p ''. Then * if \theta \wedge \left(\mathrm\theta\right)^p = 0 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Canonical Coordinates
In mathematics and classical mechanics, canonical coordinates are sets of coordinates on phase space which can be used to describe a physical system at any given point in time. Canonical coordinates are used in the Hamiltonian formulation of classical mechanics. A closely related concept also appears in quantum mechanics; see the Stone–von Neumann theorem and canonical commutation relations for details. As Hamiltonian mechanics are generalized by symplectic geometry and canonical transformations are generalized by contact transformations, so the 19th century definition of canonical coordinates in classical mechanics may be generalized to a more abstract 20th century definition of coordinates on the cotangent bundle of a manifold (the mathematical notion of phase space). Definition in classical mechanics In classical mechanics, canonical coordinates are coordinates q^i and p_i in phase space that are used in the Hamiltonian formalism. The canonical coordinates satisfy the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Canonical Symplectic Form
In mathematics, the tautological one-form is a special 1-form defined on the cotangent bundle T^Q of a manifold Q. In physics, it is used to create a correspondence between the velocity of a point in a mechanical system and its momentum, thus providing a bridge between Lagrangian mechanics and Hamiltonian mechanics (on the manifold Q). The exterior derivative of this form defines a symplectic form giving T^Q the structure of a symplectic manifold. The tautological one-form plays an important role in relating the formalism of Hamiltonian mechanics and Lagrangian mechanics. The tautological one-form is sometimes also called the Liouville one-form, the Poincaré one-form, the canonical one-form, or the symplectic potential. A similar object is the canonical vector field on the tangent bundle. Definition in coordinates To define the tautological one-form, select a coordinate chart U on T^*Q and a canonical coordinate system on U. Pick an arbitrary point m \in T^*Q. By ... [...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 via diagonal morphism There are several equivalent ways to define the cotangent bundle. One way is through a diagonal mapping Δ and germs. 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'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symplectic Form
In mathematics, a symplectic vector space is a vector space V over a field F (for example the real numbers \mathbb) equipped with a symplectic bilinear form. A symplectic bilinear form is a mapping \omega : V \times V \to F that is ; Bilinear: Linear in each argument separately; ; Alternating: \omega(v, v) = 0 holds for all v \in V; and ; Non-degenerate: \omega(v, u) = 0 for all v \in V implies that u = 0. If the underlying field has characteristic not 2, alternation is equivalent to skew-symmetry. If the characteristic is 2, the skew-symmetry is implied by, but does not imply alternation. In this case every symplectic form is a symmetric form, but not vice versa. Working in a fixed basis, \omega can be represented by a matrix. The conditions above are equivalent to this matrix being skew-symmetric, nonsingular, and hollow (all diagonal entries are zero). This should not be confused with a symplectic matrix, which represents a symplectic transformation of the space. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
