|
Symplectization
In mathematics, the symplectization of a contact manifold is a symplectic manifold which naturally corresponds to it. Definition Let (V,\xi) be a contact manifold, and let x \in V. Consider the set : S_xV = \ \subset T^*_xV of all nonzero 1-forms at x, which have the contact plane \xi_x as their kernel. The union :SV = \bigcup_S_xV \subset T^*V is a symplectic submanifold of the cotangent bundle of V, and thus possesses a natural symplectic structure. The projection (mathematics), projection \pi : SV \to V supplies the symplectization with the structure of a principal bundle over V with principal bundle, structure group \R^* \equiv \R - \. The coorientable case When the contact structure \xi is coorientation, cooriented by means of a contact form \alpha, there is another version of symplectization, in which only forms giving the same coorientation to \xi as \alpha are considered: :S^+_xV = \ \subset T^*_xV, :S^+V = \bigcup_{x \in V}S^+_xV \subset T^*V. Note that \xi is co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Contact Structure
In mathematics, contact geometry is the study of a geometric structure on smooth manifolds given by a hyperplane distribution in the tangent bundle satisfying a condition called 'complete non-integrability'. Equivalently, such a distribution may be given (at least locally) as the kernel of a differential one-form, and the non-integrability condition translates into a maximal non-degeneracy condition on the form. These conditions are opposite to two equivalent conditions for ' complete integrability' of a hyperplane distribution, i.e. that it be tangent to a codimension one foliation on the manifold, whose equivalence is the content of the Frobenius theorem. Contact geometry is in many ways an odd-dimensional counterpart of symplectic geometry, a structure on certain even-dimensional manifolds. Both contact and symplectic geometry are motivated by the mathematical formalism of classical mechanics, where one can consider either the even-dimensional phase space of a mechanical sys ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Contact Manifold
In mathematics, contact geometry is the study of a geometric structure on smooth manifolds given by a hyperplane distribution in the tangent bundle satisfying a condition called 'complete non-integrability'. Equivalently, such a distribution may be given (at least locally) as the kernel of a differential one-form, and the non-integrability condition translates into a maximal non-degeneracy condition on the form. These conditions are opposite to two equivalent conditions for ' complete integrability' of a hyperplane distribution, i.e. that it be tangent to a codimension one foliation on the manifold, whose equivalence is the content of the Frobenius theorem. Contact geometry is in many ways an odd-dimensional counterpart of symplectic geometry, a structure on certain even-dimensional manifolds. Both contact and symplectic geometry are motivated by the mathematical formalism of classical mechanics, where one can consider either the even-dimensional phase space of a mechanical ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Contact Form
In mathematics, contact geometry is the study of a geometric structure on smooth manifolds given by a hyperplane distribution in the tangent bundle satisfying a condition called 'complete non-integrability'. Equivalently, such a distribution may be given (at least locally) as the kernel of a differential one-form, and the non-integrability condition translates into a maximal non-degeneracy condition on the form. These conditions are opposite to two equivalent conditions for ' complete integrability' of a hyperplane distribution, i.e. that it be tangent to a codimension one foliation on the manifold, whose equivalence is the content of the Frobenius theorem. Contact geometry is in many ways an odd-dimensional counterpart of symplectic geometry, a structure on certain even-dimensional manifolds. Both contact and symplectic geometry are motivated by the mathematical formalism of classical mechanics, where one can consider either the even-dimensional phase space of a mechanical ... [...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] |
Symplectic Manifold
In differential geometry, a subject of mathematics, a symplectic manifold is a smooth manifold, M , equipped with a closed nondegenerate differential 2-form \omega , called the symplectic form. The study of symplectic manifolds is called symplectic geometry or symplectic topology. Symplectic manifolds arise naturally in abstract formulations of classical mechanics and analytical mechanics as the cotangent bundles of manifolds. For example, in the Hamiltonian formulation of classical mechanics, which provides one of the major motivations for the field, the set of all possible configurations of a system is modeled as a manifold, and this manifold's cotangent bundle describes the phase space of the system. Motivation Symplectic manifolds arise from classical mechanics; in particular, they are a generalization of the phase space of a closed system. In the same way the Hamilton equations allow one to derive the time evolution of a system from a set of differential equations, the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1-form
In differential geometry, a one-form on a differentiable manifold 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. Symbolically, \alpha : TM \rightarrow ,\quad \alpha_x = \alpha, _: T_xM \rightarrow , where \alpha_x is linear. 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-trivial differential one-form is the "change in angle" form d\theta. This is defined as ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symplectic Submanifold
In differential geometry, a subject of mathematics, a symplectic manifold is a smooth manifold, M , equipped with a closed nondegenerate differential 2-form \omega , called the symplectic form. The study of symplectic manifolds is called symplectic geometry or symplectic topology. Symplectic manifolds arise naturally in abstract formulations of classical mechanics and analytical mechanics as the cotangent bundles of manifolds. For example, in the Hamiltonian formulation of classical mechanics, which provides one of the major motivations for the field, the set of all possible configurations of a system is modeled as a manifold, and this manifold's cotangent bundle describes the phase space of the system. Motivation Symplectic manifolds arise from classical mechanics; in particular, they are a generalization of the phase space of a closed system. In the same way the Hamilton equations allow one to derive the time evolution of a system from a set of differential equati ... [...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 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''. The image of Δ is called the diagonal. Let \mathcal be the sheaf of germs of smooth functions on ''M''×''M'' which vanish on the diagona ... [...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] |
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] |
Trivial Bundle
In mathematics, and particularly topology, a fiber bundle (or, in Commonwealth English: fibre bundle) is a space that is a product space, but may have a different topological structure. Specifically, the similarity between a space E and a product space B \times F is defined using a continuous surjective map, \pi : E \to B, that in small regions of E behaves just like a projection from corresponding regions of B \times F to B. The map \pi, called the projection or submersion of the bundle, is regarded as part of the structure of the bundle. The space E is known as the total space of the fiber bundle, B as the base space, and F the fiber. In the ''trivial'' case, E is just B \times F, and the map \pi is just the projection from the product space to the first factor. This is called a trivial bundle. Examples of non-trivial fiber bundles include the Möbius strip and Klein bottle, as well as nontrivial covering spaces. Fiber bundles, such as the tangent bundle of a manifold ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
