|
Canonical One-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 form, 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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Solder Form
In mathematics, more precisely in differential geometry, a soldering (or sometimes solder form) of a fiber bundle to a smooth manifold is a manner of attaching the fibers to the manifold in such a way that they can be regarded as tangent. Intuitively, soldering expresses in abstract terms the idea that a manifold may have a point of contact (mathematics), contact with a certain model Klein geometry at each point. In extrinsic differential geometry, the soldering is simply expressed by the tangency of the model space to the manifold. In intrinsic geometry, other techniques are needed to express it. Soldering was introduced in this general form by Charles Ehresmann in 1950. Soldering of a fibre bundle Let ''M'' be a smooth manifold, and ''G'' a Lie group, and let ''E'' be a smooth fibre bundle over ''M'' with structure group ''G''. Suppose that ''G'' Group action (mathematics), acts transitively on the typical fibre ''F'' of ''E'', and that dim ''F'' = dim ''M''. A soldering of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Action (physics)
In physics, action is a scalar quantity that describes how the balance of kinetic versus potential energy of a physical system changes with trajectory. Action is significant because it is an input to the principle of stationary action, an approach to classical mechanics that is simpler for multiple objects. Action and the variational principle are used in Feynman's formulation of quantum mechanics and in general relativity. For systems with small values of action close to the Planck constant, quantum effects are significant. In the simple case of a single particle moving with a constant velocity (thereby undergoing uniform linear motion), the action is the momentum of the particle times the distance it moves, added up along its path; equivalently, action is the difference between the particle's kinetic energy and its potential energy, times the duration for which it has that amount of energy. More formally, action is a mathematical functional which takes the trajectory ( ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hamiltonian Vector Field
Hamiltonian may refer to: * Hamiltonian mechanics, a function that represents the total energy of a system * Hamiltonian (quantum mechanics), an operator corresponding to the total energy of that system ** Dyall Hamiltonian, a modified Hamiltonian with two-electron nature ** Molecular Hamiltonian, the Hamiltonian operator representing the energy of the electrons and nuclei in a molecule * Hamiltonian (control theory), a function used to solve a problem of optimal control for a dynamical system * Hamiltonian path, a path in a graph that visits each vertex exactly once * Hamiltonian matrix, a matrix with certain special properties commonly used in linear algebra * Hamiltonian group, a non-abelian group the subgroups of which are all normal * Hamiltonian economic program, the economic policies advocated by Alexander Hamilton, the first United States Secretary of the Treasury See also * Alexander Hamilton (1755 or 1757–1804), American statesman and one of the Founding Fathers of ... [...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] |
Section (fiber Bundle)
In the mathematical field of topology, a section (or cross section) of a fiber bundle E is a continuous right inverse of the projection function \pi. In other words, if E is a fiber bundle over a base space, B: : \pi \colon E \to B then a section of that fiber bundle is a continuous map, : \sigma \colon B \to E such that : \pi(\sigma(x)) = x for all x \in B . A section is an abstract characterization of what it means to be a graph. The graph of a function g\colon B \to Y can be identified with a function taking its values in the Cartesian product E = B \times Y , of B and Y : :\sigma\colon B\to E, \quad \sigma(x) = (x,g(x)) \in E. Let \pi\colon E \to B be the projection onto the first factor: \pi(x,y) = x . Then a graph is any function \sigma for which \pi(\sigma(x)) = x . The language of fibre bundles allows this notion of a section to be generalized to the case when E is not necessarily a Cartesian product. If \pi\colon E \to B is a fibre bundle ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pullback (differential Geometry)
Let \phi:M\to N be 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 \phi), and is frequently denoted by \phi^*. More generally, any covariant tensor field – in particular any differential form – on N may be pulled back to M using \phi. When the map \phi 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 \phi 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 to the subject. The idea behind the pullba ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Closed Differential Form
In mathematics, especially vector calculus and differential topology, a closed form is a differential form ''α'' whose exterior derivative is zero (); and an exact form is a differential form, ''α'', that is the exterior derivative of another differential form ''β'', i.e. . Thus, an ''exact'' form is in the ''image'' of ''d'', and a ''closed'' form is in the '' kernel'' of ''d'' (also known as null space). For an exact form ''α'', for some differential form ''β'' of degree one less than that of ''α''. The form ''β'' is called a "potential form" or "primitive" for ''α''. Since the exterior derivative of a closed form is zero, ''β'' is not unique, but can be modified by the addition of any closed form of degree one less than that of ''α''. Because , every exact form is necessarily closed. The question of whether ''every'' closed form is exact depends on the topology of the domain of interest. On a contractible domain, every closed form is exact by the Poincaré lemma ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tangent Map
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 map from an open subset U of \R^m to an open subset V of \R^n. For any point x in U, the Jacobian of \varphi at x (with respect to the standard coordinates) ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Induced Homomorphism
In mathematics, especially in algebraic topology, an induced homomorphism is a homomorphism derived in a canonical way from another map. For example, a continuous map from a topological space ''X'' to a topological space ''Y'' induces a group homomorphism from the fundamental group of ''X'' to the fundamental group of ''Y''. More generally, in category theory, any functor by definition provides an induced morphism in the target category for each morphism in the source category. For example, fundamental groups, higher homotopy groups, singular homology, and De Rham cohomology are algebraic structures that are ''functorial'', meaning that their definition provides a functor from (e.g.) the category of topological spaces to (e.g.) the category of groups or rings. This means that each space is associated with an algebraic structure, while each continuous map between spaces is associated with a structure-preserving map between structures, called an induced homomorphism. A homomorphism i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Phase Space
The phase space of a physical system is the set of all possible physical states of the system when described by a given parameterization. Each possible state corresponds uniquely to a point in the phase space. For mechanical systems, the phase space usually consists of all possible values of the position and momentum parameters. It is the direct product of direct space and reciprocal space. The concept of phase space was developed in the late 19th century by Ludwig Boltzmann, Henri Poincaré, and Josiah Willard Gibbs. Principles In a phase space, every degree of freedom or parameter of the system is represented as an axis of a multidimensional space; a one-dimensional system is called a phase line, while a two-dimensional system is called a phase plane. For every possible state of the system or allowed combination of values of the system's parameters, a point is included in the multidimensional space. The system's evolving state over time traces a path (a phase-spac ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tautological Bundle
In mathematics, the tautological bundle is a vector bundle occurring over a Grassmannian in a natural tautological way: for a Grassmannian of k- dimensional subspaces of V, given a point in the Grassmannian corresponding to a k-dimensional vector subspace W \subseteq V, the fiber over W is the subspace W itself. In the case of projective space the tautological bundle is known as the tautological line bundle. The tautological bundle is also called the universal bundle since any vector bundle (over a compact space) is a pullback of the tautological bundle; this is to say a Grassmannian is a classifying space for vector bundles. Because of this, the tautological bundle is important in the study of characteristic classes. Tautological bundles are constructed both in algebraic topology and in algebraic geometry. In algebraic geometry, the tautological line bundle (as invertible sheaf) is :\mathcal_(-1), the dual of the hyperplane bundle or Serre's twisting sheaf \mathcal_(1). The hyp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
