Loading AI tools
Lie group homomorphism from the real numbers From Wikipedia, the free encyclopedia
In mathematics, a one-parameter group or one-parameter subgroup usually means a continuous group homomorphism
This article needs additional citations for verification. (January 2015) |
from the real line (as an additive group) to some other topological group . If is injective then , the image, will be a subgroup of that is isomorphic to as an additive group.
One-parameter groups were introduced by Sophus Lie in 1893 to define infinitesimal transformations. According to Lie, an infinitesimal transformation is an infinitely small transformation of the one-parameter group that it generates.[1] It is these infinitesimal transformations that generate a Lie algebra that is used to describe a Lie group of any dimension.
The action of a one-parameter group on a set is known as a flow. A smooth vector field on a manifold, at a point, induces a local flow - a one parameter group of local diffeomorphisms, sending points along integral curves of the vector field. The local flow of a vector field is used to define the Lie derivative of tensor fields along the vector field.
A curve is called one-parameter subgroup of if it satisfies the condition[2]
In Lie theory, one-parameter groups correspond to one-dimensional subspaces of the associated Lie algebra. The Lie group–Lie algebra correspondence is the basis of a science begun by Sophus Lie in the 1890s.
Another important case is seen in functional analysis, with being the group of unitary operators on a Hilbert space. See Stone's theorem on one-parameter unitary groups.
In his monograph Lie Groups, P. M. Cohn gave the following theorem:
In physics, one-parameter groups describe dynamical systems.[4] Furthermore, whenever a system of physical laws admits a one-parameter group of differentiable symmetries, then there is a conserved quantity, by Noether's theorem.
In the study of spacetime the use of the unit hyperbola to calibrate spatio-temporal measurements has become common since Hermann Minkowski discussed it in 1908. The principle of relativity was reduced to arbitrariness of which diameter of the unit hyperbola was used to determine a world-line. Using the parametrization of the hyperbola with hyperbolic angle, the theory of special relativity provided a calculus of relative motion with the one-parameter group indexed by rapidity. The rapidity replaces the velocity in kinematics and dynamics of relativity theory. Since rapidity is unbounded, the one-parameter group it stands upon is non-compact. The rapidity concept was introduced by E.T. Whittaker in 1910, and named by Alfred Robb the next year. The rapidity parameter amounts to the length of a hyperbolic versor, a concept of the nineteenth century. Mathematical physicists James Cockle, William Kingdon Clifford, and Alexander Macfarlane had all employed in their writings an equivalent mapping of the Cartesian plane by operator , where is the hyperbolic angle and .
An important example in the theory of Lie groups arises when is taken to be , the group of invertible matrices with complex entries. In that case, a basic result is the following:[5]
It follows from this result that is differentiable, even though this was not an assumption of the theorem. The matrix can then be recovered from as
This result can be used, for example, to show that any continuous homomorphism between matrix Lie groups is smooth.[6]
A technical complication is that as a subspace of may carry a topology that is coarser than that on ; this may happen in cases where is injective. Think for example of the case where is a torus , and is constructed by winding a straight line round at an irrational slope.
In that case the induced topology may not be the standard one of the real line.